Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 26 | 385.526 | 385.633 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb |
MD5SUM | 66cf2657d020eb0982c7cab0e5ad93c1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 46.324 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | YES |
Number of variables | 7343 |
Total number of constraints | 22903 |
Number of constraints which are clauses | 22903 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3560 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3560 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3560 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875467-1245182117.opb. 0.00/0.00 c Instance file HOME/instance-1875467-1245182117.opb 0.00/0.00 c File size is 674152 bytes. 0.09/0.10 c Highest Coefficient sum: 128 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 7343 | 0.09/0.10 c | Number Clauses: 26463 | 0.09/0.10 c | Number Cardinality: 0 | 0.09/0.10 c | Number PB Constraints: 0 | 0.09/0.10 c core #1 0.09/0.10 c Core size: 127 Core Weight: 1 Total Weight: 1 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.12 c core #2 0.09/0.12 c Core size: 63 Core Weight: 1 Total Weight: 2 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.14 c core #3 0.09/0.14 c Core size: 255 Core Weight: 1 Total Weight: 3 0.09/0.14 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.16 c core #4 0.09/0.16 c Core size: 127 Core Weight: 1 Total Weight: 4 0.09/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.18 c core #5 0.09/0.18 c Core size: 15 Core Weight: 1 Total Weight: 5 0.09/0.18 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.19/0.20 c core #6 0.19/0.20 c Core size: 15 Core Weight: 1 Total Weight: 6 0.19/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.19/0.22 c core #7 0.19/0.22 c Core size: 31 Core Weight: 1 Total Weight: 7 0.19/0.22 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.24 c core #8 0.19/0.24 c Core size: 15 Core Weight: 1 Total Weight: 8 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.26 c core #9 0.19/0.26 c Core size: 31 Core Weight: 1 Total Weight: 9 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.28 c core #10 0.19/0.28 c Core size: 15 Core Weight: 1 Total Weight: 10 0.19/0.28 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.29/0.30 c core #11 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 11 0.29/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.29/0.32 c core #12 0.29/0.32 c Core size: 31 Core Weight: 1 Total Weight: 12 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #13 0.29/0.34 c Core size: 15 Core Weight: 1 Total Weight: 13 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #14 0.29/0.36 c Core size: 15 Core Weight: 1 Total Weight: 14 0.29/0.36 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.29/0.39 c core #15 0.29/0.39 c Core size: 31 Core Weight: 1 Total Weight: 15 0.29/0.39 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.39/0.41 c core #16 0.39/0.41 c Core size: 7 Core Weight: 1 Total Weight: 16 0.39/0.41 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.43 c core #17 0.39/0.43 c Core size: 27 Core Weight: 1 Total Weight: 17 0.39/0.43 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.45 c core #18 0.39/0.45 c Core size: 15 Core Weight: 1 Total Weight: 18 0.39/0.45 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.47 c core #19 0.39/0.47 c Core size: 15 Core Weight: 1 Total Weight: 19 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.49/0.51 c core #20 0.49/0.51 c Core size: 1456 Core Weight: 1 Total Weight: 20 0.49/0.51 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.53 c core #21 0.49/0.53 c Core size: 13 Core Weight: 1 Total Weight: 21 0.49/0.53 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.59/0.63 c core #22 0.59/0.63 c Core size: 43 Core Weight: 1 Total Weight: 22 0.59/0.63 c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 2562 26485 35148 | 8828 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #23 0.59/0.63 c Core size: 550 Core Weight: 1 Total Weight: 23 0.59/0.63 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.59/0.63 c Learning 1 hard constraints 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 3316 26487 36896 | 8829 0 nan | 0.000 % | 0.59/0.64 c | 101 | 3310 26487 36896 | 9711 96 62 | 61.592 % | 0.79/0.88 c =============================================================================== 0.79/0.89 c core #24 0.79/0.89 c Core size: 5646 Core Weight: 1 Total Weight: 24 0.79/0.89 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.89/0.92 c Learning 19 hard constraints 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 9589 26507 64633 | 8835 0 nan | 0.000 % | 0.99/1.02 c | 100 | 9589 26507 64633 | 9719 100 104 | 13.324 % | 1.29/1.37 c | 251 | 9589 26507 64633 | 10691 251 111 | 13.324 % | 1.59/1.64 c | 479 | 9589 26507 64633 | 11760 479 77 | 13.324 % | 2.19/2.23 c | 818 | 9589 26507 64633 | 12936 818 93 | 13.324 % | 2.79/2.83 c | 1326 | 9589 26507 64633 | 14229 1326 95 | 13.324 % | 3.79/3.85 c | 2085 | 9589 26507 64633 | 15652 2085 107 | 13.324 % | 5.19/5.20 c =============================================================================== 5.19/5.24 c core #25 5.19/5.24 c Core size: 2727 Core Weight: 1 Total Weight: 25 5.19/5.24 c Elapsed CPU time: 5.21521 s Remaining CPU time: 1794.78 s 5.19/5.27 c Learning 122 hard constraints 5.19/5.27 c ============================[ Search Statistics ]============================== 5.19/5.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.27 c =============================================================================== 5.19/5.27 c | 0 | 10529 26630 70865 | 8876 0 nan | 0.000 % | 5.29/5.36 c | 104 | 10529 26630 70865 | 9764 104 66 | 9.630 % | 5.40/5.49 c | 254 | 10529 26630 70865 | 10740 254 47 | 9.630 % | 5.69/5.77 c | 479 | 10529 26630 70865 | 11814 479 111 | 9.630 % | 6.29/6.32 c | 816 | 10529 26630 70865 | 12996 816 132 | 9.630 % | 6.88/6.90 c | 1322 | 10529 26630 70865 | 14295 1322 134 | 9.630 % | 7.59/7.68 c | 2084 | 10529 26630 70865 | 15725 2084 135 | 9.630 % | 8.99/9.03 c | 3223 | 10529 26630 70865 | 17298 3223 140 | 9.630 % | 11.19/11.20 c | 4932 | 10529 26630 70865 | 19027 4932 137 | 9.630 % | 14.98/15.03 c | 7494 | 10529 26630 70865 | 20930 7494 158 | 9.630 % | 21.08/21.13 c | 11341 | 10529 26630 70865 | 23023 11341 162 | 9.630 % | 31.49/31.53 c | 17110 | 10529 26630 70865 | 25326 17110 184 | 9.630 % | 50.67/50.78 c | 25760 | 10529 26630 70865 | 27858 25760 199 | 9.630 % | 80.57/80.68 c | 38736 | 10529 26630 70865 | 30644 23005 206 | 9.630 % | 103.86/103.92 c =============================================================================== 104.96/105.04 c core #26 104.96/105.04 c Core size: 3620 Core Weight: 1 Total Weight: 26 104.96/105.04 c Elapsed CPU time: 104.65 s Remaining CPU time: 1695.35 s 105.06/105.13 c Learning 220 hard constraints 105.06/105.13 c ============================[ Search Statistics ]============================== 105.06/105.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.06/105.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.06/105.13 c =============================================================================== 105.06/105.13 c | 0 | 11235 26851 80991 | 8950 0 nan | 0.000 % | 105.17/105.21 c | 100 | 11235 26851 80991 | 9845 100 88 | 8.962 % | 105.27/105.35 c | 250 | 11235 26851 80991 | 10829 250 98 | 8.962 % | 105.47/105.59 c | 475 | 11235 26851 80991 | 11912 475 115 | 8.962 % | 105.96/106.02 c | 812 | 11235 26851 80991 | 13104 812 100 | 8.962 % | 106.56/106.63 c | 1320 | 11235 26851 80991 | 14414 1320 124 | 8.962 % | 107.26/107.38 c | 2080 | 11235 26851 80991 | 15856 2080 116 | 8.962 % | 108.57/108.65 c | 3222 | 11235 26851 80991 | 17441 3222 133 | 8.962 % | 111.07/111.17 c | 4930 | 11235 26851 80991 | 19185 4930 152 | 8.962 % | 115.06/115.13 c | 7492 | 11235 26851 80991 | 21104 7492 173 | 8.962 % | 120.05/120.20 c | 11336 | 11235 26851 80991 | 23214 11336 174 | 8.962 % | 129.66/129.71 c | 17104 | 11235 26851 80991 | 25536 17104 184 | 8.962 % | 145.35/145.47 c | 25753 | 11235 26851 80991 | 28089 25753 198 | 8.962 % | 169.54/169.64 c | 38727 | 11235 26851 80991 | 30898 20881 231 | 8.962 % | 208.94/209.02 c | 58188 | 11235 26851 80991 | 33988 21996 229 | 8.962 % | 283.12/283.27 c | 87380 | 11235 26851 80991 | 37387 29472 272 | 8.962 % | 377.09/377.29 c | 131169 | 11235 26851 80991 | 41126 21457 241 | 8.962 % | 385.38/385.59 c =============================================================================== 385.38/385.59 c Verified 26851 original clauses. 385.38/385.59 c #cores: 26 385.38/385.59 c Final Weight: 26 385.38/385.59 o 26 385.38/385.59 s OPTIMUM FOUND 385.38/385.59 v -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 x7281 -x7283 -x7285 -x7287 -x7289 x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 x7335 -x7337 -x7339 x7341 -x7343 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x1 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x2 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x3 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x4 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x5 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x6 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x7 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x8 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x9 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x10 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x11 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x12 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x13 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x14 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x15 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x16 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x17 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x18 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x19 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x20 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x21 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x22 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x23 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x24 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x25 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x26 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x27 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x28 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x29 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x30 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x31 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x32 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x33 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x34 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x35 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x36 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x37 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x38 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x39 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x40 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x41 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x42 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x43 -x2775 -x2777 -x2779 -x44 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x45 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x46 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x47 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x48 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 x2950 -x2952 -x2954 -x2956 -x2958 -x49 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x50 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x51 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x52 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x53 -x3032 -x3034 -x3036 -x54 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x55 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x56 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x57 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x58 -x3110 -x3112 -x3114 -x59 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x60 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x61 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x62 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x63 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x64 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x65 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x66 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x67 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x68 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x69 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x70 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x71 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x72 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x73 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x74 -x3726 -x3728 -x3730 -x75 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x76 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x77 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x78 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x79 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x80 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x81 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x82 -x3926 -x3928 -x3930 -x83 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x84 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x85 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x86 -x3990 -x3992 -x3994 -x87 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x88 -x4010 -x4012 -x4014 -x89 -x4016 -x4018 -x4020 -x90 -x4022 -x91 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x92 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x93 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x94 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x95 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x96 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x97 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x98 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x99 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x100 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x101 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x102 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x103 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x104 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x105 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x106 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x107 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x108 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x109 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x110 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x111 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x112 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x113 -x4843 -x4845 -x4847 -x4849 x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x114 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x115 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x116 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x117 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 x118 -x4961 x4963 -x4965 -x119 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x120 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x121 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x122 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x123 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x124 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x125 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x126 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x127 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x128 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x129 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x130 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x131 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x132 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x133 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x134 -x5577 -x5579 -x5581 -x135 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x136 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x137 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 x5709 -x5711 -x5713 -x5715 -x5717 -x138 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x139 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x140 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x141 -x5777 -x5779 -x142 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x143 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x144 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x145 -x5839 -x5841 -x5843 -x146 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x147 -x5859 -x5861 -x5863 -x148 -x5865 -x5867 -x5869 -x149 -x5871 -x150 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5924 -x5926 -x5928 -x5930 -x5932 -x151 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x152 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x153 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x154 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x155 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x156 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x157 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x158 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x159 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x160 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x161 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x162 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x163 -x6246 -x6248 -x6250 -x164 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x165 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x166 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x167 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x168 -x6368 -x6370 -x6372 -x169 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x170 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x171 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x172 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x173 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x174 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x175 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 x6568 -x6570 -x6572 -x176 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x177 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x178 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x179 -x6632 -x6634 -x6636 -x180 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x181 -x6652 -x6654 -x6656 -x182 -x6658 -x6660 -x6662 -x183 -x6664 -x184 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x185 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x186 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x187 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x188 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x189 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x190 -x6812 -x6814 -x6816 -x191 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x192 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x193 -x6844 -x6846 -x6848 -x194 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x195 -x6908 -x6910 -x196 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x197 -x6926 -x6928 -x6930 -x198 -x6932 -x6934 -x6936 -x199 -x6938 -x200 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x201 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x202 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x203 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 x7096 -x7098 -x204 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 x7112 x205 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 x7126 -x7128 -x7130 -x7132 -x206 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x207 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x208 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x209 -x7192 -x7194 -x7196 -x210 -x7198 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x211 -x7212 -x7214 -x7216 -x212 -x7218 -x7220 x7222 x213 -x7224 -x7226 -x7228 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 x7244 -x7246 -x7248 -x7250 -x214 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x7278 x215 x7280 -x7282 -x7284 -x7286 -x7288 x7290 -x7292 -x7294 -x7296 -x7298 -x216 -x7300 -x7302 -x217 -x7304 -x7306 -x7308 -x218 -x7310 x219 -x7312 -x7314 -x7316 x7318 -x7320 -x7322 -x220 -x7324 -x7326 -x7328 -x221 -x7330 -x7332 x7334 x222 -x7336 -x223 -x7338 x7340 x224 -x7342 -x225 x226
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875467-1245182117/watcher-1875467-1245182117 -o /tmp/evaluation-result-1875467-1245182117/solver-1875467-1245182117 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875467-1245182117.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.00 1.00 3/64 4067 /proc/meminfo: memFree=1882792/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=3512 CPUtime=0 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 185811840 3596288 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 878 249 122 292 0 418 0 [startup+0.0808379 s] /proc/loadavg: 1.01 1.00 1.00 3/64 4067 /proc/meminfo: memFree=1882792/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=5128 CPUtime=0.07 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 771 0 0 0 7 0 0 0 18 0 1 0 185811840 5251072 755 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 1282 755 249 292 0 822 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5128 [startup+0.10184 s] /proc/loadavg: 1.01 1.00 1.00 3/64 4067 /proc/meminfo: memFree=1882792/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=5260 CPUtime=0.09 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 863 0 0 0 9 0 0 0 18 0 1 0 185811840 5386240 847 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 1315 847 286 292 0 855 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5260 [startup+0.301861 s] /proc/loadavg: 1.01 1.00 1.00 3/64 4067 /proc/meminfo: memFree=1882792/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=6856 CPUtime=0.29 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 1617 0 0 0 29 0 0 0 19 0 1 0 185811840 7020544 1260 1992294400 134512640 135709839 4294956240 18446744073709551615 134530574 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 1714 1260 133 292 0 1419 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6856 [startup+0.701904 s] /proc/loadavg: 1.01 1.00 1.00 3/64 4067 /proc/meminfo: memFree=1882792/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=7424 CPUtime=0.69 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 1753 0 0 0 68 1 0 0 22 0 1 0 185811840 7602176 1396 1992294400 134512640 135709839 4294956240 18446744073709551615 134599089 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 1856 1396 136 292 0 1561 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7424 [startup+1.50199 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1876896/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=8204 CPUtime=1.49 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 1927 0 0 0 148 1 0 0 25 0 1 0 185811840 8400896 1570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 2051 1570 136 292 0 1756 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8204 [startup+3.10116 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1876768/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=8204 CPUtime=3.09 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 1927 0 0 0 307 2 0 0 25 0 1 0 185811840 8400896 1570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 2051 1570 136 292 0 1756 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8204 [startup+6.30151 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1873888/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=10724 CPUtime=6.29 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 2711 0 0 0 626 3 0 0 25 0 1 0 185811840 10981376 2224 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 2681 2224 136 292 0 2386 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10724 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1872616/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=12836 CPUtime=12.68 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 3222 0 0 0 1263 5 0 0 25 0 1 0 185811840 13144064 2735 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 3209 2735 136 292 0 2914 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12836 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1862440/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=22604 CPUtime=25.48 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 5661 0 0 0 2539 9 0 0 25 0 1 0 185811840 23146496 5174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 5651 5174 136 292 0 5356 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22604 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1846568/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=38696 CPUtime=51.07 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 9689 0 0 0 5089 18 0 0 25 0 1 0 185811840 39624704 9202 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 9674 9202 136 292 0 9379 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38696 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1815080/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=69836 CPUtime=102.27 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 17453 0 0 0 10191 36 0 0 25 0 1 0 185811840 71512064 16966 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 17459 16966 136 292 0 17164 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 69836 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1798376/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=86736 CPUtime=162.24 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 21775 0 0 0 16173 51 0 0 25 0 1 0 185811840 88817664 21219 1992294400 134512640 135709839 4294956240 18446744073709551615 134572692 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 21684 21219 136 292 0 21389 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 86736 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1757224/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=127616 CPUtime=222.23 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 31972 0 0 0 22153 70 0 0 25 0 1 0 185811840 130678784 31416 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 31904 31416 136 292 0 31609 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 127616 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1720488/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=164668 CPUtime=282.22 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 41240 0 0 0 28133 89 0 0 25 0 1 0 185811840 168620032 40684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 41167 40684 136 292 0 40872 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 164668 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=1678120/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=206404 CPUtime=342.2 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 51680 0 0 0 34113 107 0 0 25 0 1 0 185811840 211357696 51124 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 51601 51124 136 292 0 51306 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 206404 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1669480/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=215420 CPUtime=358.19 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 53933 0 0 0 35705 114 0 0 25 0 1 0 185811840 220590080 53377 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 53855 53377 136 292 0 53560 0 Current children cumulated CPU time (s) 358.19 Current children cumulated vsize (KiB) 215420 [startup+371.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1660328/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=224396 CPUtime=370.99 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 56166 0 0 0 36980 119 0 0 25 0 1 0 185811840 229781504 55610 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 56099 55610 136 292 0 55804 0 Current children cumulated CPU time (s) 370.99 Current children cumulated vsize (KiB) 224396 [startup+377.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1655720/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=228752 CPUtime=377.38 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 57271 0 0 0 37618 120 0 0 25 0 1 0 185811840 234242048 56715 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 57188 56715 136 292 0 56893 0 Current children cumulated CPU time (s) 377.38 Current children cumulated vsize (KiB) 228752 [startup+380.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1653224/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=231260 CPUtime=380.59 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 57890 0 0 0 37937 122 0 0 25 0 1 0 185811840 236810240 57334 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 57815 57334 136 292 0 57520 0 Current children cumulated CPU time (s) 380.59 Current children cumulated vsize (KiB) 231260 [startup+383.906 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1651624/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=232844 CPUtime=383.79 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 58274 0 0 0 38256 123 0 0 25 0 1 0 185811840 238432256 57718 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 58211 57718 136 292 0 57916 0 Current children cumulated CPU time (s) 383.79 Current children cumulated vsize (KiB) 232844 [startup+384.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1651624/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=233240 CPUtime=384.58 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 58395 0 0 0 38335 123 0 0 25 0 1 0 185811840 238837760 57839 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 58310 57839 136 292 0 58015 0 Current children cumulated CPU time (s) 384.58 Current children cumulated vsize (KiB) 233240 [startup+385.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1650984/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=233504 CPUtime=384.98 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 58448 0 0 0 38375 123 0 0 25 0 1 0 185811840 239108096 57892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 58376 57892 136 292 0 58081 0 Current children cumulated CPU time (s) 384.98 Current children cumulated vsize (KiB) 233504 [startup+385.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1650984/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=233636 CPUtime=385.38 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194304 58501 0 0 0 38415 123 0 0 25 0 1 0 185811840 239243264 57945 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 58409 57945 136 292 0 58114 0 Current children cumulated CPU time (s) 385.38 Current children cumulated vsize (KiB) 233636 [startup+385.601 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4074 /proc/meminfo: memFree=1650984/2055920 swapFree=4181536/4192956 [pid=4067] ppid=4065 vsize=0 CPUtime=385.48 /proc/4067/stat : 4067 (wbo) R 4065 4067 3843 0 -1 4194308 58527 0 0 0 38424 124 0 0 25 0 1 0 185811840 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/4067/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 385.48 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 385.633 CPU time (s): 385.526 CPU user time (s): 384.247 CPU system time (s): 1.27981 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 233636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 384.247 system time used= 1.27981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58527 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 548 runsolver used 0.276957 second user time and 0.820875 second system time The end
Begin job on node19 at 2009-06-16 21:55:17 IDJOB=1875467 IDBENCH=24989 IDSOLVER=698 FILE ID=node19/1875467-1245182117 PBS_JOBID= 9363929 Free space on /tmp= 66156 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875467-1245182117/watcher-1875467-1245182117 -o /tmp/evaluation-result-1875467-1245182117/solver-1875467-1245182117 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875467-1245182117.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1 RANDOM SEED=1590334858 node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1883208 kB Buffers: 39644 kB Cached: 68536 kB SwapCached: 6060 kB Active: 62696 kB Inactive: 54244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1883208 kB SwapTotal: 4192956 kB SwapFree: 4181536 kB Dirty: 3032 kB Writeback: 0 kB Mapped: 13532 kB Slab: 41684 kB Committed_AS: 197044 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875467-1245182117.opb Free space on /tmp at the end= 66156 MiB End job on node19 at 2009-06-16 22:01:43