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

Result page for benchmark
PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-098.opb

Jump to solvers results

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-098.opb
MD5SUMfd4d285bca9921d0ef00c37d248a5d7a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1708
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables183
Total number of constraints1457
Number of constraints which are clauses1456
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 3125
Biggest coefficient in the objective function 2143
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 9577
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2143
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 9577
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)2947
Sum of products size (including duplicates)5894
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)4119243SAT (TO)1708 1800.02 1800.3
Sat4j PB 2.3.6 Res+CP PB16 (complete)4119241SAT (TO)1773 1800.17 967.359
Sat4j PB 2.3.6 Resolution PB16 (complete)4119242SAT (TO)2078 1800.59 1776.65
toysat 2016-05-02 (complete)4119240? (TO) 1800.03 1800.61

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