-
Notifications
You must be signed in to change notification settings - Fork 0
/
value_55628.lp
3080 lines (3080 loc) · 82.8 KB
/
value_55628.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: 11 x2 + 11 x3 + 23 x4 + 23 x5
+ 106 x6 + 83 x7 + 83 x8 + 83 x9 + 22 x1e
+ 51 x1a + 51 x1b + 51 x1c + 51 x1d + 17 x21
+ 17 x22 + 36 x1f + 36 x20 + 43 x27 + 72 x23
+ 72 x24 + 72 x25 + 72 x26 + 17 x2a + 17 x2b
+ 36 x28 + 36 x29 + 52 x2d + 52 x2e + 52 x2f
+ 52 x30 + 4 x31 + 4 x32 + 15 x33 + 15 x34
+ 46 x51 + 69 x52 + 69 x53 + 69 x54 + 69 x55
+ 69 x56 + 69 x57 + 69 x58 + 69 x59 + 32 x5a
+ 32 x5b + 32 x5c + 32 x5d + 34 x5e + 34 x5f
+ 34 x60 + 34 x61 + 16 x62 + 51 x63 + 51 x64
+ 51 x65 + 51 x66 + 51 x67 + 51 x68 + 51 x69
+ 51 x6a + 48 x6b + 28 x6c + 28 x6d + 28 x6e
+ 28 x6f + 28 x70 + 28 x71 + 102 x72 + 28 x73
+ 26 x74 + 34 x75 + 34 x76 + 34 x77 + 34 x78
+ 16 x79 + 54 x7a + 54 x7b + 54 x7c + 54 x7d
+ 54 x7e + 54 x7f + 54 x80 + 54 x81 + 20 x82
+ 53 x83 + 53 x84 + 53 x85 + 53 x86 + 35 x87
+ 76 x88 + 76 x89 + 76 x8a + 76 x8b + 77 x8c
+ 77 x8d + 77 x8e + 77 x8f + 43 x90 + 43 x91
+ 53 x92 + 53 x93 + 53 x94 + 53 x95 + 51 x96
+ 116 x97 + 116 x98 + 116 x99 + 117 x9a + 117 x9b
+ 117 x9c + 190 x9d + 117 x9e + 73 x9f + 32 xa0
+ 32 xa1 + 32 xa2 + 32 xa3 + 14 xa4 + 51 xa5
+ 51 xa6 + 51 xa7 + 51 xa8 + 51 xa9 + 51 xaa
+ 51 xab + 51 xac + 17 xad + 53 xae + 53 xaf
+ 53 xb0 + 53 xb1 + 35 xb2 + 76 xb3 + 76 xb4
+ 76 xb5 + 76 xb6 + 77 xb7 + 77 xb8 + 77 xb9
+ 77 xba + 43 xbb + 43 xbc + 74 xbe + 74 xbf
+ 74 xc0 + 36 xc1 + 36 xc5 + 36 xc9 + 30 xd2
+ 16 xd3 + 46 xd4 + 30 xd5 + 44 xf4 + 44 xf5
+ 44 xf6 + 44 xf7 + 44 xf8 + 44 xf9 + 44 xfb
+ 44 xfc + 44 xfd + 44 xfe + 44 xff + 44 x100
+ 74 x104 + 74 x105 + 74 x109 + 74 x10a + 30 x114
+ 30 x115 + 30 x116 + 30 x117 + 30 x118 + 30 x119
+ 16 x11e + 16 x124 + 16 x164 + 16 x166 + 64 x18b
+ 64 x18c + 64 x18d + 32 x1b5 + 70 x1b6 + 70 x1b7
+ 70 x1b8 + 70 x1b9 + 70 x1ba + 70 x1bb + 70 x1bc
+ 70 x1bd + 34 x1be + 34 x1bf + 34 x1c0 + 70 x1c1
+ 34 x1c2 + 34 x1c3 + 34 x1c4 + 34 x1c5 + 64 x1c6
+ 34 x1c7 + 34 x1c8 + 34 x1c9 + 34 x1ca + 32 x1cb
+ 74 x1cd + 74 x1ce + 74 x1cf + 36 x1d0 + 36 x1d4
+ 44 x1ef + 44 x1f0 + 44 x1f1 + 44 x1f2 + 44 x1f3
+ 44 x1f4 + 44 x1f6 + 44 x1f7 + 44 x1f8 + 44 x1f9
+ 44 x1fa + 44 x1fb + 30 x202 + 30 x203 + 30 x204
+ 30 x205 + 30 x206 + 30 x207 + 32 x208 + 32 x20a
+ 64 x247 + 64 x248 + 64 x249 + 32 x271 + 70 x272
+ 70 x273 + 70 x274 + 70 x275 + 70 x276 + 70 x277
+ 70 x278 + 70 x279 + 34 x27a + 34 x27b + 34 x27c
+ 70 x27d + 34 x27e + 34 x27f + 34 x280 + 34 x281
+ 64 x282 + 34 x283 + 34 x284 + 34 x285 + 34 x286
+ 32 x287 + 74 x289 + 74 x28a + 74 x28b + 36 x28c
+ 36 x290 + 44 x2ab + 44 x2ac + 44 x2ad + 44 x2ae
+ 44 x2af + 44 x2b0 + 44 x2b2 + 44 x2b3 + 44 x2b4
+ 44 x2b5 + 44 x2b6 + 44 x2b7 + 30 x2be + 30 x2bf
+ 30 x2c0 + 30 x2c1 + 30 x2c2 + 30 x2c3 + 32 x2c4
+ 32 x2c6 + 64 x303 + 64 x304 + 64 x305 + 32 x32d
+ 70 x32e + 70 x32f + 70 x330 + 70 x331 + 70 x332
+ 70 x333 + 70 x334 + 70 x335 + 34 x336 + 34 x337
+ 34 x338 + 70 x339 + 34 x33a + 34 x33b + 34 x33c
+ 34 x33d + 64 x33e + 34 x33f + 34 x340 + 34 x341
+ 34 x342 + 32 x343 + 74 x345 + 74 x346 + 74 x347
+ 36 x348 + 36 x34c + 44 x367 + 44 x368 + 44 x369
+ 44 x36a + 44 x36b + 44 x36c + 44 x36e + 44 x36f
+ 44 x370 + 44 x371 + 44 x372 + 44 x373 + 30 x37a
+ 30 x37b + 30 x37c + 30 x37d + 30 x37e + 30 x37f
+ 32 x380 + 32 x382 + 64 x3bf + 64 x3c0 + 64 x3c1
+ 32 x3e9 + 70 x3ea + 70 x3eb + 70 x3ec + 70 x3ed
+ 70 x3ee + 70 x3ef + 70 x3f0 + 70 x3f1 + 34 x3f2
+ 34 x3f3 + 34 x3f4 + 70 x3f5 + 34 x3f6 + 34 x3f7
+ 34 x3f8 + 34 x3f9 + 64 x3fa + 34 x3fb + 34 x3fc
+ 34 x3fd + 34 x3fe + 32 x3ff + 74 x401 + 74 x402
+ 74 x403 + 36 x404 + 36 x408 + 44 x423 + 44 x424
+ 44 x425 + 44 x426 + 44 x427 + 44 x428 + 44 x42a
+ 44 x42b + 44 x42c + 44 x42d + 44 x42e + 44 x42f
+ 30 x436 + 30 x437 + 30 x438 + 30 x439 + 30 x43a
+ 30 x43b + 32 x43c + 32 x43e + 64 x47b + 64 x47c
+ 64 x47d + 32 x4a5 + 70 x4a6 + 70 x4a7 + 70 x4a8
+ 70 x4a9 + 70 x4aa + 70 x4ab + 70 x4ac + 70 x4ad
+ 34 x4ae + 34 x4af + 34 x4b0 + 70 x4b1 + 34 x4b2
+ 34 x4b3 + 34 x4b4 + 34 x4b5 + 64 x4b6 + 34 x4b7
+ 34 x4b8 + 34 x4b9 + 34 x4ba + 32 x4bb + 74 x4bd
+ 74 x4be + 74 x4bf + 36 x4c0 + 36 x4c4 + 44 x4df
+ 44 x4e0 + 44 x4e1 + 44 x4e2 + 44 x4e3 + 44 x4e4
+ 44 x4e6 + 44 x4e7 + 44 x4e8 + 44 x4e9 + 44 x4ea
+ 44 x4eb + 30 x4f2 + 30 x4f3 + 30 x4f4 + 30 x4f5
+ 30 x4f6 + 30 x4f7 + 32 x4f8 + 32 x4fa + 64 x537
+ 64 x538 + 64 x539 + 32 x561 + 70 x562 + 70 x563
+ 70 x564 + 70 x565 + 70 x566 + 70 x567 + 70 x568
+ 70 x569 + 34 x56a + 34 x56b + 34 x56c + 70 x56d
+ 34 x56e + 34 x56f + 34 x570 + 34 x571 + 64 x572
+ 34 x573 + 34 x574 + 34 x575 + 34 x576 + 32 x577
+ 74 x579 + 74 x57a + 74 x57b + 36 x57c + 36 x580
+ 44 x59b + 44 x59c + 44 x59d + 44 x59e + 44 x59f
+ 44 x5a0 + 44 x5a2 + 44 x5a3 + 44 x5a4 + 44 x5a5
+ 44 x5a6 + 44 x5a7 + 30 x5ae + 30 x5af + 30 x5b0
+ 30 x5b1 + 30 x5b2 + 30 x5b3 + 32 x5b4 + 32 x5b6
+ 64 x5f3 + 64 x5f4 + 64 x5f5 + 32 x61d + 70 x61e
+ 70 x61f + 70 x620 + 70 x621 + 70 x622 + 70 x623
+ 70 x624 + 70 x625 + 34 x626 + 34 x627 + 34 x628
+ 70 x629 + 34 x62a + 34 x62b + 34 x62c + 34 x62d
+ 64 x62e + 34 x62f + 34 x630 + 34 x631 + 34 x632
+ 32 x633 + 74 x635 + 74 x636 + 74 x637 + 36 x638
+ 36 x63c + 44 x657 + 44 x658 + 44 x659 + 44 x65a
+ 44 x65b + 44 x65c + 44 x65e + 44 x65f + 44 x660
+ 44 x661 + 44 x662 + 44 x663 + 30 x66a + 30 x66b
+ 30 x66c + 30 x66d + 30 x66e + 30 x66f + 32 x670
+ 32 x672 + 64 x6af + 64 x6b0 + 64 x6b1 + 32 x6d9
+ 70 x6da + 70 x6db + 70 x6dc + 70 x6dd + 70 x6de
+ 70 x6df + 70 x6e0 + 70 x6e1 + 34 x6e2 + 34 x6e3
+ 34 x6e4 + 70 x6e5 + 34 x6e6 + 34 x6e7 + 34 x6e8
+ 34 x6e9 + 64 x6ea + 34 x6eb + 34 x6ec + 34 x6ed
+ 34 x6ee + 32 x6ef + 74 x6f1 + 74 x6f2 + 74 x6f3
+ 36 x6f4 + 36 x6f8 + 44 x713 + 44 x714 + 44 x715
+ 44 x716 + 44 x717 + 44 x718 + 44 x71a + 44 x71b
+ 44 x71c + 44 x71d + 44 x71e + 44 x71f + 30 x726
+ 30 x727 + 30 x728 + 30 x729 + 30 x72a + 30 x72b
+ 32 x72c + 32 x72e + 64 x76b + 64 x76c + 64 x76d
+ 32 x795 + 70 x796 + 70 x797 + 70 x798 + 70 x799
+ 70 x79a + 70 x79b + 70 x79c + 70 x79d + 34 x79e
+ 34 x79f + 34 x7a0 + 70 x7a1 + 34 x7a2 + 34 x7a3
+ 34 x7a4 + 34 x7a5 + 64 x7a6 + 34 x7a7 + 34 x7a8
+ 34 x7a9 + 34 x7aa + 32 x7ab + 74 x7ad + 74 x7ae
+ 74 x7af + 36 x7b0 + 36 x7b4 + 44 x7cf + 44 x7d0
+ 44 x7d1 + 44 x7d2 + 44 x7d3 + 44 x7d4 + 44 x7d6
+ 44 x7d7 + 44 x7d8 + 44 x7d9 + 44 x7da + 44 x7db
+ 30 x7e2 + 30 x7e3 + 30 x7e4 + 30 x7e5 + 30 x7e6
+ 30 x7e7 + 32 x7e8 + 32 x7ea + 64 x827 + 64 x828
+ 64 x829 + 32 x851 + 70 x852 + 70 x853 + 70 x854
+ 70 x855 + 70 x856 + 70 x857 + 70 x858 + 70 x859
+ 34 x85a + 34 x85b + 34 x85c + 70 x85d + 34 x85e
+ 34 x85f + 34 x860 + 34 x861 + 64 x862 + 34 x863
+ 34 x864 + 34 x865 + 34 x866 + 32 x867 + 74 x869
+ 74 x86a + 74 x86b + 36 x86c + 36 x870 + 44 x88b
+ 44 x88c + 44 x88d + 44 x88e + 44 x88f + 44 x890
+ 44 x892 + 44 x893 + 44 x894 + 44 x895 + 44 x896
+ 44 x897 + 30 x89e + 30 x89f + 30 x8a0 + 30 x8a1
+ 30 x8a2 + 30 x8a3 + 32 x8a4 + 32 x8a6 + 64 x8e3
+ 64 x8e4 + 64 x8e5 + 32 x90d + 70 x90e + 70 x90f
+ 70 x910 + 70 x911 + 70 x912 + 70 x913 + 70 x914
+ 70 x915 + 34 x916 + 34 x917 + 34 x918 + 70 x919
+ 34 x91a + 34 x91b + 34 x91c + 34 x91d + 64 x91e
+ 34 x91f + 34 x920 + 34 x921 + 34 x922 + 32 x923
+ 74 x925 + 74 x926 + 74 x927 + 36 x928 + 36 x92c
+ 44 x947 + 44 x948 + 44 x949 + 44 x94a + 44 x94b
+ 44 x94c + 44 x94e + 44 x94f + 44 x950 + 44 x951
+ 44 x952 + 44 x953 + 30 x95a + 30 x95b + 30 x95c
+ 30 x95d + 30 x95e + 30 x95f + 32 x960 + 32 x962
+ 64 x99f + 64 x9a0 + 64 x9a1 + 32 x9c9 + 70 x9ca
+ 70 x9cb + 70 x9cc + 70 x9cd + 70 x9ce + 70 x9cf
+ 70 x9d0 + 70 x9d1 + 34 x9d2 + 34 x9d3 + 34 x9d4
+ 70 x9d5 + 34 x9d6 + 34 x9d7 + 34 x9d8 + 34 x9d9
+ 52 x9da + 34 x9db + 34 x9dc + 34 x9dd + 34 x9de
+ 32 x9df + 62 x9e1 + 62 x9e2 + 62 x9e3 + 36 x9e4
+ 36 x9e8 + 44 xa03 + 44 xa04 + 44 xa05 + 44 xa06
+ 44 xa07 + 44 xa08 + 44 xa0a + 44 xa0b + 44 xa0c
+ 44 xa0d + 44 xa0e + 44 xa0f + 18 xa16 + 18 xa17
+ 18 xa18 + 18 xa19 + 18 xa1a + 18 xa1b + 16 xa1c
+ 20 xa1e + 4 x13a0 + 35 x13a1 + 12 x13be + 12 x13bf
+ 12 x13c0 + 12 x13c1 + 12 x13c2 + 12 x13c3 + 12 x13c5
+ 12 x13c6 + 12 x13c7 + 12 x13c8 + 12 x13c9 + 12 x13ca
+ 12 x13cb + 12 x13cc + 12 x13cd + 12 x13ce + 12 x13cf
+ 12 x13d0 + 12 x13d1 + 12 x13d2 + 12 x13d3 + 12 x13d4
+ 12 x13d5 + 12 x13d6 + 64 x13d8 + 48 x13d9 + 64 x13da
+ 48 x13db + 32 x13dc + 48 x13dd + 26 x13e5 + 59 x13e6
+ 16 x140a + 16 x141d + 32 x142c + 70 x142d + 128 x142e
+ 70 x142f + 32 x1430 + 70 x1431 + 96 x1444 + 96 x1446
+ 32 x1480 + 70 x1481 + 128 x1482 + 70 x1483 + 32 x1484
+ 70 x1485 + 96 x1498 + 96 x149a + 32 x14d4 + 70 x14d5
+ 128 x14d6 + 70 x14d7 + 32 x14d8 + 70 x14d9 + 96 x14ec
+ 96 x14ee + 32 x1528 + 70 x1529 + 128 x152a + 70 x152b
+ 32 x152c + 70 x152d + 96 x1540 + 96 x1542 + 32 x157c
+ 70 x157d + 128 x157e + 70 x157f + 32 x1580 + 70 x1581
+ 96 x1594 + 96 x1596 + 32 x15d0 + 70 x15d1 + 128 x15d2
+ 70 x15d3 + 32 x15d4 + 70 x15d5 + 96 x15e8 + 96 x15ea
+ 32 x1624 + 70 x1625 + 128 x1626 + 70 x1627 + 32 x1628
+ 70 x1629 + 96 x163c + 96 x163e + 32 x1678 + 70 x1679
+ 128 x167a + 70 x167b + 32 x167c + 70 x167d + 96 x1690
+ 96 x1692 + 32 x16cc + 70 x16cd + 128 x16ce + 70 x16cf
+ 32 x16d0 + 70 x16d1 + 96 x16e4 + 96 x16e6 + 32 x1720
+ 70 x1721 + 128 x1722 + 70 x1723 + 32 x1724 + 70 x1725
+ 96 x1738 + 96 x173a + 32 x1774 + 70 x1775 + 128 x1776
+ 70 x1777 + 32 x1778 + 70 x1779 + 96 x178c + 96 x178e
+ 32 x17c8 + 70 x17c9 + 112 x17ca + 70 x17cb + 32 x17cc
+ 70 x17cd + 80 x17e0 + 80 x17e2 + 31 x1a65 + 31 x1a66
+ 31 x1a67 + 31 x1a68 + 31 x1a69 + 31 x1a6a + 31 x1a6b
+ 31 x1a6c + 31 x1a6d + 8 x1a74 + 8 x1a75 + 34 x1a76
+ 34 x1a77 + 34 x1a78 + 20 x1a7c + 20 x1a7d + 72 x1a79
+ 72 x1a7a + 72 x1a7b + 38 x1a82 + 19 x1a83 + 17 x1a8c
+ 49 x1a8d + 51 x1a8e + 39 x1a8f + 72 x1a90 + 60 x1a91
+ 32 x1a92 + 44 x1a93 + 59 x1a96 + 47 x1a97 + 1 x1a98
+ 27 x1a99 + 18 x1a9e + 34 x1a9f + 26 x1aa0 + 18 x1aa4
+ 38 x1aa5 + 17 x1aa7 + 1 x1aa8 + 12 x1ab0 + 1412 x1ab4
+ 12 x1c98 + 13 x1c99 + 34 x1ca1 + 34 x1ca2 + 1 x1ca5
+ 2 x1ca6 + 34 x1caa + 34 x1cab + 21 x1e46 + 21 x1e47
+ 21 x1e48 + 21 x1e49 + 15 x1e4a + 4 x1e4b + 57 x1e56
+ 31 x1e57 + 57 x1e58 + 43 x1e54 + 43 x1e55 + 43 x1e59
+ 43 x1e5a + 56 x1e5b + 56 x1e5c + 31 x1e5d + 3 x1e61
+ 24 x1e62 + 5 x1e6f + 5 x1e70 + 4 x1e76 + 4 x1e77
+ 11 x1e78 + 23 x1e79 + 1 x1e7a + 16 x1e7e + 63 x1e7f
+ 24 x1e81 + 24 x1e83 + 12 x1ea0 + 1144 x1ea9 + 12 x2083
+ 11 x2084 + 44 x208c + 44 x208d + 1 x2090 + 2 x2091
+ 15 x209c + 44 x2096 + 44 x2097 + 10 x216d + 39 x216e
+ 22 x217c + 18 x217d + 26 x2180 + 14 x2181 + 19 x2186
+ 20 x2187 + 23076 x21a0 + 8 x6843 + 8 x6844 + 16 x6849
+ 24 x684a + 49 x684b + 35 x684c + 31 x684d + 2 x685e
+ 16 x685f + 14 x6860 + 14 x6861 + 14 x6863 + 14 x6864
+ 14 x6865 + 15 x6866 + 26 x686f + 15 x6870 + 53 x6871
+ 62 x6872 + 44 x6873 + 40 x6874 + 49 x6875 + 31 x6876
+ 1 x6877 + 66 x687e + 27 x687f + 2 x6886 + 16 x6887
+ 14 x6892 + 14 x68a1 + 12257 x68ab + 28 x80d2 + 32 x80d3
+ 38 x80d4 + 37 x80e7 + 35 x80e6 + 35 x80e4 + 35 x80e5
+ 23 x80eb + 32 x80ec + 35 x80ed + 35 x80ee + 32 x80ea
+ 32 x80e8 + 32 x80e9 + 32 x80f2 + 32 x80f1 + 32 x80ef
+ 32 x80f0 + 18 x80f8 + 28 x80f9 + 40 x8101 + 40 x8102
+ 12 x8103 + 12 x8104 + 31 x8105 + 31 x8106 + 15 x8109
+ 15 x810a + 51 x810f + 46 x8110 + 40 x8111 + 23 x8112
+ 16 x8119 + 19 x811a + 1553 x8128 + 13 x83d8 + 13 x83d9
+ 26 x83de + 5 x83df + 13 x83e0 + 58 x83e1 + 31 x83ea
+ 31 x83e8 + 31 x83e9 + 39 x83eb + 39 x83ec + 46 x83ed
+ 34 x83ee + 4 x83f0 + 16 x83f1 + 54 x83f9 + 42 x83fa
+ 1 x83ff + 1 x8400 + 16 x8402 + 45 x8403 + 23 x8404
+ 65 x8405 + 3 x8409 + 1 x8411 + 132 x8412 + 48 x8430
+ 43 x8431 + 141 x843c + 48 x845e + 43 x845f + 141 x846a
+ 48 x848c + 43 x848d + 141 x8498 + 48 x84ba + 43 x84bb
+ 49 x84c6 + 49 x84d4 + 43 x84d5 + 49 x84e0 + 58 x84ee
+ 43 x84ef + 49 x84fa + 49 x8508 + 43 x8509 + 49 x8514
+ 48 x8522 + 43 x8523 + 25 x852e + 22 x859c + 22 x859d
+ 5 x85a2 + 5 x85a3 + 12 x85a4 + 20 x85a5 + 19 x85ae
+ 19 x85af + 19 x85b0 + 19 x85b1 + 33 x85b2 + 8 x85b3
+ 42 x85b4 + 42 x85b5 + 42 x85b6 + 11 x85bb + 42 x85bc
+ 63 x85c8 + 23 x85c9 + 81 x85cc + 41 x85cd + 37 x85ce
+ 10 x85cf + 1 x85d0 + 26 x85d6 + 13 x85d7 + 7 x85d8
+ 23 x85d9 + 13 x85de + 14 x85df + 28 x85e0 + 10 x85e1
+ 19 x85e2 + 13 x85e3 + 14 x85e4 + 28 x85e5 + 30 x85e6
+ 30 x85e7 + 34 x85ea + 34 x85eb + 2 x85ec + 2 x85ed
+ 9 x85ee + 2 x85f0 + 9 x85f1 + 2 x85f6 + 2 x85f7
+ 2 x85f8 + 2 x85f9 + 31 x85fa + 19 x85fb + 30 x85fe
+ 25 x85ff + 13 x8613 + 336 x8615 + 50 x869c + 19 x869d
+ 6 x86ab + 6 x86ac + 64 x86b9 + 90 x86bb + 101 x86ba
+ 33 x86bc + 47 x86be + 58 x86bd + 55 x86bf + 81 x86c1
+ 92 x86c0 + 4 x86c2 + 4 x86c3 + 33 x86c4 + 22 x86cb
+ 44 x86d3 + 452 x86e5 + 422 x86e6 + 3574 x86f5 + 13 x8928
+ 13 x8929 + 5 x892a
subject to
z = 0
o = 1
+1 x1 = +1
+1 x8928 +1 x8929 +1 x892a = +1
+1 x1 -1 x2 -1 x3 -1 x4 -1 x5 -1 x6 -1 x7 -1 x8
-1 x9 = +0
-1 x1a -1 x1b -1 x1c -1 x1d -1 x1e +1 x2 = +0
-1 x1f -1 x20 -1 x21 -1 x22 +1 x3 = +0
-1 x23 -1 x24 -1 x25 -1 x26 -1 x27 +1 x4 = +0
-1 x28 -1 x29 -1 x2a -1 x2b +1 x5 = +0
-1 x2d -1 x2e -1 x2f -1 x30 +1 x7 = +0
-1 x31 -1 x32 +1 x8 = +0
-1 x33 -1 x34 +1 x9 = +0
+1 x27 -1 x38 +1 x6 = +0
+1 x1a +1 x23 +1 x2d -1 x3b = +0
+1 x1b +1 x24 +1 x2e -1 x3c = +0
+1 x1c +1 x25 +1 x2f -1 x3d = +0
+1 x1d +1 x26 +1 x30 -1 x3e = +0
+1 x1f +1 x28 +1 x33 -1 x41 = +0
+1 x20 +1 x29 +1 x34 -1 x42 = +0
+1 x1e -1 x51 -1 x52 -1 x53 -1 x54 -1 x55 -1 x56 -1 x57
-1 x58 -1 x59 -1 x5a -1 x5b -1 x5c -1 x5d = +0
+1 x21 -1 x5e -1 x5f -1 x60 -1 x61 -1 x62 = +0
+1 x22 -1 x63 -1 x64 -1 x65 -1 x66 -1 x67 -1 x68 -1 x69
-1 x6a -1 x6b = +0
+1 x38 -1 x6c -1 x6d -1 x6e -1 x6f -1 x70 -1 x71 -1 x72
-1 x73 -1 x74 = +0
+1 x2a -1 x75 -1 x76 -1 x77 -1 x78 -1 x79 = +0
+1 x2b -1 x7a -1 x7b -1 x7c -1 x7d -1 x7e -1 x7f -1 x80
-1 x81 -1 x82 = +0
+1 x3b -1 x83 -1 x84 -1 x85 -1 x86 -1 x87 = +0
+1 x3c -1 x88 -1 x89 -1 x8a -1 x8b -1 x8c -1 x8d -1 x8e
-1 x8f -1 x90 -1 x91 = +0
+1 x3d -1 x92 -1 x93 -1 x94 -1 x95 -1 x96 = +0
+1 x3e -1 x97 -1 x98 -1 x99 -1 x9a -1 x9b -1 x9c -1 x9d
-1 x9e -1 x9f = +0
+1 x31 -1 xa0 -1 xa1 -1 xa2 -1 xa3 -1 xa4 = +0
+1 x32 -1 xa5 -1 xa6 -1 xa7 -1 xa8 -1 xa9 -1 xaa -1 xab
-1 xac -1 xad = +0
+1 x41 -1 xae -1 xaf -1 xb0 -1 xb1 -1 xb2 = +0
+1 x42 -1 xb3 -1 xb4 -1 xb5 -1 xb6 -1 xb7 -1 xb8 -1 xb9
-1 xba -1 xbb -1 xbc = +0
+1 x52 +1 x63 +1 x6c +1 x7a +1 x88 +1 x92 +1 xa5 +1 xb3
-1 xbe = +0
+1 x53 +1 x64 +1 x6d +1 x7b +1 x89 +1 x93 +1 x97 +1 xa6
+1 xb4 -1 xbf = +0
+1 x54 +1 x65 +1 x7c +1 x8a +1 x94 +1 x98 +1 xa7 +1 xb5
-1 xc0 = +0
+1 x55 +1 x66 +1 x6e +1 x7d +1 x8b +1 x95 +1 x99 +1 xa8
+1 xb6 -1 xc1 = +0
+1 x56 +1 x67 +1 x6f +1 x7e +1 x8c +1 xa9 +1 xb7 -1 xc2
= +0
+1 x57 +1 x68 +1 x70 +1 x7f +1 x8d +1 x9a +1 xaa +1 xb8
-1 xc3 = +0
+1 x58 +1 x69 +1 x80 +1 x8e +1 x9b +1 xab +1 xb9 -1 xc4
= +0
+1 x59 +1 x6a +1 x71 +1 x81 +1 x8f +1 x9c +1 xac +1 xba
-1 xc5 = +0
+1 x5a +1 x5e +1 x75 +1 x83 +1 xa0 +1 xae -1 xc6 = +0
+1 x5b +1 x5f +1 x76 +1 x84 +1 xa1 +1 xaf -1 xc7 = +0
+1 x5c +1 x60 +1 x77 +1 x85 +1 xa2 +1 xb0 -1 xc8 = +0
+1 x5d +1 x61 +1 x78 +1 x86 +1 xa3 +1 xb1 -1 xc9 = +0
+1 x82 +1 xad -1 xd2 = +0
+1 x62 +1 x79 +1 x87 +1 xa4 +1 xb2 -1 xd3 = +0
+1 x90 +1 xbb -1 xd4 = +0
+1 x91 +1 xbc -1 xd5 = +0
+1 xc2 -1 xf4 -1 xf5 = +0
+1 xc3 -1 xf6 -1 xf7 = +0
+1 xc4 -1 xf8 -1 xf9 = +0
+1 xc6 -1 xfb -1 xfc = +0
+1 xc7 -1 xfd -1 xfe = +0
-1 x100 +1 xc8 -1 xff = +0
-1 x104 -1 x105 +1 x73 = +0
-1 x109 -1 x10a +1 x9e = +0
-1 x114 +1 xf4 +1 xfb = +0
-1 x115 +1 xf5 +1 xfc = +0
-1 x116 +1 xf6 +1 xfd = +0
-1 x117 +1 xf7 +1 xfe = +0
-1 x118 +1 xf8 +1 xff = +0
+1 x100 -1 x119 +1 xf9 = +0
-1 x11e +1 x96 +1 xc1 = +0
-1 x124 +1 x74 +1 xc5 +1 xc9 +1 xd3 = +0
+1 x124 -1 x164 +1 x51 +1 x6b +1 x9f +1 xd2 = +0
+1 x11e -1 x166 +1 xd5 = +0
+1 x164 -1 x18b +1 x72 +1 x9d +1 xbe +1 xbf +1 xc0 = +0
+1 x104 +1 x109 +1 x114 +1 x116 +1 x118 -1 x18c +1 xd4 = +0
+1 x105 +1 x10a +1 x115 +1 x117 +1 x119 +1 x166 -1 x18d = +0
+1 x18b -1 x1b5 -1 x1b6 -1 x1b7 -1 x1b8 -1 x1b9 -1 x1ba -1 x1bb
-1 x1bc -1 x1bd -1 x1be -1 x1bf -1 x1c0 -1 x1c1 = +0
+1 x18c -1 x1c2 -1 x1c3 -1 x1c4 -1 x1c5 -1 x1c6 = +0
+1 x18d -1 x1c7 -1 x1c8 -1 x1c9 -1 x1ca -1 x1cb = +0
+1 x1b6 +1 x1c7 -1 x1cd = +0
+1 x1b7 +1 x1c8 -1 x1ce = +0
+1 x1b8 +1 x1c9 -1 x1cf = +0
+1 x1b9 +1 x1ca -1 x1d0 = +0
+1 x1ba +1 x1c2 -1 x1d1 = +0
+1 x1bb +1 x1c3 -1 x1d2 = +0
+1 x1bc +1 x1c4 -1 x1d3 = +0
+1 x1bd +1 x1c5 -1 x1d4 = +0
+1 x1d1 -1 x1ef -1 x1f0 = +0
+1 x1d2 -1 x1f1 -1 x1f2 = +0
+1 x1d3 -1 x1f3 -1 x1f4 = +0
+1 x1be -1 x1f6 -1 x1f7 = +0
+1 x1bf -1 x1f8 -1 x1f9 = +0
+1 x1c0 -1 x1fa -1 x1fb = +0
+1 x1ef +1 x1f6 -1 x202 = +0
+1 x1f0 +1 x1f7 -1 x203 = +0
+1 x1f1 +1 x1f8 -1 x204 = +0
+1 x1f2 +1 x1f9 -1 x205 = +0
+1 x1f3 +1 x1fa -1 x206 = +0
+1 x1f4 +1 x1fb -1 x207 = +0
+1 x1b5 +1 x1c1 +1 x1d4 -1 x208 = +0
+1 x1cb +1 x1d0 -1 x20a = +0
+1 x1cd +1 x1ce +1 x1cf +1 x208 -1 x247 = +0
+1 x1c6 +1 x202 +1 x204 +1 x206 -1 x248 = +0
+1 x203 +1 x205 +1 x207 +1 x20a -1 x249 = +0
+1 x247 -1 x271 -1 x272 -1 x273 -1 x274 -1 x275 -1 x276 -1 x277
-1 x278 -1 x279 -1 x27a -1 x27b -1 x27c -1 x27d = +0
+1 x248 -1 x27e -1 x27f -1 x280 -1 x281 -1 x282 = +0
+1 x249 -1 x283 -1 x284 -1 x285 -1 x286 -1 x287 = +0
+1 x272 +1 x283 -1 x289 = +0
+1 x273 +1 x284 -1 x28a = +0
+1 x274 +1 x285 -1 x28b = +0
+1 x275 +1 x286 -1 x28c = +0
+1 x276 +1 x27e -1 x28d = +0
+1 x277 +1 x27f -1 x28e = +0
+1 x278 +1 x280 -1 x28f = +0
+1 x279 +1 x281 -1 x290 = +0
+1 x28d -1 x2ab -1 x2ac = +0
+1 x28e -1 x2ad -1 x2ae = +0
+1 x28f -1 x2af -1 x2b0 = +0
+1 x27a -1 x2b2 -1 x2b3 = +0
+1 x27b -1 x2b4 -1 x2b5 = +0
+1 x27c -1 x2b6 -1 x2b7 = +0
+1 x2ab +1 x2b2 -1 x2be = +0
+1 x2ac +1 x2b3 -1 x2bf = +0
+1 x2ad +1 x2b4 -1 x2c0 = +0
+1 x2ae +1 x2b5 -1 x2c1 = +0
+1 x2af +1 x2b6 -1 x2c2 = +0
+1 x2b0 +1 x2b7 -1 x2c3 = +0
+1 x271 +1 x27d +1 x290 -1 x2c4 = +0
+1 x287 +1 x28c -1 x2c6 = +0
+1 x289 +1 x28a +1 x28b +1 x2c4 -1 x303 = +0
+1 x282 +1 x2be +1 x2c0 +1 x2c2 -1 x304 = +0
+1 x2bf +1 x2c1 +1 x2c3 +1 x2c6 -1 x305 = +0
+1 x303 -1 x32d -1 x32e -1 x32f -1 x330 -1 x331 -1 x332 -1 x333
-1 x334 -1 x335 -1 x336 -1 x337 -1 x338 -1 x339 = +0
+1 x304 -1 x33a -1 x33b -1 x33c -1 x33d -1 x33e = +0
+1 x305 -1 x33f -1 x340 -1 x341 -1 x342 -1 x343 = +0
+1 x32e +1 x33f -1 x345 = +0
+1 x32f +1 x340 -1 x346 = +0
+1 x330 +1 x341 -1 x347 = +0
+1 x331 +1 x342 -1 x348 = +0
+1 x332 +1 x33a -1 x349 = +0
+1 x333 +1 x33b -1 x34a = +0
+1 x334 +1 x33c -1 x34b = +0
+1 x335 +1 x33d -1 x34c = +0
+1 x349 -1 x367 -1 x368 = +0
+1 x34a -1 x369 -1 x36a = +0
+1 x34b -1 x36b -1 x36c = +0
+1 x336 -1 x36e -1 x36f = +0
+1 x337 -1 x370 -1 x371 = +0
+1 x338 -1 x372 -1 x373 = +0
+1 x367 +1 x36e -1 x37a = +0
+1 x368 +1 x36f -1 x37b = +0
+1 x369 +1 x370 -1 x37c = +0
+1 x36a +1 x371 -1 x37d = +0
+1 x36b +1 x372 -1 x37e = +0
+1 x36c +1 x373 -1 x37f = +0
+1 x32d +1 x339 +1 x34c -1 x380 = +0
+1 x343 +1 x348 -1 x382 = +0
+1 x345 +1 x346 +1 x347 +1 x380 -1 x3bf = +0
+1 x33e +1 x37a +1 x37c +1 x37e -1 x3c0 = +0
+1 x37b +1 x37d +1 x37f +1 x382 -1 x3c1 = +0
+1 x3bf -1 x3e9 -1 x3ea -1 x3eb -1 x3ec -1 x3ed -1 x3ee -1 x3ef
-1 x3f0 -1 x3f1 -1 x3f2 -1 x3f3 -1 x3f4 -1 x3f5 = +0
+1 x3c0 -1 x3f6 -1 x3f7 -1 x3f8 -1 x3f9 -1 x3fa = +0
+1 x3c1 -1 x3fb -1 x3fc -1 x3fd -1 x3fe -1 x3ff = +0
+1 x3ea +1 x3fb -1 x401 = +0
+1 x3eb +1 x3fc -1 x402 = +0
+1 x3ec +1 x3fd -1 x403 = +0
+1 x3ed +1 x3fe -1 x404 = +0
+1 x3ee +1 x3f6 -1 x405 = +0
+1 x3ef +1 x3f7 -1 x406 = +0
+1 x3f0 +1 x3f8 -1 x407 = +0
+1 x3f1 +1 x3f9 -1 x408 = +0
+1 x405 -1 x423 -1 x424 = +0
+1 x406 -1 x425 -1 x426 = +0
+1 x407 -1 x427 -1 x428 = +0
+1 x3f2 -1 x42a -1 x42b = +0
+1 x3f3 -1 x42c -1 x42d = +0
+1 x3f4 -1 x42e -1 x42f = +0
+1 x423 +1 x42a -1 x436 = +0
+1 x424 +1 x42b -1 x437 = +0
+1 x425 +1 x42c -1 x438 = +0
+1 x426 +1 x42d -1 x439 = +0
+1 x427 +1 x42e -1 x43a = +0
+1 x428 +1 x42f -1 x43b = +0
+1 x3e9 +1 x3f5 +1 x408 -1 x43c = +0
+1 x3ff +1 x404 -1 x43e = +0
+1 x401 +1 x402 +1 x403 +1 x43c -1 x47b = +0
+1 x3fa +1 x436 +1 x438 +1 x43a -1 x47c = +0
+1 x437 +1 x439 +1 x43b +1 x43e -1 x47d = +0
+1 x47b -1 x4a5 -1 x4a6 -1 x4a7 -1 x4a8 -1 x4a9 -1 x4aa -1 x4ab
-1 x4ac -1 x4ad -1 x4ae -1 x4af -1 x4b0 -1 x4b1 = +0
+1 x47c -1 x4b2 -1 x4b3 -1 x4b4 -1 x4b5 -1 x4b6 = +0
+1 x47d -1 x4b7 -1 x4b8 -1 x4b9 -1 x4ba -1 x4bb = +0
+1 x4a6 +1 x4b7 -1 x4bd = +0
+1 x4a7 +1 x4b8 -1 x4be = +0
+1 x4a8 +1 x4b9 -1 x4bf = +0
+1 x4a9 +1 x4ba -1 x4c0 = +0
+1 x4aa +1 x4b2 -1 x4c1 = +0
+1 x4ab +1 x4b3 -1 x4c2 = +0
+1 x4ac +1 x4b4 -1 x4c3 = +0
+1 x4ad +1 x4b5 -1 x4c4 = +0
+1 x4c1 -1 x4df -1 x4e0 = +0
+1 x4c2 -1 x4e1 -1 x4e2 = +0
+1 x4c3 -1 x4e3 -1 x4e4 = +0
+1 x4ae -1 x4e6 -1 x4e7 = +0
+1 x4af -1 x4e8 -1 x4e9 = +0
+1 x4b0 -1 x4ea -1 x4eb = +0
+1 x4df +1 x4e6 -1 x4f2 = +0
+1 x4e0 +1 x4e7 -1 x4f3 = +0
+1 x4e1 +1 x4e8 -1 x4f4 = +0
+1 x4e2 +1 x4e9 -1 x4f5 = +0
+1 x4e3 +1 x4ea -1 x4f6 = +0
+1 x4e4 +1 x4eb -1 x4f7 = +0
+1 x4a5 +1 x4b1 +1 x4c4 -1 x4f8 = +0
+1 x4bb +1 x4c0 -1 x4fa = +0
+1 x4bd +1 x4be +1 x4bf +1 x4f8 -1 x537 = +0
+1 x4b6 +1 x4f2 +1 x4f4 +1 x4f6 -1 x538 = +0
+1 x4f3 +1 x4f5 +1 x4f7 +1 x4fa -1 x539 = +0
+1 x537 -1 x561 -1 x562 -1 x563 -1 x564 -1 x565 -1 x566 -1 x567
-1 x568 -1 x569 -1 x56a -1 x56b -1 x56c -1 x56d = +0
+1 x538 -1 x56e -1 x56f -1 x570 -1 x571 -1 x572 = +0
+1 x539 -1 x573 -1 x574 -1 x575 -1 x576 -1 x577 = +0
+1 x562 +1 x573 -1 x579 = +0
+1 x563 +1 x574 -1 x57a = +0
+1 x564 +1 x575 -1 x57b = +0
+1 x565 +1 x576 -1 x57c = +0
+1 x566 +1 x56e -1 x57d = +0
+1 x567 +1 x56f -1 x57e = +0
+1 x568 +1 x570 -1 x57f = +0
+1 x569 +1 x571 -1 x580 = +0
+1 x57d -1 x59b -1 x59c = +0
+1 x57e -1 x59d -1 x59e = +0
+1 x57f -1 x59f -1 x5a0 = +0
+1 x56a -1 x5a2 -1 x5a3 = +0
+1 x56b -1 x5a4 -1 x5a5 = +0
+1 x56c -1 x5a6 -1 x5a7 = +0
+1 x59b +1 x5a2 -1 x5ae = +0
+1 x59c +1 x5a3 -1 x5af = +0
+1 x59d +1 x5a4 -1 x5b0 = +0
+1 x59e +1 x5a5 -1 x5b1 = +0
+1 x59f +1 x5a6 -1 x5b2 = +0
+1 x5a0 +1 x5a7 -1 x5b3 = +0
+1 x561 +1 x56d +1 x580 -1 x5b4 = +0
+1 x577 +1 x57c -1 x5b6 = +0
+1 x579 +1 x57a +1 x57b +1 x5b4 -1 x5f3 = +0
+1 x572 +1 x5ae +1 x5b0 +1 x5b2 -1 x5f4 = +0
+1 x5af +1 x5b1 +1 x5b3 +1 x5b6 -1 x5f5 = +0
+1 x5f3 -1 x61d -1 x61e -1 x61f -1 x620 -1 x621 -1 x622 -1 x623
-1 x624 -1 x625 -1 x626 -1 x627 -1 x628 -1 x629 = +0
+1 x5f4 -1 x62a -1 x62b -1 x62c -1 x62d -1 x62e = +0
+1 x5f5 -1 x62f -1 x630 -1 x631 -1 x632 -1 x633 = +0
+1 x61e +1 x62f -1 x635 = +0
+1 x61f +1 x630 -1 x636 = +0
+1 x620 +1 x631 -1 x637 = +0
+1 x621 +1 x632 -1 x638 = +0
+1 x622 +1 x62a -1 x639 = +0
+1 x623 +1 x62b -1 x63a = +0
+1 x624 +1 x62c -1 x63b = +0
+1 x625 +1 x62d -1 x63c = +0
+1 x639 -1 x657 -1 x658 = +0
+1 x63a -1 x659 -1 x65a = +0
+1 x63b -1 x65b -1 x65c = +0
+1 x626 -1 x65e -1 x65f = +0
+1 x627 -1 x660 -1 x661 = +0
+1 x628 -1 x662 -1 x663 = +0
+1 x657 +1 x65e -1 x66a = +0
+1 x658 +1 x65f -1 x66b = +0
+1 x659 +1 x660 -1 x66c = +0
+1 x65a +1 x661 -1 x66d = +0
+1 x65b +1 x662 -1 x66e = +0
+1 x65c +1 x663 -1 x66f = +0
+1 x61d +1 x629 +1 x63c -1 x670 = +0
+1 x633 +1 x638 -1 x672 = +0
+1 x635 +1 x636 +1 x637 +1 x670 -1 x6af = +0
+1 x62e +1 x66a +1 x66c +1 x66e -1 x6b0 = +0
+1 x66b +1 x66d +1 x66f +1 x672 -1 x6b1 = +0
+1 x6af -1 x6d9 -1 x6da -1 x6db -1 x6dc -1 x6dd -1 x6de -1 x6df
-1 x6e0 -1 x6e1 -1 x6e2 -1 x6e3 -1 x6e4 -1 x6e5 = +0
+1 x6b0 -1 x6e6 -1 x6e7 -1 x6e8 -1 x6e9 -1 x6ea = +0
+1 x6b1 -1 x6eb -1 x6ec -1 x6ed -1 x6ee -1 x6ef = +0
+1 x6da +1 x6eb -1 x6f1 = +0
+1 x6db +1 x6ec -1 x6f2 = +0
+1 x6dc +1 x6ed -1 x6f3 = +0
+1 x6dd +1 x6ee -1 x6f4 = +0
+1 x6de +1 x6e6 -1 x6f5 = +0
+1 x6df +1 x6e7 -1 x6f6 = +0
+1 x6e0 +1 x6e8 -1 x6f7 = +0
+1 x6e1 +1 x6e9 -1 x6f8 = +0
+1 x6f5 -1 x713 -1 x714 = +0
+1 x6f6 -1 x715 -1 x716 = +0
+1 x6f7 -1 x717 -1 x718 = +0
+1 x6e2 -1 x71a -1 x71b = +0
+1 x6e3 -1 x71c -1 x71d = +0
+1 x6e4 -1 x71e -1 x71f = +0
+1 x713 +1 x71a -1 x726 = +0
+1 x714 +1 x71b -1 x727 = +0
+1 x715 +1 x71c -1 x728 = +0
+1 x716 +1 x71d -1 x729 = +0
+1 x717 +1 x71e -1 x72a = +0
+1 x718 +1 x71f -1 x72b = +0
+1 x6d9 +1 x6e5 +1 x6f8 -1 x72c = +0
+1 x6ef +1 x6f4 -1 x72e = +0
+1 x6f1 +1 x6f2 +1 x6f3 +1 x72c -1 x76b = +0
+1 x6ea +1 x726 +1 x728 +1 x72a -1 x76c = +0
+1 x727 +1 x729 +1 x72b +1 x72e -1 x76d = +0
+1 x76b -1 x795 -1 x796 -1 x797 -1 x798 -1 x799 -1 x79a -1 x79b
-1 x79c -1 x79d -1 x79e -1 x79f -1 x7a0 -1 x7a1 = +0
+1 x76c -1 x7a2 -1 x7a3 -1 x7a4 -1 x7a5 -1 x7a6 = +0
+1 x76d -1 x7a7 -1 x7a8 -1 x7a9 -1 x7aa -1 x7ab = +0
+1 x796 +1 x7a7 -1 x7ad = +0
+1 x797 +1 x7a8 -1 x7ae = +0
+1 x798 +1 x7a9 -1 x7af = +0
+1 x799 +1 x7aa -1 x7b0 = +0
+1 x79a +1 x7a2 -1 x7b1 = +0
+1 x79b +1 x7a3 -1 x7b2 = +0
+1 x79c +1 x7a4 -1 x7b3 = +0
+1 x79d +1 x7a5 -1 x7b4 = +0
+1 x7b1 -1 x7cf -1 x7d0 = +0
+1 x7b2 -1 x7d1 -1 x7d2 = +0
+1 x7b3 -1 x7d3 -1 x7d4 = +0
+1 x79e -1 x7d6 -1 x7d7 = +0
+1 x79f -1 x7d8 -1 x7d9 = +0
+1 x7a0 -1 x7da -1 x7db = +0
+1 x7cf +1 x7d6 -1 x7e2 = +0
+1 x7d0 +1 x7d7 -1 x7e3 = +0
+1 x7d1 +1 x7d8 -1 x7e4 = +0
+1 x7d2 +1 x7d9 -1 x7e5 = +0
+1 x7d3 +1 x7da -1 x7e6 = +0
+1 x7d4 +1 x7db -1 x7e7 = +0
+1 x795 +1 x7a1 +1 x7b4 -1 x7e8 = +0
+1 x7ab +1 x7b0 -1 x7ea = +0
+1 x7ad +1 x7ae +1 x7af +1 x7e8 -1 x827 = +0
+1 x7a6 +1 x7e2 +1 x7e4 +1 x7e6 -1 x828 = +0
+1 x7e3 +1 x7e5 +1 x7e7 +1 x7ea -1 x829 = +0
+1 x827 -1 x851 -1 x852 -1 x853 -1 x854 -1 x855 -1 x856 -1 x857
-1 x858 -1 x859 -1 x85a -1 x85b -1 x85c -1 x85d = +0
+1 x828 -1 x85e -1 x85f -1 x860 -1 x861 -1 x862 = +0
+1 x829 -1 x863 -1 x864 -1 x865 -1 x866 -1 x867 = +0
+1 x852 +1 x863 -1 x869 = +0
+1 x853 +1 x864 -1 x86a = +0
+1 x854 +1 x865 -1 x86b = +0
+1 x855 +1 x866 -1 x86c = +0
+1 x856 +1 x85e -1 x86d = +0
+1 x857 +1 x85f -1 x86e = +0
+1 x858 +1 x860 -1 x86f = +0
+1 x859 +1 x861 -1 x870 = +0
+1 x86d -1 x88b -1 x88c = +0
+1 x86e -1 x88d -1 x88e = +0
+1 x86f -1 x88f -1 x890 = +0
+1 x85a -1 x892 -1 x893 = +0
+1 x85b -1 x894 -1 x895 = +0
+1 x85c -1 x896 -1 x897 = +0
+1 x88b +1 x892 -1 x89e = +0
+1 x88c +1 x893 -1 x89f = +0
+1 x88d +1 x894 -1 x8a0 = +0
+1 x88e +1 x895 -1 x8a1 = +0
+1 x88f +1 x896 -1 x8a2 = +0
+1 x890 +1 x897 -1 x8a3 = +0
+1 x851 +1 x85d +1 x870 -1 x8a4 = +0
+1 x867 +1 x86c -1 x8a6 = +0
+1 x869 +1 x86a +1 x86b +1 x8a4 -1 x8e3 = +0
+1 x862 +1 x89e +1 x8a0 +1 x8a2 -1 x8e4 = +0
+1 x89f +1 x8a1 +1 x8a3 +1 x8a6 -1 x8e5 = +0
+1 x8e3 -1 x90d -1 x90e -1 x90f -1 x910 -1 x911 -1 x912 -1 x913
-1 x914 -1 x915 -1 x916 -1 x917 -1 x918 -1 x919 = +0
+1 x8e4 -1 x91a -1 x91b -1 x91c -1 x91d -1 x91e = +0
+1 x8e5 -1 x91f -1 x920 -1 x921 -1 x922 -1 x923 = +0
+1 x90e +1 x91f -1 x925 = +0
+1 x90f +1 x920 -1 x926 = +0
+1 x910 +1 x921 -1 x927 = +0
+1 x911 +1 x922 -1 x928 = +0
+1 x912 +1 x91a -1 x929 = +0
+1 x913 +1 x91b -1 x92a = +0
+1 x914 +1 x91c -1 x92b = +0
+1 x915 +1 x91d -1 x92c = +0
+1 x929 -1 x947 -1 x948 = +0
+1 x92a -1 x949 -1 x94a = +0
+1 x92b -1 x94b -1 x94c = +0
+1 x916 -1 x94e -1 x94f = +0
+1 x917 -1 x950 -1 x951 = +0
+1 x918 -1 x952 -1 x953 = +0
+1 x947 +1 x94e -1 x95a = +0
+1 x948 +1 x94f -1 x95b = +0
+1 x949 +1 x950 -1 x95c = +0
+1 x94a +1 x951 -1 x95d = +0
+1 x94b +1 x952 -1 x95e = +0
+1 x94c +1 x953 -1 x95f = +0
+1 x90d +1 x919 +1 x92c -1 x960 = +0
+1 x923 +1 x928 -1 x962 = +0
+1 x925 +1 x926 +1 x927 +1 x960 -1 x99f = +0
+1 x91e +1 x95a +1 x95c +1 x95e -1 x9a0 = +0
+1 x95b +1 x95d +1 x95f +1 x962 -1 x9a1 = +0
+1 x99f -1 x9c9 -1 x9ca -1 x9cb -1 x9cc -1 x9cd -1 x9ce -1 x9cf
-1 x9d0 -1 x9d1 -1 x9d2 -1 x9d3 -1 x9d4 -1 x9d5 = +0
+1 x9a0 -1 x9d6 -1 x9d7 -1 x9d8 -1 x9d9 -1 x9da = +0
+1 x9a1 -1 x9db -1 x9dc -1 x9dd -1 x9de -1 x9df = +0
+1 x9ca +1 x9db -1 x9e1 = +0
+1 x9cb +1 x9dc -1 x9e2 = +0
+1 x9cc +1 x9dd -1 x9e3 = +0
+1 x9cd +1 x9de -1 x9e4 = +0
+1 x9ce +1 x9d6 -1 x9e5 = +0
+1 x9cf +1 x9d7 -1 x9e6 = +0
+1 x9d0 +1 x9d8 -1 x9e7 = +0
+1 x9d1 +1 x9d9 -1 x9e8 = +0
+1 x9e5 -1 xa03 -1 xa04 = +0
+1 x9e6 -1 xa05 -1 xa06 = +0
+1 x9e7 -1 xa07 -1 xa08 = +0
+1 x9d2 -1 xa0a -1 xa0b = +0
+1 x9d3 -1 xa0c -1 xa0d = +0
+1 x9d4 -1 xa0e -1 xa0f = +0
+1 xa03 +1 xa0a -1 xa16 = +0
+1 xa04 +1 xa0b -1 xa17 = +0
+1 xa05 +1 xa0c -1 xa18 = +0
+1 xa06 +1 xa0d -1 xa19 = +0
+1 xa07 +1 xa0e -1 xa1a = +0
+1 xa08 +1 xa0f -1 xa1b = +0
+1 x9c9 +1 x9d5 +1 x9e8 -1 xa1c = +0
+1 x9df +1 x9e4 -1 xa1e = +0
-1 x13a0 -1 x13a1 +1 xa1c = +0
-1 x13be -1 x13bf +1 xa1e = +0
-1 x13c0 -1 x13c1 +1 x9da = +0
+1 x13a0 -1 x13c2 -1 x13c3 = +0
-1 x13c5 -1 x13c6 +1 xa1b = +0
-1 x13c7 -1 x13c8 +1 xa1a = +0
-1 x13c9 -1 x13ca +1 xa19 = +0
-1 x13cb -1 x13cc +1 xa18 = +0
-1 x13cd -1 x13ce +1 xa17 = +0
-1 x13cf -1 x13d0 +1 xa16 = +0
-1 x13d1 -1 x13d2 +1 x9e3 = +0
-1 x13d3 -1 x13d4 +1 x9e2 = +0
-1 x13d5 -1 x13d6 +1 x9e1 = +0
+1 x13be +1 x13c5 +1 x13c9 +1 x13cd -1 x13d8 = +0
+1 x13bf +1 x13c6 +1 x13ca +1 x13ce -1 x13d9 = +0
+1 x13c0 +1 x13c7 +1 x13cb +1 x13cf -1 x13da = +0
+1 x13c1 +1 x13c8 +1 x13cc +1 x13d0 -1 x13db = +0
+1 x13c2 +1 x13d1 +1 x13d3 +1 x13d5 -1 x13dc = +0
+1 x13c3 +1 x13d2 +1 x13d4 +1 x13d6 -1 x13dd = +0
+1 x13a1 -1 x13e5 -1 x13e6 = +0
+1 x13dc +1 x13e5 -1 x140a = +0
+1 x13d9 +1 x13db +1 x13dd +1 x140a -1 x141d = +0
+1 x13e6 +1 x141d -1 x1428 = +0
+1 x13d8 -1 x142c -1 x142d = +0
+1 x13da -1 x142e -1 x142f = +0
+1 x1428 -1 x1430 -1 x1431 = +0
+1 x142c +1 x142d -1 x1444 = +0
+1 x142f +1 x1430 +1 x1431 -1 x1446 = +0
+1 x1444 -1 x1480 -1 x1481 = +0
+1 x142e -1 x1482 -1 x1483 = +0
+1 x1446 -1 x1484 -1 x1485 = +0
+1 x1480 +1 x1481 -1 x1498 = +0
+1 x1483 +1 x1484 +1 x1485 -1 x149a = +0
+1 x1498 -1 x14d4 -1 x14d5 = +0
+1 x1482 -1 x14d6 -1 x14d7 = +0
+1 x149a -1 x14d8 -1 x14d9 = +0
+1 x14d4 +1 x14d5 -1 x14ec = +0
+1 x14d7 +1 x14d8 +1 x14d9 -1 x14ee = +0
+1 x14ec -1 x1528 -1 x1529 = +0
+1 x14d6 -1 x152a -1 x152b = +0
+1 x14ee -1 x152c -1 x152d = +0
+1 x1528 +1 x1529 -1 x1540 = +0
+1 x152b +1 x152c +1 x152d -1 x1542 = +0
+1 x1540 -1 x157c -1 x157d = +0
+1 x152a -1 x157e -1 x157f = +0
+1 x1542 -1 x1580 -1 x1581 = +0
+1 x157c +1 x157d -1 x1594 = +0
+1 x157f +1 x1580 +1 x1581 -1 x1596 = +0
+1 x1594 -1 x15d0 -1 x15d1 = +0
+1 x157e -1 x15d2 -1 x15d3 = +0
+1 x1596 -1 x15d4 -1 x15d5 = +0
+1 x15d0 +1 x15d1 -1 x15e8 = +0
+1 x15d3 +1 x15d4 +1 x15d5 -1 x15ea = +0
+1 x15e8 -1 x1624 -1 x1625 = +0
+1 x15d2 -1 x1626 -1 x1627 = +0
+1 x15ea -1 x1628 -1 x1629 = +0
+1 x1624 +1 x1625 -1 x163c = +0
+1 x1627 +1 x1628 +1 x1629 -1 x163e = +0
+1 x163c -1 x1678 -1 x1679 = +0
+1 x1626 -1 x167a -1 x167b = +0
+1 x163e -1 x167c -1 x167d = +0
+1 x1678 +1 x1679 -1 x1690 = +0
+1 x167b +1 x167c +1 x167d -1 x1692 = +0
+1 x1690 -1 x16cc -1 x16cd = +0
+1 x167a -1 x16ce -1 x16cf = +0
+1 x1692 -1 x16d0 -1 x16d1 = +0
+1 x16cc +1 x16cd -1 x16e4 = +0
+1 x16cf +1 x16d0 +1 x16d1 -1 x16e6 = +0
+1 x16e4 -1 x1720 -1 x1721 = +0
+1 x16ce -1 x1722 -1 x1723 = +0
+1 x16e6 -1 x1724 -1 x1725 = +0
+1 x1720 +1 x1721 -1 x1738 = +0
+1 x1723 +1 x1724 +1 x1725 -1 x173a = +0
+1 x1738 -1 x1774 -1 x1775 = +0
+1 x1722 -1 x1776 -1 x1777 = +0
+1 x173a -1 x1778 -1 x1779 = +0
+1 x1774 +1 x1775 -1 x178c = +0
+1 x1777 +1 x1778 +1 x1779 -1 x178e = +0
+1 x178c -1 x17c8 -1 x17c9 = +0
+1 x1776 -1 x17ca -1 x17cb = +0
+1 x178e -1 x17cc -1 x17cd = +0
+1 x17c8 +1 x17c9 -1 x17e0 = +0
+1 x17cb +1 x17cc +1 x17cd -1 x17e2 = +0
+1 x17e0 -1 x1a65 -1 x1a66 -1 x1a67 = +0
+1 x17ca -1 x1a68 -1 x1a69 -1 x1a6a = +0
+1 x17e2 -1 x1a6b -1 x1a6c -1 x1a6d = +0
+1 x1a65 +1 x1a68 +1 x1a6b -1 x1a6e = +0
+1 x1a66 +1 x1a69 +1 x1a6c -1 x1a6f = +0
+1 x1a67 +1 x1a6a +1 x1a6d -1 x1a70 = +0
+1 x1a6e -1 x1a74 -1 x1a75 = +0
+1 x1a6f -1 x1a76 -1 x1a77 -1 x1a78 = +0
+1 x1a70 -1 x1a79 -1 x1a7a -1 x1a7b -1 x1a7c -1 x1a7d = +0
+1 x1a76 +1 x1a79 -1 x1a82 = +0
+1 x1a77 +1 x1a7a -1 x1a83 = +0
+1 x1a78 +1 x1a7b -1 x1a84 = +0
+1 x1a74 -1 x1a8c -1 x1a8d = +0
+1 x1a75 -1 x1a8e -1 x1a8f = +0
+1 x1a7c -1 x1a90 -1 x1a91 = +0
+1 x1a7d -1 x1a92 -1 x1a93 = +0
+1 x1a84 -1 x1a96 -1 x1a97 = +0
+1 x1a83 +1 x1a8e +1 x1a90 +1 x1a92 +1 x1a96 -1 x1a98 = +0
+1 x1a8f +1 x1a91 +1 x1a97 -1 x1a99 = +0
+1 x1a98 -1 x1a9e -1 x1a9f -1 x1aa0 = +0
+1 x1a8c -1 x1aa4 -1 x1aa5 = +0
+1 x1a9e +1 x1aa4 -1 x1aa7 = +0
+1 x1a82 +1 x1a8d +1 x1a93 +1 x1a99 +1 x1a9f +1 x1aa5 -1 x1aa8 = +0
+1 x1aa0 +1 x1aa8 -1 x1ab0 = +0
+1 x1aa7 +1 x1ab0 -1 x1ab4 = +0
+1 x1ab4 -1 x1c98 -1 x1c99 = +0
+1 x1c98 -1 x1cb0 +0 x1cb1 = +0
+1 x1c99 -1 x1ca1 -1 x1ca2 = +0
+1 x1ca1 -1 x1ca5 +1 x1caa = +0
+1 x1ca2 -1 x1ca6 +1 x1cab = +0
+1 x1ca5 -1 x1cb2 +0 x1cb3 = +0
+1 x1ca6 -1 x1caa -1 x1cab = +0
+1 x1cb0 -1 x1e46 -1 x1e47 = +0
+1 x1cb2 -1 x1e48 -1 x1e49 = +0
+1 x1e46 +1 x1e48 -1 x1e4a = +0
+1 x1e47 +1 x1e49 -1 x1e4b = +0
+1 x1e4a -1 x1e54 -1 x1e55 -1 x1e56 -1 x1e57 -1 x1e58 = +0
+1 x1e4b -1 x1e59 -1 x1e5a -1 x1e5b -1 x1e5c -1 x1e5d = +0
+1 x1e54 +1 x1e59 -1 x1e61 = +0
+1 x1e55 +1 x1e5a -1 x1e62 = +0
+1 x1e57 -1 x1e6f -1 x1e70 = +0
+1 x1e5d -1 x1e76 -1 x1e77 = +0
+1 x1e61 +1 x1e6f +1 x1e76 -1 x1e78 = +0
+1 x1e70 +1 x1e77 -1 x1e79 = +0
+1 x1e56 +1 x1e58 +1 x1e5b +1 x1e5c -1 x1e7a = +0
+1 x1e7a -1 x1e7e -1 x1e7f = +0
+1 x1e78 +1 x1e7e -1 x1e81 = +0
+1 x1e62 +1 x1e79 -1 x1e83 = +0
+1 x1e81 +1 x1e83 -1 x1ea0 = +0
+1 x1e7f +1 x1ea0 -1 x1ea9 = +0
+1 x1ea9 -1 x2083 -1 x2084 = +0
+1 x2083 -1 x208c -1 x208d = +0
+1 x208c -1 x2090 +1 x2096 = +0
+1 x208d -1 x2091 +1 x2097 = +0
+1 x2084 +1 x2090 -1 x209c +0 x209d = +0
+1 x2091 -1 x2096 -1 x2097 = +0
+1 x209c -1 x216d -1 x216e = +0
+1 x216d -1 x217c -1 x217d = +0
+1 x216e -1 x2180 -1 x2181 = +0
+1 x217d +1 x2181 -1 x2186 = +0
+1 x217c +1 x2180 -1 x2187 = +0
+1 x2186 +1 x2187 -1 x21a0 = +0
+1 x21a0 -1 x6843 -1 x6844 = +0
+1 x6843 -1 x6849 -1 x684a = +0
+1 x6844 -1 x684b -1 x684c = +0
+1 x6849 +1 x684b -1 x684d = +0
+1 x684a -1 x685e -1 x685f = +0
+1 x685e -1 x6860 -1 x6861 = +0
+1 x684c +1 x684d -1 x6863 -1 x6864 -1 x6865 = +0
+1 x6860 +1 x6863 -1 x6866 = +0
+1 x6861 +1 x6864 -1 x6867 = +0
+1 x6867 -1 x686f -1 x6870 = +0
+1 x6865 -1 x6871 -1 x6872 -1 x6873 = +0
+1 x685f -1 x6874 -1 x6875 -1 x6876 = +0
+1 x6866 +1 x6871 +1 x6874 -1 x6877 = +0
+1 x6877 -1 x687e -1 x687f = +0
+1 x6870 +1 x6873 +1 x6876 -1 x6886 = +0
+1 x686f +1 x6872 +1 x6875 -1 x6887 = +0
+1 x687f +1 x6886 -1 x6892 = +0
+1 x6887 +1 x6892 -1 x68a1 = +0
+1 x687e +1 x68a1 -1 x68ab = +0
+1 x68ab -1 x80d2 -1 x80d3 -1 x80d4 = +0
+1 x80d2 -1 x80e4 -1 x80e5 -1 x80e6 -1 x80e7 = +0
+1 x80d3 -1 x80e8 -1 x80e9 -1 x80ea -1 x80eb -1 x80ec -1 x80ed -1 x80ee
= +0
+1 x80d4 -1 x80ef -1 x80f0 -1 x80f1 -1 x80f2 = +0
+1 x80e7 +1 x80eb +1 x80f2 -1 x80f3 = +0
+1 x80e6 +1 x80ea +1 x80f1 -1 x80f7 = +0
+1 x80e4 +1 x80e8 +1 x80ef -1 x80f8 = +0
+1 x80e5 +1 x80e9 +1 x80f0 -1 x80f9 = +0
+1 x80f3 -1 x8101 -1 x8102 -1 x8103 -1 x8104 = +0
+1 x80ec -1 x8105 -1 x8106 = +0
+1 x80f7 -1 x8109 -1 x810a = +0
+1 x8101 +1 x8105 +1 x8109 -1 x810f = +0
+1 x8102 +1 x8106 +1 x810a -1 x8110 = +0
+1 x80ee +1 x8103 -1 x8111 = +0
+1 x80ed +1 x8104 -1 x8112 = +0
+1 x80f8 +1 x8112 -1 x8119 = +0
+1 x80f9 +1 x810f +1 x8111 -1 x811a = +0
+1 x8110 +1 x8119 +1 x811a -1 x8128 = +0
+1 x8128 -1 x83d8 -1 x83d9 = +0
+1 x83d8 -1 x83de -1 x83df = +0
+1 x83d9 -1 x83e0 -1 x83e1 = +0
+1 x83de +1 x83e1 -1 x83e3 = +0
+1 x83e0 -1 x83e8 -1 x83e9 -1 x83ea = +0
+1 x83e3 -1 x83eb -1 x83ec = +0
+1 x83df -1 x83ed -1 x83ee = +0
+1 x83e8 +1 x83eb -1 x83f0 = +0
+1 x83e9 +1 x83ec -1 x83f1 = +0
+1 x83ea -1 x83f9 -1 x83fa = +0
+1 x83ee +1 x83f0 -1 x83ff = +0
+1 x83ed +1 x83f1 +1 x83f9 -1 x8400 = +0
+1 x83ff -1 x8402 -1 x8403 = +0
+1 x8400 -1 x8404 -1 x8405 = +0
+1 x83fa +1 x8403 +1 x8405 -1 x8409 = +0
+1 x8402 +1 x8404 -1 x8411 = +0
+1 x8409 +1 x8411 -1 x8412 = +0
+1 x8412 -1 x8430 -1 x8431 = +0
+1 x8430 +1 x8431 -1 x843c = +0
+1 x843c -1 x845e -1 x845f = +0
+1 x845e +1 x845f -1 x846a = +0
+1 x846a -1 x848c -1 x848d = +0
+1 x848c +1 x848d -1 x8498 = +0
+1 x8498 -1 x84ba -1 x84bb = +0
+1 x84ba +1 x84bb -1 x84c6 = +0
+1 x84c6 -1 x84d4 -1 x84d5 = +0
+1 x84d4 +1 x84d5 -1 x84e0 = +0
+1 x84e0 -1 x84ee -1 x84ef = +0
+1 x84ee +1 x84ef -1 x84fa = +0
+1 x84fa -1 x8508 -1 x8509 = +0
+1 x8508 +1 x8509 -1 x8514 = +0
+1 x8514 -1 x8522 -1 x8523 = +0
+1 x8522 +1 x8523 -1 x852e = +0
+1 x852e -1 x859c -1 x859d = +0
+1 x859c -1 x85a2 -1 x85a3 = +0
+1 x859d -1 x85a4 -1 x85a5 = +0
+1 x85a2 -1 x85ae -1 x85af -1 x85b0 = +0
+1 x85a3 -1 x85b1 -1 x85b2 -1 x85b3 = +0
+1 x85a4 -1 x85b4 -1 x85b5 -1 x85b6 = +0
+1 x85ae +1 x85b4 -1 x85bb = +0
+1 x85af +1 x85b5 -1 x85bc = +0
+1 x85b0 +1 x85b6 -1 x85bd = +0
+1 x85b3 -1 x85c8 -1 x85c9 = +0
+1 x85bd -1 x85cc -1 x85cd = +0
+1 x85a5 -1 x85ce -1 x85cf = +0
+1 x85b2 +1 x85bc +1 x85c8 +1 x85cc +1 x85ce -1 x85d0 = +0
+1 x85d0 -1 x85d6 -1 x85d7 = +0
+1 x85cf -1 x85d8 -1 x85d9 = +0
+1 x85b1 -1 x85de -1 x85df -1 x85e0 = +0
+1 x85c9 +1 x85cd -1 x85e1 -1 x85e2 = +0
+1 x85bb -1 x85e3 -1 x85e4 -1 x85e5 = +0
+1 x85d8 -1 x85e6 -1 x85e7 = +0
+1 x85d7 -1 x85ea -1 x85eb = +0
+1 x85de +1 x85e3 -1 x85ec = +0
+1 x85df +1 x85e4 -1 x85ed = +0
+1 x85e1 +1 x85e6 +1 x85ea -1 x85ee = +0
+1 x85d6 +1 x85d9 +1 x85e0 +1 x85e5 -1 x85f0 = +0
+1 x85e7 +1 x85eb -1 x85f1 = +0
+1 x85e2 +1 x85ec +1 x85ee +1 x85f0 +1 x85f1 -1 x85f2 = +0
+1 x85f2 -1 x85f6 -1 x85f7 = +0
+1 x85ed -1 x85f8 -1 x85f9 = +0
+1 x85f6 +1 x85f8 -1 x85fa = +0
+1 x85f7 +1 x85f9 -1 x85fb = +0
+1 x85fb -1 x85fe -1 x85ff = +0
+1 x85fa +1 x85ff -1 x8613 = +0
+1 x85fe +1 x8613 -1 x8615 = +0
+1 x8615 -1 x869c -1 x869d = +0
+1 x869d -1 x86ab -1 x86ac = +0
+1 x869c -1 x86b9 -1 x86ba -1 x86bb = +0
+1 x86ab -1 x86bc -1 x86bd -1 x86be = +0
+1 x86ac -1 x86bf -1 x86c0 -1 x86c1 = +0
+1 x86b9 +1 x86bc +1 x86bf -1 x86c2 = +0
+1 x86bb +1 x86be +1 x86c1 -1 x86c3 = +0
+1 x86ba +1 x86bd +1 x86c0 -1 x86c4 = +0
+1 x86c2 +1 x86c3 -1 x86cb = +0
+1 x86c4 +1 x86cb -1 x86d3 = +0
+1 x86d3 -1 x86e5 -1 x86e6 = +0
+1 x86e5 +1 x86e6 -1 x86f5 = +0
+1 x86f5 -1 x8928 -1 x8929 -1 x892a = +0
-1 x1a74 -1 x1a75 -1 x1a7c -1 x1a7d -1 x1a82 -1 x1a83 -1 x1a84 +1 x1cb0
+1 x1cb2 = +0
-1 x1e56 -1 x1e57 -1 x1e58 -1 x1e5b -1 x1e5c -1 x1e5d -1 x1e61 -1 x1e62
+1 x209c = +0
-1 x216d -1 x216e +1 x21a0 = +0
-1 x684a -1 x684c -1 x684d +1 x68ab = +0
-1 x80ec -1 x80ed -1 x80ee -1 x80f3 -1 x80f7 -1 x80f8 -1 x80f9 +1 x8128
= +0
-1 x83ea -1 x83ed -1 x83ee -1 x83f0 -1 x83f1 +1 x852e = +0
-1 x85a5 -1 x85b1 -1 x85b2 -1 x85b3 -1 x85bb -1 x85bc -1 x85bd +1 x8615
= +0
-1 x869c -1 x869d +1 x86f5 = +0
-1 x1a6e -1 x1a6f -1 x1a70 +1 x1e4a +1 x1e4b = +0
-1 x1e4a -1 x1e4b +1 x209c = +0
-1 x209c +1 x6843 +1 x6844 = +0
-1 x684a -1 x684c -1 x684d +1 x80d2 +1 x80d3 +1 x80d4 = +0
-1 x80d2 -1 x80d3 -1 x80d4 +1 x83d8 +1 x83d9 = +0
-1 x83df -1 x83e0 -1 x83e3 +1 x859c +1 x859d = +0
-1 x85a2 -1 x85a3 -1 x85a4 -1 x85a5 +1 x8615 = +0
-1 x8615 +1 x86f5 = +0
-1 x2 -1 x3 -1 x4 -1 x5 -1 x6 -1 x7 -1 x8 -1 x9
+1 x9da +1 x9e1 +1 x9e2 +1 x9e3 +1 xa16 +1 xa17 +1 xa18 +1 xa19
+1 xa1a +1 xa1b +1 xa1c +1 xa1e = +0
-1 x13a0 -1 x13a1 +1 x17ca +1 x17e0 +1 x17e2 -1 x9da -1 x9e1 -1 x9e2
-1 x9e3 -1 xa16 -1 xa17 -1 xa18 -1 xa19 -1 xa1a -1 xa1b -1 xa1e
= +0
-1 x1aa0 -1 x1aa7 -1 x1aa8 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0
-1 x1ab4 +1 x1cb0 +1 x1cb2 = +0