-
Notifications
You must be signed in to change notification settings - Fork 0
/
value_408665950.lp
8004 lines (8004 loc) · 188 KB
/
value_408665950.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: 504 x1 + 504 x2 + 504 x3 + 504 x4
+ 504 x5 + 504 x6 + 504 x7 + 504 x8 + 504 x9
+ 505 xa + 505 xb + 505 xc + 506 xd + 40 x1b
+ 1436 x1e + 1748 x1f + 932 x57 + 195 x26 + 322 x27
+ 1 x2b + 1185 x59 + 232 x2e + 495 x2f + 192 x35
+ 455 x36 + 232 x3c + 455 x3d + 191 x43 + 415 x44
+ 1 x48 + 232 x4a + 439 x4b + 191 x51 + 407 x52
+ 48 x6d + 2858 x70 + 2490 x71 + 2858 x72 + 2490 x73
+ 2242 x74 + 2242 x75 + 2490 x76 + 2490 x77 + 2442 x78
+ 2442 x79 + 28 xa2 + 28 xa3 + 532 xa4 + 532 xa5
+ 852 xa8 + 716 xa6 + 852 xa9 + 716 xa7 + 5 xaa
+ 5 xab + 5 xac + 5 xad + 375 xb8 + 375 xb9
+ 255 xba + 255 xbb + 311 xbc + 311 xbd + 334 xbe
+ 334 xbf + 310 xc0 + 310 xc1 + 368 xca + 368 xcb
+ 368 xcc + 368 xcd + 368 xce + 368 xcf + 368 xd0
+ 368 xd1 + 248 xd2 + 248 xd3 + 248 xd4 + 248 xd5
+ 248 xd6 + 248 xd7 + 248 xd8 + 248 xd9 + 504 xe7
+ 504 xe8 + 504 xe9 + 504 xea + 368 xeb + 368 xec
+ 368 xed + 368 xee + 504 xef + 504 xf0 + 504 xf1
+ 504 xf2 + 504 xf3 + 504 xf4 + 504 xf5 + 504 xf6
+ 368 xf7 + 368 xf8 + 368 xf9 + 368 xfa + 752 x10f
+ 752 x110 + 752 x111 + 616 x113 + 616 x114 + 752 x112
+ 616 x115 + 616 x116 + 888 x11b + 752 x117 + 752 x118
+ 888 x11c + 752 x119 + 752 x11a + 752 x11d + 752 x11e
+ 616 x121 + 616 x122 + 752 x11f + 752 x120 + 616 x123
+ 616 x124 + 504 x125 + 504 x126 + 368 x127 + 368 x128
+ 368 x129 + 368 x12a + 504 x12b + 504 x12c + 368 x12d
+ 368 x12e + 368 x12f + 368 x130 + 504 x131 + 504 x132
+ 504 x133 + 504 x134 + 368 x135 + 368 x136 + 368 x137
+ 368 x138 + 368 x15d + 368 x15e + 504 x15f + 504 x160
+ 368 x161 + 368 x162 + 368 x163 + 368 x164 + 368 x165
+ 368 x166 + 504 x167 + 504 x168 + 368 x169 + 368 x16a
+ 368 x16b + 368 x16c + 504 x16d + 504 x16e + 504 x16f
+ 504 x170 + 368 x171 + 368 x172 + 368 x173 + 368 x174
+ 616 x175 + 616 x176 + 752 x177 + 752 x178 + 752 x179
+ 616 x17b + 616 x17c + 752 x17a + 616 x17d + 616 x17e
+ 616 x17f + 616 x180 + 752 x181 + 752 x182 + 752 x183
+ 616 x185 + 616 x186 + 752 x184 + 616 x187 + 616 x188
+ 752 x189 + 752 x18a + 752 x18b + 616 x18d + 616 x18e
+ 752 x18c + 616 x18f + 616 x190 + 888 x195 + 752 x191
+ 752 x192 + 888 x196 + 752 x193 + 752 x194 + 752 x197
+ 752 x198 + 616 x19b + 616 x19c + 752 x199 + 752 x19a
+ 616 x19d + 616 x19e + 368 x1d6 + 368 x1d7 + 368 x1d8
+ 368 x1d9 + 504 x1da + 504 x1db + 368 x1dc + 368 x1dd
+ 368 x1de + 368 x1df + 368 x1e0 + 368 x1e1 + 368 x1e2
+ 368 x1e3 + 368 x1e4 + 368 x1e5 + 504 x1e6 + 504 x1e7
+ 368 x1e8 + 368 x1e9 + 368 x1ea + 368 x1eb + 368 x1ec
+ 368 x1ed + 504 x1ee + 504 x1ef + 368 x1f0 + 368 x1f1
+ 368 x1f2 + 368 x1f3 + 368 x1f4 + 368 x1f5 + 504 x1f6
+ 504 x1f7 + 368 x1f8 + 368 x1f9 + 368 x1fa + 368 x1fb
+ 504 x1fc + 504 x1fd + 504 x1fe + 504 x1ff + 368 x200
+ 368 x201 + 368 x202 + 368 x203 + 368 x23d + 368 x23e
+ 368 x23f + 368 x240 + 368 x241 + 368 x242 + 504 x243
+ 504 x244 + 368 x245 + 368 x246 + 368 x247 + 368 x248
+ 368 x249 + 368 x24a + 368 x24b + 368 x24c + 368 x24d
+ 368 x24e + 368 x24f + 368 x250 + 504 x251 + 504 x252
+ 368 x253 + 368 x254 + 368 x255 + 368 x256 + 368 x257
+ 368 x258 + 368 x27d + 368 x27b + 368 x27e + 368 x27c
+ 368 x27f + 368 x280 + 368 x281 + 368 x282 + 368 x283
+ 368 x284 + 368 x285 + 368 x286 + 368 x287 + 368 x288
+ 368 x289 + 368 x28a + 504 x28b + 504 x28c + 504 x28d
+ 504 x28e + 368 x28f + 368 x290 + 368 x291 + 368 x292
+ 368 x293 + 368 x294 + 368 x295 + 368 x296 + 504 x2b9
+ 504 x2b7 + 504 x2ba + 504 x2b8 + 504 x2bb + 504 x2bc
+ 504 x2bd + 504 x2be + 504 x2bf + 504 x2c0 + 504 x2c1
+ 504 x2c2 + 368 x2c3 + 368 x2c4 + 368 x2c5 + 368 x2c6
+ 368 x2c7 + 368 x2c8 + 504 x2dc + 504 x2dd + 368 x2e0
+ 368 x2de + 368 x2e1 + 368 x2df + 368 x2e2 + 368 x2e3
+ 368 x2e4 + 368 x2e5 + 368 x2e6 + 368 x2e7 + 368 x2f6
+ 368 x2f7 + 1689 x566 + 1325 x567 + 2377 x568 + 8 x569
+ 2433 x56a + 8 x56b + 1344 x56c + 623 x56d + 1320 x56e
+ 623 x56f + 2490 x570 + 8 x571 + 2634 x572 + 2334 x573
+ 2370 x574 + 8 x575 + 2506 x576 + 8 x577 + 2634 x578
+ 2334 x579 + 2634 x57a + 2334 x57b + 2634 x57c + 2334 x57d
+ 2699 x57e + 2334 x57f + 2699 x580 + 2334 x581 + 2498 x582
+ 2198 x583 + 2498 x584 + 2198 x585 + 2634 x586 + 2334 x587
+ 2634 x588 + 2334 x589 + 2498 x58a + 2198 x58b + 2498 x58c
+ 2198 x58d + 2563 x58e + 2198 x58f + 2563 x590 + 2198 x591
+ 2699 x592 + 2334 x593 + 2699 x594 + 2334 x595 + 2114 x596
+ 1814 x597 + 2250 x598 + 1950 x599 + 2250 x59a + 1950 x59b
+ 2114 x59c + 1814 x59d + 2250 x59e + 1950 x59f + 2250 x5a0
+ 1950 x5a1 + 2386 x5a2 + 2086 x5a3 + 2386 x5a4 + 2086 x5a5
+ 2362 x5a6 + 2062 x5a7 + 2498 x5a8 + 2198 x5a9 + 2498 x5aa
+ 2198 x5ab + 2427 x5ac + 2062 x5ad + 2563 x5ae + 2198 x5af
+ 2563 x5b0 + 2198 x5b1 + 2563 x5b2 + 2198 x5b3 + 2563 x5b4
+ 2198 x5b5 + 2699 x5b6 + 2334 x5b7 + 2699 x5b8 + 2334 x5b9
+ 2114 x5ba + 1814 x5bb + 2114 x5bc + 1814 x5bd + 2250 x5be
+ 1950 x5bf + 2250 x5c0 + 1950 x5c1 + 2114 x5c2 + 1814 x5c3
+ 2179 x5c4 + 1814 x5c5 + 2179 x5c6 + 1814 x5c7 + 2315 x5c8
+ 1950 x5c9 + 2315 x5ca + 1950 x5cb + 2179 x5cc + 1814 x5cd
+ 2315 x5ce + 1950 x5cf + 2315 x5d0 + 1950 x5d1 + 2179 x5d2
+ 1814 x5d3 + 2315 x5d4 + 1950 x5d5 + 2315 x5d6 + 1950 x5d7
+ 2451 x5d8 + 2086 x5d9 + 2451 x5da + 2086 x5db + 2114 x5dc
+ 1814 x5dd + 2114 x5de + 1814 x5df + 2114 x5e0 + 1814 x5e1
+ 2250 x5e2 + 1950 x5e3 + 2250 x5e4 + 1950 x5e5 + 2114 x5e6
+ 1814 x5e7 + 2179 x5e8 + 1814 x5e9 + 2179 x5ea + 1814 x5eb
+ 2179 x5ec + 1814 x5ed + 2315 x5ee + 1950 x5ef + 2386 x5f0
+ 1950 x5f1 + 2179 x5f2 + 1814 x5f3 + 2186 x5f4 + 1950 x5f5
+ 2186 x5f6 + 1950 x5f7 + 2186 x5f8 + 1950 x5f9 + 2186 x5fa
+ 1950 x5fb + 2322 x5fc + 2086 x5fd + 2322 x5fe + 2086 x5ff
+ 2114 x600 + 1814 x601 + 2179 x602 + 1814 x603 + 2170 x604
+ 2086 x605 + 2186 x606 + 1950 x607 + 2186 x608 + 1950 x609
+ 2186 x60a + 1950 x60b + 2186 x60c + 1950 x60d + 2170 x60e
+ 2086 x60f + 2179 x610 + 1814 x611 + 2034 x612 + 1950 x613
+ 2034 x614 + 1950 x615 + 2050 x616 + 1814 x617 + 2050 x618
+ 1814 x619 + 2050 x61a + 1814 x61b + 1898 x61c + 1814 x61d
+ 1926 x671 + 2062 x672 + 2182 x673 + 1926 x674 + 2062 x675
+ 2182 x676 + 2046 x678 + 2182 x679 + 2302 x67a + 1989 x67d
+ 2125 x67e + 2245 x67f + 1933 x680 + 2069 x681 + 2189 x682
+ 5 x69a + 5 x69b + 339 x69c + 339 x69d + 659 x6a0
+ 523 x69e + 523 x6a1 + 659 x6a2 + 523 x69f + 523 x6a3
+ 275 x6a4 + 275 x6a5 + 315 x6a6 + 315 x6a7 + 458 x6a8
+ 458 x6a9 + 482 x6aa + 482 x6ab + 482 x6ac + 482 x6ad
+ 482 x6ae + 482 x6af + 575 x6b0 + 575 x6b1 + 599 x6b2
+ 599 x6b3 + 334 x6c4 + 334 x6c5 + 1552 x6c6 + 1552 x6c7
+ 1688 x6c8 + 1688 x6c9 + 1688 x6ca + 1688 x6cb + 1640 x6cc
+ 1640 x6cd + 1704 x6ce + 1704 x6cf + 1568 x6d0 + 1568 x6d1
+ 1432 x6d2 + 1432 x6d3 + 248 x6da + 248 x6db + 248 x6dc
+ 248 x6dd + 248 x6de + 248 x6df + 248 x6e0 + 248 x6e1
+ 248 x6e2 + 248 x6e3 + 504 x6ee + 504 x6ef + 504 x6f0
+ 504 x6f1 + 368 x6f2 + 368 x6f3 + 368 x6f4 + 368 x6f5
+ 504 x6f6 + 504 x6f7 + 504 x6f8 + 504 x6f9 + 368 x6fa
+ 368 x6fb + 368 x6fc + 368 x6fd + 368 x6fe + 368 x6ff
+ 504 x713 + 504 x714 + 368 x715 + 368 x716 + 368 x717
+ 368 x718 + 504 x719 + 504 x71a + 504 x71b + 504 x71c
+ 368 x71d + 368 x71e + 368 x71f + 368 x720 + 504 x721
+ 504 x722 + 368 x723 + 368 x724 + 368 x725 + 368 x726
+ 504 x727 + 504 x728 + 504 x729 + 504 x72a + 368 x72b
+ 368 x72c + 368 x72d + 368 x72e + 616 x74b + 616 x74c
+ 752 x74d + 752 x74e + 752 x74f + 616 x751 + 616 x752
+ 752 x750 + 616 x753 + 616 x754 + 752 x755 + 752 x756
+ 752 x757 + 616 x759 + 616 x75a + 752 x758 + 616 x75b
+ 616 x75c + 888 x761 + 752 x75d + 752 x75e + 888 x762
+ 752 x75f + 752 x760 + 752 x763 + 752 x764 + 616 x767
+ 616 x768 + 752 x765 + 752 x766 + 616 x769 + 616 x76a
+ 616 x76b + 616 x76c + 752 x76d + 752 x76e + 752 x76f
+ 616 x771 + 616 x772 + 752 x770 + 616 x773 + 616 x774
+ 752 x775 + 752 x776 + 752 x777 + 616 x779 + 616 x77a
+ 752 x778 + 616 x77b + 616 x77c + 888 x781 + 752 x77d
+ 752 x77e + 888 x782 + 752 x77f + 752 x780 + 752 x783
+ 752 x784 + 616 x787 + 616 x788 + 752 x785 + 752 x786
+ 616 x789 + 616 x78a + 368 x7b9 + 368 x7ba + 368 x7bb
+ 368 x7bc + 504 x7bd + 504 x7be + 368 x7bf + 368 x7c0
+ 368 x7c1 + 368 x7c2 + 368 x7c3 + 368 x7c4 + 504 x7c5
+ 504 x7c6 + 368 x7c7 + 368 x7c8 + 368 x7c9 + 368 x7ca
+ 368 x7cb + 368 x7cc + 504 x7cd + 504 x7ce + 368 x7cf
+ 368 x7d0 + 368 x7d1 + 368 x7d2 + 504 x7d3 + 504 x7d4
+ 504 x7d5 + 504 x7d6 + 368 x7d7 + 368 x7d8 + 368 x7d9
+ 368 x7da + 368 x7db + 368 x7dc + 504 x7dd + 504 x7de
+ 368 x7df + 368 x7e0 + 368 x7e1 + 368 x7e2 + 368 x7e3
+ 368 x7e4 + 504 x7e5 + 504 x7e6 + 368 x7e7 + 368 x7e8
+ 368 x7e9 + 368 x7ea + 368 x7eb + 368 x7ec + 504 x7ed
+ 504 x7ee + 368 x7ef + 368 x7f0 + 368 x7f1 + 368 x7f2
+ 504 x7f3 + 504 x7f4 + 504 x7f5 + 504 x7f6 + 368 x7f7
+ 368 x7f8 + 368 x7f9 + 368 x7fa + 368 x84c + 368 x84d
+ 368 x84e + 368 x84f + 368 x850 + 368 x851 + 504 x852
+ 504 x853 + 368 x854 + 368 x855 + 368 x856 + 368 x857
+ 368 x858 + 368 x859 + 368 x85a + 368 x85b + 504 x85c
+ 504 x85d + 368 x85e + 368 x85f + 368 x860 + 368 x861
+ 368 x87c + 368 x87d + 368 x87e + 368 x87f + 368 x880
+ 368 x881 + 504 x882 + 504 x883 + 504 x884 + 504 x885
+ 368 x886 + 368 x887 + 368 x888 + 368 x889 + 368 x897
+ 368 x898 + 504 x899 + 504 x89a + 8 xa6e + 8 xa6f
+ 8 xa70 + 8 xa71 + 7 xa72 + 1694 xa73 + 8 xa74
+ 2334 xa75 + 8 xa76 + 2334 xa77 + 8 xa78 + 2334 xa79
+ 8 xa7a + 2334 xa7b + 7 xa7c + 1814 xa7d + 8 xa7e
+ 2198 xa7f + 8 xa80 + 2198 xa81 + 8 xa82 + 2334 xa83
+ 8 xa84 + 2334 xa85 + 8 xa86 + 2198 xa87 + 8 xa88
+ 2198 xa89 + 8 xa8a + 2334 xa8b + 8 xa8c + 2334 xa8d
+ 8 xa8e + 2062 xa8f + 8 xa90 + 2198 xa91 + 8 xa92
+ 2198 xa93 + 8 xa94 + 2198 xa95 + 8 xa96 + 2198 xa97
+ 8 xa98 + 2334 xa99 + 8 xa9a + 2334 xa9b + 8 xa9c
+ 2062 xa9d + 8 xa9e + 2198 xa9f + 8 xaa0 + 2198 xaa1
+ 8 xaa2 + 2198 xaa3 + 8 xaa4 + 2198 xaa5 + 8 xaa6
+ 2334 xaa7 + 8 xaa8 + 2334 xaa9 + 7 xaaa + 1814 xaab
+ 7 xaac + 1814 xaad + 7 xaae + 1950 xaaf + 7 xab0
+ 1950 xab1 + 7 xab2 + 1814 xab3 + 7 xab4 + 1950 xab5
+ 7 xab6 + 1950 xab7 + 7 xab8 + 1814 xab9 + 7 xaba
+ 1950 xabb + 7 xabc + 1950 xabd + 7 xabe + 2086 xabf
+ 7 xac0 + 2086 xac1 + 7 xac2 + 1814 xac3 + 7 xac4
+ 1950 xac5 + 7 xac6 + 1950 xac7 + 7 xac8 + 1814 xac9
+ 7 xaca + 1950 xacb + 7 xacc + 1950 xacd + 7 xace
+ 1814 xacf + 7 xad0 + 1950 xad1 + 7 xad2 + 1950 xad3
+ 7 xad4 + 2086 xad5 + 7 xad6 + 2086 xad7 + 7 xad8
+ 1814 xad9 + 7 xada + 1814 xadb + 7 xadc + 1814 xadd
+ 7 xade + 1950 xadf + 7 xae0 + 1950 xae1 + 7 xae2
+ 1814 xae3 + 7 xae4 + 1814 xae5 + 7 xae6 + 1950 xae7
+ 7 xae8 + 1950 xae9 + 7 xaea + 1814 xaeb + 7 xaec
+ 1950 xaed + 7 xaee + 2086 xaef + 7 xaf0 + 2086 xaf1
+ 7 xaf2 + 1814 xaf3 + 7 xaf4 + 1950 xaf5 + 2027 xfdc
+ 2107 xfde + 2163 xfe0 + 2163 xfe2 + 2027 xfe4 + 2107 xfe6
+ 2179 xfe8 + 2179 xfea + 2043 xfec + 2107 xfee + 2243 xff0
+ 2243 xff2 + 2107 xff4 + 2107 xff6 + 2107 xff8 + 2315 xffa
+ 2315 xffc + 2179 xffe + 2179 x1000 + 2043 x1002 + 2179 x1004
+ 2179 x1006 + 2043 x1008 + 2179 x100a + 2179 x100c + 2043 x100e
+ 2379 x1010 + 2379 x1012 + 2243 x1014 + 2243 x1016 + 2107 x1018
+ 2243 x101a + 2243 x101c + 2107 x101e + 2243 x1020 + 2243 x1022
+ 2107 x1024 + 2107 x1026 + 2562 x1028 + 2562 x102a + 2426 x102c
+ 2426 x102e + 2426 x1030 + 2426 x1032 + 2290 x1034 + 2626 x1036
+ 2626 x1038 + 2490 x103a + 2490 x103c + 2490 x103e + 2490 x1040
+ 2354 x1042 + 2562 x1044 + 2562 x1046 + 2426 x1048 + 2426 x104a
+ 2626 x104c + 2626 x104e + 2490 x1050 + 2490 x1052 + 1891 x1054
+ 2562 x1056 + 2562 x1058 + 2626 x105a + 2626 x105c + 1771 x105e
+ 2282 x1060 + 2362 x1062 + 1926 xb38 + 2126 xb39 + 2062 xb3a
+ 1926 xb3b + 2182 xb3c + 334 xb57 + 334 xb58 + 368 xb59
+ 368 xb5a + 504 xb5b + 504 xb5c + 368 xb5d + 368 xb5e
+ 368 xb5f + 368 xb60 + 320 xb63 + 320 xb61 + 320 xb64
+ 320 xb62 + 248 xb65 + 248 xb66 + 248 xb67 + 248 xb68
+ 248 xb69 + 248 xb6a + 248 xb6b + 248 xb6c + 248 xb6d
+ 248 xb6e + 248 xb6f + 248 xb70 + 248 xb71 + 248 xb72
+ 248 xb73 + 248 xb74 + 482 xb75 + 482 xb76 + 482 xb77
+ 482 xb78 + 482 xb79 + 482 xb7a + 1704 xb8f + 1704 xb90
+ 1688 xb91 + 1688 xb92 + 1688 xb93 + 1688 xb94 + 1688 xb95
+ 1688 xb96 + 1824 xb97 + 1824 xb98 + 1824 xb99 + 1824 xb9a
+ 1688 xb9b + 1688 xb9c + 1688 xb9d + 1688 xb9e + 1552 xb9f
+ 1552 xba0 + 1432 xba1 + 1432 xba2 + 248 xba9 + 248 xbaa
+ 248 xbab + 248 xbac + 504 xbb1 + 504 xbb2 + 504 xbb3
+ 504 xbb4 + 368 xbb5 + 368 xbb6 + 368 xbb7 + 368 xbb8
+ 504 xbc1 + 504 xbc2 + 368 xbc3 + 368 xbc4 + 368 xbc5
+ 368 xbc6 + 504 xbc7 + 504 xbc8 + 504 xbc9 + 504 xbca
+ 368 xbcb + 368 xbcc + 368 xbcd + 368 xbce + 616 xbd9
+ 616 xbda + 752 xbdb + 752 xbdc + 752 xbe1 + 616 xbdd
+ 616 xbde + 752 xbe2 + 616 xbdf + 616 xbe0 + 888 xbe7
+ 752 xbe3 + 752 xbe4 + 888 xbe8 + 752 xbe5 + 752 xbe6
+ 752 xbe9 + 752 xbea + 616 xbed + 616 xbee + 752 xbeb
+ 752 xbec + 616 xbef + 616 xbf0 + 8 xc53 + 2134 xc54
+ 8 xc55 + 8 xc56 + 7 xc57 + 1694 xc58 + 8 xc59
+ 2334 xc5a + 8 xc5b + 2334 xc5c + 8 xc5d + 2198 xc5e
+ 8 xc5f + 2198 xc60 + 8 xc61 + 2334 xc62 + 8 xc63
+ 2334 xc64 + 8 xc65 + 2062 xc66 + 8 xc67 + 2198 xc68
+ 8 xc69 + 2198 xc6a + 8 xc6b + 2334 xc6c + 8 xc6d
+ 2334 xc6e + 2410 x1064 + 2410 x1066 + 2274 x1068 + 2274 x106a
+ 2138 x106c + 2410 x106e + 2410 x1070 + 2274 x1072 + 2274 x1074
+ 2410 x1076 + 2410 x1078 + 2266 x107a + 1926 xc7d + 2126 xc7e
+ 248 xc9e + 248 xc9f + 248 xca0 + 248 xca1 + 368 xca2
+ 368 xca3 + 368 xca4 + 368 xca5 + 504 xca6 + 504 xca7
+ 368 xca8 + 368 xca9 + 368 xcaa + 368 xcab + 504 xcac
+ 504 xcad + 504 xcae + 504 xcaf + 368 xcb0 + 368 xcb1
+ 368 xcb2 + 368 xcb3 + 504 xcb4 + 504 xcb5 + 368 xcb6
+ 368 xcb7 + 368 xcb8 + 368 xcb9 + 368 xcba + 368 xcbb
+ 504 xcbc + 504 xcbd + 368 xcbe + 368 xcbf + 368 xcc0
+ 368 xcc1 + 368 xcc2 + 368 xcc3 + 1824 xce0 + 1824 xce1
+ 1824 xce2 + 1824 xce3 + 1688 xce4 + 1688 xce5 + 1688 xce6
+ 1688 xce7 + 1552 xce8 + 1552 xce9 + 1688 xcea + 1688 xceb
+ 1688 xcec + 1688 xced + 1688 xcee + 1688 xcef + 1688 xcf0
+ 1688 xcf1 + 1824 xcf2 + 1824 xcf3 + 1824 xcf4 + 1824 xcf5
+ 1688 xcf6 + 1688 xcf7 + 1688 xcf8 + 1688 xcf9 + 1552 xcfa
+ 1552 xcfb + 8 xd08 + 2134 xd09 + 8 xd0a + 8 xd0b
+ 7 xd0c + 1694 xd0d + 1926 xd12 + 2126 xd13 + 504 xd35
+ 504 xd36 + 504 xd37 + 504 xd38 + 368 xd39 + 368 xd3a
+ 368 xd3b + 368 xd3c + 504 xd3d + 504 xd3e + 368 xd3f
+ 368 xd40 + 368 xd41 + 368 xd42 + 368 xd43 + 368 xd44
+ 504 xd45 + 504 xd46 + 1688 xd59 + 1688 xd5a + 1688 xd5b
+ 1688 xd5c + 1824 xd5d + 1824 xd5e + 1824 xd5f + 1824 xd60
+ 1552 xd61 + 1552 xd62 + 1688 xd63 + 1688 xd64 + 1688 xd65
+ 1688 xd66 + 1552 xd67 + 1552 xd68 + 1552 xd69 + 1552 xd6a
+ 8 xd73 + 2134 xd74 + 8 xd75 + 8 xd76 + 1926 xd79
+ 2126 xd7a + 504 xd92 + 504 xd93 + 368 xd96 + 368 xd94
+ 368 xd97 + 368 xd95 + 368 xd98 + 368 xd99 + 504 xd9a
+ 504 xd9b + 368 xd9c + 368 xd9d + 368 xd9e + 368 xd9f
+ 368 xda0 + 368 xda1 + 368 xda2 + 368 xda3 + 1552 xdb4
+ 1552 xdb5 + 1688 xdb6 + 1688 xdb7 + 1688 xdb8 + 1688 xdb9
+ 1688 xdba + 1688 xdbb + 1824 xdbc + 1824 xdbd + 1824 xdbe
+ 1824 xdbf + 1552 xdc0 + 1552 xdc1 + 1552 xdc2 + 1552 xdc3
+ 8 xdcc + 2134 xdcd + 8 xdce + 8 xdcf + 1926 xdd2
+ 2126 xdd3 + 368 xde9 + 368 xdea + 504 xdeb + 504 xdec
+ 368 xdef + 368 xded + 368 xdf0 + 368 xdee + 368 xdf1
+ 368 xdf2 + 368 xdf3 + 368 xdf4 + 1552 xdff + 1552 xe00
+ 1552 xe01 + 1552 xe02 + 1688 xe03 + 1688 xe04 + 1688 xe05
+ 1688 xe06 + 1688 xe07 + 1688 xe08 + 8 xe0d + 2134 xe0e
+ 368 xe1d + 368 xe1e + 368 xe1f + 368 xe20 + 504 xe21
+ 504 xe22 + 368 xe23 + 368 xe24 + 368 xe25 + 368 xe26
+ 368 xe27 + 368 xe28 + 368 xe29 + 368 xe2a + 1552 xe39
+ 1552 xe3a + 1552 xe3b + 1552 xe3c + 1552 xe3d + 1552 xe3e
+ 1824 xe3f + 1824 xe40 + 1824 xe41 + 1824 xe42 + 1688 xe43
+ 1688 xe44 + 1688 xe45 + 1688 xe46 + 248 xe4b + 248 xe4c
+ 248 xe4d + 248 xe4e + 504 xe53 + 504 xe54 + 368 xe55
+ 368 xe56 + 368 xe57 + 368 xe58 + 368 xe5f + 368 xe60
+ 8 xe7f + 1998 xe80 + 8 xe81 + 2134 xe82 + 8 xe83
+ 2198 xe84 + 8 xe85 + 2198 xe86 + 8 xe87 + 2062 xe88
+ 2138 x107c + 2274 x107e + 2274 x1080 + 2130 x1082 + 368 xe9f
+ 368 xea0 + 368 xea1 + 368 xea2 + 368 xea3 + 368 xea4
+ 504 xea7 + 504 xea5 + 504 xea8 + 504 xea6 + 368 xea9
+ 368 xeaa + 368 xeab + 368 xeac + 504 xead + 504 xeae
+ 1688 xebd + 1688 xebe + 1688 xebf + 1688 xec0 + 1688 xec1
+ 1688 xec2 + 1688 xec3 + 1688 xec4 + 1824 xec5 + 1824 xec6
+ 1824 xec7 + 1824 xec8 + 1688 xec9 + 1688 xeca + 8 xecf
+ 1998 xed0 + 368 xee3 + 368 xee4 + 368 xee5 + 368 xee6
+ 368 xee7 + 368 xee8 + 368 xee9 + 368 xeea + 368 xeeb
+ 368 xeec + 368 xeed + 368 xeee + 504 xeef + 504 xef0
+ 368 xef1 + 368 xef2 + 368 xef3 + 368 xef4 + 1824 xf07
+ 1824 xf08 + 1824 xf09 + 1824 xf0a + 1688 xf0b + 1688 xf0c
+ 1688 xf0d + 1688 xf0e + 1688 xf0f + 1688 xf10 + 1688 xf11
+ 1688 xf12 + 1552 xf13 + 1552 xf14 + 1688 xf15 + 1688 xf16
+ 1688 xf17 + 1688 xf18 + 248 xf1d + 248 xf1e + 368 xf21
+ 368 xf22 + 8 xf31 + 1862 xf32 + 8 xf33 + 1998 xf34
+ 8 xf35 + 2062 xf36 + 2138 x1084 + 1994 x1086 + 504 xf51
+ 504 xf4f + 504 xf52 + 504 xf50 + 368 xf53 + 368 xf54
+ 368 xf55 + 368 xf56 + 504 xf57 + 504 xf58 + 504 xf59
+ 504 xf5a + 368 xf5b + 368 xf5c + 504 xf5d + 504 xf5e
+ 1688 xf6b + 1688 xf6c + 1824 xf6d + 1824 xf6e + 1824 xf6f
+ 1824 xf70 + 1688 xf71 + 1688 xf72 + 1552 xf73 + 1552 xf74
+ 1552 xf75 + 1552 xf76 + 8 xf7f + 1862 xf80 + 8 xf81
+ 1998 xf82 + 504 xf95 + 504 xf96 + 368 xf99 + 368 xf97
+ 368 xf9a + 368 xf98 + 368 xf9b + 368 xf9c + 368 xf9d
+ 368 xf9e + 1552 xfa7 + 1552 xfa8 + 1688 xfa9 + 1688 xfaa
+ 1688 xfab + 1688 xfac + 1552 xfad + 1552 xfae + 8 xfb7
+ 1862 xfb8 + 8 xfb9 + 1998 xfba + 368 xfca + 368 xfcb
+ 1552 xfce + 1552 xfcf + 8 xfd4 + 1862 xfd5 + 6 x13a0
+ 166 x13a5 + 148 x13a6 + 1361 x13aa + 1361 x13ab + 28 x13b4
+ 28 x13b5 + 375 x13b8 + 375 x13b9 + 368 x13bc + 368 x13bd
+ 368 x13be + 368 x13bf + 504 x13c6 + 504 x13c7 + 504 x13c8
+ 504 x13c9 + 368 x13ca + 368 x13cb + 368 x13cc + 368 x13cd
+ 504 x13d8 + 504 x13d9 + 368 x13da + 368 x13db + 368 x13dc
+ 368 x13dd + 368 x13e4 + 368 x13e5 + 504 x13e6 + 504 x13e7
+ 368 x13e8 + 368 x13e9 + 368 x13ea + 368 x13eb + 368 x13f4
+ 368 x13f5 + 368 x13f6 + 368 x13f7 + 504 x13f8 + 504 x13f9
+ 368 x13fa + 368 x13fb + 368 x13fc + 368 x13fd + 368 x1408
+ 368 x1409 + 368 x140a + 368 x140b + 368 x140c + 368 x140d
+ 504 x140e + 504 x140f + 368 x1410 + 368 x1411 + 368 x1412
+ 368 x1413 + 368 x1420 + 368 x1421 + 368 x1422 + 368 x1423
+ 368 x1424 + 368 x1425 + 368 x1426 + 368 x1427 + 368 x1428
+ 368 x1429 + 368 x142a + 368 x142b + 368 x142c + 368 x142d
+ 368 x142e + 368 x142f + 504 x1430 + 504 x1431 + 504 x1432
+ 504 x1433 + 368 x1434 + 368 x1435 + 368 x1436 + 368 x1437
+ 504 x1458 + 504 x1456 + 504 x1459 + 504 x1457 + 368 x145a
+ 368 x145b + 368 x145c + 368 x145d + 504 x145e + 504 x145f
+ 504 x1460 + 504 x1461 + 504 x1462 + 504 x1463 + 504 x1464
+ 504 x1465 + 504 x1476 + 504 x1477 + 368 x147a + 368 x1478
+ 368 x147b + 368 x1479 + 368 x147c + 368 x147d + 368 x147e
+ 368 x147f + 368 x1480 + 368 x1481 + 368 x1490 + 368 x1491
+ 946 x1585 + 1141 x1586 + 2416 x1587 + 2086 x1588 + 2416 x1589
+ 2086 x158a + 2280 x158b + 1950 x158c + 2280 x158d + 1950 x158e
+ 2144 x158f + 1814 x1590 + 2280 x1591 + 1950 x1592 + 2280 x1593
+ 1950 x1594 + 2144 x1595 + 1814 x1596 + 2144 x1597 + 1814 x1598
+ 2280 x1599 + 1950 x159a + 2280 x159b + 1950 x159c + 2144 x159d
+ 1814 x159e + 2144 x159f + 1814 x15a0 + 2144 x15a1 + 1814 x15a2
+ 2280 x15a3 + 1950 x15a4 + 2280 x15a5 + 1950 x15a6 + 1956 x15a7
+ 1950 x15a8 + 1956 x15a9 + 1950 x15aa + 1956 x15ab + 1950 x15ac
+ 1956 x15ad + 1950 x15ae + 2092 x15af + 2086 x15b0 + 2092 x15b1
+ 2086 x15b2 + 2280 x15b3 + 2086 x15b4 + 2280 x15b5 + 2086 x15b6
+ 1956 x15b7 + 1950 x15b8 + 1956 x15b9 + 1950 x15ba + 1956 x15bb
+ 1950 x15bc + 1956 x15bd + 1950 x15be + 2144 x15bf + 1950 x15c0
+ 2144 x15c1 + 1950 x15c2 + 1820 x15c3 + 1814 x15c4 + 1820 x15c5
+ 1814 x15c6 + 1820 x15c7 + 1814 x15c8 + 2008 x15c9 + 1814 x15ca
+ 5 x15f6 + 5 x15f7 + 482 x15f8 + 482 x15f9 + 482 x15fa
+ 482 x15fb + 482 x15fc + 482 x15fd + 838 x1602 + 838 x1603
+ 1432 x1604 + 1432 x1605 + 248 x160a + 248 x160b + 248 x160c
+ 248 x160d + 248 x160e + 248 x160f + 504 x1616 + 504 x1617
+ 504 x1618 + 504 x1619 + 368 x161a + 368 x161b + 368 x161c
+ 368 x161d + 368 x161e + 368 x161f + 504 x162f + 504 x1630
+ 368 x1631 + 368 x1632 + 368 x1633 + 368 x1634 + 504 x1635
+ 504 x1636 + 504 x1637 + 504 x1638 + 368 x1639 + 368 x163a
+ 368 x163b + 368 x163c + 368 x1653 + 368 x1654 + 504 x1655
+ 504 x1656 + 368 x1657 + 368 x1658 + 368 x1659 + 368 x165a
+ 504 x165b + 504 x165c + 368 x165d + 368 x165e + 368 x165f
+ 368 x1660 + 504 x1661 + 504 x1662 + 504 x1663 + 504 x1664
+ 368 x1665 + 368 x1666 + 368 x1667 + 368 x1668 + 368 x168b
+ 368 x168c + 504 x168d + 504 x168e + 368 x168f + 368 x1690
+ 368 x1691 + 368 x1692 + 368 x1693 + 368 x1694 + 504 x1695
+ 504 x1696 + 368 x1697 + 368 x1698 + 368 x1699 + 368 x169a
+ 504 x169b + 504 x169c + 368 x169d + 368 x169e + 368 x169f
+ 368 x16a0 + 504 x16a1 + 504 x16a2 + 504 x16a3 + 504 x16a4
+ 368 x16a5 + 368 x16a6 + 368 x16a7 + 368 x16a8 + 368 x16cd
+ 368 x16ce + 504 x16cf + 504 x16d0 + 368 x16d1 + 368 x16d2
+ 368 x16d3 + 368 x16d4 + 368 x16db + 368 x16dc + 368 x16dd
+ 368 x16de + 504 x16df + 504 x16e0 + 504 x16e1 + 504 x16e2
+ 368 x16e3 + 368 x16e4 + 368 x16e5 + 368 x16e6 + 504 x16f2
+ 504 x16f3 + 7 x1779 + 1966 x177a + 7 x177b + 1694 x177c
+ 7 x177d + 2086 x177e + 7 x177f + 2086 x1780 + 7 x1781
+ 1814 x1782 + 7 x1783 + 1950 x1784 + 7 x1785 + 1950 x1786
+ 7 x1787 + 1814 x1788 + 7 x1789 + 1950 x178a + 7 x178b
+ 1950 x178c + 7 x178d + 1814 x178e + 7 x178f + 1950 x1790
+ 7 x1791 + 1950 x1792 + 7 x1793 + 1814 x1794 + 7 x1795
+ 1950 x1796 + 7 x1797 + 1950 x1798 + 7 x1799 + 1950 x179a
+ 7 x179b + 2086 x179c + 7 x179d + 2086 x179e + 7 x179f
+ 1950 x17a0 + 2137 x1a36 + 2273 x1a38 + 2273 x1a3a + 2137 x1a3c
+ 1949 x1a3e + 1949 x1a40 + 1813 x1a42 + 1949 x1a44 + 1949 x1a46
+ 1813 x1a48 + 1949 x1a4a + 1949 x1a4c + 1813 x1a4e + 1949 x1a50
+ 1949 x1a52 + 2001 x1a54 + 2085 x1a56 + 2085 x1a58 + 1881 x1a5a
+ 398 x17bd + 398 x17be + 248 x17bf + 248 x17c0 + 482 x17c1
+ 482 x17c2 + 482 x17c3 + 482 x17c4 + 1688 x17cb + 1688 x17cc
+ 1552 x17cd + 1552 x17ce + 1432 x17cf + 1432 x17d0 + 248 x17d6
+ 248 x17d7 + 248 x17d8 + 248 x17d9 + 7 x17e4 + 1966 x17e5
+ 7 x17e6 + 1694 x17e7 + 1965 x1a5c + 368 x17f6 + 368 x17f7
+ 368 x17f8 + 368 x17f9 + 368 x17fa + 368 x17fb + 1688 x1802
+ 1688 x1803 + 1688 x1804 + 1688 x1805 + 1552 x1806 + 1552 x1807
+ 7 x1810 + 1966 x1811 + 7 x1812 + 1694 x1813 + 504 x1822
+ 504 x1823 + 368 x1824 + 368 x1825 + 368 x1826 + 368 x1827
+ 368 x1828 + 368 x1829 + 1688 x1832 + 1688 x1833 + 1824 x1834
+ 1824 x1835 + 1824 x1836 + 1824 x1837 + 1552 x1838 + 1552 x1839
+ 248 x183e + 248 x183f + 248 x1840 + 248 x1841 + 7 x184c
+ 1966 x184d + 7 x184e + 1694 x184f + 2153 x1a5e + 368 x185d
+ 368 x185e + 368 x185f + 368 x1860 + 504 x1861 + 504 x1862
+ 504 x1863 + 504 x1864 + 368 x1865 + 368 x1866 + 368 x1867
+ 368 x1868 + 1688 x1875 + 1688 x1876 + 1688 x1877 + 1688 x1878
+ 1688 x1879 + 1688 x187a + 1688 x187b + 1688 x187c + 1824 x187d
+ 1824 x187e + 1824 x187f + 1824 x1880 + 7 x1885 + 1966 x1886
+ 504 x1897 + 504 x1898 + 368 x1899 + 368 x189a + 368 x189b
+ 368 x189c + 504 x189d + 504 x189e + 1552 x18a7 + 1552 x18a8
+ 1688 x18a9 + 1688 x18aa + 1688 x18ab + 1688 x18ac + 1552 x18ad
+ 1552 x18ae + 7 x18b3 + 1966 x18b4 + 368 x18c1 + 368 x18c2
+ 504 x18c3 + 504 x18c4 + 368 x18c5 + 368 x18c6 + 368 x18c7
+ 368 x18c8 + 368 x18c9 + 368 x18ca + 1552 x18d5 + 1552 x18d6
+ 1552 x18d7 + 1552 x18d8 + 1688 x18d9 + 1688 x18da + 1688 x18db
+ 1688 x18dc + 1552 x18dd + 1552 x18de + 7 x18e3 + 1966 x18e4
+ 368 x18f3 + 368 x18f4 + 368 x18f5 + 368 x18f6 + 504 x18f7
+ 504 x18f8 + 368 x18f9 + 368 x18fa + 368 x18fb + 368 x18fc
+ 368 x18fd + 368 x18fe + 1688 x190b + 1688 x190c + 1688 x190d
+ 1688 x190e + 1688 x190f + 1688 x1910 + 1824 x1911 + 1824 x1912
+ 1824 x1913 + 1824 x1914 + 1552 x1915 + 1552 x1916 + 248 x191b
+ 248 x191c + 248 x191d + 248 x191e + 7 x1929 + 1830 x192a
+ 7 x192b + 1966 x192c + 2017 x1a60 + 368 x1940 + 368 x193e
+ 368 x1941 + 368 x193f + 368 x1942 + 368 x1943 + 368 x1944
+ 368 x1945 + 368 x1946 + 368 x1947 + 368 x1948 + 368 x1949
+ 504 x194a + 504 x194b + 504 x194c + 504 x194d + 368 x194e
+ 368 x194f + 368 x1950 + 368 x1951 + 368 x1952 + 368 x1953
+ 1688 x1968 + 1688 x1969 + 1688 x196a + 1688 x196b + 1688 x196c
+ 1688 x196d + 1688 x196e + 1688 x196f + 1688 x1970 + 1688 x1971
+ 1688 x1972 + 1688 x1973 + 1688 x1974 + 1688 x1975 + 1824 x1976
+ 1824 x1977 + 1824 x1978 + 1824 x1979 + 1688 x197a + 1688 x197b
+ 7 x1980 + 1830 x1981 + 504 x199a + 504 x199b + 504 x199c
+ 504 x199d + 504 x199e + 504 x199f + 504 x19a0 + 504 x19a1
+ 368 x19a2 + 368 x19a3 + 368 x19a4 + 368 x19a5 + 1688 x19b2
+ 1688 x19b3 + 1552 x19b4 + 1552 x19b5 + 1552 x19b6 + 1552 x19b7
+ 1552 x19b8 + 1552 x19b9 + 1824 x19ba + 1824 x19bb + 1824 x19bc
+ 1824 x19bd + 7 x19c6 + 1830 x19c7 + 7 x19c8 + 1694 x19c9
+ 368 x19de + 368 x19dc + 368 x19df + 368 x19dd + 368 x19e0
+ 368 x19e1 + 368 x19e2 + 368 x19e3 + 368 x19e4 + 368 x19e5
+ 504 x19e8 + 504 x19e6 + 504 x19e9 + 504 x19e7 + 368 x19ea
+ 368 x19eb + 368 x19ec + 368 x19ed + 1552 x19fa + 1552 x19fb
+ 1552 x19fc + 1552 x19fd + 1688 x19fe + 1688 x19ff + 1688 x1a00
+ 1688 x1a01 + 1824 x1a02 + 1824 x1a03 + 1824 x1a04 + 1824 x1a05
+ 7 x1a0e + 1830 x1a0f + 7 x1a10 + 1694 x1a11 + 504 x1a24
+ 504 x1a25 + 1552 x1a28 + 1552 x1a29 + 7 x1a2e + 1694 x1a2f
+ 6 x1b4f + 6 x1b51 + 152 x1b5e + 2304 x1b5f + 143 x1b60
+ 143 x1b61 + 196 x1b62 + 196 x1b63 + 2772 x1c15 + 2772 x1c16
+ 2772 x1c17 + 2724 x1c18 + 2724 x1c19 + 2724 x1c1a + 2128 x1b64
+ 454 x1b6e + 454 x1b6f + 1552 x1b72 + 1552 x1b73 + 368 x1b76
+ 368 x1b77 + 368 x1b7a + 368 x1b7b + 7 x1b88 + 7 x1b89
+ 7 x1b8a + 7 x1b8b + 4681 x1be9 + 1991 x1b8c + 368 x1b91
+ 368 x1b92 + 794 x1b93 + 794 x1b94 + 1552 x1b97 + 1552 x1b98
+ 368 x1b9b + 368 x1b9c + 368 x1b9f + 368 x1ba0 + 7 x1bad
+ 7 x1bae + 7 x1baf + 7 x1bb0 + 4681 x1be4 + 1991 x1bb1
+ 368 x1bb8 + 368 x1bb9 + 368 x1bba + 368 x1bbb + 794 x1bbc
+ 794 x1bbd + 1552 x1bc0 + 1552 x1bc1 + 7 x1bc6 + 1998 x1bc7
+ 368 x1bd2 + 368 x1bd3 + 1552 x1bd6 + 1552 x1bd7 + 7 x1bdc
+ 1998 x1bdd + 6 x1bef + 316 x1bf4 + 2444 x1bf5 + 2772 x1c1b
+ 2772 x1c1c + 2772 x1c1d + 454 x1bfc + 454 x1bfd + 1552 x1c00
+ 1552 x1c01 + 4694 x1c06 + 1998 x1c07 + 8 x1c20 + 8 x1c22
+ 8 x1c24 + 316 x1c2d + 2444 x1c2e + 2772 x1e81 + 2772 x1e82
+ 2772 x1e83 + 454 x1c35 + 454 x1c36 + 1552 x1c39 + 1552 x1c3a
+ 368 x1c3d + 368 x1c3e + 368 x1c41 + 368 x1c42 + 7 x1c4f
+ 7 x1c50 + 7 x1c51 + 7 x1c52 + 4681 x1cb0 + 1991 x1c53
+ 368 x1c58 + 368 x1c59 + 794 x1c5a + 794 x1c5b + 1552 x1c5e
+ 1552 x1c5f + 368 x1c62 + 368 x1c63 + 368 x1c66 + 368 x1c67
+ 7 x1c74 + 7 x1c75 + 7 x1c76 + 7 x1c77 + 4681 x1cab
+ 1991 x1c78 + 368 x1c7f + 368 x1c80 + 368 x1c81 + 368 x1c82
+ 794 x1c83 + 794 x1c84 + 1552 x1c87 + 1552 x1c88 + 7 x1c8d
+ 1998 x1c8e + 368 x1c99 + 368 x1c9a + 1552 x1c9d + 1552 x1c9e
+ 7 x1ca3 + 1998 x1ca4 + 6 x1cb6 + 316 x1cbb + 2444 x1cbc
+ 2772 x1d48 + 2772 x1d49 + 2772 x1d4a + 454 x1cc3 + 454 x1cc4
+ 1552 x1cc7 + 1552 x1cc8 + 368 x1ccb + 368 x1ccc + 368 x1ccf
+ 368 x1cd0 + 7 x1cdd + 7 x1cde + 7 x1cdf + 7 x1ce0
+ 4681 x1d3e + 1991 x1ce1 + 368 x1ce6 + 368 x1ce7 + 794 x1ce8
+ 794 x1ce9 + 1552 x1cec + 1552 x1ced + 368 x1cf0 + 368 x1cf1
+ 368 x1cf4 + 368 x1cf5 + 7 x1d02 + 7 x1d03 + 7 x1d04
+ 7 x1d05 + 4681 x1d39 + 1991 x1d06 + 368 x1d0d + 368 x1d0e
+ 368 x1d0f + 368 x1d10 + 794 x1d11 + 794 x1d12 + 1552 x1d15
+ 1552 x1d16 + 7 x1d1b + 1998 x1d1c + 368 x1d27 + 368 x1d28
+ 1552 x1d2b + 1552 x1d2c + 7 x1d31 + 1998 x1d32 + 6 x1d44
+ 8 x1d4d + 8 x1d4f + 8 x1d51 + 316 x1d5a + 2444 x1d5b
+ 2772 x1e0f + 2772 x1e10 + 2772 x1e11 + 454 x1d62 + 454 x1d63
+ 1552 x1d66 + 1552 x1d67 + 368 x1d6a + 368 x1d6b + 368 x1d6e
+ 368 x1d6f + 7 x1d7c + 7 x1d7d + 7 x1d7e + 7 x1d7f
+ 4681 x1ddd + 1991 x1d80 + 368 x1d85 + 368 x1d86 + 794 x1d87
+ 794 x1d88 + 1552 x1d8b + 1552 x1d8c + 368 x1d8f + 368 x1d90
+ 368 x1d93 + 368 x1d94 + 7 x1da1 + 7 x1da2 + 7 x1da3
+ 7 x1da4 + 4681 x1dd8 + 1991 x1da5 + 368 x1dac + 368 x1dad
+ 368 x1dae + 368 x1daf + 794 x1db0 + 794 x1db1 + 1552 x1db4
+ 1552 x1db5 + 7 x1dba + 1998 x1dbb + 368 x1dc6 + 368 x1dc7
+ 1552 x1dca + 1552 x1dcb + 7 x1dd0 + 1998 x1dd1 + 6 x1de3
+ 316 x1ded + 2444 x1dee + 454 x1df6 + 454 x1df7 + 1552 x1dfa
+ 1552 x1dfb + 4694 x1e00 + 1998 x1e01 + 812 x1e14 + 2240 x1e23
+ 2240 x1e24 + 2240 x1e25 + 316 x1e2a + 2444 x1e2b + 2772 x1e4b
+ 2772 x1e4c + 2772 x1e4d + 454 x1e32 + 454 x1e33 + 1552 x1e36
+ 1552 x1e37 + 4694 x1e3c + 1998 x1e3d + 316 x1e57 + 2444 x1e58
+ 2772 x1e77 + 2772 x1e78 + 2772 x1e79 + 454 x1e5f + 454 x1e60
+ 1552 x1e63 + 1552 x1e64 + 4694 x1e69 + 1998 x1e6a + 2240 x1e84
+ 2240 x1e85 + 2240 x1e86 + 532 x1e89 + 2240 x1e93 + 2240 x1e94
+ 2240 x1e95 + 316 x1e9a + 2444 x1e9b + 2772 x1eeb + 2772 x1eec
+ 2772 x1eed + 454 x1ea2 + 454 x1ea3 + 1552 x1ea6 + 1552 x1ea7
+ 4694 x1eac + 1998 x1ead + 316 x1ec1 + 2444 x1ec2 + 2772 x1ee2
+ 2772 x1ee3 + 2772 x1ee4 + 454 x1ec9 + 454 x1eca + 1552 x1ecd
+ 1552 x1ece + 4694 x1ed3 + 1998 x1ed4 + 2240 x1eee + 2240 x1eef
+ 2240 x1ef0 + 316 x1efa + 2444 x1efb + 2772 x1f1b + 2772 x1f1c
+ 2772 x1f1d + 454 x1f02 + 454 x1f03 + 1552 x1f06 + 1552 x1f07
+ 4694 x1f0c + 1998 x1f0d + 740 x1f30 + 388 x1f31 + 496 x1f32
+ 144 x1f33 + 2 x1f34 + 1361 x1f37 + 1361 x1f38 + 339 x1f41
+ 339 x1f42 + 248 x1f45 + 248 x1f46 + 248 x1f47 + 248 x1f48
+ 504 x1f4d + 504 x1f4e + 504 x1f4f + 504 x1f50 + 368 x1f51
+ 368 x1f52 + 368 x1f53 + 368 x1f54 + 504 x1f5f + 504 x1f60
+ 368 x1f61 + 368 x1f62 + 368 x1f63 + 368 x1f64 + 368 x1f6b
+ 368 x1f6c + 504 x1f6d + 504 x1f6e + 368 x1f6f + 368 x1f70
+ 368 x1f71 + 368 x1f72 + 368 x1f7b + 368 x1f7c + 368 x1f7d
+ 368 x1f7e + 504 x1f7f + 504 x1f80 + 368 x1f81 + 368 x1f82
+ 368 x1f83 + 368 x1f84 + 368 x1f8f + 368 x1f90 + 368 x1f91
+ 368 x1f92 + 368 x1f93 + 368 x1f94 + 504 x1f95 + 504 x1f96
+ 368 x1f97 + 368 x1f98 + 368 x1f99 + 368 x1f9a + 368 x1fa7
+ 368 x1fa8 + 368 x1fa9 + 368 x1faa + 368 x1fab + 368 x1fac
+ 368 x1fad + 368 x1fae + 368 x1faf + 368 x1fb0 + 368 x1fb1
+ 368 x1fb2 + 368 x1fb3 + 368 x1fb4 + 368 x1fb5 + 368 x1fb6
+ 504 x1fb7 + 504 x1fb8 + 504 x1fb9 + 504 x1fba + 368 x1fbb
+ 368 x1fbc + 368 x1fbd + 368 x1fbe + 504 x1fdf + 504 x1fdd
+ 504 x1fe0 + 504 x1fde + 368 x1fe1 + 368 x1fe2 + 368 x1fe3
+ 368 x1fe4 + 504 x1fe5 + 504 x1fe6 + 504 x1fe7 + 504 x1fe8
+ 504 x1fe9 + 504 x1fea + 504 x1feb + 504 x1fec + 504 x1ffd
+ 504 x1ffe + 368 x2001 + 368 x1fff + 368 x2002 + 368 x2000
+ 368 x2003 + 368 x2004 + 368 x2005 + 368 x2006 + 368 x2007
+ 368 x2008 + 368 x2017 + 368 x2018 + 2296 x210c + 1966 x210d
+ 2416 x210e + 2086 x210f + 2416 x2110 + 2086 x2111 + 2280 x2112
+ 1950 x2113 + 2280 x2114 + 1950 x2115 + 2144 x2116 + 1814 x2117
+ 2280 x2118 + 1950 x2119 + 2280 x211a + 1950 x211b + 2144 x211c
+ 1814 x211d + 2144 x211e + 1814 x211f + 2280 x2120 + 1950 x2121
+ 2280 x2122 + 1950 x2123 + 2144 x2124 + 1814 x2125 + 2144 x2126
+ 1814 x2127 + 2144 x2128 + 1814 x2129 + 2280 x212a + 1950 x212b
+ 2280 x212c + 1950 x212d + 1956 x212e + 1950 x212f + 1956 x2130
+ 1950 x2131 + 1956 x2132 + 1950 x2133 + 1956 x2134 + 1950 x2135
+ 2092 x2136 + 2086 x2137 + 2092 x2138 + 2086 x2139 + 2280 x213a
+ 2086 x213b + 2280 x213c + 2086 x213d + 1956 x213e + 1950 x213f
+ 1956 x2140 + 1950 x2141 + 1956 x2142 + 1950 x2143 + 1956 x2144
+ 1950 x2145 + 2144 x2146 + 1950 x2147 + 2144 x2148 + 1950 x2149
+ 1820 x214a + 1814 x214b + 1820 x214c + 1814 x214d + 1820 x214e
+ 1814 x214f + 2008 x2150 + 1814 x2151 + 5 x217d + 5 x217e
+ 482 x217f + 482 x2180 + 482 x2181 + 482 x2182 + 482 x2183
+ 482 x2184 + 838 x2189 + 838 x218a + 1432 x218b + 1432 x218c
+ 248 x2191 + 248 x2192 + 248 x2193 + 248 x2194 + 248 x2195
+ 248 x2196 + 504 x219d + 504 x219e + 504 x219f + 504 x21a0
+ 368 x21a1 + 368 x21a2 + 368 x21a3 + 368 x21a4 + 368 x21a5
+ 368 x21a6 + 504 x21b4 + 504 x21b5 + 368 x21b6 + 368 x21b7
+ 368 x21b8 + 368 x21b9 + 368 x21c0 + 368 x21c1 + 504 x21c2
+ 504 x21c3 + 368 x21c4 + 368 x21c5 + 368 x21c6 + 368 x21c7
+ 368 x21ce + 368 x21cf + 504 x21d0 + 504 x21d1 + 368 x21d2
+ 368 x21d3 + 368 x21d4 + 368 x21d5 + 368 x21dc + 368 x21dd
+ 504 x21de + 504 x21df + 368 x21e0 + 368 x21e1 + 368 x21e2
+ 368 x21e3 + 368 x21ea + 368 x21eb + 368 x21ec + 368 x21ed
+ 504 x21ee + 504 x21ef + 504 x21f0 + 504 x21f1 + 368 x21f2
+ 368 x21f3 + 368 x21f4 + 368 x21f5 + 504 x2201 + 504 x2202
+ 7 x2288 + 1966 x2289 + 7 x228a + 1694 x228b + 7 x228c
+ 2086 x228d + 7 x228e + 2086 x228f + 7 x2290 + 1814 x2291
+ 7 x2292 + 1950 x2293 + 7 x2294 + 1950 x2295 + 7 x2296
+ 1814 x2297 + 7 x2298 + 1950 x2299 + 7 x229a + 1950 x229b
+ 7 x229c + 1814 x229d + 7 x229e + 1950 x229f + 7 x22a0
+ 1950 x22a1 + 7 x22a2 + 1814 x22a3 + 7 x22a4 + 1950 x22a5
+ 7 x22a6 + 1950 x22a7 + 7 x22a8 + 1950 x22a9 + 7 x22aa
+ 2086 x22ab + 7 x22ac + 2086 x22ad + 7 x22ae + 1950 x22af
+ 2137 x253a + 2273 x253c + 2273 x253e + 2137 x2540 + 1949 x2542
+ 1949 x2544 + 1813 x2546 + 1949 x2548 + 1949 x254a + 1813 x254c
+ 1949 x254e + 1949 x2550 + 1813 x2552 + 1949 x2554 + 1949 x2556
+ 2001 x2558 + 2085 x255a + 2085 x255c + 1881 x255e + 1965 x2560
+ 398 x22cc + 398 x22cd + 248 x22ce + 248 x22cf + 482 x22d0
+ 482 x22d1 + 482 x22d2 + 482 x22d3 + 1688 x22da + 1688 x22db
+ 1552 x22dc + 1552 x22dd + 1432 x22de + 1432 x22df + 7 x22e8
+ 1966 x22e9 + 7 x22ea + 1694 x22eb + 368 x22fa + 368 x22fb
+ 368 x22fc + 368 x22fd + 368 x22fe + 368 x22ff + 1688 x2306
+ 1688 x2307 + 1688 x2308 + 1688 x2309 + 1552 x230a + 1552 x230b
+ 7 x2314 + 1966 x2315 + 7 x2316 + 1694 x2317 + 504 x2326
+ 504 x2327 + 368 x2328 + 368 x2329 + 368 x232a + 368 x232b
+ 368 x232c + 368 x232d + 1688 x2336 + 1688 x2337 + 1824 x2338
+ 1824 x2339 + 1824 x233a + 1824 x233b + 1552 x233c + 1552 x233d
+ 248 x2342 + 248 x2343 + 248 x2344 + 248 x2345 + 7 x2350
+ 1966 x2351 + 7 x2352 + 1694 x2353 + 2153 x2562 + 368 x2361
+ 368 x2362 + 368 x2363 + 368 x2364 + 504 x2365 + 504 x2366
+ 504 x2367 + 504 x2368 + 368 x2369 + 368 x236a + 368 x236b
+ 368 x236c + 1688 x2379 + 1688 x237a + 1688 x237b + 1688 x237c
+ 1688 x237d + 1688 x237e + 1688 x237f + 1688 x2380 + 1824 x2381
+ 1824 x2382 + 1824 x2383 + 1824 x2384 + 7 x2389 + 1966 x238a
+ 504 x239b + 504 x239c + 368 x239d + 368 x239e + 368 x239f
+ 368 x23a0 + 504 x23a1 + 504 x23a2 + 1552 x23ab + 1552 x23ac
+ 1688 x23ad + 1688 x23ae + 1688 x23af + 1688 x23b0 + 1552 x23b1
+ 1552 x23b2 + 7 x23b7 + 1966 x23b8 + 368 x23c5 + 368 x23c6
+ 504 x23c7 + 504 x23c8 + 368 x23c9 + 368 x23ca + 368 x23cb
+ 368 x23cc + 368 x23cd + 368 x23ce + 1552 x23d9 + 1552 x23da
+ 1552 x23db + 1552 x23dc + 1688 x23dd + 1688 x23de + 1688 x23df
+ 1688 x23e0 + 1552 x23e1 + 1552 x23e2 + 7 x23e7 + 1966 x23e8
+ 368 x23f7 + 368 x23f8 + 368 x23f9 + 368 x23fa + 504 x23fb
+ 504 x23fc + 368 x23fd + 368 x23fe + 368 x23ff + 368 x2400
+ 368 x2401 + 368 x2402 + 1688 x240f + 1688 x2410 + 1688 x2411
+ 1688 x2412 + 1688 x2413 + 1688 x2414 + 1824 x2415 + 1824 x2416
+ 1824 x2417 + 1824 x2418 + 1552 x2419 + 1552 x241a + 248 x241f
+ 248 x2420 + 248 x2421 + 248 x2422 + 7 x242d + 1830 x242e
+ 7 x242f + 1966 x2430 + 2017 x2564 + 368 x2444 + 368 x2442
+ 368 x2445 + 368 x2443 + 368 x2446 + 368 x2447 + 368 x2448
+ 368 x2449 + 368 x244a + 368 x244b + 368 x244c + 368 x244d
+ 504 x244e + 504 x244f + 504 x2450 + 504 x2451 + 368 x2452
+ 368 x2453 + 368 x2454 + 368 x2455 + 368 x2456 + 368 x2457
+ 1688 x246c + 1688 x246d + 1688 x246e + 1688 x246f + 1688 x2470
+ 1688 x2471 + 1688 x2472 + 1688 x2473 + 1688 x2474 + 1688 x2475
+ 1688 x2476 + 1688 x2477 + 1688 x2478 + 1688 x2479 + 1824 x247a
+ 1824 x247b + 1824 x247c + 1824 x247d + 1688 x247e + 1688 x247f
+ 7 x2484 + 1830 x2485 + 504 x249e + 504 x249f + 504 x24a0
+ 504 x24a1 + 504 x24a2 + 504 x24a3 + 504 x24a4 + 504 x24a5
+ 368 x24a6 + 368 x24a7 + 368 x24a8 + 368 x24a9 + 1688 x24b6
+ 1688 x24b7 + 1552 x24b8 + 1552 x24b9 + 1552 x24ba + 1552 x24bb
+ 1552 x24bc + 1552 x24bd + 1824 x24be + 1824 x24bf + 1824 x24c0
+ 1824 x24c1 + 7 x24ca + 1830 x24cb + 7 x24cc + 1694 x24cd
+ 368 x24e2 + 368 x24e0 + 368 x24e3 + 368 x24e1 + 368 x24e4
+ 368 x24e5 + 368 x24e6 + 368 x24e7 + 368 x24e8 + 368 x24e9
+ 504 x24ec + 504 x24ea + 504 x24ed + 504 x24eb + 368 x24ee
+ 368 x24ef + 368 x24f0 + 368 x24f1 + 1552 x24fe + 1552 x24ff
+ 1552 x2500 + 1552 x2501 + 1688 x2502 + 1688 x2503 + 1688 x2504
+ 1688 x2505 + 1824 x2506 + 1824 x2507 + 1824 x2508 + 1824 x2509
+ 7 x2512 + 1830 x2513 + 7 x2514 + 1694 x2515 + 504 x2528
+ 504 x2529 + 1552 x252c + 1552 x252d + 7 x2532 + 1694 x2533
+ 6 x2653 + 6 x2654 + 152 x2661 + 2304 x2662 + 196 x2663
+ 2324 x2664 + 2772 x2687 + 2772 x2688 + 2772 x2689 + 2724 x268a
+ 2724 x268b + 2724 x268c + 454 x266f + 454 x2670 + 1552 x2673
+ 1552 x2674 + 4694 x2679 + 1998 x267a + 309 x2697
subject to
z = 0
o = 1
+1 x1 +1 x2 +1 x3 +1 x4 +1 x5 +1 x6 +1 x7 +1 x8
+1 x9 +1 xa +1 xb +1 xc +1 xd = +1
+1 x1e14 +1 x2697 = +1
+1 x1 -1 x1b +1 x2 +1 x3 +1 x4 +1 x5 +1 x6 +1 x7
+1 x8 +1 x9 +1 xa +1 xb +1 xc +1 xd = +0
+1 x1b -1 x1e -1 x1f = +0
+1 x1f -1 x57 +0 x58 = +0
+1 x1e -1 x26 -1 x27 = +0
+1 x27 -1 x2b +1 x2f +1 x36 +1 x3d +1 x44 +1 x4b +1 x52
= +0
+1 x2b -1 x59 +0 x5a = +0
+1 x26 -1 x2e -1 x2f = +0
+1 x2e -1 x35 -1 x36 = +0
+1 x35 -1 x3c -1 x3d = +0
+1 x3c -1 x43 -1 x44 = +0
+1 x43 -1 x48 +1 x51 = +0
+1 x48 -1 x4a -1 x4b = +0
+1 x4a -1 x51 -1 x52 = +0
+1 x57 +1 x59 -1 x6d = +0
+1 x6d -1 x70 -1 x71 -1 x72 -1 x73 -1 x74 -1 x75 -1 x76
-1 x77 -1 x78 -1 x79 = +0
+1 x70 -1 xa2 -1 xa3 = +0
+1 x71 -1 xa4 -1 xa5 = +0
+1 x74 -1 xa6 -1 xa7 -1 xa8 -1 xa9 = +0
+1 x77 -1 xaa -1 xab = +0
+1 x79 -1 xac -1 xad = +0
+1 xa4 +1 xa6 -1 xb0 = +0
-1 x4b0 +1 xa5 +1 xa7 = +0
+1 xa2 -1 xb8 -1 xb9 = +0
+1 xa8 -1 xba -1 xbb = +0
+1 xb0 -1 xbc -1 xbd = +0
+1 xaa -1 xbe -1 xbf = +0
+1 xac -1 xc0 -1 xc1 = +0
+1 xba +1 xbc -1 xc3 = +0
-1 x2fb +0 x2fc +1 xb9 = +0
-1 x2fd +0 x2fe +1 xbb +1 xbd +1 xda = +0
-1 x2ff +0 x300 +1 xbf = +0
-1 x301 +0 x302 +1 xc1 = +0
+1 xc3 -1 xc7 +1 xde = +0
+1 xb8 -1 xca -1 xcb -1 xcc -1 xcd = +0
+1 xc7 -1 xce -1 xcf -1 xd0 -1 xd1 = +0
+1 xbe -1 xd2 -1 xd3 -1 xd4 -1 xd5 = +0
+1 xc0 -1 xd6 -1 xd7 -1 xd8 -1 xd9 = +0
+1 xca +1 xd2 -1 xdd = +0
+1 xcb +1 xd3 -1 xde = +0
-1 x303 +0 x304 +1 xd0 = +0
-1 x305 +0 x306 +1 xd1 = +0
-1 x307 +0 x308 +1 xcc +1 xd4 = +0
+1 xcd +1 xd5 -1 xda = +0
-1 x309 +0 x30a +1 xd8 = +0
-1 x30b +0 x30c +1 xd9 = +0
+1 xce -1 xe7 -1 xe8 -1 xe9 -1 xea = +0
+1 xcf -1 xeb -1 xec -1 xed -1 xee = +0
+1 xdd -1 xef -1 xf0 -1 xf1 -1 xf2 = +0
+1 xd6 -1 xf3 -1 xf4 -1 xf5 -1 xf6 = +0
+1 xd7 -1 xf7 -1 xf8 -1 xf9 -1 xfa = +0
-1 x30d +0 x30e +1 xe9 = +0
-1 x30f +0 x310 +1 xea = +0
-1 x311 +0 x312 +1 xed = +0
-1 x313 +0 x314 +1 xee = +0
-1 x315 +0 x316 +1 xf1 = +0
-1 x317 +0 x318 +1 xf2 = +0
-1 x319 +0 x31a +1 xf5 = +0
-1 x31b +0 x31c +1 xf6 = +0
-1 x31d +0 x31e +1 xf9 = +0
-1 x31f +0 x320 +1 xfa = +0
-1 x10f -1 x110 +1 xe7 = +0
-1 x111 -1 x112 -1 x113 -1 x114 -1 x115 -1 x116 +1 xe8 = +0
-1 x117 -1 x118 -1 x119 -1 x11a -1 x11b -1 x11c +1 xeb = +0
-1 x11d -1 x11e -1 x11f -1 x120 -1 x121 -1 x122 -1 x123 -1 x124
+1 xec = +0
-1 x125 -1 x126 +1 xef = +0
-1 x127 -1 x128 -1 x129 -1 x12a +1 xf0 = +0
-1 x12b -1 x12c +1 xf3 = +0
-1 x12d -1 x12e -1 x12f -1 x130 +1 xf4 = +0
-1 x131 -1 x132 -1 x133 -1 x134 +1 xf7 = +0
-1 x135 -1 x136 -1 x137 -1 x138 +1 xf8 = +0
+1 x10f +1 x111 -1 x139 = +0
+1 x117 +1 x11d -1 x13d = +0
+1 x118 +1 x11e -1 x13e = +0
+1 x110 +1 x112 +1 x168 -1 x321 +0 x322 = +0
+1 x115 +1 x16b -1 x323 +0 x324 = +0
+1 x116 +1 x16c +1 x250 -1 x325 +0 x326 = +0
+1 x11c -1 x327 +0 x328 = +0
+1 x119 +1 x11f +1 x16f -1 x329 +0 x32a = +0
+1 x11a +1 x120 +1 x170 +1 x252 -1 x32b +0 x32c = +0
+1 x123 +1 x173 +1 x255 -1 x32d +0 x32e = +0
+1 x124 +1 x174 +1 x256 -1 x32f +0 x330 = +0
+1 x126 -1 x331 +0 x332 = +0
+1 x129 -1 x333 +0 x334 = +0
+1 x12a -1 x335 +0 x336 = +0
+1 x12c -1 x337 +0 x338 = +0
+1 x12f -1 x339 +0 x33a = +0
+1 x130 -1 x33b +0 x33c = +0
+1 x133 -1 x33d +0 x33e = +0
+1 x134 -1 x33f +0 x340 = +0
+1 x137 -1 x341 +0 x342 = +0
+1 x138 -1 x343 +0 x344 = +0
+1 x139 -1 x14b +1 x167 = +0
+1 x113 -1 x14c +1 x169 = +0
+1 x114 -1 x14d +1 x16a +1 x24f = +0
+1 x13d -1 x14f +1 x16d = +0
+1 x13e -1 x150 +1 x16e +1 x251 = +0
+1 x121 -1 x151 +1 x171 +1 x253 = +0
+1 x122 -1 x152 +1 x172 +1 x254 = +0
+1 x14b -1 x15d -1 x15e = +0
+1 x14c -1 x15f -1 x160 = +0
+1 x14d -1 x161 -1 x162 -1 x163 -1 x164 = +0
+1 x11b -1 x165 -1 x166 = +0
+1 x14f -1 x167 -1 x168 = +0
+1 x150 -1 x169 -1 x16a -1 x16b -1 x16c = +0
+1 x151 -1 x16d -1 x16e -1 x16f -1 x170 = +0
+1 x152 -1 x171 -1 x172 -1 x173 -1 x174 = +0
+1 x125 -1 x175 -1 x176 = +0
+1 x127 -1 x177 -1 x178 = +0
+1 x128 -1 x179 -1 x17a -1 x17b -1 x17c -1 x17d -1 x17e = +0
+1 x12b -1 x17f -1 x180 = +0
+1 x12d -1 x181 -1 x182 = +0
+1 x12e -1 x183 -1 x184 -1 x185 -1 x186 -1 x187 -1 x188 = +0
+1 x131 -1 x189 -1 x18a = +0
+1 x132 -1 x18b -1 x18c -1 x18d -1 x18e -1 x18f -1 x190 = +0
+1 x135 -1 x191 -1 x192 -1 x193 -1 x194 -1 x195 -1 x196 = +0
+1 x136 -1 x197 -1 x198 -1 x199 -1 x19a -1 x19b -1 x19c -1 x19d
-1 x19e = +0
+1 x15d +1 x175 -1 x1a6 = +0
+1 x15f +1 x177 +1 x179 -1 x1a7 = +0
+1 x161 +1 x17b -1 x1a8 = +0
+1 x162 +1 x17c -1 x1a9 = +0
+1 x181 +1 x183 -1 x1b3 = +0
+1 x189 +1 x18b -1 x1b6 = +0
+1 x191 +1 x197 -1 x1ba = +0
+1 x192 +1 x198 -1 x1bb = +0
+1 x15e +1 x176 -1 x345 +0 x346 = +0
+1 x160 +1 x178 +1 x17a -1 x347 +0 x348 = +0
+1 x163 +1 x17d -1 x349 +0 x34a = +0
+1 x164 +1 x17e +1 x24e -1 x34b +0 x34c = +0
+1 x166 -1 x34d +0 x34e = +0
+1 x180 +1 x1ed -1 x34f +0 x350 = +0
+1 x182 +1 x184 +1 x1ef -1 x351 +0 x352 = +0
+1 x187 +1 x1f2 -1 x353 +0 x354 = +0
+1 x188 +1 x1f3 -1 x355 +0 x356 = +0
+1 x18a +1 x18c +1 x1f7 -1 x357 +0 x358 = +0
+1 x18f +1 x1fa -1 x359 +0 x35a = +0
+1 x190 +1 x1fb -1 x35b +0 x35c = +0
+1 x196 -1 x35d +0 x35e = +0
+1 x193 +1 x199 +1 x1fe -1 x35f +0 x360 = +0
+1 x194 +1 x19a +1 x1ff -1 x361 +0 x362 = +0
+1 x19d +1 x202 -1 x363 +0 x364 = +0
+1 x19e +1 x203 -1 x365 +0 x366 = +0
+1 x1a9 -1 x1c8 +1 x24d = +0
+1 x17f -1 x1ca +1 x1ec = +0
+1 x1b3 -1 x1cb +1 x1ee = +0
+1 x185 -1 x1cc +1 x1f0 = +0
+1 x186 -1 x1cd +1 x1f1 = +0
+1 x1b6 -1 x1ce +1 x1f6 = +0
+1 x18d -1 x1cf +1 x1f8 = +0
+1 x18e -1 x1d0 +1 x1f9 = +0
+1 x1ba -1 x1d2 +1 x1fc = +0
+1 x1bb -1 x1d3 +1 x1fd = +0
+1 x19b -1 x1d4 +1 x200 = +0
+1 x19c -1 x1d5 +1 x201 = +0
+1 x1a6 -1 x1d6 -1 x1d7 = +0
+1 x1a7 -1 x1d8 -1 x1d9 = +0
+1 x1a8 -1 x1da -1 x1db = +0
+1 x1c8 -1 x1dc -1 x1dd -1 x1de -1 x1df = +0
+1 x165 -1 x1e0 -1 x1e1 = +0
+1 x1ca -1 x1e2 -1 x1e3 = +0
+1 x1cb -1 x1e4 -1 x1e5 = +0
+1 x1cc -1 x1e6 -1 x1e7 = +0
+1 x1cd -1 x1e8 -1 x1e9 -1 x1ea -1 x1eb = +0
+1 x1ce -1 x1ec -1 x1ed = +0
+1 x1cf -1 x1ee -1 x1ef = +0
+1 x1d0 -1 x1f0 -1 x1f1 -1 x1f2 -1 x1f3 = +0
+1 x195 -1 x1f4 -1 x1f5 = +0
+1 x1d2 -1 x1f6 -1 x1f7 = +0
+1 x1d3 -1 x1f8 -1 x1f9 -1 x1fa -1 x1fb = +0
+1 x1d4 -1 x1fc -1 x1fd -1 x1fe -1 x1ff = +0
+1 x1d5 -1 x200 -1 x201 -1 x202 -1 x203 = +0
+1 x1d7 -1 x367 +0 x368 = +0
+1 x1d9 -1 x369 +0 x36a = +0
+1 x1db -1 x36b +0 x36c = +0
+1 x1de -1 x36d +0 x36e = +0
+1 x1df +1 x24c -1 x36f +0 x370 = +0
+1 x1e1 -1 x371 +0 x372 = +0
+1 x1e3 -1 x373 +0 x374 = +0
+1 x1e5 -1 x375 +0 x376 = +0
+1 x1e7 -1 x377 +0 x378 = +0
+1 x1ea -1 x379 +0 x37a = +0
+1 x1eb -1 x37b +0 x37c = +0
+1 x1f5 -1 x37d +0 x37e = +0
+1 x1dd -1 x235 +1 x24b = +0
+1 x1d6 -1 x23d -1 x23e = +0
+1 x1d8 -1 x23f -1 x240 = +0
+1 x1da -1 x241 -1 x242 = +0
+1 x1dc -1 x243 -1 x244 = +0
+1 x235 -1 x245 -1 x246 -1 x247 -1 x248 = +0
+1 x1e0 -1 x249 -1 x24a = +0
+1 x1e2 -1 x24b -1 x24c = +0
+1 x1e4 -1 x24d -1 x24e = +0
+1 x1e6 -1 x24f -1 x250 = +0
+1 x1e8 -1 x251 -1 x252 = +0
+1 x1e9 -1 x253 -1 x254 -1 x255 -1 x256 = +0
+1 x1f4 -1 x257 -1 x258 = +0
+1 x23e +1 x282 -1 x37f +0 x380 = +0
+1 x240 +1 x286 -1 x381 +0 x382 = +0
+1 x242 +1 x28a -1 x383 +0 x384 = +0
+1 x244 +1 x28e -1 x385 +0 x386 = +0
+1 x247 +1 x291 -1 x387 +0 x388 = +0
+1 x248 +1 x292 +1 x2c8 -1 x389 +0 x38a = +0
+1 x24a -1 x38b +0 x38c = +0
+1 x258 -1 x38d +0 x38e = +0
+1 x23d -1 x273 +1 x280 = +0
+1 x23f -1 x274 +1 x284 = +0
+1 x241 -1 x275 +1 x288 = +0
+1 x243 -1 x276 +1 x28c = +0
+1 x245 -1 x277 +1 x28f = +0
+1 x246 -1 x278 +1 x290 +1 x2c7 = +0
+1 x273 -1 x27b -1 x27c -1 x27d -1 x27e = +0
+1 x274 -1 x27f -1 x280 -1 x281 -1 x282 = +0
+1 x275 -1 x283 -1 x284 -1 x285 -1 x286 = +0
+1 x276 -1 x287 -1 x288 -1 x289 -1 x28a = +0
+1 x277 -1 x28b -1 x28c -1 x28d -1 x28e = +0
+1 x278 -1 x28f -1 x290 -1 x291 -1 x292 = +0
+1 x249 -1 x293 -1 x294 = +0
+1 x257 -1 x295 -1 x296 = +0
+1 x27b +1 x293 -1 x2a8 = +0
+1 x27e +1 x2c5 -1 x38f +0 x390 = +0
+1 x281 -1 x391 +0 x392 = +0
+1 x285 -1 x393 +0 x394 = +0
+1 x289 -1 x395 +0 x396 = +0
+1 x28d -1 x397 +0 x398 = +0
+1 x27c +1 x294 +1 x2c6 -1 x399 +0 x39a = +0
+1 x296 -1 x39b +0 x39c = +0
+1 x27d -1 x2b0 +1 x2c3 = +0
+1 x2a8 -1 x2b5 +1 x2c4 = +0
+1 x2b0 -1 x2b7 -1 x2b8 -1 x2b9 -1 x2ba = +0
+1 x27f -1 x2bb -1 x2bc = +0
+1 x283 -1 x2bd -1 x2be = +0
+1 x287 -1 x2bf -1 x2c0 = +0
+1 x28b -1 x2c1 -1 x2c2 = +0
+1 x2b5 -1 x2c3 -1 x2c4 -1 x2c5 -1 x2c6 = +0
+1 x295 -1 x2c7 -1 x2c8 = +0
+1 x2b7 +1 x2bb -1 x2cd = +0
+1 x2ba +1 x2e1 -1 x39d +0 x39e = +0
+1 x2b8 +1 x2bc +1 x2e9 -1 x39f +0 x3a0 = +0
+1 x2be +1 x2e5 -1 x3a1 +0 x3a2 = +0
+1 x2c0 +1 x2e7 -1 x3a3 +0 x3a4 = +0
+1 x2c2 -1 x3a5 +0 x3a6 = +0
+1 x2b9 -1 x2d7 +1 x2e0 = +0
+1 x2cd -1 x2d8 +1 x2ee = +0
+1 x2bd -1 x2d9 +1 x2e4 = +0
+1 x2bf -1 x2da +1 x2e6 = +0
+1 x2d7 -1 x2dc -1 x2dd = +0
+1 x2d8 -1 x2de -1 x2df -1 x2e0 -1 x2e1 = +0
+1 x2d9 -1 x2e2 -1 x2e3 = +0
+1 x2da -1 x2e4 -1 x2e5 = +0
+1 x2c1 -1 x2e6 -1 x2e7 = +0
+1 x2de +1 x2e2 -1 x2ee = +0
+1 x2dd +1 x2f7 -1 x3a7 +0 x3a8 = +0
+1 x2df +1 x2e3 -1 x2e9 = +0
+1 x2dc -1 x2f5 +1 x2f6 = +0
+1 x2f5 -1 x2f6 -1 x2f7 = +0
-1 x566 -1 x567 +1 xa3 = +0
-1 x568 -1 x569 +1 xa9 = +0
+1 x4b0 -1 x56a -1 x56b = +0
-1 x56c -1 x56d +1 xab = +0
-1 x56e -1 x56f +1 xad = +0
+1 x2fb -1 x570 -1 x571 = +0
+1 x2fd -1 x572 -1 x573 = +0
+1 x2ff -1 x574 -1 x575 = +0
+1 x301 -1 x576 -1 x577 = +0
+1 x303 -1 x578 -1 x579 = +0
+1 x305 -1 x57a -1 x57b = +0
+1 x307 -1 x57c -1 x57d = +0
+1 x309 -1 x57e -1 x57f = +0
+1 x30b -1 x580 -1 x581 = +0
+1 x30d -1 x582 -1 x583 = +0
+1 x30f -1 x584 -1 x585 = +0
+1 x311 -1 x586 -1 x587 = +0
+1 x313 -1 x588 -1 x589 = +0
+1 x315 -1 x58a -1 x58b = +0
+1 x317 -1 x58c -1 x58d = +0
+1 x319 -1 x58e -1 x58f = +0
+1 x31b -1 x590 -1 x591 = +0
+1 x31d -1 x592 -1 x593 = +0
+1 x31f -1 x594 -1 x595 = +0
+1 x321 -1 x596 -1 x597 = +0
+1 x323 -1 x598 -1 x599 = +0
+1 x325 -1 x59a -1 x59b = +0
+1 x327 -1 x59c -1 x59d = +0
+1 x329 -1 x59e -1 x59f = +0
+1 x32b -1 x5a0 -1 x5a1 = +0
+1 x32d -1 x5a2 -1 x5a3 = +0
+1 x32f -1 x5a4 -1 x5a5 = +0
+1 x331 -1 x5a6 -1 x5a7 = +0
+1 x333 -1 x5a8 -1 x5a9 = +0
+1 x335 -1 x5aa -1 x5ab = +0
+1 x337 -1 x5ac -1 x5ad = +0
+1 x339 -1 x5ae -1 x5af = +0
+1 x33b -1 x5b0 -1 x5b1 = +0
+1 x33d -1 x5b2 -1 x5b3 = +0
+1 x33f -1 x5b4 -1 x5b5 = +0
+1 x341 -1 x5b6 -1 x5b7 = +0
+1 x343 -1 x5b8 -1 x5b9 = +0
+1 x345 -1 x5ba -1 x5bb = +0
+1 x347 -1 x5bc -1 x5bd = +0
+1 x349 -1 x5be -1 x5bf = +0
+1 x34b -1 x5c0 -1 x5c1 = +0
+1 x34d -1 x5c2 -1 x5c3 = +0
+1 x34f -1 x5c4 -1 x5c5 = +0
+1 x351 -1 x5c6 -1 x5c7 = +0
+1 x353 -1 x5c8 -1 x5c9 = +0
+1 x355 -1 x5ca -1 x5cb = +0
+1 x357 -1 x5cc -1 x5cd = +0
+1 x359 -1 x5ce -1 x5cf = +0
+1 x35b -1 x5d0 -1 x5d1 = +0
+1 x35d -1 x5d2 -1 x5d3 = +0
+1 x35f -1 x5d4 -1 x5d5 = +0
+1 x361 -1 x5d6 -1 x5d7 = +0
+1 x363 -1 x5d8 -1 x5d9 = +0
+1 x365 -1 x5da -1 x5db = +0
+1 x367 -1 x5dc -1 x5dd = +0
+1 x369 -1 x5de -1 x5df = +0
+1 x36b -1 x5e0 -1 x5e1 = +0
+1 x36d -1 x5e2 -1 x5e3 = +0
+1 x36f -1 x5e4 -1 x5e5 = +0
+1 x371 -1 x5e6 -1 x5e7 = +0
+1 x373 -1 x5e8 -1 x5e9 = +0
+1 x375 -1 x5ea -1 x5eb = +0
+1 x377 -1 x5ec -1 x5ed = +0
+1 x379 -1 x5ee -1 x5ef = +0
+1 x37b -1 x5f0 -1 x5f1 = +0
+1 x37d -1 x5f2 -1 x5f3 = +0
+1 x37f -1 x5f4 -1 x5f5 = +0
+1 x381 -1 x5f6 -1 x5f7 = +0
+1 x383 -1 x5f8 -1 x5f9 = +0
+1 x385 -1 x5fa -1 x5fb = +0
+1 x387 -1 x5fc -1 x5fd = +0
+1 x389 -1 x5fe -1 x5ff = +0
+1 x38b -1 x600 -1 x601 = +0
+1 x38d -1 x602 -1 x603 = +0
+1 x38f -1 x604 -1 x605 = +0
+1 x391 -1 x606 -1 x607 = +0
+1 x393 -1 x608 -1 x609 = +0
+1 x395 -1 x60a -1 x60b = +0
+1 x397 -1 x60c -1 x60d = +0
+1 x399 -1 x60e -1 x60f = +0
+1 x39b -1 x610 -1 x611 = +0
+1 x39d -1 x612 -1 x613 = +0
+1 x39f -1 x614 -1 x615 = +0
+1 x3a1 -1 x616 -1 x617 = +0
+1 x3a3 -1 x618 -1 x619 = +0
+1 x3a5 -1 x61a -1 x61b = +0
+1 x3a7 -1 x61c -1 x61d = +0
+1 x577 -1 x671 -1 x672 -1 x673 = +0
+1 x575 -1 x674 -1 x675 -1 x676 = +0
+1 x571 -1 x678 -1 x679 -1 x67a = +0
+1 x56b -1 x67d -1 x67e -1 x67f = +0
+1 x569 -1 x680 -1 x681 -1 x682 = +0
+1 x57f +1 x581 +1 x58f +1 x591 +1 x593 +1 x595 +1 x5ad +1 x5af
+1 x5b1 +1 x5b3 +1 x5b5 +1 x5b7 +1 x5b9 +1 x5c5 +1 x5c7 +1 x5c9
+1 x5cb +1 x5cd +1 x5cf +1 x5d1 +1 x5d3 +1 x5d5 +1 x5d7 +1 x5d9
+1 x5db +1 x5e9 +1 x5eb +1 x5ed +1 x5ef +1 x5f1 +1 x5f3 +1 x603
+1 x611 +1 x671 -1 x689 = +0
+1 x567 +1 x573 +1 x579 +1 x57b +1 x57d +1 x583 +1 x585 +1 x587
+1 x589 +1 x58b +1 x58d +1 x597 +1 x599 +1 x59b +1 x59d +1 x59f
+1 x5a1 +1 x5a3 +1 x5a5 +1 x5a7 +1 x5a9 +1 x5ab +1 x5bb +1 x5bd
+1 x5bf +1 x5c1 +1 x5c3 +1 x5dd +1 x5df +1 x5e1 +1 x5e3 +1 x5e5
+1 x5e7 +1 x601 +1 x672 +1 x674 +1 x678 +1 x67d +1 x680 -1 x68a
= +0
+1 x5f5 +1 x5f7 +1 x5f9 +1 x5fb +1 x5fd +1 x5ff +1 x607 +1 x609
+1 x60b +1 x60d +1 x617 +1 x619 +1 x61b +1 x673 +1 x675 +1 x679
+1 x67e +1 x681 -1 x68b = +0
+1 x605 +1 x60f +1 x613 +1 x615 +1 x61d +1 x676 +1 x67a +1 x67f
+1 x682 -1 x68c = +0
-1 x69a -1 x69b +1 x72 = +0
-1 x69c -1 x69d +1 x73 = +0
-1 x69e -1 x69f -1 x6a0 -1 x6a1 -1 x6a2 -1 x6a3 +1 x75 = +0
-1 x6a4 -1 x6a5 +1 x76 = +0