Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 26 | 687.5 | 687.711 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb |
MD5SUM | 8e8463c13e61e1a22058cdf603119640 |
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 | 72.499 |
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 | 7926 |
Total number of constraints | 23835 |
Number of constraints which are clauses | 23835 |
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 | 3885 |
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 | 3885 |
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 | 3885 |
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-1875476-1245182922.opb. 0.00/0.00 c Instance file HOME/instance-1875476-1245182922.opb 0.00/0.00 c File size is 699981 bytes. 0.00/0.09 c Highest Coefficient sum: 128 0.00/0.09 c ============================[ Problem Statistics ]============================= 0.00/0.09 c | | 0.00/0.09 c | Parsing time: 0.09 s | 0.00/0.09 c | Number Variables: 7926 | 0.00/0.09 c | Number Clauses: 27720 | 0.00/0.09 c | Number Cardinality: 0 | 0.00/0.09 c | Number PB Constraints: 0 | 0.00/0.09 c core #1 0.00/0.09 c Core size: 66 Core Weight: 1 Total Weight: 1 0.00/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.09/0.11 c core #2 0.09/0.11 c Core size: 127 Core Weight: 1 Total Weight: 2 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.13 c core #3 0.09/0.13 c Core size: 15 Core Weight: 1 Total Weight: 3 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.15 c core #4 0.09/0.15 c Core size: 127 Core Weight: 1 Total Weight: 4 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #5 0.09/0.17 c Core size: 31 Core Weight: 1 Total Weight: 5 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.19 c core #6 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 6 0.09/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.19/0.21 c core #7 0.19/0.21 c Core size: 253 Core Weight: 1 Total Weight: 7 0.19/0.21 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #8 0.19/0.23 c Core size: 30 Core Weight: 1 Total Weight: 8 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.25 c core #9 0.19/0.25 c Core size: 62 Core Weight: 1 Total Weight: 9 0.19/0.25 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.27 c core #10 0.19/0.27 c Core size: 30 Core Weight: 1 Total Weight: 10 0.19/0.27 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.29 c core #11 0.19/0.29 c Core size: 63 Core Weight: 1 Total Weight: 11 0.19/0.29 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.29/0.31 c core #12 0.29/0.31 c Core size: 15 Core Weight: 1 Total Weight: 12 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.33 c core #13 0.29/0.33 c Core size: 30 Core Weight: 1 Total Weight: 13 0.29/0.33 c Elapsed CPU time: 0.32295 s Remaining CPU time: 1799.68 s 0.29/0.35 c core #14 0.29/0.35 c Core size: 15 Core Weight: 1 Total Weight: 14 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.37 c core #15 0.29/0.37 c Core size: 15 Core Weight: 1 Total Weight: 15 0.29/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.29/0.39 c core #16 0.29/0.39 c Core size: 15 Core Weight: 1 Total Weight: 16 0.29/0.39 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.39/0.41 c core #17 0.39/0.41 c Core size: 31 Core Weight: 1 Total Weight: 17 0.39/0.41 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.43 c core #18 0.39/0.43 c Core size: 14 Core Weight: 1 Total Weight: 18 0.39/0.43 c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #19 0.39/0.45 c Core size: 301 Core Weight: 1 Total Weight: 19 0.39/0.45 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #20 0.39/0.47 c Core size: 5 Core Weight: 1 Total Weight: 20 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.49/0.51 c core #21 0.49/0.51 c Core size: 1566 Core Weight: 1 Total Weight: 21 0.49/0.51 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 3119 27741 36850 | 9247 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #22 0.49/0.54 c Core size: 288 Core Weight: 1 Total Weight: 22 0.49/0.54 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 3663 27742 38317 | 9247 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #23 0.49/0.57 c Core size: 545 Core Weight: 1 Total Weight: 23 0.49/0.57 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.59 c Learning 2 hard constraints 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 3988 27745 38777 | 9248 0 nan | 0.000 % | 0.59/0.61 c | 100 | 3988 27745 38777 | 10173 100 60 | 58.197 % | 0.59/0.64 c | 253 | 3988 27745 38777 | 11190 253 38 | 58.197 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #24 0.59/0.65 c Core size: 917 Core Weight: 1 Total Weight: 24 0.59/0.65 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.68 c Learning 2 hard constraints 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 4590 27748 40353 | 9249 0 nan | 0.000 % | 0.59/0.69 c | 100 | 4590 27748 40353 | 10174 100 85 | 53.316 % | 0.69/0.74 c | 253 | 4590 27748 40353 | 11191 253 81 | 53.316 % | 0.79/0.80 c | 478 | 4590 27748 40353 | 12310 478 78 | 53.316 % | 0.79/0.89 c | 815 | 4590 27748 40353 | 13541 815 68 | 53.316 % | 0.99/1.04 c | 1322 | 4590 27748 40353 | 14896 1322 71 | 53.316 % | 1.19/1.26 c | 2081 | 4590 27748 40353 | 16385 2081 78 | 53.316 % | 1.69/1.72 c | 3224 | 4590 27748 40353 | 18024 3224 93 | 53.316 % | 2.49/2.53 c | 4933 | 4590 27748 40353 | 19826 4933 99 | 53.316 % | 3.69/3.79 c =============================================================================== 3.79/3.87 c core #25 3.79/3.87 c Core size: 3059 Core Weight: 1 Total Weight: 25 3.79/3.87 c Elapsed CPU time: 3.83842 s Remaining CPU time: 1796.16 s 3.88/3.91 c Learning 63 hard constraints 3.88/3.91 c ============================[ Search Statistics ]============================== 3.88/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.91 c =============================================================================== 3.88/3.91 c | 0 | 6757 27812 48673 | 9270 0 nan | 0.000 % | 3.88/3.93 c | 100 | 6757 27812 48673 | 10197 100 114 | 37.551 % | 3.88/3.97 c | 250 | 6757 27812 48673 | 11217 250 90 | 37.551 % | 3.99/4.06 c | 476 | 6757 27812 48673 | 12339 476 91 | 37.551 % | 4.19/4.21 c | 815 | 6757 27812 48673 | 13573 815 84 | 37.551 % | 4.40/4.42 c | 1322 | 6757 27812 48673 | 14930 1322 92 | 37.551 % | 4.69/4.77 c | 2083 | 6757 27812 48673 | 16423 2083 102 | 37.551 % | 5.39/5.49 c | 3222 | 6757 27812 48673 | 18065 3222 107 | 37.551 % | 6.49/6.52 c | 4932 | 6757 27812 48673 | 19872 4932 120 | 37.551 % | 8.49/8.59 c | 7494 | 6757 27812 48673 | 21859 7494 142 | 37.551 % | 12.19/12.30 c | 11338 | 6757 27812 48673 | 24045 11338 160 | 37.551 % | 19.28/19.31 c | 17104 | 6757 27812 48673 | 26450 17104 163 | 37.551 % | 34.37/34.48 c | 25753 | 6757 27812 48673 | 29095 25753 176 | 37.551 % | 61.17/61.26 c | 38728 | 6757 27812 48673 | 32004 17846 209 | 37.551 % | 92.76/92.86 c | 58189 | 6757 27812 48673 | 35205 15826 254 | 37.551 % | 149.84/149.95 c | 87381 | 6757 27812 48673 | 38725 20656 217 | 37.551 % | 246.31/246.48 c =============================================================================== 250.91/251.05 c core #26 250.91/251.05 c Core size: 7098 Core Weight: 1 Total Weight: 26 250.91/251.05 c Elapsed CPU time: 250.138 s Remaining CPU time: 1549.86 s 251.11/251.24 c Learning 165 hard constraints 251.11/251.24 c ============================[ Search Statistics ]============================== 251.11/251.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.11/251.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 251.11/251.24 c =============================================================================== 251.11/251.24 c | 0 | 12045 27978 73567 | 9326 0 nan | 0.000 % | 251.11/251.29 c | 100 | 12045 27978 73567 | 10258 100 178 | 9.211 % | 251.31/251.43 c | 252 | 12045 27978 73567 | 11284 252 190 | 9.211 % | 251.61/251.70 c | 477 | 12045 27978 73567 | 12412 477 168 | 9.211 % | 251.91/252.03 c | 814 | 12045 27978 73567 | 13654 814 124 | 9.211 % | 252.41/252.56 c | 1320 | 12045 27978 73567 | 15019 1320 112 | 9.211 % | 252.91/253.08 c | 2082 | 12045 27978 73567 | 16521 2082 96 | 9.211 % | 253.81/253.99 c | 3223 | 12045 27978 73567 | 18173 3223 78 | 9.211 % | 255.31/255.43 c | 4931 | 12045 27978 73567 | 19991 4931 72 | 9.211 % | 258.21/258.36 c | 7493 | 12045 27978 73567 | 21990 7493 77 | 9.211 % | 262.41/262.60 c | 11337 | 12045 27978 73567 | 24189 11337 93 | 9.211 % | 268.11/268.23 c | 17105 | 12045 27978 73567 | 26608 17105 84 | 9.211 % | 279.50/279.67 c | 25755 | 12045 27978 73567 | 29268 25755 96 | 9.211 % | 298.19/298.30 c | 38730 | 12045 27978 73567 | 32195 20125 142 | 9.211 % | 333.79/333.93 c | 58194 | 12045 27978 73567 | 35415 17991 210 | 9.211 % | 398.57/398.76 c | 87386 | 12045 27978 73567 | 38957 23078 243 | 9.211 % | 499.04/499.26 c | 131176 | 12045 27978 73567 | 42852 39379 265 | 9.211 % | 677.68/677.97 c | 196861 | 12045 27978 73567 | 47137 17207 276 | 9.211 % | 687.38/687.64 c =============================================================================== 687.38/687.64 c Verified 27978 original clauses. 687.38/687.64 c #cores: 26 687.38/687.64 c Final Weight: 26 687.38/687.64 o 26 687.38/687.64 s OPTIMUM FOUND 687.38/687.64 v -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 -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 -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 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -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 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -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 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -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 -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 -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 -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 -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 -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 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -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 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -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 -x1975 -x1977 -x1979 -x1981 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 x2003 -x2005 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -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 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -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 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 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -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 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -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 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -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 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -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 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -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 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3290 -x3292 -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 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -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 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -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 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 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -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 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -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 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -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 -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 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -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 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -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 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -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 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -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 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -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 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5342 -x5344 -x5346 -x5348 -x5350 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -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 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -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 -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 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -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 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -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 -x6322 -x6324 -x6326 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x6374 x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -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 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -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 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 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 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7186 -x7188 -x7190 -x7192 -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 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 -x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x7735 -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769 -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7794 -x7796 -x7798 -x7800 -x7802 -x7804 -x7806 -x7808 -x7810 -x7812 -x7813 -x7815 -x7817 -x7819 -x7821 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x7835 -x7837 -x7839 -x7841 -x7843 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862 -x7864 -x7866 -x7868 -x7870 -x7872 -x7874 -x7875 -x7877 -x7879 -x7881 -x7883 -x7885 -x7887 -x7889 -x7891 -x7893 -x7895 x7896 -x7898 -x7900 -x7901 -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 x7920 -x7922 x7924 -x7925 x7926 -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 -x1 -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 -x2 -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 -x3 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x4 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x5 -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 -x6 -x672 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x692 -x694 -x696 -x698 -x7 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x8 -x730 -x732 -x734 -x736 -x739 -x741 -x9 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x10 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x11 -x835 -x837 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x12 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x13 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x14 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x15 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 x955 -x957 -x959 -x961 -x963 -x16 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x17 -x979 -x981 -x983 -x18 -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 -x19 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x20 -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 -x21 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1290 -x1292 -x22 -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 -x23 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x24 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 x25 -x1415 -x1417 -x1419 -x1421 x1423 -x1425 x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x26 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x27 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x28 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x29 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x30 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x31 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x32 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x33 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x34 -x1666 -x1668 -x1670 -x1673 -x1675 -x1677 x35 -x1679 x1681 -x1683 -x36 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x37 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x38 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x39 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x40 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x41 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x42 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x43 -x1877 -x1880 -x1882 -x1884 -x1886 -x1888 -x44 -x1890 -x1892 -x1894 -x45 -x1896 -x1899 -x1901 -x1903 -x1905 -x1907 -x46 -x1909 -x1911 -x1913 -x47 -x1915 -x1917 -x1919 -x48 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 x49 -x1951 -x1953 x1955 -x1957 -x1959 -x1961 -x1963 -x50 -x1965 -x1967 -x1969 -x1971 -x1973 -x1976 -x51 -x1978 -x1980 -x52 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x53 -x1996 -x1998 -x2000 x2002 -x2004 -x54 -x2007 -x2009 -x2011 -x2013 -x2015 -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 -x2257 -x2259 -x55 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x56 -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 -x2501 -x2503 -x2505 -x2507 -x2509 -x57 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x58 -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 -x59 -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 -x60 -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 -x61 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x62 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x63 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x64 -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 -x65 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x66 -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 -x67 -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 -x68 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x69 -x3284 -x3286 -x3288 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x70 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x71 -x3342 -x3344 -x3346 -x3348 -x3350 -x3353 -x72 -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 -x73 -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 -x74 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x75 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x76 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x77 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x78 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x79 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x80 -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 -x81 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x82 -x3890 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x83 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x84 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x85 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3986 -x3988 -x3990 -x86 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x87 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x88 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x89 -x4034 -x4036 -x4038 -x90 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -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 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4163 -x91 -x4165 -x4167 -x4169 -x4171 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4308 -x4310 -x4312 -x4314 -x92 -x4316 -x4318 -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 -x93 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x94 -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 -x95 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x96 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x97 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x98 -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 -x99 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x100 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x101 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x102 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x103 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x104 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x105 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x106 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x107 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x108 -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 -x109 -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 -x110 -x4940 -x4942 -x4944 -x4946 -x4948 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x111 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x112 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x113 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x114 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x115 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x116 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x117 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x118 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x119 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x120 -x5175 -x5177 -x5179 -x121 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5208 -x122 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5227 -x5229 -x5231 -x5233 -x5235 x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x123 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x124 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x125 -x5281 -x5283 -x126 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x127 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x128 -x5313 -x5315 -x5317 -x129 -x5319 -x5321 -x5323 -x5326 -x5328 -x5330 -x130 -x5332 -x5334 -x5336 -x131 -x5338 -x5340 -x132 -x5343 -x133 -x5345 -x5347 -x5349 -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 -x134 -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 -x135 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x136 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x137 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x138 -x5781 -x5783 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x139 -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 -x140 -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 -x5924 -x5926 -x5928 -x5930 -x5932 -x141 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x142 -x5963 -x5966 -x5968 -x5970 -x5972 -x5974 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x143 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6012 -x6014 -x6016 -x6018 -x144 -x6020 -x6022 -x6025 -x6027 -x6029 -x6031 -x145 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x146 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -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 -x6178 -x6180 -x147 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6207 -x6209 -x148 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x149 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x150 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x151 -x6316 -x6318 -x6320 -x6323 -x6325 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x152 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x153 -x6387 -x6389 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 x6426 -x6428 -x154 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x155 -x6444 -x6446 -x6448 -x156 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x157 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x158 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x159 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x160 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x161 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x162 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x163 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x164 -x6734 -x6736 -x6738 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 x6752 -x6754 -x6756 -x6758 -x6760 -x165 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x166 -x6776 -x6778 -x6780 -x167 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x168 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x169 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x170 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x171 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x172 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x173 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x174 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x175 -x6948 -x6950 -x176 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x177 -x6967 -x6969 -x6971 -x178 -x6973 -x6975 x179 -x6978 -x180 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x181 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x182 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x183 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x184 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7187 -x7189 -x7191 -x7194 -x7196 x7198 -x7200 -x7202 -x185 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 -x7230 -x7232 -x186 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x187 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x188 -x7278 -x7280 -x7282 -x7284 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x189 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x190 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x191 -x7336 -x7338 -x7340 -x192 -x7342 -x7344 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x193 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396 -x7398 -x194 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x195 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x196 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 -x197 -x7440 -x7442 -x7444 -x198 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 -x199 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x200 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x201 -x7504 -x7506 -x202 -x7508 -x7510 -x7512 -x7514 -x7516 -x7519 -x203 -x7521 -x7523 -x7525 -x204 -x7527 -x7529 -x205 -x7532 -x206 -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7583 -x7585 -x7587 -x207 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x208 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 -x209 -x7649 -x7651 -x7653 -x7656 -x7658 -x7660 -x210 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x211 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x212 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x213 -x7720 -x7722 -x7724 -x214 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x7752 -x7754 -x215 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x216 -x7770 -x7772 -x7774 -x7776 -x7778 -x7780 -x7782 -x217 -x7784 -x7786 -x7788 -x218 -x7790 -x7792 -x7795 -x7797 -x7799 -x7801 -x219 -x7803 -x7805 -x7807 -x220 -x7809 -x7811 -x221 -x7814 -x222 -x7816 -x7818 -x7820 -x7822 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x223 -x7842 -x7845 -x7847 -x7849 -x7851 -x7853 -x224 -x7855 -x7857 -x7859 -x7861 -x7863 -x7865 -x7867 -x225 -x7869 -x7871 -x7873 -x226 -x7876 -x7878 -x7880 -x7882 -x7884 -x7886 -x227 -x7888 -x7890 -x228 -x7892 -x7894 x229 -x7897 -x230 -x7899 -x7902 -x7904 -x7906 -x7908 -x231 -x7910 -x7912 -x7914 -x232 -x7916 -x7918 x233 -x7921 x7923 -x234 x235
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875476-1245182922/watcher-1875476-1245182922 -o /tmp/evaluation-result-1875476-1245182922/solver-1875476-1245182922 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875476-1245182922.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.00 1.00 0.92 3/65 27270 /proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=3536 CPUtime=0 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 97714025 3620864 253 1992294400 134512640 135709839 4294956240 18446744073709551615 134570547 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 884 260 122 292 0 418 0 [startup+0.0127829 s] /proc/loadavg: 1.00 1.00 0.92 3/65 27270 /proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=4168 CPUtime=0 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 443 0 0 0 0 0 0 0 20 0 1 0 97714025 4268032 427 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 1042 427 136 292 0 576 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4168 [startup+0.101793 s] /proc/loadavg: 1.00 1.00 0.92 3/65 27270 /proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=5712 CPUtime=0.09 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 1150 0 0 0 9 0 0 0 18 0 1 0 97714025 5849088 963 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 1428 963 133 292 0 1133 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5712 [startup+0.301818 s] /proc/loadavg: 1.00 1.00 0.92 3/65 27270 /proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=7392 CPUtime=0.29 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 1839 0 0 0 29 0 0 0 18 0 1 0 97714025 7569408 1422 1992294400 134512640 135709839 4294956240 18446744073709551615 135166226 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 1848 1422 133 292 0 1553 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7392 [startup+0.701869 s] /proc/loadavg: 1.00 1.00 0.92 3/65 27270 /proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=8672 CPUtime=0.69 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 2263 0 0 0 68 1 0 0 22 0 1 0 97714025 8880128 1626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 2168 1626 136 292 0 1873 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8672 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1843440/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=8672 CPUtime=1.49 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 2263 0 0 0 147 2 0 0 25 0 1 0 97714025 8880128 1626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 2168 1626 136 292 0 1873 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8672 [startup+3.10117 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1842736/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=10520 CPUtime=3.09 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 2799 0 0 0 306 3 0 0 25 0 1 0 97714025 10772480 2162 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 2630 2162 136 292 0 2335 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10520 [startup+6.30157 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1837168/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=14528 CPUtime=6.29 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 3735 0 0 0 625 4 0 0 25 0 1 0 97714025 14876672 3098 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 3632 3098 136 292 0 3337 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14528 [startup+12.7024 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1832368/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=19964 CPUtime=12.69 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 5148 0 0 0 1262 7 0 0 25 0 1 0 97714025 20443136 4511 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 4991 4511 136 292 0 4696 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19964 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1821296/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=30424 CPUtime=25.49 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 7749 0 0 0 2537 12 0 0 25 0 1 0 97714025 31154176 7112 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 7606 7112 136 292 0 7311 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30424 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1803824/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=47984 CPUtime=51.07 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 12145 0 0 0 5088 19 0 0 25 0 1 0 97714025 49135616 11508 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 11996 11508 136 292 0 11701 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47984 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1758064/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=93396 CPUtime=102.26 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 23490 0 0 0 10187 39 0 0 25 0 1 0 97714025 95637504 22853 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 23349 22853 136 292 0 23054 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 93396 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1716464/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=135300 CPUtime=162.24 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 33942 0 0 0 16167 57 0 0 25 0 1 0 97714025 138547200 33305 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 33825 33305 136 292 0 33530 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 135300 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1670000/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=181532 CPUtime=222.22 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 45489 0 0 0 22146 76 0 0 25 0 1 0 97714025 185888768 44852 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 45383 44852 136 292 0 45088 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 181532 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1644016/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=207352 CPUtime=282.2 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 51910 0 0 0 28130 90 0 0 25 0 1 0 97714025 212328448 51273 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 51838 51273 136 292 0 51543 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 207352 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1643888/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=207352 CPUtime=342.18 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 51917 0 0 0 34118 100 0 0 25 0 1 0 97714025 212328448 51280 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 51838 51280 136 292 0 51543 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 207352 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1614384/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=237092 CPUtime=402.16 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 59459 0 0 0 40097 119 0 0 25 0 1 0 97714025 242782208 58822 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 59273 58822 136 292 0 58978 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 237092 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1572272/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=278724 CPUtime=462.15 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 69832 0 0 0 46078 137 0 0 25 0 1 0 97714025 285413376 69195 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 69681 69195 136 292 0 69386 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 278724 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1539696/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=311888 CPUtime=522.13 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 78134 0 0 0 52059 154 0 0 25 0 1 0 97714025 319373312 77497 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 77972 77497 136 292 0 77677 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 311888 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1498864/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=352004 CPUtime=582.11 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 88125 0 0 0 58039 172 0 0 25 0 1 0 97714025 360452096 87488 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 88001 87488 136 292 0 87706 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 352004 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1457840/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=392636 CPUtime=642.09 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 98290 0 0 0 64019 190 0 0 25 0 1 0 97714025 402059264 97653 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 98159 97653 136 292 0 97864 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 392636 Solver just ended. Dumping a history of the last processes samples [startup+665.506 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1442480/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=408096 CPUtime=665.29 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 102143 0 0 0 66333 196 0 0 25 0 1 0 97714025 417890304 101506 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 102024 101506 136 292 0 101729 0 Current children cumulated CPU time (s) 665.29 Current children cumulated vsize (KiB) 408096 [startup+678.301 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1436272/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=414696 CPUtime=678.08 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 103779 0 0 0 67610 198 0 0 25 0 1 0 97714025 424648704 103142 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 103674 103142 136 292 0 103379 0 Current children cumulated CPU time (s) 678.08 Current children cumulated vsize (KiB) 414696 [startup+684.701 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1432496/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=418392 CPUtime=684.48 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 104709 0 0 0 68248 200 0 0 25 0 1 0 97714025 428433408 104072 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 104598 104072 136 292 0 104303 0 Current children cumulated CPU time (s) 684.48 Current children cumulated vsize (KiB) 418392 [startup+686.301 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1431216/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=419316 CPUtime=686.09 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 104936 0 0 0 68408 201 0 0 25 0 1 0 97714025 429379584 104299 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 104829 104299 136 292 0 104534 0 Current children cumulated CPU time (s) 686.09 Current children cumulated vsize (KiB) 419316 [startup+687.101 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1431216/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=419844 CPUtime=686.88 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 105065 0 0 0 68487 201 0 0 25 0 1 0 97714025 429920256 104428 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 104961 104428 136 292 0 104666 0 Current children cumulated CPU time (s) 686.88 Current children cumulated vsize (KiB) 419844 [startup+687.505 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1430448/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=420108 CPUtime=687.28 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194304 105138 0 0 0 68527 201 0 0 25 0 1 0 97714025 430190592 104501 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 105027 104501 136 292 0 104732 0 Current children cumulated CPU time (s) 687.28 Current children cumulated vsize (KiB) 420108 [startup+687.701 s] /proc/loadavg: 1.00 1.00 0.92 2/66 27271 /proc/meminfo: memFree=1430448/2055920 swapFree=4192812/4192956 [pid=27270] ppid=27268 vsize=0 CPUtime=687.47 /proc/27270/stat : 27270 (wbo) R 27268 27270 26968 0 -1 4194308 105168 0 0 0 68541 206 0 0 25 0 1 0 97714025 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/27270/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 687.47 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 687.711 CPU time (s): 687.5 CPU user time (s): 685.42 CPU system time (s): 2.07968 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 420108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 685.42 system time used= 2.07968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105168 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= 3 involuntary context switches= 977 runsolver used 0.764883 second user time and 1.71374 second system time The end
Begin job on node92 at 2009-06-16 22:08:42 IDJOB=1875476 IDBENCH=24998 IDSOLVER=698 FILE ID=node92/1875476-1245182922 PBS_JOBID= 9368275 Free space on /tmp= 66472 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_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-1875476-1245182922/watcher-1875476-1245182922 -o /tmp/evaluation-result-1875476-1245182922/solver-1875476-1245182922 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875476-1245182922.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640 RANDOM SEED=1778638327 node92.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.233 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.233 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1849880 kB Buffers: 13556 kB Cached: 128696 kB SwapCached: 140 kB Active: 44184 kB Inactive: 112132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849880 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3060 kB Writeback: 0 kB Mapped: 23636 kB Slab: 35596 kB Committed_AS: 67452 kB PageTables: 1464 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-1875476-1245182922.opb Free space on /tmp at the end= 66468 MiB End job on node92 at 2009-06-16 22:20:10