-
Notifications
You must be signed in to change notification settings - Fork 0
/
unicode.sml
5698 lines (5686 loc) · 147 KB
/
unicode.sml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
structure Unicode :
sig
val toCaseFolded : word list -> word list
val toLower : word list -> word list
val toUpper : word list -> word list
val toTitle : word list -> word list
(* N.B. reversed lists *)
val fc : word -> word list -> word list
val lc : word -> word
val uc : word -> word
val tc : word -> word
end
=
struct
fun fc 0wx41 ws = 0wx61::ws
| fc 0wx42 ws = 0wx62::ws
| fc 0wx43 ws = 0wx63::ws
| fc 0wx44 ws = 0wx64::ws
| fc 0wx45 ws = 0wx65::ws
| fc 0wx46 ws = 0wx66::ws
| fc 0wx47 ws = 0wx67::ws
| fc 0wx48 ws = 0wx68::ws
| fc 0wx49 ws = 0wx69::ws
| fc 0wx4a ws = 0wx6a::ws
| fc 0wx4b ws = 0wx6b::ws
| fc 0wx4c ws = 0wx6c::ws
| fc 0wx4d ws = 0wx6d::ws
| fc 0wx4e ws = 0wx6e::ws
| fc 0wx4f ws = 0wx6f::ws
| fc 0wx50 ws = 0wx70::ws
| fc 0wx51 ws = 0wx71::ws
| fc 0wx52 ws = 0wx72::ws
| fc 0wx53 ws = 0wx73::ws
| fc 0wx54 ws = 0wx74::ws
| fc 0wx55 ws = 0wx75::ws
| fc 0wx56 ws = 0wx76::ws
| fc 0wx57 ws = 0wx77::ws
| fc 0wx58 ws = 0wx78::ws
| fc 0wx59 ws = 0wx79::ws
| fc 0wx5a ws = 0wx7a::ws
| fc 0wxb5 ws = 0wx3bc::ws
| fc 0wxc0 ws = 0wxe0::ws
| fc 0wxc1 ws = 0wxe1::ws
| fc 0wxc2 ws = 0wxe2::ws
| fc 0wxc3 ws = 0wxe3::ws
| fc 0wxc4 ws = 0wxe4::ws
| fc 0wxc5 ws = 0wxe5::ws
| fc 0wxc6 ws = 0wxe6::ws
| fc 0wxc7 ws = 0wxe7::ws
| fc 0wxc8 ws = 0wxe8::ws
| fc 0wxc9 ws = 0wxe9::ws
| fc 0wxca ws = 0wxea::ws
| fc 0wxcb ws = 0wxeb::ws
| fc 0wxcc ws = 0wxec::ws
| fc 0wxcd ws = 0wxed::ws
| fc 0wxce ws = 0wxee::ws
| fc 0wxcf ws = 0wxef::ws
| fc 0wxd0 ws = 0wxf0::ws
| fc 0wxd1 ws = 0wxf1::ws
| fc 0wxd2 ws = 0wxf2::ws
| fc 0wxd3 ws = 0wxf3::ws
| fc 0wxd4 ws = 0wxf4::ws
| fc 0wxd5 ws = 0wxf5::ws
| fc 0wxd6 ws = 0wxf6::ws
| fc 0wxd8 ws = 0wxf8::ws
| fc 0wxd9 ws = 0wxf9::ws
| fc 0wxda ws = 0wxfa::ws
| fc 0wxdb ws = 0wxfb::ws
| fc 0wxdc ws = 0wxfc::ws
| fc 0wxdd ws = 0wxfd::ws
| fc 0wxde ws = 0wxfe::ws
| fc 0wxdf ws = 0wx73::0wx73::ws
| fc 0wx100 ws = 0wx101::ws
| fc 0wx102 ws = 0wx103::ws
| fc 0wx104 ws = 0wx105::ws
| fc 0wx106 ws = 0wx107::ws
| fc 0wx108 ws = 0wx109::ws
| fc 0wx10a ws = 0wx10b::ws
| fc 0wx10c ws = 0wx10d::ws
| fc 0wx10e ws = 0wx10f::ws
| fc 0wx110 ws = 0wx111::ws
| fc 0wx112 ws = 0wx113::ws
| fc 0wx114 ws = 0wx115::ws
| fc 0wx116 ws = 0wx117::ws
| fc 0wx118 ws = 0wx119::ws
| fc 0wx11a ws = 0wx11b::ws
| fc 0wx11c ws = 0wx11d::ws
| fc 0wx11e ws = 0wx11f::ws
| fc 0wx120 ws = 0wx121::ws
| fc 0wx122 ws = 0wx123::ws
| fc 0wx124 ws = 0wx125::ws
| fc 0wx126 ws = 0wx127::ws
| fc 0wx128 ws = 0wx129::ws
| fc 0wx12a ws = 0wx12b::ws
| fc 0wx12c ws = 0wx12d::ws
| fc 0wx12e ws = 0wx12f::ws
| fc 0wx130 ws = 0wx307::0wx69::ws
| fc 0wx132 ws = 0wx133::ws
| fc 0wx134 ws = 0wx135::ws
| fc 0wx136 ws = 0wx137::ws
| fc 0wx139 ws = 0wx13a::ws
| fc 0wx13b ws = 0wx13c::ws
| fc 0wx13d ws = 0wx13e::ws
| fc 0wx13f ws = 0wx140::ws
| fc 0wx141 ws = 0wx142::ws
| fc 0wx143 ws = 0wx144::ws
| fc 0wx145 ws = 0wx146::ws
| fc 0wx147 ws = 0wx148::ws
| fc 0wx149 ws = 0wx6e::0wx2bc::ws
| fc 0wx14a ws = 0wx14b::ws
| fc 0wx14c ws = 0wx14d::ws
| fc 0wx14e ws = 0wx14f::ws
| fc 0wx150 ws = 0wx151::ws
| fc 0wx152 ws = 0wx153::ws
| fc 0wx154 ws = 0wx155::ws
| fc 0wx156 ws = 0wx157::ws
| fc 0wx158 ws = 0wx159::ws
| fc 0wx15a ws = 0wx15b::ws
| fc 0wx15c ws = 0wx15d::ws
| fc 0wx15e ws = 0wx15f::ws
| fc 0wx160 ws = 0wx161::ws
| fc 0wx162 ws = 0wx163::ws
| fc 0wx164 ws = 0wx165::ws
| fc 0wx166 ws = 0wx167::ws
| fc 0wx168 ws = 0wx169::ws
| fc 0wx16a ws = 0wx16b::ws
| fc 0wx16c ws = 0wx16d::ws
| fc 0wx16e ws = 0wx16f::ws
| fc 0wx170 ws = 0wx171::ws
| fc 0wx172 ws = 0wx173::ws
| fc 0wx174 ws = 0wx175::ws
| fc 0wx176 ws = 0wx177::ws
| fc 0wx178 ws = 0wxff::ws
| fc 0wx179 ws = 0wx17a::ws
| fc 0wx17b ws = 0wx17c::ws
| fc 0wx17d ws = 0wx17e::ws
| fc 0wx17f ws = 0wx73::ws
| fc 0wx181 ws = 0wx253::ws
| fc 0wx182 ws = 0wx183::ws
| fc 0wx184 ws = 0wx185::ws
| fc 0wx186 ws = 0wx254::ws
| fc 0wx187 ws = 0wx188::ws
| fc 0wx189 ws = 0wx256::ws
| fc 0wx18a ws = 0wx257::ws
| fc 0wx18b ws = 0wx18c::ws
| fc 0wx18e ws = 0wx1dd::ws
| fc 0wx18f ws = 0wx259::ws
| fc 0wx190 ws = 0wx25b::ws
| fc 0wx191 ws = 0wx192::ws
| fc 0wx193 ws = 0wx260::ws
| fc 0wx194 ws = 0wx263::ws
| fc 0wx196 ws = 0wx269::ws
| fc 0wx197 ws = 0wx268::ws
| fc 0wx198 ws = 0wx199::ws
| fc 0wx19c ws = 0wx26f::ws
| fc 0wx19d ws = 0wx272::ws
| fc 0wx19f ws = 0wx275::ws
| fc 0wx1a0 ws = 0wx1a1::ws
| fc 0wx1a2 ws = 0wx1a3::ws
| fc 0wx1a4 ws = 0wx1a5::ws
| fc 0wx1a6 ws = 0wx280::ws
| fc 0wx1a7 ws = 0wx1a8::ws
| fc 0wx1a9 ws = 0wx283::ws
| fc 0wx1ac ws = 0wx1ad::ws
| fc 0wx1ae ws = 0wx288::ws
| fc 0wx1af ws = 0wx1b0::ws
| fc 0wx1b1 ws = 0wx28a::ws
| fc 0wx1b2 ws = 0wx28b::ws
| fc 0wx1b3 ws = 0wx1b4::ws
| fc 0wx1b5 ws = 0wx1b6::ws
| fc 0wx1b7 ws = 0wx292::ws
| fc 0wx1b8 ws = 0wx1b9::ws
| fc 0wx1bc ws = 0wx1bd::ws
| fc 0wx1c4 ws = 0wx1c6::ws
| fc 0wx1c5 ws = 0wx1c6::ws
| fc 0wx1c7 ws = 0wx1c9::ws
| fc 0wx1c8 ws = 0wx1c9::ws
| fc 0wx1ca ws = 0wx1cc::ws
| fc 0wx1cb ws = 0wx1cc::ws
| fc 0wx1cd ws = 0wx1ce::ws
| fc 0wx1cf ws = 0wx1d0::ws
| fc 0wx1d1 ws = 0wx1d2::ws
| fc 0wx1d3 ws = 0wx1d4::ws
| fc 0wx1d5 ws = 0wx1d6::ws
| fc 0wx1d7 ws = 0wx1d8::ws
| fc 0wx1d9 ws = 0wx1da::ws
| fc 0wx1db ws = 0wx1dc::ws
| fc 0wx1de ws = 0wx1df::ws
| fc 0wx1e0 ws = 0wx1e1::ws
| fc 0wx1e2 ws = 0wx1e3::ws
| fc 0wx1e4 ws = 0wx1e5::ws
| fc 0wx1e6 ws = 0wx1e7::ws
| fc 0wx1e8 ws = 0wx1e9::ws
| fc 0wx1ea ws = 0wx1eb::ws
| fc 0wx1ec ws = 0wx1ed::ws
| fc 0wx1ee ws = 0wx1ef::ws
| fc 0wx1f0 ws = 0wx30c::0wx6a::ws
| fc 0wx1f1 ws = 0wx1f3::ws
| fc 0wx1f2 ws = 0wx1f3::ws
| fc 0wx1f4 ws = 0wx1f5::ws
| fc 0wx1f6 ws = 0wx195::ws
| fc 0wx1f7 ws = 0wx1bf::ws
| fc 0wx1f8 ws = 0wx1f9::ws
| fc 0wx1fa ws = 0wx1fb::ws
| fc 0wx1fc ws = 0wx1fd::ws
| fc 0wx1fe ws = 0wx1ff::ws
| fc 0wx200 ws = 0wx201::ws
| fc 0wx202 ws = 0wx203::ws
| fc 0wx204 ws = 0wx205::ws
| fc 0wx206 ws = 0wx207::ws
| fc 0wx208 ws = 0wx209::ws
| fc 0wx20a ws = 0wx20b::ws
| fc 0wx20c ws = 0wx20d::ws
| fc 0wx20e ws = 0wx20f::ws
| fc 0wx210 ws = 0wx211::ws
| fc 0wx212 ws = 0wx213::ws
| fc 0wx214 ws = 0wx215::ws
| fc 0wx216 ws = 0wx217::ws
| fc 0wx218 ws = 0wx219::ws
| fc 0wx21a ws = 0wx21b::ws
| fc 0wx21c ws = 0wx21d::ws
| fc 0wx21e ws = 0wx21f::ws
| fc 0wx220 ws = 0wx19e::ws
| fc 0wx222 ws = 0wx223::ws
| fc 0wx224 ws = 0wx225::ws
| fc 0wx226 ws = 0wx227::ws
| fc 0wx228 ws = 0wx229::ws
| fc 0wx22a ws = 0wx22b::ws
| fc 0wx22c ws = 0wx22d::ws
| fc 0wx22e ws = 0wx22f::ws
| fc 0wx230 ws = 0wx231::ws
| fc 0wx232 ws = 0wx233::ws
| fc 0wx23a ws = 0wx2c65::ws
| fc 0wx23b ws = 0wx23c::ws
| fc 0wx23d ws = 0wx19a::ws
| fc 0wx23e ws = 0wx2c66::ws
| fc 0wx241 ws = 0wx242::ws
| fc 0wx243 ws = 0wx180::ws
| fc 0wx244 ws = 0wx289::ws
| fc 0wx245 ws = 0wx28c::ws
| fc 0wx246 ws = 0wx247::ws
| fc 0wx248 ws = 0wx249::ws
| fc 0wx24a ws = 0wx24b::ws
| fc 0wx24c ws = 0wx24d::ws
| fc 0wx24e ws = 0wx24f::ws
| fc 0wx345 ws = 0wx3b9::ws
| fc 0wx370 ws = 0wx371::ws
| fc 0wx372 ws = 0wx373::ws
| fc 0wx376 ws = 0wx377::ws
| fc 0wx37f ws = 0wx3f3::ws
| fc 0wx386 ws = 0wx3ac::ws
| fc 0wx388 ws = 0wx3ad::ws
| fc 0wx389 ws = 0wx3ae::ws
| fc 0wx38a ws = 0wx3af::ws
| fc 0wx38c ws = 0wx3cc::ws
| fc 0wx38e ws = 0wx3cd::ws
| fc 0wx38f ws = 0wx3ce::ws
| fc 0wx390 ws = 0wx301::0wx308::0wx3b9::ws
| fc 0wx391 ws = 0wx3b1::ws
| fc 0wx392 ws = 0wx3b2::ws
| fc 0wx393 ws = 0wx3b3::ws
| fc 0wx394 ws = 0wx3b4::ws
| fc 0wx395 ws = 0wx3b5::ws
| fc 0wx396 ws = 0wx3b6::ws
| fc 0wx397 ws = 0wx3b7::ws
| fc 0wx398 ws = 0wx3b8::ws
| fc 0wx399 ws = 0wx3b9::ws
| fc 0wx39a ws = 0wx3ba::ws
| fc 0wx39b ws = 0wx3bb::ws
| fc 0wx39c ws = 0wx3bc::ws
| fc 0wx39d ws = 0wx3bd::ws
| fc 0wx39e ws = 0wx3be::ws
| fc 0wx39f ws = 0wx3bf::ws
| fc 0wx3a0 ws = 0wx3c0::ws
| fc 0wx3a1 ws = 0wx3c1::ws
| fc 0wx3a3 ws = 0wx3c3::ws
| fc 0wx3a4 ws = 0wx3c4::ws
| fc 0wx3a5 ws = 0wx3c5::ws
| fc 0wx3a6 ws = 0wx3c6::ws
| fc 0wx3a7 ws = 0wx3c7::ws
| fc 0wx3a8 ws = 0wx3c8::ws
| fc 0wx3a9 ws = 0wx3c9::ws
| fc 0wx3aa ws = 0wx3ca::ws
| fc 0wx3ab ws = 0wx3cb::ws
| fc 0wx3b0 ws = 0wx301::0wx308::0wx3c5::ws
| fc 0wx3c2 ws = 0wx3c3::ws
| fc 0wx3cf ws = 0wx3d7::ws
| fc 0wx3d0 ws = 0wx3b2::ws
| fc 0wx3d1 ws = 0wx3b8::ws
| fc 0wx3d5 ws = 0wx3c6::ws
| fc 0wx3d6 ws = 0wx3c0::ws
| fc 0wx3d8 ws = 0wx3d9::ws
| fc 0wx3da ws = 0wx3db::ws
| fc 0wx3dc ws = 0wx3dd::ws
| fc 0wx3de ws = 0wx3df::ws
| fc 0wx3e0 ws = 0wx3e1::ws
| fc 0wx3e2 ws = 0wx3e3::ws
| fc 0wx3e4 ws = 0wx3e5::ws
| fc 0wx3e6 ws = 0wx3e7::ws
| fc 0wx3e8 ws = 0wx3e9::ws
| fc 0wx3ea ws = 0wx3eb::ws
| fc 0wx3ec ws = 0wx3ed::ws
| fc 0wx3ee ws = 0wx3ef::ws
| fc 0wx3f0 ws = 0wx3ba::ws
| fc 0wx3f1 ws = 0wx3c1::ws
| fc 0wx3f4 ws = 0wx3b8::ws
| fc 0wx3f5 ws = 0wx3b5::ws
| fc 0wx3f7 ws = 0wx3f8::ws
| fc 0wx3f9 ws = 0wx3f2::ws
| fc 0wx3fa ws = 0wx3fb::ws
| fc 0wx3fd ws = 0wx37b::ws
| fc 0wx3fe ws = 0wx37c::ws
| fc 0wx3ff ws = 0wx37d::ws
| fc 0wx400 ws = 0wx450::ws
| fc 0wx401 ws = 0wx451::ws
| fc 0wx402 ws = 0wx452::ws
| fc 0wx403 ws = 0wx453::ws
| fc 0wx404 ws = 0wx454::ws
| fc 0wx405 ws = 0wx455::ws
| fc 0wx406 ws = 0wx456::ws
| fc 0wx407 ws = 0wx457::ws
| fc 0wx408 ws = 0wx458::ws
| fc 0wx409 ws = 0wx459::ws
| fc 0wx40a ws = 0wx45a::ws
| fc 0wx40b ws = 0wx45b::ws
| fc 0wx40c ws = 0wx45c::ws
| fc 0wx40d ws = 0wx45d::ws
| fc 0wx40e ws = 0wx45e::ws
| fc 0wx40f ws = 0wx45f::ws
| fc 0wx410 ws = 0wx430::ws
| fc 0wx411 ws = 0wx431::ws
| fc 0wx412 ws = 0wx432::ws
| fc 0wx413 ws = 0wx433::ws
| fc 0wx414 ws = 0wx434::ws
| fc 0wx415 ws = 0wx435::ws
| fc 0wx416 ws = 0wx436::ws
| fc 0wx417 ws = 0wx437::ws
| fc 0wx418 ws = 0wx438::ws
| fc 0wx419 ws = 0wx439::ws
| fc 0wx41a ws = 0wx43a::ws
| fc 0wx41b ws = 0wx43b::ws
| fc 0wx41c ws = 0wx43c::ws
| fc 0wx41d ws = 0wx43d::ws
| fc 0wx41e ws = 0wx43e::ws
| fc 0wx41f ws = 0wx43f::ws
| fc 0wx420 ws = 0wx440::ws
| fc 0wx421 ws = 0wx441::ws
| fc 0wx422 ws = 0wx442::ws
| fc 0wx423 ws = 0wx443::ws
| fc 0wx424 ws = 0wx444::ws
| fc 0wx425 ws = 0wx445::ws
| fc 0wx426 ws = 0wx446::ws
| fc 0wx427 ws = 0wx447::ws
| fc 0wx428 ws = 0wx448::ws
| fc 0wx429 ws = 0wx449::ws
| fc 0wx42a ws = 0wx44a::ws
| fc 0wx42b ws = 0wx44b::ws
| fc 0wx42c ws = 0wx44c::ws
| fc 0wx42d ws = 0wx44d::ws
| fc 0wx42e ws = 0wx44e::ws
| fc 0wx42f ws = 0wx44f::ws
| fc 0wx460 ws = 0wx461::ws
| fc 0wx462 ws = 0wx463::ws
| fc 0wx464 ws = 0wx465::ws
| fc 0wx466 ws = 0wx467::ws
| fc 0wx468 ws = 0wx469::ws
| fc 0wx46a ws = 0wx46b::ws
| fc 0wx46c ws = 0wx46d::ws
| fc 0wx46e ws = 0wx46f::ws
| fc 0wx470 ws = 0wx471::ws
| fc 0wx472 ws = 0wx473::ws
| fc 0wx474 ws = 0wx475::ws
| fc 0wx476 ws = 0wx477::ws
| fc 0wx478 ws = 0wx479::ws
| fc 0wx47a ws = 0wx47b::ws
| fc 0wx47c ws = 0wx47d::ws
| fc 0wx47e ws = 0wx47f::ws
| fc 0wx480 ws = 0wx481::ws
| fc 0wx48a ws = 0wx48b::ws
| fc 0wx48c ws = 0wx48d::ws
| fc 0wx48e ws = 0wx48f::ws
| fc 0wx490 ws = 0wx491::ws
| fc 0wx492 ws = 0wx493::ws
| fc 0wx494 ws = 0wx495::ws
| fc 0wx496 ws = 0wx497::ws
| fc 0wx498 ws = 0wx499::ws
| fc 0wx49a ws = 0wx49b::ws
| fc 0wx49c ws = 0wx49d::ws
| fc 0wx49e ws = 0wx49f::ws
| fc 0wx4a0 ws = 0wx4a1::ws
| fc 0wx4a2 ws = 0wx4a3::ws
| fc 0wx4a4 ws = 0wx4a5::ws
| fc 0wx4a6 ws = 0wx4a7::ws
| fc 0wx4a8 ws = 0wx4a9::ws
| fc 0wx4aa ws = 0wx4ab::ws
| fc 0wx4ac ws = 0wx4ad::ws
| fc 0wx4ae ws = 0wx4af::ws
| fc 0wx4b0 ws = 0wx4b1::ws
| fc 0wx4b2 ws = 0wx4b3::ws
| fc 0wx4b4 ws = 0wx4b5::ws
| fc 0wx4b6 ws = 0wx4b7::ws
| fc 0wx4b8 ws = 0wx4b9::ws
| fc 0wx4ba ws = 0wx4bb::ws
| fc 0wx4bc ws = 0wx4bd::ws
| fc 0wx4be ws = 0wx4bf::ws
| fc 0wx4c0 ws = 0wx4cf::ws
| fc 0wx4c1 ws = 0wx4c2::ws
| fc 0wx4c3 ws = 0wx4c4::ws
| fc 0wx4c5 ws = 0wx4c6::ws
| fc 0wx4c7 ws = 0wx4c8::ws
| fc 0wx4c9 ws = 0wx4ca::ws
| fc 0wx4cb ws = 0wx4cc::ws
| fc 0wx4cd ws = 0wx4ce::ws
| fc 0wx4d0 ws = 0wx4d1::ws
| fc 0wx4d2 ws = 0wx4d3::ws
| fc 0wx4d4 ws = 0wx4d5::ws
| fc 0wx4d6 ws = 0wx4d7::ws
| fc 0wx4d8 ws = 0wx4d9::ws
| fc 0wx4da ws = 0wx4db::ws
| fc 0wx4dc ws = 0wx4dd::ws
| fc 0wx4de ws = 0wx4df::ws
| fc 0wx4e0 ws = 0wx4e1::ws
| fc 0wx4e2 ws = 0wx4e3::ws
| fc 0wx4e4 ws = 0wx4e5::ws
| fc 0wx4e6 ws = 0wx4e7::ws
| fc 0wx4e8 ws = 0wx4e9::ws
| fc 0wx4ea ws = 0wx4eb::ws
| fc 0wx4ec ws = 0wx4ed::ws
| fc 0wx4ee ws = 0wx4ef::ws
| fc 0wx4f0 ws = 0wx4f1::ws
| fc 0wx4f2 ws = 0wx4f3::ws
| fc 0wx4f4 ws = 0wx4f5::ws
| fc 0wx4f6 ws = 0wx4f7::ws
| fc 0wx4f8 ws = 0wx4f9::ws
| fc 0wx4fa ws = 0wx4fb::ws
| fc 0wx4fc ws = 0wx4fd::ws
| fc 0wx4fe ws = 0wx4ff::ws
| fc 0wx500 ws = 0wx501::ws
| fc 0wx502 ws = 0wx503::ws
| fc 0wx504 ws = 0wx505::ws
| fc 0wx506 ws = 0wx507::ws
| fc 0wx508 ws = 0wx509::ws
| fc 0wx50a ws = 0wx50b::ws
| fc 0wx50c ws = 0wx50d::ws
| fc 0wx50e ws = 0wx50f::ws
| fc 0wx510 ws = 0wx511::ws
| fc 0wx512 ws = 0wx513::ws
| fc 0wx514 ws = 0wx515::ws
| fc 0wx516 ws = 0wx517::ws
| fc 0wx518 ws = 0wx519::ws
| fc 0wx51a ws = 0wx51b::ws
| fc 0wx51c ws = 0wx51d::ws
| fc 0wx51e ws = 0wx51f::ws
| fc 0wx520 ws = 0wx521::ws
| fc 0wx522 ws = 0wx523::ws
| fc 0wx524 ws = 0wx525::ws
| fc 0wx526 ws = 0wx527::ws
| fc 0wx528 ws = 0wx529::ws
| fc 0wx52a ws = 0wx52b::ws
| fc 0wx52c ws = 0wx52d::ws
| fc 0wx52e ws = 0wx52f::ws
| fc 0wx531 ws = 0wx561::ws
| fc 0wx532 ws = 0wx562::ws
| fc 0wx533 ws = 0wx563::ws
| fc 0wx534 ws = 0wx564::ws
| fc 0wx535 ws = 0wx565::ws
| fc 0wx536 ws = 0wx566::ws
| fc 0wx537 ws = 0wx567::ws
| fc 0wx538 ws = 0wx568::ws
| fc 0wx539 ws = 0wx569::ws
| fc 0wx53a ws = 0wx56a::ws
| fc 0wx53b ws = 0wx56b::ws
| fc 0wx53c ws = 0wx56c::ws
| fc 0wx53d ws = 0wx56d::ws
| fc 0wx53e ws = 0wx56e::ws
| fc 0wx53f ws = 0wx56f::ws
| fc 0wx540 ws = 0wx570::ws
| fc 0wx541 ws = 0wx571::ws
| fc 0wx542 ws = 0wx572::ws
| fc 0wx543 ws = 0wx573::ws
| fc 0wx544 ws = 0wx574::ws
| fc 0wx545 ws = 0wx575::ws
| fc 0wx546 ws = 0wx576::ws
| fc 0wx547 ws = 0wx577::ws
| fc 0wx548 ws = 0wx578::ws
| fc 0wx549 ws = 0wx579::ws
| fc 0wx54a ws = 0wx57a::ws
| fc 0wx54b ws = 0wx57b::ws
| fc 0wx54c ws = 0wx57c::ws
| fc 0wx54d ws = 0wx57d::ws
| fc 0wx54e ws = 0wx57e::ws
| fc 0wx54f ws = 0wx57f::ws
| fc 0wx550 ws = 0wx580::ws
| fc 0wx551 ws = 0wx581::ws
| fc 0wx552 ws = 0wx582::ws
| fc 0wx553 ws = 0wx583::ws
| fc 0wx554 ws = 0wx584::ws
| fc 0wx555 ws = 0wx585::ws
| fc 0wx556 ws = 0wx586::ws
| fc 0wx587 ws = 0wx582::0wx565::ws
| fc 0wx10a0 ws = 0wx2d00::ws
| fc 0wx10a1 ws = 0wx2d01::ws
| fc 0wx10a2 ws = 0wx2d02::ws
| fc 0wx10a3 ws = 0wx2d03::ws
| fc 0wx10a4 ws = 0wx2d04::ws
| fc 0wx10a5 ws = 0wx2d05::ws
| fc 0wx10a6 ws = 0wx2d06::ws
| fc 0wx10a7 ws = 0wx2d07::ws
| fc 0wx10a8 ws = 0wx2d08::ws
| fc 0wx10a9 ws = 0wx2d09::ws
| fc 0wx10aa ws = 0wx2d0a::ws
| fc 0wx10ab ws = 0wx2d0b::ws
| fc 0wx10ac ws = 0wx2d0c::ws
| fc 0wx10ad ws = 0wx2d0d::ws
| fc 0wx10ae ws = 0wx2d0e::ws
| fc 0wx10af ws = 0wx2d0f::ws
| fc 0wx10b0 ws = 0wx2d10::ws
| fc 0wx10b1 ws = 0wx2d11::ws
| fc 0wx10b2 ws = 0wx2d12::ws
| fc 0wx10b3 ws = 0wx2d13::ws
| fc 0wx10b4 ws = 0wx2d14::ws
| fc 0wx10b5 ws = 0wx2d15::ws
| fc 0wx10b6 ws = 0wx2d16::ws
| fc 0wx10b7 ws = 0wx2d17::ws
| fc 0wx10b8 ws = 0wx2d18::ws
| fc 0wx10b9 ws = 0wx2d19::ws
| fc 0wx10ba ws = 0wx2d1a::ws
| fc 0wx10bb ws = 0wx2d1b::ws
| fc 0wx10bc ws = 0wx2d1c::ws
| fc 0wx10bd ws = 0wx2d1d::ws
| fc 0wx10be ws = 0wx2d1e::ws
| fc 0wx10bf ws = 0wx2d1f::ws
| fc 0wx10c0 ws = 0wx2d20::ws
| fc 0wx10c1 ws = 0wx2d21::ws
| fc 0wx10c2 ws = 0wx2d22::ws
| fc 0wx10c3 ws = 0wx2d23::ws
| fc 0wx10c4 ws = 0wx2d24::ws
| fc 0wx10c5 ws = 0wx2d25::ws
| fc 0wx10c7 ws = 0wx2d27::ws
| fc 0wx10cd ws = 0wx2d2d::ws
| fc 0wx13f8 ws = 0wx13f0::ws
| fc 0wx13f9 ws = 0wx13f1::ws
| fc 0wx13fa ws = 0wx13f2::ws
| fc 0wx13fb ws = 0wx13f3::ws
| fc 0wx13fc ws = 0wx13f4::ws
| fc 0wx13fd ws = 0wx13f5::ws
| fc 0wx1c80 ws = 0wx432::ws
| fc 0wx1c81 ws = 0wx434::ws
| fc 0wx1c82 ws = 0wx43e::ws
| fc 0wx1c83 ws = 0wx441::ws
| fc 0wx1c84 ws = 0wx442::ws
| fc 0wx1c85 ws = 0wx442::ws
| fc 0wx1c86 ws = 0wx44a::ws
| fc 0wx1c87 ws = 0wx463::ws
| fc 0wx1c88 ws = 0wxa64b::ws
| fc 0wx1c90 ws = 0wx10d0::ws
| fc 0wx1c91 ws = 0wx10d1::ws
| fc 0wx1c92 ws = 0wx10d2::ws
| fc 0wx1c93 ws = 0wx10d3::ws
| fc 0wx1c94 ws = 0wx10d4::ws
| fc 0wx1c95 ws = 0wx10d5::ws
| fc 0wx1c96 ws = 0wx10d6::ws
| fc 0wx1c97 ws = 0wx10d7::ws
| fc 0wx1c98 ws = 0wx10d8::ws
| fc 0wx1c99 ws = 0wx10d9::ws
| fc 0wx1c9a ws = 0wx10da::ws
| fc 0wx1c9b ws = 0wx10db::ws
| fc 0wx1c9c ws = 0wx10dc::ws
| fc 0wx1c9d ws = 0wx10dd::ws
| fc 0wx1c9e ws = 0wx10de::ws
| fc 0wx1c9f ws = 0wx10df::ws
| fc 0wx1ca0 ws = 0wx10e0::ws
| fc 0wx1ca1 ws = 0wx10e1::ws
| fc 0wx1ca2 ws = 0wx10e2::ws
| fc 0wx1ca3 ws = 0wx10e3::ws
| fc 0wx1ca4 ws = 0wx10e4::ws
| fc 0wx1ca5 ws = 0wx10e5::ws
| fc 0wx1ca6 ws = 0wx10e6::ws
| fc 0wx1ca7 ws = 0wx10e7::ws
| fc 0wx1ca8 ws = 0wx10e8::ws
| fc 0wx1ca9 ws = 0wx10e9::ws
| fc 0wx1caa ws = 0wx10ea::ws
| fc 0wx1cab ws = 0wx10eb::ws
| fc 0wx1cac ws = 0wx10ec::ws
| fc 0wx1cad ws = 0wx10ed::ws
| fc 0wx1cae ws = 0wx10ee::ws
| fc 0wx1caf ws = 0wx10ef::ws
| fc 0wx1cb0 ws = 0wx10f0::ws
| fc 0wx1cb1 ws = 0wx10f1::ws
| fc 0wx1cb2 ws = 0wx10f2::ws
| fc 0wx1cb3 ws = 0wx10f3::ws
| fc 0wx1cb4 ws = 0wx10f4::ws
| fc 0wx1cb5 ws = 0wx10f5::ws
| fc 0wx1cb6 ws = 0wx10f6::ws
| fc 0wx1cb7 ws = 0wx10f7::ws
| fc 0wx1cb8 ws = 0wx10f8::ws
| fc 0wx1cb9 ws = 0wx10f9::ws
| fc 0wx1cba ws = 0wx10fa::ws
| fc 0wx1cbd ws = 0wx10fd::ws
| fc 0wx1cbe ws = 0wx10fe::ws
| fc 0wx1cbf ws = 0wx10ff::ws
| fc 0wx1e00 ws = 0wx1e01::ws
| fc 0wx1e02 ws = 0wx1e03::ws
| fc 0wx1e04 ws = 0wx1e05::ws
| fc 0wx1e06 ws = 0wx1e07::ws
| fc 0wx1e08 ws = 0wx1e09::ws
| fc 0wx1e0a ws = 0wx1e0b::ws
| fc 0wx1e0c ws = 0wx1e0d::ws
| fc 0wx1e0e ws = 0wx1e0f::ws
| fc 0wx1e10 ws = 0wx1e11::ws
| fc 0wx1e12 ws = 0wx1e13::ws
| fc 0wx1e14 ws = 0wx1e15::ws
| fc 0wx1e16 ws = 0wx1e17::ws
| fc 0wx1e18 ws = 0wx1e19::ws
| fc 0wx1e1a ws = 0wx1e1b::ws
| fc 0wx1e1c ws = 0wx1e1d::ws
| fc 0wx1e1e ws = 0wx1e1f::ws
| fc 0wx1e20 ws = 0wx1e21::ws
| fc 0wx1e22 ws = 0wx1e23::ws
| fc 0wx1e24 ws = 0wx1e25::ws
| fc 0wx1e26 ws = 0wx1e27::ws
| fc 0wx1e28 ws = 0wx1e29::ws
| fc 0wx1e2a ws = 0wx1e2b::ws
| fc 0wx1e2c ws = 0wx1e2d::ws
| fc 0wx1e2e ws = 0wx1e2f::ws
| fc 0wx1e30 ws = 0wx1e31::ws
| fc 0wx1e32 ws = 0wx1e33::ws
| fc 0wx1e34 ws = 0wx1e35::ws
| fc 0wx1e36 ws = 0wx1e37::ws
| fc 0wx1e38 ws = 0wx1e39::ws
| fc 0wx1e3a ws = 0wx1e3b::ws
| fc 0wx1e3c ws = 0wx1e3d::ws
| fc 0wx1e3e ws = 0wx1e3f::ws
| fc 0wx1e40 ws = 0wx1e41::ws
| fc 0wx1e42 ws = 0wx1e43::ws
| fc 0wx1e44 ws = 0wx1e45::ws
| fc 0wx1e46 ws = 0wx1e47::ws
| fc 0wx1e48 ws = 0wx1e49::ws
| fc 0wx1e4a ws = 0wx1e4b::ws
| fc 0wx1e4c ws = 0wx1e4d::ws
| fc 0wx1e4e ws = 0wx1e4f::ws
| fc 0wx1e50 ws = 0wx1e51::ws
| fc 0wx1e52 ws = 0wx1e53::ws
| fc 0wx1e54 ws = 0wx1e55::ws
| fc 0wx1e56 ws = 0wx1e57::ws
| fc 0wx1e58 ws = 0wx1e59::ws
| fc 0wx1e5a ws = 0wx1e5b::ws
| fc 0wx1e5c ws = 0wx1e5d::ws
| fc 0wx1e5e ws = 0wx1e5f::ws
| fc 0wx1e60 ws = 0wx1e61::ws
| fc 0wx1e62 ws = 0wx1e63::ws
| fc 0wx1e64 ws = 0wx1e65::ws
| fc 0wx1e66 ws = 0wx1e67::ws
| fc 0wx1e68 ws = 0wx1e69::ws
| fc 0wx1e6a ws = 0wx1e6b::ws
| fc 0wx1e6c ws = 0wx1e6d::ws
| fc 0wx1e6e ws = 0wx1e6f::ws
| fc 0wx1e70 ws = 0wx1e71::ws
| fc 0wx1e72 ws = 0wx1e73::ws
| fc 0wx1e74 ws = 0wx1e75::ws
| fc 0wx1e76 ws = 0wx1e77::ws
| fc 0wx1e78 ws = 0wx1e79::ws
| fc 0wx1e7a ws = 0wx1e7b::ws
| fc 0wx1e7c ws = 0wx1e7d::ws
| fc 0wx1e7e ws = 0wx1e7f::ws
| fc 0wx1e80 ws = 0wx1e81::ws
| fc 0wx1e82 ws = 0wx1e83::ws
| fc 0wx1e84 ws = 0wx1e85::ws
| fc 0wx1e86 ws = 0wx1e87::ws
| fc 0wx1e88 ws = 0wx1e89::ws
| fc 0wx1e8a ws = 0wx1e8b::ws
| fc 0wx1e8c ws = 0wx1e8d::ws
| fc 0wx1e8e ws = 0wx1e8f::ws
| fc 0wx1e90 ws = 0wx1e91::ws
| fc 0wx1e92 ws = 0wx1e93::ws
| fc 0wx1e94 ws = 0wx1e95::ws
| fc 0wx1e96 ws = 0wx331::0wx68::ws
| fc 0wx1e97 ws = 0wx308::0wx74::ws
| fc 0wx1e98 ws = 0wx30a::0wx77::ws
| fc 0wx1e99 ws = 0wx30a::0wx79::ws
| fc 0wx1e9a ws = 0wx2be::0wx61::ws
| fc 0wx1e9b ws = 0wx1e61::ws
| fc 0wx1e9e ws = 0wxdf::ws
| fc 0wx1ea0 ws = 0wx1ea1::ws
| fc 0wx1ea2 ws = 0wx1ea3::ws
| fc 0wx1ea4 ws = 0wx1ea5::ws
| fc 0wx1ea6 ws = 0wx1ea7::ws
| fc 0wx1ea8 ws = 0wx1ea9::ws
| fc 0wx1eaa ws = 0wx1eab::ws
| fc 0wx1eac ws = 0wx1ead::ws
| fc 0wx1eae ws = 0wx1eaf::ws
| fc 0wx1eb0 ws = 0wx1eb1::ws
| fc 0wx1eb2 ws = 0wx1eb3::ws
| fc 0wx1eb4 ws = 0wx1eb5::ws
| fc 0wx1eb6 ws = 0wx1eb7::ws
| fc 0wx1eb8 ws = 0wx1eb9::ws
| fc 0wx1eba ws = 0wx1ebb::ws
| fc 0wx1ebc ws = 0wx1ebd::ws
| fc 0wx1ebe ws = 0wx1ebf::ws
| fc 0wx1ec0 ws = 0wx1ec1::ws
| fc 0wx1ec2 ws = 0wx1ec3::ws
| fc 0wx1ec4 ws = 0wx1ec5::ws
| fc 0wx1ec6 ws = 0wx1ec7::ws
| fc 0wx1ec8 ws = 0wx1ec9::ws
| fc 0wx1eca ws = 0wx1ecb::ws
| fc 0wx1ecc ws = 0wx1ecd::ws
| fc 0wx1ece ws = 0wx1ecf::ws
| fc 0wx1ed0 ws = 0wx1ed1::ws
| fc 0wx1ed2 ws = 0wx1ed3::ws
| fc 0wx1ed4 ws = 0wx1ed5::ws
| fc 0wx1ed6 ws = 0wx1ed7::ws
| fc 0wx1ed8 ws = 0wx1ed9::ws
| fc 0wx1eda ws = 0wx1edb::ws
| fc 0wx1edc ws = 0wx1edd::ws
| fc 0wx1ede ws = 0wx1edf::ws
| fc 0wx1ee0 ws = 0wx1ee1::ws
| fc 0wx1ee2 ws = 0wx1ee3::ws
| fc 0wx1ee4 ws = 0wx1ee5::ws
| fc 0wx1ee6 ws = 0wx1ee7::ws
| fc 0wx1ee8 ws = 0wx1ee9::ws
| fc 0wx1eea ws = 0wx1eeb::ws
| fc 0wx1eec ws = 0wx1eed::ws
| fc 0wx1eee ws = 0wx1eef::ws
| fc 0wx1ef0 ws = 0wx1ef1::ws
| fc 0wx1ef2 ws = 0wx1ef3::ws
| fc 0wx1ef4 ws = 0wx1ef5::ws
| fc 0wx1ef6 ws = 0wx1ef7::ws
| fc 0wx1ef8 ws = 0wx1ef9::ws
| fc 0wx1efa ws = 0wx1efb::ws
| fc 0wx1efc ws = 0wx1efd::ws
| fc 0wx1efe ws = 0wx1eff::ws
| fc 0wx1f08 ws = 0wx1f00::ws
| fc 0wx1f09 ws = 0wx1f01::ws
| fc 0wx1f0a ws = 0wx1f02::ws
| fc 0wx1f0b ws = 0wx1f03::ws
| fc 0wx1f0c ws = 0wx1f04::ws
| fc 0wx1f0d ws = 0wx1f05::ws
| fc 0wx1f0e ws = 0wx1f06::ws
| fc 0wx1f0f ws = 0wx1f07::ws
| fc 0wx1f18 ws = 0wx1f10::ws
| fc 0wx1f19 ws = 0wx1f11::ws
| fc 0wx1f1a ws = 0wx1f12::ws
| fc 0wx1f1b ws = 0wx1f13::ws
| fc 0wx1f1c ws = 0wx1f14::ws
| fc 0wx1f1d ws = 0wx1f15::ws
| fc 0wx1f28 ws = 0wx1f20::ws
| fc 0wx1f29 ws = 0wx1f21::ws
| fc 0wx1f2a ws = 0wx1f22::ws
| fc 0wx1f2b ws = 0wx1f23::ws
| fc 0wx1f2c ws = 0wx1f24::ws
| fc 0wx1f2d ws = 0wx1f25::ws
| fc 0wx1f2e ws = 0wx1f26::ws
| fc 0wx1f2f ws = 0wx1f27::ws
| fc 0wx1f38 ws = 0wx1f30::ws
| fc 0wx1f39 ws = 0wx1f31::ws
| fc 0wx1f3a ws = 0wx1f32::ws
| fc 0wx1f3b ws = 0wx1f33::ws
| fc 0wx1f3c ws = 0wx1f34::ws
| fc 0wx1f3d ws = 0wx1f35::ws
| fc 0wx1f3e ws = 0wx1f36::ws
| fc 0wx1f3f ws = 0wx1f37::ws
| fc 0wx1f48 ws = 0wx1f40::ws
| fc 0wx1f49 ws = 0wx1f41::ws
| fc 0wx1f4a ws = 0wx1f42::ws
| fc 0wx1f4b ws = 0wx1f43::ws
| fc 0wx1f4c ws = 0wx1f44::ws
| fc 0wx1f4d ws = 0wx1f45::ws
| fc 0wx1f50 ws = 0wx313::0wx3c5::ws
| fc 0wx1f52 ws = 0wx300::0wx313::0wx3c5::ws
| fc 0wx1f54 ws = 0wx301::0wx313::0wx3c5::ws
| fc 0wx1f56 ws = 0wx342::0wx313::0wx3c5::ws
| fc 0wx1f59 ws = 0wx1f51::ws
| fc 0wx1f5b ws = 0wx1f53::ws
| fc 0wx1f5d ws = 0wx1f55::ws
| fc 0wx1f5f ws = 0wx1f57::ws
| fc 0wx1f68 ws = 0wx1f60::ws
| fc 0wx1f69 ws = 0wx1f61::ws
| fc 0wx1f6a ws = 0wx1f62::ws
| fc 0wx1f6b ws = 0wx1f63::ws
| fc 0wx1f6c ws = 0wx1f64::ws
| fc 0wx1f6d ws = 0wx1f65::ws
| fc 0wx1f6e ws = 0wx1f66::ws
| fc 0wx1f6f ws = 0wx1f67::ws
| fc 0wx1f80 ws = 0wx3b9::0wx1f00::ws
| fc 0wx1f81 ws = 0wx3b9::0wx1f01::ws
| fc 0wx1f82 ws = 0wx3b9::0wx1f02::ws
| fc 0wx1f83 ws = 0wx3b9::0wx1f03::ws
| fc 0wx1f84 ws = 0wx3b9::0wx1f04::ws
| fc 0wx1f85 ws = 0wx3b9::0wx1f05::ws
| fc 0wx1f86 ws = 0wx3b9::0wx1f06::ws
| fc 0wx1f87 ws = 0wx3b9::0wx1f07::ws
| fc 0wx1f88 ws = 0wx1f80::ws
| fc 0wx1f89 ws = 0wx1f81::ws
| fc 0wx1f8a ws = 0wx1f82::ws
| fc 0wx1f8b ws = 0wx1f83::ws
| fc 0wx1f8c ws = 0wx1f84::ws
| fc 0wx1f8d ws = 0wx1f85::ws
| fc 0wx1f8e ws = 0wx1f86::ws
| fc 0wx1f8f ws = 0wx1f87::ws
| fc 0wx1f90 ws = 0wx3b9::0wx1f20::ws
| fc 0wx1f91 ws = 0wx3b9::0wx1f21::ws
| fc 0wx1f92 ws = 0wx3b9::0wx1f22::ws
| fc 0wx1f93 ws = 0wx3b9::0wx1f23::ws
| fc 0wx1f94 ws = 0wx3b9::0wx1f24::ws
| fc 0wx1f95 ws = 0wx3b9::0wx1f25::ws
| fc 0wx1f96 ws = 0wx3b9::0wx1f26::ws
| fc 0wx1f97 ws = 0wx3b9::0wx1f27::ws
| fc 0wx1f98 ws = 0wx1f90::ws
| fc 0wx1f99 ws = 0wx1f91::ws
| fc 0wx1f9a ws = 0wx1f92::ws
| fc 0wx1f9b ws = 0wx1f93::ws
| fc 0wx1f9c ws = 0wx1f94::ws
| fc 0wx1f9d ws = 0wx1f95::ws
| fc 0wx1f9e ws = 0wx1f96::ws
| fc 0wx1f9f ws = 0wx1f97::ws
| fc 0wx1fa0 ws = 0wx3b9::0wx1f60::ws
| fc 0wx1fa1 ws = 0wx3b9::0wx1f61::ws
| fc 0wx1fa2 ws = 0wx3b9::0wx1f62::ws
| fc 0wx1fa3 ws = 0wx3b9::0wx1f63::ws
| fc 0wx1fa4 ws = 0wx3b9::0wx1f64::ws
| fc 0wx1fa5 ws = 0wx3b9::0wx1f65::ws
| fc 0wx1fa6 ws = 0wx3b9::0wx1f66::ws
| fc 0wx1fa7 ws = 0wx3b9::0wx1f67::ws
| fc 0wx1fa8 ws = 0wx1fa0::ws
| fc 0wx1fa9 ws = 0wx1fa1::ws
| fc 0wx1faa ws = 0wx1fa2::ws
| fc 0wx1fab ws = 0wx1fa3::ws
| fc 0wx1fac ws = 0wx1fa4::ws
| fc 0wx1fad ws = 0wx1fa5::ws
| fc 0wx1fae ws = 0wx1fa6::ws
| fc 0wx1faf ws = 0wx1fa7::ws
| fc 0wx1fb2 ws = 0wx3b9::0wx1f70::ws
| fc 0wx1fb3 ws = 0wx3b9::0wx3b1::ws
| fc 0wx1fb4 ws = 0wx3b9::0wx3ac::ws
| fc 0wx1fb6 ws = 0wx342::0wx3b1::ws
| fc 0wx1fb7 ws = 0wx3b9::0wx342::0wx3b1::ws
| fc 0wx1fb8 ws = 0wx1fb0::ws
| fc 0wx1fb9 ws = 0wx1fb1::ws
| fc 0wx1fba ws = 0wx1f70::ws
| fc 0wx1fbb ws = 0wx1f71::ws
| fc 0wx1fbc ws = 0wx1fb3::ws
| fc 0wx1fbe ws = 0wx3b9::ws
| fc 0wx1fc2 ws = 0wx3b9::0wx1f74::ws
| fc 0wx1fc3 ws = 0wx3b9::0wx3b7::ws
| fc 0wx1fc4 ws = 0wx3b9::0wx3ae::ws
| fc 0wx1fc6 ws = 0wx342::0wx3b7::ws
| fc 0wx1fc7 ws = 0wx3b9::0wx342::0wx3b7::ws
| fc 0wx1fc8 ws = 0wx1f72::ws
| fc 0wx1fc9 ws = 0wx1f73::ws
| fc 0wx1fca ws = 0wx1f74::ws
| fc 0wx1fcb ws = 0wx1f75::ws
| fc 0wx1fcc ws = 0wx1fc3::ws
| fc 0wx1fd2 ws = 0wx300::0wx308::0wx3b9::ws
| fc 0wx1fd3 ws = 0wx301::0wx308::0wx3b9::ws
| fc 0wx1fd6 ws = 0wx342::0wx3b9::ws
| fc 0wx1fd7 ws = 0wx342::0wx308::0wx3b9::ws
| fc 0wx1fd8 ws = 0wx1fd0::ws
| fc 0wx1fd9 ws = 0wx1fd1::ws
| fc 0wx1fda ws = 0wx1f76::ws
| fc 0wx1fdb ws = 0wx1f77::ws
| fc 0wx1fe2 ws = 0wx300::0wx308::0wx3c5::ws
| fc 0wx1fe3 ws = 0wx301::0wx308::0wx3c5::ws
| fc 0wx1fe4 ws = 0wx313::0wx3c1::ws
| fc 0wx1fe6 ws = 0wx342::0wx3c5::ws
| fc 0wx1fe7 ws = 0wx342::0wx308::0wx3c5::ws
| fc 0wx1fe8 ws = 0wx1fe0::ws
| fc 0wx1fe9 ws = 0wx1fe1::ws
| fc 0wx1fea ws = 0wx1f7a::ws
| fc 0wx1feb ws = 0wx1f7b::ws
| fc 0wx1fec ws = 0wx1fe5::ws
| fc 0wx1ff2 ws = 0wx3b9::0wx1f7c::ws
| fc 0wx1ff3 ws = 0wx3b9::0wx3c9::ws
| fc 0wx1ff4 ws = 0wx3b9::0wx3ce::ws
| fc 0wx1ff6 ws = 0wx342::0wx3c9::ws
| fc 0wx1ff7 ws = 0wx3b9::0wx342::0wx3c9::ws
| fc 0wx1ff8 ws = 0wx1f78::ws
| fc 0wx1ff9 ws = 0wx1f79::ws
| fc 0wx1ffa ws = 0wx1f7c::ws
| fc 0wx1ffb ws = 0wx1f7d::ws
| fc 0wx1ffc ws = 0wx1ff3::ws
| fc 0wx2126 ws = 0wx3c9::ws
| fc 0wx212a ws = 0wx6b::ws
| fc 0wx212b ws = 0wxe5::ws
| fc 0wx2132 ws = 0wx214e::ws
| fc 0wx2160 ws = 0wx2170::ws
| fc 0wx2161 ws = 0wx2171::ws
| fc 0wx2162 ws = 0wx2172::ws
| fc 0wx2163 ws = 0wx2173::ws
| fc 0wx2164 ws = 0wx2174::ws
| fc 0wx2165 ws = 0wx2175::ws
| fc 0wx2166 ws = 0wx2176::ws
| fc 0wx2167 ws = 0wx2177::ws
| fc 0wx2168 ws = 0wx2178::ws
| fc 0wx2169 ws = 0wx2179::ws
| fc 0wx216a ws = 0wx217a::ws
| fc 0wx216b ws = 0wx217b::ws
| fc 0wx216c ws = 0wx217c::ws
| fc 0wx216d ws = 0wx217d::ws
| fc 0wx216e ws = 0wx217e::ws
| fc 0wx216f ws = 0wx217f::ws
| fc 0wx2183 ws = 0wx2184::ws
| fc 0wx24b6 ws = 0wx24d0::ws
| fc 0wx24b7 ws = 0wx24d1::ws
| fc 0wx24b8 ws = 0wx24d2::ws
| fc 0wx24b9 ws = 0wx24d3::ws
| fc 0wx24ba ws = 0wx24d4::ws
| fc 0wx24bb ws = 0wx24d5::ws
| fc 0wx24bc ws = 0wx24d6::ws
| fc 0wx24bd ws = 0wx24d7::ws
| fc 0wx24be ws = 0wx24d8::ws
| fc 0wx24bf ws = 0wx24d9::ws
| fc 0wx24c0 ws = 0wx24da::ws
| fc 0wx24c1 ws = 0wx24db::ws
| fc 0wx24c2 ws = 0wx24dc::ws
| fc 0wx24c3 ws = 0wx24dd::ws
| fc 0wx24c4 ws = 0wx24de::ws
| fc 0wx24c5 ws = 0wx24df::ws
| fc 0wx24c6 ws = 0wx24e0::ws
| fc 0wx24c7 ws = 0wx24e1::ws
| fc 0wx24c8 ws = 0wx24e2::ws
| fc 0wx24c9 ws = 0wx24e3::ws
| fc 0wx24ca ws = 0wx24e4::ws
| fc 0wx24cb ws = 0wx24e5::ws
| fc 0wx24cc ws = 0wx24e6::ws
| fc 0wx24cd ws = 0wx24e7::ws
| fc 0wx24ce ws = 0wx24e8::ws
| fc 0wx24cf ws = 0wx24e9::ws
| fc 0wx2c00 ws = 0wx2c30::ws
| fc 0wx2c01 ws = 0wx2c31::ws
| fc 0wx2c02 ws = 0wx2c32::ws
| fc 0wx2c03 ws = 0wx2c33::ws
| fc 0wx2c04 ws = 0wx2c34::ws
| fc 0wx2c05 ws = 0wx2c35::ws
| fc 0wx2c06 ws = 0wx2c36::ws
| fc 0wx2c07 ws = 0wx2c37::ws
| fc 0wx2c08 ws = 0wx2c38::ws
| fc 0wx2c09 ws = 0wx2c39::ws
| fc 0wx2c0a ws = 0wx2c3a::ws
| fc 0wx2c0b ws = 0wx2c3b::ws
| fc 0wx2c0c ws = 0wx2c3c::ws
| fc 0wx2c0d ws = 0wx2c3d::ws
| fc 0wx2c0e ws = 0wx2c3e::ws
| fc 0wx2c0f ws = 0wx2c3f::ws
| fc 0wx2c10 ws = 0wx2c40::ws
| fc 0wx2c11 ws = 0wx2c41::ws
| fc 0wx2c12 ws = 0wx2c42::ws
| fc 0wx2c13 ws = 0wx2c43::ws
| fc 0wx2c14 ws = 0wx2c44::ws
| fc 0wx2c15 ws = 0wx2c45::ws
| fc 0wx2c16 ws = 0wx2c46::ws
| fc 0wx2c17 ws = 0wx2c47::ws
| fc 0wx2c18 ws = 0wx2c48::ws
| fc 0wx2c19 ws = 0wx2c49::ws
| fc 0wx2c1a ws = 0wx2c4a::ws
| fc 0wx2c1b ws = 0wx2c4b::ws
| fc 0wx2c1c ws = 0wx2c4c::ws
| fc 0wx2c1d ws = 0wx2c4d::ws
| fc 0wx2c1e ws = 0wx2c4e::ws
| fc 0wx2c1f ws = 0wx2c4f::ws
| fc 0wx2c20 ws = 0wx2c50::ws
| fc 0wx2c21 ws = 0wx2c51::ws
| fc 0wx2c22 ws = 0wx2c52::ws
| fc 0wx2c23 ws = 0wx2c53::ws
| fc 0wx2c24 ws = 0wx2c54::ws
| fc 0wx2c25 ws = 0wx2c55::ws
| fc 0wx2c26 ws = 0wx2c56::ws
| fc 0wx2c27 ws = 0wx2c57::ws
| fc 0wx2c28 ws = 0wx2c58::ws
| fc 0wx2c29 ws = 0wx2c59::ws
| fc 0wx2c2a ws = 0wx2c5a::ws
| fc 0wx2c2b ws = 0wx2c5b::ws
| fc 0wx2c2c ws = 0wx2c5c::ws
| fc 0wx2c2d ws = 0wx2c5d::ws
| fc 0wx2c2e ws = 0wx2c5e::ws
| fc 0wx2c60 ws = 0wx2c61::ws
| fc 0wx2c62 ws = 0wx26b::ws
| fc 0wx2c63 ws = 0wx1d7d::ws
| fc 0wx2c64 ws = 0wx27d::ws
| fc 0wx2c67 ws = 0wx2c68::ws
| fc 0wx2c69 ws = 0wx2c6a::ws
| fc 0wx2c6b ws = 0wx2c6c::ws
| fc 0wx2c6d ws = 0wx251::ws
| fc 0wx2c6e ws = 0wx271::ws
| fc 0wx2c6f ws = 0wx250::ws
| fc 0wx2c70 ws = 0wx252::ws
| fc 0wx2c72 ws = 0wx2c73::ws
| fc 0wx2c75 ws = 0wx2c76::ws
| fc 0wx2c7e ws = 0wx23f::ws
| fc 0wx2c7f ws = 0wx240::ws
| fc 0wx2c80 ws = 0wx2c81::ws
| fc 0wx2c82 ws = 0wx2c83::ws
| fc 0wx2c84 ws = 0wx2c85::ws
| fc 0wx2c86 ws = 0wx2c87::ws
| fc 0wx2c88 ws = 0wx2c89::ws
| fc 0wx2c8a ws = 0wx2c8b::ws
| fc 0wx2c8c ws = 0wx2c8d::ws
| fc 0wx2c8e ws = 0wx2c8f::ws
| fc 0wx2c90 ws = 0wx2c91::ws