-
Notifications
You must be signed in to change notification settings - Fork 0
/
value_19830325.lp
3768 lines (3768 loc) · 93.4 KB
/
value_19830325.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: 84 x3084 + 84 x3085 + 84 x3086 + 84 x3087
+ 84 x3088 + 84 x3089 + 84 x308a + 84 x308b + 84 x308c
+ 85 x308d + 85 x308e + 85 x308f + 86 x3090 + 416 x30a0
+ 299 x30a1 + 448 x30a2 + 267 x30a3 + 225 x30ad + 109 x30ae
+ 81 x30b0 + 81 x30b1 + 391 x30c5 + 327 x30c7 + 120 x30b6
+ 84 x30bb + 84 x30bc + 84 x30be + 84 x30bf + 110 x30e5
+ 110 x30e6 + 85 x30e9 + 85 x30ea + 75 x30ed + 75 x30ee
+ 28 x30f1 + 28 x30f2 + 36 x30f5 + 36 x30f6 + 32 x30f9
+ 32 x30fa + 22 x3115 + 31 x3116 + 10 x3117 + 10 x3118
+ 21 x3119 + 30 x311a + 14 x311b + 14 x311c + 14 x3420
+ 5 x311d + 56 x3128 + 56 x3129 + 205 x312a + 205 x312b
+ 203 x312c + 203 x312d + 209 x312e + 209 x312f + 180 x3134
+ 180 x3135 + 180 x3136 + 180 x3137 + 16 x313a + 16 x313b
+ 56 x313e + 56 x313f + 16 x3142 + 16 x3143 + 56 x3146
+ 56 x3147 + 16 x314a + 16 x314b + 56 x314e + 56 x314f
+ 16 x3152 + 16 x3153 + 56 x3156 + 56 x3157 + 8 x3194
+ 8 x3195 + 12 x3196 + 7 x3197 + 20 x3198 + 15 x3199
+ 38 x319a + 33 x319b + 16 x319c + 11 x319d + 29 x319e
+ 29 x319f + 12 x31a0 + 7 x31a1 + 26 x31a2 + 26 x31a3
+ 8 x31a4 + 8 x31a5 + 14 x33fd + 14 x33ff + 14 x3401
+ 14 x3403 + 14 x3405 + 14 x3407 + 41 x3409 + 5 x31a6
+ 5 x31a7 + 16 x31bd + 16 x31be + 16 x31bf + 16 x31c0
+ 232 x31c1 + 232 x31c2 + 253 x31c3 + 253 x31c4 + 228 x31c5
+ 228 x31c6 + 190 x31c7 + 190 x31c8 + 224 x31c9 + 224 x31ca
+ 272 x31cb + 272 x31cc + 220 x31d3 + 220 x31d4 + 164 x31d5
+ 164 x31d6 + 180 x31d7 + 180 x31d8 + 13 x31dd + 8 x31de
+ 56 x31e9 + 56 x31ea + 56 x31eb + 56 x31ec + 180 x31f1
+ 180 x31f2 + 180 x31f3 + 180 x31f4 + 13 x31f9 + 8 x31fa
+ 16 x3203 + 16 x3204 + 16 x3205 + 16 x3206 + 220 x320b
+ 220 x320c + 164 x320d + 164 x320e + 13 x3213 + 8 x3214
+ 56 x321d + 56 x321e + 56 x321f + 56 x3220 + 180 x3225
+ 180 x3226 + 164 x3227 + 164 x3228 + 16 x322d + 16 x322e
+ 13 x3236 + 8 x3237 + 12 x3238 + 7 x3239 + 16 x3244
+ 16 x3245 + 16 x3246 + 16 x3247 + 220 x324c + 220 x324d
+ 164 x324e + 164 x324f + 13 x3254 + 8 x3255 + 56 x325e
+ 56 x325f + 56 x3260 + 56 x3261 + 180 x3266 + 180 x3267
+ 164 x3268 + 164 x3269 + 13 x3272 + 8 x3273 + 12 x3274
+ 7 x3275 + 16 x3280 + 16 x3281 + 16 x3282 + 16 x3283
+ 220 x3288 + 220 x3289 + 164 x328a + 164 x328b + 13 x3290
+ 8 x3291 + 56 x329a + 56 x329b + 56 x329c + 56 x329d
+ 180 x32a2 + 180 x32a3 + 180 x32a4 + 180 x32a5 + 13 x32aa
+ 8 x32ab + 16 x32b4 + 16 x32b5 + 164 x32b8 + 164 x32b9
+ 13 x32be + 8 x32bf + 56 x32c6 + 56 x32c7 + 180 x32ca
+ 180 x32cb + 13 x32d0 + 8 x32d1 + 16 x32d8 + 16 x32d9
+ 164 x32dc + 164 x32dd + 13 x32e2 + 8 x32e3 + 56 x32ea
+ 56 x32eb + 180 x32ee + 180 x32ef + 13 x32f4 + 8 x32f5
+ 16 x32fc + 16 x32fd + 164 x3300 + 164 x3301 + 13 x3306
+ 8 x3307 + 56 x330e + 56 x330f + 180 x3312 + 180 x3313
+ 13 x3318 + 8 x3319 + 16 x3320 + 16 x3321 + 164 x3324
+ 164 x3325 + 13 x332a + 8 x332b + 56 x3332 + 56 x3333
+ 180 x3336 + 180 x3337 + 13 x333c + 8 x333d + 16 x3344
+ 16 x3345 + 164 x3348 + 164 x3349 + 13 x334e + 8 x334f
+ 56 x3356 + 56 x3357 + 180 x335a + 180 x335b + 13 x3360
+ 8 x3361 + 16 x3368 + 16 x3369 + 164 x336c + 164 x336d
+ 13 x3372 + 8 x3373 + 56 x337a + 56 x337b + 180 x337e
+ 180 x337f + 13 x3384 + 8 x3385 + 16 x338c + 16 x338d
+ 164 x3390 + 164 x3391 + 13 x3396 + 8 x3397 + 56 x339e
+ 56 x339f + 180 x33a2 + 180 x33a3 + 13 x33a8 + 8 x33a9
+ 16 x33b0 + 16 x33b1 + 164 x33b4 + 164 x33b5 + 16 x33b8
+ 16 x33b9 + 13 x33bf + 8 x33c0 + 56 x33c7 + 56 x33c8
+ 180 x33cb + 180 x33cc + 13 x33d1 + 8 x33d2 + 16 x33d9
+ 16 x33da + 164 x33dd + 164 x33de + 12 x33e3 + 7 x33e4
+ 56 x33eb + 56 x33ec + 180 x33ef + 180 x33f0 + 13 x33f5
+ 8 x33f6 + 39 x346e + 39 x346f + 39 x3470 + 39 x3471
+ 126 x3472 + 266 x3473 + 129 x3474 + 289 x3475 + 142 x3476
+ 310 x3477 + 39 x3478 + 285 x3479 + 39 x347a + 247 x347b
+ 129 x347c + 281 x347d + 134 x347e + 302 x347f + 88 x42ef
+ 112 x42f0 + 90 x42f1 + 98 x42f2 + 87 x42f6 + 223 x3487
+ 90 x34a2 + 90 x34a3 + 172 x34a6 + 172 x34a7 + 16 x34aa
+ 16 x34ab + 56 x34ae + 56 x34af + 16 x34b2 + 16 x34b3
+ 56 x34b6 + 56 x34b7 + 16 x34ba + 16 x34bb + 56 x34be
+ 56 x34bf + 16 x34c2 + 16 x34c3 + 56 x34c6 + 56 x34c7
+ 8 x3504 + 8 x3505 + 12 x3506 + 7 x3507 + 20 x3508
+ 15 x3509 + 38 x350a + 33 x350b + 16 x350c + 11 x350d
+ 29 x350e + 29 x350f + 12 x3510 + 7 x3511 + 26 x3512
+ 26 x3513 + 8 x3514 + 8 x3515 + 5 x3516 + 5 x3517
+ 16 x352b + 16 x352c + 224 x352d + 224 x352e + 245 x352f
+ 245 x3530 + 220 x3531 + 220 x3532 + 182 x3533 + 182 x3534
+ 216 x3535 + 216 x3536 + 264 x3537 + 264 x3538 + 156 x353d
+ 156 x353e + 172 x353f + 172 x3540 + 16 x3543 + 16 x3544
+ 56 x3547 + 56 x3548 + 16 x354b + 16 x354c + 56 x354f
+ 56 x3550 + 16 x3553 + 16 x3554 + 56 x3557 + 56 x3558
+ 16 x355b + 16 x355c + 56 x355f + 56 x3560 + 8 x359d
+ 8 x359e + 12 x359f + 7 x35a0 + 20 x35a1 + 15 x35a2
+ 38 x35a3 + 33 x35a4 + 16 x35a5 + 11 x35a6 + 29 x35a7
+ 29 x35a8 + 12 x35a9 + 7 x35aa + 26 x35ab + 26 x35ac
+ 8 x35ad + 8 x35ae + 5 x35af + 5 x35b0 + 56 x35c6
+ 56 x35c7 + 16 x35c8 + 16 x35c9 + 224 x35ca + 224 x35cb
+ 245 x35cc + 245 x35cd + 220 x35ce + 220 x35cf + 182 x35d0
+ 182 x35d1 + 216 x35d2 + 216 x35d3 + 264 x35d4 + 264 x35d5
+ 172 x35dc + 172 x35dd + 156 x35de + 156 x35df + 172 x35e0
+ 172 x35e1 + 13 x35e6 + 8 x35e7 + 16 x35f2 + 16 x35f3
+ 156 x35f6 + 156 x35f7 + 13 x35fc + 8 x35fd + 56 x3604
+ 56 x3605 + 156 x3608 + 156 x3609 + 16 x360c + 16 x360d
+ 20 x3613 + 15 x3614 + 16 x361b + 16 x361c + 156 x361f
+ 156 x3620 + 13 x3625 + 8 x3626 + 56 x362d + 56 x362e
+ 156 x3631 + 156 x3632 + 16 x3635 + 16 x3636 + 56 x3639
+ 56 x363a + 16 x363d + 16 x363e + 56 x3641 + 56 x3642
+ 18 x365d + 13 x365e + 36 x365f + 31 x3660 + 14 x3661
+ 9 x3662 + 32 x3663 + 27 x3664 + 16 x3677 + 16 x3678
+ 245 x3679 + 245 x367a + 222 x367b + 222 x367c + 240 x367d
+ 240 x367e + 218 x367f + 218 x3680 + 156 x3685 + 156 x3686
+ 172 x3687 + 172 x3688 + 13 x368d + 8 x368e + 56 x3697
+ 56 x3698 + 172 x369b + 172 x369c + 13 x36a1 + 8 x36a2
+ 16 x36a9 + 16 x36aa + 156 x36ad + 156 x36ae + 13 x36b3
+ 8 x36b4 + 56 x36bb + 56 x36bc + 172 x36bf + 172 x36c0
+ 13 x36c5 + 8 x36c6 + 16 x36cd + 16 x36ce + 156 x36d1
+ 156 x36d2 + 13 x36d7 + 8 x36d8 + 56 x36df + 56 x36e0
+ 172 x36e3 + 172 x36e4 + 13 x36e9 + 8 x36ea + 16 x36f1
+ 16 x36f2 + 156 x36f5 + 156 x36f6 + 13 x36fb + 8 x36fc
+ 56 x3703 + 56 x3704 + 172 x3707 + 172 x3708 + 13 x370d
+ 8 x370e + 16 x3715 + 16 x3716 + 156 x3719 + 156 x371a
+ 13 x371f + 8 x3720 + 56 x3727 + 56 x3728 + 172 x372b
+ 172 x372c + 13 x3731 + 8 x3732 + 16 x3739 + 16 x373a
+ 156 x373d + 156 x373e + 13 x3743 + 8 x3744 + 56 x374b
+ 56 x374c + 172 x374f + 172 x3750 + 13 x3755 + 8 x3756
+ 16 x375d + 16 x375e + 156 x3761 + 156 x3762 + 13 x3767
+ 8 x3768 + 56 x376f + 56 x3770 + 172 x3773 + 172 x3774
+ 13 x3779 + 8 x377a + 16 x3781 + 16 x3782 + 156 x3785
+ 156 x3786 + 13 x378b + 8 x378c + 56 x3793 + 56 x3794
+ 172 x3797 + 172 x3798 + 13 x379d + 8 x379e + 16 x37a5
+ 16 x37a6 + 156 x37a9 + 156 x37aa + 16 x37ad + 16 x37ae
+ 56 x37b1 + 56 x37b2 + 16 x37b5 + 16 x37b6 + 56 x37b9
+ 56 x37ba + 16 x37bd + 16 x37be + 21 x37e0 + 16 x37e1
+ 39 x37e2 + 34 x37e3 + 17 x37e4 + 12 x37e5 + 35 x37e6
+ 30 x37e7 + 13 x37e8 + 8 x37e9 + 56 x3803 + 56 x3804
+ 241 x3805 + 241 x3806 + 220 x3807 + 220 x3808 + 182 x3809
+ 182 x380a + 216 x380b + 216 x380c + 172 x3811 + 172 x3812
+ 172 x3813 + 172 x3814 + 13 x3819 + 8 x381a + 16 x3823
+ 16 x3824 + 156 x3827 + 156 x3828 + 16 x382b + 16 x382c
+ 56 x382f + 56 x3830 + 16 x3833 + 16 x3834 + 56 x3837
+ 56 x3838 + 19 x3853 + 14 x3854 + 37 x3855 + 32 x3856
+ 15 x3857 + 10 x3858 + 33 x3859 + 28 x385a + 56 x386d
+ 56 x386e + 245 x386f + 245 x3870 + 221 x3871 + 221 x3872
+ 183 x3873 + 183 x3874 + 217 x3875 + 217 x3876 + 172 x387b
+ 172 x387c + 172 x387d + 172 x387e + 13 x3883 + 8 x3884
+ 16 x388d + 16 x388e + 212 x3891 + 212 x3892 + 13 x3897
+ 8 x3898 + 56 x389f + 56 x38a0 + 172 x38a3 + 172 x38a4
+ 13 x38a9 + 8 x38aa + 16 x38b1 + 16 x38b2 + 212 x38b5
+ 212 x38b6 + 13 x38bb + 8 x38bc + 56 x38c3 + 56 x38c4
+ 172 x38c7 + 172 x38c8 + 13 x38cd + 8 x38ce + 16 x38d5
+ 16 x38d6 + 212 x38d9 + 212 x38da + 13 x38df + 8 x38e0
+ 56 x38e7 + 56 x38e8 + 172 x38eb + 172 x38ec + 13 x38f1
+ 8 x38f2 + 16 x38f9 + 16 x38fa + 212 x38fd + 212 x38fe
+ 13 x3903 + 8 x3904 + 56 x390b + 56 x390c + 172 x390f
+ 172 x3910 + 13 x3915 + 8 x3916 + 7 x3978 + 7 x3979
+ 7 x397a + 7 x397b + 7 x397c + 7 x397d + 7 x397e
+ 7 x397f + 7 x3980 + 7 x3981 + 7 x3982 + 7 x3983
+ 7 x3984 + 7 x3985 + 7 x3986 + 7 x3987 + 7 x3988
+ 7 x3989 + 34 x398a + 34 x398b + 34 x398c + 7 x398d
+ 7 x398e + 7 x398f + 7 x3990 + 7 x3991 + 7 x3992
+ 7 x3993 + 7 x3994 + 7 x3995 + 7 x3996 + 7 x3997
+ 7 x3998 + 7 x3999 + 7 x399a + 7 x399b + 7 x399c
+ 7 x399d + 7 x399e + 34 x399f + 34 x39a0 + 34 x39a1
+ 14 x39a2 + 14 x39a3 + 14 x39a4 + 7 x39a5 + 7 x39a6
+ 7 x39a7 + 7 x39a8 + 7 x39a9 + 7 x39aa + 14 x39ab
+ 14 x39ac + 14 x39ad + 7 x39b3 + 7 x39b6 + 7 x39bc
+ 7 x39bf + 7 x39c2 + 7 x39c5 + 7 x39c8 + 7 x39cd
+ 7 x39d0 + 7 x39d6 + 7 x39d9 + 7 x39dc + 7 x39df
+ 7 x39e2 + 7 x39e7 + 7 x39ea + 7 x39f0 + 7 x39f3
+ 7 x39f6 + 7 x39f9 + 7 x39fc + 39 x3a31 + 40 x3a32
+ 39 x3a33 + 40 x3a34 + 39 x3a35 + 39 x3a36 + 39 x3a37
+ 39 x3a38 + 39 x3a39 + 40 x3a3a + 39 x3a3b + 40 x3a3c
+ 39 x3a3d + 40 x3a3e + 505 x3aa3 + 505 x3aa4 + 505 x3aa5
+ 531 x3aa6 + 531 x3aa7 + 531 x3aa8 + 527 x3aa9 + 527 x3aaa
+ 527 x3aab + 506 x3aac + 506 x3aad + 506 x3aae + 522 x3aaf
+ 522 x3ab0 + 522 x3ab1 + 535 x3ab2 + 535 x3ab3 + 535 x3ab4
+ 1 x3a42 + 208 x4202 + 266 x4203 + 262 x4204 + 245 x4205
+ 249 x4206 + 270 x4207 + 39 x3a7d + 40 x3a7e + 39 x3a7f
+ 40 x3a80 + 39 x3a81 + 39 x3a82 + 39 x3a83 + 39 x3a84
+ 39 x3a85 + 40 x3a86 + 39 x3a87 + 40 x3a88 + 39 x3a89
+ 40 x3a8a + 1 x3a94 + 8 x3ab7 + 8 x3ab9 + 8 x3abb
+ 39 x3ac4 + 228 x3ac5 + 445 x41b4 + 445 x41b5 + 445 x41b6
+ 90 x3acc + 90 x3acd + 172 x3ad0 + 172 x3ad1 + 16 x3ad4
+ 16 x3ad5 + 56 x3ad8 + 56 x3ad9 + 16 x3adc + 16 x3add
+ 56 x3ae0 + 56 x3ae1 + 16 x3ae4 + 16 x3ae5 + 56 x3ae8
+ 56 x3ae9 + 16 x3aec + 16 x3aed + 56 x3af0 + 56 x3af1
+ 8 x3b2e + 8 x3b2f + 12 x3b30 + 7 x3b31 + 20 x3b32
+ 15 x3b33 + 38 x3b34 + 33 x3b35 + 16 x3b36 + 11 x3b37
+ 29 x3b38 + 29 x3b39 + 12 x3b3a + 7 x3b3b + 26 x3b3c
+ 26 x3b3d + 8 x3b3e + 8 x3b3f + 5 x3b40 + 5 x3b41
+ 16 x3b55 + 16 x3b56 + 224 x3b57 + 224 x3b58 + 245 x3b59
+ 245 x3b5a + 220 x3b5b + 220 x3b5c + 182 x3b5d + 182 x3b5e
+ 216 x3b5f + 216 x3b60 + 264 x3b61 + 264 x3b62 + 156 x3b67
+ 156 x3b68 + 172 x3b69 + 172 x3b6a + 16 x3b6d + 16 x3b6e
+ 56 x3b71 + 56 x3b72 + 16 x3b75 + 16 x3b76 + 56 x3b79
+ 56 x3b7a + 16 x3b7d + 16 x3b7e + 56 x3b81 + 56 x3b82
+ 16 x3b85 + 16 x3b86 + 56 x3b89 + 56 x3b8a + 8 x3bc7
+ 8 x3bc8 + 12 x3bc9 + 7 x3bca + 20 x3bcb + 15 x3bcc
+ 38 x3bcd + 33 x3bce + 16 x3bcf + 11 x3bd0 + 29 x3bd1
+ 29 x3bd2 + 12 x3bd3 + 7 x3bd4 + 26 x3bd5 + 26 x3bd6
+ 8 x3bd7 + 8 x3bd8 + 5 x3bd9 + 5 x3bda + 56 x3bf0
+ 56 x3bf1 + 16 x3bf2 + 16 x3bf3 + 224 x3bf4 + 224 x3bf5
+ 245 x3bf6 + 245 x3bf7 + 220 x3bf8 + 220 x3bf9 + 182 x3bfa
+ 182 x3bfb + 216 x3bfc + 216 x3bfd + 264 x3bfe + 264 x3bff
+ 172 x3c06 + 172 x3c07 + 156 x3c08 + 156 x3c09 + 172 x3c0a
+ 172 x3c0b + 13 x3c10 + 8 x3c11 + 16 x3c1c + 16 x3c1d
+ 156 x3c20 + 156 x3c21 + 13 x3c26 + 8 x3c27 + 56 x3c2e
+ 56 x3c2f + 156 x3c32 + 156 x3c33 + 16 x3c36 + 16 x3c37
+ 20 x3c3d + 15 x3c3e + 16 x3c45 + 16 x3c46 + 156 x3c49
+ 156 x3c4a + 13 x3c4f + 8 x3c50 + 56 x3c57 + 56 x3c58
+ 156 x3c5b + 156 x3c5c + 16 x3c5f + 16 x3c60 + 56 x3c63
+ 56 x3c64 + 16 x3c67 + 16 x3c68 + 56 x3c6b + 56 x3c6c
+ 18 x3c87 + 13 x3c88 + 36 x3c89 + 31 x3c8a + 14 x3c8b
+ 9 x3c8c + 32 x3c8d + 27 x3c8e + 16 x3ca1 + 16 x3ca2
+ 245 x3ca3 + 245 x3ca4 + 222 x3ca5 + 222 x3ca6 + 240 x3ca7
+ 240 x3ca8 + 218 x3ca9 + 218 x3caa + 156 x3caf + 156 x3cb0
+ 172 x3cb1 + 172 x3cb2 + 13 x3cb7 + 8 x3cb8 + 56 x3cc1
+ 56 x3cc2 + 172 x3cc5 + 172 x3cc6 + 13 x3ccb + 8 x3ccc
+ 16 x3cd3 + 16 x3cd4 + 156 x3cd7 + 156 x3cd8 + 13 x3cdd
+ 8 x3cde + 56 x3ce5 + 56 x3ce6 + 172 x3ce9 + 172 x3cea
+ 13 x3cef + 8 x3cf0 + 16 x3cf7 + 16 x3cf8 + 156 x3cfb
+ 156 x3cfc + 13 x3d01 + 8 x3d02 + 56 x3d09 + 56 x3d0a
+ 172 x3d0d + 172 x3d0e + 13 x3d13 + 8 x3d14 + 16 x3d1b
+ 16 x3d1c + 156 x3d1f + 156 x3d20 + 13 x3d25 + 8 x3d26
+ 56 x3d2d + 56 x3d2e + 172 x3d31 + 172 x3d32 + 13 x3d37
+ 8 x3d38 + 16 x3d3f + 16 x3d40 + 156 x3d43 + 156 x3d44
+ 13 x3d49 + 8 x3d4a + 56 x3d51 + 56 x3d52 + 172 x3d55
+ 172 x3d56 + 13 x3d5b + 8 x3d5c + 16 x3d63 + 16 x3d64
+ 156 x3d67 + 156 x3d68 + 13 x3d6d + 8 x3d6e + 56 x3d75
+ 56 x3d76 + 172 x3d79 + 172 x3d7a + 13 x3d7f + 8 x3d80
+ 16 x3d87 + 16 x3d88 + 156 x3d8b + 156 x3d8c + 13 x3d91
+ 8 x3d92 + 56 x3d99 + 56 x3d9a + 172 x3d9d + 172 x3d9e
+ 13 x3da3 + 8 x3da4 + 16 x3dab + 16 x3dac + 156 x3daf
+ 156 x3db0 + 13 x3db5 + 8 x3db6 + 56 x3dbd + 56 x3dbe
+ 172 x3dc1 + 172 x3dc2 + 13 x3dc7 + 8 x3dc8 + 16 x3dcf
+ 16 x3dd0 + 156 x3dd3 + 156 x3dd4 + 16 x3dd7 + 16 x3dd8
+ 56 x3ddb + 56 x3ddc + 16 x3ddf + 16 x3de0 + 56 x3de3
+ 56 x3de4 + 16 x3de7 + 16 x3de8 + 21 x3e0a + 16 x3e0b
+ 39 x3e0c + 34 x3e0d + 17 x3e0e + 12 x3e0f + 35 x3e10
+ 30 x3e11 + 13 x3e12 + 8 x3e13 + 56 x3e2d + 56 x3e2e
+ 241 x3e2f + 241 x3e30 + 220 x3e31 + 220 x3e32 + 182 x3e33
+ 182 x3e34 + 216 x3e35 + 216 x3e36 + 172 x3e3b + 172 x3e3c
+ 172 x3e3d + 172 x3e3e + 13 x3e43 + 8 x3e44 + 16 x3e4d
+ 16 x3e4e + 156 x3e51 + 156 x3e52 + 16 x3e55 + 16 x3e56
+ 56 x3e59 + 56 x3e5a + 16 x3e5d + 16 x3e5e + 56 x3e61
+ 56 x3e62 + 19 x3e7d + 14 x3e7e + 37 x3e7f + 32 x3e80
+ 15 x3e81 + 10 x3e82 + 33 x3e83 + 28 x3e84 + 56 x3e97
+ 56 x3e98 + 245 x3e99 + 245 x3e9a + 221 x3e9b + 221 x3e9c
+ 183 x3e9d + 183 x3e9e + 217 x3e9f + 217 x3ea0 + 172 x3ea5
+ 172 x3ea6 + 172 x3ea7 + 172 x3ea8 + 13 x3ead + 8 x3eae
+ 16 x3eb7 + 16 x3eb8 + 212 x3ebb + 212 x3ebc + 13 x3ec1
+ 8 x3ec2 + 56 x3ec9 + 56 x3eca + 172 x3ecd + 172 x3ece
+ 13 x3ed3 + 8 x3ed4 + 16 x3edb + 16 x3edc + 212 x3edf
+ 212 x3ee0 + 13 x3ee5 + 8 x3ee6 + 56 x3eed + 56 x3eee
+ 172 x3ef1 + 172 x3ef2 + 13 x3ef7 + 8 x3ef8 + 16 x3eff
+ 16 x3f00 + 212 x3f03 + 212 x3f04 + 13 x3f09 + 8 x3f0a
+ 56 x3f11 + 56 x3f12 + 172 x3f15 + 172 x3f16 + 13 x3f1b
+ 8 x3f1c + 16 x3f23 + 16 x3f24 + 212 x3f27 + 212 x3f28
+ 13 x3f2d + 8 x3f2e + 56 x3f35 + 56 x3f36 + 172 x3f39
+ 172 x3f3a + 13 x3f3f + 8 x3f40 + 7 x3fa2 + 7 x3fa3
+ 7 x3fa4 + 7 x3fa5 + 7 x3fa6 + 7 x3fa7 + 7 x3fa8
+ 7 x3fa9 + 7 x3faa + 7 x3fab + 7 x3fac + 7 x3fad
+ 7 x3fae + 7 x3faf + 7 x3fb0 + 7 x3fb1 + 7 x3fb2
+ 7 x3fb3 + 34 x3fb4 + 34 x3fb5 + 34 x3fb6 + 7 x3fb7
+ 7 x3fb8 + 7 x3fb9 + 7 x3fba + 7 x3fbb + 7 x3fbc
+ 7 x3fbd + 7 x3fbe + 7 x3fbf + 7 x3fc0 + 7 x3fc1
+ 7 x3fc2 + 7 x3fc3 + 7 x3fc4 + 7 x3fc5 + 7 x3fc6
+ 7 x3fc7 + 7 x3fc8 + 34 x3fc9 + 34 x3fca + 34 x3fcb
+ 14 x3fcc + 14 x3fcd + 14 x3fce + 7 x3fcf + 7 x3fd0
+ 7 x3fd1 + 7 x3fd2 + 7 x3fd3 + 7 x3fd4 + 14 x3fd5
+ 14 x3fd6 + 14 x3fd7 + 7 x3fdd + 7 x3fe0 + 7 x3fe6
+ 7 x3fe9 + 7 x3fec + 7 x3fef + 7 x3ff2 + 7 x3ff7
+ 7 x3ffa + 7 x4000 + 7 x4003 + 7 x4006 + 7 x4009
+ 7 x400c + 7 x4011 + 7 x4014 + 7 x401a + 7 x401d
+ 7 x4020 + 7 x4023 + 7 x4026 + 39 x408d + 39 x408e
+ 39 x408f + 39 x4090 + 39 x4091 + 39 x4092 + 39 x4093
+ 39 x4094 + 39 x4095 + 39 x4096 + 39 x4097 + 39 x4098
+ 39 x4099 + 39 x409a + 39 x409b + 39 x409c + 39 x409d
+ 39 x409e + 39 x409f + 39 x40a0 + 39 x40a1 + 39 x40a2
+ 39 x40a3 + 39 x40a4 + 39 x40a5 + 39 x40a6 + 39 x40a7
+ 39 x40a8 + 465 x40b5 + 465 x40b6 + 465 x40b7 + 523 x40b8
+ 523 x40b9 + 523 x40ba + 519 x40bb + 519 x40bc + 519 x40bd
+ 502 x40be + 502 x40bf + 502 x40c0 + 506 x40c1 + 506 x40c2
+ 506 x40c3 + 527 x40c4 + 527 x40c5 + 527 x40c6 + 1 x40a9
+ 1 x40aa + 1 x40ab + 1 x40ac + 1 x40ad + 1 x40ae
+ 208 x4208 + 266 x4209 + 262 x420a + 245 x420b + 249 x420c
+ 270 x420d + 8 x40c9 + 8 x40cb + 8 x40cd + 39 x40d6
+ 40 x40d7 + 445 x40e6 + 445 x40e7 + 445 x40e8 + 188 x4100
+ 39 x40e0 + 40 x40e1 + 208 x40eb + 340 x40fa + 340 x40fb
+ 340 x40fc + 90 x4104 + 90 x4105 + 172 x4108 + 172 x4109
+ 13 x410e + 8 x410f + 7 x4117 + 7 x4118 + 7 x4119
+ 39 x414f + 40 x4150 + 39 x4151 + 40 x4152 + 39 x4153
+ 39 x4154 + 39 x4155 + 39 x4156 + 39 x4157 + 40 x4158
+ 39 x4159 + 40 x415a + 39 x415b + 40 x415c + 465 x416f
+ 465 x4170 + 465 x4171 + 523 x4172 + 523 x4173 + 523 x4174
+ 519 x4175 + 519 x4176 + 519 x4177 + 502 x4178 + 502 x4179
+ 502 x417a + 506 x417b + 506 x417c + 506 x417d + 527 x417e
+ 527 x417f + 527 x4180 + 1 x4160 + 39 x418a + 228 x418b
+ 445 x418e + 445 x418f + 445 x4190 + 90 x4198 + 90 x4199
+ 172 x419c + 172 x419d + 13 x41a2 + 8 x41a3 + 7 x41ab
+ 7 x41ac + 7 x41ad + 340 x41b7 + 340 x41b8 + 340 x41b9
+ 120 x41bc + 340 x41c6 + 340 x41c7 + 340 x41c8 + 39 x41d2
+ 228 x41d3 + 445 x41f3 + 445 x41f4 + 445 x41f5 + 90 x41da
+ 90 x41db + 172 x41de + 172 x41df + 13 x41e4 + 8 x41e5
+ 7 x41ed + 7 x41ee + 7 x41ef + 340 x41fc + 340 x41fd
+ 340 x41fe + 90 x421c + 90 x421d + 172 x4220 + 172 x4221
+ 13 x4226 + 8 x4227 + 7 x422f + 7 x4230 + 7 x4231
+ 39 x4267 + 310 x4268 + 39 x4269 + 289 x426a + 39 x426b
+ 39 x426c + 39 x426d + 39 x426e + 39 x426f + 302 x4270
+ 39 x4271 + 306 x4272 + 39 x4273 + 248 x4274 + 505 x4281
+ 505 x4282 + 505 x4283 + 531 x4284 + 531 x4285 + 531 x4286
+ 527 x4287 + 527 x4288 + 527 x4289 + 506 x428a + 506 x428b
+ 506 x428c + 522 x428d + 522 x428e + 522 x428f + 535 x4290
+ 535 x4291 + 535 x4292 + 246 x4278 + 90 x42a4 + 90 x42a5
+ 172 x42a8 + 172 x42a9 + 13 x42ae + 8 x42af + 7 x42b7
+ 7 x42b8 + 7 x42b9 + 39 x42c3 + 228 x42c4 + 445 x42e4
+ 445 x42e5 + 445 x42e6 + 90 x42cb + 90 x42cc + 172 x42cf
+ 172 x42d0 + 13 x42d5 + 8 x42d6 + 7 x42de + 7 x42df
+ 7 x42e0 + 8 x42fa + 8 x42fb + 274 x4311 + 228 x4312
+ 79 x4313 + 260 x4314 + 95 x4315 + 272 x4316 + 79 x4317
+ 252 x4318 + 55 x4319 + 236 x431a + 247 x4325 + 247 x4326
+ 90 x4339 + 90 x433a + 90 x433b + 90 x433c + 172 x433f
+ 172 x4340 + 13 x4345 + 8 x4346 + 16 x434e + 16 x434f
+ 156 x4352 + 156 x4353 + 13 x4358 + 8 x4359 + 7 x4362
+ 7 x4363 + 7 x4364 + 7 x4371 + 64 x4376
subject to
z = 0
o = 1
+1 x3084 +1 x3085 +1 x3086 +1 x3087 +1 x3088 +1 x3089 +1 x308a +1 x308b
+1 x308c +1 x308d +1 x308e +1 x308f +1 x3090 = +1
+1 x4376 = +1
+1 x3084 +1 x3085 +1 x3086 +1 x3087 +1 x3088 +1 x3089 +1 x308a +1 x308b
+1 x308c +1 x308d +1 x308e +1 x308f +1 x3090 -1 x309e = +0
+1 x309e -1 x30a0 -1 x30a1 -1 x30a2 -1 x30a3 = +0
+1 x30a3 -1 x30ad -1 x30ae = +0
+1 x30a1 -1 x30b0 -1 x30b1 = +0
+1 x30a0 +1 x30c0 -1 x30c5 +0 x30c6 = +0
+1 x30a2 -1 x30c7 +0 x30c8 = +0
+1 x30b0 -1 x30b6 +1 x30c1 = +0
+1 x30b1 -1 x30b7 +1 x30c2 = +0
+1 x30b7 -1 x30bb -1 x30bc = +0
+1 x30ae -1 x30be -1 x30bf = +0
+1 x30bb +1 x30be -1 x30c1 = +0
+1 x30bc +1 x30bf -1 x30c2 = +0
+1 x30ad +1 x30b6 -1 x30c0 = +0
+1 x30c5 +1 x30c7 -1 x30e3 = +0
+1 x30e3 -1 x30e5 -1 x30e6 = +0
+1 x30e6 -1 x30e9 -1 x30ea = +0
+1 x30e9 -1 x30ed -1 x30ee = +0
+1 x30ee -1 x30fe +0 x30ff = +0
+1 x30ed -1 x30f1 -1 x30f2 = +0
+1 x30f2 +1 x30fa -1 x3100 +0 x3101 = +0
+1 x30f1 -1 x30f4 +1 x30f9 = +0
+1 x30f4 -1 x30f5 -1 x30f6 = +0
+1 x30f6 -1 x3102 +0 x3103 = +0
+1 x30f5 -1 x30f9 -1 x30fa = +0
+1 x30ea -1 x3115 -1 x3116 = +0
+1 x30fe -1 x3117 -1 x3118 = +0
+1 x3100 -1 x3119 -1 x311a = +0
+1 x3102 -1 x311b -1 x311c = +0
+1 x3118 +1 x311c -1 x3420 = +0
+1 x3117 +1 x311b -1 x311d = +0
+1 x30e5 -1 x3128 -1 x3129 = +0
+1 x311d -1 x312a -1 x312b = +0
+1 x3119 -1 x312c -1 x312d = +0
+1 x3115 -1 x312e -1 x312f = +0
+1 x312a +1 x312c +1 x312e -1 x31ae = +0
+1 x312b +1 x312d +1 x312f -1 x3131 = +0
+1 x3129 -1 x3134 -1 x3135 = +0
+1 x3131 -1 x3136 -1 x3137 = +0
+1 x3134 +1 x3136 -1 x3138 = +0
+1 x3135 +1 x3137 -1 x3182 = +0
+1 x3138 -1 x3139 +1 x31d9 +1 x31f5 +1 x320f +1 x3225 +1 x3250 +1 x3266
+1 x328c +1 x32a6 +1 x32b8 +1 x32ca +1 x32dc +1 x32ee +1 x3300 +1 x3312
+1 x3324 +1 x3336 +1 x3348 +1 x335a +1 x336c +1 x337e +1 x3390 +1 x33a2
+1 x33cb +1 x33ef = +0
+1 x3139 -1 x313a -1 x313b = +0
+1 x313b -1 x315a +0 x315b = +0
+1 x313a -1 x313e -1 x313f = +0
+1 x313f -1 x315c +0 x315d = +0
+1 x313e -1 x3142 -1 x3143 = +0
+1 x3143 -1 x315e +0 x315f = +0
+1 x3142 -1 x3146 -1 x3147 = +0
+1 x3147 -1 x3160 +0 x3161 = +0
+1 x3146 -1 x314a -1 x314b = +0
+1 x314b -1 x3162 +0 x3163 = +0
+1 x314a -1 x314e -1 x314f = +0
+1 x314f -1 x3164 +0 x3165 = +0
+1 x314e -1 x3151 +1 x3156 = +0
+1 x3151 -1 x3152 -1 x3153 = +0
+1 x3153 -1 x3166 +0 x3167 +1 x322e +1 x33b9 = +0
+1 x3152 -1 x3155 +1 x322d +1 x33b8 = +0
+1 x3155 -1 x3156 -1 x3157 = +0
+1 x3157 -1 x3168 +0 x3169 = +0
+1 x3182 -1 x3194 -1 x3195 = +0
+1 x315a -1 x3196 -1 x3197 = +0
+1 x315c -1 x3198 -1 x3199 = +0
+1 x315e -1 x319a -1 x319b = +0
+1 x3160 -1 x319c -1 x319d = +0
+1 x3162 -1 x319e -1 x319f = +0
+1 x3164 -1 x31a0 -1 x31a1 = +0
+1 x3166 -1 x31a2 -1 x31a3 = +0
+1 x3168 -1 x31a4 -1 x31a5 = +0
+1 x3195 +1 x31a5 +1 x31de +1 x31fa +1 x3214 +1 x3237 +1 x3255 +1 x3273
+1 x3291 +1 x32ab +1 x32bf +1 x32d1 +1 x32e3 +1 x32f5 +1 x3307 +1 x3319
+1 x332b +1 x333d +1 x334f +1 x3361 +1 x3373 +1 x3385 +1 x3397 +1 x33a9
+1 x33c0 +1 x33d2 +1 x33f6 -1 x33fd +0 x33fe = +0
+1 x319f +1 x31a3 -1 x33ff +0 x3400 = +0
+1 x31a1 +1 x3239 +1 x3275 +1 x33e4 -1 x3401 +0 x3402 = +0
+1 x319d -1 x3403 +0 x3404 = +0
+1 x319b -1 x3405 +0 x3406 = +0
+1 x3199 -1 x3407 +0 x3408 = +0
+1 x3197 -1 x3409 +0 x340a = +0
+1 x3194 +1 x31a4 -1 x31a6 = +0
+1 x319e +1 x31a2 -1 x31a7 = +0
+1 x31a0 +1 x31a6 -1 x31af = +0
+1 x3128 -1 x31b5 +1 x33eb = +0
+1 x31ae -1 x31b6 +1 x31e3 = +0
+1 x31af -1 x31b7 +1 x31dd +1 x31f9 +1 x3213 +1 x3240 +1 x3254 +1 x327c
+1 x3290 +1 x32aa +1 x32be +1 x32d0 +1 x32e2 +1 x32f4 +1 x3306 +1 x3318
+1 x332a +1 x333c +1 x334e +1 x3360 +1 x3372 +1 x3384 +1 x3396 +1 x33a8
+1 x33bf +1 x33d1 +1 x33e3 +1 x33f5 = +0
+1 x31b5 -1 x31bd -1 x31be = +0
+1 x31b6 -1 x31bf -1 x31c0 = +0
+1 x31b7 -1 x31c1 -1 x31c2 = +0
+1 x31a7 -1 x31c3 -1 x31c4 = +0
+1 x319c -1 x31c5 -1 x31c6 = +0
+1 x319a -1 x31c7 -1 x31c8 = +0
+1 x3198 -1 x31c9 -1 x31ca = +0
+1 x3196 -1 x31cb -1 x31cc = +0
+1 x31c1 +1 x31c3 +1 x31c5 +1 x31c7 +1 x31c9 +1 x31cb -1 x31e3 = +0
+1 x31c2 +1 x31c4 +1 x31c6 +1 x31c8 +1 x31ca +1 x31cc -1 x31cf = +0
+1 x31be -1 x31d3 -1 x31d4 = +0
+1 x31c0 -1 x31d5 -1 x31d6 = +0
+1 x31cf -1 x31d7 -1 x31d8 = +0
+1 x31d3 +1 x31d5 +1 x31d7 -1 x31d9 = +0
+1 x31d4 +1 x31d6 +1 x31d8 -1 x31db = +0
+1 x31db -1 x31dd -1 x31de = +0
+1 x31bd -1 x31e9 -1 x31ea = +0
+1 x31bf -1 x31eb -1 x31ec = +0
+1 x31ea -1 x31f1 -1 x31f2 = +0
+1 x31ec -1 x31f3 -1 x31f4 = +0
+1 x31f1 +1 x31f3 -1 x31f5 = +0
+1 x31f2 +1 x31f4 -1 x31f7 = +0
+1 x31f7 -1 x31f9 -1 x31fa = +0
+1 x31e9 -1 x3203 -1 x3204 = +0
+1 x31eb -1 x3205 -1 x3206 = +0
+1 x3204 -1 x320b -1 x320c = +0
+1 x3206 -1 x320d -1 x320e = +0
+1 x320b +1 x320d -1 x320f = +0
+1 x320c +1 x320e -1 x3211 = +0
+1 x3211 -1 x3213 -1 x3214 = +0
+1 x3203 -1 x321d -1 x321e = +0
+1 x3205 -1 x321f -1 x3220 = +0
+1 x321e -1 x3225 -1 x3226 = +0
+1 x3220 -1 x3227 -1 x3228 = +0
+1 x3227 -1 x322c +1 x3268 +1 x33dd = +0
+1 x322c -1 x322d -1 x322e = +0
+1 x3226 -1 x3236 -1 x3237 = +0
+1 x3228 -1 x3238 -1 x3239 = +0
+1 x3236 +1 x3238 -1 x3240 = +0
+1 x321d -1 x3244 -1 x3245 = +0
+1 x321f -1 x3246 -1 x3247 = +0
+1 x3245 -1 x324c -1 x324d = +0
+1 x3247 -1 x324e -1 x324f = +0
+1 x324c +1 x324e -1 x3250 = +0
+1 x324d +1 x324f -1 x3252 = +0
+1 x3252 -1 x3254 -1 x3255 = +0
+1 x3244 -1 x325e -1 x325f = +0
+1 x3246 -1 x3260 -1 x3261 = +0
+1 x325f -1 x3266 -1 x3267 = +0
+1 x3261 -1 x3268 -1 x3269 = +0
+1 x3267 -1 x3272 -1 x3273 = +0
+1 x3269 -1 x3274 -1 x3275 = +0
+1 x3272 +1 x3274 -1 x327c = +0
+1 x325e -1 x327e +1 x329a = +0
+1 x327e -1 x3280 -1 x3281 = +0
+1 x3260 -1 x3282 -1 x3283 = +0
+1 x3281 -1 x3288 -1 x3289 = +0
+1 x3283 -1 x328a -1 x328b = +0
+1 x3288 +1 x328a -1 x328c = +0
+1 x3289 +1 x328b -1 x328e = +0
+1 x328e -1 x3290 -1 x3291 = +0
+1 x3280 -1 x329a -1 x329b = +0
+1 x3282 -1 x329c -1 x329d = +0
+1 x329b -1 x32a2 -1 x32a3 = +0
+1 x329d -1 x32a4 -1 x32a5 = +0
+1 x32a2 +1 x32a4 -1 x32a6 = +0
+1 x32a3 +1 x32a5 -1 x32a8 = +0
+1 x32a8 -1 x32aa -1 x32ab = +0
+1 x329c -1 x32b4 -1 x32b5 = +0
+1 x32b5 -1 x32b8 -1 x32b9 = +0
+1 x32b9 -1 x32be -1 x32bf = +0
+1 x32b4 -1 x32c6 -1 x32c7 = +0
+1 x32c7 -1 x32ca -1 x32cb = +0
+1 x32cb -1 x32d0 -1 x32d1 = +0
+1 x32c6 -1 x32d8 -1 x32d9 = +0
+1 x32d9 -1 x32dc -1 x32dd = +0
+1 x32dd -1 x32e2 -1 x32e3 = +0
+1 x32d8 -1 x32ea -1 x32eb = +0
+1 x32eb -1 x32ee -1 x32ef = +0
+1 x32ef -1 x32f4 -1 x32f5 = +0
+1 x32ea -1 x32fc -1 x32fd = +0
+1 x32fd -1 x3300 -1 x3301 = +0
+1 x3301 -1 x3306 -1 x3307 = +0
+1 x32fc -1 x330e -1 x330f = +0
+1 x330f -1 x3312 -1 x3313 = +0
+1 x3313 -1 x3318 -1 x3319 = +0
+1 x330e -1 x3320 -1 x3321 = +0
+1 x3321 -1 x3324 -1 x3325 = +0
+1 x3325 -1 x332a -1 x332b = +0
+1 x3320 -1 x3332 -1 x3333 = +0
+1 x3333 -1 x3336 -1 x3337 = +0
+1 x3337 -1 x333c -1 x333d = +0
+1 x3332 -1 x3344 -1 x3345 = +0
+1 x3345 -1 x3348 -1 x3349 = +0
+1 x3349 -1 x334e -1 x334f = +0
+1 x3344 -1 x3356 -1 x3357 = +0
+1 x3357 -1 x335a -1 x335b = +0
+1 x335b -1 x3360 -1 x3361 = +0
+1 x3356 -1 x3368 -1 x3369 = +0
+1 x3369 -1 x336c -1 x336d = +0
+1 x336d -1 x3372 -1 x3373 = +0
+1 x3368 -1 x337a -1 x337b = +0
+1 x337b -1 x337e -1 x337f = +0
+1 x337f -1 x3384 -1 x3385 = +0
+1 x337a -1 x338c -1 x338d = +0
+1 x338d -1 x3390 -1 x3391 = +0
+1 x3391 -1 x3396 -1 x3397 = +0
+1 x338c -1 x339e -1 x339f = +0
+1 x339f -1 x33a2 -1 x33a3 = +0
+1 x33a3 -1 x33a8 -1 x33a9 = +0
+1 x339e -1 x33b0 -1 x33b1 = +0
+1 x33b1 -1 x33b4 -1 x33b5 = +0
+1 x33b4 -1 x33b8 -1 x33b9 = +0
+1 x33b5 -1 x33bf -1 x33c0 = +0
+1 x33b0 -1 x33c7 -1 x33c8 = +0
+1 x33c8 -1 x33cb -1 x33cc = +0
+1 x33cc -1 x33d1 -1 x33d2 = +0
+1 x33c7 -1 x33d9 -1 x33da = +0
+1 x33da -1 x33dd -1 x33de = +0
+1 x33de -1 x33e3 -1 x33e4 = +0
+1 x33d9 -1 x33eb -1 x33ec = +0
+1 x33ec -1 x33ef -1 x33f0 = +0
+1 x33f0 -1 x33f5 -1 x33f6 = +0
+1 x33fd +1 x3401 -1 x345f = +0
+1 x3420 -1 x346e -1 x346f = +0
+1 x311a -1 x3470 -1 x3471 = +0
+1 x3116 -1 x3472 -1 x3473 = +0
+1 x345f -1 x3474 -1 x3475 = +0
+1 x33ff -1 x3476 -1 x3477 = +0
+1 x3403 -1 x3478 -1 x3479 = +0
+1 x3405 -1 x347a -1 x347b = +0
+1 x3407 -1 x347c -1 x347d = +0
+1 x3409 -1 x347e -1 x347f = +0
+1 x347a -1 x42ef -1 x42f0 = +0
+1 x3478 -1 x42f1 -1 x42f2 = +0
+1 x346e +1 x3470 -1 x42f6 = +0
+1 x346f +1 x3471 -1 x3487 = +0
+1 x3473 +1 x3475 +1 x3477 +1 x3479 +1 x347b +1 x347d +1 x347f +1 x3487
-1 x34a0 = +0
+1 x34a0 -1 x34a2 -1 x34a3 = +0
+1 x34a3 -1 x34a6 -1 x34a7 = +0
+1 x34a6 -1 x34a9 +1 x4220 +1 x42a8 = +0
+1 x34a9 -1 x34aa -1 x34ab = +0
+1 x34ab -1 x34ca +0 x34cb = +0
+1 x34aa -1 x34ae -1 x34af = +0
+1 x34af -1 x34cc +0 x34cd = +0
+1 x34ae -1 x34b2 -1 x34b3 = +0
+1 x34b3 -1 x34ce +0 x34cf = +0
+1 x34b2 -1 x34b6 -1 x34b7 = +0
+1 x34b7 -1 x34d0 +0 x34d1 = +0
+1 x34b6 -1 x34ba -1 x34bb = +0
+1 x34bb -1 x34d2 +0 x34d3 = +0
+1 x34ba -1 x34be -1 x34bf = +0
+1 x34bf -1 x34d4 +0 x34d5 = +0
+1 x34be -1 x34c1 +1 x34c6 = +0
+1 x34c1 -1 x34c2 -1 x34c3 = +0
+1 x34c3 -1 x34d6 +0 x34d7 = +0
+1 x34c2 -1 x34c6 -1 x34c7 = +0
+1 x34c7 -1 x34d8 +0 x34d9 = +0
+1 x34a7 -1 x3504 -1 x3505 = +0
+1 x34ca -1 x3506 -1 x3507 = +0
+1 x34cc -1 x3508 -1 x3509 = +0
+1 x34ce -1 x350a -1 x350b = +0
+1 x34d0 -1 x350c -1 x350d = +0
+1 x34d2 -1 x350e -1 x350f = +0
+1 x34d4 -1 x3510 -1 x3511 = +0
+1 x34d6 -1 x3512 -1 x3513 = +0
+1 x34d8 -1 x3514 -1 x3515 = +0
+1 x3505 +1 x3515 -1 x3954 = +0
+1 x350f +1 x3513 -1 x3955 = +0
+1 x3504 +1 x3514 -1 x3516 = +0
+1 x350e +1 x3512 -1 x3517 = +0
+1 x3510 +1 x3516 -1 x351e = +0
+1 x34a2 -1 x3524 +1 x421c +1 x42a4 = +0
+1 x351e -1 x3525 +1 x4226 +1 x42ae = +0
+1 x3524 -1 x352b -1 x352c = +0
+1 x3525 -1 x352d -1 x352e = +0
+1 x3517 -1 x352f -1 x3530 = +0
+1 x350c -1 x3531 -1 x3532 = +0
+1 x350a -1 x3533 -1 x3534 = +0
+1 x3508 -1 x3535 -1 x3536 = +0
+1 x3506 -1 x3537 -1 x3538 = +0
+1 x352d +1 x352f +1 x3531 +1 x3533 +1 x3535 +1 x3537 -1 x35b7 = +0
+1 x352e +1 x3530 +1 x3532 +1 x3534 +1 x3536 +1 x3538 -1 x353a = +0
+1 x352c -1 x353d -1 x353e = +0
+1 x353a -1 x353f -1 x3540 = +0
+1 x353d +1 x353f -1 x3541 = +0
+1 x353e +1 x3540 -1 x358b = +0
+1 x3541 -1 x3542 +1 x35e2 +1 x35f6 +1 x361f +1 x3689 +1 x369b +1 x36ad
+1 x36bf +1 x36d1 +1 x36e3 +1 x36f5 +1 x3707 +1 x3719 +1 x372b +1 x373d
+1 x374f +1 x3761 +1 x3773 +1 x3785 +1 x3797 +1 x3815 +1 x387f +1 x3891
+1 x38a3 +1 x38b5 +1 x38c7 +1 x38d9 +1 x38eb +1 x38fd +1 x390f = +0
+1 x3542 -1 x3543 -1 x3544 = +0
+1 x3544 -1 x3563 +0 x3564 = +0
+1 x3543 -1 x3547 -1 x3548 = +0
+1 x3548 -1 x3565 +0 x3566 = +0
+1 x3547 -1 x354b -1 x354c = +0
+1 x354c -1 x3567 +0 x3568 +1 x360d = +0
+1 x354b -1 x354e +1 x360c = +0
+1 x354e -1 x354f -1 x3550 = +0
+1 x3550 -1 x3569 +0 x356a = +0
+1 x354f -1 x3553 -1 x3554 = +0
+1 x3554 -1 x356b +0 x356c = +0
+1 x3553 -1 x3557 -1 x3558 = +0
+1 x3558 -1 x356d +0 x356e +1 x3642 +1 x3838 = +0
+1 x3557 -1 x355a +1 x355f +1 x3641 +1 x3837 = +0
+1 x355a -1 x355b -1 x355c = +0
+1 x355c -1 x356f +0 x3570 +1 x37be = +0
+1 x355b -1 x355e +1 x37bd = +0
+1 x355e -1 x355f -1 x3560 = +0
+1 x3560 -1 x3571 +0 x3572 = +0
+1 x358b -1 x359d -1 x359e = +0
+1 x3563 -1 x359f -1 x35a0 = +0
+1 x3565 -1 x35a1 -1 x35a2 = +0
+1 x3567 -1 x35a3 -1 x35a4 = +0
+1 x3569 -1 x35a5 -1 x35a6 = +0
+1 x356b -1 x35a7 -1 x35a8 = +0
+1 x356d -1 x35a9 -1 x35aa = +0
+1 x356f -1 x35ab -1 x35ac = +0
+1 x3571 -1 x35ad -1 x35ae = +0
+1 x359e +1 x35ae +1 x35e7 +1 x35fd +1 x3626 -1 x3666 = +0
+1 x35a8 +1 x35ac -1 x3665 = +0
+1 x35aa -1 x391d +0 x391e = +0
+1 x35a2 +1 x3614 -1 x37ed = +0
+1 x35a0 -1 x391f +0 x3920 = +0
+1 x359d +1 x35ad -1 x35af = +0
+1 x35a7 +1 x35ab -1 x35b0 = +0
+1 x35a9 +1 x35af -1 x35b8 = +0
+1 x352b -1 x35be +1 x35c8 = +0
+1 x35b7 -1 x35bf +1 x35ec +1 x3692 +1 x381e +1 x3888 = +0
+1 x35b8 -1 x35c0 +1 x35e6 +1 x35fc +1 x3625 +1 x368d +1 x36a1 +1 x36b3
+1 x36c5 +1 x36d7 +1 x36e9 +1 x36fb +1 x370d +1 x371f +1 x3731 +1 x3743
+1 x3755 +1 x3767 +1 x3779 +1 x378b +1 x379d +1 x37e8 +1 x3819 +1 x3883
+1 x3897 +1 x38a9 +1 x38bb +1 x38cd +1 x38df +1 x38f1 +1 x3903 +1 x3915
= +0
+1 x35b0 -1 x35c1 -1 x3671 = +0
+1 x35a5 -1 x35c2 -1 x37fb = +0
+1 x35a3 -1 x35c3 -1 x37fc = +0
+1 x35a1 -1 x35c4 +1 x3613 -1 x37fd = +0
+1 x35be -1 x35c6 -1 x35c7 = +0
+1 x35bf -1 x35c8 -1 x35c9 = +0
+1 x35c0 -1 x35ca -1 x35cb = +0
+1 x35c1 -1 x35cc -1 x35cd = +0
+1 x35c2 -1 x35ce -1 x35cf = +0
+1 x35c3 -1 x35d0 -1 x35d1 = +0
+1 x35c4 -1 x35d2 -1 x35d3 = +0
+1 x359f -1 x35d4 -1 x35d5 = +0
+1 x35ca +1 x35cc +1 x35ce +1 x35d0 +1 x35d2 +1 x35d4 -1 x35ec = +0
+1 x35cb +1 x35cd +1 x35cf +1 x35d1 +1 x35d3 +1 x35d5 -1 x35d8 = +0
+1 x35c7 -1 x35dc -1 x35dd = +0
+1 x35c9 -1 x35de -1 x35df = +0
+1 x35d8 -1 x35e0 -1 x35e1 = +0
+1 x35dc +1 x35de +1 x35e0 -1 x35e2 = +0
+1 x35dd +1 x35df +1 x35e1 -1 x35e4 = +0
+1 x35e4 -1 x35e6 -1 x35e7 = +0
+1 x35c6 -1 x35f2 -1 x35f3 = +0
+1 x35f3 -1 x35f6 -1 x35f7 = +0
+1 x35f7 -1 x35fc -1 x35fd = +0
+1 x35f2 -1 x3604 -1 x3605 = +0
+1 x3605 -1 x3608 -1 x3609 = +0
+1 x3608 -1 x360c -1 x360d = +0
+1 x3609 -1 x3613 -1 x3614 = +0
+1 x3604 -1 x361b -1 x361c = +0
+1 x361c -1 x361f -1 x3620 = +0
+1 x3620 -1 x3625 -1 x3626 = +0
+1 x361b -1 x362d -1 x362e = +0
+1 x362e -1 x3631 -1 x3632 = +0
+1 x3631 -1 x3635 -1 x3636 = +0
+1 x3636 -1 x3646 +0 x3647 = +0
+1 x3635 -1 x3639 -1 x363a = +0
+1 x363a -1 x3648 +0 x3649 = +0
+1 x3639 -1 x363d -1 x363e = +0
+1 x363e -1 x364a +0 x364b = +0
+1 x363d -1 x3641 -1 x3642 = +0
+1 x3632 -1 x365d -1 x365e = +0
+1 x3646 -1 x365f -1 x3660 = +0
+1 x3648 -1 x3661 -1 x3662 = +0
+1 x364a -1 x3663 -1 x3664 = +0
+1 x3664 +1 x3665 -1 x385b = +0
+1 x3662 +1 x3666 +1 x368e +1 x36a2 +1 x36b4 +1 x36c6 +1 x36d8 +1 x36ea
+1 x36fc +1 x370e +1 x3720 +1 x3732 +1 x3744 +1 x3756 +1 x3768 +1 x377a
+1 x378c +1 x379e +1 x37e9 +1 x381a +1 x3884 +1 x3898 +1 x38aa +1 x38bc
+1 x38ce +1 x38e0 +1 x38f2 +1 x3904 +1 x3916 -1 x3921 +0 x3922 = +0
+1 x35a6 +1 x365e -1 x37ec = +0
+1 x3663 +1 x3671 -1 x3673 -1 x3866 = +0
+1 x365f -1 x3675 -1 x37fa = +0
+1 x362d -1 x3677 -1 x3678 = +0
+1 x3673 -1 x3679 -1 x367a = +0
+1 x3661 -1 x367b -1 x367c = +0
+1 x3675 -1 x367d -1 x367e = +0
+1 x365d -1 x367f -1 x3680 = +0
+1 x3679 +1 x367b +1 x367d +1 x367f -1 x3692 = +0
+1 x367a +1 x367c +1 x367e +1 x3680 -1 x3682 = +0
+1 x3678 -1 x3685 -1 x3686 = +0
+1 x3682 -1 x3687 -1 x3688 = +0
+1 x3685 +1 x3687 -1 x3689 = +0
+1 x3686 +1 x3688 -1 x368b = +0
+1 x368b -1 x368d -1 x368e = +0
+1 x3677 -1 x3697 -1 x3698 = +0
+1 x3698 -1 x369b -1 x369c = +0
+1 x369c -1 x36a1 -1 x36a2 = +0
+1 x3697 -1 x36a9 -1 x36aa = +0
+1 x36aa -1 x36ad -1 x36ae = +0
+1 x36ae -1 x36b3 -1 x36b4 = +0
+1 x36a9 -1 x36bb -1 x36bc = +0
+1 x36bc -1 x36bf -1 x36c0 = +0
+1 x36c0 -1 x36c5 -1 x36c6 = +0
+1 x36bb -1 x36cd -1 x36ce = +0
+1 x36ce -1 x36d1 -1 x36d2 = +0
+1 x36d2 -1 x36d7 -1 x36d8 = +0
+1 x36cd -1 x36df -1 x36e0 = +0
+1 x36e0 -1 x36e3 -1 x36e4 = +0
+1 x36e4 -1 x36e9 -1 x36ea = +0
+1 x36df -1 x36f1 -1 x36f2 = +0
+1 x36f2 -1 x36f5 -1 x36f6 = +0
+1 x36f6 -1 x36fb -1 x36fc = +0
+1 x36f1 -1 x3703 -1 x3704 = +0
+1 x3704 -1 x3707 -1 x3708 = +0
+1 x3708 -1 x370d -1 x370e = +0
+1 x3703 -1 x3715 -1 x3716 = +0
+1 x3716 -1 x3719 -1 x371a = +0
+1 x371a -1 x371f -1 x3720 = +0
+1 x3715 -1 x3727 -1 x3728 = +0
+1 x3728 -1 x372b -1 x372c = +0
+1 x372c -1 x3731 -1 x3732 = +0
+1 x3727 -1 x3739 -1 x373a = +0
+1 x373a -1 x373d -1 x373e = +0
+1 x373e -1 x3743 -1 x3744 = +0
+1 x3739 -1 x374b -1 x374c = +0
+1 x374c -1 x374f -1 x3750 = +0
+1 x3750 -1 x3755 -1 x3756 = +0
+1 x374b -1 x375d -1 x375e = +0
+1 x375e -1 x3761 -1 x3762 = +0
+1 x3762 -1 x3767 -1 x3768 = +0
+1 x375d -1 x376f -1 x3770 = +0
+1 x3770 -1 x3773 -1 x3774 = +0
+1 x3774 -1 x3779 -1 x377a = +0
+1 x376f -1 x3781 -1 x3782 = +0
+1 x3782 -1 x3785 -1 x3786 = +0
+1 x3786 -1 x378b -1 x378c = +0
+1 x3781 -1 x3793 -1 x3794 = +0
+1 x3794 -1 x3797 -1 x3798 = +0
+1 x3798 -1 x379d -1 x379e = +0
+1 x3793 -1 x37a5 -1 x37a6 = +0
+1 x37a6 -1 x37a9 -1 x37aa = +0
+1 x37a9 -1 x37ad -1 x37ae = +0
+1 x37ae -1 x37c2 +0 x37c3 = +0
+1 x37ad -1 x37b1 -1 x37b2 = +0
+1 x37b2 -1 x37c4 +0 x37c5 = +0
+1 x37b1 -1 x37b5 -1 x37b6 = +0
+1 x37b6 -1 x37c6 +0 x37c7 = +0
+1 x37b5 -1 x37b9 -1 x37ba = +0
+1 x37ba -1 x37c8 +0 x37c9 = +0
+1 x37b9 -1 x37bd -1 x37be = +0
+1 x37aa -1 x37e0 -1 x37e1 = +0
+1 x37c2 -1 x37e2 -1 x37e3 = +0
+1 x37c4 -1 x37e4 -1 x37e5 = +0
+1 x37c6 -1 x37e6 -1 x37e7 = +0
+1 x37c8 -1 x37e8 -1 x37e9 = +0
+1 x3660 +1 x37e7 -1 x3923 +0 x3924 = +0
+1 x37e5 +1 x37ec -1 x3925 +0 x3926 = +0
+1 x37e3 -1 x3927 +0 x3928 = +0
+1 x37e1 +1 x37ed -1 x3929 +0 x392a = +0
+1 x37e6 +1 x37fa -1 x37ff = +0
+1 x37e4 +1 x37fb -1 x3800 -1 x3867 = +0
+1 x37e2 +1 x37fc -1 x3801 = +0
+1 x37e0 +1 x37fd -1 x3802 = +0
+1 x37a5 -1 x3803 -1 x3804 = +0
+1 x37ff -1 x3805 -1 x3806 = +0
+1 x3800 -1 x3807 -1 x3808 = +0
+1 x3801 -1 x3809 -1 x380a = +0
+1 x3802 -1 x380b -1 x380c = +0
+1 x3805 +1 x3807 +1 x3809 +1 x380b -1 x381e = +0
+1 x3806 +1 x3808 +1 x380a +1 x380c -1 x380e = +0
+1 x3804 -1 x3811 -1 x3812 = +0
+1 x380e -1 x3813 -1 x3814 = +0
+1 x3811 +1 x3813 -1 x3815 = +0
+1 x3812 +1 x3814 -1 x3817 = +0
+1 x3817 -1 x3819 -1 x381a = +0
+1 x3803 -1 x3823 -1 x3824 = +0
+1 x3824 -1 x3827 -1 x3828 = +0
+1 x3827 -1 x382b -1 x382c = +0
+1 x382c -1 x383c +0 x383d = +0
+1 x382b -1 x382f -1 x3830 = +0
+1 x3830 -1 x383e +0 x383f = +0
+1 x382f -1 x3833 -1 x3834 = +0
+1 x3834 -1 x3840 +0 x3841 = +0
+1 x3833 -1 x3837 -1 x3838 = +0
+1 x3828 -1 x3853 -1 x3854 = +0
+1 x383c -1 x3855 -1 x3856 = +0
+1 x383e -1 x3857 -1 x3858 = +0
+1 x3840 -1 x3859 -1 x385a = +0
+1 x385a +1 x385b -1 x392b +0 x392c = +0
+1 x3858 -1 x392d +0 x392e = +0
+1 x35a4 +1 x3856 -1 x392f +0 x3930 = +0
+1 x3854 -1 x3931 +0 x3932 = +0
+1 x3859 +1 x3866 -1 x3869 = +0
+1 x3857 +1 x3867 -1 x386a = +0
+1 x3823 -1 x386d -1 x386e = +0
+1 x3869 -1 x386f -1 x3870 = +0
+1 x386a -1 x3871 -1 x3872 = +0
+1 x3855 -1 x3873 -1 x3874 = +0
+1 x3853 -1 x3875 -1 x3876 = +0
+1 x386f +1 x3871 +1 x3873 +1 x3875 -1 x3888 = +0
+1 x3870 +1 x3872 +1 x3874 +1 x3876 -1 x3878 = +0
+1 x386e -1 x387b -1 x387c = +0
+1 x3878 -1 x387d -1 x387e = +0
+1 x387b +1 x387d -1 x387f = +0
+1 x387c +1 x387e -1 x3881 = +0
+1 x3881 -1 x3883 -1 x3884 = +0
+1 x386d -1 x388d -1 x388e = +0
+1 x388e -1 x3891 -1 x3892 = +0
+1 x3892 -1 x3897 -1 x3898 = +0
+1 x388d -1 x389f -1 x38a0 = +0
+1 x38a0 -1 x38a3 -1 x38a4 = +0
+1 x38a4 -1 x38a9 -1 x38aa = +0
+1 x389f -1 x38b1 -1 x38b2 = +0
+1 x38b2 -1 x38b5 -1 x38b6 = +0
+1 x38b6 -1 x38bb -1 x38bc = +0
+1 x38b1 -1 x38c3 -1 x38c4 = +0
+1 x38c4 -1 x38c7 -1 x38c8 = +0
+1 x38c8 -1 x38cd -1 x38ce = +0
+1 x38c3 -1 x38d5 -1 x38d6 = +0
+1 x38d6 -1 x38d9 -1 x38da = +0
+1 x38da -1 x38df -1 x38e0 = +0
+1 x38d5 -1 x38e7 -1 x38e8 = +0
+1 x38e8 -1 x38eb -1 x38ec = +0
+1 x38ec -1 x38f1 -1 x38f2 = +0
+1 x38e7 -1 x38f8 +1 x390b = +0
+1 x38f8 -1 x38f9 -1 x38fa = +0
+1 x38fa -1 x38fd -1 x38fe = +0
+1 x38fe -1 x3903 -1 x3904 = +0
+1 x38f9 -1 x390b -1 x390c = +0
+1 x390c -1 x390f -1 x3910 = +0
+1 x3910 -1 x3915 -1 x3916 = +0
+1 x3954 -1 x3978 -1 x3979 -1 x397a = +0
+1 x3955 -1 x397b -1 x397c -1 x397d = +0
+1 x3511 -1 x397e -1 x397f -1 x3980 = +0
+1 x350d -1 x3981 -1 x3982 -1 x3983 = +0
+1 x350b -1 x3984 -1 x3985 -1 x3986 = +0
+1 x3509 -1 x3987 -1 x3988 -1 x3989 = +0
+1 x3507 -1 x398a -1 x398b -1 x398c = +0
+1 x3921 -1 x398d -1 x398e -1 x398f = +0
+1 x392b -1 x3990 -1 x3991 -1 x3992 = +0
+1 x391d -1 x3993 -1 x3994 -1 x3995 = +0
+1 x3925 -1 x3996 -1 x3997 -1 x3998 = +0
+1 x392f -1 x3999 -1 x399a -1 x399b = +0
+1 x3929 -1 x399c -1 x399d -1 x399e = +0
+1 x391f -1 x399f -1 x39a0 -1 x39a1 = +0
+1 x3923 -1 x39a2 -1 x39a3 -1 x39a4 = +0
+1 x3927 -1 x39a5 -1 x39a6 -1 x39a7 = +0
+1 x392d -1 x39a8 -1 x39a9 -1 x39aa = +0
+1 x3931 -1 x39ab -1 x39ac -1 x39ad = +0
+1 x3979 +1 x398e +1 x39a9 -1 x39b3 +1 x4230 +1 x42b8 = +0
+1 x3985 +1 x399a +1 x39a6 -1 x39b6 = +0
+1 x398b +1 x39a0 -1 x39bc = +0
+1 x3988 +1 x399d -1 x39bf = +0
+1 x3982 +1 x3997 -1 x39c2 = +0
+1 x397f +1 x3994 -1 x39c5 = +0
+1 x397c +1 x3991 -1 x39c8 = +0
+1 x397a +1 x398f +1 x39aa -1 x39cd +1 x4231 +1 x42b9 = +0
+1 x3986 +1 x399b +1 x39a7 -1 x39d0 = +0
+1 x398c +1 x39a1 -1 x39d6 = +0
+1 x3989 +1 x399e -1 x39d9 = +0
+1 x3983 +1 x3998 -1 x39dc = +0
+1 x3980 +1 x3995 -1 x39df = +0
+1 x397d +1 x3992 -1 x39e2 = +0
+1 x3978 +1 x398d +1 x39a8 -1 x39e7 +1 x422f +1 x42b7 = +0
+1 x3984 +1 x3999 +1 x39a5 -1 x39ea = +0
+1 x398a +1 x399f -1 x39f0 = +0
+1 x3987 +1 x399c -1 x39f3 = +0
+1 x3981 +1 x3996 -1 x39f6 = +0
+1 x397e +1 x3993 -1 x39f9 = +0
+1 x397b +1 x3990 -1 x39fc = +0
+1 x39b3 +1 x39c5 -1 x3a24 = +0
+1 x39ac +1 x39bf -1 x3a26 = +0
+1 x39c8 -1 x3a31 -1 x3a32 = +0
+1 x3a24 -1 x3a33 -1 x3a34 = +0
+1 x39c2 -1 x3a35 -1 x3a36 = +0
+1 x3a26 -1 x3a37 -1 x3a38 = +0
+1 x39bc -1 x3a39 -1 x3a3a = +0
+1 x39a3 -1 x3a3b -1 x3a3c = +0
+1 x39b6 -1 x3a3d -1 x3a3e = +0
+1 x3a3d +1 x3a89 -1 x3aa3 -1 x3aa4 -1 x3aa5 = +0
+1 x3a3b +1 x3a87 -1 x3aa6 -1 x3aa7 -1 x3aa8 = +0
+1 x3a39 +1 x3a85 -1 x3aa9 -1 x3aaa -1 x3aab = +0
+1 x3a35 +1 x3a37 +1 x3a8e -1 x3aac -1 x3aad -1 x3aae = +0
+1 x3a33 +1 x3a7f -1 x3aaf -1 x3ab0 -1 x3ab1 = +0
+1 x3a31 +1 x3a7d -1 x3ab2 -1 x3ab3 -1 x3ab4 = +0
+1 x3a36 +1 x3a38 -1 x3a42 = +0
+1 x3a3e +1 x3a8a -1 x4202 = +0
+1 x3a3c +1 x3a88 -1 x4203 = +0
+1 x3a3a +1 x3a86 -1 x4204 = +0
+1 x3a42 +1 x3a94 -1 x4205 = +0
+1 x3a34 +1 x3a80 -1 x4206 = +0
+1 x3a32 +1 x3a7e -1 x4207 = +0
+1 x39cd +1 x39df -1 x3a70 = +0
+1 x39ad +1 x39d9 -1 x3a72 = +0
+1 x39e2 -1 x3a7d -1 x3a7e = +0
+1 x3a70 -1 x3a7f -1 x3a80 = +0
+1 x39dc -1 x3a81 -1 x3a82 = +0
+1 x3a72 -1 x3a83 -1 x3a84 = +0
+1 x39d6 -1 x3a85 -1 x3a86 = +0
+1 x39a4 -1 x3a87 -1 x3a88 = +0
+1 x39d0 -1 x3a89 -1 x3a8a = +0
+1 x3a81 +1 x3a83 -1 x3a8e = +0
+1 x3a82 +1 x3a84 -1 x3a94 = +0
+1 x3aa4 +1 x3aa7 +1 x3aaa +1 x3aad +1 x3ab0 +1 x3ab3 -1 x3ab7 +1 x41fd
+1 x4293 = +0
+1 x3aa3 +1 x3aa6 +1 x3aa9 +1 x3aac +1 x3aaf +1 x3ab2 -1 x3ab9 +1 x41fc
+1 x4294 = +0
+1 x3aa5 +1 x3aa8 +1 x3aab +1 x3aae +1 x3ab1 +1 x3ab4 -1 x3abb +1 x41fe
+1 x4295 = +0
+1 x3ab7 -1 x3ac4 -1 x3ac5 = +0
+1 x3ac4 -1 x41b4 -1 x41b5 -1 x41b6 = +0
+1 x3ac5 -1 x3acc -1 x3acd = +0
+1 x3acd -1 x3ad0 -1 x3ad1 = +0
+1 x3ad0 -1 x3ad3 +1 x4108 +1 x419c +1 x41de +1 x42cf +1 x433f = +0
+1 x3ad3 -1 x3ad4 -1 x3ad5 = +0
+1 x3ad5 -1 x3af4 +0 x3af5 = +0
+1 x3ad4 -1 x3ad8 -1 x3ad9 = +0
+1 x3ad9 -1 x3af6 +0 x3af7 = +0
+1 x3ad8 -1 x3adc -1 x3add = +0
+1 x3add -1 x3af8 +0 x3af9 = +0
+1 x3adc -1 x3ae0 -1 x3ae1 = +0
+1 x3ae1 -1 x3afa +0 x3afb = +0
+1 x3ae0 -1 x3ae4 -1 x3ae5 = +0
+1 x3ae5 -1 x3afc +0 x3afd = +0
+1 x3ae4 -1 x3ae8 -1 x3ae9 = +0
+1 x3ae9 -1 x3afe +0 x3aff = +0
+1 x3ae8 -1 x3aeb +1 x3af0 = +0
+1 x3aeb -1 x3aec -1 x3aed = +0
+1 x3aed -1 x3b00 +0 x3b01 = +0
+1 x3aec -1 x3af0 -1 x3af1 = +0
+1 x3af1 -1 x3b02 +0 x3b03 = +0
+1 x3ad1 -1 x3b2e -1 x3b2f = +0
+1 x3af4 -1 x3b30 -1 x3b31 = +0
+1 x3af6 -1 x3b32 -1 x3b33 = +0
+1 x3af8 -1 x3b34 -1 x3b35 = +0
+1 x3afa -1 x3b36 -1 x3b37 = +0
+1 x3afc -1 x3b38 -1 x3b39 = +0
+1 x3afe -1 x3b3a -1 x3b3b = +0
+1 x3b00 -1 x3b3c -1 x3b3d = +0
+1 x3b02 -1 x3b3e -1 x3b3f = +0
+1 x3b2f +1 x3b3f -1 x3f7e = +0
+1 x3b39 +1 x3b3d -1 x3f7f = +0
+1 x3b2e +1 x3b3e -1 x3b40 = +0
+1 x3b38 +1 x3b3c -1 x3b41 = +0
+1 x3b3a +1 x3b40 -1 x3b48 = +0
+1 x3acc -1 x3b4e +1 x4104 +1 x4198 +1 x41da +1 x42cb +1 x433b = +0
+1 x3b48 -1 x3b4f +1 x410e +1 x41a2 +1 x41e4 +1 x42d5 +1 x4345 = +0
+1 x3b4e -1 x3b55 -1 x3b56 = +0
+1 x3b4f -1 x3b57 -1 x3b58 = +0
+1 x3b41 -1 x3b59 -1 x3b5a = +0
+1 x3b36 -1 x3b5b -1 x3b5c = +0
+1 x3b34 -1 x3b5d -1 x3b5e = +0
+1 x3b32 -1 x3b5f -1 x3b60 = +0
+1 x3b30 -1 x3b61 -1 x3b62 = +0
+1 x3b57 +1 x3b59 +1 x3b5b +1 x3b5d +1 x3b5f +1 x3b61 -1 x3be1 = +0
+1 x3b58 +1 x3b5a +1 x3b5c +1 x3b5e +1 x3b60 +1 x3b62 -1 x3b64 = +0
+1 x3b56 -1 x3b67 -1 x3b68 = +0
+1 x3b64 -1 x3b69 -1 x3b6a = +0
+1 x3b67 +1 x3b69 -1 x3b6b = +0
+1 x3b68 +1 x3b6a -1 x3bb5 = +0
+1 x3b6b -1 x3b6c +1 x3c0c +1 x3c20 +1 x3c49 +1 x3cb3 +1 x3cc5 +1 x3cd7
+1 x3ce9 +1 x3cfb +1 x3d0d +1 x3d1f +1 x3d31 +1 x3d43 +1 x3d55 +1 x3d67
+1 x3d79 +1 x3d8b +1 x3d9d +1 x3daf +1 x3dc1 +1 x3e3f +1 x3ea9 +1 x3ebb
+1 x3ecd +1 x3edf +1 x3ef1 +1 x3f03 +1 x3f15 +1 x3f27 +1 x3f39 +1 x4352
= +0
+1 x3b6c -1 x3b6d -1 x3b6e = +0
+1 x3b6e -1 x3b8d +0 x3b8e = +0
+1 x3b6d -1 x3b71 -1 x3b72 = +0
+1 x3b72 -1 x3b8f +0 x3b90 = +0
+1 x3b71 -1 x3b75 -1 x3b76 = +0
+1 x3b76 -1 x3b91 +0 x3b92 +1 x3c37 = +0
+1 x3b75 -1 x3b78 +1 x3c36 = +0
+1 x3b78 -1 x3b79 -1 x3b7a = +0
+1 x3b7a -1 x3b93 +0 x3b94 = +0
+1 x3b79 -1 x3b7d -1 x3b7e = +0
+1 x3b7e -1 x3b95 +0 x3b96 = +0
+1 x3b7d -1 x3b81 -1 x3b82 = +0
+1 x3b82 -1 x3b97 +0 x3b98 +1 x3c6c +1 x3e62 = +0
+1 x3b81 -1 x3b84 +1 x3b89 +1 x3c6b +1 x3e61 = +0
+1 x3b84 -1 x3b85 -1 x3b86 = +0
+1 x3b86 -1 x3b99 +0 x3b9a +1 x3de8 = +0
+1 x3b85 -1 x3b88 +1 x3de7 = +0
+1 x3b88 -1 x3b89 -1 x3b8a = +0