-
Notifications
You must be signed in to change notification settings - Fork 0
/
value_60024276.lp
22871 lines (22871 loc) · 521 KB
/
value_60024276.lp
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
maximize cost: 24 xe + 24 xf + 24 x10 + 24 x11
+ 34 x4 + 34 x5 + 24 x12 + 34 x6 + 34 x7
+ 24 x13 + 24 x14 + 34 x8 + 24 x15 + 34 x9
+ 24 x16 + 24 x17 + 24 x18 + 34 xa + 34 xb
+ 34 xc + 34 xd + 24 x23 + 24 x24 + 24 x25
+ 24 x26 + 34 x19 + 34 x1a + 24 x27 + 34 x1b
+ 34 x1c + 24 x28 + 24 x29 + 34 x1d + 24 x2a
+ 34 x1e + 24 x2b + 24 x2c + 24 x2d + 34 x1f
+ 34 x20 + 34 x21 + 34 x22 + 24 x38 + 24 x39
+ 24 x3a + 24 x3b + 34 x2e + 34 x2f + 24 x3c
+ 34 x30 + 34 x31 + 24 x3d + 24 x3e + 34 x32
+ 24 x3f + 34 x33 + 24 x40 + 24 x41 + 24 x42
+ 34 x34 + 34 x35 + 34 x36 + 34 x37 + 16 x6d
+ 16 x6e + 16 x6f + 16 x70 + 16 x71 + 11 x72
+ 11 x73 + 11 x74 + 11 x75 + 11 x77 + 11 x78
+ 11 x79 + 11 x7a + 11 x7b + 11 x7c + 11 x7d
+ 11 x7e + 11 x7f + 11 x80 + 11 x76 + 8 x81
+ 8 x82 + 8 x83 + 8 x84 + 8 x85 + 8 x86
+ 8 x87 + 8 x88 + 8 x89 + 8 x8a + 8 x90
+ 8 x91 + 8 x92 + 8 x93 + 8 x94 + 8 x95
+ 8 x8b + 8 x8c + 8 x8d + 8 x96 + 8 x8e
+ 8 x8f + 8 x97 + 8 x98 + 8 x99 + 8 x9a
+ 8 x9b + 8 xa1 + 8 xa2 + 8 xa3 + 8 xa4
+ 8 xa5 + 8 xa6 + 8 x9c + 8 x9d + 8 x9e
+ 8 xa7 + 8 x9f + 8 xa0 + 19 xa8 + 19 xa9
+ 19 xaa + 19 xab + 19 xac + 14 xad + 14 xae
+ 14 xaf + 14 xb0 + 14 xb2 + 14 xb3 + 14 xb4
+ 14 xb5 + 14 xb6 + 14 xb7 + 14 xb8 + 14 xb9
+ 14 xba + 14 xbb + 14 xb1 + 13 xbc + 13 xbd
+ 13 xbe + 13 xbf + 13 xc0 + 11 xc1 + 11 xc2
+ 11 xc3 + 11 xc4 + 11 xc5 + 8 xc6 + 10 xc7
+ 8 xc8 + 10 xc9 + 8 xca + 8 xcb + 8 xcc
+ 8 xd2 + 8 xd3 + 8 xd4 + 8 xd5 + 8 xd6
+ 8 xd7 + 8 xcd + 8 xce + 8 xcf + 8 xd8
+ 8 xd0 + 8 xd1 + 15 xd9 + 15 xda + 15 xdb
+ 15 xdc + 15 xdd + 10 xde + 10 xdf + 10 xe0
+ 10 xe1 + 10 xe3 + 10 xe4 + 10 xe5 + 10 xe6
+ 10 xe7 + 10 xe8 + 10 xe9 + 10 xea + 10 xeb
+ 10 xec + 10 xe2 + 9 xed + 9 xee + 9 xef
+ 9 xf0 + 9 xf1 + 8 xf7 + 8 xf8 + 8 xf9
+ 8 xfa + 8 xfb + 8 xfc + 8 xf2 + 8 xf3
+ 8 xf4 + 8 xfd + 8 xf5 + 8 xf6 + 8 x103
+ 8 x104 + 8 x105 + 8 x106 + 8 xfe + 8 xff
+ 8 x100 + 8 x107 + 8 x101 + 8 x102 + 10 x108
+ 10 x109 + 10 x10a + 10 x10b + 10 x10c + 20 x119
+ 11 x112 + 11 x113 + 11 x114 + 11 x115 + 11 x116
+ 11 x117 + 11 x10d + 11 x10e + 11 x10f + 11 x118
+ 11 x110 + 11 x111 + 20 x11a + 20 x11b + 20 x11c
+ 20 x11d + 26 x11e + 26 x11f + 26 x120 + 26 x121
+ 26 x122 + 21 x123 + 21 x124 + 21 x125 + 21 x126
+ 21 x128 + 21 x129 + 21 x12a + 21 x12b + 21 x12c
+ 21 x12d + 21 x12e + 21 x12f + 21 x130 + 21 x131
+ 21 x127 + 18 x13e + 10 x137 + 10 x138 + 10 x139
+ 10 x13a + 10 x13b + 10 x13c + 10 x132 + 10 x133
+ 10 x134 + 10 x13d + 10 x135 + 10 x136 + 18 x13f
+ 18 x140 + 18 x141 + 18 x142 + 21 x143 + 21 x144
+ 21 x145 + 21 x146 + 21 x147 + 16 x148 + 16 x149
+ 16 x14a + 16 x14b + 16 x14d + 16 x14e + 16 x14f
+ 16 x150 + 16 x151 + 16 x152 + 16 x153 + 16 x154
+ 16 x155 + 16 x156 + 16 x14c + 15 x157 + 15 x158
+ 15 x159 + 15 x15a + 15 x15b + 8 x161 + 8 x162
+ 8 x163 + 8 x164 + 8 x165 + 8 x166 + 8 x15c
+ 8 x15d + 8 x15e + 8 x167 + 8 x15f + 8 x160
+ 3 x16a + 2 x16e + 2 x16f + 2 x170 + 1 x176
+ 3 x177 + 3 x178 + 1 x179 + 1 x17a + 1 x17b
+ 3 x185 + 5 x1a8 + 5 x1a9 + 5 x1aa + 5 x1ab
+ 5 x1ac + 5 x1ad + 15 x1ae + 15 x1af + 15 x1b0
+ 15 x1b1 + 15 x1b2 + 15 x1b3 + 15 x1b4 + 5 x1b6
+ 5 x1b7 + 5 x1b8 + 3 x1b9 + 3 x1ba + 3 x1bb
+ 2 x1bc + 2 x1bd + 2 x1be + 3 x1c2 + 6 x1c3
+ 6 x1c4 + 3 x1c5 + 7 x1c6 + 3 x1c7 + 3 x1c8
+ 13 x1c9 + 13 x1ca + 13 x1cb + 13 x1cc + 13 x1cd
+ 13 x1ce + 13 x1cf + 3 x1d0 + 3 x1d1 + 3 x1d2
+ 3 x1d3 + 3 x1d4 + 3 x1d5 + 3 x1d6 + 1 x1dd
+ 1 x1de + 2 x1df + 2 x1e0 + 2 x1e1 + 2 x1e3
+ 2 x1e4 + 14 x1e6 + 14 x1e7 + 14 x1e8 + 14 x1e9
+ 14 x1ea + 14 x1eb + 14 x1ec + 4 x1ed + 4 x1ee
+ 4 x1ef + 4 x1f0 + 4 x1f1 + 4 x1f2 + 5 x1f3
+ 5 x1f4 + 5 x1f5 + 5 x1f6 + 5 x1f7 + 5 x1f8
+ 3 x1fa + 3 x1fb + 3 x1fc + 3 x1fd + 3 x1fe
+ 3 x1ff + 3 x200 + 15 x201 + 3 x202 + 15 x203
+ 3 x204 + 16 x205 + 15 x206 + 16 x207 + 4 x208
+ 16 x209 + 4 x20a + 17 x20b + 16 x20c + 2 x210
+ 2 x20d + 2 x20e + 2 x20f + 4 x214 + 4 x215
+ 4 x216 + 4 x21a + 4 x217 + 4 x218 + 4 x219
+ 3 x21d + 3 x220 + 3 x21e + 3 x21f + 4 x222
+ 4 x223 + 4 x224 + 4 x225 + 4 x226 + 3 x227
+ 3 x22b + 3 x228 + 3 x229 + 3 x22a + 2 x22f
+ 2 x22c + 2 x22d + 2 x22e + 2 x232 + 2 x233
+ 4 x237 + 4 x234 + 4 x235 + 4 x236 + 4 x238
+ 4 x239 + 4 x23a + 4 x23b + 4 x23c + 4 x23d
+ 4 x23e + 4 x242 + 4 x23f + 4 x240 + 4 x241
+ 2 x243 + 2 x244 + 2 x245 + 2 x246 + 2 x249
+ 2 x247 + 2 x248 + 16 x24a + 3 x24b + 3 x24f
+ 3 x24c + 3 x24d + 3 x24e + 13 x250 + 12 x251
+ 12 x252 + 18 x253 + 12 x254 + 13 x256 + 12 x257
+ 12 x258 + 12 x259 + 12 x25a + 12 x25b + 12 x25c
+ 12 x25d + 15 x25e + 8 x26b + 8 x26c + 8 x26d
+ 8 x26e + 8 x26f + 8 x270 + 13 x271 + 13 x272
+ 1 x273 + 16 x27c + 16 x27d + 3 x27e + 3 x27f
+ 3 x280 + 3 x281 + 3 x282 + 5 x283 + 5 x284
+ 5 x285 + 5 x286 + 5 x287 + 14 x288 + 14 x289
+ 2 x28a + 2 x28b + 2 x28c + 12 x299 + 12 x29a
+ 12 x29b + 12 x29c + 12 x29d + 12 x29e + 16 x29f
+ 16 x2a0 + 16 x2a1 + 16 x2a2 + 16 x2a3 + 16 x2a4
+ 16 x2a5 + 16 x2a6 + 3 x4bdc + 3 x4bdd + 3 x4bde
+ 3 x4bdf + 3 x4be0 + 3 x4be1 + 5 x4be6 + 5 x4be2
+ 5 x4be3 + 5 x4be4 + 5 x4be5 + 5 x4be7 + 2 x2a7
+ 2 x2a8 + 2 x2a9 + 2 x2aa + 2 x2ab + 6 x2ac
+ 6 x2ad + 6 x2ae + 6 x2af + 6 x2b0 + 3 x4be8
+ 3 x4be9 + 3 x4bea + 3 x4beb + 3 x4bec + 3 x4bed
+ 5 x4bf2 + 5 x4bee + 5 x4bef + 5 x4bf0 + 5 x4bf1
+ 5 x4bf3 + 4 x2b1 + 4 x2b2 + 4 x2b3 + 8 x2b4
+ 8 x2b5 + 8 x2b6 + 3 x2b7 + 3 x2b8 + 2 x2b9
+ 5 x2c6 + 5 x2c7 + 14 x2ca + 15 x2cb + 21 x2d0
+ 21 x2d1 + 21 x2d2 + 9 x2d3 + 11 x2d4 + 11 x2d5
+ 11 x2d6 + 11 x2d7 + 13 x2d8 + 13 x2d9 + 13 x2da
+ 13 x2db + 9 x2dc + 12 x307 + 12 x308 + 12 x309
+ 12 x30a + 16 x30b + 16 x30c + 16 x30d + 16 x30e
+ 16 x30f + 16 x310 + 16 x311 + 3 x315f + 3 x3160
+ 3 x3161 + 3 x3162 + 3 x3163 + 3 x3164 + 3 x3165
+ 3 x3166 + 3 x3167 + 3 x3168 + 3 x3169 + 3 x316a
+ 3 x316b + 5 x316c + 5 x316d + 5 x316e + 5 x316f
+ 5 x3170 + 5 x3171 + 5 x3172 + 5 x3173 + 5 x3174
+ 5 x3175 + 5 x3176 + 5 x3177 + 5 x3178 + 2 x312
+ 2 x313 + 2 x314 + 2 x315 + 6 x316 + 6 x317
+ 6 x318 + 6 x319 + 3 x3179 + 3 x317a + 3 x317b
+ 3 x317c + 3 x317d + 3 x317e + 3 x317f + 3 x3180
+ 3 x3181 + 3 x3182 + 3 x3183 + 3 x3184 + 3 x3185
+ 5 x3186 + 5 x3187 + 5 x3188 + 5 x3189 + 5 x318a
+ 5 x318b + 5 x318c + 5 x318d + 5 x318e + 5 x318f
+ 5 x3190 + 5 x3191 + 5 x3192 + 4 x31a + 4 x31b
+ 4 x31c + 4 x31d + 4 x31e + 4 x31f + 8 x320
+ 8 x321 + 8 x322 + 8 x323 + 8 x324 + 8 x325
+ 3 x326 + 3 x327 + 3 x328 + 3 x329 + 15 x32a
+ 2 x32b + 17 x338 + 13 x339 + 4 x33c + 4 x33d
+ 4 x33e + 4 x33f + 4 x340 + 4 x341 + 2 x348
+ 2 x349 + 2 x34a + 2 x34b + 15 x34c + 2 x34d
+ 17 x354 + 13 x355 + 1 x38c + 1 x38e + 1 x390
+ 1 x392 + 4 x358 + 4 x359 + 4 x35a + 4 x35b
+ 4 x35c + 4 x35d + 2 x364 + 2 x365 + 2 x366
+ 2 x367 + 15 x368 + 2 x369 + 17 x374 + 13 x375
+ 4 x379 + 4 x37a + 4 x37b + 4 x37c + 4 x37d
+ 4 x37e + 7 x3193 + 7 x3194 + 7 x3195 + 7 x3196
+ 7 x3197 + 7 x3198 + 7 x3199 + 7 x319a + 7 x319b
+ 7 x319c + 7 x319d + 7 x319e + 7 x319f + 7 x31a0
+ 7 x31a1 + 7 x31a2 + 7 x31a3 + 7 x31a4 + 7 x31a5
+ 7 x31a6 + 7 x31a7 + 7 x31a8 + 7 x31a9 + 7 x31aa
+ 7 x31ab + 7 x31ac + 7 x31ad + 7 x31ae + 7 x31af
+ 7 x31b0 + 7 x31b1 + 7 x31b2 + 7 x31b3 + 7 x31b4
+ 7 x31b5 + 7 x31b6 + 7 x31b7 + 7 x31b8 + 7 x31b9
+ 7 x31ba + 7 x31bb + 7 x31bc + 7 x31bd + 7 x31be
+ 7 x31bf + 7 x31c0 + 7 x31c1 + 7 x31c2 + 7 x31c3
+ 7 x31c4 + 7 x31c5 + 7 x31c6 + 2 x3de + 2 x3df
+ 2 x3e0 + 2 x3e1 + 13 x2fec + 12 x2fed + 5 x3e2
+ 29 x3e4 + 29 x3e5 + 27 x3e6 + 27 x3e7 + 10 x3ec
+ 10 x3ed + 8 x3ee + 8 x3ef + 75900 x3f0 + 75900 x3f1
+ 11 x3fb + 27 x3fc + 21 x3fd + 10 x3fe + 21 x3ff
+ 20 x400 + 25 x40d + 25 x40e + 25 x40f + 25 x410
+ 25 x411 + 25 x412 + 25 x413 + 25 x414 + 25 x415
+ 25 x416 + 25 x417 + 25 x418 + 75900 x419 + 75900 x41a
+ 7 x424 + 7 x425 + 7 x426 + 7 x427 + 9 x428
+ 9 x429 + 9 x42a + 9 x42b + 9 x42c + 9 x42d
+ 9 x42e + 9 x42f + 19 x430 + 19 x431 + 19 x432
+ 19 x433 + 26 x454 + 26 x455 + 30 x456 + 30 x457
+ 30 x458 + 30 x459 + 40 x45a + 40 x45b + 28 x45c
+ 28 x45d + 27 x45e + 27 x45f + 35 x460 + 35 x461
+ 31 x462 + 31 x463 + 28 x464 + 28 x465 + 27 x466
+ 27 x467 + 41 x468 + 41 x469 + 31 x46a + 31 x46b
+ 28 x46c + 28 x46d + 27 x46e + 27 x46f + 37 x470
+ 37 x471 + 31 x472 + 31 x473 + 75900 x474 + 75900 x475
+ 7 x47f + 7 x480 + 7 x481 + 7 x482 + 9 x483
+ 9 x484 + 9 x485 + 9 x486 + 9 x487 + 9 x488
+ 9 x489 + 9 x48a + 19 x48b + 19 x48c + 19 x48d
+ 19 x48e + 7 x48f + 7 x490 + 7 x491 + 7 x492
+ 7 x493 + 7 x494 + 9 x495 + 9 x496 + 9 x497
+ 9 x498 + 9 x499 + 9 x49a + 9 x49b + 9 x49c
+ 9 x49d + 9 x49e + 19 x49f + 19 x4a0 + 19 x4a1
+ 19 x4a2 + 19 x4a3 + 26 x4c4 + 26 x4c5 + 30 x4c6
+ 30 x4c7 + 30 x4c8 + 30 x4c9 + 40 x4ca + 40 x4cb
+ 28 x4cc + 28 x4cd + 27 x4ce + 27 x4cf + 35 x4d0
+ 35 x4d1 + 31 x4d2 + 31 x4d3 + 28 x4d4 + 28 x4d5
+ 27 x4d6 + 27 x4d7 + 41 x4d8 + 41 x4d9 + 31 x4da
+ 31 x4db + 28 x4dc + 28 x4dd + 27 x4de + 27 x4df
+ 37 x4e0 + 37 x4e1 + 31 x4e2 + 31 x4e3 + 75900 x4e4
+ 75900 x4e5 + 7 x4ef + 7 x4f0 + 7 x4f1 + 7 x4f2
+ 9 x4f3 + 9 x4f4 + 9 x4f5 + 9 x4f6 + 9 x4f7
+ 9 x4f8 + 9 x4f9 + 9 x4fa + 19 x4fb + 19 x4fc
+ 19 x4fd + 19 x4fe + 7 x4ff + 7 x500 + 7 x501
+ 7 x502 + 7 x503 + 7 x504 + 9 x505 + 9 x506
+ 9 x507 + 9 x508 + 9 x509 + 9 x50a + 9 x50b
+ 9 x50c + 9 x50d + 9 x50e + 19 x50f + 19 x510
+ 19 x511 + 19 x512 + 19 x513 + 5 x5dc + 5 x5dd
+ 5 x5de + 5 x5df + 5 x5e0 + 5 x5e1 + 5 x5e2
+ 5 x5e3 + 5 x5e4 + 5 x5e5 + 5 x5e6 + 5 x5e7
+ 5 x5e8 + 10 x5e9 + 10 x5ea + 10 x5eb + 10 x5ec
+ 10 x5ed + 10 x5ee + 10 x5ef + 10 x5f0 + 10 x5f1
+ 10 x5f2 + 10 x5f3 + 10 x5f4 + 10 x5f5 + 10 x5f6
+ 10 x5f7 + 10 x5f8 + 10 x5f9 + 10 x5fa + 10 x5fb
+ 10 x5fc + 10 x5fd + 10 x5fe + 10 x5ff + 10 x600
+ 10 x601 + 10 x602 + 19 x603 + 19 x604 + 19 x605
+ 19 x606 + 19 x607 + 19 x608 + 19 x609 + 19 x60a
+ 19 x60b + 9 x60c + 9 x60d + 9 x60e + 9 x60f
+ 9 x610 + 9 x611 + 9 x612 + 9 x613 + 9 x614
+ 9 x615 + 9 x616 + 9 x617 + 9 x618 + 9 x619
+ 9 x61a + 9 x61b + 9 x61c + 9 x61d + 9 x61e
+ 9 x61f + 9 x620 + 9 x621 + 9 x622 + 9 x623
+ 9 x624 + 9 x625 + 9 x626 + 9 x627 + 9 x628
+ 9 x629 + 9 x62a + 9 x62b + 9 x62c + 9 x62d
+ 9 x62e + 9 x62f + 9 x630 + 9 x631 + 9 x632
+ 14 x633 + 14 x634 + 14 x635 + 14 x636 + 14 x637
+ 14 x638 + 14 x639 + 14 x63a + 14 x63b + 14 x63c
+ 14 x63d + 14 x63e + 14 x63f + 11 x640 + 11 x641
+ 11 x642 + 11 x643 + 11 x644 + 11 x645 + 11 x646
+ 11 x647 + 11 x648 + 11 x649 + 11 x64a + 11 x64b
+ 11 x64c + 6 x64d + 6 x64e + 6 x64f + 6 x650
+ 6 x651 + 6 x652 + 6 x653 + 6 x654 + 6 x655
+ 6 x656 + 6 x657 + 6 x658 + 6 x659 + 10 x65a
+ 10 x65b + 10 x65c + 10 x65d + 10 x65e + 10 x65f
+ 10 x660 + 10 x661 + 10 x662 + 10 x663 + 10 x664
+ 10 x665 + 10 x666 + 9 x667 + 9 x668 + 9 x669
+ 9 x66a + 9 x66b + 9 x66c + 9 x66d + 9 x66e
+ 9 x66f + 9 x670 + 9 x671 + 9 x672 + 9 x673
+ 20 x674 + 20 x675 + 20 x676 + 20 x677 + 20 x678
+ 20 x679 + 20 x67a + 20 x67b + 20 x67c + 11 x67d
+ 11 x67e + 11 x67f + 11 x680 + 11 x681 + 11 x682
+ 11 x683 + 11 x684 + 11 x685 + 11 x686 + 11 x687
+ 11 x688 + 11 x689 + 6 x68a + 6 x68b + 6 x68c
+ 6 x68d + 6 x68e + 6 x68f + 6 x690 + 6 x691
+ 6 x692 + 6 x693 + 6 x694 + 6 x695 + 6 x696
+ 10 x697 + 10 x698 + 10 x699 + 10 x69a + 10 x69b
+ 10 x69c + 10 x69d + 10 x69e + 10 x69f + 10 x6a0
+ 10 x6a1 + 10 x6a2 + 10 x6a3 + 9 x6a4 + 9 x6a5
+ 9 x6a6 + 9 x6a7 + 9 x6a8 + 9 x6a9 + 9 x6aa
+ 9 x6ab + 9 x6ac + 9 x6ad + 9 x6ae + 9 x6af
+ 9 x6b0 + 16 x6b1 + 16 x6b2 + 16 x6b3 + 16 x6b4
+ 16 x6b5 + 16 x6b6 + 16 x6b7 + 16 x6b8 + 16 x6b9
+ 16 x6ba + 16 x6bb + 16 x6bc + 16 x6bd + 11 x6be
+ 11 x6bf + 11 x6c0 + 11 x6c1 + 11 x6c2 + 11 x6c3
+ 11 x6c4 + 11 x6c5 + 11 x6c6 + 11 x6c7 + 11 x6c8
+ 11 x6c9 + 11 x6ca + 6 x6cb + 6 x6cc + 6 x6cd
+ 6 x6ce + 6 x6cf + 6 x6d0 + 6 x6d1 + 6 x6d2
+ 6 x6d3 + 10 x6d4 + 10 x6d5 + 10 x6d6 + 10 x6d7
+ 10 x6d8 + 10 x6d9 + 10 x6da + 10 x6db + 10 x6dc
+ 10 x6dd + 10 x6de + 10 x6df + 10 x6e0 + 3 x6e2
+ 3 x6e3 + 3 x6e4 + 3 x6e5 + 3 x6e6 + 3 x6e7
+ 3 x6e8 + 3 x6e9 + 3 x6ea + 13 x6fb + 13 x6fc
+ 13 x6fd + 23 x707 + 75917 x708 + 75916 x709 + 23 x70a
+ 75917 x70b + 75916 x70c + 23 x70d + 75917 x70e + 75916 x70f
+ 17 x710 + 6 x711 + 7 x712 + 17 x713 + 6 x714
+ 7 x715 + 17 x716 + 6 x717 + 7 x718 + 7 x719
+ 11 x71a + 75906 x71b + 7 x71c + 11 x71d + 75906 x71e
+ 7 x71f + 11 x720 + 75906 x721 + 75900 x722 + 75900 x723
+ 75900 x724 + 75900 x728 + 75900 x729 + 75900 x72a + 75900 x72e
+ 75900 x72f + 75900 x730 + 20 x7be + 20 x7bf + 20 x7c0
+ 20 x7c1 + 20 x7c2 + 15 x7c3 + 15 x7c4 + 15 x7c5
+ 8 x7c6 + 10 x7c7 + 10 x7c8 + 10 x7c9 + 8 x7ca
+ 8 x7cb + 20 x7cc + 20 x7cd + 20 x7ce + 20 x7cf
+ 20 x7d0 + 15 x7d1 + 15 x7d2 + 15 x7d3 + 8 x7d4
+ 10 x7d5 + 10 x7d6 + 10 x7d7 + 8 x7d8 + 8 x7d9
+ 20 x7da + 20 x7db + 20 x7dc + 20 x7dd + 20 x7de
+ 10 x7df + 10 x7e0 + 10 x7e1 + 10 x7e2 + 10 x7e3
+ 10 x7e4 + 8 x7e5 + 8 x7e6 + 20 x7e7 + 20 x7e8
+ 20 x7e9 + 20 x7ea + 20 x7eb + 10 x7ec + 10 x7ed
+ 10 x7ee + 10 x7ef + 10 x7f0 + 10 x7f1 + 8 x7f2
+ 8 x7f3 + 20 x7f4 + 20 x7f5 + 20 x7f6 + 20 x7f7
+ 20 x7f8 + 13 x7f9 + 13 x7fa + 13 x7fb + 10 x7fc
+ 10 x7fd + 10 x7fe + 8 x7ff + 8 x800 + 20 x801
+ 20 x802 + 20 x803 + 20 x804 + 20 x805 + 13 x806
+ 13 x807 + 13 x808 + 10 x809 + 10 x80a + 10 x80b
+ 8 x80c + 8 x80d + 20 x80e + 20 x80f + 20 x810
+ 20 x811 + 20 x812 + 10 x813 + 10 x814 + 10 x815
+ 10 x816 + 10 x817 + 10 x818 + 8 x819 + 8 x81a
+ 20 x81b + 20 x81c + 20 x81d + 20 x81e + 20 x81f
+ 10 x820 + 10 x821 + 10 x822 + 10 x823 + 10 x824
+ 10 x825 + 8 x826 + 8 x827 + 20 x828 + 20 x829
+ 20 x82a + 20 x82b + 20 x82c + 11 x82d + 11 x82e
+ 11 x82f + 10 x830 + 10 x831 + 10 x832 + 8 x833
+ 8 x834 + 20 x835 + 20 x836 + 20 x837 + 20 x838
+ 20 x839 + 11 x83a + 11 x83b + 11 x83c + 10 x83d
+ 10 x83e + 10 x83f + 8 x840 + 8 x841 + 20 x842
+ 20 x843 + 20 x844 + 20 x845 + 20 x846 + 10 x847
+ 10 x848 + 10 x849 + 10 x84a + 10 x84b + 10 x84c
+ 8 x84d + 8 x84e + 20 x84f + 20 x850 + 20 x851
+ 20 x852 + 20 x853 + 10 x854 + 10 x855 + 10 x856
+ 10 x857 + 10 x858 + 10 x859 + 8 x85a + 8 x85b
+ 1 x861 + 1 x863 + 1 x865 + 1 x869 + 1 x86b
+ 1 x871 + 1 x873 + 1 x877 + 1 x87c + 1 x87e
+ 1 x880 + 1 x884 + 1 x886 + 1 x88c + 1 x88e
+ 1 x892 + 20 x8a0 + 20 x8a1 + 20 x8a2 + 20 x8a3
+ 20 x8a4 + 20 x8a5 + 20 x8a6 + 15 x8a7 + 15 x8a8
+ 15 x8a9 + 15 x8aa + 15 x8ab + 8 x8ac + 10 x8ad
+ 10 x8ae + 10 x8af + 10 x8b0 + 10 x8b1 + 8 x8b2
+ 8 x8b3 + 8 x8b4 + 20 x8b5 + 20 x8b6 + 20 x8b7
+ 20 x8b8 + 20 x8b9 + 20 x8ba + 20 x8bb + 15 x8bc
+ 15 x8bd + 15 x8be + 15 x8bf + 15 x8c0 + 8 x8c1
+ 10 x8c2 + 10 x8c3 + 10 x8c4 + 10 x8c5 + 10 x8c6
+ 8 x8c7 + 8 x8c8 + 8 x8c9 + 20 x8ca + 20 x8cb
+ 20 x8cc + 20 x8cd + 20 x8ce + 20 x8cf + 20 x8d0
+ 10 x8d1 + 10 x8d2 + 10 x8d3 + 10 x8d4 + 10 x8d5
+ 10 x8d6 + 10 x8d7 + 10 x8d8 + 10 x8d9 + 10 x8da
+ 8 x8db + 8 x8dc + 8 x8dd + 20 x8de + 20 x8df
+ 20 x8e0 + 20 x8e1 + 20 x8e2 + 20 x8e3 + 20 x8e4
+ 10 x8e5 + 10 x8e6 + 10 x8e7 + 10 x8e8 + 10 x8e9
+ 10 x8ea + 10 x8eb + 10 x8ec + 10 x8ed + 10 x8ee
+ 8 x8ef + 8 x8f0 + 8 x8f1 + 20 x8f2 + 20 x8f3
+ 20 x8f4 + 20 x8f5 + 20 x8f6 + 20 x8f7 + 20 x8f8
+ 13 x8f9 + 13 x8fa + 13 x8fb + 13 x8fc + 13 x8fd
+ 10 x8fe + 10 x8ff + 10 x900 + 10 x901 + 10 x902
+ 8 x903 + 8 x904 + 8 x905 + 20 x906 + 20 x907
+ 20 x908 + 20 x909 + 20 x90a + 20 x90b + 20 x90c
+ 13 x90d + 13 x90e + 13 x90f + 13 x910 + 13 x911
+ 10 x912 + 10 x913 + 10 x914 + 10 x915 + 10 x916
+ 8 x917 + 8 x918 + 8 x919 + 20 x91a + 20 x91b
+ 20 x91c + 20 x91d + 20 x91e + 20 x91f + 20 x920
+ 10 x921 + 10 x922 + 10 x923 + 10 x924 + 10 x925
+ 10 x926 + 10 x927 + 10 x928 + 10 x929 + 10 x92a
+ 8 x92b + 8 x92c + 8 x92d + 20 x92e + 20 x92f
+ 20 x930 + 20 x931 + 20 x932 + 20 x933 + 20 x934
+ 10 x935 + 10 x936 + 10 x937 + 10 x938 + 10 x939
+ 10 x93a + 10 x93b + 10 x93c + 10 x93d + 10 x93e
+ 8 x93f + 8 x940 + 8 x941 + 20 x942 + 20 x943
+ 20 x944 + 20 x945 + 20 x946 + 20 x947 + 20 x948
+ 11 x949 + 11 x94a + 11 x94b + 11 x94c + 11 x94d
+ 10 x94e + 10 x94f + 10 x950 + 10 x951 + 10 x952
+ 8 x953 + 8 x954 + 8 x955 + 20 x956 + 20 x957
+ 20 x958 + 20 x959 + 20 x95a + 20 x95b + 20 x95c
+ 11 x95d + 11 x95e + 11 x95f + 11 x960 + 11 x961
+ 10 x962 + 10 x963 + 10 x964 + 10 x965 + 10 x966
+ 8 x967 + 8 x968 + 8 x969 + 20 x96a + 20 x96b
+ 20 x96c + 20 x96d + 20 x96e + 20 x96f + 20 x970
+ 10 x971 + 10 x972 + 10 x973 + 10 x974 + 10 x975
+ 10 x976 + 10 x977 + 10 x978 + 10 x979 + 10 x97a
+ 8 x97b + 8 x97c + 8 x97d + 20 x97e + 20 x97f
+ 20 x980 + 20 x981 + 20 x982 + 20 x983 + 20 x984
+ 10 x985 + 10 x986 + 10 x987 + 10 x988 + 10 x989
+ 10 x98a + 10 x98b + 10 x98c + 10 x98d + 10 x98e
+ 8 x98f + 8 x990 + 8 x991 + 1 x997 + 4 x999
+ 1 x99b + 4 x99d + 1 x99f + 1 x9a3 + 1 x9a5
+ 1 x9a7 + 1 x9a9 + 4 x9af + 1 x9b1 + 1 x9b3
+ 1 x9b5 + 1 x9b9 + 1 x9bb + 1 x9c0 + 4 x9c2
+ 1 x9c4 + 4 x9c6 + 1 x9c8 + 1 x9cc + 1 x9ce
+ 1 x9d0 + 1 x9d2 + 4 x9d8 + 1 x9da + 1 x9dc
+ 1 x9de + 1 x9e2 + 1 x9e4 + 15 xa10 + 11 xa11
+ 11 xa12 + 5 xa13 + 1 xa14 + 1 xa15 + 5 xa1b
+ 1 xa1c + 1 xa1d + 1 xa22 + 1 xa23 + 1 xa24
+ 1 xa29 + 1 xa2a + 1 xa2b + 7 xa2c + 3 xa2d
+ 3 xa2e + 4 xa32 + 4 xa33 + 8 xa34 + 4 xa35
+ 8 xa36 + 8 xa37 + 4 xa38 + 8 xa39 + 4 xa3a
+ 6 xa3b + 6 xa3c + 18 xa3d + 18 xa3e + 11 xa3f
+ 5 xa40 + 11 xa41 + 11 xa42 + 11 xa43 + 11 xa44
+ 11 xa45 + 11 xa46 + 11 xa47 + 11 xa48 + 11 xa49
+ 11 xa4a + 11 xa4b + 11 xa4c + 11 xa4d + 7 xa4e
+ 7 xa4f + 7 xa50 + 7 xa51 + 7 xa52 + 7 xa53
+ 7 xa54 + 7 xa55 + 7 xa56 + 7 xa57 + 7 xa58
+ 5 xa59 + 5 xa5a + 4 xa5c + 4 xa5d + 4 xa5e
+ 4 xa5f + 4 xa60 + 4 xa61 + 4 xa62 + 4 xa63
+ 4 xa64 + 4 xa65 + 4 xa66 + 4 xa67 + 4 xa68
+ 15 xa69 + 15 xa6a + 15 xa6b + 15 xa6c + 15 xa6d
+ 15 xa6e + 15 xa6f + 15 xa70 + 15 xa71 + 15 xa72
+ 15 xa73 + 15 xa74 + 15 xa75 + 15 xa76 + 12 xa77
+ 12 xa78 + 12 xa79 + 12 xa7a + 12 xa7b + 12 xa7c
+ 12 xa7d + 12 xa7e + 12 xa7f + 12 xa80 + 12 xa81
+ 12 xa82 + 12 xa83 + 12 xa84 + 3 xa86 + 3 xa87
+ 3 xa88 + 3 xa89 + 3 xa8a + 3 xa8b + 3 xa8c
+ 3 xa8d + 3 xa8e + 3 xa8f + 3 xa90 + 3 xa91
+ 3 xa92 + 3 xa94 + 3 xa95 + 3 xa96 + 3 xa97
+ 3 xa98 + 3 xa99 + 3 xa9a + 3 xa9b + 3 xa9c
+ 3 xa9d + 3 xa9e + 3 xa9f + 3 xaa0 + 4 xaa2
+ 4 xaa3 + 4 xaa4 + 4 xaa5 + 4 xaa6 + 4 xaa7
+ 4 xaa8 + 4 xaa9 + 4 xaaa + 4 xaab + 4 xaac
+ 4 xaad + 4 xaae + 9 xaaf + 5 xaca + 9 xab0
+ 9 xab1 + 9 xab2 + 9 xab3 + 9 xab4 + 9 xab5
+ 9 xab6 + 9 xab7 + 9 xab8 + 9 xab9 + 9 xaba
+ 9 xabb + 9 xabc + 5 xabd + 5 xabe + 5 xabf
+ 5 xac0 + 5 xac1 + 5 xac2 + 5 xac3 + 5 xac4
+ 5 xac5 + 5 xac6 + 5 xac7 + 5 xac8 + 5 xac9
+ 17 xacc + 17 xacd + 5 xace + 5 xacf + 7 xad0
+ 3 xad1 + 7 xad2 + 3 xad3 + 7 xad4 + 7 xad5
+ 3 xad6 + 3 xad7 + 3 xad8 + 3 xad9 + 3 xada
+ 3 xadb + 3 xadc + 3 xadd + 3 xade + 3 xadf
+ 3 xae0 + 3 xae1 + 3 xae2 + 3 xae3 + 3 xae4
+ 3 xae5 + 3 xae6 + 4 xae7 + 4 xae8 + 4 xae9
+ 4 xaea + 4 xaeb + 4 xaec + 4 xaed + 4 xaee
+ 4 xaef + 4 xaf0 + 4 xaf1 + 4 xaf2 + 4 xaf3
+ 4 xaf4 + 5 xb03 + 15 xaf5 + 5 xb04 + 5 xb05
+ 5 xb06 + 5 xb07 + 5 xb08 + 5 xb09 + 5 xb0a
+ 5 xb0b + 5 xb0c + 5 xb0d + 5 xb0e + 5 xb0f
+ 5 xb10 + 15 xaf6 + 15 xaf7 + 15 xaf8 + 15 xaf9
+ 15 xafa + 15 xafb + 15 xafc + 15 xafd + 15 xafe
+ 15 xaff + 15 xb00 + 15 xb01 + 15 xb02 + 4 xb12
+ 4 xb13 + 4 xb14 + 4 xb15 + 4 xb16 + 4 xb17
+ 4 xb18 + 4 xb19 + 4 xb1a + 4 xb1b + 4 xb1c
+ 4 xb1d + 4 xb1e + 9 xb1f + 5 xb3a + 9 xb20
+ 9 xb21 + 9 xb22 + 9 xb23 + 9 xb24 + 9 xb25
+ 9 xb26 + 9 xb27 + 9 xb28 + 9 xb29 + 9 xb2a
+ 9 xb2b + 9 xb2c + 5 xb2d + 5 xb2e + 5 xb2f
+ 5 xb30 + 5 xb31 + 5 xb32 + 5 xb33 + 5 xb34
+ 5 xb35 + 5 xb36 + 5 xb37 + 5 xb38 + 5 xb39
+ 3 xb3b + 3 xb3c + 3 xb3d + 3 xb3e + 3 xb3f
+ 3 xb40 + 3 xb41 + 3 xb42 + 3 xb43 + 3 xb44
+ 3 xb45 + 3 xb46 + 3 xb47 + 3 xb48 + 2 xb56
+ 2 xb57 + 14 xb58 + 14 xb59 + 4 xb5a + 4 xb5c
+ 4 xb5d + 4 xb5f + 2 xb70 + 2 xb71 + 14 xb72
+ 14 xb73 + 4 xb74 + 4 xb76 + 4 xb77 + 9 xb79
+ 2 xbcd + 2 xbcf + 2 xbd0 + 2 xbd2 + 2 xbd4
+ 2 xbd5 + 2 xbd6 + 2 xbd7 + 2 xbf4 + 2 xbf6
+ 2 xbf7 + 2 xbf9 + 2 xbfb + 2 xbfc + 2 xbfd
+ 2 xbfe + 2 xbff + 2 xc00 + 6 xc01 + 2 xc02
+ 6 xc03 + 6 xc04 + 2 xc05 + 6 xc06 + 2 xc07
+ 2 xc09 + 4 xc0a + 2 xc0d + 4 xc0e + 2 xc10
+ 4 xc11 + 4 xc1b + 4 xc1c + 4 xc1f + 4 xc20
+ 4 xc22 + 4 xc23 + 6 xc24 + 2 xc25 + 6 xc26
+ 6 xc27 + 2 xc28 + 6 xc29 + 2 xc2a + 2 xc2b
+ 2 xc2c + 2 xc38 + 2 xc39 + 2 xc3a + 2 xc3b
+ 2 xc3c + 2 xc3d + 2 xc3e + 2 xc3f + 2 xc40
+ 2 xc41 + 2 xc42 + 2 xc43 + 2 xc44 + 2 xc45
+ 2 xc46 + 2 xc47 + 2 xc48 + 2 xc49 + 2 xc4b
+ 2 xc4c + 4 xc4d + 2 xc50 + 2 xc51 + 4 xc52
+ 2 xc54 + 2 xc55 + 4 xc56 + 11 xc60 + 5 xc61
+ 4 xc64 + 4 xc65 + 12 xc67 + 10 xc68 + 6 xc69
+ 2 xc6a + 6 xc6b + 6 xc6c + 2 xc6d + 6 xc6e
+ 2 xc6f + 2 xc70 + 2 xc71 + 9 xc77 + 4 xc78
+ 4 xc7a + 4 xc7b + 8 xc7e + 4 xc7f + 6 xc80
+ 2 xc81 + 6 xc82 + 6 xc83 + 2 xc84 + 6 xc85
+ 2 xc86 + 2 xc87 + 2 xc88 + 2 xc89 + 2 xc8a
+ 2 xc8b + 2 xc8c + 2 xc8d + 2 xc8e + 2 xc8f
+ 2 xc90 + 2 xc91 + 2 xc93 + 2 xc94 + 2 xc97
+ 2 xc98 + 2 xc9a + 2 xc9b + 4 xf42 + 4 xf43
+ 4 xf46 + 4 xf47 + 4 xf49 + 4 xf4a + 2 xf4c
+ 2 xf50 + 2 xf53 + 4 xf60 + 7 xf61 + 4 xf64
+ 4 xf65 + 4 xf67 + 12 xf68 + 4 xf69 + 4 xf6a
+ 4 xf6b + 4 xf6c + 4 xf6d + 4 xf6e + 4 xf6f
+ 4 xf70 + 4 xf71 + 4 xf72 + 4 xf73 + 4 xf74
+ 4 xf75 + 2 xf76 + 2 xf77 + 2 xf79 + 2 xf7a
+ 2 xf7b + 2 xf7d + 2 xf7e + 4 xf8b + 4 xf8c
+ 4 xf8f + 4 xf90 + 4 xf92 + 4 xf93 + 6 xf9f
+ 4 xfa0 + 4 xfa3 + 4 xfa4 + 11 xfa6 + 4 xfa7
+ 16 xca0 + 16 xca1 + 16 xca2 + 16 xca3 + 16 xca4
+ 16 xca5 + 16 xca6 + 16 xca7 + 30 xca8 + 30 xca9
+ 30 xcaa + 30 xcab + 30 xcac + 30 xcad + 30 xcae
+ 30 xcaf + 12 xcb6 + 12 xcb7 + 12 xcb8 + 12 xcb9
+ 12 xcb0 + 12 xcb1 + 12 xcb2 + 12 xcb3 + 12 xcb4
+ 12 xcb5 + 12 xcba + 12 xcbb + 12 xcc4 + 12 xcc5
+ 12 xcc6 + 12 xcc7 + 12 xcbe + 12 xcbf + 12 xcc0
+ 12 xcc1 + 12 xcc2 + 12 xcc3 + 12 xcc8 + 12 xcc9
+ 16 xccc + 16 xccd + 16 xcce + 16 xccf + 16 xcd0
+ 16 xcd1 + 16 xcd2 + 16 xcd3 + 22 xcd4 + 22 xcd5
+ 22 xcd6 + 22 xcd7 + 22 xcd8 + 22 xcd9 + 22 xcda
+ 22 xcdb + 16 xcdc + 16 xcdd + 16 xcde + 16 xcdf
+ 16 xce0 + 16 xce1 + 16 xce2 + 16 xce3 + 30 xce4
+ 30 xce5 + 30 xce6 + 30 xce7 + 30 xce8 + 30 xce9
+ 30 xcea + 30 xceb + 12 xcf2 + 12 xcf3 + 12 xcf4
+ 12 xcf5 + 12 xcec + 12 xced + 12 xcee + 12 xcef
+ 12 xcf0 + 12 xcf1 + 12 xcf6 + 12 xcf7 + 12 xcf8
+ 12 xcf9 + 12 xd00 + 12 xd01 + 12 xd02 + 12 xd03
+ 12 xcfa + 12 xcfb + 12 xcfc + 12 xcfd + 12 xcfe
+ 12 xcff + 12 xd04 + 12 xd05 + 16 xd08 + 16 xd09
+ 16 xd0a + 16 xd0b + 16 xd0c + 16 xd0d + 16 xd0e
+ 16 xd0f + 24 xd10 + 24 xd11 + 24 xd12 + 24 xd13
+ 24 xd14 + 24 xd15 + 24 xd16 + 24 xd17 + 12 xd1a
+ 12 xd1b + 12 xd22 + 12 xd23 + 12 xd24 + 12 xd25
+ 12 xd1c + 12 xd1d + 12 xd1e + 12 xd1f + 12 xd20
+ 12 xd21 + 16 xd26 + 16 xd27 + 16 xd28 + 16 xd29
+ 16 xd2a + 16 xd2b + 16 xd2c + 16 xd2d + 21 xd2e
+ 21 xd2f + 21 xd30 + 21 xd31 + 21 xd32 + 21 xd33
+ 21 xd34 + 21 xd35 + 3 x13c9 + 3 x13ca + 3 x13cb
+ 3 x13cc + 3 x13cd + 3 x13ce + 3 x13cf + 3 x13d0
+ 3 x13d1 + 3 x13d2 + 3 x13d3 + 3 x13d4 + 3 x13d5
+ 3 x13d6 + 5 x13e2 + 5 x13d7 + 5 x13d8 + 5 x13d9
+ 5 x13da + 5 x13db + 5 x13dc + 5 x13dd + 5 x13de
+ 5 x13df + 5 x13e0 + 5 x13e1 + 5 x13e3 + 5 x13e4
+ 2 xd39 + 2 xd36 + 2 xd37 + 2 xd38 + 2 xd3a
+ 2 xd3b + 2 xd3c + 2 xd3d + 6 xd41 + 6 xd42
+ 6 xd43 + 6 xd44 + 6 xd45 + 6 xd46 + 6 xd47
+ 6 xd3e + 6 xd3f + 6 xd40 + 6 xd48 + 6 xd49
+ 6 xd4a + 6 xd4b + 2 xd4c + 2 xd4d + 2 xd4e
+ 2 xd4f + 2 xd50 + 2 xd51 + 18 x13ed + 18 x13e5
+ 18 x13e6 + 18 x13e7 + 18 x13e8 + 18 x13e9 + 18 x13ea
+ 18 x13eb + 18 x13ec + 18 x13ee + 18 x13ef + 8 x13fb
+ 8 x13f0 + 8 x13f1 + 8 x13f2 + 8 x13f3 + 8 x13f4
+ 8 x13f5 + 8 x13f6 + 8 x13f7 + 8 x13f8 + 8 x13f9
+ 8 x13fa + 8 x13fc + 8 x13fd + 8 x1409 + 8 x13fe
+ 8 x13ff + 8 x1400 + 8 x1401 + 8 x1402 + 8 x1403
+ 8 x1404 + 8 x1405 + 8 x1406 + 8 x1407 + 8 x1408
+ 8 x140a + 8 x140b + 3 x140c + 3 x140d + 3 x140e
+ 3 x140f + 3 x1410 + 3 x1411 + 3 x1412 + 3 x1413
+ 3 x1414 + 3 x1415 + 3 x1416 + 3 x1417 + 3 x1418
+ 3 x1419 + 9 x1425 + 9 x141a + 9 x141b + 9 x141c
+ 9 x141d + 9 x141e + 9 x141f + 9 x1420 + 9 x1421
+ 9 x1422 + 9 x1423 + 9 x1424 + 9 x1426 + 9 x1427
+ 9 x1433 + 9 x1428 + 9 x1429 + 9 x142a + 9 x142b
+ 9 x142c + 9 x142d + 9 x142e + 9 x142f + 9 x1430
+ 9 x1431 + 9 x1432 + 9 x1434 + 9 x1435 + 19 x143e
+ 19 x1436 + 19 x1437 + 19 x1438 + 19 x1439 + 19 x143a
+ 19 x143b + 19 x143c + 19 x143d + 19 x143f + 19 x1440
+ 5 x144c + 5 x1441 + 5 x1442 + 5 x1443 + 5 x1444
+ 5 x1445 + 5 x1446 + 5 x1447 + 5 x1448 + 5 x1449
+ 5 x144a + 5 x144b + 5 x144d + 5 x144e + 19 xd52
+ 19 xd53 + 19 xd54 + 19 xd55 + 19 xd56 + 19 xd57
+ 19 xd58 + 19 xd59 + 19 xd5a + 19 xd5b + 10 xd5f
+ 10 xd60 + 10 xd61 + 10 xd62 + 10 xd63 + 10 xd64
+ 10 xd65 + 10 xd66 + 10 xd5c + 10 xd5d + 10 xd5e
+ 10 xd6a + 10 xd6b + 10 xd6c + 10 xd6d + 10 xd6e
+ 10 xd6f + 10 xd70 + 10 xd71 + 10 xd67 + 10 xd68
+ 10 xd69 + 4 xd75 + 4 xd76 + 4 xd77 + 4 xd78
+ 4 xd79 + 4 xd7a + 4 xd7b + 4 xd7c + 4 xd72
+ 4 xd73 + 4 xd74 + 4 xd7d + 4 xd7e + 4 xd7f
+ 4 xd80 + 4 xd81 + 11 xd85 + 11 xd86 + 11 xd87
+ 11 xd88 + 11 xd89 + 11 xd8a + 11 xd8b + 11 xd8c
+ 11 xd82 + 11 xd83 + 11 xd84 + 11 xd90 + 11 xd91
+ 11 xd92 + 11 xd93 + 11 xd94 + 11 xd95 + 11 xd96
+ 11 xd97 + 11 xd8d + 11 xd8e + 11 xd8f + 20 xd98
+ 20 xd99 + 20 xd9a + 20 xd9b + 20 xd9c + 20 xd9d
+ 20 xd9e + 20 xd9f + 20 xda0 + 20 xda1 + 8 xda5
+ 8 xda6 + 8 xda7 + 8 xda8 + 8 xda9 + 8 xdaa
+ 8 xdab + 8 xdac + 8 xda2 + 8 xda3 + 8 xda4
+ 2 xdad + 2 xdae + 2 xdaf + 2 xdb0 + 2 xdb1
+ 2 xdb2 + 2 xdb4 + 2 xdd3 + 2 xdd4 + 16 xdd6
+ 16 xdd7 + 16 xdd8 + 16 xdd9 + 16 xdde + 16 xdda
+ 16 xddb + 16 xddc + 16 xddd + 6 xddf + 6 xde0
+ 6 xde1 + 6 xde2 + 6 xde3 + 6 xde4 + 6 xde5
+ 6 xde6 + 6 xde7 + 6 xde8 + 6 xde9 + 6 xdea
+ 6 xdeb + 6 xdf0 + 6 xdec + 6 xded + 6 xdee
+ 6 xdef + 29 xdf1 + 29 xdf2 + 29 xdf3 + 29 xdf4
+ 19 xdf9 + 19 xdfa + 19 xdfb + 19 xdfc + 28 xdfd
+ 15 xdfe + 30 xdff + 15 xe00 + 29 xe01 + 29 xdf5
+ 29 xdf6 + 29 xdf7 + 29 xdf8 + 19 xe02 + 19 xe03
+ 19 xe04 + 19 xe05 + 19 xe06 + 18 xe07 + 18 xe08
+ 18 xe09 + 18 xe0a + 15 xe0b + 5 xe0e + 5 xe0f
+ 5 xe0c + 5 xe0d + 5 xe10 + 5 xe11 + 5 xe12
+ 5 xe13 + 5 xe14 + 19 xe15 + 19 xe16 + 19 xe17
+ 19 xe18 + 9 xe1d + 9 xe1e + 9 xe1f + 9 xe20
+ 19 xe25 + 19 xe19 + 19 xe1a + 19 xe1b + 19 xe1c
+ 9 xe26 + 9 xe21 + 9 xe22 + 9 xe23 + 9 xe24
+ 5 xe27 + 5 xe28 + 5 xe29 + 5 xe2a + 5 xe2b
+ 5 xe2c + 5 xe2d + 5 xe2e + 5 xe2f + 19 xe30
+ 19 xe31 + 19 xe32 + 19 xe33 + 9 xe38 + 9 xe39
+ 9 xe3a + 9 xe3b + 19 xe40 + 19 xe34 + 19 xe35
+ 19 xe36 + 19 xe37 + 9 xe3c + 9 xe3d + 9 xe3e
+ 9 xe3f + 9 xe41 + 15 xe42 + 15 xe43 + 15 xe44
+ 13 xe45 + 13 xe46 + 13 xe47 + 13 xe48 + 13 xe49
+ 13 xe4a + 15 xe4b + 15 xe4c + 15 xe4d + 15 xe4e
+ 15 xe4f + 15 xe50 + 13 xe51 + 13 xe52 + 13 xe53
+ 13 xe55 + 13 xe56 + 15 xe58 + 15 xe59 + 3 xeca
+ 3 xecb + 3 xecc + 3 xecd + 1 xece + 1 xecf
+ 1 xed0 + 1 xed1 + 1 xed4 + 1 xed5 + 1 xed6
+ 1 xed7 + 4 xe5a + 4 xe5b + 4 xe5c + 4 xe5d
+ 4 xe5e + 4 xe5f + 4 xe60 + 2 xe67 + 2 xe68
+ 2 xe69 + 2 xe6a + 15 xe6b + 2 xe6c + 17 xe73
+ 13 xe74 + 1 xeab + 1 xead + 1 xeaf + 1 xeb1
+ 4 xe77 + 4 xe78 + 4 xe79 + 4 xe7a + 4 xe7b
+ 4 xe7c + 2 xe83 + 2 xe84 + 2 xe85 + 2 xe86
+ 15 xe87 + 2 xe88 + 17 xe93 + 13 xe94 + 4 xe98
+ 4 xe99 + 4 xe9a + 4 xe9b + 4 xe9c + 4 xe9d
+ 7 x145a + 7 x144f + 7 x1450 + 7 x1451 + 7 x1452
+ 7 x1453 + 7 x1454 + 7 x1455 + 7 x1456 + 7 x1457
+ 7 x1458 + 7 x1459 + 7 x145b + 7 x145c + 7 x1468
+ 7 x145d + 7 x145e + 7 x145f + 7 x1460 + 7 x1461
+ 7 x1462 + 7 x1463 + 7 x1464 + 7 x1465 + 7 x1466
+ 7 x1467 + 7 x1469 + 7 x146a + 7 x1476 + 7 x146b
+ 7 x146c + 7 x146d + 7 x146e + 7 x146f + 7 x1470
+ 7 x1471 + 7 x1472 + 7 x1473 + 7 x1474 + 7 x1475
+ 7 x1477 + 7 x1478 + 7 x1484 + 7 x1479 + 7 x147a
+ 7 x147b + 7 x147c + 7 x147d + 7 x147e + 7 x147f
+ 7 x1480 + 7 x1481 + 7 x1482 + 7 x1483 + 7 x1485
+ 7 x1486 + 5 xf1d + 5 xf1e + 5 xf1f + 5 xf20
+ 5 xf25 + 5 xf26 + 5 xf27 + 5 xf28 + 5 xf2d
+ 5 xf2e + 5 xf2f + 5 xf30 + 5 xf39 + 5 xf3a
+ 5 xf3b + 5 xf3c + 2 xfac + 2 xfad + 2 xfae
+ 2 xfaf + 10 x139e + 10 x139f + 10 x13a0 + 9 x13a1
+ 9 x13a2 + 9 x13a3 + 9 x13a4 + 9 x13a5 + 8 x13a6
+ 8 x13a7 + 11 x13a8 + 11 x13a9 + 12 x13aa + 12 x13ab
+ 8 x13ac + 8 x13ad + 10 x13ae + 10 x13af + 10 x13b0
+ 9 x13b1 + 9 x13b2 + 9 x13b3 + 8 x13b4 + 8 x13b5
+ 14 x13b6 + 14 x13b7 + 10 x13b8 + 10 x13b9 + 10 x13ba
+ 9 x13bb + 9 x13bc + 8 x13bd + 8 x13be + 18 x13bf
+ 18 x13c0 + 10 x13c1 + 10 x13c2 + 5 xfb4 + 6 xfb7
+ 1 xfb9 + 6 xfbc + 6 xfbd + 5 xfbe + 5 xfbf
+ 1 xfc0 + 6 xfc8 + 1 xfc9 + 12 xfca + 11 xfcb
+ 27 xfce + 27 xfcf + 27 xfd0 + 27 xfd1 + 30 xfd2
+ 30 xfd3 + 30 xfd4 + 30 xfd5 + 30 xfd6 + 30 xfd7
+ 29 xfd8 + 29 xfd9 + 27 xfda + 27 xfdb + 30 xfdc
+ 30 xfdd + 27 xfde + 27 xfdf + 30 xfe0 + 30 xfe1
+ 29 xfe2 + 29 xfe3 + 30 xfe4 + 30 xfe5 + 10 xfea
+ 10 xfeb + 8 xfec + 8 xfed + 75900 xfee + 75900 xfef
+ 11 xff9 + 27 xffa + 21 xffb + 10 xffc + 21 xffd
+ 20 xffe + 25 x100b + 25 x100c + 25 x100d + 25 x100e
+ 25 x100f + 25 x1010 + 25 x1011 + 25 x1012 + 25 x1013
+ 25 x1014 + 25 x1015 + 25 x1016 + 75900 x1017 + 75900 x1018
+ 7 x1022 + 7 x1023 + 7 x1024 + 7 x1025 + 9 x1026
+ 9 x1027 + 9 x1028 + 9 x1029 + 9 x102a + 9 x102b
+ 9 x102c + 9 x102d + 19 x102e + 19 x102f + 19 x1030
+ 19 x1031 + 26 x1052 + 26 x1053 + 30 x1054 + 30 x1055
+ 30 x1056 + 30 x1057 + 40 x1058 + 40 x1059 + 28 x105a
+ 28 x105b + 27 x105c + 27 x105d + 35 x105e + 35 x105f
+ 31 x1060 + 31 x1061 + 28 x1062 + 28 x1063 + 27 x1064
+ 27 x1065 + 41 x1066 + 41 x1067 + 31 x1068 + 31 x1069
+ 28 x106a + 28 x106b + 27 x106c + 27 x106d + 37 x106e
+ 37 x106f + 31 x1070 + 31 x1071 + 75900 x1072 + 75900 x1073
+ 7 x107d + 7 x107e + 7 x107f + 7 x1080 + 9 x1081
+ 9 x1082 + 9 x1083 + 9 x1084 + 9 x1085 + 9 x1086
+ 9 x1087 + 9 x1088 + 19 x1089 + 19 x108a + 19 x108b
+ 19 x108c + 7 x108d + 7 x108e + 7 x108f + 7 x1090
+ 7 x1091 + 7 x1092 + 9 x1093 + 9 x1094 + 9 x1095
+ 9 x1096 + 9 x1097 + 9 x1098 + 9 x1099 + 9 x109a
+ 9 x109b + 9 x109c + 19 x109d + 19 x109e + 19 x109f
+ 19 x10a0 + 19 x10a1 + 26 x10c2 + 26 x10c3 + 30 x10c4
+ 30 x10c5 + 30 x10c6 + 30 x10c7 + 40 x10c8 + 40 x10c9
+ 28 x10ca + 28 x10cb + 27 x10cc + 27 x10cd + 35 x10ce
+ 35 x10cf + 31 x10d0 + 31 x10d1 + 28 x10d2 + 28 x10d3
+ 27 x10d4 + 27 x10d5 + 41 x10d6 + 41 x10d7 + 31 x10d8
+ 31 x10d9 + 28 x10da + 28 x10db + 27 x10dc + 27 x10dd
+ 37 x10de + 37 x10df + 31 x10e0 + 31 x10e1 + 75900 x10e2
+ 75900 x10e3 + 7 x10ed + 7 x10ee + 7 x10ef + 7 x10f0
+ 9 x10f1 + 9 x10f2 + 9 x10f3 + 9 x10f4 + 9 x10f5
+ 9 x10f6 + 9 x10f7 + 9 x10f8 + 19 x10f9 + 19 x10fa
+ 19 x10fb + 19 x10fc + 7 x10fd + 7 x10fe + 7 x10ff
+ 7 x1100 + 7 x1101 + 7 x1102 + 9 x1103 + 9 x1104
+ 9 x1105 + 9 x1106 + 9 x1107 + 9 x1108 + 9 x1109
+ 9 x110a + 9 x110b + 9 x110c + 19 x110d + 19 x110e
+ 19 x110f + 19 x1110 + 19 x1111 + 5 x11da + 5 x11db
+ 5 x11dc + 5 x11dd + 5 x11de + 5 x11df + 5 x11e0
+ 5 x11e1 + 5 x11e2 + 5 x11e3 + 5 x11e4 + 5 x11e5
+ 5 x11e6 + 10 x11e7 + 10 x11e8 + 10 x11e9 + 10 x11ea
+ 10 x11eb + 10 x11ec + 10 x11ed + 10 x11ee + 10 x11ef
+ 10 x11f0 + 10 x11f1 + 10 x11f2 + 10 x11f3 + 10 x11f4
+ 10 x11f5 + 10 x11f6 + 10 x11f7 + 10 x11f8 + 10 x11f9
+ 10 x11fa + 10 x11fb + 10 x11fc + 10 x11fd + 10 x11fe
+ 10 x11ff + 10 x1200 + 19 x1201 + 19 x1202 + 19 x1203
+ 19 x1204 + 19 x1205 + 19 x1206 + 19 x1207 + 19 x1208
+ 19 x1209 + 9 x120a + 9 x120b + 9 x120c + 9 x120d
+ 9 x120e + 9 x120f + 9 x1210 + 9 x1211 + 9 x1212
+ 9 x1213 + 9 x1214 + 9 x1215 + 9 x1216 + 9 x1217
+ 9 x1218 + 9 x1219 + 9 x121a + 9 x121b + 9 x121c
+ 9 x121d + 9 x121e + 9 x121f + 9 x1220 + 9 x1221
+ 9 x1222 + 9 x1223 + 9 x1224 + 9 x1225 + 9 x1226
+ 9 x1227 + 9 x1228 + 9 x1229 + 9 x122a + 9 x122b
+ 9 x122c + 9 x122d + 9 x122e + 9 x122f + 9 x1230
+ 14 x1231 + 14 x1232 + 14 x1233 + 14 x1234 + 14 x1235
+ 14 x1236 + 14 x1237 + 14 x1238 + 14 x1239 + 14 x123a
+ 14 x123b + 14 x123c + 14 x123d + 11 x123e + 11 x123f
+ 11 x1240 + 11 x1241 + 11 x1242 + 11 x1243 + 11 x1244
+ 11 x1245 + 11 x1246 + 11 x1247 + 11 x1248 + 11 x1249
+ 11 x124a + 6 x124b + 6 x124c + 6 x124d + 6 x124e
+ 6 x124f + 6 x1250 + 6 x1251 + 6 x1252 + 6 x1253
+ 6 x1254 + 6 x1255 + 6 x1256 + 6 x1257 + 10 x1258
+ 10 x1259 + 10 x125a + 10 x125b + 10 x125c + 10 x125d
+ 10 x125e + 10 x125f + 10 x1260 + 10 x1261 + 10 x1262
+ 10 x1263 + 10 x1264 + 9 x1265 + 9 x1266 + 9 x1267
+ 9 x1268 + 9 x1269 + 9 x126a + 9 x126b + 9 x126c
+ 9 x126d + 9 x126e + 9 x126f + 9 x1270 + 9 x1271
+ 20 x1272 + 20 x1273 + 20 x1274 + 20 x1275 + 20 x1276
+ 20 x1277 + 20 x1278 + 20 x1279 + 20 x127a + 11 x127b
+ 11 x127c + 11 x127d + 11 x127e + 11 x127f + 11 x1280
+ 11 x1281 + 11 x1282 + 11 x1283 + 11 x1284 + 11 x1285
+ 11 x1286 + 11 x1287 + 6 x1288 + 6 x1289 + 6 x128a
+ 6 x128b + 6 x128c + 6 x128d + 6 x128e + 6 x128f
+ 6 x1290 + 6 x1291 + 6 x1292 + 6 x1293 + 6 x1294
+ 10 x1295 + 10 x1296 + 10 x1297 + 10 x1298 + 10 x1299
+ 10 x129a + 10 x129b + 10 x129c + 10 x129d + 10 x129e
+ 10 x129f + 10 x12a0 + 10 x12a1 + 9 x12a2 + 9 x12a3
+ 9 x12a4 + 9 x12a5 + 9 x12a6 + 9 x12a7 + 9 x12a8
+ 9 x12a9 + 9 x12aa + 9 x12ab + 9 x12ac + 9 x12ad
+ 9 x12ae + 16 x12af + 16 x12b0 + 16 x12b1 + 16 x12b2
+ 16 x12b3 + 16 x12b4 + 16 x12b5 + 16 x12b6 + 16 x12b7
+ 16 x12b8 + 16 x12b9 + 16 x12ba + 16 x12bb + 11 x12bc
+ 11 x12bd + 11 x12be + 11 x12bf + 11 x12c0 + 11 x12c1
+ 11 x12c2 + 11 x12c3 + 11 x12c4 + 11 x12c5 + 11 x12c6
+ 11 x12c7 + 11 x12c8 + 6 x12c9 + 6 x12ca + 6 x12cb
+ 6 x12cc + 6 x12cd + 6 x12ce + 6 x12cf + 6 x12d0
+ 6 x12d1 + 10 x12d2 + 10 x12d3 + 10 x12d4 + 10 x12d5
+ 10 x12d6 + 10 x12d7 + 10 x12d8 + 10 x12d9 + 10 x12da
+ 10 x12db + 10 x12dc + 10 x12dd + 10 x12de + 3 x12e0
+ 3 x12e1 + 3 x12e2 + 3 x12e3 + 3 x12e4 + 3 x12e5
+ 3 x12e6 + 3 x12e7 + 3 x12e8 + 13 x12f9 + 13 x12fa
+ 13 x12fb + 23 x1305 + 75917 x1306 + 75916 x1307 + 23 x1308
+ 75917 x1309 + 75916 x130a + 23 x130b + 75917 x130c + 75916 x130d
+ 17 x130e + 6 x130f + 7 x1310 + 17 x1311 + 6 x1312
+ 7 x1313 + 17 x1314 + 6 x1315 + 7 x1316 + 7 x1317
+ 11 x1318 + 75906 x1319 + 7 x131a + 11 x131b + 75906 x131c
+ 7 x131d + 11 x131e + 75906 x131f + 75900 x1320 + 75900 x1321
+ 75900 x1322 + 75900 x1326 + 75900 x1327 + 75900 x1328 + 75900 x132c
+ 75900 x132d + 75900 x132e + 14 x14b7 + 14 x14b8 + 2 x14b9
+ 2 x14ba + 4 x14bb + 4 x14bc + 4 x14bd + 4 x14be
+ 6 x14c9 + 2 x14ca + 6 x14cb + 6 x14cc + 2 x14cd
+ 6 x14ce + 2 x14cf + 2 x14d0 + 2 x14d1 + 15 x168e
+ 5 x168f + 5 x1690 + 4 x1693 + 4 x1694 + 4 x1695
+ 16 x1697 + 10 x1698 + 10 x1699 + 12 x14d4 + 12 x14d5
+ 12 x14d6 + 12 x14d7 + 12 x14d8 + 12 x14d9 + 14 x14da
+ 14 x14db + 14 x14dc + 14 x14dd + 14 x14de + 14 x14df
+ 16 x14e0 + 16 x14e1 + 16 x14e2 + 16 x14e3 + 16 x14e4
+ 16 x14e5 + 16 x14e6 + 16 x14e7 + 30 x14e8 + 30 x14e9
+ 30 x14ea + 30 x14eb + 30 x14ec + 30 x14ed + 30 x14ee
+ 30 x14ef + 3 x173e + 3 x173f + 3 x1740 + 3 x1741
+ 3 x1742 + 3 x1743 + 3 x1744 + 3 x1745 + 3 x1746
+ 3 x1747 + 3 x1748 + 3 x1749 + 3 x174a + 3 x174b
+ 5 x1757 + 5 x174c + 5 x174d + 5 x174e + 5 x174f
+ 5 x1750 + 5 x1751 + 5 x1752 + 5 x1753 + 5 x1754
+ 5 x1755 + 5 x1756 + 5 x1758 + 5 x1759 + 2 x14f3
+ 2 x14f0 + 2 x14f1 + 2 x14f2 + 2 x14f4 + 2 x14f5
+ 2 x14f6 + 2 x14f7 + 6 x14fb + 6 x14fc + 6 x14fd
+ 6 x14fe + 6 x14ff + 6 x1500 + 6 x1501 + 6 x14f8
+ 6 x14f9 + 6 x14fa + 6 x1502 + 6 x1503 + 6 x1504
+ 6 x1505 + 18 x1762 + 18 x175a + 18 x175b + 18 x175c
+ 18 x175d + 18 x175e + 18 x175f + 18 x1760 + 18 x1761
+ 18 x1763 + 18 x1764 + 8 x1770 + 8 x1765 + 8 x1766
+ 8 x1767 + 8 x1768 + 8 x1769 + 8 x176a + 8 x176b
+ 8 x176c + 8 x176d + 8 x176e + 8 x176f + 8 x1771
+ 8 x1772 + 8 x177e + 8 x1773 + 8 x1774 + 8 x1775
+ 8 x1776 + 8 x1777 + 8 x1778 + 8 x1779 + 8 x177a
+ 8 x177b + 8 x177c + 8 x177d + 8 x177f + 8 x1780
+ 3 x1781 + 3 x1782 + 3 x1783 + 3 x1784 + 3 x1785
+ 3 x1786 + 3 x1787 + 3 x1788 + 3 x1789 + 3 x178a
+ 3 x178b + 3 x178c + 3 x178d + 3 x178e + 9 x179a
+ 9 x178f + 9 x1790 + 9 x1791 + 9 x1792 + 9 x1793
+ 9 x1794 + 9 x1795 + 9 x1796 + 9 x1797 + 9 x1798
+ 9 x1799 + 9 x179b + 9 x179c + 9 x17a8 + 9 x179d
+ 9 x179e + 9 x179f + 9 x17a0 + 9 x17a1 + 9 x17a2
+ 9 x17a3 + 9 x17a4 + 9 x17a5 + 9 x17a6 + 9 x17a7
+ 9 x17a9 + 9 x17aa + 19 x17b3 + 19 x17ab + 19 x17ac
+ 19 x17ad + 19 x17ae + 19 x17af + 19 x17b0 + 19 x17b1
+ 19 x17b2 + 19 x17b4 + 19 x17b5 + 5 x17c1 + 5 x17b6
+ 5 x17b7 + 5 x17b8 + 5 x17b9 + 5 x17ba + 5 x17bb
+ 5 x17bc + 5 x17bd + 5 x17be + 5 x17bf + 5 x17c0
+ 5 x17c2 + 5 x17c3 + 19 x150c + 19 x150d + 19 x150e
+ 19 x150f + 19 x1510 + 19 x1511 + 19 x1512 + 19 x1513
+ 19 x1514 + 19 x1515 + 10 x1519 + 10 x151a + 10 x151b
+ 10 x151c + 10 x151d + 10 x151e + 10 x151f + 10 x1520
+ 10 x1516 + 10 x1517 + 10 x1518 + 10 x1524 + 10 x1525
+ 10 x1526 + 10 x1527 + 10 x1528 + 10 x1529 + 10 x152a
+ 10 x152b + 10 x1521 + 10 x1522 + 10 x1523 + 4 x152f
+ 4 x1530 + 4 x1531 + 4 x1532 + 4 x1533 + 4 x1534
+ 4 x1535 + 4 x1536 + 4 x152c + 4 x152d + 4 x152e
+ 4 x1537 + 4 x1538 + 4 x1539 + 4 x153a + 4 x153b
+ 11 x153f + 11 x1540 + 11 x1541 + 11 x1542 + 11 x1543
+ 11 x1544 + 11 x1545 + 11 x1546 + 11 x153c + 11 x153d
+ 11 x153e + 11 x154a + 11 x154b + 11 x154c + 11 x154d
+ 11 x154e + 11 x154f + 11 x1550 + 11 x1551 + 11 x1547
+ 11 x1548 + 11 x1549 + 20 x1552 + 20 x1553 + 20 x1554
+ 20 x1555 + 20 x1556 + 20 x1557 + 20 x1558 + 20 x1559
+ 20 x155a + 20 x155b + 8 x155f + 8 x1560 + 8 x1561
+ 8 x1562 + 8 x1563 + 8 x1564 + 8 x1565 + 8 x1566
+ 8 x155c + 8 x155d + 8 x155e + 2 x1567 + 2 x1568
+ 2 x1569 + 2 x156a + 2 x156b + 2 x156c + 2 x156e
+ 2 x158d + 2 x158e + 16 x1590 + 16 x1591 + 16 x1592
+ 16 x1593 + 16 x1598 + 16 x1594 + 16 x1595 + 16 x1596
+ 16 x1597 + 6 x1599 + 6 x159a + 6 x159b + 6 x159c
+ 6 x159d + 6 x159e + 6 x159f + 6 x15a0 + 6 x15a1
+ 6 x15a2 + 6 x15a3 + 6 x15a4 + 6 x15a5 + 6 x15aa
+ 6 x15a6 + 6 x15a7 + 6 x15a8 + 6 x15a9 + 29 x15ab
+ 29 x15ac + 29 x15ad + 29 x15ae + 19 x15b3 + 19 x15b4
+ 19 x15b5 + 19 x15b6 + 28 x15b7 + 15 x15b8 + 30 x15b9
+ 15 x15ba + 29 x15bb + 29 x15af + 29 x15b0 + 29 x15b1
+ 29 x15b2 + 19 x15bc + 19 x15bd + 19 x15be + 19 x15bf
+ 19 x15c0 + 18 x15c1 + 18 x15c2 + 18 x15c3 + 18 x15c4
+ 15 x15c5 + 5 x15c8 + 5 x15c9 + 5 x15c6 + 5 x15c7
+ 5 x15ca + 5 x15cb + 5 x15cc + 5 x15cd + 5 x15ce
+ 19 x15cf + 19 x15d0 + 19 x15d1 + 19 x15d2 + 9 x15d7
+ 9 x15d8 + 9 x15d9 + 9 x15da + 19 x15df + 19 x15d3
+ 19 x15d4 + 19 x15d5 + 19 x15d6 + 9 x15e0 + 9 x15db
+ 9 x15dc + 9 x15dd + 9 x15de + 5 x15e1 + 5 x15e2
+ 5 x15e3 + 5 x15e4 + 5 x15e5 + 5 x15e6 + 5 x15e7
+ 5 x15e8 + 5 x15e9 + 19 x15ea + 19 x15eb + 19 x15ec
+ 19 x15ed + 9 x15f2 + 9 x15f3 + 9 x15f4 + 9 x15f5
+ 19 x15fa + 19 x15ee + 19 x15ef + 19 x15f0 + 19 x15f1
+ 9 x15f6 + 9 x15f7 + 9 x15f8 + 9 x15f9 + 9 x15fb
+ 15 x15fc + 15 x15fd + 15 x15fe + 13 x15ff + 13 x1600
+ 13 x1601 + 13 x1602 + 13 x1603 + 13 x1604 + 15 x1605
+ 15 x1606 + 15 x1607 + 15 x1608 + 15 x1609 + 15 x160a
+ 13 x160b + 13 x160c + 13 x160d + 13 x160f + 13 x1610
+ 15 x1612 + 15 x1613 + 3 x1628 + 3 x1629 + 3 x162a
+ 3 x162b + 1 x162c + 1 x162d + 1 x162e + 1 x162f
+ 1 x1632 + 1 x1633 + 1 x1634 + 1 x1635 + 4 x1614
+ 4 x1615 + 4 x1616 + 4 x1617 + 4 x1618 + 4 x1619
+ 4 x161a + 7 x17cf + 7 x17c4 + 7 x17c5 + 7 x17c6
+ 7 x17c7 + 7 x17c8 + 7 x17c9 + 7 x17ca + 7 x17cb
+ 7 x17cc + 7 x17cd + 7 x17ce + 7 x17d0 + 7 x17d1
+ 7 x17dd + 7 x17d2 + 7 x17d3 + 7 x17d4 + 7 x17d5
+ 7 x17d6 + 7 x17d7 + 7 x17d8 + 7 x17d9 + 7 x17da
+ 7 x17db + 7 x17dc + 7 x17de + 7 x17df + 5 x1669
+ 5 x166a + 5 x166b + 5 x166c + 5 x1671 + 5 x1672
+ 5 x1673 + 5 x1674 + 5 x1679 + 5 x167a + 5 x167b
+ 5 x167c + 5 x1685 + 5 x1686 + 5 x1687 + 5 x1688
+ 2 x169e + 2 x169f + 2 x16a0 + 2 x16a1 + 10 x1726
+ 10 x1727 + 10 x1728 + 9 x1729 + 9 x172a + 9 x172b
+ 18 x172c + 18 x172d + 8 x172e + 8 x172f + 8 x1730
+ 8 x1731 + 5 x16a6 + 27 x16ae + 27 x16af + 27 x16b0
+ 27 x16b1 + 29 x16b2 + 29 x16b3 + 30 x16b4 + 30 x16b5
+ 30 x16b6 + 30 x16b7 + 30 x16b8 + 30 x16b9 + 10 x16be
+ 10 x16bf + 8 x16c0 + 8 x16c1 + 75900 x16c2 + 75900 x16c3
+ 11 x16cd + 27 x16ce + 21 x16cf + 10 x16d0 + 21 x16d1
+ 20 x16d2 + 25 x16df + 25 x16e0 + 25 x16e1 + 25 x16e2
+ 25 x16e3 + 25 x16e4 + 25 x16e5 + 25 x16e6 + 25 x16e7
+ 25 x16e8 + 25 x16e9 + 25 x16ea + 75900 x16eb + 75900 x16ec
+ 7 x16f6 + 7 x16f7 + 7 x16f8 + 7 x16f9 + 9 x16fa
+ 9 x16fb + 9 x16fc + 9 x16fd + 9 x16fe + 9 x16ff
+ 9 x1700 + 9 x1701 + 19 x1702 + 19 x1703 + 19 x1704
+ 19 x1705 + 11 x1848 + 11 x1849 + 1 x184a + 1 x184b
+ 1 x184f + 1 x1850 + 1 x1853 + 1 x1854 + 1 x1857
+ 1 x1858 + 3 x1859 + 3 x185a + 4 x185c + 4 x185d
+ 8 x185e + 4 x185f + 8 x1860 + 8 x1861 + 4 x1862
+ 8 x1863 + 4 x1864 + 6 x1865 + 6 x1866 + 18 x1867
+ 18 x1868 + 11 x1869 + 11 x186a + 11 x186b + 11 x186c
+ 11 x186d + 11 x186e + 11 x186f + 11 x1870 + 11 x1871
+ 11 x1872 + 11 x1873 + 11 x1874 + 11 x1875 + 7 x1876
+ 7 x1877 + 7 x1878 + 7 x1879 + 7 x187a + 7 x187b
+ 7 x187c + 7 x187d + 7 x187e + 7 x187f + 7 x1880
+ 5 x1881 + 5 x1882 + 4 x1883 + 4 x1884 + 4 x1885
+ 4 x1886 + 4 x1887 + 4 x1888 + 4 x1889 + 4 x188a
+ 4 x188b + 4 x188c + 4 x188d + 4 x188e + 4 x188f
+ 15 x1890 + 15 x1891 + 15 x1892 + 15 x1893 + 15 x1894
+ 15 x1895 + 15 x1896 + 15 x1897 + 15 x1898 + 15 x1899
+ 15 x189a + 15 x189b + 15 x189c + 12 x189d + 12 x189e
+ 12 x189f + 12 x18a0 + 12 x18a1 + 12 x18a2 + 12 x18a3
+ 12 x18a4 + 12 x18a5 + 12 x18a6 + 12 x18a7 + 12 x18a8
+ 12 x18a9 + 3 x18aa + 3 x18ab + 3 x18ac + 3 x18ad
+ 3 x18ae + 3 x18af + 3 x18b0 + 3 x18b1 + 3 x18b2
+ 3 x18b3 + 3 x18b4 + 3 x18b5 + 3 x18b6 + 3 x18b7
+ 3 x18b8 + 3 x18b9 + 3 x18ba + 3 x18bb + 3 x18bc
+ 3 x18bd + 3 x18be + 3 x18bf + 3 x18c0 + 3 x18c1
+ 3 x18c2 + 3 x18c3 + 4 x18c4 + 4 x18c5 + 4 x18c6
+ 4 x18c7 + 4 x18c8 + 4 x18c9 + 4 x18ca + 4 x18cb
+ 4 x18cc + 4 x18cd + 4 x18ce + 4 x18cf + 4 x18d0
+ 9 x18d1 + 9 x18d2 + 9 x18d3 + 9 x18d4 + 9 x18d5
+ 9 x18d6 + 9 x18d7 + 9 x18d8 + 9 x18d9 + 9 x18da
+ 9 x18db + 9 x18dc + 9 x18dd + 5 x18de + 5 x18df
+ 5 x18e0 + 5 x18e1 + 5 x18e2 + 5 x18e3 + 5 x18e4
+ 5 x18e5 + 5 x18e6 + 5 x18e7 + 5 x18e8 + 5 x18e9
+ 5 x18ea + 17 x18eb + 17 x18ec + 5 x18ed + 5 x18ee
+ 7 x18ef + 3 x18f0 + 7 x18f1 + 3 x18f2 + 7 x18f3
+ 7 x18f4 + 3 x18f5 + 3 x18f6 + 3 x18f7 + 3 x18f8
+ 3 x18f9 + 3 x18fa + 3 x18fb + 3 x18fc + 3 x18fd
+ 3 x18fe + 3 x18ff + 3 x1900 + 3 x1901 + 3 x1902
+ 3 x1903 + 3 x1904 + 4 x1905 + 4 x1906 + 4 x1907
+ 4 x1908 + 4 x1909 + 4 x190a + 4 x190b + 4 x190c
+ 4 x190d + 4 x190e + 4 x190f + 4 x1910 + 4 x1911
+ 5 x191f + 5 x1920 + 5 x1921 + 5 x1922 + 5 x1923
+ 5 x1924 + 5 x1925 + 5 x1926 + 5 x1927 + 5 x1928
+ 5 x1929 + 5 x192a + 5 x192b + 15 x1912 + 15 x1913
+ 15 x1914 + 15 x1915 + 15 x1916 + 15 x1917 + 15 x1918
+ 15 x1919 + 15 x191a + 15 x191b + 15 x191c + 15 x191d
+ 15 x191e + 4 x192c + 4 x192d + 4 x192e + 4 x192f
+ 4 x1930 + 4 x1931 + 4 x1932 + 4 x1933 + 4 x1934
+ 4 x1935 + 4 x1936 + 4 x1937 + 4 x1938 + 9 x1939
+ 9 x193a + 9 x193b + 9 x193c + 9 x193d + 9 x193e
+ 9 x193f + 9 x1940 + 9 x1941 + 9 x1942 + 9 x1943
+ 9 x1944 + 9 x1945 + 5 x1946 + 5 x1947 + 5 x1948
+ 5 x1949 + 5 x194a + 5 x194b + 5 x194c + 5 x194d
+ 5 x194e + 5 x194f + 5 x1950 + 5 x1951 + 5 x1952
+ 3 x1953 + 3 x1954 + 3 x1955 + 3 x1956 + 3 x1957
+ 3 x1958 + 3 x1959 + 3 x195a + 3 x195b + 3 x195c
+ 3 x195d + 3 x195e + 3 x195f + 2 x196d + 2 x196e
+ 14 x196f + 14 x1970 + 4 x1971 + 4 x1973 + 4 x1974
+ 4 x1976 + 2 x1987 + 2 x1988 + 14 x1989 + 14 x198a
+ 4 x198b + 4 x198d + 4 x198e + 9 x1990 + 2 x19e4
+ 2 x19e6 + 2 x19e7 + 2 x19e9 + 2 x19eb + 2 x19ec
+ 2 x19ed + 2 x19ee + 2 x1a0b + 2 x1a0d + 2 x1a0e
+ 2 x1a10 + 2 x1a12 + 2 x1a13 + 2 x1a14 + 2 x1a15
+ 2 x1a16 + 2 x1a17 + 6 x1a18 + 2 x1a19 + 6 x1a1a
+ 6 x1a1b + 2 x1a1c + 6 x1a1d + 2 x1a1e + 2 x1a20
+ 4 x1a21 + 2 x1a24 + 4 x1a25 + 2 x1a27 + 4 x1a28
+ 4 x1a32 + 4 x1a33 + 4 x1a36 + 4 x1a37 + 4 x1a39
+ 4 x1a3a + 6 x1a3b + 2 x1a3c + 6 x1a3d + 6 x1a3e
+ 2 x1a3f + 6 x1a40 + 2 x1a41 + 2 x1a42 + 2 x1a43
+ 2 x1a4f + 2 x1a50 + 2 x1a51 + 2 x1a52 + 2 x1a53
+ 2 x1a54 + 2 x1a55 + 2 x1a56 + 2 x1a57 + 2 x1a58
+ 2 x1a59 + 2 x1a5a + 2 x1a5b + 2 x1a5c + 2 x1a5d
+ 2 x1a5e + 2 x1a5f + 2 x1a60 + 2 x1a62 + 2 x1a63
+ 4 x1a64 + 2 x1a67 + 2 x1a68 + 4 x1a69 + 2 x1a6b
+ 2 x1a6c + 4 x1a6d + 11 x1a77 + 5 x1a78 + 4 x1a7b
+ 4 x1a7c + 12 x1a7e + 10 x1a7f + 6 x1a80 + 2 x1a81
+ 6 x1a82 + 6 x1a83 + 2 x1a84 + 6 x1a85 + 2 x1a86
+ 2 x1a87 + 2 x1a88 + 9 x1a8e + 4 x1a8f + 4 x1a91
+ 4 x1a92 + 8 x1a95 + 4 x1a96 + 6 x1a97 + 2 x1a98
+ 6 x1a99 + 6 x1a9a + 2 x1a9b + 6 x1a9c + 2 x1a9d
+ 2 x1a9e + 2 x1a9f + 2 x1aa0 + 2 x1aa1 + 2 x1aa2
+ 2 x1aa3 + 2 x1aa4 + 2 x1aa5 + 2 x1aa6 + 2 x1aa7
+ 2 x1aa8 + 2 x1aaa + 2 x1aab + 2 x1aae + 2 x1aaf
+ 2 x1ab1 + 2 x1ab2 + 4 x1ce7 + 4 x1ce8 + 4 x1ceb
+ 4 x1cec + 4 x1cee + 4 x1cef + 2 x1cf1 + 2 x1cf5
+ 2 x1cf8 + 4 x1d05 + 7 x1d06 + 4 x1d09 + 4 x1d0a
+ 4 x1d0c + 12 x1d0d + 4 x1d0e + 4 x1d0f + 4 x1d10
+ 4 x1d11 + 4 x1d12 + 4 x1d13 + 4 x1d14 + 4 x1d15
+ 4 x1d16 + 4 x1d17 + 4 x1d18 + 4 x1d19 + 4 x1d1a
+ 2 x1d1b + 2 x1d1c + 2 x1d1e + 2 x1d1f + 2 x1d20
+ 2 x1d22 + 2 x1d23 + 4 x1d30 + 4 x1d31 + 4 x1d34
+ 4 x1d35 + 4 x1d37 + 4 x1d38 + 6 x1d44 + 4 x1d45
+ 4 x1d48 + 4 x1d49 + 11 x1d4b + 4 x1d4c + 16 x1ab7
+ 16 x1ab8 + 16 x1ab9 + 16 x1aba + 16 x1abb + 16 x1abc
+ 16 x1abd + 16 x1abe + 30 x1abf + 30 x1ac0 + 30 x1ac1
+ 30 x1ac2 + 30 x1ac3 + 30 x1ac4 + 30 x1ac5 + 30 x1ac6
+ 12 x1acd + 12 x1ace + 12 x1acf + 12 x1ad0 + 12 x1ac7
+ 12 x1ac8 + 12 x1ac9 + 12 x1aca + 12 x1acb + 12 x1acc
+ 12 x1ad1 + 12 x1ad2 + 12 x1adb + 12 x1adc + 12 x1add
+ 12 x1ade + 12 x1ad5 + 12 x1ad6 + 12 x1ad7 + 12 x1ad8
+ 12 x1ad9 + 12 x1ada + 12 x1adf + 12 x1ae0 + 16 x1ae3
+ 16 x1ae4 + 16 x1ae5 + 16 x1ae6 + 16 x1ae7 + 16 x1ae8
+ 16 x1ae9 + 16 x1aea + 22 x1aeb + 22 x1aec + 22 x1aed
+ 22 x1aee + 22 x1aef + 22 x1af0 + 22 x1af1 + 22 x1af2
+ 16 x1af3 + 16 x1af4 + 16 x1af5 + 16 x1af6 + 16 x1af7
+ 16 x1af8 + 16 x1af9 + 16 x1afa + 30 x1afb + 30 x1afc
+ 30 x1afd + 30 x1afe + 30 x1aff + 30 x1b00 + 30 x1b01
+ 30 x1b02 + 12 x1b09 + 12 x1b0a + 12 x1b0b + 12 x1b0c
+ 12 x1b03 + 12 x1b04 + 12 x1b05 + 12 x1b06 + 12 x1b07
+ 12 x1b08 + 12 x1b0d + 12 x1b0e + 12 x1b0f + 12 x1b10
+ 12 x1b17 + 12 x1b18 + 12 x1b19 + 12 x1b1a + 12 x1b11
+ 12 x1b12 + 12 x1b13 + 12 x1b14 + 12 x1b15 + 12 x1b16
+ 12 x1b1b + 12 x1b1c + 16 x1b1f + 16 x1b20 + 16 x1b21
+ 16 x1b22 + 16 x1b23 + 16 x1b24 + 16 x1b25 + 16 x1b26
+ 24 x1b27 + 24 x1b28 + 24 x1b29 + 24 x1b2a + 24 x1b2b
+ 24 x1b2c + 24 x1b2d + 24 x1b2e + 12 x1b31 + 12 x1b32
+ 12 x1b39 + 12 x1b3a + 12 x1b3b + 12 x1b3c + 12 x1b33
+ 12 x1b34 + 12 x1b35 + 12 x1b36 + 12 x1b37 + 12 x1b38
+ 16 x1b3d + 16 x1b3e + 16 x1b3f + 16 x1b40 + 16 x1b41
+ 16 x1b42 + 16 x1b43 + 16 x1b44 + 21 x1b45 + 21 x1b46
+ 21 x1b47 + 21 x1b48 + 21 x1b49 + 21 x1b4a + 21 x1b4b
+ 21 x1b4c + 3 x1e28 + 3 x1e29 + 3 x1e2a + 3 x1e2b
+ 3 x1e2c + 3 x1e2d + 3 x1e2e + 3 x1e2f + 3 x1e30
+ 3 x1e31 + 3 x1e32 + 3 x1e33 + 3 x1e34 + 3 x1e35
+ 5 x1e41 + 5 x1e36 + 5 x1e37 + 5 x1e38 + 5 x1e39
+ 5 x1e3a + 5 x1e3b + 5 x1e3c + 5 x1e3d + 5 x1e3e
+ 5 x1e3f + 5 x1e40 + 5 x1e42 + 5 x1e43 + 2 x1b50
+ 2 x1b4d + 2 x1b4e + 2 x1b4f + 2 x1b51 + 2 x1b52
+ 2 x1b53 + 2 x1b54 + 6 x1b58 + 6 x1b59 + 6 x1b5a
+ 6 x1b5b + 6 x1b5c + 6 x1b5d + 6 x1b5e + 6 x1b55
+ 6 x1b56 + 6 x1b57 + 6 x1b5f + 6 x1b60 + 6 x1b61
+ 6 x1b62 + 2 x1b63 + 2 x1b64 + 2 x1b65 + 2 x1b66
+ 2 x1b67 + 2 x1b68 + 18 x1e4c + 18 x1e44 + 18 x1e45
+ 18 x1e46 + 18 x1e47 + 18 x1e48 + 18 x1e49 + 18 x1e4a
+ 18 x1e4b + 18 x1e4d + 18 x1e4e + 8 x1e5a + 8 x1e4f
+ 8 x1e50 + 8 x1e51 + 8 x1e52 + 8 x1e53 + 8 x1e54
+ 8 x1e55 + 8 x1e56 + 8 x1e57 + 8 x1e58 + 8 x1e59
+ 8 x1e5b + 8 x1e5c + 8 x1e68 + 8 x1e5d + 8 x1e5e
+ 8 x1e5f + 8 x1e60 + 8 x1e61 + 8 x1e62 + 8 x1e63
+ 8 x1e64 + 8 x1e65 + 8 x1e66 + 8 x1e67 + 8 x1e69
+ 8 x1e6a + 3 x1e6b + 3 x1e6c + 3 x1e6d + 3 x1e6e
+ 3 x1e6f + 3 x1e70 + 3 x1e71 + 3 x1e72 + 3 x1e73
+ 3 x1e74 + 3 x1e75 + 3 x1e76 + 3 x1e77 + 3 x1e78
+ 9 x1e84 + 9 x1e79 + 9 x1e7a + 9 x1e7b + 9 x1e7c
+ 9 x1e7d + 9 x1e7e + 9 x1e7f + 9 x1e80 + 9 x1e81
+ 9 x1e82 + 9 x1e83 + 9 x1e85 + 9 x1e86 + 9 x1e92
+ 9 x1e87 + 9 x1e88 + 9 x1e89 + 9 x1e8a + 9 x1e8b
+ 9 x1e8c + 9 x1e8d + 9 x1e8e + 9 x1e8f + 9 x1e90
+ 9 x1e91 + 9 x1e93 + 9 x1e94 + 19 x1e9d + 19 x1e95
+ 19 x1e96 + 19 x1e97 + 19 x1e98 + 19 x1e99 + 19 x1e9a
+ 19 x1e9b + 19 x1e9c + 19 x1e9e + 19 x1e9f + 5 x1eab
+ 5 x1ea0 + 5 x1ea1 + 5 x1ea2 + 5 x1ea3 + 5 x1ea4
+ 5 x1ea5 + 5 x1ea6 + 5 x1ea7 + 5 x1ea8 + 5 x1ea9
+ 5 x1eaa + 5 x1eac + 5 x1ead + 19 x1b69 + 19 x1b6a
+ 19 x1b6b + 19 x1b6c + 19 x1b6d + 19 x1b6e + 19 x1b6f
+ 19 x1b70 + 19 x1b71 + 19 x1b72 + 10 x1b76 + 10 x1b77
+ 10 x1b78 + 10 x1b79 + 10 x1b7a + 10 x1b7b + 10 x1b7c
+ 10 x1b7d + 10 x1b73 + 10 x1b74 + 10 x1b75 + 10 x1b81
+ 10 x1b82 + 10 x1b83 + 10 x1b84 + 10 x1b85 + 10 x1b86
+ 10 x1b87 + 10 x1b88 + 10 x1b7e + 10 x1b7f + 10 x1b80
+ 4 x1b8c + 4 x1b8d + 4 x1b8e + 4 x1b8f + 4 x1b90
+ 4 x1b91 + 4 x1b92 + 4 x1b93 + 4 x1b89 + 4 x1b8a
+ 4 x1b8b + 4 x1b94 + 4 x1b95 + 4 x1b96 + 4 x1b97
+ 4 x1b98 + 11 x1b9c + 11 x1b9d + 11 x1b9e + 11 x1b9f
+ 11 x1ba0 + 11 x1ba1 + 11 x1ba2 + 11 x1ba3 + 11 x1b99
+ 11 x1b9a + 11 x1b9b + 11 x1ba7 + 11 x1ba8 + 11 x1ba9
+ 11 x1baa + 11 x1bab + 11 x1bac + 11 x1bad + 11 x1bae
+ 11 x1ba4 + 11 x1ba5 + 11 x1ba6 + 20 x1baf + 20 x1bb0
+ 20 x1bb1 + 20 x1bb2 + 20 x1bb3 + 20 x1bb4 + 20 x1bb5
+ 20 x1bb6 + 20 x1bb7 + 20 x1bb8 + 8 x1bbc + 8 x1bbd
+ 8 x1bbe + 8 x1bbf + 8 x1bc0 + 8 x1bc1 + 8 x1bc2
+ 8 x1bc3 + 8 x1bb9 + 8 x1bba + 8 x1bbb + 2 x1bc4
+ 2 x1bc5 + 2 x1bc6 + 2 x1bc7 + 2 x1bc8 + 2 x1bc9
+ 2 x1bcb + 2 x1bea + 2 x1beb + 16 x1bed + 16 x1bee
+ 16 x1bef + 16 x1bf0 + 16 x1bf5 + 16 x1bf1 + 16 x1bf2
+ 16 x1bf3 + 16 x1bf4 + 6 x1bf6 + 6 x1bf7 + 6 x1bf8
+ 6 x1bf9 + 6 x1bfa + 6 x1bfb + 6 x1bfc + 6 x1bfd
+ 6 x1bfe + 6 x1bff + 6 x1c00 + 6 x1c01 + 6 x1c02
+ 6 x1c07 + 6 x1c03 + 6 x1c04 + 6 x1c05 + 6 x1c06
+ 29 x1c08 + 29 x1c09 + 29 x1c0a + 29 x1c0b + 19 x1c10
+ 19 x1c11 + 19 x1c12 + 19 x1c13 + 28 x1c14 + 15 x1c15
+ 30 x1c16 + 15 x1c17 + 29 x1c18 + 29 x1c0c + 29 x1c0d
+ 29 x1c0e + 29 x1c0f + 19 x1c19 + 19 x1c1a + 19 x1c1b
+ 19 x1c1c + 19 x1c1d + 18 x1c1e + 18 x1c1f + 18 x1c20
+ 18 x1c21 + 15 x1c22 + 5 x1c25 + 5 x1c26 + 5 x1c23
+ 5 x1c24 + 5 x1c27 + 5 x1c28 + 5 x1c29 + 5 x1c2a
+ 5 x1c2b + 19 x1c2c + 19 x1c2d + 19 x1c2e + 19 x1c2f
+ 9 x1c34 + 9 x1c35 + 9 x1c36 + 9 x1c37 + 19 x1c3c
+ 19 x1c30 + 19 x1c31 + 19 x1c32 + 19 x1c33 + 9 x1c3d
+ 9 x1c38 + 9 x1c39 + 9 x1c3a + 9 x1c3b + 5 x1c3e
+ 5 x1c3f + 5 x1c40 + 5 x1c41 + 5 x1c42 + 5 x1c43
+ 5 x1c44 + 5 x1c45 + 5 x1c46 + 19 x1c47 + 19 x1c48
+ 19 x1c49 + 19 x1c4a + 9 x1c4f + 9 x1c50 + 9 x1c51
+ 9 x1c52 + 19 x1c57 + 19 x1c4b + 19 x1c4c + 19 x1c4d
+ 19 x1c4e + 9 x1c53 + 9 x1c54 + 9 x1c55 + 9 x1c56
+ 9 x1c58 + 15 x1c59 + 15 x1c5a + 15 x1c5b + 13 x1c5c
+ 13 x1c5d + 13 x1c5e + 13 x1c5f + 13 x1c60 + 13 x1c61
+ 15 x1c62 + 15 x1c63 + 15 x1c64 + 15 x1c65 + 15 x1c66
+ 15 x1c67 + 13 x1c68 + 13 x1c69 + 13 x1c6a + 13 x1c6c
+ 13 x1c6d + 15 x1c6f + 15 x1c70 + 3 x1c85 + 3 x1c86
+ 3 x1c87 + 3 x1c88 + 1 x1c89 + 1 x1c8a + 1 x1c8b
+ 1 x1c8c + 1 x1c8f + 1 x1c90 + 1 x1c91 + 1 x1c92
+ 4 x1c71 + 4 x1c72 + 4 x1c73 + 4 x1c74 + 4 x1c75
+ 4 x1c76 + 4 x1c77 + 7 x1eb9 + 7 x1eae + 7 x1eaf