maximize cost: 498 x1 + 5 xd + 26 xe + 4 xf
 + 2 x1c + 7 x1d + 1080 x1e + 2 x28 + 18 x29
 + 4 x2b + 2 x36 + 23 x37 + 6 x5c + 1507 x5d
 + 159 x5e + 5 x64 + 200 x65 + 4 x67 + 66 x7f
 + 163 x80 + 141 x83 + 6 x86 + 1216 x87 + 4 x8d
 + 64 xaf + 707 xb0 + 75 xb4 + 81 xc2 + 1103 xc3
 + 1208 xc9 + 6 xe2 + 1304 xe3 + 159 xe8 + 5 xfa
 + 12 xfb + 188 x119 + 134 x11a + 3 x11d + 229 x11e
 + 4 x125 + 6 x145 + 1216 x146 + 4 x14d + 6 x150
 + 120 x151 + 149 x15a + 83 x164 + 204 x165 + 120 x16e
 + 16 x176 + 256 x177 + 6 x17d + 298 x17e + 4 x182
 + 149 x188 + 16 x1a8 + 206 x1a9 + 4 x1b3 + 6 x1b7
 + 1507 x1b8 + 159 x1c6 + 115 x1d5 + 236 x1d6 + 120 x1e1
 + 6 x1e5 + 110 x1e6 + 6 x1e7 + 237 x1e8 + 5 x1ec
 + 200 x1ed + 105 x1f6 + 113 x1f7 + 4 x1fa + 4 x1ff
 + 19 x208 + 135 x209 + 623 x21b + 92 x220 + 97 x221
 + 3 x22d + 129 x22e + 72 x230 + 6 x233 + 11 x234
 + 6 x235 + 191 x236 + 6 x23b + 120 x23c + 6 x23f
 + 132 x240 + 4 x242 + 4 x24a + 101 x24c + 149 x252
 + 4 x256 + 2 x275 + 183 x276 + 4 x289 + 2 x28b
 + 191 x28c + 4 x28d + 198 x28e + 66 x290 + 163 x291
 + 16 x295 + 256 x296 + 141 x2a7 + 6 x2aa + 1216 x2ab
 + 4 x2ae + 6 x2b1 + 110 x2b2 + 6 x2b3 + 114 x2b4
 + 398 x2b5 + 327 x2b6 + 4 x2cb + 105 x2d3 + 113 x2d4
 + 4 x2d7 + 6 x2dc + 120 x2dd + 563 x2df + 90 x2e0
 + 19 x2f1 + 135 x2f2 + 4 x2fa + 380 x2fc + 309 x2fd
 + 623 x30d + 3 x32a + 129 x32b + 4 x340 + 6 x361
 + 11 x362 + 115 x36a + 236 x36b + 6 x370 + 127 x371
 + 4 x376 + 6 x378 + 206 x379 + 6 x37a + 206 x37b
 + 6 x380 + 120 x381 + 120 x382 + 4 x390 + 4 x392
 + 64 x395 + 707 x396 + 149 x399 + 75 x3ae + 2 x3be
 + 9 x3bf + 2 x3c0 + 186 x3c1 + 6 x3d2 + 114 x3d3
 + 4 x3dc + 11 x3dd + 16 x3e4 + 256 x3e5 + 4 x3ea
 + 390 x3ec + 319 x3ed + 4 x402 + 6 x407 + 132 x408
 + 4 x423 + 178 x42b + 124 x42c + 187 x445 + 133 x446
 + 6 x471 + 1304 x472 + 6 x477 + 110 x478 + 6 x479
 + 114 x47a + 398 x47b + 327 x47c + 6 x47e + 6 x47f
 + 159 x489 + 105 x48f + 113 x490 + 4 x493 + 6 x498
 + 6 x499 + 6 x49c + 11 x49d + 6 x49e + 201 x49f
 + 115 x4a7 + 236 x4a8 + 19 x4aa + 135 x4ab + 115 x4b3
 + 6 x4b4 + 12 x4b5 + 4 x4b9 + 4 x4bb + 6 x4bd
 + 206 x4be + 120 x4c3 + 595 x4c7 + 4 x4da + 5 x4dc
 + 12 x4dd + 3 x4e7 + 129 x4e8 + 4 x500 + 390 x505
 + 319 x506 + 2 x509 + 186 x50a + 4 x50b + 11 x50c
 + 6 x536 + 127 x537 + 6 x53d + 298 x53e + 188 x549
 + 134 x54a + 3 x54d + 229 x54e + 6 x551 + 132 x552
 + 149 x55c + 4 x566 + 4 x56b + 182 x578 + 128 x579
 + 6 x5a2 + 114 x5a3 + 16 x5a7 + 210 x5a8 + 4 x5ba
 + 389 x5bc + 318 x5bd + 4 x5c0 + 6 x5c7 + 1216 x5c8
 + 6 x5cd + 110 x5ce + 6 x5cf + 114 x5d0 + 398 x5d1
 + 327 x5d2 + 3 x5da + 243 x5db + 4 x5e5 + 6 x5e8
 + 120 x5e9 + 105 x5ec + 113 x5ed + 4 x5f0 + 4 x5f9
 + 6 x5ff + 13 x600 + 6 x601 + 13 x602 + 149 x607
 + 19 x60b + 135 x60c + 4 x620 + 4 x622 + 83 x628
 + 204 x629 + 595 x62b + 6 x63c + 191 x63d + 120 x649
 + 3 x64e + 129 x64f + 16 x660 + 256 x661 + 4 x668
 + 6 x66d + 6 x66e + 4 x676 + 11 x677 + 188 x678
 + 130 x679 + 188 x67a + 130 x67b + 4 x67e + 6 x68b
 + 6 x68c + 2 x690 + 7 x691 + 6 x6a7 + 127 x6a8
 + 115 x6ab + 6 x6ac + 12 x6ad + 4 x6b2 + 6 x6b5
 + 202 x6b6 + 2 x6d1 + 123 x6d2 + 4 x6d8 + 120 x6ee
 + 182 x6f8 + 128 x6f9 + 390 x70d + 319 x70e + 3 x70f
 + 243 x710 + 2 x717 + 188 x718 + 6 x72a + 114 x72b
 + 4 x730 + 4 x737 + 4 x744 + 390 x746 + 319 x747
 + 115 x75c + 236 x75d + 120 x779 + 6 x77d + 110 x77e
 + 6 x77f + 237 x780 + 6 x78c + 123 x78d + 90 x78e
 + 95 x78f + 6 x794 + 13 x795 + 105 x79d + 113 x79e
 + 4 x7a1 + 4 x7ad + 70 x7af + 4 x7b4 + 19 x7bb
 + 135 x7bc + 6 x7d2 + 206 x7d3 + 623 x7dd + 3 x7f5
 + 129 x7f6 + 6 x7f9 + 6 x7fa + 2 x7fd + 123 x7fe
 + 2 x804 + 7 x805 + 188 x808 + 130 x809 + 6 x80b
 + 120 x80c + 6 x80f + 132 x810 + 4 x812 + 6 x817
 + 6 x818 + 120 x81a + 6 x81e + 14 x81f + 6 x820
 + 237 x821 + 380 x822 + 309 x823 + 4 x825 + 6 x827
 + 202 x828 + 149 x82d + 4 x831 + 115 x83a + 6 x83b
 + 12 x83c + 6 x83e + 24 x83f + 8 x845 + 16 x846
 + 4 x849 + 4 x850 + 4 x865 + 11 x86a + 19 x86b
 + 25 x88c + 623 x894 + 88 x895 + 2 x898 + 179 x899
 + 16 x8a1 + 256 x8a2 + 390 x8ab + 319 x8ac + 3 x8b4
 + 129 x8b5 + 4 x8bb + 4 x8bd + 11 x8be + 4 x8c4
 + 6 x8c7 + 110 x8c8 + 6 x8c9 + 114 x8ca + 398 x8cb
 + 327 x8cc + 3 x8d5 + 243 x8d6 + 6 x8d9 + 123 x8da
 + 4 x8dc + 105 x8ee + 113 x8ef + 4 x8f2 + 6 x8f7
 + 120 x8f8 + 4 x8fd + 4 x902 + 219 x904 + 129 x905
 + 19 x91a + 135 x91b + 4 x923 + 380 x925 + 309 x926
 + 623 x943 + 75 x95b + 187 x963 + 133 x964 + 3 x96a
 + 129 x96b + 2 x980 + 7 x981 + 6 x985 + 206 x986
 + 4 x98c + 6 x998 + 14 x999 + 6 x99a + 237 x99b
 + 380 x99c + 309 x99d + 5 x99e + 263 x99f + 8 x9bc
 + 16 x9bd + 4 x9c0 + 6 x9c7 + 114 x9c8 + 115 x9d5
 + 236 x9d6 + 6 x9db + 127 x9dc + 11 x9e3 + 19 x9e4
 + 4 x9f0 + 380 x9f2 + 309 x9f3 + 6 x9f6 + 193 x9f7
 + 6 x9fc + 120 x9fd + 120 x9fe + 2 xa0a + 123 xa0b
 + 25 xa0d + 2 xa1c + 179 xa1d + 4 xa1e + 6 xa20
 + 202 xa21 + 149 xa23 + 6 xa2f + 24 xa30 + 120 xa31
 + 3 xa36 + 129 xa37 + 4 xa40 + 4 xa44 + 4 xa52
 + 4 xa5a + 6 xa73 + 114 xa74 + 146 xa7c + 129 xa7d
 + 4 xa8a + 11 xa8b + 16 xa8f + 256 xa90 + 4 xa95
 + 390 xa97 + 319 xa98 + 4 xab1 + 6 xab6 + 132 xab7
 + 3 xabf + 243 xac0 + 23 xac6 + 6 xacc + 6 xacd
 + 4 xae0 + 4 xae7 + 6 xaec + 132 xaed + 6 xaf5
 + 6 xaf6 + 4 xb0f + 3 xb11 + 261 xb12 + 111 xb18
 + 6 xb19 + 12 xb1a + 178 xb1e + 124 xb1f + 6 xb36
 + 114 xb37 + 6 xb41 + 197 xb42 + 4 xb57 + 380 xb59
 + 309 xb5a + 6 xb5e + 13 xb5f + 6 xb63 + 206 xb64
 + 6 xb68 + 110 xb69 + 6 xb6a + 114 xb6b + 398 xb6c
 + 327 xb6d + 6 xb6f + 6 xb70 + 380 xb7f + 309 xb80
 + 6 xb81 + 187 xb82 + 4 xb83 + 105 xb8b + 113 xb8c
 + 4 xb8f + 6 xb94 + 6 xb95 + 6 xb99 + 14 xb9a
 + 6 xb9b + 114 xb9c + 398 xb9d + 327 xb9e + 149 xba6
 + 115 xbaf + 236 xbb0 + 19 xbb2 + 135 xbb3 + 115 xbbb
 + 6 xbbc + 12 xbbd + 8 xbc2 + 16 xbc3 + 4 xbc6
 + 6 xbd6 + 13 xbd7 + 120 xbda + 595 xbde + 2 xbeb
 + 123 xbec + 11 xbee + 19 xbef + 4 xc00 + 11 xc01
 + 180 xc02 + 126 xc03 + 4 xc04 + 3 xc0e + 129 xc0f
 + 120 xc16 + 25 xc1a + 16 xc27 + 206 xc28 + 4 xc38
 + 390 xc3d + 319 xc3e + 3 xc46 + 129 xc47 + 6 xc4c
 + 6 xc4d + 4 xc50 + 4 xc6f + 6 xc74 + 6 xc75
 + 180 xc7f + 126 xc80 + 6 xc89 + 127 xc8a + 219 xc93
 + 129 xc94 + 111 xc9b + 6 xc9c + 12 xc9d + 6 xc9f
 + 138 xca0 + 178 xca4 + 124 xca5 + 6 xcb0 + 132 xcb1
 + 6 xcc2 + 127 xcc3 + 4 xcc9 + 6 xcd0 + 13 xcd1
 + 4 xcd9 + 6 xce5 + 132 xce6 + 75 xce9 + 4 xd08
 + 380 xd11 + 309 xd12 + 6 xd22 + 114 xd23 + 5 xd2c
 + 263 xd2d + 2 xd35 + 104 xd36 + 6 xd3f + 197 xd40
 + 4 xd46 + 389 xd48 + 318 xd49 + 6 xd52 + 114 xd53
 + 4 xd58 + 92 xd5c + 97 xd5d + 6 xd60 + 13 xd61
 + 184 xd62 + 126 xd63 + 6 xd65 + 110 xd66 + 6 xd67
 + 114 xd68 + 398 xd69 + 327 xd6a + 3 xd72 + 243 xd73
 + 4 xd7c + 390 xd7e + 319 xd7f + 72 xd89 + 6 xd8c
 + 11 xd8d + 6 xd8e + 302 xd8f + 4 xd90 + 105 xd95
 + 113 xd96 + 4 xd99 + 4 xda2 + 6 xda5 + 14 xda6
 + 6 xda7 + 114 xda8 + 398 xda9 + 327 xdaa + 4 xdbb
 + 101 xdbd + 19 xdc5 + 135 xdc6 + 8 xdd7 + 16 xdd8
 + 4 xddb + 595 xdf2 + 11 xe01 + 19 xe02 + 2 xe13
 + 183 xe14 + 180 xe18 + 126 xe19 + 3 xe1f + 129 xe20
 + 25 xe29 + 6 xe35 + 114 xe36 + 4 xe3c + 2 xe3e
 + 191 xe3f + 4 xe40 + 198 xe41 + 4 xe49 + 6 xe4e
 + 6 xe4f + 3 xe55 + 129 xe56 + 4 xe5c + 6 xe5f
 + 120 xe60 + 6 xe74 + 6 xe75 + 4 xe7a + 6 xe7f
 + 6 xe80 + 2 xe84 + 122 xe85 + 4 xe86 + 6 xe99
 + 127 xe9a + 115 xe9d + 6 xe9e + 12 xe9f + 146 xea4
 + 129 xea5 + 6 xeac + 6 xead + 120 xeb0 + 428 xeb6
 + 87 xeb7 + 2 xecd + 123 xece + 6 xed4 + 127 xed5
 + 115 xed8 + 6 xed9 + 12 xeda + 3 xedc + 129 xedd
 + 6 xeec + 13 xeed + 120 xef6 + 23 xefc + 4 xf05
 + 390 xf1a + 319 xf1b + 3 xf1c + 243 xf1d + 6 xf3a
 + 114 xf3b + 4 xf40 + 3 xf46 + 261 xf47 + 390 xf4d
 + 319 xf4e + 6 xf51 + 24 xf52 + 4 xf5f + 390 xf61
 + 319 xf62 + 6 xf70 + 114 xf71 + 6 xf7e + 11 xf7f
 + 184 xf82 + 126 xf83 + 4 xf98 + 390 xf9a + 319 xf9b
 + 4 xfa5 + 6 xfa7 + 206 xfa8 + 6 xfa9 + 206 xfaa
 + 6 xfb8 + 123 xfb9 + 4 xfcd + 4 xfcf + 4 xfdd
 + 6 xfe7 + 114 xfe8 + 2 x1007 + 123 x1008 + 4 x1009
 + 2 x100e + 9 x100f + 2 x1010 + 186 x1011 + 120 x1025
 + 6 x102b + 14 x102c + 6 x102d + 237 x102e + 4 x1035
 + 198 x1036 + 6 x103c + 6 x103d + 2 x1040 + 123 x1041
 + 6 x1048 + 114 x1049 + 8 x104f + 16 x1050 + 4 x1053
 + 6 x1064 + 6 x1065 + 120 x1067 + 6 x106b + 14 x106c
 + 6 x106d + 237 x106e + 380 x106f + 309 x1070 + 6 x1072
 + 6 x1073 + 4 x1075 + 11 x107a + 19 x107b + 115 x108b
 + 6 x108c + 12 x108d + 6 x108f + 24 x1090 + 8 x1096
 + 16 x1097 + 4 x109a + 6 x109f + 6 x10a0 + 297 x10a6
 + 178 x10ac + 124 x10ad + 4 x10b6 + 11 x10bb + 19 x10bc
 + 115 x10c4 + 6 x10c5 + 12 x10c6 + 3 x10ce + 129 x10cf
 + 25 x10df + 3 x10eb + 129 x10ec + 6 x10f0 + 123 x10f1
 + 4 x10f4 + 390 x1102 + 319 x1103 + 3 x110b + 129 x110c
 + 4 x1112 + 3 x1127 + 243 x1128 + 6 x112b + 123 x112c
 + 4 x112e + 390 x1133 + 319 x1134 + 2 x1141 + 23 x1142
 + 4 x114b + 4 x1150 + 219 x1152 + 129 x1153 + 6 x115e
 + 24 x115f + 390 x1168 + 6 x116b + 11 x116c + 6 x116d
 + 201 x116e + 4 x1194 + 4 x1196 + 6 x1198 + 13 x1199
 + 75 x11a4 + 6 x11b0 + 14 x11b1 + 6 x11b2 + 114 x11b3
 + 380 x11b4 + 309 x11b5 + 4 x11c1 + 8 x11d6 + 16 x11d7
 + 4 x11da + 6 x11df + 120 x11e0 + 6 x11ec + 14 x11ed
 + 6 x11ee + 237 x11ef + 380 x11f0 + 309 x11f1 + 5 x11f2
 + 263 x11f3 + 6 x11fa + 114 x11fb + 11 x11fc + 19 x11fd
 + 4 x1205 + 379 x1207 + 308 x1208 + 2 x120a + 9 x120b
 + 4 x120c + 11 x120d + 8 x1213 + 16 x1214 + 4 x1217
 + 6 x121e + 114 x121f + 2 x1222 + 123 x1223 + 4 x1224
 + 297 x1226 + 193 x123b + 135 x123c + 11 x1240 + 19 x1241
 + 4 x124d + 380 x124f + 309 x1250 + 6 x1251 + 114 x1252
 + 120 x1253 + 3 x125a + 129 x125b + 2 x1270 + 123 x1271
 + 25 x1273 + 4 x1281 + 4 x1289 + 6 x1298 + 24 x1299
 + 120 x129a + 3 x129f + 129 x12a0 + 177 x12b8 + 123 x12b9
 + 182 x12ba + 128 x12bb + 4 x12bf + 4 x12c7 + 6 x12d8
 + 123 x12d9 + 146 x12ec + 129 x12ed + 3 x12f7 + 129 x12f8
 + 4 x1318 + 6 x131e + 132 x131f + 3 x132b + 243 x132c
 + 23 x1332 + 6 x1338 + 6 x1339 + 4 x1350 + 6 x1355
 + 132 x1356 + 6 x135e + 6 x135f + 6 x1362 + 24 x1363
 + 6 x1369 + 114 x136a + 6 x136e + 201 x136f + 6 x1370
 + 13 x1371 + 4 x1378 + 3 x137a + 261 x137b + 111 x1381
 + 6 x1382 + 12 x1383 + 4 x138c + 380 x138e + 309 x138f
 + 4 x1392 + 4 x1394 + 6 x13a0 + 114 x13a1 + 4 x13c4
 + 380 x13c6 + 309 x13c7 + 6 x13ce + 14 x13cf + 6 x13d0
 + 114 x13d1 + 398 x13d2 + 327 x13d3 + 380 x13e9 + 309 x13ea
 + 6 x13ec + 114 x13ed + 8 x13ee + 16 x13ef + 4 x13f2
 + 4 x13fd + 11 x13fe + 188 x1400 + 130 x1401 + 6 x1404
 + 14 x1405 + 6 x1406 + 114 x1407 + 398 x1408 + 327 x1409
 + 2 x1411 + 123 x1412 + 4 x1413 + 11 x1415 + 19 x1416
 + 6 x1421 + 138 x1422 + 8 x142c + 16 x142d + 4 x1430
 + 120 x143c + 297 x1442 + 4 x144c + 2 x1457 + 123 x1458
 + 11 x145a + 19 x145b + 3 x1470 + 129 x1471 + 6 x1476
 + 6 x1477 + 1274 x147b + 109 x147c + 120 x1481 + 25 x1485
 + 4 x1496 + 6 x149b + 6 x149c + 182 x14a1 + 128 x14a2
 + 3 x14ad + 129 x14ae + 6 x14b3 + 6 x14b4 + 111 x14c1
 + 6 x14c2 + 12 x14c3 + 3 x14c5 + 129 x14c6 + 194 x14c9
 + 4 x14d5 + 6 x14da + 6 x14db + 6 x14e3 + 127 x14e4
 + 4 x14ea + 219 x14f6 + 129 x14f7 + 111 x14fe + 6 x14ff
 + 12 x1500 + 6 x1502 + 138 x1503 + 6 x1506 + 132 x1507
 + 382 x1516 + 95 x1517 + 6 x1521 + 127 x1522 + 4 x1528
 + 380 x1532 + 309 x1533 + 6 x1540 + 132 x1541 + 75 x1544
 + 6 x155f + 13 x1560 + 4 x1563 + 380 x156c + 309 x156d
 + 6 x1574 + 114 x1575 + 4 x1581 + 5 x1588 + 263 x1589
 + 2 x1591 + 104 x1592 + 4 x1598 + 390 x159a + 319 x159b
 + 6 x159c + 138 x159d + 6 x15b4 + 114 x15b5 + 4 x15ba
 + 6 x15be + 14 x15bf + 6 x15c0 + 114 x15c1 + 398 x15c2
 + 327 x15c3 + 4 x15ca + 6 x15cf + 114 x15d0 + 4 x15dc
 + 390 x15de + 319 x15df + 8 x15e9 + 16 x15ea + 4 x15ed
 + 2 x15f7 + 123 x15f8 + 4 x15f9 + 188 x15fd + 130 x15fe
 + 6 x15ff + 14 x1600 + 6 x1601 + 114 x1602 + 398 x1603
 + 327 x1604 + 11 x1611 + 19 x1612 + 120 x1620 + 8 x162a
 + 16 x162b + 4 x162e + 297 x163a + 3 x1646 + 129 x1647
 + 63 x164f + 63 x1650 + 11 x1653 + 19 x1654 + 3 x1665
 + 129 x1666 + 4 x166c + 123 x1676 + 268 x1677 + 25 x167a
 + 6 x1686 + 114 x1687 + 4 x168d + 6 x1692 + 6 x1693
 + 66 x16a2 + 3 x16a8 + 129 x16a9 + 4 x16af + 6 x16b2
 + 120 x16b3 + 6 x16bb + 6 x16bc + 4 x16ca + 6 x16cf
 + 6 x16d0 + 2 x16d4 + 122 x16d5 + 4 x16d6 + 6 x16db
 + 127 x16dc + 115 x16df + 6 x16e0 + 12 x16e1 + 6 x16e8
 + 123 x16e9 + 146 x16ed + 129 x16ee + 6 x16f5 + 6 x16f6
 + 120 x16f9 + 6 x1713 + 127 x1714 + 115 x1717 + 6 x1718
 + 12 x1719 + 3 x171b + 129 x171c + 23 x1734 + 4 x173d
 + 390 x174a + 319 x174b + 6 x174d + 114 x174e + 6 x1765
 + 114 x1766 + 2 x176b + 123 x176c + 4 x176d + 3 x1774
 + 261 x1775 + 390 x177b + 319 x177c + 6 x177f + 24 x1780
 + 4 x1786 + 390 x1788 + 319 x1789 + 6 x178a + 114 x178b
 + 120 x178e + 6 x1794 + 14 x1795 + 6 x1796 + 237 x1797
 + 380 x1798 + 309 x1799 + 6 x179f + 114 x17a0 + 4 x17b2
 + 8 x17bc + 16 x17bd + 4 x17c0 + 4 x17cb + 390 x17cd
 + 319 x17ce + 11 x17e2 + 19 x17e3 + 25 x1806 + 6 x1818
 + 114 x1819 + 3 x1820 + 129 x1821 + 3 x1827 + 129 x1828
 + 1062 x182d + 110 x182e + 2 x1835 + 123 x1836 + 4 x1837
 + 4 x183d + 6 x1843 + 123 x1844 + 4 x1847 + 120 x1853
 + 6 x1859 + 14 x185a + 6 x185b + 237 x185c + 6 x185e
 + 6 x185f + 92 x1869 + 88 x186a + 128 x1873 + 6 x1878
 + 114 x1879 + 8 x187f + 16 x1880 + 4 x1883 + 6 x1886
 + 6 x1887 + 6 x188a + 24 x188b + 209 x1894 + 6 x1898
 + 6 x1899 + 4 x189b + 11 x18a0 + 19 x18a1 + 115 x18a7
 + 6 x18a8 + 12 x18a9 + 6 x18ba + 6 x18bb + 297 x18c1
 + 115 x18d7 + 6 x18d8 + 12 x18d9 + 3 x18e1 + 129 x18e2
 + 6 x18ea + 14 x18eb + 6 x18ec + 237 x18ed + 380 x18ee
 + 309 x18ef + 3 x18fb + 129 x18fc + 6 x1900 + 123 x1901
 + 4 x1904 + 390 x1909 + 319 x190a + 6 x190c + 114 x190d
 + 8 x190e + 16 x190f + 4 x1912 + 6 x1916 + 114 x1917
 + 4 x191e + 2 x192e + 123 x192f + 4 x1930 + 11 x1932
 + 19 x1933 + 4 x193a + 380 x193c + 309 x193d + 390 x1943
 + 319 x1944 + 6 x1951 + 114 x1952 + 120 x1955 + 25 x195b
 + 6 x196f + 24 x1970 + 4 x1979 + 3 x1984 + 129 x1985
 + 5 x198c + 5 x198d + 4 x19a4 + 145 x19ae + 6 x19b8
 + 14 x19b9 + 6 x19ba + 114 x19bb + 380 x19bc + 309 x19bd
 + 92 x19c8 + 88 x19c9 + 8 x19de + 16 x19df + 4 x19e2
 + 6 x19e7 + 120 x19e8 + 3 x19ea + 129 x19eb + 6 x19f9
 + 114 x19fa + 11 x19fb + 19 x19fc + 4 x1a04 + 379 x1a06
 + 308 x1a07 + 4 x1a08 + 6 x1a0e + 132 x1a0f + 6 x1a16
 + 6 x1a17 + 2 x1a1c + 123 x1a1d + 4 x1a1e + 297 x1a20
 + 6 x1a39 + 6 x1a3a + 6 x1a3c + 210 x1a3d + 6 x1a3e
 + 114 x1a3f + 120 x1a40 + 3 x1a47 + 129 x1a48 + 6 x1a52
 + 24 x1a53 + 111 x1a5c + 6 x1a5d + 12 x1a5e + 149 x1a61
 + 4 x1a63 + 4 x1a6b + 6 x1a7a + 114 x1a7b + 4 x1a98
 + 380 x1a9a + 309 x1a9b + 6 x1aa8 + 123 x1aa9 + 6 x1ab1
 + 14 x1ab2 + 6 x1ab3 + 114 x1ab4 + 398 x1ab5 + 327 x1ab6
 + 380 x1abc + 309 x1abd + 51 x1abf + 527 x1ac0 + 3 x1ac2
 + 129 x1ac3 + 6 x1ad0 + 114 x1ad1 + 8 x1ad2 + 16 x1ad3
 + 4 x1ad6 + 397 x1ae0 + 4 x1ae4 + 6 x1aea + 132 x1aeb
 + 2 x1af2 + 123 x1af3 + 4 x1af4 + 11 x1af6 + 19 x1af7
 + 120 x1b18 + 25 x1b1e + 6 x1b32 + 24 x1b33 + 6 x1b39
 + 114 x1b3a + 3 x1b43 + 129 x1b44 + 377 x1b4b + 260 x1b4c
 + 4 x1b57 + 380 x1b59 + 309 x1b5a + 4 x1b60 + 6 x1b64
 + 6 x1b65 + 92 x1b7c + 88 x1b7d + 6 x1b84 + 6 x1b85
 + 5 x1b8a + 5 x1b8b + 6 x1b90 + 14 x1b91 + 6 x1b92
 + 114 x1b93 + 398 x1b94 + 327 x1b95 + 6 x1ba1 + 127 x1ba2
 + 111 x1ba4 + 6 x1ba5 + 12 x1ba6 + 6 x1bab + 210 x1bac
 + 243 x1bae + 6 x1bb0 + 114 x1bb1 + 8 x1bb2 + 16 x1bb3
 + 4 x1bb6 + 6 x1bc2 + 132 x1bc3 + 101 x1bd0 + 209 x1bd2
 + 2 x1bd4 + 123 x1bd5 + 4 x1bd6 + 11 x1bd8 + 19 x1bd9
 + 6 x1be4 + 138 x1be5 + 120 x1bf5 + 297 x1bfb + 4 x1c05
 + 380 x1c0e + 309 x1c0f + 3 x1c1c + 129 x1c1d + 6 x1c22
 + 6 x1c23 + 6 x1c2a + 114 x1c2b + 4 x1c39 + 6 x1c3e
 + 6 x1c3f + 4 x1c45 + 390 x1c47 + 319 x1c48 + 111 x1c5b
 + 6 x1c5c + 12 x1c5d + 3 x1c5f + 129 x1c60 + 6 x1c62
 + 14 x1c63 + 6 x1c64 + 114 x1c65 + 398 x1c66 + 327 x1c67
 + 6 x1c7c + 127 x1c7d + 4 x1c83 + 8 x1c87 + 16 x1c88
 + 4 x1c8b + 6 x1c9c + 132 x1c9d + 11 x1caa + 19 x1cab
 + 5 x1cba + 5 x1cbb + 380 x1cc5 + 309 x1cc6 + 25 x1cca
 + 3 x1ced + 129 x1cee + 5 x1cf6 + 5 x1cf7 + 66 x1cfc
 + 260 x1cfd + 6 x1d02 + 114 x1d03 + 4 x1d0c + 6 x1d10
 + 6 x1d11 + 51 x1d15 + 51 x1d16 + 67 x1d19 + 311 x1d1a
 + 4 x1d20 + 390 x1d22 + 319 x1d23 + 6 x1d24 + 138 x1d25
 + 92 x1d2d + 88 x1d2e + 6 x1d35 + 6 x1d36 + 68 x1d3c
 + 155 x1d3d + 209 x1d3e + 177 x1d40 + 6 x1d43 + 14 x1d44
 + 6 x1d45 + 114 x1d46 + 398 x1d47 + 327 x1d48 + 4 x1d4f
 + 6 x1d54 + 114 x1d55 + 6 x1d59 + 127 x1d5a + 115 x1d5c
 + 6 x1d5d + 12 x1d5e + 147 x1d60 + 1194 x1d65 + 191 x1d66
 + 107 x1d6a + 200 x1d6b + 8 x1d6f + 16 x1d70 + 4 x1d73
 + 2 x1d7d + 123 x1d7e + 4 x1d7f + 11 x1d93 + 19 x1d94
 + 120 x1da2 + 90 x1db0 + 297 x1db4 + 3 x1dc0 + 129 x1dc1
 + 390 x1dcc + 319 x1dcd + 575 x1dd0 + 276 x1dd1 + 3 x1dd8
 + 129 x1dd9 + 4 x1ddf + 6 x1de6 + 114 x1de7 + 4 x1df5
 + 6 x1dfa + 6 x1dfb + 4 x1e05 + 390 x1e07 + 319 x1e08
 + 6 x1e1c + 6 x1e1d + 5 x1e30 + 5 x1e31 + 6 x1e38
 + 127 x1e39 + 115 x1e3c + 6 x1e3d + 12 x1e3e + 6 x1e45
 + 123 x1e46 + 6 x1e6d + 6 x1e6e + 66 x1e74 + 73 x1e75
 + 98 x1e8a + 67 x1e8b + 131 x1e8c + 390 x1e96 + 319 x1e97
 + 6 x1e99 + 114 x1e9a + 51 x1e9f + 527 x1ea0 + 177 x1ea4
 + 6 x1eaa + 114 x1eab + 2 x1eb0 + 123 x1eb1 + 4 x1eb2
 + 6 x1eb7 + 6 x1eb8 + 397 x1eba + 4 x1ec4 + 390 x1ec6
 + 319 x1ec7 + 6 x1ec8 + 114 x1ec9 + 120 x1ecc + 6 x1ed2
 + 14 x1ed3 + 6 x1ed4 + 237 x1ed5 + 380 x1ed6 + 309 x1ed7
 + 6 x1ed8 + 6 x1ed9 + 4 x1eec + 8 x1ef6 + 16 x1ef7
 + 4 x1efa + 115 x1efe + 6 x1eff + 12 x1f00 + 11 x1f13
 + 19 x1f14 + 25 x1f2e + 6 x1f39 + 210 x1f3a + 131 x1f3d
 + 131 x1f3e + 3 x1f43 + 129 x1f44 + 3 x1f4a + 129 x1f4b
 + 390 x1f4f + 319 x1f50 + 149 x1f53 + 68 x1f57 + 120 x1f58
 + 4 x1f5e + 6 x1f64 + 123 x1f65 + 4 x1f68 + 6 x1f6f
 + 210 x1f70 + 56 x1f76 + 6 x1f78 + 6 x1f79 + 92 x1f83
 + 88 x1f84 + 101 x1f8e + 61 x1f92 + 6 x1f95 + 6 x1f96
 + 6 x1f99 + 24 x1f9a + 51 x1faa + 527 x1fab + 115 x1fb0
 + 6 x1fb1 + 12 x1fb2 + 397 x1fc3 + 6 x1fe5 + 14 x1fe6
 + 6 x1fe7 + 237 x1fe8 + 380 x1fe9 + 309 x1fea + 390 x1ff7
 + 319 x1ff8 + 6 x1ffa + 114 x1ffb + 8 x1ffc + 16 x1ffd
 + 4 x2000 + 6 x2004 + 114 x2005 + 2 x2013 + 123 x2014
 + 4 x2015 + 11 x2017 + 19 x2018 + 4 x201f + 380 x2021
 + 309 x2022 + 6 x2028 + 114 x2029 + 120 x202c + 25 x2032
 + 5 x2043 + 5 x2044 + 4 x2045 + 3 x2050 + 129 x2051
 + 6 x205b + 210 x205c + 243 x205e + 4 x2067 + 5 x2070
 + 5 x2071 + 101 x2073 + 209 x2075 + 92 x207c + 88 x207d
 + 51 x2087 + 781 x2088 + 3 x2091 + 129 x2092 + 209 x209f
 + 4 x20a5 + 6 x20ab + 132 x20ac + 6 x20b3 + 6 x20b4
 + 107 x20bc + 200 x20bd + 6 x20cd + 6 x20ce + 6 x20da
 + 24 x20db + 111 x20e4 + 6 x20e5 + 12 x20e6 + 90 x20ea
 + 6 x20f5 + 114 x20f6 + 4 x2109 + 380 x210b + 309 x210c
 + 5 x2112 + 5 x2113 + 6 x2119 + 14 x211a + 6 x211b
 + 114 x211c + 398 x211d + 327 x211e + 380 x2124 + 309 x2125
 + 6 x2130 + 114 x2131 + 8 x2132 + 16 x2133 + 4 x2136
 + 5 x2140 + 5 x2141 + 5 x2143 + 5 x2144 + 66 x2149
 + 260 x214a + 2 x214b + 123 x214c + 4 x214d + 11 x214f
 + 19 x2150 + 67 x2165 + 311 x2166 + 120 x2168 + 25 x216e
 + 6 x217c + 6 x217d + 66 x2182 + 73 x2183 + 209 x2184
 + 177 x2186 + 3 x218f + 129 x2190 + 101 x2197 + 1197 x2198
 + 194 x2199 + 67 x219b + 131 x219c + 107 x219f + 200 x21a0
 + 4 x21a8 + 6 x21ac + 6 x21ad + 177 x21b2 + 92 x21bf
 + 88 x21c0 + 6 x21c7 + 6 x21c8 + 90 x21ce + 6 x21d8
 + 127 x21d9 + 111 x21db + 6 x21dc + 12 x21dd + 6 x21ea
 + 132 x21eb + 380 x2216 + 309 x2217 + 131 x221b + 131 x221c
 + 5 x221d + 5 x221e + 6 x2225 + 114 x2226 + 68 x222d
 + 120 x222e + 4 x223c + 390 x223e + 319 x223f + 56 x2246
 + 66 x224b + 73 x224c + 6 x224f + 14 x2250 + 6 x2251
 + 114 x2252 + 398 x2253 + 327 x2254 + 61 x225e + 67 x2260
 + 131 x2261 + 8 x2265 + 16 x2266 + 4 x2269 + 177 x2275
 + 11 x227a + 19 x227b + 25 x228e + 3 x22a4 + 129 x22a5
 + 4 x22b1 + 6 x22b5 + 6 x22b6 + 92 x22c0 + 88 x22c1
 + 6 x22c8 + 6 x22c9 + 6 x22ca + 210 x22cb + 131 x22ce
 + 131 x22cf + 6 x22d3 + 127 x22d4 + 115 x22d6 + 6 x22d7
 + 12 x22d8 + 149 x22da + 68 x22de + 120 x22df + 56 x22f0
 + 61 x22f7 + 390 x22fd + 319 x22fe + 51 x22ff + 527 x2300
 + 6 x2304 + 114 x2305 + 397 x2309 + 4 x230f + 390 x2311
 + 319 x2312 + 5 x2341 + 5 x2342 + 6 x2345 + 210 x2346
 + 243 x2348 + 6 x2349 + 6 x234a + 101 x234d + 209 x234f
 + 6 x2351 + 6 x2352 + 115 x2359 + 6 x235a + 12 x235b
 + 390 x236d + 319 x236e + 5 x237d + 5 x237e + 5 x238b
 + 5 x238c + 66 x2391 + 260 x2392 + 67 x2395 + 311 x2396
 + 209 x2398 + 177 x239a + 107 x239e + 200 x239f + 90 x23ab
 + 5 x23bf + 5 x23c0 + 66 x23cf + 73 x23d0 + 67 x23d3
 + 131 x23d4 + 177 x23d8 + 131 x23f1 + 131 x23f2 + 68 x23f5
 + 120 x23f6 + 56 x23fd + 61 x23fe

subject to

z = 0


o = 1


+1 x1 = +1



+1 x1070 +1 x10ad +1 x1103 +1 x1134 +1 x11a +1 x11b5 +1 x11f1 +1 x1208
+1 x123c +1 x1250 +1 x12b9 +1 x12bb +1 x138f +1 x13c7 +1 x13d3 +1 x13ea
+1 x1401 +1 x1409 +1 x14a2 +1 x1516 +1 x1517 +1 x1533 +1 x156d +1 x159b
+1 x15c3 +1 x15df +1 x15fe +1 x1604 +1 x174b +1 x177c +1 x1789 +1 x1799
+1 x17ce +1 x18ef +1 x190a +1 x193d +1 x1944 +1 x19bd +1 x1a07 +1 x1a9b
+1 x1ab6 +1 x1abd +1 x1b5a +1 x1b95 +1 x1c0f +1 x1c48 +1 x1c67 +1 x1cc6
+1 x1d23 +1 x1d48 +1 x1dcd +1 x1dd1 +1 x1e08 +1 x1e97 +1 x1ec7 +1 x1ed7
+1 x1f50 +1 x1fea +1 x1ff8 +1 x2022 +1 x210c +1 x211e +1 x2125 +1 x2217
+1 x223f +1 x2254 +1 x22fe +1 x2312 +1 x236e +1 x2b6 +1 x2e0 +1 x2fd
+1 x3ed +1 x42c +1 x446 +1 x47c +1 x506 +1 x54a +1 x579 +1 x5bd
+1 x5d2 +1 x679 +1 x67b +1 x6f9 +1 x70e +1 x747 +1 x809 +1 x823
+1 x895 +1 x8ac +1 x8cc +1 x926 +1 x964 +1 x99d +1 x9f3 +1 xa98
+1 xb1f +1 xb5a +1 xb6d +1 xb80 +1 xb9e +1 xc03 +1 xc3e +1 xc80
+1 xca5 +1 xd12 +1 xd49 +1 xd63 +1 xd6a +1 xd7f +1 xdaa +1 xe19
+1 xeb7 +1 xf1b +1 xf4e +1 xf62 +1 xf83 +1 xf9b = +1



+1 x1 -1 xc +1 xe = +0

+1 xc -1 xd -1 xe = +0

+0 x10 +1 xd -1 xf = +0

-1 x1b +1 x2b +1 xf = +0

+1 x1b -1 x1c -1 x1d = +0

+1 x1c -1 x1e +0 x1f = +0

+1 x1d -1 x28 -1 x29 = +0

+1 x28 -1 x2b +1 x39 = +0

+1 x29 -1 x32 +1 x37 = +0

+1 x32 -1 x36 -1 x37 = +0

+1 x36 -1 x39 +0 x3a = +0

+1 x1e -1 x5c -1 x5d = +0

+1 x5c -1 x5e +1 x95a +1 x95b = +0

+1 x5e -1 x62 +1 x8d = +0

+1 x62 -1 x64 -1 x65 = +0

+1 x64 -1 x67 +0 x68 = +0

+1 x67 -1 x7c +1 xb4 = +0

+1 x7c -1 x7f -1 x80 = +0

+1 x7f -1 x83 +0 x84 = +0

+1 x65 -1 x86 -1 x87 = +0

+1 x86 -1 x8d +1 xac5 +1 xac6 = +0

+1 x80 -1 xaf -1 xb0 = +0

+1 x101 +1 xaf -1 xb4 = +0

+1 x2a7 +1 x83 -1 xbd = +0

+1 xbd -1 xc2 -1 xc3 = +0

+1 xc2 -1 xc9 +0 xca = +0

+1 xb0 -1 xe2 -1 xe3 = +0

+1 xce8 +1 xce9 +1 xe2 -1 xe8 = +0

+1 x14d +1 xe8 -1 xf4 = +0

+1 xf4 -1 xfa -1 xfb = +0

-1 x101 +0 x102 +1 xfa = +0

-1 x116 +1 x11e +1 x5d = +0

-1 x119 -1 x11a +1 xfb = +0

+1 x116 -1 x11d -1 x11e = +0

+1 x11d -1 x125 +0 x126 = +0

+1 x119 -1 x145 -1 x146 = +0

+1 x145 -1 x14d +1 xefb +1 xefc = +0

-1 x150 -1 x151 +1 x87 = +0

+1 x150 +1 x151 -1 x15a = +0

+1 x125 -1 x15c +1 x242 = +0

+1 x15c -1 x164 -1 x165 = +0

+1 x15a -1 x16b +1 x256 = +0

+1 x164 -1 x16e +0 x16f = +0

+1 x16b -1 x176 -1 x177 = +0

-1 x17d -1 x17e +1 xc9 = +0

+1 x176 -1 x182 +0 x183 = +0

+1 x17d -1 x188 +1 x2a3 = +0

+1 x188 -1 x19e +1 x24a = +0

+1 x19e -1 x1a8 -1 x1a9 = +0

+1 x1a8 -1 x1b3 +0 x1b4 = +0

-1 x1b7 -1 x1b8 +1 xc3 = +0

+1 x11a3 +1 x11a4 +1 x1b7 -1 x1c6 = +0

+1 x182 -1 x1ca +1 x340 = +0

+1 x1ca -1 x1d5 -1 x1d6 = +0

+1 x1c6 -1 x1dd +1 x2cb = +0

+1 x1d5 -1 x1e1 +0 x1e2 = +0

+1 x16e -1 x1e5 -1 x1e6 = +0

+1 x165 -1 x1e7 -1 x1e8 = +0

+1 x1dd -1 x1ec -1 x1ed = +0

+1 x1e5 +1 x1e6 -1 x1f6 -1 x1f7 = +0

+1 x1e7 -1 x1fa +1 x2fc = +0

+1 x1ec -1 x1ff +0 x200 = +0

+1 x1f6 +1 x1f7 -1 x208 -1 x209 = +0

+1 x1b3 -1 x20e +1 x289 = +0

+1 x208 +1 x209 -1 x21b = +0

+1 x1fa -1 x21e +1 x2fa = +0

+1 x20e -1 x220 -1 x221 = +0

+1 x21e -1 x22d -1 x22e = +0

+1 x220 -1 x230 +0 x231 = +0

+1 x1a9 -1 x233 -1 x234 = +0

+1 x17e -1 x235 -1 x236 = +0

-1 x23b -1 x23c +1 xe3 = +0

+1 x177 -1 x23f -1 x240 = +0

+1 x22d -1 x242 +0 x243 = +0

+1 x233 -1 x24a +1 x2a1 = +0

+1 x235 +1 x236 -1 x24c = +0

+1 x23b +1 x23c -1 x252 = +0

+1 x23f -1 x256 +1 x2b5 = +0

+1 x221 -1 x275 -1 x276 = +0

+1 x24c -1 x278 +1 x392 = +0

+1 x1ff -1 x27a +1 x3ae = +0

+1 x252 -1 x27e +1 x423 = +0

+1 x275 -1 x289 +1 x3d7 = +0

+1 x234 -1 x28b -1 x28c = +0

+1 x278 -1 x28d -1 x28e = +0

+1 x27a -1 x290 -1 x291 = +0

+1 x27e -1 x295 -1 x296 = +0

+1 x28b -1 x2a1 +1 x3f8 = +0

+1 x28d -1 x2a3 +0 x2a4 = +0

+1 x290 -1 x2a7 +0 x2a8 = +0

+1 x1ed -1 x2aa -1 x2ab = +0

+1 x295 -1 x2ae +0 x2af = +0

+1 x1e1 -1 x2b1 -1 x2b2 = +0

+1 x1d6 -1 x2b3 -1 x2b4 = +0

+1 x240 -1 x2b5 -1 x2b6 = +0

+1 x1331 +1 x1332 +1 x2aa -1 x2cb = +0

+1 x2b1 +1 x2b2 -1 x2d3 -1 x2d4 = +0

+1 x2b3 -1 x2d7 +1 x370 +1 x3ec = +0

+1 x22e -1 x2dc -1 x2dd = +0

+1 x230 -1 x2df -1 x2e0 = +0

+1 x2d3 +1 x2d4 -1 x2f1 -1 x2f2 = +0

+1 x2dc +1 x2dd -1 x2fa = +0

+1 x1e8 -1 x2fc -1 x2fd = +0

+1 x2f1 +1 x2f2 -1 x30d = +0

+1 x2d7 -1 x310 +1 x3ea = +0

+1 x310 -1 x32a -1 x32b = +0

+1 x32a -1 x340 +0 x341 = +0

+1 x2ae -1 x354 +1 x500 = +0

+1 x276 -1 x361 -1 x362 = +0

+1 x354 -1 x36a -1 x36b = +0

+1 x2b4 -1 x370 -1 x371 = +0

+1 x361 -1 x376 +1 x3da = +0

+1 x28c -1 x378 -1 x379 = +0

+1 x28e -1 x37a -1 x37b = +0

+1 x146 -1 x380 -1 x381 = +0

+1 x36a -1 x382 +0 x383 = +0

+1 x378 +1 x379 -1 x390 = +0

+1 x37a +1 x37b -1 x392 = +0

+1 x291 -1 x395 -1 x396 = +0

+1 x380 +1 x381 -1 x399 = +0

+1 x376 -1 x3a6 +1 x4b9 = +0

+1 x395 -1 x3ae +1 x4f6 = +0

+1 x3a6 -1 x3be -1 x3bf = +0

+1 x362 -1 x3c0 -1 x3c1 = +0

+1 x390 -1 x3c2 +1 x4da = +0

+1 x399 -1 x3cb +1 x56b = +0

+1 x32b -1 x3d2 -1 x3d3 = +0

+1 x3be -1 x3d7 +0 x3d8 = +0

+1 x3c0 -1 x3da +1 x527 = +0

+1 x3c2 -1 x3dc -1 x3dd = +0

+1 x3cb -1 x3e4 -1 x3e5 = +0

+1 x3d2 -1 x3ea +1 x47e +1 x4b5 +1 x505 = +0

+1 x371 -1 x3ec -1 x3ed = +0

+1 x3dc -1 x3f8 +0 x3f9 = +0

+1 x3e4 -1 x402 +0 x403 = +0

+1 x296 -1 x407 -1 x408 = +0

+1 x407 -1 x423 +1 x47b = +0

+1 x3bf -1 x42b -1 x42c = +0

+1 x3dd -1 x445 -1 x446 = +0

+1 x396 -1 x471 -1 x472 = +0

+1 x382 -1 x477 -1 x478 = +0

+1 x36b -1 x479 -1 x47a = +0

+1 x408 -1 x47b -1 x47c = +0

+1 x3d3 -1 x47e -1 x47f = +0

+1 x1543 +1 x1544 +1 x471 -1 x489 = +0

+1 x402 -1 x48d +1 x668 = +0

+1 x477 +1 x478 -1 x48f -1 x490 = +0

+1 x479 -1 x493 +1 x536 +1 x5bc = +0

+1 x47f -1 x498 -1 x499 = +0

+1 x42b -1 x49c -1 x49d = +0

+1 x3c1 -1 x49e -1 x49f = +0

+1 x48d -1 x4a7 -1 x4a8 = +0

+1 x48f +1 x490 -1 x4aa -1 x4ab = +0

+1 x498 -1 x4b3 +1 x4b4 = +0

+1 x499 -1 x4b4 -1 x4b5 = +0

+1 x49c -1 x4b9 +1 x525 = +0

+1 x49e +1 x49f -1 x4bb = +0

+1 x445 -1 x4bd -1 x4be = +0

+1 x489 -1 x4bf +1 x5e5 = +0

+1 x4a7 -1 x4c3 +0 x4c4 = +0

+1 x4aa +1 x4ab -1 x4c7 = +0

+1 x493 -1 x4ca +1 x5ba = +0

+1 x4bd +1 x4be -1 x4da = +0

+1 x4bf -1 x4dc -1 x4dd = +0

+1 x4ca -1 x4e7 -1 x4e8 = +0

+1 x4bb -1 x4f1 +1 x622 = +0

+1 x4dc -1 x4f6 +0 x4f7 = +0

+1 x4e7 -1 x500 +0 x501 = +0

+1 x4b3 -1 x505 -1 x506 = +0

+1 x49d -1 x509 -1 x50a = +0

+1 x4f1 -1 x50b -1 x50c = +0

+1 x509 -1 x525 +1 x694 = +0

+1 x50b -1 x527 +0 x528 = +0

+1 x1b8 -1 x52f +1 x54e = +0

+1 x47a -1 x536 -1 x537 = +0

+1 x2df -1 x53d -1 x53e = +0

+1 x4dd -1 x549 -1 x54a = +0

+1 x52f -1 x54d -1 x54e = +0

+1 x3e5 -1 x551 -1 x552 = +0

+1 x53d -1 x55c +1 x63c +1 x63d = +0

+1 x54d -1 x566 +0 x567 = +0

+1 x551 -1 x56b +1 x5d1 = +0

+1 x50c -1 x578 -1 x579 = +0

+1 x55c -1 x590 +1 x6d8 = +0

+1 x4e8 -1 x5a2 -1 x5a3 = +0

+1 x590 -1 x5a7 -1 x5a8 = +0

+1 x5a2 -1 x5ba +1 x66d +1 x6ad +1 x70d = +0

+1 x537 -1 x5bc -1 x5bd = +0

+1 x21b -1 x5bf +1 x7ad = +0

+1 x5a7 -1 x5c0 +0 x5c1 = +0

+1 x549 -1 x5c7 -1 x5c8 = +0

+1 x4c3 -1 x5cd -1 x5ce = +0

+1 x4a8 -1 x5cf -1 x5d0 = +0

+1 x552 -1 x5d1 -1 x5d2 = +0

+1 x5bf -1 x5da -1 x5db = +0

+1 x1733 +1 x1734 +1 x5c7 -1 x5e5 = +0

+1 x2ab -1 x5e8 -1 x5e9 = +0

+1 x5cd +1 x5ce -1 x5ec -1 x5ed = +0

+1 x5cf -1 x5f0 +1 x6a7 +1 x746 = +0

+1 x5da -1 x5f9 +0 x5fa = +0

+1 x50a -1 x5ff -1 x600 = +0

+1 x578 -1 x601 -1 x602 = +0

+1 x5e8 +1 x5e9 -1 x607 = +0

+1 x566 -1 x609 +1 x812 = +0

+1 x5ec +1 x5ed -1 x60b -1 x60c = +0

+1 x5ff -1 x620 +1 x678 = +0

+1 x601 -1 x622 +1 x67a = +0

+1 x609 -1 x628 -1 x629 = +0

+1 x60b +1 x60c -1 x62b = +0

+1 x5f0 -1 x62e +1 x744 = +0

+1 x53e -1 x63c -1 x63d = +0

+1 x607 -1 x646 +1 x831 = +0

+1 x628 -1 x649 +0 x64a = +0

+1 x62e -1 x64e -1 x64f = +0

+1 x620 -1 x65b +1 x7b4 = +0

+1 x646 -1 x660 -1 x661 = +0

+1 x64e -1 x668 +0 x669 = +0

+1 x5a3 -1 x66d -1 x66e = +0

+1 x5c0 -1 x673 +1 x737 = +0

+1 x65b -1 x676 -1 x677 = +0

+1 x600 -1 x678 -1 x679 = +0

+1 x602 -1 x67a -1 x67b = +0

+1 x660 -1 x67e +0 x67f = +0

+1 x66e -1 x68b -1 x68c = +0

+1 x673 -1 x690 -1 x691 = +0

+1 x676 -1 x694 +0 x695 = +0

+1 x5d0 -1 x6a7 -1 x6a8 = +0

+1 x68b -1 x6ab +1 x6ac = +0

+1 x68c -1 x6ac -1 x6ad = +0

+1 x5f9 -1 x6b0 +1 x8dc = +0

+1 x690 -1 x6b2 +0 x6b3 = +0

+1 x5a8 -1 x6b5 -1 x6b6 = +0

+1 x6b0 -1 x6d1 -1 x6d2 = +0

+1 x6b5 -1 x6d8 +1 x7d2 +1 x7d3 = +0

+1 x30d -1 x6ed +1 x902 = +0

+1 x6d1 -1 x6ee +0 x6ef = +0

+1 x677 -1 x6f8 -1 x6f9 = +0

+1 x6ab -1 x70d -1 x70e = +0

+1 x6ed -1 x70f -1 x710 = +0

+1 x691 -1 x717 -1 x718 = +0

+1 x64f -1 x72a -1 x72b = +0

+1 x70f -1 x730 +0 x731 = +0

+1 x717 -1 x737 +1 x8e4 = +0

+1 x67e -1 x73f +1 x98c = +0

+1 x72a -1 x744 +1 x7f9 +1 x83c +1 x8ab = +0

+1 x6a8 -1 x746 -1 x747 = +0

+1 x73f -1 x75c -1 x75d = +0

+1 x6b2 -1 x770 +1 x825 = +0

+1 x75c -1 x779 +0 x77a = +0

+1 x649 -1 x77d -1 x77e = +0

+1 x629 -1 x77f -1 x780 = +0

+1 x5db -1 x78c -1 x78d = +0

+1 x770 -1 x78e -1 x78f = +0

+1 x6f8 -1 x794 -1 x795 = +0

+1 x77d +1 x77e -1 x79d -1 x79e = +0

+1 x77f -1 x7a1 +1 x925 = +0

+1 x78c -1 x7ad +1 x822 = +0

+1 x78e -1 x7af +0 x7b0 = +0

+1 x794 -1 x7b4 +1 x808 = +0

+1 x79d +1 x79e -1 x7bb -1 x7bc = +0

+1 x6b6 -1 x7d2 -1 x7d3 = +0

+1 x7bb +1 x7bc -1 x7dd = +0

+1 x7a1 -1 x7e0 +1 x923 = +0

+1 x730 -1 x7e5 +1 xa5a = +0

+1 x7e0 -1 x7f5 -1 x7f6 = +0

+1 x72b -1 x7f9 -1 x7fa = +0

+1 x7e5 -1 x7fd -1 x7fe = +0

+1 x78f -1 x804 -1 x805 = +0

+1 x795 -1 x808 -1 x809 = +0

+1 x472 -1 x80b -1 x80c = +0

+1 x661 -1 x80f -1 x810 = +0

+1 x7f5 -1 x812 +0 x813 = +0

+1 x7fa -1 x817 -1 x818 = +0

+1 x7fd -1 x81a +0 x81b = +0

+1 x6ee -1 x81e -1 x81f = +0

+1 x6d2 -1 x820 -1 x821 = +0

+1 x78d -1 x822 -1 x823 = +0

+1 x804 -1 x825 +1 x9a5 = +0

+1 x718 -1 x827 -1 x828 = +0

+1 x80b +1 x80c -1 x82d = +0

+1 x80f -1 x831 +1 x8cb = +0

+1 x817 -1 x83a +1 x83b = +0

+1 x818 -1 x83b -1 x83c = +0

+1 x4c7 -1 x83e -1 x83f = +0

+1 x81e +1 x81f -1 x845 -1 x846 = +0

+1 x820 -1 x849 +1 x9f2 = +0

+1 x827 -1 x850 +1 x985 +1 x986 = +0

+1 x83e +1 x83f -1 x865 = +0

+1 x845 +1 x846 -1 x86a -1 x86b = +0

+1 x82d -1 x87b +1 xae0 = +0

+1 x86a +1 x86b -1 x88c = +0

+1 x849 -1 x88f +1 x9f0 = +0

+1 x7af -1 x894 -1 x895 = +0

+1 x805 -1 x898 -1 x899 = +0

+1 x850 -1 x89a +1 xa44 = +0

+1 x87b -1 x8a1 -1 x8a2 = +0

+1 x83a -1 x8ab -1 x8ac = +0

+1 x865 -1 x8ad +1 xb0f = +0

+1 x88f -1 x8b4 -1 x8b5 = +0

+1 x898 -1 x8bb +1 xaab = +0

+1 x89a -1 x8bd -1 x8be = +0

+1 x8a1 -1 x8c4 +0 x8c5 = +0

+1 x779 -1 x8c7 -1 x8c8 = +0

+1 x75d -1 x8c9 -1 x8ca = +0

+1 x810 -1 x8cb -1 x8cc = +0

+1 x8ad -1 x8d5 -1 x8d6 = +0

+1 x710 -1 x8d9 -1 x8da = +0

+1 x8b4 -1 x8dc +0 x8dd = +0

+1 x8bd -1 x8e4 +0 x8e5 = +0

+1 x8c7 +1 x8c8 -1 x8ee -1 x8ef = +0

+1 x8c9 -1 x8f2 +1 x9db +1 xa97 = +0

+1 x7f6 -1 x8f7 -1 x8f8 = +0

+1 x8d5 -1 x8fd +0 x8fe = +0

+1 x8d9 -1 x902 +1 x99c = +0

+1 x88c -1 x904 -1 x905 = +0

+1 x8ee +1 x8ef -1 x91a -1 x91b = +0

+1 x8f7 +1 x8f8 -1 x923 = +0

+1 x780 -1 x925 -1 x926 = +0

+1 x905 -1 x935 +1 x9c4 = +0

+1 x91a +1 x91b -1 x943 = +0

+1 x8f2 -1 x946 +1 xa95 = +0

+1 x935 -1 x95a -1 x95b = +0

+1 x8bb -1 x961 +1 xa40 = +0

+1 x8be -1 x963 -1 x964 = +0

+1 x946 -1 x96a -1 x96b = +0

+1 x1869 +1 x904 -1 x979 = +0

+1 x961 -1 x980 -1 x981 = +0

+1 x828 -1 x985 -1 x986 = +0

+1 x96a -1 x98c +0 x98d = +0

+1 x81a -1 x998 -1 x999 = +0

+1 x7fe -1 x99a -1 x99b = +0

+1 x8da -1 x99c -1 x99d = +0

+1 x979 -1 x99e -1 x99f = +0

+1 x980 -1 x9a5 +0 x9a6 = +0

+1 x8c4 -1 x9ad +1 xc38 = +0

+1 x998 +1 x999 -1 x9bc -1 x9bd = +0

+1 x99a -1 x9c0 +1 xb59 = +0

+1 x186a +1 x99e -1 x9c4 +0 x9c5 = +0

+1 x8b5 -1 x9c7 -1 x9c8 = +0

+1 x9ad -1 x9d5 -1 x9d6 = +0

+1 x8ca -1 x9db -1 x9dc = +0

+1 x8fd -1 x9e1 +1 xc6f = +0

+1 x9bc +1 x9bd -1 x9e3 -1 x9e4 = +0

+1 x9c7 -1 x9f0 +1 xacc +1 xb1a +1 xb7f = +0

+1 x821 -1 x9f2 -1 x9f3 = +0

+1 x899 -1 x9f6 -1 x9f7 = +0

+1 x5c8 -1 x9fc -1 x9fd = +0

+1 x9d5 -1 x9fe +0 x9ff = +0

+1 x9e1 -1 xa0a -1 xa0b = +0

+1 x9e3 +1 x9e4 -1 xa0d = +0

+1 x9c0 -1 xa10 +1 xb57 = +0

+1 x981 -1 xa1c -1 xa1d = +0

+1 x9f6 -1 xa1e +1 xb41 +1 xb42 = +0

+1 x963 -1 xa20 -1 xa21 = +0

+1 x9fc +1 x9fd -1 xa23 = +0

+1 x62b -1 xa2f -1 xa30 = +0

+1 xa0a -1 xa31 +0 xa32 = +0

+1 xa10 -1 xa36 -1 xa37 = +0

+1 xa1c -1 xa40 +1 xc2a = +0

+1 xa20 -1 xa44 +1 xb63 +1 xb64 = +0

+1 xa2f +1 xa30 -1 xa52 = +0

+1 xa36 -1 xa5a +0 xa5b = +0

+1 xa1e -1 xa66 +1 xc04 = +0

+1 xa23 -1 xa6c +1 xcd9 = +0

+1 x96b -1 xa73 -1 xa74 = +0

+1 xa0d -1 xa7c -1 xa7d = +0

+1 xa66 -1 xa8a -1 xa8b = +0

+1 xa6c -1 xa8f -1 xa90 = +0

+1 xa73 -1 xa95 +1 xb6f +1 xbbd +1 xc3d = +0

+1 x9dc -1 xa97 -1 xa98 = +0

+1 xa52 -1 xa9a +1 xd08 = +0

+1 xa7d -1 xaa1 +1 xb33 = +0

+1 xa8a -1 xaab +0 xaac = +0

+1 xa8f -1 xab1 +0 xab2 = +0

+1 x8a2 -1 xab6 -1 xab7 = +0

+1 xa9a -1 xabf -1 xac0 = +0

+1 xaa1 -1 xac5 -1 xac6 = +0

+1 x9c8 -1 xacc -1 xacd = +0

+1 xab6 -1 xae0 +1 xb6c = +0

+1 xabf -1 xae7 +0 xae8 = +0

+1 x8d6 -1 xaec -1 xaed = +0

+1 x19c8 +1 xa7c -1 xaee = +0

+1 xacd -1 xaf5 -1 xaf6 = +0

+1 xaec -1 xb0f +1 xb9d = +0

+1 xaee -1 xb11 -1 xb12 = +0

+1 xaf5 -1 xb18 +1 xb19 = +0

+1 xaf6 -1 xb19 -1 xb1a = +0

+1 xa8b -1 xb1e -1 xb1f = +0

+1 x19c9 +1 xb11 -1 xb33 +0 xb34 = +0

+1 xa37 -1 xb36 -1 xb37 = +0

+1 x9f7 -1 xb41 -1 xb42 = +0

+1 xb36 -1 xb57 +1 xc4c +1 xc9d +1 xd11 = +0

+1 x99b -1 xb59 -1 xb5a = +0

+1 xa1d -1 xb5e -1 xb5f = +0

+1 xa21 -1 xb63 -1 xb64 = +0

+1 x9fe -1 xb68 -1 xb69 = +0

+1 x9d6 -1 xb6a -1 xb6b = +0

+1 xab7 -1 xb6c -1 xb6d = +0

+1 xa74 -1 xb6f -1 xb70 = +0

+1 xb18 -1 xb7f -1 xb80 = +0

+1 x894 -1 xb81 -1 xb82 = +0

+1 xb5e -1 xb83 +1 xcd0 +1 xd62 = +0

+1 xab1 -1 xb89 +1 xe49 = +0

+1 xb68 +1 xb69 -1 xb8b -1 xb8c = +0

+1 xb6a -1 xb8f +1 xc89 +1 xd48 = +0

+1 xb70 -1 xb94 -1 xb95 = +0

+1 xa31 -1 xb99 -1 xb9a = +0

+1 xa0b -1 xb9b -1 xb9c = +0

+1 xaed -1 xb9d -1 xb9e = +0

+1 xb81 -1 xba6 +1 xe66 = +0

+1 xb89 -1 xbaf -1 xbb0 = +0

+1 xb8b +1 xb8c -1 xbb2 -1 xbb3 = +0

+1 xb94 -1 xbbb +1 xbbc = +0

+1 xb95 -1 xbbc -1 xbbd = +0

+1 xae7 -1 xbc0 +1 xe7a = +0

+1 xb99 +1 xb9a -1 xbc2 -1 xbc3 = +0

+1 xb9b -1 xbc6 +1 xcc2 +1 xd7e = +0

+1 xb83 -1 xbd4 +1 xd90 = +0

+1 xb1e -1 xbd6 -1 xbd7 = +0

+1 xbaf -1 xbda +0 xbdb = +0

+1 xbb2 +1 xbb3 -1 xbde = +0

+1 xb8f -1 xbe1 +1 xd46 = +0

+1 xbc0 -1 xbeb -1 xbec = +0

+1 xbc2 +1 xbc3 -1 xbee -1 xbef = +0

+1 xba6 -1 xbfe +1 xdbb = +0

+1 xbd4 -1 xc00 -1 xc01 = +0

+1 xb5f -1 xc02 -1 xc03 = +0

+1 xbd6 -1 xc04 +1 xd3f +1 xd40 = +0

+1 xbe1 -1 xc0e -1 xc0f = +0

+1 xbeb -1 xc16 +0 xc17 = +0

+1 xbee +1 xbef -1 xc1a = +0

+1 xbc6 -1 xc1d +1 xd7c = +0

+1 xbfe -1 xc27 -1 xc28 = +0

+1 xc00 -1 xc2a +0 xc2b = +0

+1 xc0e -1 xc38 +0 xc39 = +0

+1 xbbb -1 xc3d -1 xc3e = +0

+1 xc1d -1 xc46 -1 xc47 = +0

+1 xb37 -1 xc4c -1 xc4d = +0

+1 xc27 -1 xc50 +0 xc51 = +0

+1 xc46 -1 xc6f +0 xc70 = +0

+1 xc4d -1 xc74 -1 xc75 = +0

+1 xbd7 -1 xc7f -1 xc80 = +0

+1 xb6b -1 xc89 -1 xc8a = +0

+1 xc1a -1 xc93 -1 xc94 = +0

+1 xc74 -1 xc9b +1 xc9c = +0

+1 xc75 -1 xc9c -1 xc9d = +0

+1 x99f -1 xc9f -1 xca0 = +0

+1 xc01 -1 xca4 -1 xca5 = +0

+1 xa90 -1 xcb0 -1 xcb1 = +0

+1 xc94 -1 xcbf +1 xd4f = +0

+1 xb9c -1 xcc2 -1 xcc3 = +0

+1 xc9f +1 xca0 -1 xcc9 = +0

+1 xc02 -1 xcd0 -1 xcd1 = +0

+1 xcb0 -1 xcd9 +1 xd69 = +0

+1 xac0 -1 xce5 -1 xce6 = +0

+1 xcbf -1 xce8 -1 xce9 = +0

+1 xce5 -1 xd08 +1 xda9 = +0

+1 x1b7c +1 xc93 -1 xd0a = +0

+1 xc9b -1 xd11 -1 xd12 = +0

+1 xcc9 -1 xd13 +1 xe86 = +0

+1 xc0f -1 xd22 -1 xd23 = +0

+1 xd0a -1 xd2c -1 xd2d = +0

+1 xd13 -1 xd35 -1 xd36 = +0

+1 xc50 -1 xd38 +1 xe3c = +0

+1 xc7f -1 xd3f -1 xd40 = +0

+1 xd22 -1 xd46 +1 xe4e +1 xe9f +1 xf1a = +0

+1 xc8a -1 xd48 -1 xd49 = +0

+1 x7dd -1 xd4b +1 xfdd = +0

+1 x1b7d +1 xd2c -1 xd4f +0 xd50 = +0

+1 xc47 -1 xd52 -1 xd53 = +0

+1 xd35 -1 xd58 +0 xd59 = +0

+1 xd38 -1 xd5c -1 xd5d = +0

+1 xca4 -1 xd60 -1 xd61 = +0

+1 xcd1 -1 xd62 -1 xd63 = +0

+1 xbda -1 xd65 -1 xd66 = +0

+1 xbb0 -1 xd67 -1 xd68 = +0

+1 xcb1 -1 xd69 -1 xd6a = +0

+1 xd4b -1 xd72 -1 xd73 = +0

+1 xd52 -1 xd7c +1 xe7f +1 xeda +1 xf4d = +0

+1 xcc3 -1 xd7e -1 xd7f = +0

+1 xd5c -1 xd89 +0 xd8a = +0

+1 xc28 -1 xd8c -1 xd8d = +0

+1 xb82 -1 xd8e -1 xd8f = +0

+1 xd60 -1 xd90 +1 xeec +1 xf82 = +0

+1 xd65 +1 xd66 -1 xd95 -1 xd96 = +0

+1 xd67 -1 xd99 +1 xe99 +1 xf61 = +0

+1 xd72 -1 xda2 +0 xda3 = +0

+1 xc16 -1 xda5 -1 xda6 = +0

+1 xbec -1 xda7 -1 xda8 = +0

+1 xce6 -1 xda9 -1 xdaa = +0

+1 xd8c -1 xdbb +1 xe64 = +0

+1 xd8e +1 xd8f -1 xdbd = +0

+1 xd95 +1 xd96 -1 xdc5 -1 xdc6 = +0

+1 xda5 +1 xda6 -1 xdd7 -1 xdd8 = +0

+1 xda7 -1 xddb +1 xed4 +1 xf9a = +0

+1 xdc5 +1 xdc6 -1 xdf2 = +0

+1 xd99 -1 xdf5 +1 xf5f = +0

+1 xdd7 +1 xdd8 -1 xe01 -1 xe02 = +0

+1 xd5d -1 xe13 -1 xe14 = +0

+1 xdbd -1 xe16 +1 xfcf = +0

+1 xd61 -1 xe18 -1 xe19 = +0

+1 xdf5 -1 xe1f -1 xe20 = +0

+1 xe01 +1 xe02 -1 xe29 = +0

+1 xddb -1 xe2c +1 xf98 = +0

+1 xb12 -1 xe35 -1 xe36 = +0

+1 x1030 +1 xe13 -1 xe3c = +0

+1 xd8d -1 xe3e -1 xe3f = +0

+1 xe16 -1 xe40 -1 xe41 = +0

+1 xe1f -1 xe49 +0 xe4a = +0

+1 xd23 -1 xe4e -1 xe4f = +0

+1 xe2c -1 xe55 -1 xe56 = +0

+1 xe35 -1 xe5c +1 xf51 +1 xf52 = +0

+1 x10f4 +1 xd58 -1 xe5e = +0

+1 xd36 -1 xe5f -1 xe60 = +0

+1 x105e +1 xe3e -1 xe64 = +0

+1 xe40 -1 xe66 +0 xe67 = +0

+1 xe4f -1 xe74 -1 xe75 = +0

+1 xe55 -1 xe7a +0 xe7b = +0

+1 xd53 -1 xe7f -1 xe80 = +0

+1 xe5e -1 xe84 -1 xe85 = +0

+1 xe5f +1 xe60 -1 xe86 = +0

+1 xd68 -1 xe99 -1 xe9a = +0

+1 xe74 -1 xe9d +1 xe9e = +0

+1 xe75 -1 xe9e -1 xe9f = +0

+1 x112e +1 xda2 -1 xea2 = +0

+1 xe29 -1 xea4 -1 xea5 = +0

+1 xe80 -1 xeac -1 xead = +0

+1 x1009 +1 xe5c -1 xeae = +0

+1 xe84 -1 xeb0 +0 xeb1 = +0

+1 xd89 -1 xeb6 -1 xeb7 = +0

+1 xea2 -1 xecd -1 xece = +0

+1 xea5 -1 xed1 +1 xf6d = +0

+1 xda8 -1 xed4 -1 xed5 = +0

+1 xeac -1 xed8 +1 xed9 = +0

+1 xead -1 xed9 -1 xeda = +0

+1 xeae -1 xedc -1 xedd = +0

+1 xe18 -1 xeec -1 xeed = +0

+1 x1150 +1 x943 -1 xef5 = +0

+1 xecd -1 xef6 +0 xef7 = +0

+1 xed1 -1 xefb -1 xefc = +0

+1 xedc -1 xf05 +0 xf06 = +0

+1 xe9d -1 xf1a -1 xf1b = +0

+1 xef5 -1 xf1c -1 xf1d = +0

+1 x1d2d +1 xea4 -1 xf23 = +0

+1 xe20 -1 xf3a -1 xf3b = +0

+1 xf1c -1 xf40 +0 xf41 = +0

+1 xf23 -1 xf46 -1 xf47 = +0

+1 xed8 -1 xf4d -1 xf4e = +0

+1 xe36 -1 xf51 -1 xf52 = +0

+1 x103c +1 x108d +1 x1102 +1 xf3a -1 xf5f = +0

+1 xe9a -1 xf61 -1 xf62 = +0

+1 x1d2e +1 xf46 -1 xf6d +0 xf6e = +0

+1 xe56 -1 xf70 -1 xf71 = +0

+1 xe14 -1 xf7e -1 xf7f = +0

+1 xeed -1 xf82 -1 xf83 = +0

+1 x1072 +1 x10c6 +1 x1133 +1 xf70 -1 xf98 = +0

+1 xed5 -1 xf9a -1 xf9b = +0

+1 x1033 +1 xf7e -1 xfa5 = +0

+1 xe3f -1 xfa7 -1 xfa8 = +0

+1 xe41 -1 xfa9 -1 xfaa = +0

+1 xd73 -1 xfb8 -1 xfb9 = +0

+1 xfa7 +1 xfa8 -1 xfcd = +0

+1 xfa9 +1 xfaa -1 xfcf = +0

+1 x106f +1 xfb8 -1 xfdd = +0

+1 x1289 +1 xf05 -1 xfe6 = +0

+1 xedd -1 xfe7 -1 xfe8 = +0

+1 x1194 +1 xfa5 -1 xfec = +0

-1 x1007 -1 x1008 +1 xfe6 = +0

-1 x1009 +1 x10f0 +1 x11b4 +1 xfe7 = +0

-1 x100e -1 x100f +1 xfec = +0

-1 x1010 -1 x1011 +1 xf7f = +0

-1 x1012 +1 x11c1 +1 xfcd = +0

-1 x101b +1 x12c7 +1 xf40 = +0

+1 x1007 -1 x1025 +0 x1026 = +0

-1 x102b -1 x102c +1 xeb0 = +0

-1 x102d -1 x102e +1 xe85 = +0

+1 x100e -1 x1030 +0 x1031 = +0

+1 x1010 -1 x1033 +1 x1237 = +0

+1 x1012 -1 x1035 -1 x1036 = +0

-1 x103c -1 x103d +1 xf3b = +0

+1 x101b -1 x1040 -1 x1041 = +0

-1 x1048 -1 x1049 +1 xd2d = +0

+1 x102b +1 x102c -1 x104f -1 x1050 = +0

+1 x102d -1 x1053 +1 x1207 = +0

+1 x1035 -1 x105e +0 x105f = +0

+1 x103d -1 x1064 -1 x1065 = +0

+1 x1040 -1 x1067 +0 x1068 = +0

-1 x106b -1 x106c +1 xef6 = +0

-1 x106d -1 x106e +1 xece = +0

-1 x106f -1 x1070 +1 xfb9 = +0

-1 x1072 -1 x1073 +1 xf71 = +0

+1 x1048 -1 x1075 +1 x115e +1 x115f = +0

+1 x104f +1 x1050 -1 x107a -1 x107b = +0

+1 x1064 -1 x108b +1 x108c = +0

+1 x1065 -1 x108c -1 x108d = +0

-1 x108f -1 x1090 +1 xbde = +0

+1 x106b +1 x106c -1 x1096 -1 x1097 = +0

+1 x106d -1 x109a +1 x124f = +0

+1 x1073 -1 x109f -1 x10a0 = +0

+1 x107a +1 x107b -1 x10a6 = +0

+1 x1053 -1 x10a9 +1 x1205 = +0

+1 x100f -1 x10ac -1 x10ad = +0

+1 x108f +1 x1090 -1 x10b6 = +0

+1 x1096 +1 x1097 -1 x10bb -1 x10bc = +0

+1 x109f -1 x10c4 +1 x10c5 = +0

+1 x10a0 -1 x10c5 -1 x10c6 = +0

+1 x1075 -1 x10c8 +1 x1224 = +0

+1 x10a9 -1 x10ce -1 x10cf = +0

+1 x10bb +1 x10bc -1 x10df = +0

+1 x109a -1 x10e2 +1 x124d = +0

+1 x10c8 -1 x10eb -1 x10ec = +0

-1 x10f0 -1 x10f1 +1 xfe8 = +0

+1 x10ce -1 x10f4 +0 x10f5 = +0

+1 x108b -1 x1102 -1 x1103 = +0

+1 x10b6 -1 x1104 +1 x1378 = +0

+1 x10e2 -1 x110b -1 x110c = +0

+1 x10eb -1 x1112 +0 x1113 = +0

-1 x111f +1 x1142 +1 xeb6 = +0

+1 x1104 -1 x1127 -1 x1128 = +0

-1 x112b -1 x112c +1 xf1d = +0

+1 x110b -1 x112e +0 x112f = +0

+1 x10c4 -1 x1133 -1 x1134 = +0

+1 x111f -1 x1141 -1 x1142 = +0

+1 x1127 -1 x114b +0 x114c = +0

+1 x112b -1 x1150 +1 x11f0 = +0

+1 x10df -1 x1152 -1 x1153 = +0

+1 x1049 -1 x115e -1 x115f = +0

+1 x1141 -1 x1168 +0 x1169 = +0

+1 x10ac -1 x116b -1 x116c = +0

+1 x1011 -1 x116d -1 x116e = +0

+1 x1153 -1 x117e +1 x121b = +0

+1 x116b -1 x1194 +1 x1235 = +0

+1 x116d +1 x116e -1 x1196 = +0

+1 x1036 -1 x1198 -1 x1199 = +0

+1 x117e -1 x11a3 -1 x11a4 = +0

+1 x1025 -1 x11b0 -1 x11b1 = +0

+1 x1008 -1 x11b2 -1 x11b3 = +0

+1 x10f1 -1 x11b4 -1 x11b5 = +0

+1 x1198 -1 x11c1 +1 x123b = +0

+1 x1152 -1 x11c9 +1 x1f83 = +0

+1 x11b0 +1 x11b1 -1 x11d6 -1 x11d7 = +0

+1 x11b2 -1 x11da +1 x12d8 +1 x138e = +0

+1 x10cf -1 x11df -1 x11e0 = +0

+1 x1196 -1 x11e4 +1 x1394 = +0

+1 x1067 -1 x11ec -1 x11ed = +0

+1 x1041 -1 x11ee -1 x11ef = +0

+1 x112c -1 x11f0 -1 x11f1 = +0

+1 x11c9 -1 x11f2 -1 x11f3 = +0

+1 x1112 -1 x11f9 +1 x1496 = +0

+1 x10ec -1 x11fa -1 x11fb = +0

+1 x11d6 +1 x11d7 -1 x11fc -1 x11fd = +0

+1 x11df +1 x11e0 -1 x1205 = +0

+1 x102e -1 x1207 -1 x1208 = +0

+1 x116c -1 x120a -1 x120b = +0

+1 x11e4 -1 x120c -1 x120d = +0

+1 x11ec +1 x11ed -1 x1213 -1 x1214 = +0

+1 x11ee -1 x1217 +1 x13c6 = +0

+1 x11f2 -1 x121b +0 x121c +1 x1f84 = +0

+1 x110c -1 x121e -1 x121f = +0

+1 x11f9 -1 x1222 -1 x1223 = +0

+1 x11fa -1 x1224 +1 x131e +1 x13d2 = +0

+1 x11fc +1 x11fd -1 x1226 = +0

+1 x11da -1 x1229 +1 x138c = +0

+1 x120a -1 x1235 +1 x1424 = +0

+1 x120c -1 x1237 +0 x1238 = +0

+1 x1199 -1 x123b -1 x123c = +0

+1 x114b -1 x123e +1 x14d5 = +0

+1 x1213 +1 x1214 -1 x1240 -1 x1241 = +0

+1 x121e -1 x124d +1 x1338 +1 x1383 +1 x13e9 = +0

+1 x106e -1 x124f -1 x1250 = +0

-1 x1251 -1 x1252 +1 xf47 = +0

+1 x1222 -1 x1253 +0 x1254 = +0

+1 x1229 -1 x125a -1 x125b = +0

+1 x123e -1 x1270 -1 x1271 = +0

+1 x1240 +1 x1241 -1 x1273 = +0

+1 x1217 -1 x1276 +1 x13c4 = +0

+1 x1251 -1 x1281 +1 x1362 +1 x1363 = +0

+1 x125a -1 x1289 +0 x128a = +0

-1 x1298 -1 x1299 +1 xdf2 = +0

+1 x1270 -1 x129a +0 x129b = +0

+1 x1276 -1 x129f -1 x12a0 = +0

+1 x120b -1 x12b8 -1 x12b9 = +0

+1 x120d -1 x12ba -1 x12bb = +0

+1 x1298 +1 x1299 -1 x12bf = +0

+1 x129f -1 x12c7 +0 x12c8 = +0

+1 x1281 -1 x12d0 +1 x1413 = +0

+1 x11b3 -1 x12d8 -1 x12d9 = +0

+1 x1273 -1 x12ec -1 x12ed = +0

+1 x12d0 -1 x12f7 -1 x12f8 = +0

+1 x12bf -1 x130b +1 x1563 = +0

+1 x12ed -1 x1312 +1 x139d = +0

+1 x12f7 -1 x1318 +0 x1319 = +0

+1 x11fb -1 x131e -1 x131f = +0

+1 x130b -1 x132b -1 x132c = +0

+1 x1312 -1 x1331 -1 x1332 = +0

+1 x121f -1 x1338 -1 x1339 = +0

+1 x132b -1 x1350 +0 x1351 = +0

+1 x1128 -1 x1355 -1 x1356 = +0

+1 x12ec -1 x1357 +1 x207c = +0

+1 x1339 -1 x135e -1 x135f = +0

+1 x1252 -1 x1362 -1 x1363 = +0

+1 x125b -1 x1369 -1 x136a = +0

+1 x12b8 -1 x136e -1 x136f = +0

+1 x12ba -1 x1370 -1 x1371 = +0

+1 x1355 -1 x1378 +1 x1408 = +0

+1 x1357 -1 x137a -1 x137b = +0

+1 x135e -1 x1381 +1 x1382 = +0

+1 x135f -1 x1382 -1 x1383 = +0

+1 x1369 -1 x138c +1 x1476 +1 x14c3 +1 x1532 = +0

+1 x12d9 -1 x138e -1 x138f = +0

+1 x136e +1 x136f -1 x1392 = +0

+1 x1370 -1 x1394 +1 x1400 = +0

+1 x137a -1 x139d +0 x139e +1 x207d = +0

+1 x12a0 -1 x13a0 -1 x13a1 = +0

+1 x13a0 -1 x13c4 +1 x14b3 +1 x1500 +1 x156c = +0

+1 x11ef -1 x13c6 -1 x13c7 = +0

+1 x1253 -1 x13ce -1 x13cf = +0

+1 x1223 -1 x13d0 -1 x13d1 = +0

+1 x131f -1 x13d2 -1 x13d3 = +0

+1 x1392 -1 x13da +1 x1581 = +0

+1 x1381 -1 x13e9 -1 x13ea = +0

+1 x1318 -1 x13eb +1 x168d = +0

+1 x12f8 -1 x13ec -1 x13ed = +0

+1 x13ce +1 x13cf -1 x13ee -1 x13ef = +0

+1 x13d0 -1 x13f2 +1 x14e3 +1 x159a = +0

+1 x13da -1 x13fd -1 x13fe = +0

+1 x1371 -1 x1400 -1 x1401 = +0

+1 x129a -1 x1404 -1 x1405 = +0

+1 x1271 -1 x1406 -1 x1407 = +0

+1 x1356 -1 x1408 -1 x1409 = +0

+1 x13eb -1 x1411 -1 x1412 = +0

+1 x13ec -1 x1413 +1 x1506 +1 x15c2 = +0

+1 x13ee +1 x13ef -1 x1415 -1 x1416 = +0

+1 x10a6 -1 x1421 -1 x1422 = +0

+1 x13fd -1 x1424 +0 x1425 = +0

+1 x1350 -1 x142a +1 x16ca = +0

+1 x1404 +1 x1405 -1 x142c -1 x142d = +0

+1 x1406 -1 x1430 +1 x1521 +1 x15de = +0

+1 x1411 -1 x143c +0 x143d = +0

+1 x1415 +1 x1416 -1 x1442 = +0

+1 x13f2 -1 x1445 +1 x1598 = +0

+1 x1421 +1 x1422 -1 x144c = +0

+1 x142a -1 x1457 -1 x1458 = +0

+1 x142c +1 x142d -1 x145a -1 x145b = +0

+1 x1445 -1 x1470 -1 x1471 = +0

+1 x136a -1 x1476 -1 x1477 = +0

+1 x1168 -1 x147b -1 x147c = +0

+1 x1457 -1 x1481 +0 x1482 = +0

+1 x145a +1 x145b -1 x1485 = +0

+1 x1430 -1 x1488 +1 x15dc = +0

+1 x1470 -1 x1496 +0 x1497 = +0

+1 x1477 -1 x149b -1 x149c = +0

+1 x144c -1 x149d +1 x15f9 = +0

+1 x147c -1 x14a0 +1 x209c = +0

+1 x13fe -1 x14a1 -1 x14a2 = +0

+1 x1488 -1 x14ad -1 x14ae = +0

+1 x13a1 -1 x14b3 -1 x14b4 = +0

+1 x149b -1 x14c1 +1 x14c2 = +0

+1 x149c -1 x14c2 -1 x14c3 = +0

+1 x149d -1 x14c5 -1 x14c6 = +0

+1 x14a0 -1 x14c9 -1 x14ca = +0

+1 x14ad -1 x14d5 +0 x14d6 = +0

+1 x14b4 -1 x14da -1 x14db = +0

+1 x13d1 -1 x14e3 -1 x14e4 = +0

+1 x14c5 -1 x14ea +0 x14eb = +0

+1 x14ca -1 x14f0 +1 x1674 = +0

+1 x1485 -1 x14f6 -1 x14f7 = +0

+1 x14da -1 x14fe +1 x14ff = +0

+1 x14db -1 x14ff -1 x1500 = +0

+1 x11f3 -1 x1502 -1 x1503 = +0

+1 x13ed -1 x1506 -1 x1507 = +0

+1 x14f0 -1 x1516 -1 x1517 = +0

+1 x14f7 -1 x151e +1 x15b1 = +0

+1 x1407 -1 x1521 -1 x1522 = +0

+1 x1502 +1 x1503 -1 x1528 = +0

+1 x14c1 -1 x1532 -1 x1533 = +0

+1 x132c -1 x1540 -1 x1541 = +0

+1 x151e -1 x1543 -1 x1544 = +0

+1 x14a1 -1 x155f -1 x1560 = +0

+1 x1540 -1 x1563 +1 x1603 = +0

+1 x14f6 -1 x1565 +1 x21bf = +0

+1 x14fe -1 x156c -1 x156d = +0

+1 x1528 -1 x156e +1 x16d6 = +0

+1 x1471 -1 x1574 -1 x1575 = +0

+1 x155f -1 x1581 +1 x15fd = +0

+1 x1565 -1 x1588 -1 x1589 = +0

+1 x156e -1 x1591 -1 x1592 = +0

+1 x1574 -1 x1598 +1 x1692 +1 x16e1 +1 x174a = +0

+1 x14e4 -1 x159a -1 x159b = +0

+1 x1226 -1 x159c -1 x159d = +0

+1 x1588 -1 x15b1 +0 x15b2 +1 x21c0 = +0

+1 x14ae -1 x15b4 -1 x15b5 = +0

+1 x1591 -1 x15ba +0 x15bb = +0

+1 x143c -1 x15be -1 x15bf = +0

+1 x1412 -1 x15c0 -1 x15c1 = +0

+1 x1507 -1 x15c2 -1 x15c3 = +0

+1 x159c +1 x159d -1 x15ca = +0

+1 x14ea -1 x15ce +1 x1847 = +0

+1 x14c6 -1 x15cf -1 x15d0 = +0

+1 x15b4 -1 x15dc +1 x16cf +1 x1719 +1 x177b = +0

+1 x1522 -1 x15de -1 x15df = +0

+1 x15be +1 x15bf -1 x15e9 -1 x15ea = +0

+1 x15c0 -1 x15ed +1 x16db +1 x1788 = +0

+1 x15ce -1 x15f7 -1 x15f8 = +0

+1 x15cf -1 x15f9 +1 x16e8 +1 x1798 = +0

+1 x1560 -1 x15fd -1 x15fe = +0

+1 x1481 -1 x15ff -1 x1600 = +0

+1 x1458 -1 x1601 -1 x1602 = +0

+1 x1541 -1 x1603 -1 x1604 = +0

+1 x15e9 +1 x15ea -1 x1611 -1 x1612 = +0

+1 x15ca -1 x161e +1 x176d = +0

+1 x15f7 -1 x1620 +0 x1621 = +0

+1 x14c9 -1 x1627 +1 x16a2 = +0

+1 x15ff +1 x1600 -1 x162a -1 x162b = +0

+1 x1601 -1 x162e +1 x1713 +1 x17cd = +0

+1 x1611 +1 x1612 -1 x163a = +0

+1 x15ed -1 x163d +1 x1786 = +0

+1 x161e -1 x1646 -1 x1647 = +0

+1 x1627 -1 x164f -1 x1650 = +0

+1 x162a +1 x162b -1 x1653 -1 x1654 = +0

+1 x163d -1 x1665 -1 x1666 = +0

+1 x1646 -1 x166c +0 x166d = +0

+1 x164f -1 x1674 +0 x1675 +1 x1874 = +0

+1 x1650 -1 x1676 -1 x1677 = +0

+1 x1653 +1 x1654 -1 x167a = +0

+1 x162e -1 x167d +1 x17cb = +0

+1 x137b -1 x1686 -1 x1687 = +0

+1 x1665 -1 x168d +0 x168e = +0

+1 x1575 -1 x1692 -1 x1693 = +0

+1 x1676 -1 x16a2 +1 x1873 = +0

+1 x167d -1 x16a8 -1 x16a9 = +0

+1 x1686 -1 x16af +1 x177f +1 x1780 = +0

+1 x15ba -1 x16b1 +1 x1904 = +0

+1 x1592 -1 x16b2 -1 x16b3 = +0

+1 x1693 -1 x16bb -1 x16bc = +0

+1 x16a8 -1 x16ca +0 x16cb = +0

+1 x15b5 -1 x16cf -1 x16d0 = +0

+1 x16b1 -1 x16d4 -1 x16d5 = +0

+1 x16b2 +1 x16b3 -1 x16d6 = +0

+1 x15c1 -1 x16db -1 x16dc = +0

+1 x16bb -1 x16df +1 x16e0 = +0

+1 x16bc -1 x16e0 -1 x16e1 = +0

+1 x15d0 -1 x16e8 -1 x16e9 = +0

+1 x167a -1 x16ed -1 x16ee = +0

+1 x16d0 -1 x16f5 -1 x16f6 = +0

+1 x16af -1 x16f7 +1 x1837 = +0

+1 x16d4 -1 x16f9 +0 x16fa = +0

+1 x16ee -1 x1710 +1 x179c = +0

+1 x1602 -1 x1713 -1 x1714 = +0

+1 x16f5 -1 x1717 +1 x1718 = +0

+1 x16f6 -1 x1718 -1 x1719 = +0

+1 x16f7 -1 x171b -1 x171c = +0

+1 x1710 -1 x1733 -1 x1734 = +0

+1 x171b -1 x173d +0 x173e = +0

+1 x16df -1 x174a -1 x174b = +0

+1 x166c -1 x174c +1 x19a4 = +0

+1 x1647 -1 x174d -1 x174e = +0

+1 x16ed -1 x1754 +1 x22c0 = +0

+1 x1666 -1 x1765 -1 x1766 = +0

+1 x174c -1 x176b -1 x176c = +0

+1 x174d -1 x176d +1 x1843 +1 x18ee = +0

+1 x1754 -1 x1774 -1 x1775 = +0

+1 x1717 -1 x177b -1 x177c = +0

+1 x1687 -1 x177f -1 x1780 = +0

+1 x1765 -1 x1786 +1 x185e +1 x18a9 +1 x1909 = +0

+1 x16dc -1 x1788 -1 x1789 = +0

+1 x1442 -1 x178a -1 x178b = +0

+1 x176b -1 x178e +0 x178f = +0

+1 x1620 -1 x1794 -1 x1795 = +0

+1 x15f8 -1 x1796 -1 x1797 = +0

+1 x16e9 -1 x1798 -1 x1799 = +0

+1 x1774 -1 x179c +0 x179d +1 x22c1 = +0

+1 x16a9 -1 x179f -1 x17a0 = +0

+1 x178a -1 x17b2 +1 x188a +1 x188b = +0

+1 x1794 +1 x1795 -1 x17bc -1 x17bd = +0

+1 x1796 -1 x17c0 +1 x193c = +0

+1 x179f -1 x17cb +1 x1898 +1 x18d9 +1 x1943 = +0

+1 x1714 -1 x17cd -1 x17ce = +0

+1 x17bc +1 x17bd -1 x17e2 -1 x17e3 = +0

+1 x17b2 -1 x1801 +1 x1930 = +0

+1 x17e2 +1 x17e3 -1 x1806 = +0

+1 x17c0 -1 x1809 +1 x193a = +0

+1 x173d -1 x1817 +1 x1a6b = +0

+1 x171c -1 x1818 -1 x1819 = +0

+1 x1801 -1 x1820 -1 x1821 = +0

+1 x1809 -1 x1827 -1 x1828 = +0

+1 x1677 -1 x182d -1 x182e = +0

+1 x1817 -1 x1835 -1 x1836 = +0

+1 x1818 -1 x1837 +1 x1900 +1 x19bc = +0

+1 x1820 -1 x183d +0 x183e = +0

+1 x174e -1 x1843 -1 x1844 = +0

+1 x1827 -1 x1847 +0 x1848 = +0

+1 x182e -1 x184d +1 x1d3a = +0

+1 x1835 -1 x1853 +0 x1854 = +0

+1 x16f9 -1 x1859 -1 x185a = +0

+1 x16d5 -1 x185b -1 x185c = +0

+1 x1766 -1 x185e -1 x185f = +0

+1 x1806 -1 x1869 -1 x186a = +0

+1 x184d -1 x1873 -1 x1874 = +0

+1 x1589 -1 x1878 -1 x1879 = +0

+1 x1859 +1 x185a -1 x187f -1 x1880 = +0

+1 x185b -1 x1883 +1 x1a06 = +0

+1 x185f -1 x1886 -1 x1887 = +0

+1 x178b -1 x188a -1 x188b = +0

+1 x147b -1 x1894 +1 x198c = +0

+1 x17a0 -1 x1898 -1 x1899 = +0

+1 x1878 -1 x189b +1 x196f +1 x1970 = +0

+1 x187f +1 x1880 -1 x18a0 -1 x18a1 = +0

+1 x1886 -1 x18a7 +1 x18a8 = +0

+1 x1887 -1 x18a8 -1 x18a9 = +0

+1 x1899 -1 x18ba -1 x18bb = +0

+1 x18a0 +1 x18a1 -1 x18c1 = +0

+1 x1883 -1 x18c4 +1 x1a04 = +0

+1 x18ba -1 x18d7 +1 x18d8 = +0

+1 x18bb -1 x18d8 -1 x18d9 = +0

+1 x189b -1 x18db +1 x1a1e = +0

+1 x18c4 -1 x18e1 -1 x18e2 = +0

+1 x178e -1 x18ea -1 x18eb = +0

+1 x176c -1 x18ec -1 x18ed = +0

+1 x1844 -1 x18ee -1 x18ef = +0

+1 x18db -1 x18fb -1 x18fc = +0

+1 x1819 -1 x1900 -1 x1901 = +0

+1 x18e1 -1 x1904 +0 x1905 = +0

+1 x18a7 -1 x1909 -1 x190a = +0

+1 x183d -1 x190b +1 x1b60 = +0

+1 x1821 -1 x190c -1 x190d = +0

+1 x18ea +1 x18eb -1 x190e -1 x190f = +0

+1 x18ec -1 x1912 +1 x1a9a = +0

+1 x1828 -1 x1916 -1 x1917 = +0

+1 x18fb -1 x191e +0 x191f = +0

+1 x190b -1 x192e -1 x192f = +0

+1 x190c -1 x1930 +1 x1a0e +1 x1ab5 = +0

+1 x190e +1 x190f -1 x1932 -1 x1933 = +0

+1 x1916 -1 x193a +1 x1a16 +1 x1a5e +1 x1abc = +0

+1 x1797 -1 x193c -1 x193d = +0

+1 x18d7 -1 x1943 -1 x1944 = +0

+1 x163a -1 x1951 -1 x1952 = +0

+1 x192e -1 x1955 +0 x1956 = +0

+1 x1932 +1 x1933 -1 x195b = +0

+1 x1912 -1 x195e +1 x1a98 = +0

+1 x1879 -1 x196f -1 x1970 = +0

+1 x1951 -1 x1979 +1 x1a52 +1 x1a53 = +0

+1 x195e -1 x1984 -1 x1985 = +0

+1 x1894 -1 x198c -1 x198d = +0

+1 x1984 -1 x19a4 +0 x19a5 = +0

+1 x198d -1 x19ae +0 x19af = +0

+1 x1853 -1 x19b8 -1 x19b9 = +0

+1 x1836 -1 x19ba -1 x19bb = +0

+1 x1901 -1 x19bc -1 x19bd = +0

+1 x1979 -1 x19c3 +1 x1af4 = +0

+1 x195b -1 x19c8 -1 x19c9 = +0

+1 x19b8 +1 x19b9 -1 x19de -1 x19df = +0

+1 x19ba -1 x19e2 +1 x1aa8 +1 x1b59 = +0

+1 x18e2 -1 x19e7 -1 x19e8 = +0

+1 x19c3 -1 x19ea -1 x19eb = +0

+1 x191e -1 x19f8 +1 x1c39 = +0

+1 x18fc -1 x19f9 -1 x19fa = +0

+1 x19de +1 x19df -1 x19fb -1 x19fc = +0

+1 x19e7 +1 x19e8 -1 x1a04 = +0

+1 x185c -1 x1a06 -1 x1a07 = +0

+1 x19ea -1 x1a08 +0 x1a09 = +0

+1 x190d -1 x1a0e -1 x1a0f = +0

+1 x1917 -1 x1a16 -1 x1a17 = +0

+1 x19f8 -1 x1a1c -1 x1a1d = +0

+1 x19f9 -1 x1a1e +1 x1aea +1 x1b94 = +0

+1 x19fb +1 x19fc -1 x1a20 = +0

+1 x19e2 -1 x1a23 +1 x1b57 = +0

+1 x1a17 -1 x1a39 -1 x1a3a = +0

+1 x182d -1 x1a3c -1 x1a3d = +0

+1 x1775 -1 x1a3e -1 x1a3f = +0

+1 x1a1c -1 x1a40 +0 x1a41 = +0

+1 x1a23 -1 x1a47 -1 x1a48 = +0

+1 x1952 -1 x1a52 -1 x1a53 = +0

+1 x1a39 -1 x1a5c +1 x1a5d = +0

+1 x1a3a -1 x1a5d -1 x1a5e = +0

+1 x1a3c -1 x1a61 +1 x1d40 = +0

+1 x1a3e -1 x1a63 +1 x1b32 +1 x1b33 = +0

+1 x1a47 -1 x1a6b +0 x1a6c = +0

+1 x1985 -1 x1a7a -1 x1a7b = +0

+1 x1a7a -1 x1a98 +1 x1b64 +1 x1ba6 +1 x1c0e = +0

+1 x18ed -1 x1a9a -1 x1a9b = +0

+1 x1a61 -1 x1a9e +1 x1bd0 = +0

+1 x1a63 -1 x1aa0 +1 x1bd6 = +0

+1 x19bb -1 x1aa8 -1 x1aa9 = +0

+1 x1955 -1 x1ab1 -1 x1ab2 = +0

+1 x192f -1 x1ab3 -1 x1ab4 = +0

+1 x1a0f -1 x1ab5 -1 x1ab6 = +0

+1 x1a5c -1 x1abc -1 x1abd = +0

+1 x1a9e -1 x1abf -1 x1ac0 = +0

+1 x1aa0 -1 x1ac2 -1 x1ac3 = +0

+1 x1a08 -1 x1acf +1 x1d0c = +0

+1 x19eb -1 x1ad0 -1 x1ad1 = +0

+1 x1ab1 +1 x1ab2 -1 x1ad2 -1 x1ad3 = +0

+1 x1ab3 -1 x1ad6 +1 x1ba1 +1 x1c47 = +0

+1 x1abf -1 x1ae0 +0 x1ae1 = +0

+1 x1ac2 -1 x1ae4 +0 x1ae5 = +0

+1 x19fa -1 x1aea -1 x1aeb = +0

+1 x1acf -1 x1af2 -1 x1af3 = +0

+1 x1ad0 -1 x1af4 +1 x1bc2 +1 x1c66 = +0

+1 x1ad2 +1 x1ad3 -1 x1af6 -1 x1af7 = +0

+1 x1af2 -1 x1b18 +0 x1b19 = +0

+1 x1af6 +1 x1af7 -1 x1b1e = +0

+1 x1ad6 -1 x1b21 +1 x1c45 = +0

+1 x1a3f -1 x1b32 -1 x1b33 = +0

+1 x1a48 -1 x1b39 -1 x1b3a = +0

+1 x1b21 -1 x1b43 -1 x1b44 = +0

+1 x19ae -1 x1b4b -1 x1b4c = +0

+1 x1b39 -1 x1b57 +1 x1c22 +1 x1c5d +1 x1cc5 = +0

+1 x1aa9 -1 x1b59 -1 x1b5a = +0

+1 x1b43 -1 x1b60 +0 x1b61 = +0

+1 x1a7b -1 x1b64 -1 x1b65 = +0

+1 x1b1e -1 x1b7c -1 x1b7d = +0

+1 x1b65 -1 x1b84 -1 x1b85 = +0

+1 x1a3d -1 x1b8a -1 x1b8b = +0

+1 x1a40 -1 x1b90 -1 x1b91 = +0

+1 x1a1d -1 x1b92 -1 x1b93 = +0

+1 x1aeb -1 x1b94 -1 x1b95 = +0

+1 x1ab4 -1 x1ba1 -1 x1ba2 = +0

+1 x1b84 -1 x1ba4 +1 x1ba5 = +0

+1 x1b85 -1 x1ba5 -1 x1ba6 = +0

+1 x1ac0 -1 x1bab -1 x1bac = +0

+1 x1b8b -1 x1bae +1 x1cdb = +0

+1 x1ae4 -1 x1baf +1 x1df5 = +0

+1 x1ac3 -1 x1bb0 -1 x1bb1 = +0

+1 x1b90 +1 x1b91 -1 x1bb2 -1 x1bb3 = +0

+1 x1b92 -1 x1bb6 +1 x1c7c +1 x1d22 = +0

+1 x1ad1 -1 x1bc2 -1 x1bc3 = +0

+1 x1bab -1 x1bd0 +1 x1ea4 = +0

+1 x1b8a -1 x1bd2 +1 x1cba = +0

+1 x1baf -1 x1bd4 -1 x1bd5 = +0

+1 x1bb0 -1 x1bd6 +1 x1c9c +1 x1d47 = +0

+1 x1bb2 +1 x1bb3 -1 x1bd8 -1 x1bd9 = +0

+1 x18c1 -1 x1be4 -1 x1be5 = +0

+1 x1bd4 -1 x1bf5 +0 x1bf6 = +0

+1 x1bd8 +1 x1bd9 -1 x1bfb = +0

+1 x1bb6 -1 x1bfe +1 x1d20 = +0

+1 x1be4 +1 x1be5 -1 x1c05 = +0

+1 x1ba4 -1 x1c0e -1 x1c0f = +0

+1 x1bfe -1 x1c1c -1 x1c1d = +0

+1 x1b3a -1 x1c22 -1 x1c23 = +0

+1 x1b44 -1 x1c2a -1 x1c2b = +0

+1 x1c1c -1 x1c39 +0 x1c3a = +0

+1 x1c23 -1 x1c3e -1 x1c3f = +0

+1 x1c05 -1 x1c40 +1 x1d7f = +0

+1 x1c2a -1 x1c45 +1 x1d10 +1 x1d5e +1 x1dcc = +0

+1 x1ba2 -1 x1c47 -1 x1c48 = +0

+1 x1c3e -1 x1c5b +1 x1c5c = +0

+1 x1c3f -1 x1c5c -1 x1c5d = +0

+1 x1c40 -1 x1c5f -1 x1c60 = +0

+1 x1b18 -1 x1c62 -1 x1c63 = +0

+1 x1af3 -1 x1c64 -1 x1c65 = +0

+1 x1bc3 -1 x1c66 -1 x1c67 = +0

+1 x1b93 -1 x1c7c -1 x1c7d = +0

+1 x1c5f -1 x1c83 +0 x1c84 = +0

+1 x1c62 +1 x1c63 -1 x1c87 -1 x1c88 = +0

+1 x1c64 -1 x1c8b +1 x1d59 +1 x1e07 = +0

+1 x1bb1 -1 x1c9c -1 x1c9d = +0

+1 x1c87 +1 x1c88 -1 x1caa -1 x1cab = +0

+1 x1bd2 -1 x1cba -1 x1cbb = +0

+1 x1c5b -1 x1cc5 -1 x1cc6 = +0

+1 x1caa +1 x1cab -1 x1cca = +0

+1 x1c8b -1 x1ccd +1 x1e05 = +0

+1 x1cbb -1 x1cdb +0 x1cdc = +0

+1 x1ccd -1 x1ced -1 x1cee = +0

+1 x1ae0 -1 x1cf5 +1 x1e8a = +0

+1 x1bac -1 x1cf6 -1 x1cf7 = +0

+1 x1bae -1 x1cfc -1 x1cfd = +0

+1 x1c1d -1 x1d02 -1 x1d03 = +0

+1 x1ced -1 x1d0c +0 x1d0d = +0

+1 x1c2b -1 x1d10 -1 x1d11 = +0

+1 x1cf5 -1 x1d15 -1 x1d16 = +0

+1 x1cf7 -1 x1d18 +1 x1e54 = +0

+1 x1cfc -1 x1d19 -1 x1d1a = +0

+1 x1d02 -1 x1d20 +1 x1dfa +1 x1e3e +1 x1e96 = +0

+1 x1c7d -1 x1d22 -1 x1d23 = +0

+1 x1a20 -1 x1d24 -1 x1d25 = +0

+1 x1cca -1 x1d2d -1 x1d2e = +0

+1 x1d11 -1 x1d35 -1 x1d36 = +0

+1 x1d15 -1 x1d3a +0 x1d3b +1 x1d66 = +0

+1 x1d16 -1 x1d3c -1 x1d3d = +0

+1 x1cf6 -1 x1d3e +1 x1e30 = +0

+1 x1cfd +1 x1d19 +1 x1d1a -1 x1d40 = +0

+1 x1bf5 -1 x1d43 -1 x1d44 = +0

+1 x1bd5 -1 x1d45 -1 x1d46 = +0

+1 x1c9d -1 x1d47 -1 x1d48 = +0

+1 x1d24 +1 x1d25 -1 x1d4f = +0

+1 x1c83 -1 x1d53 +1 x1f68 = +0

+1 x1c60 -1 x1d54 -1 x1d55 = +0

+1 x1c65 -1 x1d59 -1 x1d5a = +0

+1 x1d35 -1 x1d5c +1 x1d5d = +0

+1 x1d36 -1 x1d5d -1 x1d5e = +0

+1 x1b4b +1 x1b4c -1 x1d60 = +0

+1 x1d3c -1 x1d65 -1 x1d66 +1 x1e6e = +0

+1 x1d18 -1 x1d6a -1 x1d6b = +0

+1 x1d43 +1 x1d44 -1 x1d6f -1 x1d70 = +0

+1 x1d45 -1 x1d73 +1 x1e38 +1 x1ec6 = +0

+1 x1d53 -1 x1d7d -1 x1d7e = +0

+1 x1d54 -1 x1d7f +1 x1e45 +1 x1ed6 = +0

+1 x1d6f +1 x1d70 -1 x1d93 -1 x1d94 = +0

+1 x1d4f -1 x1da0 +1 x1eb2 = +0

+1 x1d7d -1 x1da2 +0 x1da3 = +0

+1 x1d6a +1 x1d6b -1 x1db0 = +0

+1 x1d93 +1 x1d94 -1 x1db4 = +0

+1 x1d73 -1 x1db7 +1 x1ec4 = +0

+1 x1da0 -1 x1dc0 -1 x1dc1 = +0

+1 x1d5c -1 x1dcc -1 x1dcd = +0

+1 x1d3d -1 x1dd0 -1 x1dd1 = +0

+1 x1db7 -1 x1dd8 -1 x1dd9 = +0

+1 x1dc0 -1 x1ddf +0 x1de0 = +0

+1 x1cee -1 x1de6 -1 x1de7 = +0

+1 x1dd8 -1 x1df5 +0 x1df6 = +0

+1 x1d03 -1 x1dfa -1 x1dfb = +0

+1 x1de6 -1 x1e05 +1 x1eb7 +1 x1f00 +1 x1f4f = +0

+1 x1d5a -1 x1e07 -1 x1e08 = +0

+1 x1dfb -1 x1e1c -1 x1e1d = +0

+1 x1d3e -1 x1e30 -1 x1e31 = +0

+1 x1d46 -1 x1e38 -1 x1e39 = +0

+1 x1e1c -1 x1e3c +1 x1e3d = +0

+1 x1e1d -1 x1e3d -1 x1e3e = +0

+1 x1d55 -1 x1e45 -1 x1e46 = +0

+1 x1e31 -1 x1e54 +0 x1e55 = +0

+1 x1dd0 -1 x1e6d -1 x1e6e = +0

+1 x1db0 -1 x1e74 -1 x1e75 = +0

+1 x1d60 -1 x1e88 +1 x1f8e = +0

+1 x1e6d -1 x1e8a +1 x1fc3 = +0

+1 x1e74 -1 x1e8b -1 x1e8c = +0

+1 x1e3c -1 x1e96 -1 x1e97 = +0

+1 x1ddf -1 x1e98 +1 x2067 = +0

+1 x1dc1 -1 x1e99 -1 x1e9a = +0

+1 x1e88 -1 x1e9f -1 x1ea0 = +0

+1 x1e8b -1 x1ea4 +1 x1f76 +1 x1f92 = +0

+1 x1dd9 -1 x1eaa -1 x1eab = +0

+1 x1e98 -1 x1eb0 -1 x1eb1 = +0

+1 x1e99 -1 x1eb2 +1 x1f64 +1 x1fe9 = +0

+1 x1de7 -1 x1eb7 -1 x1eb8 = +0

+1 x1e9f -1 x1eba +0 x1ebb = +0

+1 x1eaa -1 x1ec4 +1 x1f78 +1 x1fb2 +1 x1ff7 = +0

+1 x1e39 -1 x1ec6 -1 x1ec7 = +0

+1 x1bfb -1 x1ec8 -1 x1ec9 = +0

+1 x1eb0 -1 x1ecc +0 x1ecd = +0

+1 x1da2 -1 x1ed2 -1 x1ed3 = +0

+1 x1d7e -1 x1ed4 -1 x1ed5 = +0

+1 x1e46 -1 x1ed6 -1 x1ed7 = +0

+1 x1eb8 -1 x1ed8 -1 x1ed9 = +0

+1 x1ec8 -1 x1eec +1 x1f99 +1 x1f9a = +0

+1 x1ed2 +1 x1ed3 -1 x1ef6 -1 x1ef7 = +0

+1 x1ed4 -1 x1efa +1 x2021 = +0

+1 x1ed8 -1 x1efe +1 x1eff = +0

+1 x1ed9 -1 x1eff -1 x1f00 = +0

+1 x1ef6 +1 x1ef7 -1 x1f13 -1 x1f14 = +0

+1 x1eec -1 x1f29 +1 x2015 = +0

+1 x1f13 +1 x1f14 -1 x1f2e = +0

+1 x1efa -1 x1f31 +1 x201f = +0

+1 x1d65 -1 x1f39 -1 x1f3a = +0

+1 x1e75 -1 x1f3d -1 x1f3e = +0

+1 x1f29 -1 x1f43 -1 x1f44 = +0

+1 x1f31 -1 x1f4a -1 x1f4b = +0

+1 x1efe -1 x1f4f -1 x1f50 = +0

+1 x1f39 -1 x1f53 +1 x2186 = +0

+1 x1e8c -1 x1f57 -1 x1f58 = +0

+1 x1f43 -1 x1f5e +0 x1f5f = +0

+1 x1e9a -1 x1f64 -1 x1f65 = +0

+1 x1f4a -1 x1f68 +0 x1f69 = +0

+1 x1ea0 -1 x1f6f -1 x1f70 = +0

+1 x1f3d +1 x1f3e -1 x1f76 = +0

+1 x1eab -1 x1f78 -1 x1f79 = +0

+1 x1f2e -1 x1f83 -1 x1f84 = +0

+1 x1f6f -1 x1f8e +1 x21b2 = +0

+1 x1f53 -1 x1f90 +1 x2073 = +0

+1 x1f57 +1 x1f58 -1 x1f92 = +0

+1 x1f79 -1 x1f95 -1 x1f96 = +0

+1 x1ec9 -1 x1f99 -1 x1f9a = +0

+1 x1f90 -1 x1faa -1 x1fab = +0

+1 x1f95 -1 x1fb0 +1 x1fb1 = +0

+1 x1f96 -1 x1fb1 -1 x1fb2 = +0

+1 x1faa -1 x1fc3 +0 x1fc4 = +0

+1 x1ecc -1 x1fe5 -1 x1fe6 = +0

+1 x1eb1 -1 x1fe7 -1 x1fe8 = +0

+1 x1f65 -1 x1fe9 -1 x1fea = +0

+1 x1fb0 -1 x1ff7 -1 x1ff8 = +0

+1 x1f5e -1 x1ff9 +1 x21a8 = +0

+1 x1f44 -1 x1ffa -1 x1ffb = +0

+1 x1fe5 +1 x1fe6 -1 x1ffc -1 x1ffd = +0

+1 x1fe7 -1 x2000 +1 x210b = +0

+1 x1f4b -1 x2004 -1 x2005 = +0

+1 x1ff9 -1 x2013 -1 x2014 = +0

+1 x1ffa -1 x2015 +1 x20ab +1 x211d = +0

+1 x1ffc +1 x1ffd -1 x2017 -1 x2018 = +0

+1 x2004 -1 x201f +1 x20b3 +1 x20e6 +1 x2124 = +0

+1 x1ed5 -1 x2021 -1 x2022 = +0

+1 x1db4 -1 x2028 -1 x2029 = +0

+1 x2013 -1 x202c +0 x202d = +0

+1 x2017 +1 x2018 -1 x2032 = +0

+1 x2000 -1 x2035 +1 x2109 = +0

+1 x1f3a -1 x2043 -1 x2044 = +0

+1 x2028 -1 x2045 +1 x20da +1 x20db = +0

+1 x2035 -1 x2050 -1 x2051 = +0

+1 x1fab -1 x205b -1 x205c = +0

+1 x2044 -1 x205e +1 x212c = +0

+1 x2050 -1 x2067 +0 x2068 = +0

+1 x1eba -1 x206f +1 x2197 = +0

+1 x1f70 -1 x2070 -1 x2071 = +0

+1 x205b -1 x2073 +1 x2275 = +0

+1 x2043 -1 x2075 +1 x2112 = +0

+1 x2045 -1 x2077 +1 x214d = +0

+1 x2032 -1 x207c -1 x207d = +0

+1 x206f -1 x2087 -1 x2088 = +0

+1 x2071 -1 x208a +1 x2160 = +0

+1 x2077 -1 x2091 -1 x2092 = +0

+1 x2087 -1 x209c +0 x209d +1 x2199 = +0

+1 x2070 -1 x209f +1 x2140 = +0

+1 x2091 -1 x20a5 +0 x20a6 = +0

+1 x1ffb -1 x20ab -1 x20ac = +0

+1 x2005 -1 x20b3 -1 x20b4 = +0

+1 x208a -1 x20bc -1 x20bd = +0

+1 x20b4 -1 x20cd -1 x20ce = +0

+1 x2029 -1 x20da -1 x20db = +0

+1 x20cd -1 x20e4 +1 x20e5 = +0

+1 x20ce -1 x20e5 -1 x20e6 = +0

+1 x20bc +1 x20bd -1 x20ea = +0

+1 x2051 -1 x20f5 -1 x20f6 = +0

+1 x20f5 -1 x2109 +1 x21ac +1 x21dd +1 x2216 = +0

+1 x1fe8 -1 x210b -1 x210c = +0

+1 x2075 -1 x2112 -1 x2113 = +0

+1 x202c -1 x2119 -1 x211a = +0

+1 x2014 -1 x211b -1 x211c = +0

+1 x20ac -1 x211d -1 x211e = +0

+1 x20e4 -1 x2124 -1 x2125 = +0

+1 x2113 -1 x212c +0 x212d = +0

+1 x20a5 -1 x212f +1 x22b1 = +0

+1 x2092 -1 x2130 -1 x2131 = +0

+1 x2119 +1 x211a -1 x2132 -1 x2133 = +0

+1 x211b -1 x2136 +1 x21d8 +1 x223e = +0

+1 x209f -1 x2140 -1 x2141 = +0

+1 x205c -1 x2143 -1 x2144 = +0

+1 x205e -1 x2149 -1 x214a = +0

+1 x212f -1 x214b -1 x214c = +0

+1 x2130 -1 x214d +1 x21ea +1 x2253 = +0

+1 x2132 +1 x2133 -1 x214f -1 x2150 = +0

+1 x2141 -1 x2160 +0 x2161 = +0

+1 x2144 -1 x2164 +1 x2234 = +0

+1 x2149 -1 x2165 -1 x2166 = +0

+1 x214b -1 x2168 +0 x2169 = +0

+1 x214f +1 x2150 -1 x216e = +0

+1 x2136 -1 x2171 +1 x223c = +0

+1 x2088 -1 x217c -1 x217d = +0

+1 x20ea -1 x2182 -1 x2183 = +0

+1 x2143 -1 x2184 +1 x221d = +0

+1 x214a +1 x2165 +1 x2166 -1 x2186 = +0

+1 x2171 -1 x218f -1 x2190 = +0

+1 x217c -1 x2197 +1 x2309 = +0

+1 x217d -1 x2198 -1 x2199 = +0

+1 x2182 -1 x219b -1 x219c = +0

+1 x2164 -1 x219f -1 x21a0 = +0

+1 x218f -1 x21a8 +0 x21a9 = +0

+1 x20f6 -1 x21ac -1 x21ad = +0

+1 x219b -1 x21b2 +1 x2246 +1 x225e = +0

+1 x216e -1 x21bf -1 x21c0 = +0

+1 x21ad -1 x21c7 -1 x21c8 = +0

+1 x219f +1 x21a0 -1 x21ce = +0

+1 x211c -1 x21d8 -1 x21d9 = +0

+1 x21c7 -1 x21db +1 x21dc = +0

+1 x21c8 -1 x21dc -1 x21dd = +0

+1 x2131 -1 x21ea -1 x21eb = +0

+1 x21db -1 x2216 -1 x2217 = +0

+1 x2183 -1 x221b -1 x221c = +0

+1 x2184 -1 x221d -1 x221e = +0

+1 x2190 -1 x2225 -1 x2226 = +0

+1 x219c -1 x222d -1 x222e = +0

+1 x221e -1 x2234 +0 x2235 = +0

+1 x2225 -1 x223c +1 x22b5 +1 x22d8 +1 x22fd = +0

+1 x21d9 -1 x223e -1 x223f = +0

+1 x221b +1 x221c -1 x2246 = +0

+1 x21ce -1 x224b -1 x224c = +0

+1 x2168 -1 x224f -1 x2250 = +0

+1 x214c -1 x2251 -1 x2252 = +0

+1 x21eb -1 x2253 -1 x2254 = +0

+1 x222d +1 x222e -1 x225e = +0

+1 x224b -1 x2260 -1 x2261 = +0

+1 x224f +1 x2250 -1 x2265 -1 x2266 = +0

+1 x2251 -1 x2269 +1 x22d3 +1 x2311 = +0

+1 x2260 -1 x2275 +1 x22f0 +1 x22f7 = +0

+1 x2265 +1 x2266 -1 x227a -1 x227b = +0

+1 x227a +1 x227b -1 x228e = +0

+1 x2269 -1 x2291 +1 x230f = +0

+1 x2291 -1 x22a4 -1 x22a5 = +0

+1 x22a4 -1 x22b1 +0 x22b2 = +0

+1 x2226 -1 x22b5 -1 x22b6 = +0

+1 x228e -1 x22c0 -1 x22c1 = +0

+1 x22b6 -1 x22c8 -1 x22c9 = +0

+1 x2198 -1 x22ca -1 x22cb = +0

+1 x224c -1 x22ce -1 x22cf = +0

+1 x2252 -1 x22d3 -1 x22d4 = +0

+1 x22c8 -1 x22d6 +1 x22d7 = +0

+1 x22c9 -1 x22d7 -1 x22d8 = +0

+1 x22ca -1 x22da +1 x239a = +0

+1 x2261 -1 x22de -1 x22df = +0

+1 x22ce +1 x22cf -1 x22f0 = +0

+1 x22da -1 x22f5 +1 x234d = +0

+1 x22de +1 x22df -1 x22f7 = +0

+1 x22d6 -1 x22fd -1 x22fe = +0

+1 x22f5 -1 x22ff -1 x2300 = +0

+1 x22a5 -1 x2304 -1 x2305 = +0

+1 x22ff -1 x2309 +0 x230a = +0

+1 x2304 -1 x230f +1 x2349 +1 x235b +1 x236d = +0

+1 x22d4 -1 x2311 -1 x2312 = +0

+1 x22cb -1 x2341 -1 x2342 = +0

+1 x2300 -1 x2345 -1 x2346 = +0

+1 x2342 -1 x2348 +1 x2386 = +0

+1 x2305 -1 x2349 -1 x234a = +0

+1 x2345 -1 x234d +1 x23d8 = +0

+1 x2341 -1 x234f +1 x237d = +0

+1 x234a -1 x2351 -1 x2352 = +0

+1 x2351 -1 x2359 +1 x235a = +0

+1 x2352 -1 x235a -1 x235b = +0

+1 x2359 -1 x236d -1 x236e = +0

+1 x234f -1 x237d -1 x237e = +0

+1 x237e -1 x2386 +0 x2387 = +0

+1 x2346 -1 x238b -1 x238c = +0

+1 x2348 -1 x2391 -1 x2392 = +0

+1 x238c -1 x2394 +1 x23c6 = +0

+1 x2391 -1 x2395 -1 x2396 = +0

+1 x238b -1 x2398 +1 x23bf = +0

+1 x2392 +1 x2395 +1 x2396 -1 x239a = +0

+1 x2394 -1 x239e -1 x239f = +0

+1 x239e +1 x239f -1 x23ab = +0

+1 x2398 -1 x23bf -1 x23c0 = +0

+1 x23c0 -1 x23c6 +0 x23c7 = +0

+1 x23ab -1 x23cf -1 x23d0 = +0

+1 x23cf -1 x23d3 -1 x23d4 = +0

+1 x23d3 -1 x23d8 +1 x23fd +1 x23fe = +0

+1 x23d0 -1 x23f1 -1 x23f2 = +0

+1 x23d4 -1 x23f5 -1 x23f6 = +0

+1 x23f1 +1 x23f2 -1 x23fd = +0

+1 x23f5 +1 x23f6 -1 x23fe = +0



-1 x2fd <= +0

-1 x823 <= +0

-1 x9f3 <= +0

-1 xb80 <= +0

-1 x1799 <= +0

-1 x1208 <= +0

-1 x193d <= +0

-1 x1abd <= +0

-1 x2b6 <= +0

-1 x506 <= +0

-1 x99d <= +0

-1 xb5a <= +0

-1 xd12 <= +0

-1 x11b5 <= +0

-1 x18ef <= +0

-1 x1533 <= +0

-1 x1a9b <= +0

-1 x1c0f <= +0

-1 x3ed <= +0

-1 x138f <= +0

-1 x47c <= +0

-1 x70e <= +0

-1 xd7f <= +0

-1 x13d3 <= +0

-1 x174b <= +0

-1 x1c48 <= +0

-1 x5d2 <= +0

-1 x747 <= +0

-1 x8ac <= +0

-1 xf9b <= +0

-1 x15c3 <= +0

-1 x1789 <= +0

-1 x190a <= +0

-1 x1e08 <= +0

-1 x5bd <= +0

-1 xb9e <= +0

-1 xf4e <= +0

-1 x159b <= +0

-1 x1ab6 <= +0

-1 x1dcd <= +0

-1 xdaa <= +0

-1 x1134 <= +0

-1 x1c67 <= +0

-1 x1f50 <= +0

-1 x926 <= +0

-1 x1070 <= +0

-1 x1250 <= +0

-1 x13ea <= +0

-1 x1ed7 <= +0

-1 x1a07 <= +0

-1 x2022 <= +0

-1 x2125 <= +0

-1 x8cc <= +0

-1 xc3e <= +0

-1 x11f1 <= +0

-1 x13c7 <= +0

-1 x156d <= +0

-1 x19bd <= +0

-1 x1fea <= +0

-1 x1cc6 <= +0

-1 x210c <= +0

-1 x2217 <= +0

-1 xa98 <= +0

-1 x1b5a <= +0

-1 xb6d <= +0

-1 xf1b <= +0

-1 x15df <= +0

-1 x1b95 <= +0

-1 x1e97 <= +0

-1 x223f <= +0

-1 xd6a <= +0

-1 xf62 <= +0

-1 x1103 <= +0

-1 x17ce <= +0

-1 x1d48 <= +0

-1 x1ec7 <= +0

-1 x1ff8 <= +0

-1 x2312 <= +0

-1 xd49 <= +0

-1 x1409 <= +0

-1 x177c <= +0

-1 x1d23 <= +0

-1 x211e <= +0

-1 x22fe <= +0

-1 x1604 <= +0

-1 x1944 <= +0

-1 x2254 <= +0

-1 x236e <= +0

-1 x147b +1 x1eba = +0

-1 x2198 +1 x2309 = +0

-1 x182d +1 x1ae0 = +0

-1 x1d65 +1 x1fc3 = +0

+1 x16e -1 x5d <= +0

-1 x21b +1 x6ee <= +0

-1 x99f +1 xeb0 <= +0

-1 x10a6 +1 x1620 <= +0

+1 x1e1 -1 x87 <= +0

-1 x30d +1 x81a <= +0

+1 x1025 -1 xb12 <= +0

-1 x1226 +1 x178e <= +0

+1 x382 -1 xe3 <= +0

-1 x4c7 +1 xa31 <= +0

+1 x1253 -1 xd2d <= +0

-1 x1442 +1 x1955 <= +0

-1 x146 +1 x4c3 <= +0

-1 x62b +1 xc16 <= +0

+1 x143c -1 xf47 <= +0

-1 x163a +1 x1b18 <= +0

-1 x1b8 +1 x649 <= +0

-1 x7dd +1 xef6 <= +0

-1 x11f3 +1 x16f9 <= +0

-1 x18c1 +1 x1da2 <= +0

-1 x2ab +1 x779 <= +0

+1 x1067 -1 x943 <= +0

-1 x137b +1 x1853 <= +0

-1 x1a20 +1 x1ecc <= +0

-1 x472 +1 x9fe <= +0

+1 x129a -1 xbde <= +0

-1 x1589 +1 x1a40 <= +0

-1 x1bfb +1 x202c <= +0

-1 x5c8 +1 xbda <= +0

+1 x1481 -1 xdf2 <= +0

-1 x1775 +1 x1bf5 <= +0

-1 x1db4 +1 x2168 <= +0

-1 x11a <= +0

-1 x54a <= +0

-1 x446 <= +0

-1 x579 <= +0

-1 x67b <= +0

-1 x42c <= +0

-1 x679 <= +0

-1 x6f9 <= +0

-1 x809 <= +0

-1 x964 <= +0

-1 xb1f <= +0

-1 xc80 <= +0

-1 xc03 <= +0

-1 xd63 <= +0

-1 xca5 <= +0

-1 xe19 <= +0

-1 xf83 <= +0

-1 x123c <= +0

-1 x12bb <= +0

-1 x1401 <= +0

-1 x10ad <= +0

-1 x12b9 <= +0

-1 x14a2 <= +0

-1 x15fe <= +0

-1 x1dd1 <= +0

-1 x1517 <= +0

+1 x1168 -1 xeb6 = +0

-1 x1168 +1 x14f0 <= +0

+1 x230 -1 xc9 <= +0

-1 x2df +1 x7af <= +0

-1 x894 +1 xd89 <= +0

+1 x230 -1 xc9 <= +0

-1 x2e0 <= +0

-1 x2df +1 x7af <= +0

-1 x895 <= +0

-1 x894 +1 xd89 <= +0

-1 xeb7 <= +0

+1 x1516 -1 xeb6 <= +0

-1 x1 +1 x1e = +0

-1 x1e +1 xc9 <= +0

-1 x147b +1 x19ae = +0

-1 x198c +1 x19af = +0

-1 x2070 +1 x2160 = +0

-1 x2140 +1 x2161 = +0

-1 x2341 +1 x2386 = +0

-1 x237d +1 x2387 = +0

-1 x238b +1 x23c6 = +0

-1 x23bf +1 x23c7 = +0

-1 x1b8a +1 x1cdb = +0

-1 x1cba +1 x1cdc = +0

-1 x1cf6 +1 x1e54 = +0

-1 x2043 +1 x212c = +0

-1 x2143 +1 x2234 = +0

-1 x221d +1 x2235 = +0

-1 x2112 +1 x212d = +0

-1 x1e30 +1 x1e55 = +0

-1 x147b +1 x19ae = +0

-1 x1f70 +1 x208a = +0

-1 x22cb +1 x2348 = +0

-1 x2346 +1 x2394 = +0

-1 x1a3d +1 x1bae = +0

-1 x1bac +1 x1d18 = +0

-1 x1f3a +1 x205e = +0

-1 x205c +1 x2164 = +0

-1 x1d60 +1 x1eba = +0

+1 x1ebb -1 x1f8e = +0

-1 x22da +1 x2309 = +0

+1 x230a -1 x234d = +0

-1 x1a61 +1 x1ae0 = +0

+1 x1ae1 -1 x1bd0 = +0

-1 x1f53 +1 x1fc3 = +0

+1 x1fc4 -1 x2073 = +0

-1 x1e8 +1 x2fc <= +0

-1 x78d +1 x822 <= +0

-1 x821 +1 x9f2 <= +0

-1 xb18 +1 xb7f <= +0

-1 x102e +1 x1207 <= +0

-1 x16e9 +1 x1798 <= +0

-1 x1797 +1 x193c <= +0

-1 x1a5c +1 x1abc <= +0

-1 x240 +1 x2b5 <= +0

-1 x371 +1 x3ec <= +0

-1 x4b3 +1 x505 <= +0

-1 x8da +1 x99c <= +0

-1 x99b +1 xb59 <= +0

-1 xc9b +1 xd11 <= +0

-1 x10f1 +1 x11b4 <= +0

-1 x12d9 +1 x138e <= +0

-1 x14c1 +1 x1532 <= +0

-1 x1844 +1 x18ee <= +0

-1 x18ed +1 x1a9a <= +0

-1 x1ba4 +1 x1c0e <= +0

-1 x408 +1 x47b <= +0

-1 x537 +1 x5bc <= +0

-1 x6ab +1 x70d <= +0

-1 xaed +1 xb9d <= +0

-1 xcc3 +1 xd7e <= +0

-1 xed8 +1 xf4d <= +0

-1 x131f +1 x13d2 <= +0

-1 x14e4 +1 x159a <= +0

-1 x16df +1 x174a <= +0

-1 x1a0f +1 x1ab5 <= +0

-1 x1ba2 +1 x1c47 <= +0

-1 x1d5c +1 x1dcc <= +0

-1 x552 +1 x5d1 <= +0

-1 x6a8 +1 x746 <= +0

-1 x83a +1 x8ab <= +0

-1 xce6 +1 xda9 <= +0

-1 xed5 +1 xf9a <= +0

-1 x10c4 +1 x1133 <= +0

-1 x1507 +1 x15c2 <= +0

-1 x16dc +1 x1788 <= +0

-1 x18a7 +1 x1909 <= +0

-1 x1bc3 +1 x1c66 <= +0

-1 x1d5a +1 x1e07 <= +0

-1 x1efe +1 x1f4f <= +0

-1 x780 +1 x925 <= +0

+1 x106f -1 xfb9 <= +0

-1 x106e +1 x124f <= +0

-1 x1381 +1 x13e9 <= +0

-1 x185c +1 x1a06 <= +0

-1 x1e46 +1 x1ed6 <= +0

-1 x1ed5 +1 x2021 <= +0

-1 x20e4 +1 x2124 <= +0

-1 x810 +1 x8cb <= +0

-1 x9dc +1 xa97 <= +0

-1 xbbb +1 xc3d <= +0

-1 x112c +1 x11f0 <= +0

-1 x11ef +1 x13c6 <= +0

-1 x14fe +1 x156c <= +0

-1 x1901 +1 x19bc <= +0

-1 x1aa9 +1 x1b59 <= +0

-1 x1c5b +1 x1cc5 <= +0

-1 x1f65 +1 x1fe9 <= +0

-1 x1fe8 +1 x210b <= +0

-1 x21db +1 x2216 <= +0

-1 xab7 +1 xb6c <= +0

-1 xc8a +1 xd48 <= +0

-1 xe9d +1 xf1a <= +0

-1 x1356 +1 x1408 <= +0

-1 x1522 +1 x15de <= +0

-1 x1717 +1 x177b <= +0

-1 x1aeb +1 x1b94 <= +0

-1 x1c7d +1 x1d22 <= +0

-1 x1e3c +1 x1e96 <= +0

-1 x20ac +1 x211d <= +0

-1 x21d9 +1 x223e <= +0

-1 x22d6 +1 x22fd <= +0

-1 xcb1 +1 xd69 <= +0

-1 xe9a +1 xf61 <= +0

-1 x108b +1 x1102 <= +0

-1 x1541 +1 x1603 <= +0

-1 x1714 +1 x17cd <= +0

-1 x18d7 +1 x1943 <= +0

-1 x1c9d +1 x1d47 <= +0

-1 x1e39 +1 x1ec6 <= +0

-1 x1fb0 +1 x1ff7 <= +0

-1 x21eb +1 x2253 <= +0

-1 x22d4 +1 x2311 <= +0

-1 x2359 +1 x236d <= +0

+1 x125 -1 x5d = +0

-1 x11e +1 x126 = +0

-1 x1fa +1 x242 = +0

+1 x243 -1 x2fa = +0

-1 x21b +1 x5f9 <= +0

+1 x5fa -1 x7ad <= +0

-1 x849 +1 x8dc <= +0

+1 x8dd -1 x9f0 <= +0

-1 xcc9 +1 xd58 = +0

+1 xd59 -1 xe86 = +0

-1 x1053 +1 x10f4 = +0

+1 x10f5 -1 x1205 = +0

-1 x144c +1 x14ea <= +0

+1 x14eb -1 x15f9 <= +0

-1 x17c0 +1 x1847 <= +0

+1 x1848 -1 x193a <= +0

-1 x15a +1 x182 <= +0

+1 x183 -1 x256 <= +0

-1 x2d7 +1 x340 <= +0

+1 x341 -1 x3ea <= +0

-1 x30d +1 x730 <= +0

+1 x731 -1 x902 <= +0

-1 x9c0 +1 xa5a <= +0

+1 xa5b -1 xb57 <= +0

-1 xe5c +1 xf05 <= +0

-1 x1009 +1 xf06 <= +0

-1 x11da +1 x1289 <= +0

+1 x128a -1 x138c <= +0

-1 x15ca +1 x166c <= +0

+1 x166d -1 x176d <= +0

-1 x1912 +1 x19a4 <= +0

+1 x19a5 -1 x1a98 <= +0

-1 x252 +1 x2ae <= +0

+1 x2af -1 x423 <= +0

-1 x493 +1 x500 <= +0

+1 x501 -1 x5ba <= +0

-1 x865 +1 x8fd <= +0

+1 x8fe -1 xb0f <= +0

-1 xbc6 +1 xc6f <= +0

+1 xc70 -1 xd7c <= +0

-1 x1075 +1 x1112 <= +0

+1 x1113 -1 x1224 <= +0

-1 x13f2 +1 x1496 <= +0

+1 x1497 -1 x1598 <= +0

-1 x17b2 +1 x183d <= +0

+1 x183e -1 x1930 <= +0

-1 x1ad6 +1 x1b60 <= +0

+1 x1b61 -1 x1c45 <= +0

-1 x399 +1 x402 <= +0

+1 x403 -1 x56b <= +0

-1 x5f0 +1 x668 <= +0

+1 x669 -1 x744 <= +0

-1 xa52 +1 xae7 <= +0

+1 xae8 -1 xd08 <= +0

-1 xddb +1 xe7a <= +0

+1 xe7b -1 xf98 <= +0

-1 x1281 +1 x1318 <= +0

+1 x1319 -1 x1413 <= +0

-1 x15ed +1 x168d <= +0

+1 x168e -1 x1786 <= +0

-1 x1979 +1 x1a08 <= +0

+1 x1a09 -1 x1af4 <= +0

-1 x1c8b +1 x1d0c <= +0

+1 x1d0d -1 x1e05 <= +0

-1 x1b8 +1 x566 = +0

-1 x54e +1 x567 = +0

-1 x7a1 +1 x812 = +0

+1 x813 -1 x923 = +0

-1 x7dd +1 xda2 <= +0

+1 xda3 -1 xfdd <= +0

-1 x109a +1 x112e <= +0

+1 x112f -1 x124d <= +0

-1 x1528 +1 x15ba = +0

+1 x15bb -1 x16d6 = +0

-1 x1883 +1 x1904 = +0

+1 x1905 -1 x1a04 = +0

-1 x1c05 +1 x1c83 <= +0

+1 x1c84 -1 x1d7f <= +0

-1 x1efa +1 x1f68 <= +0

+1 x1f69 -1 x201f <= +0

-1 x607 +1 x67e <= +0

+1 x67f -1 x831 <= +0

-1 x8f2 +1 x98c <= +0

+1 x98d -1 xa95 <= +0

-1 x943 +1 xf40 <= +0

-1 x1150 +1 xf41 <= +0

-1 x1217 +1 x12c7 <= +0

+1 x12c8 -1 x13c4 <= +0

-1 x16af +1 x173d <= +0

+1 x173e -1 x1837 <= +0

-1 x19e2 +1 x1a6b <= +0

+1 x1a6c -1 x1b57 <= +0

-1 x1d4f +1 x1ddf <= +0

+1 x1de0 -1 x1eb2 <= +0

-1 x2000 +1 x2067 <= +0

+1 x2068 -1 x2109 <= +0

-1 x82d +1 x8c4 <= +0

+1 x8c5 -1 xae0 <= +0

-1 xb8f +1 xc38 <= +0

+1 xc39 -1 xd46 <= +0

-1 x10b6 +1 x114b <= +0

+1 x114c -1 x1378 <= +0

-1 x1430 +1 x14d5 <= +0

+1 x14d6 -1 x15dc <= +0

-1 x189b +1 x191e <= +0

+1 x191f -1 x1a1e <= +0

-1 x1bb6 +1 x1c39 <= +0

+1 x1c3a -1 x1d20 <= +0

-1 x1eec +1 x1f5e <= +0

+1 x1f5f -1 x2015 <= +0

-1 x2136 +1 x21a8 <= +0

+1 x21a9 -1 x223c <= +0

-1 xa23 +1 xab1 <= +0

+1 xab2 -1 xcd9 <= +0

-1 xd99 +1 xe49 <= +0

+1 xe4a -1 xf5f <= +0

-1 x12bf +1 x1350 <= +0

+1 x1351 -1 x1563 <= +0

-1 x162e +1 x16ca <= +0

+1 x16cb -1 x17cb <= +0

-1 x1a63 +1 x1ae4 <= +0

+1 x1ae5 -1 x1bd6 <= +0

-1 x1d73 +1 x1df5 <= +0

+1 x1df6 -1 x1ec4 <= +0

-1 x2045 +1 x20a5 <= +0

+1 x20a6 -1 x214d <= +0

-1 x2269 +1 x22b1 <= +0

+1 x22b2 -1 x230f <= +0

+1 x125 -1 x5d = +0

-1 x165 +1 x242 <= +0

-1 x21b +1 x5f9 <= +0

-1 x6d2 +1 x8dc <= +0

-1 x99f +1 xd58 = +0

+1 x10f4 -1 xe85 <= +0

-1 x10a6 +1 x14ea <= +0

-1 x15f8 +1 x1847 <= +0

+1 x182 -1 x87 <= +0

-1 x1d6 +1 x340 <= +0

-1 x30d +1 x730 <= +0

-1 x7fe +1 xa5a <= +0

-1 xb12 +1 xf05 <= +0

-1 x1008 +1 x1289 <= +0

-1 x1226 +1 x166c <= +0

-1 x176c +1 x19a4 <= +0

+1 x2ae -1 xe3 <= +0

-1 x36b +1 x500 <= +0

-1 x4c7 +1 x8fd <= +0

-1 xa0b +1 xc6f <= +0

+1 x1112 -1 xd2d <= +0

-1 x1223 +1 x1496 <= +0

-1 x1442 +1 x183d <= +0

-1 x192f +1 x1b60 <= +0

-1 x146 +1 x402 <= +0

-1 x4a8 +1 x668 <= +0

-1 x62b +1 xae7 <= +0

-1 xbec +1 xe7a <= +0

+1 x1318 -1 xf47 <= +0

-1 x1412 +1 x168d <= +0

-1 x163a +1 x1a08 <= +0

-1 x1af3 +1 x1d0c <= +0

-1 x1b8 +1 x566 = +0

-1 x629 +1 x812 <= +0

-1 x7dd +1 xda2 <= +0

+1 x112e -1 xece <= +0

-1 x11f3 +1 x15ba = +0

-1 x16d5 +1 x1904 <= +0

-1 x18c1 +1 x1c83 <= +0

-1 x1d7e +1 x1f68 <= +0

-1 x2ab +1 x67e <= +0

-1 x75d +1 x98c <= +0

-1 x943 +1 xf40 <= +0

-1 x1041 +1 x12c7 <= +0

-1 x137b +1 x173d <= +0

-1 x1836 +1 x1a6b <= +0

-1 x1a20 +1 x1ddf <= +0

-1 x1eb1 +1 x2067 <= +0

-1 x472 +1 x8c4 <= +0

-1 x9d6 +1 xc38 <= +0

+1 x114b -1 xbde <= +0

-1 x1271 +1 x14d5 <= +0

-1 x1589 +1 x191e <= +0

-1 x1a1d +1 x1c39 <= +0

-1 x1bfb +1 x1f5e <= +0

-1 x2014 +1 x21a8 <= +0

-1 x5c8 +1 xab1 <= +0

-1 xbb0 +1 xe49 <= +0

+1 x1350 -1 xdf2 <= +0

-1 x1458 +1 x16ca <= +0

-1 x1775 +1 x1ae4 <= +0

-1 x1bd5 +1 x1df5 <= +0

-1 x1db4 +1 x20a5 <= +0

-1 x214c +1 x22b1 <= +0

-1 x125 +1 x16e <= +0

+1 x16f -1 x242 <= +0

-1 x5f9 +1 x6ee <= +0

+1 x6ef -1 x8dc <= +0

-1 xd58 +1 xeb0 <= +0

-1 x10f4 +1 xeb1 <= +0

-1 x14ea +1 x1620 <= +0

+1 x1621 -1 x1847 <= +0

-1 x182 +1 x1e1 <= +0

+1 x1e2 -1 x340 <= +0

-1 x730 +1 x81a <= +0

+1 x81b -1 xa5a <= +0

+1 x1025 -1 xf05 <= +0

+1 x1026 -1 x1289 <= +0

-1 x166c +1 x178e <= +0

+1 x178f -1 x19a4 <= +0

-1 x2ae +1 x382 <= +0

+1 x383 -1 x500 <= +0

-1 x8fd +1 xa31 <= +0

+1 xa32 -1 xc6f <= +0

-1 x1112 +1 x1253 <= +0

+1 x1254 -1 x1496 <= +0

-1 x183d +1 x1955 <= +0

+1 x1956 -1 x1b60 <= +0

-1 x402 +1 x4c3 <= +0

+1 x4c4 -1 x668 <= +0

-1 xae7 +1 xc16 <= +0

+1 xc17 -1 xe7a <= +0

-1 x1318 +1 x143c <= +0

+1 x143d -1 x168d <= +0

-1 x1a08 +1 x1b18 <= +0

+1 x1b19 -1 x1d0c <= +0

-1 x566 +1 x649 <= +0

+1 x64a -1 x812 <= +0

-1 xda2 +1 xef6 <= +0

-1 x112e +1 xef7 <= +0

-1 x15ba +1 x16f9 <= +0

+1 x16fa -1 x1904 <= +0

-1 x1c83 +1 x1da2 <= +0

+1 x1da3 -1 x1f68 <= +0

-1 x67e +1 x779 <= +0

+1 x77a -1 x98c <= +0

+1 x1067 -1 xf40 <= +0

+1 x1068 -1 x12c7 <= +0

-1 x173d +1 x1853 <= +0

+1 x1854 -1 x1a6b <= +0

-1 x1ddf +1 x1ecc <= +0

+1 x1ecd -1 x2067 <= +0

-1 x8c4 +1 x9fe <= +0

+1 x9ff -1 xc38 <= +0

-1 x114b +1 x129a <= +0

+1 x129b -1 x14d5 <= +0

-1 x191e +1 x1a40 <= +0

+1 x1a41 -1 x1c39 <= +0

-1 x1f5e +1 x202c <= +0

+1 x202d -1 x21a8 <= +0

-1 xab1 +1 xbda <= +0

+1 xbdb -1 xe49 <= +0

-1 x1350 +1 x1481 <= +0

+1 x1482 -1 x16ca <= +0

-1 x1ae4 +1 x1bf5 <= +0

+1 x1bf6 -1 x1df5 <= +0

-1 x20a5 +1 x2168 <= +0

+1 x2169 -1 x22b1 <= +0

+1 x1168 -1 xeb6 = +0

-1 x1142 +1 x1169 = +0

-1 x1d3d +1 x1dd0 <= +0

-1 x147b +1 x1eba = +0

-1 x2198 +1 x2309 = +0

-1 x182d +1 x1ae0 = +0

-1 x1d65 +1 x1fc3 = +0

-1 x1eba +1 x209c = +0

+1 x209d -1 x2197 = +0

-1 x1ae0 +1 x1d3a <= +0

+1 x1d3b -1 x1e8a <= +0

-1 x1168 +1 x14a0 = +0

-1 x1677 +1 x184d <= +0

-1 x14c9 +1 x1674 <= +0

+1 x1675 -1 x16a2 <= +0

-1 x3dd +1 x445 <= +0

-1 x50c +1 x578 <= +0

-1 x677 +1 x6f8 <= +0

-1 x602 +1 x67a <= +0

-1 x600 +1 x678 <= +0

-1 x795 +1 x808 <= +0

-1 x24c +1 x2a3 = +0

+1 x2a4 -1 x392 = +0

-1 x390 +1 x3f8 <= +0

+1 x3f9 -1 x4da <= +0

-1 x4bb +1 x527 <= +0

+1 x528 -1 x622 <= +0

-1 x620 +1 x694 <= +0

+1 x695 -1 x7b4 <= +0

-1 x3bf +1 x42b <= +0

-1 x17e +1 x2a3 = +0

-1 x234 +1 x2a1 <= +0

-1 x362 +1 x3da <= +0

-1 x49d +1 x525 <= +0

-1 x188 +1 x1b3 <= +0

+1 x1b4 -1 x24a <= +0

-1 x376 +1 x3d7 <= +0

+1 x3d8 -1 x4b9 <= +0

+1 x1b3 -1 xc9 <= +0

-1 x221 +1 x289 <= +0

-1 x1b3 +1 x230 <= +0

+1 x231 -1 x289 <= +0

-1 x8be +1 x963 <= +0

-1 xa8b +1 xb1e <= +0

-1 xc01 +1 xca4 <= +0

-1 xbd7 +1 xc7f <= +0

-1 xb5f +1 xc02 <= +0

-1 xd61 +1 xe18 <= +0

-1 xcd1 +1 xd62 <= +0

-1 xeed +1 xf82 <= +0

-1 x55c +1 x5c0 = +0

+1 x5c1 -1 x6d8 = +0

-1 x850 +1 x8e4 <= +0

+1 x8e5 -1 xa44 <= +0

-1 xa1e +1 xaab <= +0

+1 xaac -1 xc04 <= +0

-1 xb83 +1 xc2a <= +0

+1 xc2b -1 xd90 <= +0

-1 x2df +1 x5c0 = +0

-1 x691 +1 x737 <= +0

-1 x805 +1 x8bb <= +0

-1 x981 +1 xa40 <= +0

-1 x5c0 +1 x6b2 <= +0

+1 x6b3 -1 x737 <= +0

-1 x8bb +1 x9a5 <= +0

+1 x9a6 -1 xa40 <= +0

-1 x2df +1 x6b2 <= +0

-1 x78f +1 x825 <= +0

-1 x6b2 +1 x7af <= +0

+1 x7b0 -1 x825 <= +0

-1 x120d +1 x12ba <= +0

-1 x120b +1 x12b8 <= +0

-1 x13fe +1 x14a1 <= +0

-1 x1199 +1 x123b <= +0

-1 x1371 +1 x1400 <= +0

-1 x1560 +1 x15fd <= +0

-1 xdbd +1 xe66 = +0

+1 xe67 -1 xfcf = +0

+1 x105e -1 xfcd <= +0

+1 x105f -1 x11c1 <= +0

-1 x1196 +1 x1237 <= +0

+1 x1238 -1 x1394 <= +0

-1 x1392 +1 x1424 <= +0

+1 x1425 -1 x1581 <= +0

-1 x100f +1 x10ac <= +0

-1 xb82 +1 xe66 = +0

-1 xd8d +1 xe64 <= +0

+1 x1033 -1 xf7f <= +0

-1 x116c +1 x1235 <= +0

-1 xba6 +1 xc50 <= +0

+1 xc51 -1 xdbb <= +0

+1 x1030 -1 xfa5 <= +0

+1 x1031 -1 x1194 <= +0

-1 x894 +1 xc50 <= +0

-1 xd5d +1 xe3c <= +0

-1 xc50 +1 xd89 <= +0

+1 xd8a -1 xe3c <= +0

-1 x1 +1 xf = +0

+1 x10 -1 xe = +0

-1 x29 +1 x39 = +0

-1 x37 +1 x3a = +0

-1 x1 +1 xf = +0

-1 x1d +1 x2b = +0

+1 x1e -1 xf = +0

+1 x1f -1 x2b = +0

+1 x21b -1 x5d <= +0

+1 x10a6 -1 x99f <= +0

+1 x30d -1 x87 <= +0

+1 x1226 -1 xb12 <= +0

+1 x4c7 -1 xe3 <= +0

+1 x1442 -1 xd2d <= +0

-1 x146 +1 x62b <= +0

+1 x163a -1 xf47 <= +0

-1 x1b8 +1 x7dd <= +0

-1 x11f3 +1 x18c1 <= +0

-1 x2ab +1 x943 <= +0

-1 x137b +1 x1a20 <= +0

-1 x472 +1 xbde <= +0

-1 x1589 +1 x1bfb <= +0

-1 x5c8 +1 xdf2 <= +0

-1 x1775 +1 x1db4 <= +0

-1 x21b +1 x88c <= +0

-1 x10a6 +1 x1806 <= +0

-1 x30d +1 xa0d <= +0

-1 x1226 +1 x195b <= +0

-1 x4c7 +1 xc1a <= +0

-1 x1442 +1 x1b1e <= +0

-1 x62b +1 xe29 <= +0

-1 x163a +1 x1cca <= +0

+1 x10df -1 x7dd <= +0

-1 x18c1 +1 x1f2e <= +0

+1 x1273 -1 x943 <= +0

-1 x1a20 +1 x2032 <= +0

+1 x1485 -1 xbde <= +0

-1 x1bfb +1 x216e <= +0

+1 x167a -1 xdf2 <= +0

-1 x1db4 +1 x228e <= +0

-1 x904 +1 x9c4 <= +0

-1 x1869 +1 x9c5 <= +0

-1 xa7c +1 xb33 <= +0

-1 x19c8 +1 xb34 <= +0

-1 xc93 +1 xd4f <= +0

-1 x1b7c +1 xd50 <= +0

-1 xea4 +1 xf6d <= +0

-1 x1d2d +1 xf6e <= +0

-1 x1152 +1 x121b <= +0

+1 x121c -1 x1f83 <= +0

-1 x12ec +1 x139d <= +0

+1 x139e -1 x207c <= +0

-1 x14f6 +1 x15b1 <= +0

+1 x15b2 -1 x21bf <= +0

-1 x16ed +1 x179c <= +0

+1 x179d -1 x22c0 <= +0

+1 x119 -1 xfb <= +0

-1 x4dd +1 x549 <= +0

-1 x5d +1 x935 <= +0

-1 x87 +1 xaa1 <= +0

+1 xcbf -1 xe3 <= +0

-1 x146 +1 xed1 <= +0

+1 x117e -1 x1b8 <= +0

+1 x1312 -1 x2ab <= +0

+1 x151e -1 x472 <= +0

+1 x1710 -1 x5c8 <= +0

-1 x5e +1 x67 <= +0

+1 x68 -1 x8d <= +0

+1 x101 -1 xe8 <= +0

+1 x102 -1 x14d <= +0

-1 x1c6 +1 x1ff <= +0

+1 x200 -1 x2cb <= +0

-1 x489 +1 x4f6 <= +0

+1 x4f7 -1 x5e5 <= +0

-1 x1e +1 x67 <= +0

-1 x80 +1 xb4 <= +0

+1 x1ff -1 xc3 <= +0

-1 x291 +1 x3ae <= +0

-1 x67 +1 x83 <= +0

+1 x84 -1 xb4 <= +0

-1 x1ff +1 x2a7 <= +0

+1 x2a8 -1 x3ae <= +0

-1 x1e +1 x83 <= +0

+1 x2a7 -1 xc3 <= +0

-1 x83 +1 xc9 <= +0

-1 x2a7 +1 xca <= +0




-6 x147b +1 x198c <= +0

-6 x147b +1 x198c <= +0

-6 x147b +1 x198c <= +0

-7 x1f70 +1 x2070 +1 x2140 <= +0

-6 x2070 +1 x2140 <= +0

-6 x1f70 +1 x2140 <= +0

-7 x22cb +1 x2341 +1 x237d <= +0

-6 x2341 +1 x237d <= +0

-6 x22cb +1 x237d <= +0

-7 x2346 +1 x238b +1 x23bf <= +0

-6 x238b +1 x23bf <= +0

-6 x2346 +1 x23bf <= +0

-7 x1a3d +1 x1b8a +1 x1cba <= +0

-6 x1b8a +1 x1cba <= +0

-6 x1a3d +1 x1cba <= +0

-7 x1bac +1 x1cf6 +1 x1e30 <= +0

-6 x1cf6 +1 x1e30 <= +0

-6 x1bac +1 x1e30 <= +0

-7 x1f3a +1 x2043 +1 x2112 <= +0

-6 x2043 +1 x2112 <= +0

-6 x1f3a +1 x2112 <= +0

-7 x205c +1 x2143 +1 x221d <= +0

-6 x2143 +1 x221d <= +0

-6 x205c +1 x221d <= +0


-3 x147b +1 x1d60 +1 x1f8e <= +0

-2 x1d60 +1 x1f8e <= +0

-2 x147b +1 x1f8e <= +0

-3 x2198 +1 x22da +1 x234d <= +0

-2 x22da +1 x234d <= +0

-2 x2198 +1 x234d <= +0

-3 x182d +1 x1a61 +1 x1bd0 <= +0

-2 x1a61 +1 x1bd0 <= +0

-2 x182d +1 x1bd0 <= +0

-3 x1d65 +1 x1f53 +1 x2073 <= +0

-2 x1f53 +1 x2073 <= +0

-2 x1d65 +1 x2073 <= +0


+1 x11e -8 x5d >= +0

+1 x11e -8 x5d <= +0

+1 x11e -8 x5d <= +0

+1 x11e -8 x5d <= +0

-9 x165 +1 x1fa +1 x2fa <= +0

-8 x1fa +1 x2fa <= +0

-8 x165 +1 x2fa <= +0

-8 x21b +1 x7ad <= +0

-8 x21b +1 x7ad <= +0

-8 x21b +1 x7ad <= +0

-9 x6d2 +1 x849 +1 x9f0 <= +0

-8 x849 +1 x9f0 <= +0

-8 x6d2 +1 x9f0 <= +0

-9 x99f +1 xcc9 +1 xe86 >= +0

-9 x99f +1 xcc9 +1 xe86 <= +0

-8 xcc9 +1 xe86 <= +0

-8 x99f +1 xe86 <= +0

+1 x1053 +1 x1205 -9 xe85 <= +0

-8 x1053 +1 x1205 <= +0

+1 x1205 -8 xe85 <= +0

-9 x10a6 +1 x144c +1 x15f9 <= +0

-8 x144c +1 x15f9 <= +0

-8 x10a6 +1 x15f9 <= +0

-9 x15f8 +1 x17c0 +1 x193a <= +0

-8 x17c0 +1 x193a <= +0

-8 x15f8 +1 x193a <= +0

+1 x15a +1 x256 -9 x87 <= +0

-8 x15a +1 x256 <= +0

+1 x256 -8 x87 <= +0

-9 x1d6 +1 x2d7 +1 x3ea <= +0

-8 x2d7 +1 x3ea <= +0

-8 x1d6 +1 x3ea <= +0

-8 x30d +1 x902 <= +0

-8 x30d +1 x902 <= +0

-8 x30d +1 x902 <= +0

-9 x7fe +1 x9c0 +1 xb57 <= +0

-8 x9c0 +1 xb57 <= +0

-8 x7fe +1 xb57 <= +0

+1 x1009 -9 xb12 +1 xe5c <= +0

+1 x1009 -8 xe5c <= +0

+1 x1009 -8 xb12 <= +0

-9 x1008 +1 x11da +1 x138c <= +0

-8 x11da +1 x138c <= +0

-8 x1008 +1 x138c <= +0

-9 x1226 +1 x15ca +1 x176d <= +0

-8 x15ca +1 x176d <= +0

-8 x1226 +1 x176d <= +0

-9 x176c +1 x1912 +1 x1a98 <= +0

-8 x1912 +1 x1a98 <= +0

-8 x176c +1 x1a98 <= +0

+1 x252 +1 x423 -9 xe3 <= +0

-8 x252 +1 x423 <= +0

+1 x423 -8 xe3 <= +0

-9 x36b +1 x493 +1 x5ba <= +0

-8 x493 +1 x5ba <= +0

-8 x36b +1 x5ba <= +0

-9 x4c7 +1 x865 +1 xb0f <= +0

-8 x865 +1 xb0f <= +0

-8 x4c7 +1 xb0f <= +0

-9 xa0b +1 xbc6 +1 xd7c <= +0

-8 xbc6 +1 xd7c <= +0

-8 xa0b +1 xd7c <= +0

+1 x1075 +1 x1224 -9 xd2d <= +0

-8 x1075 +1 x1224 <= +0

+1 x1224 -8 xd2d <= +0

-9 x1223 +1 x13f2 +1 x1598 <= +0

-8 x13f2 +1 x1598 <= +0

-8 x1223 +1 x1598 <= +0

-9 x1442 +1 x17b2 +1 x1930 <= +0

-8 x17b2 +1 x1930 <= +0

-8 x1442 +1 x1930 <= +0

-9 x192f +1 x1ad6 +1 x1c45 <= +0

-8 x1ad6 +1 x1c45 <= +0

-8 x192f +1 x1c45 <= +0

-9 x146 +1 x399 +1 x56b <= +0

-8 x399 +1 x56b <= +0

-8 x146 +1 x56b <= +0

-9 x4a8 +1 x5f0 +1 x744 <= +0

-8 x5f0 +1 x744 <= +0

-8 x4a8 +1 x744 <= +0

-9 x62b +1 xa52 +1 xd08 <= +0

-8 xa52 +1 xd08 <= +0

-8 x62b +1 xd08 <= +0

-9 xbec +1 xddb +1 xf98 <= +0

-8 xddb +1 xf98 <= +0

-8 xbec +1 xf98 <= +0

+1 x1281 +1 x1413 -9 xf47 <= +0

-8 x1281 +1 x1413 <= +0

+1 x1413 -8 xf47 <= +0

-9 x1412 +1 x15ed +1 x1786 <= +0

-8 x15ed +1 x1786 <= +0

-8 x1412 +1 x1786 <= +0

-9 x163a +1 x1979 +1 x1af4 <= +0

-8 x1979 +1 x1af4 <= +0

-8 x163a +1 x1af4 <= +0

-9 x1af3 +1 x1c8b +1 x1e05 <= +0

-8 x1c8b +1 x1e05 <= +0

-8 x1af3 +1 x1e05 <= +0

-8 x1b8 +1 x54e >= +0

-8 x1b8 +1 x54e <= +0

-8 x1b8 +1 x54e <= +0

-8 x1b8 +1 x54e <= +0

-9 x629 +1 x7a1 +1 x923 <= +0

-8 x7a1 +1 x923 <= +0

-8 x629 +1 x923 <= +0

-8 x7dd +1 xfdd <= +0

-8 x7dd +1 xfdd <= +0

-8 x7dd +1 xfdd <= +0

+1 x109a +1 x124d -9 xece <= +0

-8 x109a +1 x124d <= +0

+1 x124d -8 xece <= +0

-9 x11f3 +1 x1528 +1 x16d6 >= +0

-9 x11f3 +1 x1528 +1 x16d6 <= +0

-8 x1528 +1 x16d6 <= +0

-8 x11f3 +1 x16d6 <= +0

-9 x16d5 +1 x1883 +1 x1a04 <= +0

-8 x1883 +1 x1a04 <= +0

-8 x16d5 +1 x1a04 <= +0

-9 x18c1 +1 x1c05 +1 x1d7f <= +0

-8 x1c05 +1 x1d7f <= +0

-8 x18c1 +1 x1d7f <= +0

-9 x1d7e +1 x1efa +1 x201f <= +0

-8 x1efa +1 x201f <= +0

-8 x1d7e +1 x201f <= +0

-9 x2ab +1 x607 +1 x831 <= +0

-8 x607 +1 x831 <= +0

-8 x2ab +1 x831 <= +0

-9 x75d +1 x8f2 +1 xa95 <= +0

-8 x8f2 +1 xa95 <= +0

-8 x75d +1 xa95 <= +0

+1 x1150 -8 x943 <= +0

+1 x1150 -8 x943 <= +0

+1 x1150 -8 x943 <= +0

-9 x1041 +1 x1217 +1 x13c4 <= +0

-8 x1217 +1 x13c4 <= +0

-8 x1041 +1 x13c4 <= +0

-9 x137b +1 x16af +1 x1837 <= +0

-8 x16af +1 x1837 <= +0

-8 x137b +1 x1837 <= +0

-9 x1836 +1 x19e2 +1 x1b57 <= +0

-8 x19e2 +1 x1b57 <= +0

-8 x1836 +1 x1b57 <= +0

-9 x1a20 +1 x1d4f +1 x1eb2 <= +0

-8 x1d4f +1 x1eb2 <= +0

-8 x1a20 +1 x1eb2 <= +0

-9 x1eb1 +1 x2000 +1 x2109 <= +0

-8 x2000 +1 x2109 <= +0

-8 x1eb1 +1 x2109 <= +0

-9 x472 +1 x82d +1 xae0 <= +0

-8 x82d +1 xae0 <= +0

-8 x472 +1 xae0 <= +0

-9 x9d6 +1 xb8f +1 xd46 <= +0

-8 xb8f +1 xd46 <= +0

-8 x9d6 +1 xd46 <= +0

+1 x10b6 +1 x1378 -9 xbde <= +0

-8 x10b6 +1 x1378 <= +0

+1 x1378 -8 xbde <= +0

-9 x1271 +1 x1430 +1 x15dc <= +0

-8 x1430 +1 x15dc <= +0

-8 x1271 +1 x15dc <= +0

-9 x1589 +1 x189b +1 x1a1e <= +0

-8 x189b +1 x1a1e <= +0

-8 x1589 +1 x1a1e <= +0

-9 x1a1d +1 x1bb6 +1 x1d20 <= +0

-8 x1bb6 +1 x1d20 <= +0

-8 x1a1d +1 x1d20 <= +0

-9 x1bfb +1 x1eec +1 x2015 <= +0

-8 x1eec +1 x2015 <= +0

-8 x1bfb +1 x2015 <= +0

-9 x2014 +1 x2136 +1 x223c <= +0

-8 x2136 +1 x223c <= +0

-8 x2014 +1 x223c <= +0

-9 x5c8 +1 xa23 +1 xcd9 <= +0

-8 xa23 +1 xcd9 <= +0

-8 x5c8 +1 xcd9 <= +0

-9 xbb0 +1 xd99 +1 xf5f <= +0

-8 xd99 +1 xf5f <= +0

-8 xbb0 +1 xf5f <= +0

+1 x12bf +1 x1563 -9 xdf2 <= +0

-8 x12bf +1 x1563 <= +0

+1 x1563 -8 xdf2 <= +0

-9 x1458 +1 x162e +1 x17cb <= +0

-8 x162e +1 x17cb <= +0

-8 x1458 +1 x17cb <= +0

-9 x1775 +1 x1a63 +1 x1bd6 <= +0

-8 x1a63 +1 x1bd6 <= +0

-8 x1775 +1 x1bd6 <= +0

-9 x1bd5 +1 x1d73 +1 x1ec4 <= +0

-8 x1d73 +1 x1ec4 <= +0

-8 x1bd5 +1 x1ec4 <= +0

-9 x1db4 +1 x2045 +1 x214d <= +0

-8 x2045 +1 x214d <= +0

-8 x1db4 +1 x214d <= +0

-9 x214c +1 x2269 +1 x230f <= +0

-8 x2269 +1 x230f <= +0

-8 x214c +1 x230f <= +0


+1 x125 +1 x242 -9 x5d <= +0

-8 x125 +1 x242 <= +0

+1 x242 -8 x5d <= +0

-9 x21b +1 x5f9 +1 x8dc <= +0

-8 x5f9 +1 x8dc <= +0

-8 x21b +1 x8dc <= +0

+1 x10f4 -9 x99f +1 xd58 <= +0

+1 x10f4 -8 xd58 <= +0

+1 x10f4 -8 x99f <= +0

-9 x10a6 +1 x14ea +1 x1847 <= +0

-8 x14ea +1 x1847 <= +0

-8 x10a6 +1 x1847 <= +0

+1 x182 +1 x340 -9 x87 <= +0

-8 x182 +1 x340 <= +0

+1 x340 -8 x87 <= +0

-9 x30d +1 x730 +1 xa5a <= +0

-8 x730 +1 xa5a <= +0

-8 x30d +1 xa5a <= +0

+1 x1289 -9 xb12 +1 xf05 <= +0

+1 x1289 -8 xf05 <= +0

+1 x1289 -8 xb12 <= +0

-9 x1226 +1 x166c +1 x19a4 <= +0

-8 x166c +1 x19a4 <= +0

-8 x1226 +1 x19a4 <= +0

+1 x2ae +1 x500 -9 xe3 <= +0

-8 x2ae +1 x500 <= +0

+1 x500 -8 xe3 <= +0

-9 x4c7 +1 x8fd +1 xc6f <= +0

-8 x8fd +1 xc6f <= +0

-8 x4c7 +1 xc6f <= +0

+1 x1112 +1 x1496 -9 xd2d <= +0

-8 x1112 +1 x1496 <= +0

+1 x1496 -8 xd2d <= +0

-9 x1442 +1 x183d +1 x1b60 <= +0

-8 x183d +1 x1b60 <= +0

-8 x1442 +1 x1b60 <= +0

-9 x146 +1 x402 +1 x668 <= +0

-8 x402 +1 x668 <= +0

-8 x146 +1 x668 <= +0

-9 x62b +1 xae7 +1 xe7a <= +0

-8 xae7 +1 xe7a <= +0

-8 x62b +1 xe7a <= +0

+1 x1318 +1 x168d -9 xf47 <= +0

-8 x1318 +1 x168d <= +0

+1 x168d -8 xf47 <= +0

-9 x163a +1 x1a08 +1 x1d0c <= +0

-8 x1a08 +1 x1d0c <= +0

-8 x163a +1 x1d0c <= +0

-9 x1b8 +1 x566 +1 x812 <= +0

-8 x566 +1 x812 <= +0

-8 x1b8 +1 x812 <= +0

+1 x112e -9 x7dd +1 xda2 <= +0

+1 x112e -8 xda2 <= +0

+1 x112e -8 x7dd <= +0

-9 x11f3 +1 x15ba +1 x1904 <= +0

-8 x15ba +1 x1904 <= +0

-8 x11f3 +1 x1904 <= +0

-9 x18c1 +1 x1c83 +1 x1f68 <= +0

-8 x1c83 +1 x1f68 <= +0

-8 x18c1 +1 x1f68 <= +0

-9 x2ab +1 x67e +1 x98c <= +0

-8 x67e +1 x98c <= +0

-8 x2ab +1 x98c <= +0

+1 x12c7 -9 x943 +1 xf40 <= +0

+1 x12c7 -8 xf40 <= +0

+1 x12c7 -8 x943 <= +0

-9 x137b +1 x173d +1 x1a6b <= +0

-8 x173d +1 x1a6b <= +0

-8 x137b +1 x1a6b <= +0

-9 x1a20 +1 x1ddf +1 x2067 <= +0

-8 x1ddf +1 x2067 <= +0

-8 x1a20 +1 x2067 <= +0

-9 x472 +1 x8c4 +1 xc38 <= +0

-8 x8c4 +1 xc38 <= +0

-8 x472 +1 xc38 <= +0

+1 x114b +1 x14d5 -9 xbde <= +0

-8 x114b +1 x14d5 <= +0

+1 x14d5 -8 xbde <= +0

-9 x1589 +1 x191e +1 x1c39 <= +0

-8 x191e +1 x1c39 <= +0

-8 x1589 +1 x1c39 <= +0

-9 x1bfb +1 x1f5e +1 x21a8 <= +0

-8 x1f5e +1 x21a8 <= +0

-8 x1bfb +1 x21a8 <= +0

-9 x5c8 +1 xab1 +1 xe49 <= +0

-8 xab1 +1 xe49 <= +0

-8 x5c8 +1 xe49 <= +0

+1 x1350 +1 x16ca -9 xdf2 <= +0

-8 x1350 +1 x16ca <= +0

+1 x16ca -8 xdf2 <= +0

-9 x1775 +1 x1ae4 +1 x1df5 <= +0

-8 x1ae4 +1 x1df5 <= +0

-8 x1775 +1 x1df5 <= +0

-9 x1db4 +1 x20a5 +1 x22b1 <= +0

-8 x20a5 +1 x22b1 <= +0

-8 x1db4 +1 x22b1 <= +0


+1 x1142 -255 xeb6 >= +0

+1 x1142 -255 xeb6 <= +0

+1 x1142 -255 xeb6 <= +0

+1 x1142 -255 xeb6 <= +0


-256 x1168 +1 x1eba +1 x2197 <= +0

-255 x1eba +1 x2197 <= +0

-255 x1168 +1 x2197 <= +0

-3 x1677 +1 x1ae0 +1 x1e8a <= +0

-2 x1ae0 +1 x1e8a <= +0

-2 x1677 +1 x1e8a <= +0


-256 x1168 +1 x14c9 +1 x16a2 <= +0

-255 x14c9 +1 x16a2 <= +0

-255 x1168 +1 x16a2 <= +0


-254 x17e +1 x24c +1 x392 >= +0

-254 x17e +1 x24c +1 x392 <= +0

-253 x24c +1 x392 <= +0

-253 x17e +1 x392 <= +0

-3 x234 +1 x390 +1 x4da <= +0

-2 x390 +1 x4da <= +0

-2 x234 +1 x4da <= +0

-3 x362 +1 x4bb +1 x622 <= +0

-2 x4bb +1 x622 <= +0

-2 x362 +1 x622 <= +0

-3 x49d +1 x620 +1 x7b4 <= +0

-2 x620 +1 x7b4 <= +0

-2 x49d +1 x7b4 <= +0


+1 x188 +1 x24a -255 xc9 <= +0

-254 x188 +1 x24a <= +0

+1 x24a -254 xc9 <= +0

-3 x221 +1 x376 +1 x4b9 <= +0

-2 x376 +1 x4b9 <= +0

-2 x221 +1 x4b9 <= +0


+1 x1b3 +1 x289 -256 xc9 <= +0

-255 x1b3 +1 x289 <= +0

+1 x289 -255 xc9 <= +0


-254 x2df +1 x55c +1 x6d8 >= +0

-254 x2df +1 x55c +1 x6d8 <= +0

-253 x55c +1 x6d8 <= +0

-253 x2df +1 x6d8 <= +0

-3 x691 +1 x850 +1 xa44 <= +0

-2 x850 +1 xa44 <= +0

-2 x691 +1 xa44 <= +0

-3 x805 +1 xa1e +1 xc04 <= +0

-2 xa1e +1 xc04 <= +0

-2 x805 +1 xc04 <= +0

-3 x981 +1 xb83 +1 xd90 <= +0

-2 xb83 +1 xd90 <= +0

-2 x981 +1 xd90 <= +0


-255 x2df +1 x5c0 +1 x737 <= +0

-254 x5c0 +1 x737 <= +0

-254 x2df +1 x737 <= +0

-3 x78f +1 x8bb +1 xa40 <= +0

-2 x8bb +1 xa40 <= +0

-2 x78f +1 xa40 <= +0


-256 x2df +1 x6b2 +1 x825 <= +0

-255 x6b2 +1 x825 <= +0

-255 x2df +1 x825 <= +0


-254 xb82 +1 xdbd +1 xfcf >= +0

-254 xb82 +1 xdbd +1 xfcf <= +0

-253 xdbd +1 xfcf <= +0

-253 xb82 +1 xfcf <= +0

+1 x11c1 -3 xd8d +1 xfcd <= +0

+1 x11c1 -2 xfcd <= +0

+1 x11c1 -2 xd8d <= +0

+1 x1196 +1 x1394 -3 xf7f <= +0

-2 x1196 +1 x1394 <= +0

+1 x1394 -2 xf7f <= +0

-3 x116c +1 x1392 +1 x1581 <= +0

-2 x1392 +1 x1581 <= +0

-2 x116c +1 x1581 <= +0


-255 x894 +1 xba6 +1 xdbb <= +0

-254 xba6 +1 xdbb <= +0

-254 x894 +1 xdbb <= +0

+1 x1194 -3 xd5d +1 xfa5 <= +0

+1 x1194 -2 xfa5 <= +0

+1 x1194 -2 xd5d <= +0


-256 x894 +1 xc50 +1 xe3c <= +0

-255 xc50 +1 xe3c <= +0

-255 x894 +1 xe3c <= +0


-254 x1 +1 xe >= +0

-254 x1 +1 xe <= +0

-254 x1 +1 xe <= +0

-254 x1 +1 xe <= +0

-3 x1d +1 x29 +1 x37 <= +0

-2 x29 +1 x37 <= +0

-2 x1d +1 x37 <= +0


-256 x1 +1 x2b +1 xf >= +0

-256 x1 +1 x2b +1 xf <= +0

+1 x2b -255 xf <= +0

-255 x1 +1 x2b <= +0


+1 x1869 -256 x5d +1 x904 <= +0

+1 x1869 -255 x904 <= +0

+1 x1869 -255 x5d <= +0

+1 x19c8 -256 x87 +1 xa7c <= +0

+1 x19c8 -255 xa7c <= +0

+1 x19c8 -255 x87 <= +0

+1 x1b7c +1 xc93 -256 xe3 <= +0

+1 x1b7c -255 xc93 <= +0

+1 x1b7c -255 xe3 <= +0

-256 x146 +1 x1d2d +1 xea4 <= +0

+1 x1d2d -255 xea4 <= +0

-255 x146 +1 x1d2d <= +0

+1 x1152 -256 x1b8 +1 x1f83 <= +0

-255 x1152 +1 x1f83 <= +0

-255 x1b8 +1 x1f83 <= +0

+1 x12ec +1 x207c -256 x2ab <= +0

-255 x12ec +1 x207c <= +0

+1 x207c -255 x2ab <= +0

+1 x14f6 +1 x21bf -256 x472 <= +0

-255 x14f6 +1 x21bf <= +0

+1 x21bf -255 x472 <= +0

+1 x16ed +1 x22c0 -256 x5c8 <= +0

-255 x16ed +1 x22c0 <= +0

+1 x22c0 -255 x5c8 <= +0


-255 x1e +1 x5e +1 x8d <= +0

-254 x5e +1 x8d <= +0

-254 x1e +1 x8d <= +0

+1 x14d -3 x80 +1 xe8 <= +0

+1 x14d -2 xe8 <= +0

+1 x14d -2 x80 <= +0

+1 x1c6 +1 x2cb -255 xc3 <= +0

-254 x1c6 +1 x2cb <= +0

+1 x2cb -254 xc3 <= +0

-3 x291 +1 x489 +1 x5e5 <= +0

-2 x489 +1 x5e5 <= +0

-2 x291 +1 x5e5 <= +0


-256 x1e +1 x67 +1 xb4 <= +0

-255 x67 +1 xb4 <= +0

-255 x1e +1 xb4 <= +0

+1 x1ff +1 x3ae -256 xc3 <= +0

-255 x1ff +1 x3ae <= +0

+1 x3ae -255 xc3 <= +0


-255 x1e +1 x2a7 +1 x83 <= +0

+1 x2a7 -254 x83 <= +0

-254 x1e +1 x2a7 <= +0







general
z
o
x1
xc
xd
xe
xf
x10
x1b
x1c
x1d
x1e
x1f
x28
x29
x2b
x32
x36
x37
x39
x3a
x5c
x5d
x5e
x62
x64
x65
x67
x68
x7c
x7f
x80
x83
x84
x86
x87
x8d
xaf
xb0
xb4
xbd
xc2
xc3
xc9
xca
xe2
xe3
xe8
xf4
xfa
xfb
x101
x102
x116
x119
x11a
x11d
x11e
x125
x126
x145
x146
x14d
x150
x151
x15a
x15c
x164
x165
x16b
x16e
x16f
x176
x177
x17d
x17e
x182
x183
x188
x19e
x1a8
x1a9
x1b3
x1b4
x1b7
x1b8
x1c6
x1ca
x1d5
x1d6
x1dd
x1e1
x1e2
x1e5
x1e6
x1e7
x1e8
x1ec
x1ed
x1f6
x1f7
x1fa
x1ff
x200
x208
x209
x20e
x21b
x21e
x220
x221
x22d
x22e
x230
x231
x233
x234
x235
x236
x23b
x23c
x23f
x240
x242
x243
x24a
x24c
x252
x256
x275
x276
x278
x27a
x27e
x289
x28b
x28c
x28d
x28e
x290
x291
x295
x296
x2a1
x2a3
x2a4
x2a7
x2a8
x2aa
x2ab
x2ae
x2af
x2b1
x2b2
x2b3
x2b4
x2b5
x2b6
x2cb
x2d3
x2d4
x2d7
x2dc
x2dd
x2df
x2e0
x2f1
x2f2
x2fa
x2fc
x2fd
x30d
x310
x32a
x32b
x340
x341
x354
x361
x362
x36a
x36b
x370
x371
x376
x378
x379
x37a
x37b
x380
x381
x382
x383
x390
x392
x395
x396
x399
x3a6
x3ae
x3be
x3bf
x3c0
x3c1
x3c2
x3cb
x3d2
x3d3
x3d7
x3d8
x3da
x3dc
x3dd
x3e4
x3e5
x3ea
x3ec
x3ed
x3f8
x3f9
x402
x403
x407
x408
x423
x42b
x42c
x445
x446
x471
x472
x477
x478
x479
x47a
x47b
x47c
x47e
x47f
x489
x48d
x48f
x490
x493
x498
x499
x49c
x49d
x49e
x49f
x4a7
x4a8
x4aa
x4ab
x4b3
x4b4
x4b5
x4b9
x4bb
x4bd
x4be
x4bf
x4c3
x4c4
x4c7
x4ca
x4da
x4dc
x4dd
x4e7
x4e8
x4f1
x4f6
x4f7
x500
x501
x505
x506
x509
x50a
x50b
x50c
x525
x527
x528
x52f
x536
x537
x53d
x53e
x549
x54a
x54d
x54e
x551
x552
x55c
x566
x567
x56b
x578
x579
x590
x5a2
x5a3
x5a7
x5a8
x5ba
x5bc
x5bd
x5bf
x5c0
x5c1
x5c7
x5c8
x5cd
x5ce
x5cf
x5d0
x5d1
x5d2
x5da
x5db
x5e5
x5e8
x5e9
x5ec
x5ed
x5f0
x5f9
x5fa
x5ff
x600
x601
x602
x607
x609
x60b
x60c
x620
x622
x628
x629
x62b
x62e
x63c
x63d
x646
x649
x64a
x64e
x64f
x65b
x660
x661
x668
x669
x66d
x66e
x673
x676
x677
x678
x679
x67a
x67b
x67e
x67f
x68b
x68c
x690
x691
x694
x695
x6a7
x6a8
x6ab
x6ac
x6ad
x6b0
x6b2
x6b3
x6b5
x6b6
x6d1
x6d2
x6d8
x6ed
x6ee
x6ef
x6f8
x6f9
x70d
x70e
x70f
x710
x717
x718
x72a
x72b
x730
x731
x737
x73f
x744
x746
x747
x75c
x75d
x770
x779
x77a
x77d
x77e
x77f
x780
x78c
x78d
x78e
x78f
x794
x795
x79d
x79e
x7a1
x7ad
x7af
x7b0
x7b4
x7bb
x7bc
x7d2
x7d3
x7dd
x7e0
x7e5
x7f5
x7f6
x7f9
x7fa
x7fd
x7fe
x804
x805
x808
x809
x80b
x80c
x80f
x810
x812
x813
x817
x818
x81a
x81b
x81e
x81f
x820
x821
x822
x823
x825
x827
x828
x82d
x831
x83a
x83b
x83c
x83e
x83f
x845
x846
x849
x850
x865
x86a
x86b
x87b
x88c
x88f
x894
x895
x898
x899
x89a
x8a1
x8a2
x8ab
x8ac
x8ad
x8b4
x8b5
x8bb
x8bd
x8be
x8c4
x8c5
x8c7
x8c8
x8c9
x8ca
x8cb
x8cc
x8d5
x8d6
x8d9
x8da
x8dc
x8dd
x8e4
x8e5
x8ee
x8ef
x8f2
x8f7
x8f8
x8fd
x8fe
x902
x904
x905
x91a
x91b
x923
x925
x926
x935
x943
x946
x95a
x95b
x961
x963
x964
x96a
x96b
x979
x980
x981
x985
x986
x98c
x98d
x998
x999
x99a
x99b
x99c
x99d
x99e
x99f
x9a5
x9a6
x9ad
x9bc
x9bd
x9c0
x9c4
x9c5
x9c7
x9c8
x9d5
x9d6
x9db
x9dc
x9e1
x9e3
x9e4
x9f0
x9f2
x9f3
x9f6
x9f7
x9fc
x9fd
x9fe
x9ff
xa0a
xa0b
xa0d
xa10
xa1c
xa1d
xa1e
xa20
xa21
xa23
xa2f
xa30
xa31
xa32
xa36
xa37
xa40
xa44
xa52
xa5a
xa5b
xa66
xa6c
xa73
xa74
xa7c
xa7d
xa8a
xa8b
xa8f
xa90
xa95
xa97
xa98
xa9a
xaa1
xaab
xaac
xab1
xab2
xab6
xab7
xabf
xac0
xac5
xac6
xacc
xacd
xae0
xae7
xae8
xaec
xaed
xaee
xaf5
xaf6
xb0f
xb11
xb12
xb18
xb19
xb1a
xb1e
xb1f
xb33
xb34
xb36
xb37
xb41
xb42
xb57
xb59
xb5a
xb5e
xb5f
xb63
xb64
xb68
xb69
xb6a
xb6b
xb6c
xb6d
xb6f
xb70
xb7f
xb80
xb81
xb82
xb83
xb89
xb8b
xb8c
xb8f
xb94
xb95
xb99
xb9a
xb9b
xb9c
xb9d
xb9e
xba6
xbaf
xbb0
xbb2
xbb3
xbbb
xbbc
xbbd
xbc0
xbc2
xbc3
xbc6
xbd4
xbd6
xbd7
xbda
xbdb
xbde
xbe1
xbeb
xbec
xbee
xbef
xbfe
xc00
xc01
xc02
xc03
xc04
xc0e
xc0f
xc16
xc17
xc1a
xc1d
xc27
xc28
xc2a
xc2b
xc38
xc39
xc3d
xc3e
xc46
xc47
xc4c
xc4d
xc50
xc51
xc6f
xc70
xc74
xc75
xc7f
xc80
xc89
xc8a
xc93
xc94
xc9b
xc9c
xc9d
xc9f
xca0
xca4
xca5
xcb0
xcb1
xcbf
xcc2
xcc3
xcc9
xcd0
xcd1
xcd9
xce5
xce6
xce8
xce9
xd08
xd0a
xd11
xd12
xd13
xd22
xd23
xd2c
xd2d
xd35
xd36
xd38
xd3f
xd40
xd46
xd48
xd49
xd4b
xd4f
xd50
xd52
xd53
xd58
xd59
xd5c
xd5d
xd60
xd61
xd62
xd63
xd65
xd66
xd67
xd68
xd69
xd6a
xd72
xd73
xd7c
xd7e
xd7f
xd89
xd8a
xd8c
xd8d
xd8e
xd8f
xd90
xd95
xd96
xd99
xda2
xda3
xda5
xda6
xda7
xda8
xda9
xdaa
xdbb
xdbd
xdc5
xdc6
xdd7
xdd8
xddb
xdf2
xdf5
xe01
xe02
xe13
xe14
xe16
xe18
xe19
xe1f
xe20
xe29
xe2c
xe35
xe36
xe3c
xe3e
xe3f
xe40
xe41
xe49
xe4a
xe4e
xe4f
xe55
xe56
xe5c
xe5e
xe5f
xe60
xe64
xe66
xe67
xe74
xe75
xe7a
xe7b
xe7f
xe80
xe84
xe85
xe86
xe99
xe9a
xe9d
xe9e
xe9f
xea2
xea4
xea5
xeac
xead
xeae
xeb0
xeb1
xeb6
xeb7
xecd
xece
xed1
xed4
xed5
xed8
xed9
xeda
xedc
xedd
xeec
xeed
xef5
xef6
xef7
xefb
xefc
xf05
xf06
xf1a
xf1b
xf1c
xf1d
xf23
xf3a
xf3b
xf40
xf41
xf46
xf47
xf4d
xf4e
xf51
xf52
xf5f
xf61
xf62
xf6d
xf6e
xf70
xf71
xf7e
xf7f
xf82
xf83
xf98
xf9a
xf9b
xfa5
xfa7
xfa8
xfa9
xfaa
xfb8
xfb9
xfcd
xfcf
xfdd
xfe6
xfe7
xfe8
xfec
x1007
x1008
x1009
x100e
x100f
x1010
x1011
x1012
x101b
x1025
x1026
x102b
x102c
x102d
x102e
x1030
x1031
x1033
x1035
x1036
x103c
x103d
x1040
x1041
x1048
x1049
x104f
x1050
x1053
x105e
x105f
x1064
x1065
x1067
x1068
x106b
x106c
x106d
x106e
x106f
x1070
x1072
x1073
x1075
x107a
x107b
x108b
x108c
x108d
x108f
x1090
x1096
x1097
x109a
x109f
x10a0
x10a6
x10a9
x10ac
x10ad
x10b6
x10bb
x10bc
x10c4
x10c5
x10c6
x10c8
x10ce
x10cf
x10df
x10e2
x10eb
x10ec
x10f0
x10f1
x10f4
x10f5
x1102
x1103
x1104
x110b
x110c
x1112
x1113
x111f
x1127
x1128
x112b
x112c
x112e
x112f
x1133
x1134
x1141
x1142
x114b
x114c
x1150
x1152
x1153
x115e
x115f
x1168
x1169
x116b
x116c
x116d
x116e
x117e
x1194
x1196
x1198
x1199
x11a3
x11a4
x11b0
x11b1
x11b2
x11b3
x11b4
x11b5
x11c1
x11c9
x11d6
x11d7
x11da
x11df
x11e0
x11e4
x11ec
x11ed
x11ee
x11ef
x11f0
x11f1
x11f2
x11f3
x11f9
x11fa
x11fb
x11fc
x11fd
x1205
x1207
x1208
x120a
x120b
x120c
x120d
x1213
x1214
x1217
x121b
x121c
x121e
x121f
x1222
x1223
x1224
x1226
x1229
x1235
x1237
x1238
x123b
x123c
x123e
x1240
x1241
x124d
x124f
x1250
x1251
x1252
x1253
x1254
x125a
x125b
x1270
x1271
x1273
x1276
x1281
x1289
x128a
x1298
x1299
x129a
x129b
x129f
x12a0
x12b8
x12b9
x12ba
x12bb
x12bf
x12c7
x12c8
x12d0
x12d8
x12d9
x12ec
x12ed
x12f7
x12f8
x130b
x1312
x1318
x1319
x131e
x131f
x132b
x132c
x1331
x1332
x1338
x1339
x1350
x1351
x1355
x1356
x1357
x135e
x135f
x1362
x1363
x1369
x136a
x136e
x136f
x1370
x1371
x1378
x137a
x137b
x1381
x1382
x1383
x138c
x138e
x138f
x1392
x1394
x139d
x139e
x13a0
x13a1
x13c4
x13c6
x13c7
x13ce
x13cf
x13d0
x13d1
x13d2
x13d3
x13da
x13e9
x13ea
x13eb
x13ec
x13ed
x13ee
x13ef
x13f2
x13fd
x13fe
x1400
x1401
x1404
x1405
x1406
x1407
x1408
x1409
x1411
x1412
x1413
x1415
x1416
x1421
x1422
x1424
x1425
x142a
x142c
x142d
x1430
x143c
x143d
x1442
x1445
x144c
x1457
x1458
x145a
x145b
x1470
x1471
x1476
x1477
x147b
x147c
x1481
x1482
x1485
x1488
x1496
x1497
x149b
x149c
x149d
x14a0
x14a1
x14a2
x14ad
x14ae
x14b3
x14b4
x14c1
x14c2
x14c3
x14c5
x14c6
x14c9
x14ca
x14d5
x14d6
x14da
x14db
x14e3
x14e4
x14ea
x14eb
x14f0
x14f6
x14f7
x14fe
x14ff
x1500
x1502
x1503
x1506
x1507
x1516
x1517
x151e
x1521
x1522
x1528
x1532
x1533
x1540
x1541
x1543
x1544
x155f
x1560
x1563
x1565
x156c
x156d
x156e
x1574
x1575
x1581
x1588
x1589
x1591
x1592
x1598
x159a
x159b
x159c
x159d
x15b1
x15b2
x15b4
x15b5
x15ba
x15bb
x15be
x15bf
x15c0
x15c1
x15c2
x15c3
x15ca
x15ce
x15cf
x15d0
x15dc
x15de
x15df
x15e9
x15ea
x15ed
x15f7
x15f8
x15f9
x15fd
x15fe
x15ff
x1600
x1601
x1602
x1603
x1604
x1611
x1612
x161e
x1620
x1621
x1627
x162a
x162b
x162e
x163a
x163d
x1646
x1647
x164f
x1650
x1653
x1654
x1665
x1666
x166c
x166d
x1674
x1675
x1676
x1677
x167a
x167d
x1686
x1687
x168d
x168e
x1692
x1693
x16a2
x16a8
x16a9
x16af
x16b1
x16b2
x16b3
x16bb
x16bc
x16ca
x16cb
x16cf
x16d0
x16d4
x16d5
x16d6
x16db
x16dc
x16df
x16e0
x16e1
x16e8
x16e9
x16ed
x16ee
x16f5
x16f6
x16f7
x16f9
x16fa
x1710
x1713
x1714
x1717
x1718
x1719
x171b
x171c
x1733
x1734
x173d
x173e
x174a
x174b
x174c
x174d
x174e
x1754
x1765
x1766
x176b
x176c
x176d
x1774
x1775
x177b
x177c
x177f
x1780
x1786
x1788
x1789
x178a
x178b
x178e
x178f
x1794
x1795
x1796
x1797
x1798
x1799
x179c
x179d
x179f
x17a0
x17b2
x17bc
x17bd
x17c0
x17cb
x17cd
x17ce
x17e2
x17e3
x1801
x1806
x1809
x1817
x1818
x1819
x1820
x1821
x1827
x1828
x182d
x182e
x1835
x1836
x1837
x183d
x183e
x1843
x1844
x1847
x1848
x184d
x1853
x1854
x1859
x185a
x185b
x185c
x185e
x185f
x1869
x186a
x1873
x1874
x1878
x1879
x187f
x1880
x1883
x1886
x1887
x188a
x188b
x1894
x1898
x1899
x189b
x18a0
x18a1
x18a7
x18a8
x18a9
x18ba
x18bb
x18c1
x18c4
x18d7
x18d8
x18d9
x18db
x18e1
x18e2
x18ea
x18eb
x18ec
x18ed
x18ee
x18ef
x18fb
x18fc
x1900
x1901
x1904
x1905
x1909
x190a
x190b
x190c
x190d
x190e
x190f
x1912
x1916
x1917
x191e
x191f
x192e
x192f
x1930
x1932
x1933
x193a
x193c
x193d
x1943
x1944
x1951
x1952
x1955
x1956
x195b
x195e
x196f
x1970
x1979
x1984
x1985
x198c
x198d
x19a4
x19a5
x19ae
x19af
x19b8
x19b9
x19ba
x19bb
x19bc
x19bd
x19c3
x19c8
x19c9
x19de
x19df
x19e2
x19e7
x19e8
x19ea
x19eb
x19f8
x19f9
x19fa
x19fb
x19fc
x1a04
x1a06
x1a07
x1a08
x1a09
x1a0e
x1a0f
x1a16
x1a17
x1a1c
x1a1d
x1a1e
x1a20
x1a23
x1a39
x1a3a
x1a3c
x1a3d
x1a3e
x1a3f
x1a40
x1a41
x1a47
x1a48
x1a52
x1a53
x1a5c
x1a5d
x1a5e
x1a61
x1a63
x1a6b
x1a6c
x1a7a
x1a7b
x1a98
x1a9a
x1a9b
x1a9e
x1aa0
x1aa8
x1aa9
x1ab1
x1ab2
x1ab3
x1ab4
x1ab5
x1ab6
x1abc
x1abd
x1abf
x1ac0
x1ac2
x1ac3
x1acf
x1ad0
x1ad1
x1ad2
x1ad3
x1ad6
x1ae0
x1ae1
x1ae4
x1ae5
x1aea
x1aeb
x1af2
x1af3
x1af4
x1af6
x1af7
x1b18
x1b19
x1b1e
x1b21
x1b32
x1b33
x1b39
x1b3a
x1b43
x1b44
x1b4b
x1b4c
x1b57
x1b59
x1b5a
x1b60
x1b61
x1b64
x1b65
x1b7c
x1b7d
x1b84
x1b85
x1b8a
x1b8b
x1b90
x1b91
x1b92
x1b93
x1b94
x1b95
x1ba1
x1ba2
x1ba4
x1ba5
x1ba6
x1bab
x1bac
x1bae
x1baf
x1bb0
x1bb1
x1bb2
x1bb3
x1bb6
x1bc2
x1bc3
x1bd0
x1bd2
x1bd4
x1bd5
x1bd6
x1bd8
x1bd9
x1be4
x1be5
x1bf5
x1bf6
x1bfb
x1bfe
x1c05
x1c0e
x1c0f
x1c1c
x1c1d
x1c22
x1c23
x1c2a
x1c2b
x1c39
x1c3a
x1c3e
x1c3f
x1c40
x1c45
x1c47
x1c48
x1c5b
x1c5c
x1c5d
x1c5f
x1c60
x1c62
x1c63
x1c64
x1c65
x1c66
x1c67
x1c7c
x1c7d
x1c83
x1c84
x1c87
x1c88
x1c8b
x1c9c
x1c9d
x1caa
x1cab
x1cba
x1cbb
x1cc5
x1cc6
x1cca
x1ccd
x1cdb
x1cdc
x1ced
x1cee
x1cf5
x1cf6
x1cf7
x1cfc
x1cfd
x1d02
x1d03
x1d0c
x1d0d
x1d10
x1d11
x1d15
x1d16
x1d18
x1d19
x1d1a
x1d20
x1d22
x1d23
x1d24
x1d25
x1d2d
x1d2e
x1d35
x1d36
x1d3a
x1d3b
x1d3c
x1d3d
x1d3e
x1d40
x1d43
x1d44
x1d45
x1d46
x1d47
x1d48
x1d4f
x1d53
x1d54
x1d55
x1d59
x1d5a
x1d5c
x1d5d
x1d5e
x1d60
x1d65
x1d66
x1d6a
x1d6b
x1d6f
x1d70
x1d73
x1d7d
x1d7e
x1d7f
x1d93
x1d94
x1da0
x1da2
x1da3
x1db0
x1db4
x1db7
x1dc0
x1dc1
x1dcc
x1dcd
x1dd0
x1dd1
x1dd8
x1dd9
x1ddf
x1de0
x1de6
x1de7
x1df5
x1df6
x1dfa
x1dfb
x1e05
x1e07
x1e08
x1e1c
x1e1d
x1e30
x1e31
x1e38
x1e39
x1e3c
x1e3d
x1e3e
x1e45
x1e46
x1e54
x1e55
x1e6d
x1e6e
x1e74
x1e75
x1e88
x1e8a
x1e8b
x1e8c
x1e96
x1e97
x1e98
x1e99
x1e9a
x1e9f
x1ea0
x1ea4
x1eaa
x1eab
x1eb0
x1eb1
x1eb2
x1eb7
x1eb8
x1eba
x1ebb
x1ec4
x1ec6
x1ec7
x1ec8
x1ec9
x1ecc
x1ecd
x1ed2
x1ed3
x1ed4
x1ed5
x1ed6
x1ed7
x1ed8
x1ed9
x1eec
x1ef6
x1ef7
x1efa
x1efe
x1eff
x1f00
x1f13
x1f14
x1f29
x1f2e
x1f31
x1f39
x1f3a
x1f3d
x1f3e
x1f43
x1f44
x1f4a
x1f4b
x1f4f
x1f50
x1f53
x1f57
x1f58
x1f5e
x1f5f
x1f64
x1f65
x1f68
x1f69
x1f6f
x1f70
x1f76
x1f78
x1f79
x1f83
x1f84
x1f8e
x1f90
x1f92
x1f95
x1f96
x1f99
x1f9a
x1faa
x1fab
x1fb0
x1fb1
x1fb2
x1fc3
x1fc4
x1fe5
x1fe6
x1fe7
x1fe8
x1fe9
x1fea
x1ff7
x1ff8
x1ff9
x1ffa
x1ffb
x1ffc
x1ffd
x2000
x2004
x2005
x2013
x2014
x2015
x2017
x2018
x201f
x2021
x2022
x2028
x2029
x202c
x202d
x2032
x2035
x2043
x2044
x2045
x2050
x2051
x205b
x205c
x205e
x2067
x2068
x206f
x2070
x2071
x2073
x2075
x2077
x207c
x207d
x2087
x2088
x208a
x2091
x2092
x209c
x209d
x209f
x20a5
x20a6
x20ab
x20ac
x20b3
x20b4
x20bc
x20bd
x20cd
x20ce
x20da
x20db
x20e4
x20e5
x20e6
x20ea
x20f5
x20f6
x2109
x210b
x210c
x2112
x2113
x2119
x211a
x211b
x211c
x211d
x211e
x2124
x2125
x212c
x212d
x212f
x2130
x2131
x2132
x2133
x2136
x2140
x2141
x2143
x2144
x2149
x214a
x214b
x214c
x214d
x214f
x2150
x2160
x2161
x2164
x2165
x2166
x2168
x2169
x216e
x2171
x217c
x217d
x2182
x2183
x2184
x2186
x218f
x2190
x2197
x2198
x2199
x219b
x219c
x219f
x21a0
x21a8
x21a9
x21ac
x21ad
x21b2
x21bf
x21c0
x21c7
x21c8
x21ce
x21d8
x21d9
x21db
x21dc
x21dd
x21ea
x21eb
x2216
x2217
x221b
x221c
x221d
x221e
x2225
x2226
x222d
x222e
x2234
x2235
x223c
x223e
x223f
x2246
x224b
x224c
x224f
x2250
x2251
x2252
x2253
x2254
x225e
x2260
x2261
x2265
x2266
x2269
x2275
x227a
x227b
x228e
x2291
x22a4
x22a5
x22b1
x22b2
x22b5
x22b6
x22c0
x22c1
x22c8
x22c9
x22ca
x22cb
x22ce
x22cf
x22d3
x22d4
x22d6
x22d7
x22d8
x22da
x22de
x22df
x22f0
x22f5
x22f7
x22fd
x22fe
x22ff
x2300
x2304
x2305
x2309
x230a
x230f
x2311
x2312
x2341
x2342
x2345
x2346
x2348
x2349
x234a
x234d
x234f
x2351
x2352
x2359
x235a
x235b
x236d
x236e
x237d
x237e
x2386
x2387
x238b
x238c
x2391
x2392
x2394
x2395
x2396
x2398
x239a
x239e
x239f
x23ab
x23bf
x23c0
x23c6
x23c7
x23cf
x23d0
x23d3
x23d4
x23d8
x23f1
x23f2
x23f5
x23f6
x23fd
x23fe

end