value_530288.lp

maximize cost: 20 x3095 + 19 x309c + 9 x309d + 64 x30a4
 + 38 x30ab + 17 x30ac + 1 x30b6 + 38 x30b0 + 17 x30b1
 + 34 x30c0 + 37 x30c1 + 40 x30c8 + 40 x30ce + 47 x30cf
 + 14 x30d3 + 14 x30d4 + 25 x30d7 + 25 x30d8 + 25 x30db
 + 25 x30dc + 25 x30df + 25 x30e0 + 20 x30f3 + 21 x30f4
 + 20 x30f5 + 21 x30f6 + 20 x30f7 + 21 x30f8 + 15 x3128
 + 66 x30f9 + 20 x3100 + 35 x3103 + 14 x3104 + 46 x3107
 + 25 x3108 + 25 x310b + 25 x310c + 21 x3114 + 25 x310f
 + 25 x3110 + 15 x3126 + 82 x312e + 40 x313a + 47 x313b
 + 14 x313f + 14 x3140 + 25 x3143 + 25 x3144 + 25 x3147
 + 25 x3148 + 25 x314b + 25 x314c + 20 x315f + 21 x3160
 + 20 x3161 + 21 x3162 + 20 x3163 + 21 x3164 + 15 x3194
 + 66 x3165 + 20 x316c + 35 x316f + 14 x3170 + 46 x3173
 + 25 x3174 + 25 x3177 + 25 x3178 + 21 x3180 + 25 x317b
 + 25 x317c + 15 x3192 + 88 x319a + 40 x31a6 + 47 x31a7
 + 14 x31ab + 14 x31ac + 25 x31af + 25 x31b0 + 25 x31b3
 + 25 x31b4 + 25 x31b7 + 25 x31b8 + 20 x31cb + 21 x31cc
 + 20 x31cd + 21 x31ce + 20 x31cf + 21 x31d0 + 70 x31d1
 + 20 x31d8 + 35 x31db + 14 x31dc + 46 x31df + 25 x31e0
 + 25 x31e3 + 25 x31e4 + 21 x31ec + 25 x31e7 + 25 x31e8
 + 15 x3204 + 15 x3205 + 15 x3206 + 15 x3207 + 15 x3208
 + 15 x3209 + 16 x320c + 16 x320e + 16 x3210 + 27 x3219
 + 33 x321a + 8 x3229 + 8 x322a + 8 x322b + 8 x322c
 + 8 x322d + 8 x322e + 39 x3d64 + 27 x3223 + 33 x3224
 + 8 x3231 + 19 x3234 + 8 x3236 + 19 x3239 + 8 x323b
 + 19 x323e + 26 x324b + 71 x324c + 8 x3abc + 8 x3abd
 + 8 x3abe + 40 x3253 + 47 x3254 + 14 x3258 + 14 x3259
 + 25 x325c + 25 x325d + 25 x3260 + 25 x3261 + 25 x3264
 + 25 x3265 + 20 x3278 + 21 x3279 + 20 x327a + 21 x327b
 + 20 x327c + 21 x327d + 70 x327e + 20 x3285 + 35 x3288
 + 14 x3289 + 46 x328c + 25 x328d + 25 x3290 + 25 x3291
 + 21 x3299 + 25 x3294 + 25 x3295 + 15 x32b1 + 15 x32b2
 + 15 x32b3 + 15 x32b4 + 15 x32b5 + 15 x32b6 + 16 x32b9
 + 16 x32bb + 16 x32bd + 27 x32cc + 26 x32cd + 27 x32ce
 + 26 x32cf + 8 x37c2 + 8 x37c3 + 8 x37c4 + 8 x37c5
 + 8 x37c6 + 8 x37c7 + 46 x32d0 + 40 x32d6 + 47 x32d7
 + 14 x32db + 14 x32dc + 25 x32df + 25 x32e0 + 25 x32e3
 + 25 x32e4 + 25 x32e7 + 25 x32e8 + 20 x32fb + 21 x32fc
 + 20 x32fd + 21 x32fe + 20 x32ff + 21 x3300 + 70 x3301
 + 20 x3308 + 35 x330b + 14 x330c + 46 x330f + 25 x3310
 + 25 x3313 + 25 x3314 + 21 x331c + 25 x3317 + 25 x3318
 + 15 x3334 + 15 x3335 + 15 x3336 + 15 x3337 + 15 x3338
 + 15 x3339 + 16 x333c + 16 x333e + 16 x3340 + 27 x334f
 + 26 x3350 + 27 x3351 + 26 x3352 + 8 x3355 + 8 x3356
 + 8 x3357 + 8 x3358 + 8 x3359 + 8 x335a + 7 x3353
 + 39 x3d65 + 8 x335d + 19 x3360 + 8 x3362 + 19 x3365
 + 8 x3367 + 19 x336a + 26 x3381 + 25 x3382 + 26 x3383
 + 25 x3384 + 8 x3387 + 8 x3388 + 8 x3389 + 7 x3385
 + 39 x3997 + 11 x3396 + 22 x3397 + 40 x33a0 + 68 x33a1
 + 5 x400e + 11 x33ac + 22 x33ad + 11 x33ae + 22 x33af
 + 11 x33b0 + 22 x33b1 + 26 x33ce + 29 x33cf + 8 x33e2
 + 8 x33e3 + 8 x33e4 + 39 x3450 + 26 x33dc + 29 x33dd
 + 11 x33e7 + 20 x400f + 6 x33f9 + 6 x33fa + 6 x33fb
 + 6 x33fc + 6 x33fd + 6 x33fe + 6 x33ff + 25 x3402
 + 5 x3404 + 30 x3407 + 5 x340a + 5 x340c + 25 x340f
 + 5 x3412 + 20 x3441 + 20 x3442 + 20 x3443 + 20 x3444
 + 20 x3445 + 20 x3446 + 20 x3447 + 40 x3455 + 47 x3456
 + 14 x345a + 14 x345b + 25 x345e + 25 x345f + 25 x3462
 + 25 x3463 + 25 x3466 + 25 x3467 + 20 x347a + 21 x347b
 + 20 x347c + 21 x347d + 20 x347e + 21 x347f + 70 x3480
 + 20 x3487 + 35 x348a + 14 x348b + 46 x348e + 25 x348f
 + 25 x3492 + 25 x3493 + 21 x349b + 25 x3496 + 25 x3497
 + 15 x34b3 + 15 x34b4 + 15 x34b5 + 15 x34b6 + 15 x34b7
 + 15 x34b8 + 16 x34bb + 16 x34bd + 16 x34bf + 27 x34ce
 + 26 x34cf + 27 x34d0 + 26 x34d1 + 8 x34d4 + 8 x34d5
 + 8 x34d6 + 8 x34d7 + 8 x34d8 + 8 x34d9 + 7 x34d2
 + 39 x3745 + 8 x34dc + 19 x34df + 8 x34e1 + 19 x34e4
 + 8 x34e6 + 19 x34e9 + 26 x34f6 + 32 x34f7 + 8 x350a
 + 8 x350b + 8 x350c + 39 x3528 + 26 x3504 + 32 x3505
 + 9 x350f + 3 x3522 + 3 x3523 + 3 x3524 + 40 x352c
 + 47 x352d + 14 x3531 + 14 x3532 + 25 x3535 + 25 x3536
 + 20 x353f + 21 x3540 + 20 x3541 + 21 x3542 + 70 x3543
 + 20 x354a + 35 x354d + 14 x354e + 46 x3551 + 25 x3552
 + 15 x3563 + 15 x3564 + 15 x3565 + 15 x3566 + 15 x3567
 + 15 x3568 + 27 x3572 + 33 x3573 + 8 x3577 + 8 x3578
 + 8 x3579 + 8 x357a + 8 x357b + 8 x357c + 26 x3597
 + 32 x3598 + 26 x3599 + 29 x359a + 8 x359e + 8 x359f
 + 8 x35a0 + 8 x35a1 + 8 x35a2 + 8 x35a3 + 39 x359d
 + 40 x35ae + 47 x35af + 14 x35b3 + 14 x35b4 + 25 x35b7
 + 25 x35b8 + 20 x35c1 + 21 x35c2 + 20 x35c3 + 21 x35c4
 + 70 x35c5 + 20 x35cc + 35 x35cf + 14 x35d0 + 46 x35d3
 + 25 x35d4 + 15 x35e5 + 15 x35e6 + 15 x35e7 + 15 x35e8
 + 15 x35e9 + 15 x35ea + 6 x35fe + 6 x35ff + 6 x3600
 + 6 x3601 + 6 x3602 + 6 x3603 + 6 x3604 + 20 x3608
 + 20 x3609 + 20 x360a + 20 x360b + 20 x360c + 20 x360d
 + 20 x360e + 3 x360f + 3 x3610 + 3 x3611 + 5 x3614
 + 6 x361a + 5 x361c + 5 x361f + 5 x3622 + 5 x362a
 + 5 x362d + 5 x3630 + 28 x364a + 20 x365b + 20 x365c
 + 20 x365d + 20 x365e + 20 x365f + 20 x3660 + 20 x3661
 + 6 x3662 + 6 x3663 + 6 x3664 + 6 x3665 + 6 x3666
 + 6 x3667 + 6 x3668 + 28 x366e + 28 x3673 + 28 x3676
 + 28 x3679 + 28 x367e + 28 x3681 + 28 x3684 + 36 x3691
 + 27 x3692 + 40 x369f + 68 x36a0 + 20 x36b3 + 20 x36b4
 + 20 x36b5 + 20 x36b6 + 20 x36b7 + 20 x36b8 + 16 x36be
 + 7 x36c1 + 16 x36c6 + 7 x36c9 + 16 x36ce + 7 x36d1
 + 40 x36f7 + 47 x36f8 + 14 x36fc + 14 x36fd + 25 x3700
 + 25 x3701 + 20 x370a + 21 x370b + 20 x370c + 21 x370d
 + 70 x370e + 20 x3715 + 35 x3718 + 14 x3719 + 46 x371c
 + 25 x371d + 15 x372e + 15 x372f + 15 x3730 + 15 x3731
 + 15 x3732 + 15 x3733 + 40 x3749 + 47 x374a + 14 x374e
 + 14 x374f + 25 x3752 + 25 x3753 + 20 x375c + 21 x375d
 + 20 x375e + 21 x375f + 70 x3760 + 20 x3767 + 35 x376a
 + 14 x376b + 46 x376e + 25 x376f + 15 x3780 + 15 x3781
 + 15 x3782 + 15 x3783 + 15 x3784 + 15 x3785 + 27 x378f
 + 33 x3790 + 8 x3794 + 8 x3795 + 8 x3796 + 8 x3797
 + 8 x3798 + 8 x3799 + 26 x37aa + 32 x37ab + 8 x37af
 + 8 x37b0 + 8 x37b1 + 11 x37c8 + 22 x37c9 + 11 x37ca
 + 22 x37cb + 11 x37cc + 22 x37cd + 20 x37ce + 20 x37cf
 + 20 x37d0 + 20 x37d1 + 20 x37d2 + 20 x37d3 + 8 x37d9
 + 19 x37dc + 16 x37e5 + 7 x37e8 + 8 x37ed + 19 x37f0
 + 16 x37f9 + 7 x37fc + 8 x3801 + 19 x3804 + 16 x380d
 + 7 x3810 + 26 x3836 + 29 x3837 + 26 x3838 + 32 x3839
 + 8 x3881 + 8 x3882 + 8 x3883 + 8 x3884 + 8 x3885
 + 8 x3886 + 39 x383c + 40 x3841 + 47 x3842 + 14 x3846
 + 14 x3847 + 25 x384a + 25 x384b + 20 x3854 + 21 x3855
 + 20 x3856 + 21 x3857 + 70 x3858 + 20 x385f + 35 x3862
 + 14 x3863 + 46 x3866 + 25 x3867 + 15 x3878 + 15 x3879
 + 15 x387a + 15 x387b + 15 x387c + 15 x387d + 3 x388c
 + 26 x38b8 + 29 x38b9 + 26 x38ba + 32 x38bb + 8 x3903
 + 8 x3904 + 8 x3905 + 8 x3906 + 8 x3907 + 8 x3908
 + 39 x38be + 40 x38c3 + 47 x38c4 + 14 x38c8 + 14 x38c9
 + 25 x38cc + 25 x38cd + 20 x38d6 + 21 x38d7 + 20 x38d8
 + 21 x38d9 + 70 x38da + 20 x38e1 + 35 x38e4 + 14 x38e5
 + 46 x38e8 + 25 x38e9 + 15 x38fa + 15 x38fb + 15 x38fc
 + 15 x38fd + 15 x38fe + 15 x38ff + 3 x3912 + 3 x3913
 + 3 x3914 + 22 x3921 + 13 x3922 + 40 x392b + 68 x392c
 + 6 x3938 + 6 x3939 + 6 x393a + 6 x393b + 6 x393c
 + 6 x393d + 40 x3948 + 47 x3949 + 14 x394d + 14 x394e
 + 25 x3951 + 25 x3952 + 20 x395b + 21 x395c + 20 x395d
 + 21 x395e + 70 x395f + 20 x3966 + 35 x3969 + 14 x396a
 + 46 x396d + 25 x396e + 15 x397f + 15 x3980 + 15 x3981
 + 15 x3982 + 15 x3983 + 15 x3984 + 6 x398b + 6 x398c
 + 6 x398d + 6 x398e + 6 x398f + 6 x3990 + 40 x399b
 + 47 x399c + 14 x39a0 + 14 x39a1 + 25 x39a4 + 25 x39a5
 + 20 x39ae + 21 x39af + 20 x39b0 + 21 x39b1 + 70 x39b2
 + 20 x39b9 + 35 x39bc + 14 x39bd + 46 x39c0 + 25 x39c1
 + 15 x39d2 + 15 x39d3 + 15 x39d4 + 15 x39d5 + 15 x39d6
 + 15 x39d7 + 27 x39e1 + 72 x39e2 + 8 x3a29 + 8 x3a2a
 + 8 x3a2b + 8 x3a2c + 8 x3a2d + 8 x3a2e + 40 x39e9
 + 47 x39ea + 14 x39ee + 14 x39ef + 25 x39f2 + 25 x39f3
 + 20 x39fc + 21 x39fd + 20 x39fe + 21 x39ff + 70 x3a00
 + 20 x3a07 + 35 x3a0a + 14 x3a0b + 46 x3a0e + 25 x3a0f
 + 15 x3a20 + 15 x3a21 + 15 x3a22 + 15 x3a23 + 15 x3a24
 + 15 x3a25 + 26 x3a55 + 29 x3a56 + 26 x3a57 + 32 x3a58
 + 8 x3aa0 + 8 x3aa1 + 8 x3aa2 + 8 x3aa3 + 8 x3aa4
 + 8 x3aa5 + 39 x3a5b + 40 x3a60 + 47 x3a61 + 14 x3a65
 + 14 x3a66 + 25 x3a69 + 25 x3a6a + 20 x3a73 + 21 x3a74
 + 20 x3a75 + 21 x3a76 + 70 x3a77 + 20 x3a7e + 35 x3a81
 + 14 x3a82 + 46 x3a85 + 25 x3a86 + 15 x3a97 + 15 x3a98
 + 15 x3a99 + 15 x3a9a + 15 x3a9b + 15 x3a9c + 20 x3ac2
 + 20 x3ac3 + 20 x3ac4 + 20 x3ac5 + 20 x3ac6 + 20 x3ac7
 + 20 x3ac8 + 6 x3ac9 + 6 x3aca + 6 x3acb + 6 x3acc
 + 6 x3acd + 6 x3ace + 6 x3acf + 3 x3ad0 + 3 x3ad1
 + 3 x3ad2 + 28 x3adb + 28 x3ae6 + 28 x3ae9 + 28 x3aec
 + 28 x3af7 + 28 x3afa + 28 x3afd + 11 x3b13 + 22 x3b14
 + 11 x3b15 + 22 x3b16 + 11 x3b17 + 22 x3b18 + 20 x3b19
 + 20 x3b1a + 20 x3b1b + 20 x3b1c + 20 x3b1d + 20 x3b1e
 + 6 x3b22 + 6 x3b23 + 6 x3b24 + 6 x3b25 + 6 x3b26
 + 6 x3b27 + 16 x3b30 + 7 x3b33 + 16 x3b3e + 7 x3b41
 + 16 x3b4c + 7 x3b4f + 26 x3b81 + 25 x3b82 + 26 x3b83
 + 25 x3b84 + 8 x3b87 + 8 x3b88 + 8 x3b89 + 4 x3b85
 + 39 x3bae + 26 x3ba3 + 29 x3ba4 + 8 x3ba8 + 8 x3ba9
 + 8 x3baa + 40 x3bb2 + 47 x3bb3 + 14 x3bb7 + 14 x3bb8
 + 25 x3bbb + 25 x3bbc + 20 x3bc5 + 21 x3bc6 + 20 x3bc7
 + 21 x3bc8 + 70 x3bc9 + 20 x3bd0 + 35 x3bd3 + 14 x3bd4
 + 46 x3bd7 + 25 x3bd8 + 15 x3be9 + 15 x3bea + 15 x3beb
 + 15 x3bec + 15 x3bed + 15 x3bee + 26 x3bfc + 71 x3bfd
 + 8 x3c44 + 8 x3c45 + 8 x3c46 + 40 x3c04 + 47 x3c05
 + 14 x3c09 + 14 x3c0a + 25 x3c0d + 25 x3c0e + 20 x3c17
 + 21 x3c18 + 20 x3c19 + 21 x3c1a + 70 x3c1b + 20 x3c22
 + 35 x3c25 + 14 x3c26 + 46 x3c29 + 25 x3c2a + 15 x3c3b
 + 15 x3c3c + 15 x3c3d + 15 x3c3e + 15 x3c3f + 15 x3c40
 + 11 x3c5a + 22 x3c5b + 11 x3c5c + 22 x3c5d + 11 x3c5e
 + 22 x3c5f + 20 x3c60 + 20 x3c61 + 20 x3c62 + 20 x3c63
 + 20 x3c64 + 20 x3c65 + 6 x3c69 + 6 x3c6a + 6 x3c6b
 + 6 x3c6c + 6 x3c6d + 6 x3c6e + 16 x3c77 + 7 x3c7a
 + 16 x3c85 + 7 x3c88 + 16 x3c93 + 7 x3c96 + 26 x3cb2
 + 68 x3cb3 + 8 x3cfa + 8 x3cfb + 8 x3cfc + 40 x3cba
 + 47 x3cbb + 14 x3cbf + 14 x3cc0 + 25 x3cc3 + 25 x3cc4
 + 20 x3ccd + 21 x3cce + 20 x3ccf + 21 x3cd0 + 70 x3cd1
 + 20 x3cd8 + 35 x3cdb + 14 x3cdc + 46 x3cdf + 25 x3ce0
 + 15 x3cf1 + 15 x3cf2 + 15 x3cf3 + 15 x3cf4 + 15 x3cf5
 + 15 x3cf6 + 26 x3d16 + 68 x3d17 + 8 x3d5e + 8 x3d5f
 + 8 x3d60 + 40 x3d1e + 47 x3d1f + 14 x3d23 + 14 x3d24
 + 25 x3d27 + 25 x3d28 + 20 x3d31 + 21 x3d32 + 20 x3d33
 + 21 x3d34 + 70 x3d35 + 20 x3d3c + 35 x3d3f + 14 x3d40
 + 46 x3d43 + 25 x3d44 + 15 x3d55 + 15 x3d56 + 15 x3d57
 + 15 x3d58 + 15 x3d59 + 15 x3d5a + 40 x3d6a + 47 x3d6b
 + 14 x3d6f + 14 x3d70 + 25 x3d73 + 25 x3d74 + 20 x3d7d
 + 21 x3d7e + 20 x3d7f + 21 x3d80 + 70 x3d81 + 20 x3d88
 + 35 x3d8b + 14 x3d8c + 46 x3d8f + 25 x3d90 + 15 x3da1
 + 15 x3da2 + 15 x3da3 + 15 x3da4 + 15 x3da5 + 15 x3da6
 + 27 x3db0 + 72 x3db1 + 8 x3db4 + 8 x3db5 + 8 x3db6
 + 8 x3db7 + 8 x3db8 + 8 x3db9 + 40 x3dc4 + 47 x3dc5
 + 14 x3dc9 + 14 x3dca + 25 x3dcd + 25 x3dce + 20 x3dd7
 + 21 x3dd8 + 20 x3dd9 + 21 x3dda + 70 x3ddb + 20 x3de2
 + 35 x3de5 + 14 x3de6 + 46 x3de9 + 25 x3dea + 15 x3dfb
 + 15 x3dfc + 15 x3dfd + 15 x3dfe + 15 x3dff + 15 x3e00
 + 26 x3e24 + 29 x3e25 + 26 x3e26 + 32 x3e27 + 8 x3e6f
 + 8 x3e70 + 8 x3e71 + 8 x3e72 + 8 x3e73 + 8 x3e74
 + 39 x3e2a + 40 x3e2f + 47 x3e30 + 14 x3e34 + 14 x3e35
 + 25 x3e38 + 25 x3e39 + 20 x3e42 + 21 x3e43 + 20 x3e44
 + 21 x3e45 + 70 x3e46 + 20 x3e4d + 35 x3e50 + 14 x3e51
 + 46 x3e54 + 25 x3e55 + 15 x3e66 + 15 x3e67 + 15 x3e68
 + 15 x3e69 + 15 x3e6a + 15 x3e6b + 11 x3e8b + 22 x3e8c
 + 20 x3e8d + 20 x3e8e + 6 x3e90 + 6 x3e91 + 16 x3e94
 + 7 x3e95 + 34 x3ea3 + 68 x3ea4 + 40 x3eae + 47 x3eaf
 + 14 x3eb3 + 14 x3eb4 + 25 x3eb7 + 25 x3eb8 + 20 x3ec1
 + 21 x3ec2 + 20 x3ec3 + 21 x3ec4 + 70 x3ec5 + 20 x3ecc
 + 35 x3ecf + 14 x3ed0 + 46 x3ed3 + 25 x3ed4 + 15 x3ee5
 + 15 x3ee6 + 15 x3ee7 + 15 x3ee8 + 15 x3ee9 + 15 x3eea
 + 20 x3ef1 + 20 x3ef2 + 6 x3ef4 + 6 x3ef5 + 16 x3ef6
 + 7 x3ef7 + 34 x3f01 + 62 x3f02 + 40 x3f09 + 47 x3f0a
 + 14 x3f0e + 14 x3f0f + 25 x3f12 + 25 x3f13 + 25 x3f16
 + 25 x3f17 + 25 x3f1a + 25 x3f1b + 20 x3f2e + 21 x3f2f
 + 20 x3f30 + 21 x3f31 + 20 x3f32 + 21 x3f33 + 15 x3f63
 + 66 x3f34 + 20 x3f3b + 35 x3f3e + 14 x3f3f + 46 x3f42
 + 25 x3f43 + 25 x3f46 + 25 x3f47 + 21 x3f4f + 25 x3f4a
 + 25 x3f4b + 15 x3f61 + 16 x3f69 + 27 x3f6e + 72 x3f6f
 + 16 x3f72 + 27 x3f73 + 37 x3f7c + 71 x3f7d + 6 x3f85
 + 40 x3f8a + 47 x3f8b + 14 x3f8f + 14 x3f90 + 25 x3f93
 + 25 x3f94 + 20 x3f9d + 21 x3f9e + 20 x3f9f + 21 x3fa0
 + 70 x3fa1 + 20 x3fa8 + 35 x3fab + 14 x3fac + 46 x3faf
 + 25 x3fb0 + 15 x3fc1 + 15 x3fc2 + 15 x3fc3 + 15 x3fc4
 + 15 x3fc5 + 15 x3fc6 + 40 x3fce + 47 x3fcf + 14 x3fd3
 + 14 x3fd4 + 25 x3fd7 + 25 x3fd8 + 20 x3fe1 + 21 x3fe2
 + 20 x3fe3 + 21 x3fe4 + 70 x3fe5 + 20 x3fec + 35 x3fef
 + 14 x3ff0 + 46 x3ff3 + 25 x3ff4 + 15 x4005 + 15 x4006
 + 15 x4007 + 15 x4008 + 15 x4009 + 15 x400a + 11 x4018
 + 11 x4019 + 11 x401a + 9 x401b + 9 x401c + 9 x401d
 + 1 x401e + 1 x401f + 1 x4020
subject to
z = 0
o = 1
+1 x3095 = +1
+1 x401e +1 x401f +1 x4020 = +1
+1 x3095 -1 x309c -1 x309d = +0
+1 x309c +1 x309d -1 x30a4 = +0
+1 x30a4 -1 x30ab -1 x30ac = +0
+1 x30ac +1 x30b1 -1 x30b6 +0 x30b7 = +0
+1 x30ab -1 x30af +1 x30b0 = +0
+1 x30af -1 x30b0 -1 x30b1 = +0
+1 x30b6 -1 x30c0 -1 x30c1 = +0
+1 x30c0 +1 x30c1 -1 x30c8 = +0
+1 x30c8 -1 x30ce -1 x30cf = +0
+1 x30ce -1 x30d3 -1 x30d4 = +0
+1 x30d4 -1 x30d7 -1 x30d8 = +0
+1 x30d8 -1 x30db -1 x30dc = +0
+1 x30db +1 x30df -1 x30e4 +0 x30e5 = +0
+1 x30dc -1 x30de +1 x30e0 = +0
+1 x30de -1 x30df -1 x30e0 = +0
+1 x30d3 -1 x30f3 -1 x30f4 = +0
+1 x30d7 -1 x30f5 -1 x30f6 = +0
+1 x30e4 -1 x30f7 -1 x30f8 = +0
+1 x30f4 +1 x30f6 +1 x30f8 -1 x3128 = +0
+1 x30f3 +1 x30f5 +1 x30f7 -1 x30f9 = +0
+1 x30cf +1 x30f9 -1 x3100 = +0
+1 x3100 -1 x3103 -1 x3104 = +0
+1 x3104 -1 x3107 -1 x3108 = +0
+1 x3108 -1 x310b -1 x310c = +0
+1 x310b +1 x310f -1 x3114 +0 x3115 = +0
+1 x310c -1 x310e +1 x3110 = +0
+1 x310e -1 x310f -1 x3110 = +0
+1 x3103 +1 x3107 +1 x3114 -1 x3126 = +0
+1 x3126 +1 x3128 -1 x312e = +0
+1 x312e -1 x313a -1 x313b = +0
+1 x313a -1 x313f -1 x3140 = +0
+1 x3140 -1 x3143 -1 x3144 = +0
+1 x3144 -1 x3147 -1 x3148 = +0
+1 x3147 +1 x314b -1 x3150 +0 x3151 = +0
+1 x3148 -1 x314a +1 x314c = +0
+1 x314a -1 x314b -1 x314c = +0
+1 x313f -1 x315f -1 x3160 = +0
+1 x3143 -1 x3161 -1 x3162 = +0
+1 x3150 -1 x3163 -1 x3164 = +0
+1 x3160 +1 x3162 +1 x3164 -1 x3194 = +0
+1 x315f +1 x3161 +1 x3163 -1 x3165 = +0
+1 x313b +1 x3165 -1 x316c = +0
+1 x316c -1 x316f -1 x3170 = +0
+1 x3170 -1 x3173 -1 x3174 = +0
+1 x3174 -1 x3177 -1 x3178 = +0
+1 x3177 +1 x317b -1 x3180 +0 x3181 = +0
+1 x3178 -1 x317a +1 x317c = +0
+1 x317a -1 x317b -1 x317c = +0
+1 x316f +1 x3173 +1 x3180 -1 x3192 = +0
+1 x3192 +1 x3194 -1 x319a = +0
+1 x319a -1 x31a6 -1 x31a7 = +0
+1 x31a6 -1 x31ab -1 x31ac = +0
+1 x31ac -1 x31af -1 x31b0 = +0
+1 x31b0 -1 x31b2 +1 x3d74 +1 x3dce = +0
+1 x31b2 -1 x31b3 -1 x31b4 = +0
+1 x31b3 +1 x31b7 -1 x31bc +0 x31bd = +0
+1 x31b4 -1 x31b6 +1 x31b8 = +0
+1 x31b6 -1 x31b7 -1 x31b8 = +0
+1 x31ab -1 x31cb -1 x31cc = +0
+1 x31af -1 x31cd -1 x31ce = +0
+1 x31bc -1 x31cf -1 x31d0 = +0
+1 x31cc +1 x31ce +1 x31d0 -1 x3200 = +0
+1 x31cb +1 x31cd +1 x31cf -1 x31d1 = +0
+1 x31a7 +1 x31d1 -1 x31d8 = +0
+1 x31d8 -1 x31db -1 x31dc = +0
+1 x31dc -1 x31df -1 x31e0 = +0
+1 x31e0 -1 x31e2 +1 x3d90 +1 x3dea = +0
+1 x31e2 -1 x31e3 -1 x31e4 = +0
+1 x31e3 +1 x31e7 -1 x31ec +0 x31ed = +0
+1 x31e4 -1 x31e6 +1 x31e8 = +0
+1 x31e6 -1 x31e7 -1 x31e8 = +0
+1 x31db +1 x31df +1 x31ec -1 x31fe = +0
+1 x3200 -1 x3204 -1 x3205 -1 x3206 = +0
+1 x31fe -1 x3207 -1 x3208 -1 x3209 = +0
+1 x3205 +1 x3208 -1 x320c +1 x3da7 +1 x3e01 = +0
+1 x3206 +1 x3209 -1 x320e +1 x3da8 +1 x3e02 = +0
+1 x3204 +1 x3207 -1 x3210 +1 x3da9 +1 x3e03 = +0
+1 x320c -1 x3219 -1 x321a = +0
+1 x3219 +1 x3223 -1 x3229 -1 x322a -1 x322b -1 x322c -1 x322d -1 x322e
= +0
+1 x321a +1 x3224 -1 x3d64 = +0
+1 x320e -1 x3223 -1 x3224 = +0
+1 x3229 -1 x3231 +1 x3db4 = +0
+1 x322a -1 x3234 +1 x3db5 = +0
+1 x322b -1 x3236 +1 x3db6 = +0
+1 x322c -1 x3239 +1 x3db7 = +0
+1 x322d -1 x323b +1 x3db8 = +0
+1 x322e -1 x323e +1 x3db9 = +0
+1 x3231 +1 x3234 -1 x3249 = +0
+1 x3249 -1 x324b -1 x324c = +0
+1 x324b -1 x3abc -1 x3abd -1 x3abe = +0
+1 x324c -1 x3253 -1 x3254 = +0
+1 x3253 -1 x3258 -1 x3259 = +0
+1 x3259 -1 x325c -1 x325d = +0
+1 x325d -1 x325f +1 x39a5 +1 x3bbc +1 x3c0e +1 x3cc4 +1 x3d28 +1 x3e39
+1 x3eb8 = +0
+1 x325f -1 x3260 -1 x3261 = +0
+1 x3260 +1 x3264 -1 x3269 +0 x326a = +0
+1 x3261 -1 x3263 +1 x3265 = +0
+1 x3263 -1 x3264 -1 x3265 = +0
+1 x3258 -1 x3278 -1 x3279 = +0
+1 x325c -1 x327a -1 x327b = +0
+1 x3269 -1 x327c -1 x327d = +0
+1 x3279 +1 x327b +1 x327d -1 x32ad = +0
+1 x3278 +1 x327a +1 x327c -1 x327e = +0
+1 x3254 +1 x327e -1 x3285 = +0
+1 x3285 -1 x3288 -1 x3289 = +0
+1 x3289 -1 x328c -1 x328d = +0
+1 x328d -1 x328f +1 x39c1 +1 x3bd8 +1 x3c2a +1 x3ce0 +1 x3d44 +1 x3e55
+1 x3ed4 = +0
+1 x328f -1 x3290 -1 x3291 = +0
+1 x3290 +1 x3294 -1 x3299 +0 x329a = +0
+1 x3291 -1 x3293 +1 x3295 = +0
+1 x3293 -1 x3294 -1 x3295 = +0
+1 x3288 +1 x328c +1 x3299 -1 x32ab = +0
+1 x32ad -1 x32b1 -1 x32b2 -1 x32b3 = +0
+1 x32ab -1 x32b4 -1 x32b5 -1 x32b6 = +0
+1 x32b2 +1 x32b5 -1 x32b9 +1 x39d8 +1 x3bef +1 x3c41 +1 x3cf7 +1 x3d5b
+1 x3e6c +1 x3eeb = +0
+1 x32b3 +1 x32b6 -1 x32bb +1 x39d9 +1 x3bf0 +1 x3c42 +1 x3cf8 +1 x3d5c
+1 x3e6d +1 x3eec = +0
+1 x32b1 +1 x32b4 -1 x32bd +1 x39da +1 x3bf1 +1 x3c43 +1 x3cf9 +1 x3d5d
+1 x3e6e +1 x3eed = +0
+1 x32b9 -1 x32cc -1 x32cd = +0
+1 x32bb -1 x32ce -1 x32cf = +0
+1 x32cc +1 x32ce -1 x37c2 -1 x37c3 -1 x37c4 -1 x37c5 -1 x37c6 -1 x37c7
= +0
+1 x32cd +1 x32cf -1 x32d0 = +0
+1 x32d0 -1 x32d6 -1 x32d7 = +0
+1 x32d6 -1 x32db -1 x32dc = +0
+1 x32dc -1 x32df -1 x32e0 = +0
+1 x32e0 -1 x32e2 +1 x3753 +1 x39f3 +1 x3fd8 = +0
+1 x32e2 -1 x32e3 -1 x32e4 = +0
+1 x32e3 +1 x32e7 -1 x32ec +0 x32ed = +0
+1 x32e4 -1 x32e6 +1 x32e8 = +0
+1 x32e6 -1 x32e7 -1 x32e8 = +0
+1 x32db -1 x32fb -1 x32fc = +0
+1 x32df -1 x32fd -1 x32fe = +0
+1 x32ec -1 x32ff -1 x3300 = +0
+1 x32fc +1 x32fe +1 x3300 -1 x3330 = +0
+1 x32fb +1 x32fd +1 x32ff -1 x3301 = +0
+1 x32d7 +1 x3301 -1 x3308 = +0
+1 x3308 -1 x330b -1 x330c = +0
+1 x330c -1 x330f -1 x3310 = +0
+1 x3310 -1 x3312 +1 x376f +1 x3a0f +1 x3ff4 = +0
+1 x3312 -1 x3313 -1 x3314 = +0
+1 x3313 +1 x3317 -1 x331c +0 x331d = +0
+1 x3314 -1 x3316 +1 x3318 = +0
+1 x3316 -1 x3317 -1 x3318 = +0
+1 x330b +1 x330f +1 x331c -1 x332e = +0
+1 x3330 -1 x3334 -1 x3335 -1 x3336 = +0
+1 x332e -1 x3337 -1 x3338 -1 x3339 = +0
+1 x3335 +1 x3338 -1 x333c +1 x3786 +1 x3a26 +1 x400b = +0
+1 x3336 +1 x3339 -1 x333e +1 x3787 +1 x3a27 +1 x400c = +0
+1 x3334 +1 x3337 -1 x3340 +1 x3788 +1 x3a28 +1 x400d = +0
+1 x333c -1 x334f -1 x3350 = +0
+1 x333e -1 x3351 -1 x3352 = +0
+1 x334f +1 x3351 -1 x3355 -1 x3356 -1 x3357 -1 x3358 -1 x3359 -1 x335a
= +0
+1 x3350 +1 x3352 -1 x3353 = +0
+1 x3353 +1 x3790 -1 x3d65 = +0
+1 x3355 -1 x335d +1 x3794 = +0
+1 x3356 -1 x3360 +1 x3795 = +0
+1 x3357 -1 x3362 +1 x3796 = +0
+1 x3358 -1 x3365 +1 x3797 = +0
+1 x3359 -1 x3367 +1 x3798 = +0
+1 x335a -1 x336a +1 x3799 = +0
+1 x335d +1 x3360 -1 x3375 = +0
+1 x3362 +1 x3365 -1 x337e = +0
+1 x3375 -1 x3381 -1 x3382 = +0
+1 x337e -1 x3383 -1 x3384 = +0
+1 x3381 +1 x3383 -1 x3387 -1 x3388 -1 x3389 = +0
+1 x3382 +1 x3384 -1 x3385 = +0
+1 x3385 +1 x37ab -1 x3997 = +0
+1 x3387 -1 x338c +1 x37af = +0
+1 x3388 -1 x338e +1 x37b0 = +0
+1 x3389 -1 x3390 +1 x37b1 = +0
+1 x338c -1 x3396 -1 x3397 = +0
+1 x3396 +1 x3397 -1 x339e = +0
+1 x339e -1 x33a0 -1 x33a1 = +0
+1 x33a0 +1 x3402 +1 x350f +1 x369f +1 x392b -1 x400e = +0
+1 x338e -1 x33ac -1 x33ad -1 x33ae -1 x33af -1 x33b0 -1 x33b1 = +0
+1 x33ac +1 x33ad -1 x33cc = +0
+1 x33cc -1 x33cd +1 x36e3 = +0
+1 x33cd -1 x33ce -1 x33cf = +0
+1 x33ce +1 x33dc -1 x33e2 -1 x33e3 -1 x33e4 = +0
+1 x33cf +1 x33dd -1 x3450 = +0
+1 x33ae +1 x33af -1 x33da = +0
+1 x33da -1 x33db +1 x36f1 = +0
+1 x33db -1 x33dc -1 x33dd = +0
+1 x33e2 -1 x33e7 +1 x3522 +1 x35a1 = +0
+1 x33e3 -1 x33e9 +1 x3523 +1 x35a2 = +0
+1 x33e4 -1 x33eb +1 x3524 +1 x35a3 = +0
+1 x33e7 +1 x3407 -1 x400f = +0
+1 x33e9 -1 x33f9 -1 x33fa -1 x33fb -1 x33fc -1 x33fd -1 x33fe -1 x33ff
= +0
+1 x33f9 -1 x3402 +1 x3441 = +0
+1 x33fa -1 x3404 +1 x3442 = +0
+1 x33fb -1 x3407 +1 x3443 = +0
+1 x33fc -1 x340a +1 x3444 = +0
+1 x33fd -1 x340c +1 x3445 = +0
+1 x33fe -1 x340f +1 x3446 = +0
+1 x33ff -1 x3412 +1 x3447 = +0
+1 x3404 -1 x3441 -1 x3442 -1 x3443 -1 x3444 -1 x3445 -1 x3446 -1 x3447
= +0
+1 x33a1 +1 x3450 -1 x3453 = +0
+1 x3453 -1 x3455 -1 x3456 = +0
+1 x3455 -1 x345a -1 x345b = +0
+1 x345b -1 x345e -1 x345f = +0
+1 x345f -1 x3461 +1 x3536 +1 x35b8 +1 x3701 +1 x384b +1 x38cd +1 x3952
+1 x3a6a +1 x3f94 = +0
+1 x3461 -1 x3462 -1 x3463 = +0
+1 x3462 +1 x3466 -1 x346b +0 x346c = +0
+1 x3463 -1 x3465 +1 x3467 = +0
+1 x3465 -1 x3466 -1 x3467 = +0
+1 x345a -1 x347a -1 x347b = +0
+1 x345e -1 x347c -1 x347d = +0
+1 x346b -1 x347e -1 x347f = +0
+1 x347b +1 x347d +1 x347f -1 x34af = +0
+1 x347a +1 x347c +1 x347e -1 x3480 = +0
+1 x3456 +1 x3480 -1 x3487 = +0
+1 x3487 -1 x348a -1 x348b = +0
+1 x348b -1 x348e -1 x348f = +0
+1 x348f -1 x3491 +1 x3552 +1 x35d4 +1 x371d +1 x3867 +1 x38e9 +1 x396e
+1 x3a86 +1 x3fb0 = +0
+1 x3491 -1 x3492 -1 x3493 = +0
+1 x3492 +1 x3496 -1 x349b +0 x349c = +0
+1 x3493 -1 x3495 +1 x3497 = +0
+1 x3495 -1 x3496 -1 x3497 = +0
+1 x348a +1 x348e +1 x349b -1 x34ad = +0
+1 x34af -1 x34b3 -1 x34b4 -1 x34b5 = +0
+1 x34ad -1 x34b6 -1 x34b7 -1 x34b8 = +0
+1 x34b4 +1 x34b7 -1 x34bb +1 x3569 +1 x35eb +1 x3734 +1 x387e +1 x3900
+1 x3985 +1 x3a9d +1 x3fc7 = +0
+1 x34b5 +1 x34b8 -1 x34bd +1 x356a +1 x35ec +1 x3735 +1 x387f +1 x3901
+1 x3986 +1 x3a9e +1 x3fc8 = +0
+1 x34b3 +1 x34b6 -1 x34bf +1 x356b +1 x35ed +1 x3736 +1 x3880 +1 x3902
+1 x3987 +1 x3a9f +1 x3fc9 = +0
+1 x34bb -1 x34ce -1 x34cf = +0
+1 x34bd -1 x34d0 -1 x34d1 = +0
+1 x34ce +1 x34d0 -1 x34d4 -1 x34d5 -1 x34d6 -1 x34d7 -1 x34d8 -1 x34d9
= +0
+1 x34cf +1 x34d1 -1 x34d2 = +0
+1 x34d2 +1 x3573 -1 x3745 = +0
+1 x34d4 -1 x34dc +1 x3577 = +0
+1 x34d5 -1 x34df +1 x3578 = +0
+1 x34d6 -1 x34e1 +1 x3579 = +0
+1 x34d7 -1 x34e4 +1 x357a = +0
+1 x34d8 -1 x34e6 +1 x357b = +0
+1 x34d9 -1 x34e9 +1 x357c = +0
+1 x34dc +1 x34df -1 x34f4 = +0
+1 x34f4 -1 x34f6 -1 x34f7 = +0
+1 x34f6 +1 x3504 -1 x350a -1 x350b -1 x350c = +0
+1 x34f7 +1 x3505 -1 x3528 = +0
+1 x34e1 +1 x34e4 -1 x3502 = +0
+1 x3502 -1 x3504 -1 x3505 = +0
+1 x350a -1 x350f +1 x359e = +0
+1 x350b -1 x3511 +1 x359f = +0
+1 x350c -1 x3513 +1 x35a0 = +0
+1 x3511 -1 x3522 -1 x3523 -1 x3524 = +0
+1 x3528 -1 x352c -1 x352d = +0
+1 x352c -1 x3531 -1 x3532 = +0
+1 x3532 -1 x3535 -1 x3536 = +0
+1 x3531 -1 x353f -1 x3540 = +0
+1 x3535 -1 x3541 -1 x3542 = +0
+1 x3540 +1 x3542 -1 x355f = +0
+1 x353f +1 x3541 -1 x3543 = +0
+1 x352d +1 x3543 -1 x354a = +0
+1 x354a -1 x354d -1 x354e = +0
+1 x354e -1 x3551 -1 x3552 = +0
+1 x354d +1 x3551 -1 x355d = +0
+1 x355f -1 x3563 -1 x3564 -1 x3565 = +0
+1 x355d -1 x3566 -1 x3567 -1 x3568 = +0
+1 x3564 +1 x3567 -1 x3569 = +0
+1 x3565 +1 x3568 -1 x356a = +0
+1 x3563 +1 x3566 -1 x356b = +0
+1 x34bf -1 x3572 -1 x3573 = +0
+1 x3572 -1 x3577 -1 x3578 -1 x3579 -1 x357a -1 x357b -1 x357c = +0
+1 x34e6 +1 x34e9 -1 x3593 = +0
+1 x33b0 +1 x33b1 -1 x3594 = +0
+1 x3594 -1 x3596 +1 x3743 = +0
+1 x3593 -1 x3597 -1 x3598 = +0
+1 x3596 -1 x3599 -1 x359a = +0
+1 x3597 -1 x359e -1 x359f -1 x35a0 = +0
+1 x3599 -1 x35a1 -1 x35a2 -1 x35a3 = +0
+1 x3598 +1 x359a -1 x359d = +0
+1 x359d -1 x35ae -1 x35af = +0
+1 x35ae -1 x35b3 -1 x35b4 = +0
+1 x35b4 -1 x35b7 -1 x35b8 = +0
+1 x35b3 -1 x35c1 -1 x35c2 = +0
+1 x35b7 -1 x35c3 -1 x35c4 = +0
+1 x35c2 +1 x35c4 -1 x35e1 = +0
+1 x35c1 +1 x35c3 -1 x35c5 = +0
+1 x35af +1 x35c5 -1 x35cc = +0
+1 x35cc -1 x35cf -1 x35d0 = +0
+1 x35d0 -1 x35d3 -1 x35d4 = +0
+1 x35cf +1 x35d3 -1 x35df = +0
+1 x35e1 -1 x35e5 -1 x35e6 -1 x35e7 = +0
+1 x35df -1 x35e8 -1 x35e9 -1 x35ea = +0
+1 x35e6 +1 x35e9 -1 x35eb = +0
+1 x35e7 +1 x35ea -1 x35ec = +0
+1 x35e5 +1 x35e8 -1 x35ed = +0
+1 x33eb -1 x35fe -1 x35ff -1 x3600 -1 x3601 -1 x3602 -1 x3603 -1 x3604
= +0
+1 x340a -1 x3608 -1 x3609 -1 x360a -1 x360b -1 x360c -1 x360d -1 x360e
= +0
+1 x3513 -1 x360f -1 x3610 -1 x3611 = +0
+1 x35fe +1 x3608 -1 x3614 = +0
+1 x360f -1 x361a +1 x3881 +1 x3903 +1 x3aa0 = +0
+1 x35ff +1 x3609 -1 x361c = +0
+1 x3600 +1 x360a -1 x361f = +0
+1 x3601 +1 x360b -1 x3622 = +0
+1 x3610 -1 x3628 +1 x3882 +1 x3904 +1 x3aa1 = +0
+1 x3602 +1 x360c -1 x362a = +0
+1 x3603 +1 x360d -1 x362d = +0
+1 x3604 +1 x360e -1 x3630 = +0
+1 x3611 -1 x3636 +1 x3883 +1 x3905 +1 x3aa2 = +0
+1 x340f +1 x361a -1 x364a = +0
+1 x3412 -1 x365b -1 x365c -1 x365d -1 x365e -1 x365f -1 x3660 -1 x3661
= +0
+1 x3636 -1 x3662 -1 x3663 -1 x3664 -1 x3665 -1 x3666 -1 x3667 -1 x3668
= +0
+1 x365b +1 x3662 -1 x366e = +0
+1 x365c +1 x3663 -1 x3673 = +0
+1 x365d +1 x3664 -1 x3676 = +0
+1 x365e +1 x3665 -1 x3679 = +0
+1 x365f +1 x3666 -1 x367e = +0
+1 x3660 +1 x3667 -1 x3681 = +0
+1 x3661 +1 x3668 -1 x3684 = +0
+1 x362d -1 x3691 -1 x3692 = +0
+1 x366e +1 x3691 +1 x3692 -1 x369d = +0
+1 x369d -1 x369f -1 x36a0 = +0
+1 x362a -1 x36b3 -1 x36b4 -1 x36b5 -1 x36b6 -1 x36b7 -1 x36b8 = +0
+1 x36b3 -1 x36be +1 x3938 = +0
+1 x36b4 -1 x36c1 +1 x3939 = +0
+1 x36b5 -1 x36c6 +1 x393a = +0
+1 x36b6 -1 x36c9 +1 x393b = +0
+1 x36b7 -1 x36ce +1 x393c = +0
+1 x36b8 -1 x36d1 +1 x393d = +0
+1 x3676 +1 x36be +1 x36c1 -1 x36e3 = +0
+1 x3673 +1 x36c6 +1 x36c9 -1 x36f1 = +0
+1 x36a0 -1 x36f7 -1 x36f8 = +0
+1 x36f7 -1 x36fc -1 x36fd = +0
+1 x36fd -1 x3700 -1 x3701 = +0
+1 x36fc -1 x370a -1 x370b = +0
+1 x3700 -1 x370c -1 x370d = +0
+1 x370b +1 x370d -1 x372a = +0
+1 x370a +1 x370c -1 x370e = +0
+1 x36f8 +1 x370e -1 x3715 = +0
+1 x3715 -1 x3718 -1 x3719 = +0
+1 x3719 -1 x371c -1 x371d = +0
+1 x3718 +1 x371c -1 x3728 = +0
+1 x372a -1 x372e -1 x372f -1 x3730 = +0
+1 x3728 -1 x3731 -1 x3732 -1 x3733 = +0
+1 x372f +1 x3732 -1 x3734 = +0
+1 x3730 +1 x3733 -1 x3735 = +0
+1 x372e +1 x3731 -1 x3736 = +0
+1 x3679 +1 x36ce +1 x36d1 -1 x3743 = +0
+1 x3745 -1 x3749 -1 x374a = +0
+1 x3749 -1 x374e -1 x374f = +0
+1 x374f -1 x3752 -1 x3753 = +0
+1 x374e -1 x375c -1 x375d = +0
+1 x3752 -1 x375e -1 x375f = +0
+1 x375d +1 x375f -1 x377c = +0
+1 x375c +1 x375e -1 x3760 = +0
+1 x374a +1 x3760 -1 x3767 = +0
+1 x3767 -1 x376a -1 x376b = +0
+1 x376b -1 x376e -1 x376f = +0
+1 x376a +1 x376e -1 x377a = +0
+1 x377c -1 x3780 -1 x3781 -1 x3782 = +0
+1 x377a -1 x3783 -1 x3784 -1 x3785 = +0
+1 x3781 +1 x3784 -1 x3786 = +0
+1 x3782 +1 x3785 -1 x3787 = +0
+1 x3780 +1 x3783 -1 x3788 = +0
+1 x3340 -1 x378f -1 x3790 = +0
+1 x378f -1 x3794 -1 x3795 -1 x3796 -1 x3797 -1 x3798 -1 x3799 = +0
+1 x3367 +1 x336a -1 x37a8 = +0
+1 x37a8 -1 x37aa -1 x37ab = +0
+1 x37aa -1 x37af -1 x37b0 -1 x37b1 = +0
+1 x3390 -1 x37c8 -1 x37c9 -1 x37ca -1 x37cb -1 x37cc -1 x37cd = +0
+1 x3630 -1 x37ce -1 x37cf -1 x37d0 -1 x37d1 -1 x37d2 -1 x37d3 = +0
+1 x37c2 -1 x37d9 +1 x3a29 = +0
+1 x37c3 -1 x37dc +1 x3a2a = +0
+1 x37ce -1 x37e5 +1 x398b = +0
+1 x37cf -1 x37e8 +1 x398c = +0
+1 x37c4 -1 x37ed +1 x3a2b = +0
+1 x37c5 -1 x37f0 +1 x3a2c = +0
+1 x37d0 -1 x37f9 +1 x398d = +0
+1 x37d1 -1 x37fc +1 x398e = +0
+1 x37c6 -1 x3801 +1 x3a2d = +0
+1 x37c7 -1 x3804 +1 x3a2e = +0
+1 x37d2 -1 x380d +1 x398f = +0
+1 x37d3 -1 x3810 +1 x3990 = +0
+1 x3681 +1 x37c8 +1 x37c9 +1 x37e5 +1 x37e8 -1 x3832 = +0
+1 x37d9 +1 x37dc -1 x3833 = +0
+1 x3832 -1 x3836 -1 x3837 = +0
+1 x3833 -1 x3838 -1 x3839 = +0
+1 x3836 -1 x3881 -1 x3882 -1 x3883 = +0
+1 x3838 -1 x3884 -1 x3885 -1 x3886 = +0
+1 x3837 +1 x3839 -1 x383c = +0
+1 x383c -1 x3841 -1 x3842 = +0
+1 x3841 -1 x3846 -1 x3847 = +0
+1 x3847 -1 x384a -1 x384b = +0
+1 x3846 -1 x3854 -1 x3855 = +0
+1 x384a -1 x3856 -1 x3857 = +0
+1 x3855 +1 x3857 -1 x3874 = +0
+1 x3854 +1 x3856 -1 x3858 = +0
+1 x3842 +1 x3858 -1 x385f = +0
+1 x385f -1 x3862 -1 x3863 = +0
+1 x3863 -1 x3866 -1 x3867 = +0
+1 x3862 +1 x3866 -1 x3872 = +0
+1 x3874 -1 x3878 -1 x3879 -1 x387a = +0
+1 x3872 -1 x387b -1 x387c -1 x387d = +0
+1 x3879 +1 x387c -1 x387e = +0
+1 x387a +1 x387d -1 x387f = +0
+1 x3878 +1 x387b -1 x3880 = +0
+1 x3884 -1 x388c +1 x3906 +1 x3aa3 = +0
+1 x3885 -1 x388e +1 x3907 +1 x3aa4 = +0
+1 x3886 -1 x3890 +1 x3908 +1 x3aa5 = +0
+1 x388c +1 x3ea3 -1 x3ef0 = +0
+1 x367e +1 x37ca +1 x37cb +1 x37f9 +1 x37fc -1 x38b4 = +0
+1 x37ed +1 x37f0 -1 x38b5 = +0
+1 x38b4 -1 x38b8 -1 x38b9 = +0
+1 x38b5 -1 x38ba -1 x38bb = +0
+1 x38b8 -1 x3903 -1 x3904 -1 x3905 = +0
+1 x38ba -1 x3906 -1 x3907 -1 x3908 = +0
+1 x38b9 +1 x38bb -1 x38be = +0
+1 x38be -1 x38c3 -1 x38c4 = +0
+1 x38c3 -1 x38c8 -1 x38c9 = +0
+1 x38c9 -1 x38cc -1 x38cd = +0
+1 x38c8 -1 x38d6 -1 x38d7 = +0
+1 x38cc -1 x38d8 -1 x38d9 = +0
+1 x38d7 +1 x38d9 -1 x38f6 = +0
+1 x38d6 +1 x38d8 -1 x38da = +0
+1 x38c4 +1 x38da -1 x38e1 = +0
+1 x38e1 -1 x38e4 -1 x38e5 = +0
+1 x38e5 -1 x38e8 -1 x38e9 = +0
+1 x38e4 +1 x38e8 -1 x38f4 = +0
+1 x38f6 -1 x38fa -1 x38fb -1 x38fc = +0
+1 x38f4 -1 x38fd -1 x38fe -1 x38ff = +0
+1 x38fb +1 x38fe -1 x3900 = +0
+1 x38fc +1 x38ff -1 x3901 = +0
+1 x38fa +1 x38fd -1 x3902 = +0
+1 x3890 -1 x3912 -1 x3913 -1 x3914 = +0
+1 x3912 -1 x3917 +1 x3b87 +1 x3ba8 = +0
+1 x3913 -1 x3919 +1 x3b88 +1 x3ba9 = +0
+1 x3914 -1 x391b +1 x3b89 +1 x3baa = +0
+1 x3917 -1 x3921 -1 x3922 = +0
+1 x3921 +1 x3922 -1 x3929 = +0
+1 x3929 -1 x392b -1 x392c = +0
+1 x3919 -1 x3938 -1 x3939 -1 x393a -1 x393b -1 x393c -1 x393d = +0
+1 x392c -1 x3948 -1 x3949 = +0
+1 x3948 -1 x394d -1 x394e = +0
+1 x394e -1 x3951 -1 x3952 = +0
+1 x394d -1 x395b -1 x395c = +0
+1 x3951 -1 x395d -1 x395e = +0
+1 x395c +1 x395e -1 x397b = +0
+1 x395b +1 x395d -1 x395f = +0
+1 x3949 +1 x395f -1 x3966 = +0
+1 x3966 -1 x3969 -1 x396a = +0
+1 x396a -1 x396d -1 x396e = +0
+1 x3969 +1 x396d -1 x3979 = +0
+1 x397b -1 x397f -1 x3980 -1 x3981 = +0
+1 x3979 -1 x3982 -1 x3983 -1 x3984 = +0
+1 x3980 +1 x3983 -1 x3985 = +0
+1 x3981 +1 x3984 -1 x3986 = +0
+1 x397f +1 x3982 -1 x3987 = +0
+1 x391b -1 x398b -1 x398c -1 x398d -1 x398e -1 x398f -1 x3990 = +0
+1 x3997 -1 x399b -1 x399c = +0
+1 x399b -1 x39a0 -1 x39a1 = +0
+1 x39a1 -1 x39a4 -1 x39a5 = +0
+1 x39a0 -1 x39ae -1 x39af = +0
+1 x39a4 -1 x39b0 -1 x39b1 = +0
+1 x39af +1 x39b1 -1 x39ce = +0
+1 x39ae +1 x39b0 -1 x39b2 = +0
+1 x399c +1 x39b2 -1 x39b9 = +0
+1 x39b9 -1 x39bc -1 x39bd = +0
+1 x39bd -1 x39c0 -1 x39c1 = +0
+1 x39bc +1 x39c0 -1 x39cc = +0
+1 x39ce -1 x39d2 -1 x39d3 -1 x39d4 = +0
+1 x39cc -1 x39d5 -1 x39d6 -1 x39d7 = +0
+1 x39d3 +1 x39d6 -1 x39d8 = +0
+1 x39d4 +1 x39d7 -1 x39d9 = +0
+1 x39d2 +1 x39d5 -1 x39da = +0
+1 x32bd -1 x39e1 -1 x39e2 = +0
+1 x39e1 -1 x3a29 -1 x3a2a -1 x3a2b -1 x3a2c -1 x3a2d -1 x3a2e = +0
+1 x39e2 -1 x39e9 -1 x39ea = +0
+1 x39e9 -1 x39ee -1 x39ef = +0
+1 x39ef -1 x39f2 -1 x39f3 = +0
+1 x39ee -1 x39fc -1 x39fd = +0
+1 x39f2 -1 x39fe -1 x39ff = +0
+1 x39fd +1 x39ff -1 x3a1c = +0
+1 x39fc +1 x39fe -1 x3a00 = +0
+1 x39ea +1 x3a00 -1 x3a07 = +0
+1 x3a07 -1 x3a0a -1 x3a0b = +0
+1 x3a0b -1 x3a0e -1 x3a0f = +0
+1 x3a0a +1 x3a0e -1 x3a1a = +0
+1 x3a1c -1 x3a20 -1 x3a21 -1 x3a22 = +0
+1 x3a1a -1 x3a23 -1 x3a24 -1 x3a25 = +0
+1 x3a21 +1 x3a24 -1 x3a26 = +0
+1 x3a22 +1 x3a25 -1 x3a27 = +0
+1 x3a20 +1 x3a23 -1 x3a28 = +0
+1 x3684 +1 x37cc +1 x37cd +1 x380d +1 x3810 -1 x3a51 = +0
+1 x3801 +1 x3804 -1 x3a52 = +0
+1 x3a51 -1 x3a55 -1 x3a56 = +0
+1 x3a52 -1 x3a57 -1 x3a58 = +0
+1 x3a55 -1 x3aa0 -1 x3aa1 -1 x3aa2 = +0
+1 x3a57 -1 x3aa3 -1 x3aa4 -1 x3aa5 = +0
+1 x3a56 +1 x3a58 -1 x3a5b = +0
+1 x3a5b -1 x3a60 -1 x3a61 = +0
+1 x3a60 -1 x3a65 -1 x3a66 = +0
+1 x3a66 -1 x3a69 -1 x3a6a = +0
+1 x3a65 -1 x3a73 -1 x3a74 = +0
+1 x3a69 -1 x3a75 -1 x3a76 = +0
+1 x3a74 +1 x3a76 -1 x3a93 = +0
+1 x3a73 +1 x3a75 -1 x3a77 = +0
+1 x3a61 +1 x3a77 -1 x3a7e = +0
+1 x3a7e -1 x3a81 -1 x3a82 = +0
+1 x3a82 -1 x3a85 -1 x3a86 = +0
+1 x3a81 +1 x3a85 -1 x3a91 = +0
+1 x3a93 -1 x3a97 -1 x3a98 -1 x3a99 = +0
+1 x3a91 -1 x3a9a -1 x3a9b -1 x3a9c = +0
+1 x3a98 +1 x3a9b -1 x3a9d = +0
+1 x3a99 +1 x3a9c -1 x3a9e = +0
+1 x3a97 +1 x3a9a -1 x3a9f = +0
+1 x340c -1 x3ac2 -1 x3ac3 -1 x3ac4 -1 x3ac5 -1 x3ac6 -1 x3ac7 -1 x3ac8
= +0
+1 x3628 -1 x3ac9 -1 x3aca -1 x3acb -1 x3acc -1 x3acd -1 x3ace -1 x3acf
= +0
+1 x388e -1 x3ad0 -1 x3ad1 -1 x3ad2 = +0
+1 x3abc -1 x3ad5 +1 x3c44 +1 x3e72 = +0
+1 x3ac2 +1 x3ac9 -1 x3adb = +0
+1 x3ad0 -1 x3ade +1 x3cfa +1 x3d5e +1 x3e6f = +0
+1 x3abd -1 x3ae0 +1 x3c45 +1 x3e73 = +0
+1 x3ac3 +1 x3aca -1 x3ae6 = +0
+1 x3ac4 +1 x3acb -1 x3ae9 = +0
+1 x3ac5 +1 x3acc -1 x3aec = +0
+1 x3ad1 -1 x3aef +1 x3cfb +1 x3d5f +1 x3e70 = +0
+1 x3abe -1 x3af1 +1 x3c46 +1 x3e74 = +0
+1 x3ac6 +1 x3acd -1 x3af7 = +0
+1 x3ac7 +1 x3ace -1 x3afa = +0
+1 x3ac8 +1 x3acf -1 x3afd = +0
+1 x3ad2 -1 x3b00 +1 x3cfc +1 x3d60 +1 x3e71 = +0
+1 x3ae0 -1 x3b13 -1 x3b14 -1 x3b15 -1 x3b16 -1 x3b17 -1 x3b18 = +0
+1 x361c -1 x3b19 -1 x3b1a -1 x3b1b -1 x3b1c -1 x3b1d -1 x3b1e = +0
+1 x3aef -1 x3b22 -1 x3b23 -1 x3b24 -1 x3b25 -1 x3b26 -1 x3b27 = +0
+1 x3b19 +1 x3b22 -1 x3b30 = +0
+1 x3b1a +1 x3b23 -1 x3b33 = +0
+1 x3b1b +1 x3b24 -1 x3b3e = +0
+1 x3b1c +1 x3b25 -1 x3b41 = +0
+1 x3b1d +1 x3b26 -1 x3b4c = +0
+1 x3b1e +1 x3b27 -1 x3b4f = +0
+1 x3ae9 +1 x3b13 +1 x3b14 +1 x3b30 +1 x3b33 -1 x3b69 = +0
+1 x3ae6 +1 x3b15 +1 x3b16 +1 x3b3e +1 x3b41 -1 x3b7e = +0
+1 x3b69 -1 x3b81 -1 x3b82 = +0
+1 x3b7e -1 x3b83 -1 x3b84 = +0
+1 x3b81 +1 x3b83 -1 x3b87 -1 x3b88 -1 x3b89 = +0
+1 x3b82 +1 x3b84 -1 x3b85 = +0
+1 x3b85 +1 x3ba4 -1 x3bae = +0
+1 x3aec +1 x3b17 +1 x3b18 +1 x3b4c +1 x3b4f -1 x3ba1 = +0
+1 x3ba1 -1 x3ba3 -1 x3ba4 = +0
+1 x3ba3 -1 x3ba8 -1 x3ba9 -1 x3baa = +0
+1 x3bae -1 x3bb2 -1 x3bb3 = +0
+1 x3bb2 -1 x3bb7 -1 x3bb8 = +0
+1 x3bb8 -1 x3bbb -1 x3bbc = +0
+1 x3bb7 -1 x3bc5 -1 x3bc6 = +0
+1 x3bbb -1 x3bc7 -1 x3bc8 = +0
+1 x3bc6 +1 x3bc8 -1 x3be5 = +0
+1 x3bc5 +1 x3bc7 -1 x3bc9 = +0
+1 x3bb3 +1 x3bc9 -1 x3bd0 = +0
+1 x3bd0 -1 x3bd3 -1 x3bd4 = +0
+1 x3bd4 -1 x3bd7 -1 x3bd8 = +0
+1 x3bd3 +1 x3bd7 -1 x3be3 = +0
+1 x3be5 -1 x3be9 -1 x3bea -1 x3beb = +0
+1 x3be3 -1 x3bec -1 x3bed -1 x3bee = +0
+1 x3bea +1 x3bed -1 x3bef = +0
+1 x3beb +1 x3bee -1 x3bf0 = +0
+1 x3be9 +1 x3bec -1 x3bf1 = +0
+1 x3236 +1 x3239 -1 x3bfa = +0
+1 x3bfa -1 x3bfc -1 x3bfd = +0
+1 x3bfc -1 x3c44 -1 x3c45 -1 x3c46 = +0
+1 x3bfd -1 x3c04 -1 x3c05 = +0
+1 x3c04 -1 x3c09 -1 x3c0a = +0
+1 x3c0a -1 x3c0d -1 x3c0e = +0
+1 x3c09 -1 x3c17 -1 x3c18 = +0
+1 x3c0d -1 x3c19 -1 x3c1a = +0
+1 x3c18 +1 x3c1a -1 x3c37 = +0
+1 x3c17 +1 x3c19 -1 x3c1b = +0
+1 x3c05 +1 x3c1b -1 x3c22 = +0
+1 x3c22 -1 x3c25 -1 x3c26 = +0
+1 x3c26 -1 x3c29 -1 x3c2a = +0
+1 x3c25 +1 x3c29 -1 x3c35 = +0
+1 x3c37 -1 x3c3b -1 x3c3c -1 x3c3d = +0
+1 x3c35 -1 x3c3e -1 x3c3f -1 x3c40 = +0
+1 x3c3c +1 x3c3f -1 x3c41 = +0
+1 x3c3d +1 x3c40 -1 x3c42 = +0
+1 x3c3b +1 x3c3e -1 x3c43 = +0
+1 x3af1 -1 x3c5a -1 x3c5b -1 x3c5c -1 x3c5d -1 x3c5e -1 x3c5f = +0
+1 x3622 -1 x3c60 -1 x3c61 -1 x3c62 -1 x3c63 -1 x3c64 -1 x3c65 = +0
+1 x3b00 -1 x3c69 -1 x3c6a -1 x3c6b -1 x3c6c -1 x3c6d -1 x3c6e = +0
+1 x3c60 +1 x3c69 -1 x3c77 = +0
+1 x3c61 +1 x3c6a -1 x3c7a = +0
+1 x3c62 +1 x3c6b -1 x3c85 = +0
+1 x3c63 +1 x3c6c -1 x3c88 = +0
+1 x3c64 +1 x3c6d -1 x3c93 = +0
+1 x3c65 +1 x3c6e -1 x3c96 = +0
+1 x3afa +1 x3c5a +1 x3c5b +1 x3c77 +1 x3c7a -1 x3cb0 = +0
+1 x3cb0 -1 x3cb2 -1 x3cb3 = +0
+1 x3cb2 -1 x3cfa -1 x3cfb -1 x3cfc = +0
+1 x3cb3 -1 x3cba -1 x3cbb = +0
+1 x3cba -1 x3cbf -1 x3cc0 = +0
+1 x3cc0 -1 x3cc3 -1 x3cc4 = +0
+1 x3cbf -1 x3ccd -1 x3cce = +0
+1 x3cc3 -1 x3ccf -1 x3cd0 = +0
+1 x3cce +1 x3cd0 -1 x3ced = +0
+1 x3ccd +1 x3ccf -1 x3cd1 = +0
+1 x3cbb +1 x3cd1 -1 x3cd8 = +0
+1 x3cd8 -1 x3cdb -1 x3cdc = +0
+1 x3cdc -1 x3cdf -1 x3ce0 = +0
+1 x3cdb +1 x3cdf -1 x3ceb = +0
+1 x3ced -1 x3cf1 -1 x3cf2 -1 x3cf3 = +0
+1 x3ceb -1 x3cf4 -1 x3cf5 -1 x3cf6 = +0
+1 x3cf2 +1 x3cf5 -1 x3cf7 = +0
+1 x3cf3 +1 x3cf6 -1 x3cf8 = +0
+1 x3cf1 +1 x3cf4 -1 x3cf9 = +0
+1 x3af7 +1 x3c5c +1 x3c5d +1 x3c85 +1 x3c88 -1 x3d14 = +0
+1 x3d14 -1 x3d16 -1 x3d17 = +0
+1 x3d16 -1 x3d5e -1 x3d5f -1 x3d60 = +0
+1 x3d17 -1 x3d1e -1 x3d1f = +0
+1 x3d1e -1 x3d23 -1 x3d24 = +0
+1 x3d24 -1 x3d27 -1 x3d28 = +0
+1 x3d23 -1 x3d31 -1 x3d32 = +0
+1 x3d27 -1 x3d33 -1 x3d34 = +0
+1 x3d32 +1 x3d34 -1 x3d51 = +0
+1 x3d31 +1 x3d33 -1 x3d35 = +0
+1 x3d1f +1 x3d35 -1 x3d3c = +0
+1 x3d3c -1 x3d3f -1 x3d40 = +0
+1 x3d40 -1 x3d43 -1 x3d44 = +0
+1 x3d3f +1 x3d43 -1 x3d4f = +0
+1 x3d51 -1 x3d55 -1 x3d56 -1 x3d57 = +0
+1 x3d4f -1 x3d58 -1 x3d59 -1 x3d5a = +0
+1 x3d56 +1 x3d59 -1 x3d5b = +0
+1 x3d57 +1 x3d5a -1 x3d5c = +0
+1 x3d55 +1 x3d58 -1 x3d5d = +0
+1 x3d64 +1 x3d65 -1 x3d68 = +0
+1 x3d68 -1 x3d6a -1 x3d6b = +0
+1 x3d6a -1 x3d6f -1 x3d70 = +0
+1 x3d70 -1 x3d73 -1 x3d74 = +0
+1 x3d6f -1 x3d7d -1 x3d7e = +0
+1 x3d73 -1 x3d7f -1 x3d80 = +0
+1 x3d7e +1 x3d80 -1 x3d9d = +0
+1 x3d7d +1 x3d7f -1 x3d81 = +0
+1 x3d6b +1 x3d81 -1 x3d88 = +0
+1 x3d88 -1 x3d8b -1 x3d8c = +0
+1 x3d8c -1 x3d8f -1 x3d90 = +0
+1 x3d8b +1 x3d8f -1 x3d9b = +0
+1 x3d9d -1 x3da1 -1 x3da2 -1 x3da3 = +0
+1 x3d9b -1 x3da4 -1 x3da5 -1 x3da6 = +0
+1 x3da2 +1 x3da5 -1 x3da7 = +0
+1 x3da3 +1 x3da6 -1 x3da8 = +0
+1 x3da1 +1 x3da4 -1 x3da9 = +0
+1 x3210 -1 x3db0 -1 x3db1 = +0
+1 x3db0 -1 x3db4 -1 x3db5 -1 x3db6 -1 x3db7 -1 x3db8 -1 x3db9 = +0
+1 x3db1 -1 x3dc4 -1 x3dc5 = +0
+1 x3dc4 -1 x3dc9 -1 x3dca = +0
+1 x3dca -1 x3dcd -1 x3dce = +0
+1 x3dc9 -1 x3dd7 -1 x3dd8 = +0
+1 x3dcd -1 x3dd9 -1 x3dda = +0
+1 x3dd8 +1 x3dda -1 x3df7 = +0
+1 x3dd7 +1 x3dd9 -1 x3ddb = +0
+1 x3dc5 +1 x3ddb -1 x3de2 = +0
+1 x3de2 -1 x3de5 -1 x3de6 = +0
+1 x3de6 -1 x3de9 -1 x3dea = +0
+1 x3de5 +1 x3de9 -1 x3df5 = +0
+1 x3df7 -1 x3dfb -1 x3dfc -1 x3dfd = +0
+1 x3df5 -1 x3dfe -1 x3dff -1 x3e00 = +0
+1 x3dfc +1 x3dff -1 x3e01 = +0
+1 x3dfd +1 x3e00 -1 x3e02 = +0
+1 x3dfb +1 x3dfe -1 x3e03 = +0
+1 x3afd +1 x3c5e +1 x3c5f +1 x3c93 +1 x3c96 -1 x3e20 = +0
+1 x323b +1 x323e -1 x3e21 = +0
+1 x3e20 -1 x3e24 -1 x3e25 = +0
+1 x3e21 -1 x3e26 -1 x3e27 = +0
+1 x3e24 -1 x3e6f -1 x3e70 -1 x3e71 = +0
+1 x3e26 -1 x3e72 -1 x3e73 -1 x3e74 = +0
+1 x3e25 +1 x3e27 -1 x3e2a = +0
+1 x3e2a -1 x3e2f -1 x3e30 = +0
+1 x3e2f -1 x3e34 -1 x3e35 = +0
+1 x3e35 -1 x3e38 -1 x3e39 = +0
+1 x3e34 -1 x3e42 -1 x3e43 = +0
+1 x3e38 -1 x3e44 -1 x3e45 = +0
+1 x3e43 +1 x3e45 -1 x3e62 = +0
+1 x3e42 +1 x3e44 -1 x3e46 = +0
+1 x3e30 +1 x3e46 -1 x3e4d = +0
+1 x3e4d -1 x3e50 -1 x3e51 = +0
+1 x3e51 -1 x3e54 -1 x3e55 = +0
+1 x3e50 +1 x3e54 -1 x3e60 = +0
+1 x3e62 -1 x3e66 -1 x3e67 -1 x3e68 = +0
+1 x3e60 -1 x3e69 -1 x3e6a -1 x3e6b = +0
+1 x3e67 +1 x3e6a -1 x3e6c = +0
+1 x3e68 +1 x3e6b -1 x3e6d = +0
+1 x3e66 +1 x3e69 -1 x3e6e = +0
+1 x3ad5 -1 x3e8b -1 x3e8c = +0
+1 x361f -1 x3e8d -1 x3e8e = +0
+1 x3ade -1 x3e90 -1 x3e91 = +0
+1 x3e8d +1 x3e90 -1 x3e94 = +0
+1 x3e8e +1 x3e91 -1 x3e95 = +0
+1 x3adb +1 x3e8b +1 x3e8c +1 x3e94 +1 x3e95 -1 x3ea1 = +0
+1 x3ea1 -1 x3ea3 -1 x3ea4 = +0
+1 x3ea4 -1 x3eae -1 x3eaf = +0
+1 x3eae -1 x3eb3 -1 x3eb4 = +0
+1 x3eb4 -1 x3eb7 -1 x3eb8 = +0
+1 x3eb3 -1 x3ec1 -1 x3ec2 = +0
+1 x3eb7 -1 x3ec3 -1 x3ec4 = +0
+1 x3ec2 +1 x3ec4 -1 x3ee1 = +0
+1 x3ec1 +1 x3ec3 -1 x3ec5 = +0
+1 x3eaf +1 x3ec5 -1 x3ecc = +0
+1 x3ecc -1 x3ecf -1 x3ed0 = +0
+1 x3ed0 -1 x3ed3 -1 x3ed4 = +0
+1 x3ecf +1 x3ed3 -1 x3edf = +0
+1 x3ee1 -1 x3ee5 -1 x3ee6 -1 x3ee7 = +0
+1 x3edf -1 x3ee8 -1 x3ee9 -1 x3eea = +0
+1 x3ee6 +1 x3ee9 -1 x3eeb = +0
+1 x3ee7 +1 x3eea -1 x3eec = +0
+1 x3ee5 +1 x3ee8 -1 x3eed = +0
+1 x3614 -1 x3ef1 -1 x3ef2 = +0
+1 x3ef0 -1 x3ef4 -1 x3ef5 = +0
+1 x3ef1 +1 x3ef4 -1 x3ef6 = +0
+1 x3ef2 +1 x3ef5 -1 x3ef7 = +0
+1 x364a +1 x3ef6 +1 x3ef7 -1 x3eff = +0
+1 x3eff -1 x3f01 -1 x3f02 = +0
+1 x3f02 -1 x3f09 -1 x3f0a = +0
+1 x3f09 -1 x3f0e -1 x3f0f = +0
+1 x3f0f -1 x3f12 -1 x3f13 = +0
+1 x3f13 -1 x3f16 -1 x3f17 = +0
+1 x3f16 +1 x3f1a -1 x3f1f +0 x3f20 = +0
+1 x3f17 -1 x3f19 +1 x3f1b = +0
+1 x3f19 -1 x3f1a -1 x3f1b = +0
+1 x3f0e -1 x3f2e -1 x3f2f = +0
+1 x3f12 -1 x3f30 -1 x3f31 = +0
+1 x3f1f -1 x3f32 -1 x3f33 = +0
+1 x3f2f +1 x3f31 +1 x3f33 -1 x3f63 = +0
+1 x3f2e +1 x3f30 +1 x3f32 -1 x3f34 = +0
+1 x3f0a +1 x3f34 -1 x3f3b = +0
+1 x3f3b -1 x3f3e -1 x3f3f = +0
+1 x3f3f -1 x3f42 -1 x3f43 = +0
+1 x3f43 -1 x3f46 -1 x3f47 = +0
+1 x3f46 +1 x3f4a -1 x3f4f +0 x3f50 = +0
+1 x3f47 -1 x3f49 +1 x3f4b = +0
+1 x3f49 -1 x3f4a -1 x3f4b = +0
+1 x3f3e +1 x3f42 +1 x3f4f -1 x3f61 = +0
+1 x3f61 +1 x3f63 -1 x3f69 = +0
+1 x3f69 -1 x3f6e -1 x3f6f = +0
+1 x3f6e -1 x3f72 -1 x3f73 = +0
+1 x3f72 +1 x3f73 -1 x3f7a = +0
+1 x3f7a -1 x3f7c -1 x3f7d = +0
+1 x3f01 +1 x3f7c -1 x3f85 = +0
+1 x3f7d -1 x3f8a -1 x3f8b = +0
+1 x3f8a -1 x3f8f -1 x3f90 = +0
+1 x3f90 -1 x3f93 -1 x3f94 = +0
+1 x3f8f -1 x3f9d -1 x3f9e = +0
+1 x3f93 -1 x3f9f -1 x3fa0 = +0
+1 x3f9e +1 x3fa0 -1 x3fbd = +0
+1 x3f9d +1 x3f9f -1 x3fa1 = +0
+1 x3f8b +1 x3fa1 -1 x3fa8 = +0
+1 x3fa8 -1 x3fab -1 x3fac = +0
+1 x3fac -1 x3faf -1 x3fb0 = +0
+1 x3fab +1 x3faf -1 x3fbb = +0
+1 x3fbd -1 x3fc1 -1 x3fc2 -1 x3fc3 = +0
+1 x3fbb -1 x3fc4 -1 x3fc5 -1 x3fc6 = +0
+1 x3fc2 +1 x3fc5 -1 x3fc7 = +0
+1 x3fc3 +1 x3fc6 -1 x3fc8 = +0
+1 x3fc1 +1 x3fc4 -1 x3fc9 = +0
+1 x3f6f -1 x3fce -1 x3fcf = +0
+1 x3fce -1 x3fd3 -1 x3fd4 = +0
+1 x3fd4 -1 x3fd7 -1 x3fd8 = +0
+1 x3fd3 -1 x3fe1 -1 x3fe2 = +0
+1 x3fd7 -1 x3fe3 -1 x3fe4 = +0
+1 x3fe2 +1 x3fe4 -1 x4001 = +0
+1 x3fe1 +1 x3fe3 -1 x3fe5 = +0
+1 x3fcf +1 x3fe5 -1 x3fec = +0
+1 x3fec -1 x3fef -1 x3ff0 = +0
+1 x3ff0 -1 x3ff3 -1 x3ff4 = +0
+1 x3fef +1 x3ff3 -1 x3fff = +0
+1 x4001 -1 x4005 -1 x4006 -1 x4007 = +0
+1 x3fff -1 x4008 -1 x4009 -1 x400a = +0
+1 x4006 +1 x4009 -1 x400b = +0
+1 x4007 +1 x400a -1 x400c = +0
+1 x4005 +1 x4008 -1 x400d = +0
+1 x3f85 +1 x400f -1 x4015 = +0
+1 x400e -1 x4018 -1 x4019 -1 x401a = +0
+1 x4015 -1 x401b -1 x401c -1 x401d = +0
+1 x4018 +1 x401b -1 x401e = +0
+1 x4019 +1 x401c -1 x401f = +0
+1 x401a +1 x401d -1 x4020 = +0
-1 x30c8 +1 x3126 +1 x3128 = +0
-1 x312e +1 x3192 +1 x3194 = +0
-1 x319a +1 x31fe +1 x3200 -1 x3d68 +1 x3d9b +1 x3d9d -1 x3db1 +1 x3df5
+1 x3df7 = +0
-1 x324c +1 x32ab +1 x32ad -1 x3997 +1 x39cc +1 x39ce -1 x3bae +1 x3be3
+1 x3be5 -1 x3bfd +1 x3c35 +1 x3c37 -1 x3cb3 +1 x3ceb +1 x3ced -1 x3d17
+1 x3d4f +1 x3d51 -1 x3e2a +1 x3e60 +1 x3e62 -1 x3ea4 +1 x3edf +1 x3ee1
= +0
-1 x32d0 +1 x332e +1 x3330 -1 x3745 +1 x377a +1 x377c -1 x39e2 +1 x3a1a
+1 x3a1c -1 x3f6f +1 x3fff +1 x4001 = +0
-1 x3453 +1 x34ad +1 x34af -1 x3528 +1 x355d +1 x355f -1 x359d +1 x35df
+1 x35e1 -1 x36a0 +1 x3728 +1 x372a -1 x383c +1 x3872 +1 x3874 -1 x38be
+1 x38f4 +1 x38f6 -1 x392c +1 x3979 +1 x397b -1 x3a5b +1 x3a91 +1 x3a93
-1 x3f7d +1 x3fbb +1 x3fbd = +0
-1 x3f02 +1 x3f61 +1 x3f63 = +0
-1 x30c8 +1 x312e = +0
-1 x312e +1 x319a = +0
-1 x319a +1 x3210 = +0
+1 x320e -1 x321a -1 x3224 -1 x3db1 = +0
-1 x324c +1 x32bd -1 x3bfd -1 x3cb3 -1 x3d17 -1 x3e2a = +0
-1 x32d0 +1 x3340 -1 x39e2 = +0
+1 x320c -1 x3353 -1 x3790 = +0
+1 x32bb -1 x3385 -1 x37ab -1 x3b85 -1 x3ba4 = +0
+1 x34bf -1 x383c -1 x38be -1 x3a5b = +0
+1 x333e -1 x34d2 -1 x3573 = +0
-1 x33cf -1 x33dd +1 x34bd -1 x34f7 -1 x3505 -1 x359d = +0
+1 x32b9 -1 x3ea4 = +0
-1 x3f02 +1 x3f69 = +0
+1 x333c -1 x3f6f = +0
-1 x33a1 +1 x34bb -1 x36a0 -1 x392c -1 x3f7d = +0
-1 x312e +1 x364a +1 x3ef6 +1 x3ef7 = +0
-1 x319a +1 x3adb +1 x3e8b +1 x3e8c +1 x3e94 +1 x3e95 = +0
-1 x3210 +1 x323b +1 x323e +1 x3afd +1 x3c5e +1 x3c5f +1 x3c93 +1 x3c96
= +0
-1 x320e +1 x3236 +1 x3239 +1 x3af7 +1 x3c5c +1 x3c5d +1 x3c85 +1 x3c88
= +0
-1 x32bd +1 x3684 +1 x37cc +1 x37cd +1 x3801 +1 x3804 +1 x380d +1 x3810
= +0
-1 x3340 +1 x3367 +1 x336a +1 x3aec +1 x3b17 +1 x3b18 +1 x3b4c +1 x3b4f
= +0
-1 x320c +1 x3231 +1 x3234 +1 x3afa +1 x3c5a +1 x3c5b +1 x3c77 +1 x3c7a
= +0
-1 x32bb +1 x367e +1 x37ca +1 x37cb +1 x37ed +1 x37f0 +1 x37f9 +1 x37fc
= +0
+1 x33b0 +1 x33b1 -1 x34bf +1 x34e6 +1 x34e9 +1 x3679 +1 x36ce +1 x36d1
= +0
-1 x333e +1 x3362 +1 x3365 +1 x3ae6 +1 x3b15 +1 x3b16 +1 x3b3e +1 x3b41
= +0
+1 x33ae +1 x33af -1 x34bd +1 x34e1 +1 x34e4 +1 x3673 +1 x36c6 +1 x36c9
= +0
-1 x32b9 +1 x3681 +1 x37c8 +1 x37c9 +1 x37d9 +1 x37dc +1 x37e5 +1 x37e8
= +0
+1 x3396 +1 x3397 +1 x366e +1 x3691 +1 x3692 +1 x3921 +1 x3922 -1 x3f69
+1 x3f72 +1 x3f73 = +0
-1 x333c +1 x335d +1 x3360 +1 x3ae9 +1 x3b13 +1 x3b14 +1 x3b30 +1 x3b33
= +0
+1 x33ac +1 x33ad -1 x34bb +1 x34dc +1 x34df +1 x3676 +1 x36be +1 x36c1
= +0
+1 x33a0 +1 x33e7 +1 x3402 +1 x3407 +1 x350f +1 x369f +1 x392b -1 x3eff
+1 x3f85 = +0
+1 x3614 +1 x364a +1 x388c -1 x3ea1 +1 x3ea3 = +0
+1 x361f +1 x3ad5 +1 x3adb +1 x3ade -1 x3e20 -1 x3e21 = +0
+1 x3622 +1 x3af1 +1 x3af7 +1 x3afa +1 x3afd +1 x3b00 -1 x3bfa -1 x3d14
= +0
+1 x340c +1 x361c +1 x361f +1 x3622 +1 x3628 +1 x388e -1 x3a51 -1 x3a52
= +0
+1 x3390 +1 x3630 +1 x367e +1 x3681 +1 x3684 -1 x37a8 +1 x391b -1 x3ba1
= +0
-1 x3249 +1 x361c +1 x3ae0 +1 x3ae6 +1 x3ae9 +1 x3aec +1 x3aef -1 x3cb0
= +0
+1 x3412 +1 x362a +1 x362d +1 x3630 +1 x3636 +1 x3890 -1 x38b4 -1 x38b5
= +0
+1 x33eb +1 x340a +1 x340c +1 x340f +1 x3412 +1 x3513 -1 x3593 -1 x3594
-1 x3743 = +0
-1 x337e +1 x338e +1 x362a +1 x3673 +1 x3676 +1 x3679 +1 x3919 -1 x3b7e
= +0
-1 x33da +1 x33e9 +2 x3404 +1 x3407 +1 x340a -1 x3502 +1 x3511 -1 x36f1
= +0
+1 x340f +1 x3614 +1 x361a -1 x3832 -1 x3833 +1 x388c = +0
-1 x339e +1 x33a0 +1 x33e7 +1 x3402 +1 x3407 +1 x350f -1 x369d +1 x369f
-1 x3929 +1 x392b -1 x3f7a +1 x3f7c = +0
-1 x3375 +1 x338c +1 x362d +1 x366e +1 x3917 -1 x3b69 = +0
-1 x33cc +1 x33e7 +1 x3402 +1 x3407 -1 x34f4 +1 x350f -1 x36e3 = +0
-1 x30c0 -1 x30c1 +1 x400e +1 x4015 = +0
-1 x401e -1 x401f -1 x4020 <= +0
-1 x309c -1 x309d +1 x30b6 = +0
-1 x30d4 +1 x30d7 +1 x30e4 = +0
-1 x30d8 +1 x30e4 = +0
-1 x30dc -1 x30e0 +1 x30e5 = +0
-1 x3104 +1 x3107 +1 x3114 = +0
-1 x3108 +1 x3114 = +0
-1 x310c -1 x3110 +1 x3115 = +0
-1 x3140 +1 x3143 +1 x3150 = +0
-1 x3144 +1 x3150 = +0
-1 x3148 -1 x314c +1 x3151 = +0
-1 x3170 +1 x3173 +1 x3180 = +0
-1 x3174 +1 x3180 = +0
-1 x3178 -1 x317c +1 x3181 = +0
-1 x31ac +1 x31af +1 x31bc -1 x3d70 +1 x3d73 -1 x3dca +1 x3dcd = +0
-1 x31b0 +1 x31bc -1 x3d74 -1 x3dce = +0
-1 x31b4 -1 x31b8 +1 x31bd = +0
-1 x31dc +1 x31df +1 x31ec -1 x3d8c +1 x3d8f -1 x3de6 +1 x3de9 = +0
-1 x31e0 +1 x31ec -1 x3d90 -1 x3dea = +0
-1 x31e4 -1 x31e8 +1 x31ed = +0
-1 x3259 +1 x325c +1 x3269 -1 x39a1 +1 x39a4 -1 x3bb8 +1 x3bbb -1 x3c0a
+1 x3c0d -1 x3cc0 +1 x3cc3 -1 x3d24 +1 x3d27 -1 x3e35 +1 x3e38 -1 x3eb4
+1 x3eb7 = +0
-1 x325d +1 x3269 -1 x39a5 -1 x3bbc -1 x3c0e -1 x3cc4 -1 x3d28 -1 x3e39
-1 x3eb8 = +0
-1 x3261 -1 x3265 +1 x326a = +0
-1 x3289 +1 x328c +1 x3299 -1 x39bd +1 x39c0 -1 x3bd4 +1 x3bd7 -1 x3c26
+1 x3c29 -1 x3cdc +1 x3cdf -1 x3d40 +1 x3d43 -1 x3e51 +1 x3e54 -1 x3ed0
+1 x3ed3 = +0
-1 x328d +1 x3299 -1 x39c1 -1 x3bd8 -1 x3c2a -1 x3ce0 -1 x3d44 -1 x3e55
-1 x3ed4 = +0
-1 x3291 -1 x3295 +1 x329a = +0
-1 x32dc +1 x32df +1 x32ec -1 x374f +1 x3752 -1 x39ef +1 x39f2 -1 x3fd4
+1 x3fd7 = +0
-1 x32e0 +1 x32ec -1 x3753 -1 x39f3 -1 x3fd8 = +0
-1 x32e4 -1 x32e8 +1 x32ed = +0
-1 x330c +1 x330f +1 x331c -1 x376b +1 x376e -1 x3a0b +1 x3a0e -1 x3ff0
+1 x3ff3 = +0
-1 x3310 +1 x331c -1 x376f -1 x3a0f -1 x3ff4 = +0
-1 x3314 -1 x3318 +1 x331d = +0
-1 x345b +1 x345e +1 x346b -1 x3532 +1 x3535 -1 x35b4 +1 x35b7 -1 x36fd
+1 x3700 -1 x3847 +1 x384a -1 x38c9 +1 x38cc -1 x394e +1 x3951 -1 x3a66
+1 x3a69 -1 x3f90 +1 x3f93 = +0
-1 x345f +1 x346b -1 x3536 -1 x35b8 -1 x3701 -1 x384b -1 x38cd -1 x3952
-1 x3a6a -1 x3f94 = +0
-1 x3463 -1 x3467 +1 x346c = +0
-1 x348b +1 x348e +1 x349b -1 x354e +1 x3551 -1 x35d0 +1 x35d3 -1 x3719
+1 x371c -1 x3863 +1 x3866 -1 x38e5 +1 x38e8 -1 x396a +1 x396d -1 x3a82
+1 x3a85 -1 x3fac +1 x3faf = +0
-1 x348f +1 x349b -1 x3552 -1 x35d4 -1 x371d -1 x3867 -1 x38e9 -1 x396e
-1 x3a86 -1 x3fb0 = +0
-1 x3493 -1 x3497 +1 x349c = +0
-1 x3f0f +1 x3f12 +1 x3f1f = +0
-1 x3f13 +1 x3f1f = +0
-1 x3f17 -1 x3f1b +1 x3f20 = +0
-1 x3f3f +1 x3f42 +1 x3f4f = +0
-1 x3f43 +1 x3f4f = +0
-1 x3f47 -1 x3f4b +1 x3f50 = +0
-1 x30ce +1 x30d3 +1 x30d7 +1 x30e4 = +0
-1 x3100 +1 x3103 +1 x3107 +1 x3114 = +0
-1 x313a +1 x313f +1 x3143 +1 x3150 = +0
-1 x316c +1 x316f +1 x3173 +1 x3180 = +0
-1 x31a6 +1 x31ab +1 x31af +1 x31bc -1 x3d6a +1 x3d6f +1 x3d73 -1 x3dc4
+1 x3dc9 +1 x3dcd = +0
-1 x31d8 +1 x31db +1 x31df +1 x31ec -1 x3d88 +1 x3d8b +1 x3d8f -1 x3de2
+1 x3de5 +1 x3de9 = +0
-1 x3253 +1 x3258 +1 x325c +1 x3269 -1 x399b +1 x39a0 +1 x39a4 -1 x3bb2
+1 x3bb7 +1 x3bbb -1 x3c04 +1 x3c09 +1 x3c0d -1 x3cba +1 x3cbf +1 x3cc3
-1 x3d1e +1 x3d23 +1 x3d27 -1 x3e2f +1 x3e34 +1 x3e38 -1 x3eae +1 x3eb3
+1 x3eb7 = +0
-1 x3285 +1 x3288 +1 x328c +1 x3299 -1 x39b9 +1 x39bc +1 x39c0 -1 x3bd0
+1 x3bd3 +1 x3bd7 -1 x3c22 +1 x3c25 +1 x3c29 -1 x3cd8 +1 x3cdb +1 x3cdf
-1 x3d3c +1 x3d3f +1 x3d43 -1 x3e4d +1 x3e50 +1 x3e54 -1 x3ecc +1 x3ecf
+1 x3ed3 = +0
-1 x32d6 +1 x32db +1 x32df +1 x32ec -1 x3749 +1 x374e +1 x3752 -1 x39e9
+1 x39ee +1 x39f2 -1 x3fce +1 x3fd3 +1 x3fd7 = +0
-1 x3308 +1 x330b +1 x330f +1 x331c -1 x3767 +1 x376a +1 x376e -1 x3a07
+1 x3a0a +1 x3a0e -1 x3fec +1 x3fef +1 x3ff3 = +0
-1 x3455 +1 x345a +1 x345e +1 x346b -1 x352c +1 x3531 +1 x3535 -1 x35ae
+1 x35b3 +1 x35b7 -1 x36f7 +1 x36fc +1 x3700 -1 x3841 +1 x3846 +1 x384a
-1 x38c3 +1 x38c8 +1 x38cc -1 x3948 +1 x394d +1 x3951 -1 x3a60 +1 x3a65
+1 x3a69 -1 x3f8a +1 x3f8f +1 x3f93 = +0
-1 x3487 +1 x348a +1 x348e +1 x349b -1 x354a +1 x354d +1 x3551 -1 x35cc
+1 x35cf +1 x35d3 -1 x3715 +1 x3718 +1 x371c -1 x385f +1 x3862 +1 x3866
-1 x38e1 +1 x38e4 +1 x38e8 -1 x3966 +1 x3969 +1 x396d -1 x3a7e +1 x3a81
+1 x3a85 -1 x3fa8 +1 x3fab +1 x3faf = +0
-1 x3f09 +1 x3f0e +1 x3f12 +1 x3f1f = +0
-1 x3f3b +1 x3f3e +1 x3f42 +1 x3f4f = +0
-1 x30cf -1 x30f9 +1 x3126 = +0
-1 x313b -1 x3165 +1 x3192 = +0
-1 x31a7 -1 x31d1 +1 x31fe -1 x3d6b -1 x3d81 +1 x3d9b -1 x3dc5 -1 x3ddb
+1 x3df5 = +0
-1 x3254 -1 x327e +1 x32ab -1 x399c -1 x39b2 +1 x39cc -1 x3bb3 -1 x3bc9
+1 x3be3 -1 x3c05 -1 x3c1b +1 x3c35 -1 x3cbb -1 x3cd1 +1 x3ceb -1 x3d1f
-1 x3d35 +1 x3d4f -1 x3e30 -1 x3e46 +1 x3e60 -1 x3eaf -1 x3ec5 +1 x3edf
= +0
-1 x32d7 -1 x3301 +1 x332e -1 x374a -1 x3760 +1 x377a -1 x39ea -1 x3a00
+1 x3a1a -1 x3fcf -1 x3fe5 +1 x3fff = +0
-1 x3456 -1 x3480 +1 x34ad -1 x352d -1 x3543 +1 x355d -1 x35af -1 x35c5
+1 x35df -1 x36f8 -1 x370e +1 x3728 -1 x3842 -1 x3858 +1 x3872 -1 x38c4
-1 x38da +1 x38f4 -1 x3949 -1 x395f +1 x3979 -1 x3a61 -1 x3a77 +1 x3a91
-1 x3f8b -1 x3fa1 +1 x3fbb = +0
-1 x3f0a -1 x3f34 +1 x3f61 = +0
-1 x30a4 +1 x30b6 = +0
-1 x30a4 +1 x30b6 = +0
-1 x30ab -1 x30b0 +1 x30b7 = +0
-199 x30c0 -199 x30c1 +1 x312e +1 x319a +1 x320c +1 x320e +1 x3210 +1 x3249
+1 x32b9 +1 x32bb +1 x32bd +1 x333c +1 x333e +1 x3340 +1 x3375 +1 x337e
+1 x339e +1 x33cc +1 x33da +1 x34bb +1 x34bd +1 x34bf +1 x34f4 +1 x3502
+1 x3593 +1 x3594 +1 x369d +1 x36e3 +1 x36f1 +1 x3743 +1 x37a8 +1 x3832
+1 x3833 +1 x38b4 +1 x38b5 +1 x3929 +1 x3a51 +1 x3a52 +1 x3b69 +1 x3b7e
+1 x3ba1 +1 x3bfa +1 x3cb0 +1 x3d14 +1 x3e20 +1 x3e21 +1 x3ea1 +1 x3eff
+1 x3f69 +1 x3f7a <= +0
-99 x30ce +1 x30d4 +1 x30d8 +1 x30dc +1 x30e0 <= +0
-97 x30d8 +1 x30dc +1 x30e0 <= +0
-97 x30ce +1 x30dc +1 x30e0 <= +0
-99 x3100 +1 x3104 +1 x3108 +1 x310c +1 x3110 <= +0
-97 x3108 +1 x310c +1 x3110 <= +0
-97 x3100 +1 x310c +1 x3110 <= +0
-99 x313a +1 x3140 +1 x3144 +1 x3148 +1 x314c <= +0
-97 x3144 +1 x3148 +1 x314c <= +0
-97 x313a +1 x3148 +1 x314c <= +0
-99 x316c +1 x3170 +1 x3174 +1 x3178 +1 x317c <= +0
-97 x3174 +1 x3178 +1 x317c <= +0
-97 x316c +1 x3178 +1 x317c <= +0
-99 x31a6 +1 x31ac +1 x31b0 +1 x31b4 +1 x31b8 -99 x3d6a +1 x3d70 +1 x3d74
-99 x3dc4 +1 x3dca +1 x3dce <= +0
-97 x31b0 +1 x31b4 +1 x31b8 -97 x3d74 -97 x3dce <= +0
-97 x31a6 +1 x31b4 +1 x31b8 -97 x3d6a -97 x3dc4 <= +0
-99 x31d8 +1 x31dc +1 x31e0 +1 x31e4 +1 x31e8 -99 x3d88 +1 x3d8c +1 x3d90
-99 x3de2 +1 x3de6 +1 x3dea <= +0
-97 x31e0 +1 x31e4 +1 x31e8 -97 x3d90 -97 x3dea <= +0
-97 x31d8 +1 x31e4 +1 x31e8 -97 x3d88 -97 x3de2 <= +0
-99 x3253 +1 x3259 +1 x325d +1 x3261 +1 x3265 -99 x399b +1 x39a1 +1 x39a5
-99 x3bb2 +1 x3bb8 +1 x3bbc -99 x3c04 +1 x3c0a +1 x3c0e -99 x3cba +1 x3cc0
+1 x3cc4 -99 x3d1e +1 x3d24 +1 x3d28 -99 x3e2f +1 x3e35 +1 x3e39 -99 x3eae
+1 x3eb4 +1 x3eb8 <= +0
-97 x325d +1 x3261 +1 x3265 -97 x39a5 -97 x3bbc -97 x3c0e -97 x3cc4 -97 x3d28
-97 x3e39 -97 x3eb8 <= +0
-97 x3253 +1 x3261 +1 x3265 -97 x399b -97 x3bb2 -97 x3c04 -97 x3cba -97 x3d1e
-97 x3e2f -97 x3eae <= +0
-99 x3285 +1 x3289 +1 x328d +1 x3291 +1 x3295 -99 x39b9 +1 x39bd +1 x39c1
-99 x3bd0 +1 x3bd4 +1 x3bd8 -99 x3c22 +1 x3c26 +1 x3c2a -99 x3cd8 +1 x3cdc
+1 x3ce0 -99 x3d3c +1 x3d40 +1 x3d44 -99 x3e4d +1 x3e51 +1 x3e55 -99 x3ecc
+1 x3ed0 +1 x3ed4 <= +0
-97 x328d +1 x3291 +1 x3295 -97 x39c1 -97 x3bd8 -97 x3c2a -97 x3ce0 -97 x3d44
-97 x3e55 -97 x3ed4 <= +0
-97 x3285 +1 x3291 +1 x3295 -97 x39b9 -97 x3bd0 -97 x3c22 -97 x3cd8 -97 x3d3c
-97 x3e4d -97 x3ecc <= +0
-99 x32d6 +1 x32dc +1 x32e0 +1 x32e4 +1 x32e8 -99 x3749 +1 x374f +1 x3753
-99 x39e9 +1 x39ef +1 x39f3 -99 x3fce +1 x3fd4 +1 x3fd8 <= +0
-97 x32e0 +1 x32e4 +1 x32e8 -97 x3753 -97 x39f3 -97 x3fd8 <= +0
-97 x32d6 +1 x32e4 +1 x32e8 -97 x3749 -97 x39e9 -97 x3fce <= +0
-99 x3308 +1 x330c +1 x3310 +1 x3314 +1 x3318 -99 x3767 +1 x376b +1 x376f
-99 x3a07 +1 x3a0b +1 x3a0f -99 x3fec +1 x3ff0 +1 x3ff4 <= +0
-97 x3310 +1 x3314 +1 x3318 -97 x376f -97 x3a0f -97 x3ff4 <= +0
-97 x3308 +1 x3314 +1 x3318 -97 x3767 -97 x3a07 -97 x3fec <= +0
-99 x3455 +1 x345b +1 x345f +1 x3463 +1 x3467 -99 x352c +1 x3532 +1 x3536
-99 x35ae +1 x35b4 +1 x35b8 -99 x36f7 +1 x36fd +1 x3701 -99 x3841 +1 x3847
+1 x384b -99 x38c3 +1 x38c9 +1 x38cd -99 x3948 +1 x394e +1 x3952 -99 x3a60
+1 x3a66 +1 x3a6a -99 x3f8a +1 x3f90 +1 x3f94 <= +0
-97 x345f +1 x3463 +1 x3467 -97 x3536 -97 x35b8 -97 x3701 -97 x384b -97 x38cd
-97 x3952 -97 x3a6a -97 x3f94 <= +0
-97 x3455 +1 x3463 +1 x3467 -97 x352c -97 x35ae -97 x36f7 -97 x3841 -97 x38c3
-97 x3948 -97 x3a60 -97 x3f8a <= +0
-99 x3487 +1 x348b +1 x348f +1 x3493 +1 x3497 -99 x354a +1 x354e +1 x3552
-99 x35cc +1 x35d0 +1 x35d4 -99 x3715 +1 x3719 +1 x371d -99 x385f +1 x3863
+1 x3867 -99 x38e1 +1 x38e5 +1 x38e9 -99 x3966 +1 x396a +1 x396e -99 x3a7e
+1 x3a82 +1 x3a86 -99 x3fa8 +1 x3fac +1 x3fb0 <= +0
-97 x348f +1 x3493 +1 x3497 -97 x3552 -97 x35d4 -97 x371d -97 x3867 -97 x38e9
-97 x396e -97 x3a86 -97 x3fb0 <= +0
-97 x3487 +1 x3493 +1 x3497 -97 x354a -97 x35cc -97 x3715 -97 x385f -97 x38e1
-97 x3966 -97 x3a7e -97 x3fa8 <= +0
-99 x3f09 +1 x3f0f +1 x3f13 +1 x3f17 +1 x3f1b <= +0
-97 x3f13 +1 x3f17 +1 x3f1b <= +0
-97 x3f09 +1 x3f17 +1 x3f1b <= +0
-99 x3f3b +1 x3f3f +1 x3f43 +1 x3f47 +1 x3f4b <= +0
-97 x3f43 +1 x3f47 +1 x3f4b <= +0
-97 x3f3b +1 x3f47 +1 x3f4b <= +0
-1 x30c8 +1 x30cf +1 x30f9 <= +0
-1 x312e +1 x313b +1 x3165 <= +0
-1 x319a +1 x31a7 +1 x31d1 -1 x3d68 +1 x3d6b +1 x3d81 -1 x3db1 +1 x3dc5
+1 x3ddb <= +0
-1 x324c +1 x3254 +1 x327e -1 x3997 +1 x399c +1 x39b2 -1 x3bae +1 x3bb3
+1 x3bc9 -1 x3bfd +1 x3c05 +1 x3c1b -1 x3cb3 +1 x3cbb +1 x3cd1 -1 x3d17
+1 x3d1f +1 x3d35 -1 x3e2a +1 x3e30 +1 x3e46 -1 x3ea4 +1 x3eaf +1 x3ec5
<= +0
-1 x32d0 +1 x32d7 +1 x3301 -1 x3745 +1 x374a +1 x3760 -1 x39e2 +1 x39ea
+1 x3a00 -1 x3f6f +1 x3fcf +1 x3fe5 <= +0
-1 x3453 +1 x3456 +1 x3480 -1 x3528 +1 x352d +1 x3543 -1 x359d +1 x35af
+1 x35c5 -1 x36a0 +1 x36f8 +1 x370e -1 x383c +1 x3842 +1 x3858 -1 x38be
+1 x38c4 +1 x38da -1 x392c +1 x3949 +1 x395f -1 x3a5b +1 x3a61 +1 x3a77
-1 x3f7d +1 x3f8b +1 x3fa1 <= +0
-1 x3f02 +1 x3f0a +1 x3f34 <= +0
-100 x309c -100 x309d +2 x30a4 +1 x30ab +1 x30b0 >= +0
-100 x309c -100 x309d +2 x30a4 +1 x30ab +1 x30b0 <= +0
-98 x30a4 +1 x30ab +1 x30b0 <= +0
-98 x309c -98 x309d +1 x30ab +1 x30b0 <= +0
general
z
o
x3095
x309c
x309d
x30a4
x30ab
x30ac
x30b6
x30b7
x30af
x30b0
x30b1
x30c0
x30c1
x30c8
x30ce
x30cf
x30d3
x30d4
x30d7
x30d8
x30db
x30dc
x30e4
x30e5
x30de
x30df
x30e0
x30f3
x30f4
x30f5
x30f6
x30f7
x30f8
x3128
x30f9
x3100
x3103
x3104
x3107
x3108
x310b
x310c
x3114
x3115
x310e
x310f
x3110
x3126
x312e
x313a
x313b
x313f
x3140
x3143
x3144
x3147
x3148
x3150
x3151
x314a
x314b
x314c
x315f
x3160
x3161
x3162
x3163
x3164
x3194
x3165
x316c
x316f
x3170
x3173
x3174
x3177
x3178
x3180
x3181
x317a
x317b
x317c
x3192
x319a
x31a6
x31a7
x31ab
x31ac
x31af
x31b0
x31b2
x31b3
x31b4
x31bc
x31bd
x31b6
x31b7
x31b8
x31cb
x31cc
x31cd
x31ce
x31cf
x31d0
x3200
x31d1
x31d8
x31db
x31dc
x31df
x31e0
x31e2
x31e3
x31e4
x31ec
x31ed
x31e6
x31e7
x31e8
x31fe
x3204
x3205
x3206
x3207
x3208
x3209
x320c
x320e
x3210
x3219
x321a
x3229
x322a
x322b
x322c
x322d
x322e
x3d64
x3223
x3224
x3231
x3234
x3236
x3239
x323b
x323e
x3249
x324b
x324c
x3abc
x3abd
x3abe
x3253
x3254
x3258
x3259
x325c
x325d
x325f
x3260
x3261
x3269
x326a
x3263
x3264
x3265
x3278
x3279
x327a
x327b
x327c
x327d
x32ad
x327e
x3285
x3288
x3289
x328c
x328d
x328f
x3290
x3291
x3299
x329a
x3293
x3294
x3295
x32ab
x32b1
x32b2
x32b3
x32b4
x32b5
x32b6
x32b9
x32bb
x32bd
x32cc
x32cd
x32ce
x32cf
x37c2
x37c3
x37c4
x37c5
x37c6
x37c7
x32d0
x32d6
x32d7
x32db
x32dc
x32df
x32e0
x32e2
x32e3
x32e4
x32ec
x32ed
x32e6
x32e7
x32e8
x32fb
x32fc
x32fd
x32fe
x32ff
x3300
x3330
x3301
x3308
x330b
x330c
x330f
x3310
x3312
x3313
x3314
x331c
x331d
x3316
x3317
x3318
x332e
x3334
x3335
x3336
x3337
x3338
x3339
x333c
x333e
x3340
x334f
x3350
x3351
x3352
x3355
x3356
x3357
x3358
x3359
x335a
x3353
x3d65
x335d
x3360
x3362
x3365
x3367
x336a
x3375
x337e
x3381
x3382
x3383
x3384
x3387
x3388
x3389
x3385
x3997
x338c
x338e
x3390
x3396
x3397
x339e
x33a0
x33a1
x400e
x33ac
x33ad
x33ae
x33af
x33b0
x33b1
x33cc
x33cd
x33ce
x33cf
x33e2
x33e3
x33e4
x3450
x33da
x33db
x33dc
x33dd
x33e7
x33e9
x33eb
x400f
x33f9
x33fa
x33fb
x33fc
x33fd
x33fe
x33ff
x3402
x3404
x3407
x340a
x340c
x340f
x3412
x3441
x3442
x3443
x3444
x3445
x3446
x3447
x3453
x3455
x3456
x345a
x345b
x345e
x345f
x3461
x3462
x3463
x346b
x346c
x3465
x3466
x3467
x347a
x347b
x347c
x347d
x347e
x347f
x34af
x3480
x3487
x348a
x348b
x348e
x348f
x3491
x3492
x3493
x349b
x349c
x3495
x3496
x3497
x34ad
x34b3
x34b4
x34b5
x34b6
x34b7
x34b8
x34bb
x34bd
x34bf
x34ce
x34cf
x34d0
x34d1
x34d4
x34d5
x34d6
x34d7
x34d8
x34d9
x34d2
x3745
x34dc
x34df
x34e1
x34e4
x34e6
x34e9
x34f4
x34f6
x34f7
x350a
x350b
x350c
x3528
x3502
x3504
x3505
x350f
x3511
x3513
x3522
x3523
x3524
x352c
x352d
x3531
x3532
x3535
x3536
x353f
x3540
x3541
x3542
x355f
x3543
x354a
x354d
x354e
x3551
x3552
x355d
x3563
x3564
x3565
x3566
x3567
x3568
x3569
x356a
x356b
x3572
x3573
x3577
x3578
x3579
x357a
x357b
x357c
x3593
x3594
x3596
x3597
x3598
x3599
x359a
x359e
x359f
x35a0
x35a1
x35a2
x35a3
x359d
x35ae
x35af
x35b3
x35b4
x35b7
x35b8
x35c1
x35c2
x35c3
x35c4
x35e1
x35c5
x35cc
x35cf
x35d0
x35d3
x35d4
x35df
x35e5
x35e6
x35e7
x35e8
x35e9
x35ea
x35eb
x35ec
x35ed
x35fe
x35ff
x3600
x3601
x3602
x3603
x3604
x3608
x3609
x360a
x360b
x360c
x360d
x360e
x360f
x3610
x3611
x3614
x361a
x361c
x361f
x3622
x3628
x362a
x362d
x3630
x3636
x364a
x365b
x365c
x365d
x365e
x365f
x3660
x3661
x3662
x3663
x3664
x3665
x3666
x3667
x3668
x366e
x3673
x3676
x3679
x367e
x3681
x3684
x3691
x3692
x369d
x369f
x36a0
x36b3
x36b4
x36b5
x36b6
x36b7
x36b8
x36be
x36c1
x36c6
x36c9
x36ce
x36d1
x36e3
x36f1
x36f7
x36f8
x36fc
x36fd
x3700
x3701
x370a
x370b
x370c
x370d
x372a
x370e
x3715
x3718
x3719
x371c
x371d
x3728
x372e
x372f
x3730
x3731
x3732
x3733
x3734
x3735
x3736
x3743
x3749
x374a
x374e
x374f
x3752
x3753
x375c
x375d
x375e
x375f
x377c
x3760
x3767
x376a
x376b
x376e
x376f
x377a
x3780
x3781
x3782
x3783
x3784
x3785
x3786
x3787
x3788
x378f
x3790
x3794
x3795
x3796
x3797
x3798
x3799
x37a8
x37aa
x37ab
x37af
x37b0
x37b1
x37c8
x37c9
x37ca
x37cb
x37cc
x37cd
x37ce
x37cf
x37d0
x37d1
x37d2
x37d3
x37d9
x37dc
x37e5
x37e8
x37ed
x37f0
x37f9
x37fc
x3801
x3804
x380d
x3810
x3832
x3833
x3836
x3837
x3838
x3839
x3881
x3882
x3883
x3884
x3885
x3886
x383c
x3841
x3842
x3846
x3847
x384a
x384b
x3854
x3855
x3856
x3857
x3874
x3858
x385f
x3862
x3863
x3866
x3867
x3872
x3878
x3879
x387a
x387b
x387c
x387d
x387e
x387f
x3880
x388c
x388e
x3890
x3ef0
x38b4
x38b5
x38b8
x38b9
x38ba
x38bb
x3903
x3904
x3905
x3906
x3907
x3908
x38be
x38c3
x38c4
x38c8
x38c9
x38cc
x38cd
x38d6
x38d7
x38d8
x38d9
x38f6
x38da
x38e1
x38e4
x38e5
x38e8
x38e9
x38f4
x38fa
x38fb
x38fc
x38fd
x38fe
x38ff
x3900
x3901
x3902
x3912
x3913
x3914
x3917
x3919
x391b
x3921
x3922
x3929
x392b
x392c
x3938
x3939
x393a
x393b
x393c
x393d
x3948
x3949
x394d
x394e
x3951
x3952
x395b
x395c
x395d
x395e
x397b
x395f
x3966
x3969
x396a
x396d
x396e
x3979
x397f
x3980
x3981
x3982
x3983
x3984
x3985
x3986
x3987
x398b
x398c
x398d
x398e
x398f
x3990
x399b
x399c
x39a0
x39a1
x39a4
x39a5
x39ae
x39af
x39b0
x39b1
x39ce
x39b2
x39b9
x39bc
x39bd
x39c0
x39c1
x39cc
x39d2
x39d3
x39d4
x39d5
x39d6
x39d7
x39d8
x39d9
x39da
x39e1
x39e2
x3a29
x3a2a
x3a2b
x3a2c
x3a2d
x3a2e
x39e9
x39ea
x39ee
x39ef
x39f2
x39f3
x39fc
x39fd
x39fe
x39ff
x3a1c
x3a00
x3a07
x3a0a
x3a0b
x3a0e
x3a0f
x3a1a
x3a20
x3a21
x3a22
x3a23
x3a24
x3a25
x3a26
x3a27
x3a28
x3a51
x3a52
x3a55
x3a56
x3a57
x3a58
x3aa0
x3aa1
x3aa2
x3aa3
x3aa4
x3aa5
x3a5b
x3a60
x3a61
x3a65
x3a66
x3a69
x3a6a
x3a73
x3a74
x3a75
x3a76
x3a93
x3a77
x3a7e
x3a81
x3a82
x3a85
x3a86
x3a91
x3a97
x3a98
x3a99
x3a9a
x3a9b
x3a9c
x3a9d
x3a9e
x3a9f
x3ac2
x3ac3
x3ac4
x3ac5
x3ac6
x3ac7
x3ac8
x3ac9
x3aca
x3acb
x3acc
x3acd
x3ace
x3acf
x3ad0
x3ad1
x3ad2
x3ad5
x3adb
x3ade
x3ae0
x3ae6
x3ae9
x3aec
x3aef
x3af1
x3af7
x3afa
x3afd
x3b00
x3b13
x3b14
x3b15
x3b16
x3b17
x3b18
x3b19
x3b1a
x3b1b
x3b1c
x3b1d
x3b1e
x3b22
x3b23
x3b24
x3b25
x3b26
x3b27
x3b30
x3b33
x3b3e
x3b41
x3b4c
x3b4f
x3b69
x3b7e
x3b81
x3b82
x3b83
x3b84
x3b87
x3b88
x3b89
x3b85
x3bae
x3ba1
x3ba3
x3ba4
x3ba8
x3ba9
x3baa
x3bb2
x3bb3
x3bb7
x3bb8
x3bbb
x3bbc
x3bc5
x3bc6
x3bc7
x3bc8
x3be5
x3bc9
x3bd0
x3bd3
x3bd4
x3bd7
x3bd8
x3be3
x3be9
x3bea
x3beb
x3bec
x3bed
x3bee
x3bef
x3bf0
x3bf1
x3bfa
x3bfc
x3bfd
x3c44
x3c45
x3c46
x3c04
x3c05
x3c09
x3c0a
x3c0d
x3c0e
x3c17
x3c18
x3c19
x3c1a
x3c37
x3c1b
x3c22
x3c25
x3c26
x3c29
x3c2a
x3c35
x3c3b
x3c3c
x3c3d
x3c3e
x3c3f
x3c40
x3c41
x3c42
x3c43
x3c5a
x3c5b
x3c5c
x3c5d
x3c5e
x3c5f
x3c60
x3c61
x3c62
x3c63
x3c64
x3c65
x3c69
x3c6a
x3c6b
x3c6c
x3c6d
x3c6e
x3c77
x3c7a
x3c85
x3c88
x3c93
x3c96
x3cb0
x3cb2
x3cb3
x3cfa
x3cfb
x3cfc
x3cba
x3cbb
x3cbf
x3cc0
x3cc3
x3cc4
x3ccd
x3cce
x3ccf
x3cd0
x3ced
x3cd1
x3cd8
x3cdb
x3cdc
x3cdf
x3ce0
x3ceb
x3cf1
x3cf2
x3cf3
x3cf4
x3cf5
x3cf6
x3cf7
x3cf8
x3cf9
x3d14
x3d16
x3d17
x3d5e
x3d5f
x3d60
x3d1e
x3d1f
x3d23
x3d24
x3d27
x3d28
x3d31
x3d32
x3d33
x3d34
x3d51
x3d35
x3d3c
x3d3f
x3d40
x3d43
x3d44
x3d4f
x3d55
x3d56
x3d57
x3d58
x3d59
x3d5a
x3d5b
x3d5c
x3d5d
x3d68
x3d6a
x3d6b
x3d6f
x3d70
x3d73
x3d74
x3d7d
x3d7e
x3d7f
x3d80
x3d9d
x3d81
x3d88
x3d8b
x3d8c
x3d8f
x3d90
x3d9b
x3da1
x3da2
x3da3
x3da4
x3da5
x3da6
x3da7
x3da8
x3da9
x3db0
x3db1
x3db4
x3db5
x3db6
x3db7
x3db8
x3db9
x3dc4
x3dc5
x3dc9
x3dca
x3dcd
x3dce
x3dd7
x3dd8
x3dd9
x3dda
x3df7
x3ddb
x3de2
x3de5
x3de6
x3de9
x3dea
x3df5
x3dfb
x3dfc
x3dfd
x3dfe
x3dff
x3e00
x3e01
x3e02
x3e03
x3e20
x3e21
x3e24
x3e25
x3e26
x3e27
x3e6f
x3e70
x3e71
x3e72
x3e73
x3e74
x3e2a
x3e2f
x3e30
x3e34
x3e35
x3e38
x3e39
x3e42
x3e43
x3e44
x3e45
x3e62
x3e46
x3e4d
x3e50
x3e51
x3e54
x3e55
x3e60
x3e66
x3e67
x3e68
x3e69
x3e6a
x3e6b
x3e6c
x3e6d
x3e6e
x3e8b
x3e8c
x3e8d
x3e8e
x3e90
x3e91
x3e94
x3e95
x3ea1
x3ea3
x3ea4
x3eae
x3eaf
x3eb3
x3eb4
x3eb7
x3eb8
x3ec1
x3ec2
x3ec3
x3ec4
x3ee1
x3ec5
x3ecc
x3ecf
x3ed0
x3ed3
x3ed4
x3edf
x3ee5
x3ee6
x3ee7
x3ee8
x3ee9
x3eea
x3eeb
x3eec
x3eed
x3ef1
x3ef2
x3ef4
x3ef5
x3ef6
x3ef7
x3eff
x3f01
x3f02
x3f09
x3f0a
x3f0e
x3f0f
x3f12
x3f13
x3f16
x3f17
x3f1f
x3f20
x3f19
x3f1a
x3f1b
x3f2e
x3f2f
x3f30
x3f31
x3f32
x3f33
x3f63
x3f34
x3f3b
x3f3e
x3f3f
x3f42
x3f43
x3f46
x3f47
x3f4f
x3f50
x3f49
x3f4a
x3f4b
x3f61
x3f69
x3f6e
x3f6f
x3f72
x3f73
x3f7a
x3f7c
x3f7d
x3f85
x3f8a
x3f8b
x3f8f
x3f90
x3f93
x3f94
x3f9d
x3f9e
x3f9f
x3fa0
x3fbd
x3fa1
x3fa8
x3fab
x3fac
x3faf
x3fb0
x3fbb
x3fc1
x3fc2
x3fc3
x3fc4
x3fc5
x3fc6
x3fc7
x3fc8
x3fc9
x3fce
x3fcf
x3fd3
x3fd4
x3fd7
x3fd8
x3fe1
x3fe2
x3fe3
x3fe4
x4001
x3fe5
x3fec
x3fef
x3ff0
x3ff3
x3ff4
x3fff
x4005
x4006
x4007
x4008
x4009
x400a
x400b
x400c
x400d
x4015
x4018
x4019
x401a
x401b
x401c
x401d
x401e
x401f
x4020
end