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

Result page for benchmark
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_14.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_14.opb
MD5SUM8f1ab1cee0eaffd9cfda11c2de0123e4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark645.412
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2163
Total number of constraints10354
Number of constraints which are clauses10350
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint46
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 14
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 60
Number of bits of the biggest sum of numbers6
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 NameTraceIDAnswerCPU timeWall clock time
Open-WBO-LSU PB16 (complete)4097831SAT 645.412 645.513
Open-WBO PB16 (complete)4097833SAT 651.014 651.136
NaPS 1.02 (complete)4097830? (TO) 1800.02 1800.3
cdcl-cuttingplanes DEC 2016-05-01 (complete)4097834? (TO) 1800.02 1800.3
minisatp 2012-10-02 git-d91742b (complete)4113695? (TO) 1800.02 1800.3
toysat 2016-05-02 (complete)4097828? (TO) 1800.09 1800.61
Sat4j PB 2.3.6 Res+CP PB16 (complete)4097829? (TO) 1800.15 895.859
Sat4j PB 2.3.6 Resolution PB16 (complete)4097832? (TO) 1800.7 1796.04

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: 0
Solution found:
x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 x30 x31 -x32
x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 x45 x46 -x47 -x94 -x139 -x184 -x229 -x274 -x319 -x364 -x409 -x454 -x499 -x544 -x589
-x634 -x679 -x724 -x769 -x814 -x859 -x904 -x949 -x994 -x1039 -x1084 -x1129 -x1174 -x1219 -x1264 -x1309 x1354 -x1399 -x1444 -x1489 -x95 -x140
-x185 -x230 -x275 -x320 -x365 -x410 -x455 -x500 -x545 -x590 -x635 -x680 -x725 -x770 -x815 -x860 -x905 -x950 -x995 -x1040 -x1085 -x1130
-x1175 -x1220 -x1265 x1310 -x1355 -x1400 -x1445 -x1490 -x96 -x141 -x186 -x231 -x276 -x321 -x366 -x411 -x456 -x501 -x546 -x591 -x636 -x681
-x726 -x771 -x816 -x861 -x906 -x951 -x996 -x1041 -x1086 -x1131 -x1176 -x1221 -x1266 -x1311 x1356 -x1401 -x1446 -x1491 -x97 -x142 -x187 -x232
-x277 -x322 -x367 -x412 -x457 -x502 -x547 -x592 -x637 -x682 -x727 -x772 -x817 -x862 -x907 -x952 -x997 -x1042 -x1087 -x1132 -x1177 -x1222
-x1267 x1312 -x1357 -x1402 -x1447 -x1492 -x98 -x143 -x188 -x233 -x278 -x323 -x368 -x413 -x458 -x503 -x548 -x593 -x638 -x683 x728 -x773 -x818
-x863 -x908 -x953 -x998 -x1043 -x1088 -x1133 -x1178 -x1223 -x1268 -x1313 -x1358 x1403 -x1448 -x1493 -x99 -x144 -x189 -x234 -x279 -x324 -x369
-x414 -x459 -x504 -x549 -x594 -x639 -x684 -x729 -x774 -x819 -x864 -x909 -x954 -x999 -x1044 -x1089 x1134 -x1179 -x1224 -x1269 -x1314 -x1359
-x1404 -x1449 -x1494 -x100 -x145 -x190 -x235 -x280 -x325 -x370 -x415 -x460 -x505 -x550 -x595 x640 -x685 -x730 -x775 -x820 -x865 -x910 -x955
-x1000 -x1045 -x1090 -x1135 -x1180 -x1225 -x1270 -x1315 -x1360 -x1405 -x1450 x1495 -x101 -x146 -x191 -x236 -x281 -x326 -x371 -x416 -x461
-x506 -x551 -x596 -x641 -x686 -x731 -x776 -x821 -x866 -x911 -x956 -x1001 -x1046 -x1091 x1136 -x1181 -x1226 -x1271 -x1316 -x1361 -x1406
-x1451 -x1496 -x102 -x147 -x192 -x237 -x282 -x327 -x372 -x417 -x462 -x507 -x552 -x597 -x642 -x687 x732 -x777 -x822 -x867 -x912 -x957 -x1002
-x1047 -x1092 -x1137 -x1182 -x1227 -x1272 -x1317 -x1362 x1407 -x1452 -x1497 -x103 -x148 -x193 -x238 -x283 -x328 -x373 -x418 -x463 -x508
-x553 -x598 -x643 -x688 -x733 -x778 -x823 -x868 -x913 x958 -x1003 -x1048 -x1093 -x1138 -x1183 -x1228 -x1273 -x1318 -x1363 -x1408 -x1453
-x1498 -x104 -x149 -x194 -x239 -x284 -x329 -x374 -x419 -x464 -x509 -x554 -x599 x644 -x689 -x734 -x779 -x824 -x869 -x914 -x959 -x1004 -x1049
-x1094 -x1139 -x1184 -x1229 -x1274 -x1319 -x1364 -x1409 -x1454 x1499 -x105 -x150 -x195 -x240 -x285 -x330 -x375 -x420 -x465 -x510 -x555 -x600
-x645 -x690 -x735 -x780 -x825 -x870 -x915 x960 -x1005 -x1050 -x1095 -x1140 -x1185 -x1230 -x1275 -x1320 -x1365 -x1410 -x1455 -x1500 -x106
-x151 -x196 -x241 -x286 -x331 -x376 -x421 -x466 -x511 -x556 -x601 -x646 -x691 x736 -x781 -x826 -x871 -x916 -x961 -x1006 -x1051 -x1096 -x1141
-x1186 -x1231 -x1276 -x1321 -x1366 x1411 -x1456 -x1501 -x107 -x152 -x197 -x242 -x287 -x332 -x377 -x422 -x467 -x512 -x557 -x602 -x647 -x692
x737 -x782 -x827 -x872 -x917 -x962 -x1007 -x1052 -x1097 -x1142 -x1187 -x1232 -x1277 -x1322 -x1367 x1412 -x1457 -x1502 -x108 -x153 -x198
-x243 -x288 -x333 -x378 -x423 -x468 -x513 -x558 -x603 x648 -x693 -x738 -x783 -x828 -x873 -x918 -x963 -x1008 -x1053 -x1098 -x1143 -x1188
-x1233 -x1278 -x1323 -x1368 -x1413 -x1458 -x1503 -x109 -x154 -x199 -x244 -x289 -x334 -x379 -x424 -x469 -x514 -x559 -x604 x649 -x694 -x739
-x784 -x829 -x874 -x919 -x964 -x1009 -x1054 -x1099 -x1144 -x1189 -x1234 -x1279 -x1324 x1369 -x1414 -x1459 -x1504 -x110 -x155 -x200 -x245
-x290 -x335 -x380 -x425 -x470 -x515 -x560 -x605 -x650 -x695 -x740 -x785 -x830 -x875 -x920 -x965 -x1010 -x1055 -x1100 -x1145 -x1190 -x1235
-x1280 x1325 -x1370 -x1415 -x1460 -x1505 -x111 -x156 -x201 -x246 -x291 -x336 -x381 -x426 -x471 -x516 -x561 -x606 -x651 -x696 -x741 -x786
-x831 -x876 -x921 -x966 -x1011 -x1056 -x1101 -x1146 -x1191 -x1236 -x1281 -x1326 x1371 -x1416 -x1461 -x1506 x112 -x157 -x202 -x247 -x292
-x337 -x382 -x427 -x472 -x517 -x562 -x607 -x652 -x697 -x742 -x787 -x832 -x877 -x922 -x967 -x1012 -x1057 -x1102 -x1147 -x1192 -x1237 -x1282
x1327 -x1372 -x1417 -x1462 -x1507 -x113 -x158 -x203 -x248 -x293 -x338 -x383 -x428 -x473 -x518 -x563 -x608 -x653 -x698 x743 -x788 -x833 -x878
-x923 -x968 -x1013 -x1058 -x1103 -x1148 -x1193 -x1238 -x1283 -x1328 -x1373 -x1418 -x1463 -x1508 -x114 -x159 -x204 -x249 -x294 -x339 -x384
-x429 -x474 -x519 -x564 -x609 -x654 -x699 -x744 -x789 -x834 -x879 -x924 -x969 -x1014 -x1059 -x1104 x1149 -x1194 -x1239 -x1284 -x1329 -x1374
-x1419 -x1464 -x1509 -x115 -x160 -x205 -x250 -x295 -x340 -x385 -x430 -x475 -x520 -x565 -x610 x655 -x700 -x745 -x790 -x835 -x880 -x925 -x970
-x1015 -x1060 -x1105 -x1150 -x1195 -x1240 -x1285 -x1330 -x1375 -x1420 -x1465 -x1510 x116 -x161 -x206 -x251 -x296 -x341 -x386 -x431 -x476
-x521 -x566 -x611 -x656 -x701 -x746 -x791 -x836 -x881 -x926 -x971 -x1016 -x1061 -x1106 x1151 -x1196 -x1241 -x1286 -x1331 -x1376 -x1421
-x1466 -x1511 -x117 -x162 -x207 -x252 -x297 -x342 -x387 -x432 -x477 -x522 -x567 -x612 -x657 -x702 x747 -x792 -x837 -x882 -x927 -x972 -x1017
-x1062 -x1107 -x1152 -x1197 -x1242 -x1287 -x1332 -x1377 -x1422 -x1467 -x1512 -x118 -x163 -x208 -x253 -x298 -x343 -x388 -x433 -x478 -x523
-x568 -x613 -x658 -x703 -x748 -x793 -x838 -x883 -x928 x973 -x1018 -x1063 -x1108 -x1153 -x1198 -x1243 -x1288 -x1333 -x1378 -x1423 -x1468
-x1513 -x119 -x164 -x209 -x254 -x299 -x344 -x389 -x434 -x479 -x524 -x569 -x614 x659 -x704 -x749 -x794 -x839 -x884 -x929 -x974 -x1019 -x1064
-x1109 -x1154 -x1199 -x1244 -x1289 -x1334 -x1379 -x1424 -x1469 -x1514 x120 -x165 -x210 -x255 -x300 -x345 -x390 -x435 -x480 -x525 -x570 -x615
-x660 -x705 -x750 -x795 -x840 -x885 -x930 x975 -x1020 -x1065 -x1110 -x1155 -x1200 -x1245 -x1290 -x1335 -x1380 -x1425 -x1470 -x1515 x121
-x166 -x211 -x256 -x301 -x346 -x391 -x436 -x481 -x526 -x571 -x616 -x661 -x706 x751 -x796 -x841 -x886 -x931 -x976 -x1021 -x1066 -x1111 -x1156
-x1201 -x1246 -x1291 -x1336 -x1381 -x1426 -x1471 -x1516 -x122 -x167 -x212 -x257 -x302 -x347 -x392 -x437 -x482 -x527 -x572 -x617 -x662 -x707
x752 -x797 -x842 -x887 -x932 -x977 -x1022 -x1067 -x1112 -x1157 -x1202 -x1247 -x1292 -x1337 -x1382 -x1427 -x1472 -x1517 -x123 -x168 -x213
-x258 -x303 -x348 -x393 -x438 -x483 -x528 -x573 -x618 x663 -x708 -x753 -x798 -x843 -x888 -x933 -x978 -x1023 -x1068 -x1113 -x1158 -x1203
-x1248 -x1293 -x1338 -x1383 -x1428 -x1473 -x1518 -x124 -x169 -x214 -x259 -x304 -x349 -x394 -x439 -x484 -x529 -x574 -x619 x664 -x709 -x754
-x799 -x844 -x889 -x934 -x979 -x1024 -x1069 -x1114 -x1159 -x1204 -x1249 -x1294 x1339 -x1384 -x1429 -x1474 -x1519 -x125 -x170 -x215 -x260
-x305 -x350 -x395 -x440 -x485 -x530 -x575 -x620 -x665 -x710 -x755 -x800 -x845 -x890 -x935 -x980 -x1025 -x1070 -x1115 -x1160 -x1205 -x1250
-x1295 -x1340 x1385 -x1430 -x1475 -x1520 -x126 -x171 -x216 -x261 -x306 -x351 -x396 -x441 -x486 -x531 -x576 -x621 -x666 -x711 -x756 -x801
-x846 -x891 -x936 -x981 -x1026 -x1071 -x1116 -x1161 -x1206 -x1251 -x1296 x1341 -x1386 -x1431 -x1476 -x1521 x127 -x172 -x217 -x262 -x307
-x352 -x397 -x442 -x487 -x532 -x577 -x622 -x667 -x712 -x757 -x802 -x847 -x892 -x937 -x982 -x1027 -x1072 -x1117 -x1162 -x1207 -x1252 -x1297
-x1342 -x1387 -x1432 -x1477 x1522 -x128 -x173 -x218 -x263 -x308 -x353 -x398 -x443 -x488 -x533 -x578 -x623 -x668 -x713 -x758 -x803 -x848
-x893 -x938 -x983 -x1028 -x1073 -x1118 x1163 -x1208 -x1253 -x1298 -x1343 -x1388 -x1433 -x1478 -x1523 -x129 -x174 -x219 -x264 -x309 -x354
-x399 -x444 -x489 -x534 -x579 -x624 -x669 -x714 -x759 -x804 -x849 -x894 -x939 -x984 -x1029 -x1074 -x1119 -x1164 -x1209 -x1254 -x1299 -x1344
-x1389 x1434 -x1479 -x1524 -x130 -x175 -x220 -x265 -x310 -x355 -x400 -x445 -x490 -x535 -x580 -x625 -x670 -x715 -x760 -x805 -x850 -x895 -x940
-x985 -x1030 -x1075 -x1120 x1165 -x1210 -x1255 -x1300 -x1345 -x1390 -x1435 -x1480 -x1525 x131 -x176 -x221 -x266 -x311 -x356 -x401 -x446
-x491 -x536 -x581 -x626 -x671 -x716 -x761 -x806 -x851 -x896 -x941 -x986 -x1031 -x1076 -x1121 -x1166 -x1211 -x1256 -x1301 -x1346 -x1391
-x1436 -x1481 x1526 -x132 -x177 -x222 -x267 -x312 -x357 -x402 -x447 -x492 -x537 -x582 -x627 -x672 -x717 -x762 -x807 -x852 -x897 -x942 x987
-x1032 -x1077 -x1122 -x1167 -x1212 -x1257 -x1302 -x1347 -x1392 -x1437 -x1482 -x1527 -x133 -x178 -x223 -x268 -x313 -x358 -x403 -x448 -x493
-x538 -x583 -x628 -x673 -x718 -x763 -x808 -x853 -x898 -x943 -x988 -x1033 -x1078 -x1123 -x1168 -x1213 -x1258 -x1303 -x1348 -x1393 x1438
-x1483 -x1528 -x134 -x179 -x224 -x269 -x314 -x359 -x404 -x449 -x494 -x539 -x584 -x629 -x674 -x719 -x764 -x809 -x854 -x899 -x944 x989 -x1034
-x1079 -x1124 -x1169 -x1214 -x1259 -x1304 -x1349 -x1394 -x1439 -x1484 -x1529 x135 -x180 -x225 -x270 -x315 -x360 -x405 -x450 -x495 -x540
-x585 -x630 -x675 -x720 -x765 -x810 -x855 -x900 -x945 -x990 -x1035 -x1080 -x1125 -x1170 -x1215 -x1260 -x1305 -x1350 -x1395 -x1440 -x1485
x1530 x136 -x181 -x226 -x271 -x316 -x361 -x406 -x451 -x496 -x541 -x586 -x631 -x676 -x721 -x766 -x811 -x856 -x901 -x946 -x991 -x1036 -x1081
-x1126 -x1171 -x1216 -x1261 -x1306 -x1351 -x1396 -x1441 -x1486 x1531 -x137 -x182 -x227 -x272 -x317 -x362 -x407 -x452 -x497 -x542 -x587 -x632
-x677 -x722 -x767 -x812 -x857 -x902 -x947 -x992 -x1037 -x1082 -x1127 -x1172 -x1217 -x1262 -x1307 -x1352 -x1397 x1442 -x1487 -x1532 -x138
-x183 -x228 -x273 -x318 -x363 -x408 -x453 -x498 -x543 -x588 -x633 -x678 -x723 -x768 -x813 -x858 -x903 -x948 -x993 -x1038 -x1083 -x1128
-x1173 -x1218 -x1263 -x1308 -x1353 -x1398 x1443 -x1488 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
-x1545 -x1546 -x1547 -x1548 -x1549 -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 -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 -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 -x1682 -x1683 -x1684
-x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
-x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724
-x1725 -x1726 -x1727 -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 -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 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 -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 -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 -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 -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 -x2023 -x2024
-x2025 -x2026 -x2027 -x2028 x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -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 -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 -x2163 x48 x49
x50 x51 -x52 -x53 x54 -x55 x56 x57 x58 -x59 x60 -x61 x62 -x63 x64 -x65 x66 -x67 x68 x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 x78 x79 x80
x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 x1