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-B-3-combined-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-B-3-combined-irEDCBA.opb
MD5SUM4a8977c9b9a2850db471efac5213f1d1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134168528
Best CPU time to get the best result obtained on this benchmark405.515
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4308
Total number of constraints15405
Number of constraints which are clauses15345
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)4115654OPT134168528 405.515 405.584
NaPS 1.02 (complete)4110742OPT134168528 1568.94 1569.19
Sat4j PB 2.3.6 Res+CP PB16 (complete)4110741SAT (TO)144661488 1800.09 895.574
Sat4j PB 2.3.6 Resolution PB16 (complete)4110743SAT (TO)192892864 1800.03 1797.36
toysat 2016-05-02 (complete)4110740? (MO) 767.074 767.199

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: 134168528
Solution found:
-x3366 -x3379 -x3392 -x3404 -x3413 x3423 x3436 -x3447 x3453 x3461 x3466 -x3471 x3476 -x3481 -x3486 -x3491 -x3497 -x3505 -x3510 x3515 x3520
-x3525 -x3530 -x3535 -x3540 x3545 x3550 x3555 -x3560 x3565 x3571 -x3579 x3584 -x3589 -x3594 -x3599 -x3604 -x3609 -x3614 -x3619 -x3624 -x3629
x3634 -x3639 -x3644 x3649 -x3654 -x3659 -x3664 x3669 x3674 -x3679 -x3684 -x3689 x3694 -x3699 -x3704 -x3709 -x3714 x3719 -x3724 -x3729 -x3734
-x3739 -x3744 -x3749 -x3754 x3759 -x3764 -x3769 -x3774 x3779 -x3784 -x3789 -x3794 -x3799 -x3804 -x3809 x3814 -x3819 -x3824 -x3829 -x3834
x3839 x3844 -x3849 -x3854 -x3858 x3860 x3862 x3864 -x4175 x4177 -x4179 -x4181 -x4182 -x4184 x4186 -x4188 -x4190 -x4191 -x4193 x4195 -x4197
-x4199 -x4200 -x4202 x4204 -x4206 -x4208 -x4209 -x4211 x4213 -x4215 -x4217 -x4218 -x4220 x4222 -x4224 -x4226 -x4227 -x4229 -x4231 -x4233
x4235 -x4236 -x4238 x4240 -x4242 -x4244 -x4245 -x4247 -x4249 -x4251 x4253 -x4254 -x4256 x4258 -x4260 -x4262 -x4263 -x4265 -x4267 -x4269
x4271 -x4272 -x4274 x4276 -x4278 -x4280 -x4281 -x4283 x4285 -x4287 -x4289 -x4290 -x4292 x4294 -x4296 -x4298 -x4299 -x4301 x4303 -x4305
-x4307 -x4308 x1 x2 x7 x12 x17 x22 x27 x32 x37 x42 x47 x52 x57 x62 x67 x72 x3161 x3182 x3869 x3873 x3877 x3881 x3885 x3889 x3893 x3897 x3901
x3905 x3909 x3913 x3917 x3921 x3925 x3159 x3180 -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 -x82 x83 x84 x87 x86 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x98
-x97 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x119 -x120 -x121 -x122
-x123 -x124 -x125 -x126 -x127 -x128 -x131 -x130 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x141 -x142 -x143 -x144 -x145 -x146 -x147
-x148 -x149 -x150 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x164 -x163 -x165 -x166 -x167 -x168 -x169 x170 -x171 x172 -x174
-x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 x194 -x196 -x197 -x198 -x199 -x200
-x201 -x202 x203 -x204 x205 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 x216 -x219 -x218 -x220 -x221 -x222 -x223 -x224 -x225 -x226
-x227 -x230 -x229 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x241 -x240 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x251 -x252
-x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x263 -x262 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x274 -x273 -x275 -x276 -x277
-x278 -x279 -x280 -x281 -x282 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x296 -x295 -x297 -x298 -x299 -x300 -x301 -x302
-x303 -x304 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x318 -x317 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x328
-x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x351 -x350 -x352 -x353
-x354 -x355 -x356 -x357 -x358 -x359 -x362 -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x373 -x374 -x375 -x376 -x377 -x378
-x379 -x380 -x381 -x384 -x383 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x395 -x394 -x396 -x397 -x398 -x399 -x400 -x401 x402 x403 -x406
-x405 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x428 -x427 -x429 -x430 -x431
-x432 -x433 -x434 x435 x436 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 x447 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
-x458 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x483 -x482
-x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x494 -x493 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x504 -x505 -x506 -x507 -x508
-x509 -x510 -x511 -x512 -x513 -x516 -x515 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533
-x534 -x535 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x549 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x559
-x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x582 -x581 -x583 -x584
-x585 -x586 -x587 -x588 -x589 -x590 -x593 -x592 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x604 -x603 -x605 -x606 -x607 -x608 -x609
-x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 x623 -x626 -x625 -x627 -x628 -x629 -x630 -x631 x632 -x633 x634 -x636
-x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 x645 -x648 -x647 -x649 -x650 -x651 -x652 -x653 x654 -x655 x656 -x659 -x658 -x660 -x661 -x662
-x663 -x664 x665 -x666 x667 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 x678 -x681 -x680 -x682 -x683 -x684 -x685 -x686 x687 -x688
x689 -x692 -x691 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 x711 -x713 -x714 -x715
-x716 -x717 -x718 -x719 x720 -x721 x722 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 x733 -x736 -x735 -x737 -x738 -x739 -x740 -x741
x742 -x743 x744 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 x755 -x758 -x757 -x759 -x760 -x761 -x762 -x763 x764 -x765 x766 -x769
-x768 -x770 -x771 -x772 -x773 -x774 x775 -x776 x777 -x780 -x779 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x791 -x790 -x792 -x793
-x794 -x795 -x796 -x797 -x798 -x799 -x802 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x813 -x812 -x814 -x815 -x816 -x817 -x818
-x819 -x820 -x821 -x824 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843
-x846 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x868 -x867 -x869
-x870 -x871 -x872 -x873 -x874 -x875 -x876 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x890 -x889 -x891 -x892 -x893 -x894
-x895 -x896 -x897 -x898 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919
-x920 -x923 -x922 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x945 -x944
-x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x956 -x955 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x966 -x967 -x968 -x969 -x970
-x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
-x996 -x997 -x1000 -x999 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1011 -x1010 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017
x1018 x1019 -x1022 -x1021 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
x1040 x1041 -x1044 -x1043 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 x1060 -x1061 x1062
x1063 -x1066 -x1065 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 x1074 -x1077 -x1076 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084
x1085 x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 x1094 x1095 x1096 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 x1105 x1106 x1107
-x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 x1118 x1121 x1120 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
-x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151
-x1154 -x1153 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 x1173
-x1176 -x1175 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
-x1198 -x1197 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1209 -x1208 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
-x1220 -x1219 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239
-x1240 -x1241 -x1242 -x1245 -x1244 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
-x1262 -x1263 x1264 x1265 -x1268 -x1267 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 x1276 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
-x1284 -x1285 -x1286 -x1287 -x1290 -x1289 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1301 -x1302 -x1303 -x1304 -x1305
-x1306 -x1307 -x1308 -x1309 -x1310 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 x1321 -x1323 -x1324 -x1325 -x1326 -x1327
-x1328 -x1329 -x1330 x1331 x1332 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1345 -x1346 -x1347 -x1348 -x1349
-x1350 x1351 -x1352 -x1353 x1354 -x1357 -x1356 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1369 -x1368 -x1370 -x1371
-x1372 -x1373 x1374 -x1375 -x1376 x1377 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393
-x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1405 -x1404 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 x1413 -x1415
-x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 x1425 -x1428 -x1427 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 x1436
x1439 x1438 -x1440 -x1441 -x1442 x1443 -x1444 x1445 x1446 x1447 -x1450 -x1449 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459
x1460 -x1461 x1462 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 x1476 -x1478 -x1479 -x1480 -x1481
-x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 x1489 -x1492 -x1491 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 x1501 -x1503
-x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524
-x1525 x1526 -x1529 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 x1539 -x1542 -x1541 -x1543 x1544 -x1545 -x1546
-x1547 -x1548 -x1549 x1550 -x1551 x1552 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 x1565 -x1568 -x1567
-x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 x1577 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 x1588 -x1591
-x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 x1600 -x1603 -x1602 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 x1611
-x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 x1622 -x1624 -x1625 -x1626 -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 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 x1667 -x1670 -x1669 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677
x1678 -x1681 -x1680 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699
-x1700 x1701 x1703 x1704 -x1705 -x1706 -x1707 x1708 -x1709 x1710 x1711 x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
-x1723 -x1726 -x1725 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744
-x1745 x1746 -x1749 -x1748 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1760 -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
x1767 x1768 -x1771 -x1770 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 -x1782 -x1781 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
-x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
x1811 x1812 x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 x1824 x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833
-x1834 -x1835 -x1836 x1837 x1838 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1851 -x1852 -x1853 -x1854 -x1855
-x1856 -x1857 -x1858 x1859 -x1860 x1861 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
-x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898
x1899 x1900 -x1903 -x1902 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 -x1914 -x1913 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
-x1921 -x1922 -x1923 -x1924 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
-x1943 -x1944 -x1945 -x1946 -x1949 -x1948 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -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 -x1993 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2005 -x2004 -x2006
-x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2027 -x2028
x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 x2037 -x2040 -x2039 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2051
-x2050 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 x2071
-x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 x2092 -x2093
-x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2103 -x2102 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 x2114
-x2117 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2128 -x2127 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 x2136
-x2139 -x2138 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157
x2158 x2161 x2160 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 -x2170 x2171 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180
-x2181 x2182 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 x2197 -x2199 -x2200 x2201 -x2202
-x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2221 -x2222 -x2223
-x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2234 -x2233 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2244 -x2245
-x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2262 -x2261 -x2263 -x2264 -x2265 -x2266
-x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 x2275 -x2278 -x2277 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
-x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 x2304 -x2306 -x2307 -x2308 -x2309
-x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2318 -x2317 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 x2326 x2329 x2328 -x2330 -x2331
-x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 x2349 -x2352 -x2351 -x2353
-x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2363 -x2362 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 x2371 -x2373 -x2374 -x2375
-x2376 -x2377 -x2378 -x2379 -x2380 x2381 x2382 -x2385 -x2384 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396
x2397 x2400 x2399 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418
-x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2427 -x2426 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2440 -x2439
-x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450 x2451 -x2454 -x2453 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461
-x2462 x2463 x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 x2476 -x2479 -x2478 -x2480 -x2481 -x2482 -x2483
-x2484 -x2485 x2486 x2487 -x2490 -x2489 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2504 -x2505
-x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2527
-x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2539 -x2538 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2550
-x2549 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 x2559 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
-x2571 -x2572 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 x2584 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592
-x2593 -x2594 -x2595 x2596 x2597 -x2600 -x2599 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
-x2614 -x2615 x2616 x2617 -x2620 -x2619 -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 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
-x2656 -x2657 -x2658 x2659 x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 -x2675 -x2674 -x2676 -x2677
-x2678 -x2679 x2680 -x2681 -x2682 x2683 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2700
-x2699 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719
x2720 -x2721 -x2722 x2723 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740
x2741 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 x2754 x2757 x2756 -x2758 -x2759 -x2760 -x2761 -x2762
-x2763 -x2764 -x2765 x2766 x2767 -x2770 -x2769 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783
-x2784 -x2785 -x2786 x2787 -x2788 x2789 -x2792 -x2791 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 x2802 -x2804 -x2805
-x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 x2816 -x2819 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
-x2827 -x2828 x2829 -x2830 x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 x2847
-x2850 -x2849 -x2851 -x2852 -x2853 -x2854 -x2855 x2856 -x2857 x2858 -x2861 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869
x2870 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x2880 -x2881 x2882 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891
-x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2908 -x2909 -x2910 -x2911 -x2912
-x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2927 -x2926 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933
-x2934 -x2935 -x2936 -x2937 -x2940 -x2939 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 x2952 -x2955 -x2954
-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 -x2996
-x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017
-x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 x3029 x3030 x3031 -x3034 -x3033 -x3035 -x3036 -x3037 -x3038
x3039 -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3055 -x3056 -x3057 -x3058 -x3059
-x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 x3069 x3072 x3071 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
-x3081 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3096 -x3095 -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 x3127 x3126 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 x3139 -x3140 -x3141 x3142 -x3143 -x3144
-x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 x3158 x3160 -x3162 -x3163 x3164 -x3165 -x3166
-x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 x3179 x3181 x3183 -x3184 -x3185 -x3186 -x3187 -x3188
-x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3201 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209
-x3210 x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229
-x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
-x3250 -x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
-x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 -x3288 -x3289
-x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
-x3310 x3311 -x3312 -x3313 -x3314 x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329
-x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349
-x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 -x3360 -x3361 -x3362 -x3364 -x3365 -x3363 -x3368 -x3369 -x3367 -x3371
-x3372 -x3370 x3374 x3375 x3373 -x3377 -x3378 -x3376 -x3381 -x3382 x3380 -x3384 -x3385 -x3383 x3387 -x3388 -x3386 -x3390 -x3391 -x3389
-x3394 -x3395 -x3393 x3397 -x3398 -x3396 -x3400 -x3401 x3399 -x3403 -x3402 -x3406 -x3405 -x3408 -x3407 -x3410 x3409 -x3411 -x3412 -x3414
-x3415 x3416 -x3417 -x3418 -x3419 -x3421 -x3422 -x3420 -x3425 -x3426 -x3424 -x3428 -x3429 x3427 x3431 -x3432 -x3430 -x3434 -x3435 -x3433
-x3438 -x3439 x3437 -x3441 -x3442 -x3440 x3444 -x3445 -x3443 -x3446 -x3448 -x3449 x3450 -x3451 -x3452 x3454 -x3455 -x3456 -x3457 -x3458
-x3459 -x3460 -x3462 -x3463 -x3464 -x3465 -x3467 -x3468 -x3469 -x3470 -x3472 -x3473 x3474 -x3475 -x3477 -x3478 -x3479 -x3480 x3482 -x3483
-x3484 -x3485 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3498 -x3499 x3500 -x3501 -x3502 -x3503 -x3504 -x3506 -x3507
-x3508 -x3509 -x3511 -x3512 -x3513 -x3514 -x3516 -x3517 -x3518 -x3519 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3531 -x3532
x3533 -x3534 -x3536 -x3537 x3538 -x3539 -x3541 -x3542 -x3543 -x3544 -x3546 -x3547 -x3548 -x3549 -x3551 -x3552 -x3553 -x3554 -x3556 -x3557
-x3558 -x3559 -x3561 -x3562 x3563 -x3564 -x3566 -x3567 -x3568 -x3570 -x3569 -x3573 -x3572 -x3575 x3574 -x3577 -x3576 -x3578 -x3580 -x3581
-x3582 -x3583 -x3585 -x3586 -x3587 -x3588 -x3590 -x3591 -x3592 -x3593 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3605 -x3606
-x3607 -x3608 -x3610 -x3611 -x3612 -x3613 -x3615 -x3616 x3617 -x3618 -x3620 -x3621 -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3630 x3631
-x3632 -x3633 -x3635 -x3636 -x3637 -x3638 -x3640 -x3641 -x3642 -x3643 -x3645 x3646 -x3647 -x3648 -x3650 -x3651 -x3652 -x3653 -x3655 -x3656
-x3657 -x3658 -x3660 -x3661 x3662 -x3663 -x3665 -x3666 -x3667 -x3668 -x3670 -x3671 -x3672 -x3673 -x3675 -x3676 -x3677 -x3678 -x3680 x3681
-x3682 -x3683 -x3685 -x3686 -x3687 -x3688 -x3690 -x3691 x3692 -x3693 -x3695 -x3696 -x3697 -x3698 -x3700 -x3701 -x3702 -x3703 -x3705 -x3706
-x3707 -x3708 -x3710 -x3711 -x3712 -x3713 -x3715 -x3716 x3717 -x3718 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3730 -x3731
-x3732 -x3733 -x3735 -x3736 -x3737 -x3738 -x3740 -x3741 -x3742 -x3743 -x3745 -x3746 -x3747 -x3748 -x3750 -x3751 -x3752 -x3753 -x3755 -x3756
x3757 -x3758 -x3760 -x3761 -x3762 -x3763 -x3765 -x3766 x3767 -x3768 -x3770 -x3771 x3772 -x3773 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781
-x3782 -x3783 -x3785 -x3786 -x3787 -x3788 -x3790 -x3791 x3792 -x3793 -x3795 -x3796 -x3797 -x3798 -x3800 x3801 -x3802 -x3803 -x3805 -x3806
x3807 -x3808 -x3810 x3811 -x3812 -x3813 -x3815 -x3816 -x3817 -x3818 -x3820 -x3821 x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3830 -x3831
-x3832 -x3833 -x3835 x3836 -x3837 -x3838 -x3840 -x3841 -x3842 -x3843 -x3845 -x3846 -x3847 -x3848 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856
-x3857 -x3859 x3861 x3863 x3865 x3866 x3868 x3867 x3870 x3872 x3871 x3874 x3876 x3875 x3878 x3880 x3879 x3882 x3884 x3883 x3886 x3888 x3887
x3890 x3892 x3891 x3894 x3896 x3895 x3898 x3900 x3899 x3902 x3904 x3903 x3906 x3908 x3907 x3910 x3912 x3911 x3914 x3916 x3915 x3918 x3920
x3919 x3922 x3924 x3923 -x3926 -x646 x3927 x2755 -x3928 -x1947 -x3929 -x2198 -x3930 -x1612 -x3931 -x1769 -x3932 -x679 -x3933 -x1009 -x3934
-x250 -x3935 -x1322 -x3936 -x2526 -x3937 -x2232 -x3938 -x1266 -x3939 -x195 -x3940 -x2585 -x3941 -x382 -x3942 -x2361 -x3943 -x1850 -x3944
-x2859 -x3945 -x426 -x3946 -x3032 -x3947 -x3054 -x3948 -x1163 -x3949 -x437 -x3950 -x3199 -x3951 -x624 -x3952 -x734 -x3953 -x360 -x3954 -x118
-x3955 -x822 -x3956 -x1130 -x3957 -x745 -x3958 -x107 -x3959 -x987 -x3960 -x2101 -x3961 -x1064 -x3962 -x470 -x3963 -x2803 -x3964 -x2294
-x3965 -x1414 -x3966 -x866 -x3967 -x1311 -x3968 -x96 -x3969 -x2503 -x3970 -x448 -x3971 -x1958 -x3972 -x558 -x3973 -x1713 -x3974 -x1735
-x3975 -x1300 -x3976 -x2137 -x3977 -x2548 x3978 x1813 -x3979 -x140 -x3980 -x2883 -x3981 -x690 -x3982 -x811 -x3983 -x921 -x3984 -x1108 -x3985
-x2817 -x3986 -x1477 -x3987 -x2661 -x3988 -x1679 -x3989 -x965 -x3990 -x2350 -x3991 -x316 -x3992 -x2115 -x3993 -x525 -x3994 -x1355 -x3995
-x1646 -x3996 -x1174 -x3997 -x723 -x3998 -x2742 x3999 x2327 -x4000 -x1691 x4001 x2398 -x4002 -x1513 x4003 -x4004 -x2003 -x4005 -x943 -x4006
-x206 -x4007 -x2871 -x4008 -x1601 -x4009 -x2276 -x4010 -x1634 -x4011 -x2338 -x4012 -x2995 -x4013 -x1075 x4014 -x4015 -x2925 -x4016 -x602
-x4017 -x1553 -x4018 -x327 -x4019 -x1185 -x4020 -x1152 -x4021 -x2560 -x4022 -x261 -x4023 -x2953 -x4024 -x184 -x4025 -x349 -x4026 -x1589
-x4027 -x459 -x4028 -x2848 -x4029 -x217 -x4030 -x2220 -x4031 -x3094 -x4032 -x1780 -x4033 -x2938 -x4034 -x954 -x4035 -x668 -x4036 -x2243
-x4037 -x2172 -x4038 -x1502 -x4039 -x2072 -x4040 -x1802 -x4041 -x778 -x4042 -x1344 -x4043 -x2724 -x4044 -x2790 -x4045 -x481 x4046 x3125
-x4047 -x2014 -x4048 -x2488 -x4049 -x1231 -x4050 -x415 -x4051 -x228 -x4052 -x701 x4053 x1437 -x4054 -x2026 -x4055 -x1724 -x4056 -x173 -x4057
-x2083 -x4058 -x1367 -x4059 -x294 -x4060 -x2425 -x4061 -x2061 -x4062 -x2618 -x4063 -x1333 -x4064 -x1862 -x4065 -x1747 -x4066 -x877 -x4067
-x1668 -x4068 -x503 -x4069 -x239 -x4070 -x591 -x4071 -x2907 -x4072 -x1936 -x4073 -x1758 -x4074 -x932 -x4075 -x1277 -x4076 -x998 -x4077 -x569
-x4078 -x2452 -x4079 -x2316 -x4080 -x2305 x4081 x1825 -x4082 -x2647 -x4083 -x2438 x4084 x1119 -x4085 -x2684 -x4086 -x1877 -x4087 -x2832
-x4088 -x1888 -x4089 -x613 -x4090 -x1218 -x4091 -x514 -x4092 -x2514 -x4093 -x1031 -x4094 -x767 -x4095 -x833 -x4096 -x1912 -x4097 -x2673
-x4098 -x899 -x4099 -x1490 -x4100 -x1254 -x4101 -x2768 -x4102 -x393 -x4103 -x888 x4104 x1702 -x4105 -x1791 -x4106 -x492 -x4107 -x844 -x4108
-x1196 -x4109 -x1097 x4110 x1086 -x4111 -x2537 -x4112 -x1053 -x4113 -x756 -x4114 -x1141 -x4115 -x3008 -x4116 -x1426 -x4117 -x2477 -x4118
-x657 -x4119 -x2465 -x4120 -x1839 -x4121 -x2049 -x4122 -x2573 -x4123 -x1448 -x4124 -x580 -x4125 -x2372 x4126 x85 -x4127 -x2698 -x4128 -x2126
-x4129 -x272 -x4130 -x2598 -x4131 -x1527 -x4132 -x2383 -x4133 -x2260 -x4134 -x536 x4135 x2159 -x4136 -x1540 -x4137 -x371 -x4138 -x855 -x4139
-x1991 -x4140 -x1207 -x4141 -x1657 -x4142 -x1403 -x4143 -x789 -x4144 -x2183 -x4145 -x1566 -x4146 -x910 -x4147 -x1378 -x4148 -x1020 -x4149
-x404 -x4150 -x2038 -x4151 -x305 -x4152 -x1288 -x4153 -x1243 -x4154 -x1578 -x4155 -x1623 -x4156 -x1391 -x4157 -x3082 -x4158 -x1901 -x4159
-x151 -x4160 -x2412 -x4161 -x800 -x4162 -x547 -x4163 -x1925 x4164 x3070 -x4165 -x635 -x4166 -x712 -x4167 -x283 -x4168 -x338 -x4169 -x162
-x4170 -x976 -x4171 -x129 -x4172 -x1463 -x4173 -x1042 -x4174 x4176 -x4178 -x4180 -x4183 x4185 -x4187 -x4189 -x4192 x4194 -x4196 -x4198
-x4201 x4203 -x4205 -x4207 -x4210 x4212 -x4214 -x4216 -x4219 x4221 -x4223 -x4225 -x4228 -x4230 -x4232 x4234 -x4237 x4239 -x4241 -x4243
-x4246 -x4248 -x4250 x4252 -x4255 x4257 -x4259 -x4261 -x4264 -x4266 -x4268 x4270 -x4273 x4275 -x4277 -x4279 -x4282 x4284 -x4286 -x4288
-x4291 x4293 -x4295 -x4297 -x4300 x4302 -x4304 -x4306