PB'16 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark
normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irEDCBA.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irEDCBA.opb
MD5SUMe62090acedd5c6ce3bff1a8cc1c2032d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134214653
Best CPU time to get the best result obtained on this benchmark214.725
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3564
Total number of constraints11685
Number of constraints which are clauses11625
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b (complete)4115814OPT134214653 214.725 214.763
NaPS 1.02 (complete)4111382SAT (TO)134214653 1800.02 1800.3
Sat4j PB 2.3.6 Res+CP PB16 (complete)4111381SAT (TO)134214653 1800.59 900.869
Sat4j PB 2.3.6 Resolution PB16 (complete)4111383SAT (TO)149943293 1800.78 1796.86
toysat 2016-05-02 (complete)4111380? (TO) 1800.21 1800.62

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: 134214653
Solution found:
-x2622 x2635 -x2648 x2660 -x2669 -x2679 -x2692 -x2703 -x2709 -x2717 -x2722 -x2727 x2732 x2737 -x2742 -x2747 x2753 -x2761 -x2766 x2771 -x2776
-x2781 -x2786 -x2791 -x2796 -x2801 x2806 -x2811 -x2816 -x2821 -x2827 -x2835 -x2840 x2845 -x2850 -x2855 x2860 -x2865 -x2870 -x2875 -x2880
x2885 x2890 -x2895 x2900 -x2905 -x2910 -x2915 x2920 x2925 x2930 x2935 -x2940 -x2945 -x2950 x2955 -x2960 -x2965 x2970 -x2975 -x2980 -x2985
x2990 -x2995 -x3000 -x3005 -x3010 -x3015 -x3020 -x3025 -x3030 x3035 -x3040 x3045 -x3050 -x3055 -x3060 x3065 x3070 -x3075 x3080 -x3085 -x3090
-x3095 -x3100 x3105 -x3110 x3114 -x3116 x3118 x3120 -x3431 -x3433 x3435 -x3437 -x3438 -x3440 -x3442 x3444 -x3446 -x3447 -x3449 -x3451 x3453
-x3455 -x3456 -x3458 -x3460 x3462 -x3464 -x3465 -x3467 -x3469 -x3471 -x3473 x3474 -x3476 -x3478 -x3480 -x3482 x3483 -x3485 -x3487 -x3489
-x3491 x3492 -x3494 -x3496 x3498 -x3500 -x3501 -x3503 -x3505 x3507 -x3509 -x3510 -x3512 -x3514 x3516 -x3518 -x3519 -x3521 -x3523 x3525
-x3527 -x3528 -x3530 -x3532 x3534 -x3536 -x3537 -x3539 -x3541 x3543 -x3545 -x3546 -x3548 -x3550 x3552 -x3554 -x3555 -x3557 -x3559 x3561
-x3563 -x3564 x1 x2 x7 x12 x17 x22 x27 x32 x37 x42 x47 x52 x57 x62 x67 x72 x2423 x2441 x3125 x3129 x3133 x3137 x3141 x3145 x3149 x3153 x3157
x3161 x3165 x3169 x3173 x3177 x3181 x2421 x2439 -x4 -x3 x5 x6 -x9 -x8 x10 x11 -x13 -x14 x15 x16 -x19 -x18 x20 x21 x23 x24 x25 x26 x28 x29
x30 x31 x33 x34 x35 x36 -x39 -x38 x40 x41 -x44 -x43 x45 x46 -x49 -x48 x50 x51 -x54 -x53 x55 x56 -x59 -x58 x60 x61 -x64 -x63 x65 x66 -x69
-x68 x70 x71 -x73 -x74 x75 x76 -x77 x78 -x79 -x80 x81 -x84 -x83 -x85 -x86 -x87 x88 x89 -x91 -x92 -x93 x94 -x95 -x96 x97 -x100 -x99 -x101
x102 -x103 -x104 x105 -x108 -x107 -x109 -x110 -x111 x112 x113 -x115 -x116 -x117 x118 -x119 -x120 x121 -x123 -x124 -x125 x126 -x127 -x128
x129 -x132 -x131 -x133 -x134 -x135 x136 x137 -x140 -x139 -x141 x142 -x143 -x144 x145 -x147 -x148 -x149 x150 -x151 -x152 x153 -x155 -x156
-x157 -x158 -x159 x160 x161 -x164 -x163 -x165 x166 -x167 -x168 x169 -x172 -x171 -x173 x174 -x175 -x176 x177 -x179 -x180 -x181 -x182 -x183
x184 x185 -x187 -x188 -x189 -x190 -x191 x192 x193 -x196 -x195 -x197 -x198 x199 -x200 x201 x204 x203 -x205 -x206 -x207 x208 x209 -x211 -x212
-x213 -x214 -x215 x216 x217 -x219 -x220 -x221 x222 -x223 -x224 x225 -x228 -x227 -x229 -x230 -x231 x232 x233 -x236 -x235 -x237 x238 -x239
-x240 x241 -x243 -x244 -x245 x246 -x247 -x248 x249 -x251 -x252 -x253 -x254 -x255 x256 x257 -x259 -x260 -x261 x262 -x263 -x264 x265 -x268
-x267 -x269 x270 -x271 -x272 x273 -x275 -x276 -x277 -x278 -x279 x280 x281 -x284 -x283 -x285 -x286 -x287 x288 x289 -x291 -x292 -x293 x294
-x295 -x296 x297 -x300 -x299 -x301 -x302 -x303 -x304 -x305 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x316 -x315 -x317 -x318 -x319 -x320
-x321 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x332 -x331 -x333 -x334 -x335 -x336 -x337 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x347
-x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x364 -x363 -x365 -x366 -x367 -x368 -x369 -x371 -x372 -x373
-x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x396 -x395 -x397 -x398 -x399
-x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x419 -x420 -x421 -x422 -x423 -x424 -x425
-x428 -x427 -x429 -x430 -x431 -x432 -x433 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x451 -x452
-x453 -x454 -x455 -x456 -x457 -x460 -x459 -x461 -x462 -x463 -x464 -x465 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x475 -x476 -x477 -x478
-x479 -x480 -x481 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x491 -x493 -x494 -x495 -x496 -x497 -x499 -x500 -x501 -x502 -x503 -x504
-x505 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x516 -x515 -x517 -x518 -x519 -x520 -x521 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x532
-x531 -x533 -x534 -x535 -x536 -x537 -x540 -x539 -x541 -x542 -x543 -x544 -x545 -x548 -x547 -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557
-x558 -x559 -x560 -x561 -x564 -x563 -x565 -x566 -x567 -x568 -x569 -x572 -x571 -x573 -x574 -x575 -x576 -x577 -x580 -x579 -x581 -x582 -x583
-x584 -x585 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x596 -x595 -x597 -x598 -x599 -x600 -x601 -x604 -x603 -x605 -x606 -x607 -x608 -x609
-x612 -x611 -x613 -x614 -x615 -x616 -x617 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x628 -x627 -x629 -x630 -x631 -x632 -x633 -x636 -x635
-x637 -x638 -x639 -x640 -x641 -x644 -x643 -x645 -x646 -x647 -x648 -x649 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x660 -x659 -x661 -x662
-x663 -x664 -x665 -x668 -x667 -x669 -x670 -x671 -x672 -x673 -x676 -x675 -x677 -x678 -x679 -x680 -x681 -x683 -x684 -x685 -x686 -x687 -x688
-x689 -x692 -x691 -x693 -x694 -x695 -x696 -x697 -x700 -x699 -x701 -x702 -x703 -x704 -x705 -x708 -x707 -x709 -x710 -x711 -x712 -x713 -x715
-x716 -x717 -x718 -x719 -x720 -x721 -x724 -x723 -x725 -x726 -x727 -x728 -x729 -x732 -x731 -x733 -x734 -x735 -x736 -x737 -x740 -x739 -x741
-x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 x751 -x752 x753 -x756 -x755 -x757 -x758 x759 -x760 x761 -x764 -x763 -x765 -x766 x767 x768
x769 -x772 -x771 -x773 -x774 x775 -x776 x777 x780 x779 -x781 -x782 x783 x784 x785 -x787 -x788 -x789 x790 x791 -x792 x793 -x796 -x795 -x797
-x798 -x799 -x800 -x801 -x804 -x803 -x805 -x806 x807 -x808 x809 -x812 -x811 -x813 -x814 -x815 x816 x817 -x819 -x820 -x821 -x822 -x823 x824
x825 -x828 -x827 -x829 -x830 x831 -x832 x833 -x836 -x835 -x837 -x838 x839 -x840 x841 -x844 -x843 -x845 -x846 x847 -x848 x849 -x851 -x852
-x853 -x854 x855 -x856 x857 -x860 -x859 -x861 -x862 x863 -x864 x865 -x868 -x867 -x869 -x870 x871 -x872 x873 -x876 -x875 -x877 -x878 x879
-x880 x881 x883 x884 -x885 -x886 x887 -x888 x889 -x892 -x891 -x893 -x894 x895 -x896 x897 -x900 -x899 -x901 -x902 x903 -x904 x905 -x908 -x907
-x909 -x910 -x911 -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x927 -x926 -x928 -x929 -x930 -x931 -x932 -x934
-x935 -x936 -x937 -x938 -x939 -x940 -x941 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x952 -x951 -x953 -x954 -x955 -x956 -x957 -x960 -x959
-x961 -x962 x963 -x964 -x965 x966 -x969 -x968 -x970 x971 -x972 -x973 x974 -x977 -x976 -x978 x979 -x980 -x981 x982 -x984 -x985 -x986 x987
-x988 -x989 x990 -x993 -x992 -x994 x995 -x996 -x997 x998 x1001 x1000 -x1002 -x1003 -x1004 -x1005 -x1006 -x1009 -x1008 -x1010 -x1011 -x1012
-x1013 -x1014 -x1015 -x1018 -x1017 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 x1031 -x1032 x1033 -x1035
-x1036 -x1037 -x1038 -x1039 x1040 -x1041 x1042 -x1045 -x1044 -x1046 -x1047 x1048 x1049 x1050 -x1053 -x1052 -x1054 -x1055 -x1056 -x1057
-x1058 -x1059 -x1062 -x1061 -x1063 -x1064 x1065 -x1066 x1067 -x1070 -x1069 -x1071 -x1072 -x1073 x1074 x1075 -x1078 -x1077 -x1079 -x1080
-x1081 -x1082 -x1083 -x1084 x1085 -x1086 x1087 -x1090 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 x1098 -x1100 -x1101 -x1102
-x1103 -x1104 -x1105 x1106 -x1107 x1108 x1110 x1111 -x1112 -x1113 -x1114 x1115 -x1116 x1117 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125
-x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 x1136 -x1139 -x1138 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 x1146 -x1149
-x1148 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 x1156 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1168 -x1169 -x1170
-x1171 -x1172 x1173 -x1174 x1175 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1186 -x1185 -x1187 -x1188 -x1189 x1190 -x1191 x1192 -x1194
-x1195 -x1196 -x1197 x1198 -x1199 x1200 -x1203 -x1202 -x1204 -x1205 x1206 -x1207 x1208 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216
-x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 -x1236 -x1235 -x1237 -x1238 -x1239
-x1240 -x1241 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 x1252 x1251 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262
-x1263 x1264 -x1265 x1266 -x1269 -x1268 -x1270 -x1271 -x1272 x1273 x1274 -x1277 -x1276 -x1278 -x1279 x1280 -x1281 x1282 -x1285 -x1284 -x1286
-x1287 x1288 x1289 x1290 -x1293 -x1292 -x1294 -x1295 x1296 x1297 -x1298 x1299 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 x1307 -x1310 -x1309
-x1311 -x1312 x1313 x1314 x1315 x1317 x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1326 -x1325 -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 -x1334
-x1335 -x1336 x1337 -x1338 x1339 -x1342 -x1341 -x1343 -x1344 -x1345 x1346 x1347 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 x1356 -x1359
-x1358 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 x1367 x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1377 -x1378 -x1379 -x1380
-x1381 -x1382 -x1383 -x1384 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 x1396 -x1398 -x1399 -x1400 -x1401 x1402
-x1403 x1404 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1417 -x1416 -x1418 -x1419 x1420 -x1421 x1422 x1424 x1425 -x1426
-x1427 -x1428 -x1429 x1430 -x1431 x1432 -x1435 -x1434 -x1436 -x1437 x1438 -x1439 x1440 -x1443 -x1442 -x1444 -x1445 x1446 -x1447 x1448 -x1450
-x1451 -x1452 -x1453 x1454 -x1455 x1456 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471
-x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1488 -x1489 -x1490 -x1491 -x1492
-x1493 -x1494 -x1495 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 x1503 x1506 x1505 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515
-x1516 -x1517 -x1518 x1519 -x1520 x1521 -x1524 -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1532 -x1531 -x1533 -x1534 -x1535 -x1536 -x1537
-x1538 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1557 -x1556 x1558 -x1559 -x1560
-x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 x1569 -x1572 -x1571 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1583
-x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1591 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604
-x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 x1615 -x1618 -x1617 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 x1625
-x1627 -x1628 -x1629 x1630 -x1631 -x1632 x1633 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1648 -x1647
-x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664 x1667 x1666 -x1668 -x1669
x1670 -x1671 -x1672 x1673 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 x1681 -x1684 -x1683 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691
-x1692 -x1693 -x1694 -x1695 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1711 -x1710 -x1712 -x1713
-x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 x1723 -x1726 -x1725 -x1727 -x1728 -x1729 x1730 x1731 -x1734 -x1733 -x1735
-x1736 -x1737 x1738 x1739 x1741 x1742 -x1743 x1744 -x1745 -x1746 x1747 -x1750 -x1749 -x1751 x1752 -x1753 -x1754 x1755 -x1758 -x1757 -x1759
-x1760 -x1761 -x1762 -x1763 -x1764 -x1767 -x1766 -x1768 -x1769 -x1770 -x1771 -x1772 -x1775 -x1774 -x1776 -x1777 -x1778 -x1779 -x1780 -x1782
-x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 x1800 -x1803 -x1802 -x1804
x1805 -x1806 -x1807 -x1808 -x1809 x1810 x1811 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 x1821 -x1823 -x1824 -x1825 -x1826
-x1827 x1828 -x1829 -x1830 x1831 -x1834 -x1833 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1845 -x1844 -x1846 -x1847 -x1848
-x1849 -x1850 -x1851 -x1852 -x1855 -x1854 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1871
-x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1884 -x1883 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1891 -x1893
-x1894 -x1895 -x1896 -x1897 -x1898 -x1901 -x1900 -x1902 -x1903 -x1904 -x1905 -x1906 -x1909 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1917
-x1916 -x1918 -x1919 -x1920 -x1921 x1922 x1923 -x1926 -x1925 x1927 -x1928 -x1929 x1930 -x1931 -x1932 x1933 -x1935 -x1936 -x1937 -x1938
-x1939 -x1940 -x1941 -x1942 -x1945 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
-x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 x1968 x1969 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981
-x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 x1992 -x1993 -x1994 x1995 -x1998 -x1997 -x1999 -x2000 -x2001 -x2002
-x2003 -x2004 -x2005 -x2006 -x2009 -x2008 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2026
-x2025 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2037 -x2036 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046
-x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2060 -x2059 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
-x2068 -x2069 -x2070 x2071 x2072 -x2075 -x2074 -x2076 x2077 -x2078 -x2079 -x2080 x2081 x2082 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089
-x2090 x2091 x2092 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110
x2111 -x2114 -x2113 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 x2121 -x2124 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
-x2135 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154
-x2155 -x2156 -x2157 -x2160 -x2159 -x2161 -x2162 -x2163 -x2164 -x2165 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2177 -x2176
-x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198
-x2199 -x2200 x2201 -x2202 -x2203 x2204 -x2207 -x2206 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
-x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241
-x2244 -x2243 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262
-x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 x2278 -x2279 x2280 -x2282 -x2283
-x2284 -x2285 -x2286 -x2287 x2288 -x2289 x2290 -x2293 -x2292 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304
-x2305 -x2306 -x2307 -x2308 -x2309 x2310 x2311 -x2314 -x2313 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325
-x2326 -x2327 x2328 -x2329 x2330 -x2333 -x2332 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 x2341 -x2342 x2343 -x2346 -x2345 -x2347
-x2348 -x2349 x2350 -x2351 x2352 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 x2361 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369
-x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 x2386 -x2387 -x2388 x2389
-x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410
-x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 x2420 x2422 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432
-x2433 -x2434 -x2435 x2436 -x2437 x2438 x2440 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454
-x2457 -x2456 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475
-x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495
-x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 x2514 -x2515
-x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535
-x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555
-x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575
-x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595
-x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615
-x2616 -x2617 -x2618 -x2620 -x2621 x2619 -x2624 -x2625 -x2623 x2627 -x2628 -x2626 -x2630 -x2631 -x2629 x2633 -x2634 -x2632 -x2637 -x2638
-x2636 -x2640 -x2641 x2639 -x2643 -x2644 -x2642 -x2646 -x2647 x2645 -x2650 -x2651 -x2649 -x2653 -x2654 -x2652 x2656 -x2657 -x2655 -x2659
-x2658 -x2662 -x2661 -x2664 -x2663 -x2666 x2665 -x2667 -x2668 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2677 -x2678 -x2676 -x2681 -x2682
-x2680 -x2684 -x2685 x2683 x2687 -x2688 -x2686 -x2690 -x2691 -x2689 -x2694 -x2695 -x2693 -x2697 -x2698 x2696 x2700 -x2701 -x2699 -x2702
-x2704 -x2705 -x2706 x2707 -x2708 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2718 x2719 -x2720 -x2721 -x2723 -x2724 x2725 -x2726
-x2728 -x2729 -x2730 -x2731 -x2733 -x2734 -x2735 -x2736 -x2738 -x2739 -x2740 -x2741 -x2743 -x2744 -x2745 -x2746 -x2748 -x2749 -x2750 -x2751
-x2752 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 x2760 -x2762 -x2763 -x2764 -x2765 -x2767 -x2768 -x2769 -x2770 -x2772 -x2773 -x2774 -x2775
-x2777 -x2778 -x2779 x2780 -x2782 -x2783 -x2784 -x2785 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 x2794 -x2795 -x2797 -x2798 x2799 -x2800
-x2802 x2803 -x2804 -x2805 -x2807 -x2808 -x2809 -x2810 -x2812 x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2822 -x2823 x2824 -x2826
-x2825 -x2829 -x2828 -x2831 -x2830 -x2833 x2832 -x2834 -x2836 -x2837 -x2838 -x2839 -x2841 -x2842 -x2843 -x2844 -x2846 -x2847 -x2848 -x2849
-x2851 -x2852 -x2853 -x2854 -x2856 -x2857 -x2858 -x2859 -x2861 -x2862 -x2863 -x2864 -x2866 x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874
-x2876 -x2877 -x2878 -x2879 -x2881 -x2882 x2883 -x2884 -x2886 -x2887 -x2888 -x2889 -x2891 -x2892 -x2893 -x2894 -x2896 -x2897 -x2898 -x2899
-x2901 -x2902 -x2903 -x2904 -x2906 -x2907 -x2908 -x2909 -x2911 x2912 -x2913 -x2914 -x2916 -x2917 -x2918 -x2919 -x2921 -x2922 -x2923 -x2924
-x2926 -x2927 -x2928 -x2929 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937 -x2938 -x2939 -x2941 -x2942 -x2943 -x2944 -x2946 -x2947 -x2948 -x2949
-x2951 x2952 -x2953 -x2954 -x2956 -x2957 -x2958 -x2959 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2971 -x2972 -x2973 -x2974
-x2976 -x2977 -x2978 -x2979 -x2981 x2982 -x2983 -x2984 -x2986 -x2987 x2988 -x2989 -x2991 -x2992 -x2993 -x2994 -x2996 -x2997 -x2998 -x2999
-x3001 -x3002 -x3003 -x3004 -x3006 -x3007 x3008 -x3009 -x3011 -x3012 x3013 -x3014 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 x3024
-x3026 -x3027 -x3028 -x3029 -x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3041 -x3042 -x3043 -x3044 -x3046 -x3047 -x3048 -x3049
-x3051 -x3052 -x3053 -x3054 -x3056 -x3057 -x3058 -x3059 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 -x3068 -x3069 -x3071 -x3072 -x3073 -x3074
-x3076 -x3077 -x3078 -x3079 -x3081 -x3082 -x3083 -x3084 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 x3093 -x3094 -x3096 -x3097 -x3098 -x3099
-x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3111 -x3112 x3113 x3115 -x3117 x3119 x3121 x3122 x3124 x3123 x3126 x3128 x3127
x3130 x3132 x3131 x3134 x3136 x3135 x3138 x3140 x3139 x3142 x3144 x3143 x3146 x3148 x3147 x3150 x3152 x3151 x3154 x3156 x3155 x3158 x3160
x3159 x3162 x3164 x3163 x3166 x3168 x3167 x3170 x3172 x3171 x3174 x3176 x3175 x3178 x3180 x3179 -x3182 -x490 -x3183 -x2083 -x3184 -x1449
-x3185 -x1646 -x3186 -x1201 x3187 x1316 -x3188 -x514 -x3189 -x754 x3190 x202 -x3191 -x983 -x3192 -x1899 -x3193 -x1674 -x3194 -x942 -x3195
-x162 -x3196 -x1943 -x3197 -x298 -x3198 -x1773 -x3199 -x1376 -x3200 -x2166 -x3201 -x330 -x3202 -x2312 -x3203 -x2331 -x3204 -x866 -x3205
-x338 -x3206 -x2455 -x3207 -x474 -x3208 -x554 -x3209 -x282 -x3210 -x106 -x3211 -x618 -x3212 -x842 -x3213 -x562 -x3214 -x98 -x3215 -x738
-x3216 -x1570 -x3217 -x794 -x3218 -x362 -x3219 -x2122 -x3220 -x1724 -x3221 -x1051 -x3222 -x650 -x3223 -x975 -x3224 -x90 -x3225 -x1882 -x3226
-x346 -x3227 -x1457 -x3228 -x426 -x3229 -x1275 -x3230 -x1291 -x3231 -x967 -x3232 -x1597 -x3233 -x1915 -x3234 -x1348 -x3235 -x122 -x3236
-x2184 -x3237 -x522 -x3238 -x610 -x3239 -x690 -x3240 -x826 -x3241 -x2133 -x3242 -x1099 -x3243 -x2007 x3244 x1250 -x3245 -x722 -x3246 -x1765
-x3247 -x250 -x3248 -x1581 -x3249 -x402 -x3250 -x1007 -x3251 -x1226 -x3252 -x874 -x3253 -x546 -x3254 -x2073 -x3255 -x1748 -x3256 -x1259
-x3257 -x1801 -x3258 -x1126 x3259 -x3260 -x1496 -x3261 -x706 -x3262 -x170 -x3263 -x2175 -x3264 -x1193 -x3265 -x1709 -x3266 -x1217 -x3267
-x1756 -x3268 -x2281 -x3269 -x802 x3270 -x3271 -x2220 -x3272 -x458 -x3273 -x1157 -x3274 -x258 x3275 x882 -x3276 -x858 -x3277 -x1924 -x3278
-x210 -x3279 -x2242 -x3280 -x154 -x3281 -x274 -x3282 -x1184 -x3283 -x354 -x3284 -x2158 -x3285 -x178 x3286 x1665 -x3287 -x2362 -x3288 -x1324
-x3289 -x2230 -x3290 -x714 -x3291 -x506 -x3292 -x1682 -x3293 -x1626 -x3294 -x1118 -x3295 -x1547 -x3296 -x1340 -x3297 -x586 x3298 x999 -x3299
-x2058 -x3300 -x2112 -x3301 -x370 -x3302 -x2390 x3303 x1504 -x3304 -x1870 -x3305 -x916 -x3306 -x322 -x3307 -x186 -x3308 -x530 -x3309 -x1068
-x3310 -x1513 -x3311 -x1283 -x3312 -x146 -x3313 -x1555 -x3314 -x1016 -x3315 -x234 -x3316 -x1822 -x3317 -x1539 x3318 x1970 -x3319 -x991
-x3320 -x1385 -x3321 -x1300 -x3322 -x658 -x3323 -x1242 -x3324 -x386 -x3325 -x194 -x3326 -x450 -x3327 -x2205 -x3328 -x1441 -x3329 -x1308
-x3330 -x698 -x3331 -x950 -x3332 -x746 -x3333 -x434 -x3334 -x1843 x3335 x1740 -x3336 -x1732 -x3337 -x1357 -x3338 -x1996 -x3339 -x1832 -x3340
-x834 -x3341 -x2024 -x3342 -x1397 -x3343 -x2145 -x3344 -x1405 -x3345 -x466 -x3346 -x906 -x3347 -x394 -x3348 -x1890 -x3349 -x770 -x3350 -x578
-x3351 -x626 x3352 x1423 -x3353 -x2016 -x3354 -x674 x3355 x1109 -x3356 -x933 -x3357 -x2093 -x3358 -x306 -x3359 -x666 -x3360 -x1267 -x3361
-x1332 -x3362 -x378 -x3363 -x634 -x3364 -x890 -x3365 -x818 -x3366 -x810 -x3367 -x1907 -x3368 -x786 -x3369 -x570 -x3370 -x850 -x3371 -x2291
-x3372 -x1060 -x3373 -x1862 -x3374 -x498 -x3375 -x1853 x3376 x1368 -x3377 -x1530 -x3378 -x1934 -x3379 -x1076 -x3380 -x442 -x3381 -x1781
-x3382 -x82 -x3383 -x2035 -x3384 -x1589 -x3385 -x218 -x3386 -x1953 -x3387 -x1137 -x3388 -x1789 -x3389 -x1696 -x3390 -x410 -x3391 -x1616
-x3392 -x1147 -x3393 -x290 -x3394 -x642 -x3395 -x1487 -x3396 -x898 -x3397 -x1234 -x3398 -x1043 -x3399 -x594 -x3400 -x1634 -x3401 -x1167
-x3402 -x682 -x3403 -x1024 -x3404 -x762 -x3405 -x314 -x3406 -x1522 -x3407 -x242 -x3408 -x958 -x3409 -x925 -x3410 -x1176 -x3411 -x1209 -x3412
-x1034 -x3413 -x2353 -x3414 -x1415 -x3415 -x130 -x3416 -x1812 -x3417 -x602 -x3418 -x418 -x3419 -x1433 -x3420 -x2344 -x3421 -x482 -x3422
-x538 -x3423 -x226 -x3424 -x266 -x3425 -x138 -x3426 -x730 -x3427 -x114 -x3428 -x1088 x3429 x778 -x3430 -x3432 x3434 -x3436 -x3439 -x3441
x3443 -x3445 -x3448 -x3450 x3452 -x3454 -x3457 -x3459 x3461 -x3463 -x3466 -x3468 -x3470 -x3472 -x3475 -x3477 -x3479 -x3481 -x3484 -x3486
-x3488 -x3490 -x3493 -x3495 x3497 -x3499 -x3502 -x3504 x3506 -x3508 -x3511 -x3513 x3515 -x3517 -x3520 -x3522 x3524 -x3526 -x3529 -x3531
x3533 -x3535 -x3538 -x3540 x3542 -x3544 -x3547 -x3549 x3551 -x3553 -x3556 -x3558 x3560 -x3562