Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 7400 | 1798.11 | 1798.71 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb |
MD5SUM | f480d2d56550630df651872786c078c9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 939 |
Best CPU time to get the best result obtained on this benchmark | 14.0239 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 999 |
Optimality of the best value was proved | NO |
Number of variables | 8405 |
Total number of constraints | 10667 |
Number of constraints which are clauses | 9918 |
Number of constraints which are cardinality constraints (but not clauses) | 749 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 351 |
Number of terms in the objective function | 6892 |
Biggest coefficient in the objective function | 667 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 371779 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 667 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 371779 |
Number of bits of the biggest sum of numbers | 19 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656520-1276484785.opb 0.00/0.00 c File size is 551521 bytes. 0.08/0.09 c Highest Coefficient sum: 371779 0.08/0.09 c Parsing was ok!! 0.08/0.09 c Total parsing time: 0.093 s 0.09/0.10 c Var: 8405 Constr: 11368 10620/748/0 Lit: 53454 Watch. Lit: 37895 0.09/0.10 c Obj. Vars: 6892 (81.9988 % of total variables) 0.29/0.32 c Pre-processing Time: 0.321 s 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 8404 11366 53452 4 37894 83303 0 0 0.32 0.29/0.32 c Switching off lower bounding mode. 0.89/0.96 c 100 8404 11506 59098 5 38174 91634 140 140 0.71 0.89/0.96 o 8504 168.53/168.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 168.53/168.63 c 207 8404 11662 123723 10 43590 97085 296 213 0.97 168.53/168.63 c 308 8404 11767 200212 17 43761 106794 401 264 1.17 168.53/168.63 c 559 8404 12018 364900 30 44186 117474 652 358 1.56 168.53/168.63 c 1034 8404 12493 676327 54 45090 129222 1127 428 2.42 168.53/168.63 c 1847 8404 13306 1208228 90 46675 142145 1940 457 4.04 168.53/168.63 c 3167 8404 14695 2423591 164 103741 156360 3329 416 7.61 168.53/168.63 c 5250 8404 16861 5007001 296 168950 171997 5495 332 15.80 168.53/168.63 c 8474 8404 20097 10083643 501 180854 189197 8731 184 45.87 168.53/168.63 c 13410 8404 25090 23215720 925 246445 208117 13724 126 106.24 168.53/168.63 c 20916 8404 32651 33118963 1014 291242 228929 21285 125 166.41 168.53/168.63 o 8202 279.80/279.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 279.80/279.91 c 21058 8404 32821 33297179 1014 305792 97085 21455 124 168.58 279.80/279.91 c 21158 8404 32921 33362639 1013 305216 106794 21555 124 170.30 279.80/279.91 c 21408 8404 33224 33701537 1014 332960 117474 21858 123 172.84 279.80/279.91 c 21884 8404 33701 34091781 1011 333989 129222 22335 122 179.18 279.80/279.91 c 22697 8404 34551 35073677 1015 357113 142145 23185 119 190.39 279.80/279.91 c 24018 8404 35911 36383381 1013 383163 156360 24545 118 202.67 279.80/279.91 c 26100 8404 38001 40074596 1054 392590 171997 26635 113 229.04 279.80/279.91 c 29323 8404 41344 47976505 1160 474395 189197 29978 107 273.21 279.80/279.91 o 7799 292.79/292.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 292.79/292.96 c 29736 8404 41809 48711384 1165 515038 97085 30443 106 279.82 292.79/292.96 c 29838 8404 41971 49022263 1168 566958 106794 30605 105 283.08 292.79/292.96 c 30089 8404 42234 49431482 1170 575831 117474 30868 104 287.24 292.79/292.96 o 7703 510.02/510.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 510.02/510.22 c 30362 8404 42576 49874211 1171 616778 97085 31210 103 292.87 510.02/510.22 c 30462 8404 42703 50080698 1172 639695 106794 31337 103 295.66 510.02/510.22 c 30714 8404 42958 50385122 1172 641687 117474 31592 101 301.74 510.02/510.22 c 31189 8404 43446 50734569 1167 654030 129222 32080 99 312.32 510.02/510.22 c 32004 8404 44348 52119472 1175 702380 142145 32982 96 330.11 510.02/510.22 c 33324 8404 45672 54143125 1185 708654 156360 34306 96 346.65 510.02/510.22 c 35405 8404 47759 56412260 1181 715706 171997 36393 92 382.90 510.02/510.22 c 38628 8404 51039 59184648 1159 774577 189197 39673 83 464.11 510.02/510.22 o 7400 1797.99/1798.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.60 c 41334 8404 53842 63234245 1174 864495 97085 42476 81 510.06 1797.99/1798.60 c 41434 8404 53965 63419208 1175 881084 106794 42599 80 514.51 1797.99/1798.60 c 41684 8404 54216 63788767 1176 882405 117474 42850 79 522.03 1797.99/1798.60 c 42159 8404 54701 64407270 1177 889696 129222 43335 79 531.90 1797.99/1798.60 c 42972 8404 55547 65527494 1179 919002 142145 44181 78 546.75 1797.99/1798.60 c 44292 8404 56869 66475726 1168 922142 156360 45503 77 568.84 1797.99/1798.60 c 46373 8404 58950 67841768 1150 926302 171997 47584 74 623.58 1797.99/1798.60 c 49596 8404 62293 74325551 1193 1021926 189197 50927 72 683.72 1797.99/1798.60 c Reducing formula size due to memory constraints 1797.99/1798.60 c Memory Limit: 1000.00 MB Used: 1019.11 MB 1797.99/1798.60 c 54533 8404 25739 24806829 963 245254 28067 14373 60 898.17 1797.99/1798.60 c 62039 8404 33245 34073501 1024 259728 30874 21879 64 967.38 1797.99/1798.60 c 73401 8404 22244 7181706 322 63270 33962 10878 68 1064.18 1797.99/1798.60 c 90545 8404 39469 18735764 474 145311 37359 28103 80 1130.56 1797.99/1798.60 c 116364 8404 31680 50891346 1606 87824 41095 20314 65 1766.04 1797.99/1798.60 c Resources Exceeded 1797.99/1798.60 v -x2 -x1049 -x1398 x2445 -x3143 -x4194 -x4545 -x4896 -x6651 -x7002 x7353 -x7704 -x8055 x3 -x1050 -x1399 -x3144 -x4195 -x4546 -x4897 -x6652 x7003 -x7354 -x7705 -x4 -x1400 -x2796 -x3494 -x4196 x4547 -x4898 -x5 -x1401 -x4197 -x4548 x4899 -x5250 -x1053 x2449 -x3147 -x5602 -x6655 -x7006 x7357 -x7708 -x356 -x705 -x1752 -x2101 -x5603 -x5954 x6305 -x357 -x706 -x2102 -x5604 -x5955 x6306 -x1056 -x3150 -x6658 x7009 -x7360 -x7711 x1755 -x11 -x360 -x709 -x1058 x1407 -x1756 -x2105 -x3152 -x4203 -x4554 -x4905 x5607 -x5958 -x6309 -x6660 -x7011 -x7362 -x7713 x12 -x361 -x710 -x1059 -x1408 -x1757 -x2106 -x3153 -x4204 -x4555 -x4906 -x5608 x5959 -x6310 -x6661 -x7012 -x7363 -x7714 x13 -x362 -x711 -x1060 -x1409 -x1758 -x2107 -x3154 -x4205 -x4556 -x4907 -x5258 -x5609 -x5960 -x6311 x6662 -x7013 -x7364 -x7715 -x363 x712 -x1061 -x1759 -x2108 -x3155 -x5259 -x5610 -x5961 -x6312 -x6663 -x7014 -x7365 x7716 -x364 -x713 -x1760 -x2109 x2458 -x5611 -x5962 x6313 -x8068 -x365 -x714 -x2110 x2459 -x5612 x5963 -x6314 -x8070 -x367 -x716 -x2112 x2461 -x5614 -x5965 x6316 -x8072 x1765 -x2812 x3510 -x21 -x370 -x719 -x1068 -x1417 -x1766 x2115 -x3162 -x4213 x4564 -x4915 -x5266 -x5617 -x5968 -x6319 -x6670 -x7021 -x7372 -x7723 -x22 x371 -x720 -x1069 -x1418 -x1767 -x2116 -x3163 -x4214 -x4565 -x4916 -x5618 -x5969 -x6320 x6671 -x7022 -x7373 -x7724 x2816 -x3514 x3865 x374 -x2468 -x5270 -x26 -x375 x724 -x1073 -x1422 -x1771 -x2120 -x3167 -x4218 -x4569 -x4920 -x5622 -x5973 -x6324 -x6675 -x7026 x7377 -x7728 -x27 -x1423 -x4219 -x4570 x4921 -x8080 x2820 -x3518 x8081 -x378 x727 -x1774 -x2123 x5274 -x5625 -x5976 -x6327 -x8082 -x2822 -x3520 x5275 -x1078 x3172 x3872 -x6680 -x7031 -x7382 -x7733 -x1079 -x3173 -x3873 -x6681 -x7032 -x7383 x7734 -x33 -x382 -x731 -x1080 -x1429 -x1778 -x2127 x3174 -x4225 -x4576 -x4927 -x5278 x5629 -x5980 -x6331 -x6682 -x7033 -x7384 -x7735 x1779 -x2826 x3524 -x8087 x1780 -x8088 -x36 x1432 -x2828 x3526 -x4228 -x4579 -x4930 -x5281 -x7738 x2480 x3878 -x387 -x736 -x1783 -x2132 x2481 -x3879 -x5283 -x5634 x5985 -x6336 -x8091 x2831 -x3529 -x5284 x41 -x1437 -x4233 -x4584 -x4935 x8094 x2834 -x3532 x5287 -x392 -x741 -x1788 -x2137 -x3884 -x5288 -x5639 x5990 -x6341 x5289 -x2488 x2837 -x3535 x8098 -x5291 x6344 x2490 x3888 -x48 -x1444 x2840 -x3538 -x4240 -x4591 x4942 x49 -x398 -x747 -x1445 -x1794 -x2143 -x2492 -x4241 -x4592 -x4943 -x5294 x5645 -x5996 -x6347 -x8102 -x50 -x1446 -x4242 -x4593 x4944 -x5295 -x51 -x400 -x749 -x1447 -x1796 x2145 -x4243 x4594 -x4945 -x5296 -x5647 -x5998 -x6349 -x52 -x1099 -x1448 x3193 x4244 -x4595 -x4946 -x6701 -x7052 -x7403 -x7754 -x402 -x751 -x1100 -x1798 -x2147 x3194 -x5298 x5649 -x6000 -x6351 -x6702 -x7053 -x7404 -x7755 x54 -x403 -x752 -x1450 -x1799 -x2148 -x2497 -x4246 -x4597 -x4948 -x5299 x5650 -x6001 -x6352 -x8107 -x55 -x404 -x753 x1451 -x1800 -x2149 -x4247 -x4598 -x4949 -x5300 x5651 -x6002 -x6353 -x3546 -x5301 x8109 -x2848 x3547 -x5302 -x57 -x406 -x755 x1104 -x1453 -x1802 -x2151 -x3198 -x4250 -x4601 -x4952 -x5303 x5654 -x6005 -x6356 -x6707 -x7058 -x7409 -x7760 -x2850 x3549 -x3900 x2851 -x3550 x8113 -x60 -x409 -x758 x1456 -x1805 -x2154 -x4253 -x4604 -x4955 -x5306 x5657 -x6008 -x6359 -x61 -x410 -x759 -x1108 -x1457 -x1806 x2155 -x3202 -x4254 -x4605 -x4956 -x5658 -x6009 -x6360 x6711 -x7062 -x7413 -x7764 -x62 -x411 -x760 -x1109 -x1458 -x1807 x2156 -x3203 -x4255 -x4606 -x4957 -x5659 -x6010 -x6361 -x6712 x7063 -x7414 -x7765 x3554 -x5309 -x8117 -x63 -x1459 -x4257 -x4608 x4959 -x5310 -x413 -x762 -x1809 -x2158 -x5311 -x5662 -x6013 x6364 x2857 -x3557 -x8120 -x415 -x764 -x1113 -x1811 -x2160 x3207 x5313 -x5664 -x6015 -x6366 -x6717 -x7068 -x7419 -x7770 x2859 -x3559 x8122 x68 -x1464 -x2860 x3560 -x4262 -x4613 -x4964 -x5315 -x69 x1465 -x4263 -x4614 -x4965 x5316 x2862 -x3562 -x5317 -x71 -x420 -x769 -x1467 -x1816 x2165 x4265 -x4616 -x4967 -x5318 -x5669 -x6020 -x6371 -x72 -x421 -x770 -x1468 x1817 -x2166 -x4266 -x4617 x4968 -x5319 -x5670 -x6021 -x6372 -x73 -x422 -x771 -x1120 -x1469 -x1818 x2167 -x3214 -x4267 -x4618 -x4969 x5320 -x5671 -x6022 -x6373 -x6724 -x7075 -x7426 -x7777 x74 -x1470 -x2866 x3566 -x4268 -x4619 -x4970 x2867 -x3567 -x8130 -x76 x1472 -x2868 x3568 -x4270 -x4621 -x4972 -x8132 -x3570 -x3921 -x4272 -x4623 -x4974 -x5325 -x5676 x6027 -x6378 x78 -x1125 -x1474 -x3219 -x4273 -x4624 -x4975 -x6730 x7081 -x7432 -x7783 -x428 -x777 x1126 -x2173 -x3220 x5678 -x6029 -x6380 -x6731 -x7082 -x7433 -x7784 x80 -x1127 -x1476 -x3221 -x4275 -x4626 -x4977 -x6732 -x7083 x7434 -x7785 -x81 -x1477 x2873 -x3574 -x4276 x4627 -x4978 -x82 -x431 -x780 -x1478 -x1827 -x2176 -x4277 -x4628 -x4979 -x5330 -x5681 -x6032 x6383 x83 -x1479 -x4278 -x4629 -x4980 -x5331 x8139 -x84 -x1480 x1829 -x4279 -x4630 x4981 -x5332 -x85 -x434 -x783 -x1132 x1481 -x1830 -x2179 -x3226 -x4280 -x4631 -x4982 -x5684 x6035 -x6386 -x6737 -x7088 -x7439 -x7790 -x435 -x784 -x1831 -x2180 -x5334 -x5685 -x6036 x6387 -x87 -x1483 x4282 -x4633 -x4984 -x5335 x88 -x1135 -x1484 -x3229 -x4283 -x4634 -x4985 -x6740 x7091 -x7442 -x7793 -x1136 x3230 x3933 -x6741 -x7092 -x7443 -x7794 -x90 -x1486 x4285 -x4636 -x4987 -x5338 -x91 -x440 -x789 x1487 -x2185 -x4286 -x4637 -x4988 x5690 -x6041 -x6392 -x441 -x790 -x1139 x2186 -x3233 -x5691 -x6042 -x6393 -x6744 -x7095 -x7446 x7797 -x1838 x2885 -x3586 x5341 -x94 -x1141 -x1490 x2537 -x2886 -x3235 -x3587 x3938 -x4289 -x4640 -x4991 -x6746 -x7097 -x7448 -x7799 -x8150 -x95 -x444 x793 -x1491 -x2189 -x4290 -x4641 x4992 -x5694 -x6045 -x6396 -x96 -x1492 -x3940 x4291 -x4642 -x4993 x446 -x795 -x1144 -x2191 -x3238 -x5696 -x6047 -x6398 x6749 -x7100 -x7451 -x7802 -x99 -x1495 x1844 x4294 -x4645 -x4996 -x5347 -x449 -x798 -x1147 x2194 -x3241 -x5699 -x6050 -x6401 -x6752 -x7103 -x7454 x7805 -x101 -x1497 x4296 -x4647 -x4998 -x5349 -x102 -x451 -x800 -x1498 -x2196 -x4297 -x4648 -x4999 -x5701 -x6052 x6403 x3596 -x5351 -x452 x801 -x1150 -x2197 -x3244 -x5703 -x6054 -x6405 x6756 -x7107 -x7458 -x7809 -x104 -x1500 x1849 -x4300 x4651 -x5002 -x105 -x1501 x3950 -x4301 -x4652 -x5003 -x455 -x804 -x1851 -x2200 -x5355 -x5706 -x6057 x6408 -x456 x805 -x1154 -x2201 -x3248 -x5707 -x6058 -x6409 -x6760 -x7111 -x7462 x7813 x2551 x5357 -x8165 -x458 -x807 x1854 -x2203 -x2552 -x2901 x3603 -x5358 -x5709 -x6060 -x6411 -x8166 -x459 -x808 -x1157 x1855 -x2204 -x3251 -x3955 -x5359 -x5710 -x6061 -x6412 -x6763 -x7114 -x7465 x7816 x2554 -x2903 x3605 -x8168 -x112 -x461 -x810 x1508 -x1857 -x2206 -x4308 -x4659 -x5010 -x5361 x5712 -x6063 -x6414 x2905 -x3607 x8170 -x114 -x1510 x1859 -x4310 -x4661 x5012 -x115 -x1511 -x4311 -x4662 x5013 -x5364 x2908 -x3610 x8173 -x1164 -x3258 -x3962 -x6770 -x7121 -x7472 x7823 x118 -x467 -x816 -x1514 -x1863 -x2212 -x2910 -x3612 -x3963 -x4314 -x4665 -x5016 -x5367 -x5718 x6069 -x6420 x2911 -x3613 -x5368 -x1865 x5369 -x470 -x819 -x1168 -x1866 -x2215 -x2913 x3262 -x3615 -x5370 x5721 -x6072 -x6423 -x6774 -x7125 -x7476 -x7827 -x122 -x1518 x4318 -x4669 -x5020 -x5371 -x123 -x472 x821 -x1519 -x2217 -x2915 x3617 -x4319 -x4670 -x5021 -x5723 -x6074 -x6425 -x1171 -x3265 -x3969 -x6777 -x7128 x7479 -x7830 -x8181 -x474 -x823 -x1870 -x2219 -x5374 -x5725 -x6076 x6427 -x126 -x475 x824 -x1173 -x1522 -x2220 -x2918 -x3267 -x3620 -x3971 -x4322 -x4673 -x5024 -x5726 -x6077 -x6428 -x6779 -x7130 -x7481 x7832 -x127 -x1523 -x4323 -x4674 x5025 -x5376 -x1873 x5377 -x129 -x478 -x827 -x1525 -x1874 x2223 -x4325 -x4676 -x5027 -x5378 -x5729 -x6080 -x6431 x7484 -x1177 -x2922 x3271 x3624 -x6783 -x7134 -x7485 -x7836 -x131 -x480 -x829 x1527 -x1876 -x2225 -x4327 -x4678 -x5029 -x5380 x5731 -x6082 -x6433 -x132 -x1528 x4328 -x4679 -x5030 -x5381 -x482 -x831 x1180 -x1878 -x2227 -x2576 -x3274 -x5382 x5733 -x6084 -x6435 -x6786 -x7137 -x7488 -x7839 -x8190 -x134 -x483 -x832 -x1181 x1530 -x1879 -x2228 -x3275 -x4330 -x4681 -x5032 -x5383 x5734 -x6085 -x6436 -x6787 -x7138 -x7489 -x7840 -x1182 x1880 -x3276 -x5384 -x6788 -x7139 -x7490 x7841 x1881 -x8193 -x137 -x486 -x835 -x1184 -x1533 -x1882 x2231 -x3278 -x4333 -x4684 -x5035 -x5386 -x5737 -x6088 -x6439 -x6790 -x7141 x7492 -x7843 -x138 -x487 -x836 -x1534 x1883 -x2232 -x4334 -x4685 x5036 -x5387 -x5738 -x6089 -x6440 -x488 -x837 -x1186 -x1884 x2233 -x3280 x5388 -x5739 -x6090 -x6441 -x6792 -x7143 -x7494 -x7845 -x489 x838 -x1187 -x1885 -x2234 -x3281 -x5389 -x5740 -x6091 -x6442 -x6793 -x7144 x7495 -x7846 -x1188 -x2933 -x3282 -x3635 -x6794 -x7145 x7496 -x7847 -x142 x1538 -x1887 -x2236 -x2934 -x3636 -x4338 -x4689 -x5040 x5742 -x492 -x841 -x1190 -x1888 x2237 -x3284 x5392 -x5743 -x6094 -x6445 -x6796 -x7147 -x7498 -x7849 x144 -x1191 -x1540 -x3285 -x4340 -x4691 -x5042 -x5393 x6797 -x7148 -x7499 -x7850 -x146 -x1193 -x1542 -x2938 x3287 x3640 -x4342 -x4693 -x5044 -x6799 -x7150 -x7501 -x7852 -x147 -x1543 x2590 -x4343 -x4694 x5045 -x497 -x846 -x1195 -x1893 x2242 -x3289 -x5397 -x5748 -x6099 -x6450 -x6801 -x7152 -x7503 x7854 -x498 -x847 -x1894 -x2243 -x3994 -x5398 -x5749 x6100 -x6451 -x499 x848 -x1895 -x2244 -x2942 -x3644 x5399 -x5750 -x6101 -x6452 x2594 -x2943 x3645 -x5400 -x8208 -x501 -x850 -x1897 -x2246 -x5401 -x5752 x6103 -x6454 x2596 -x2945 x3647 -x8210 -x154 -x503 -x852 -x1201 -x1550 -x1899 x2248 -x3295 -x4350 -x4701 -x5052 -x5403 -x5754 -x6105 -x6456 x6807 -x7158 -x7509 -x7860 -x155 -x1551 x1900 x4351 -x4702 -x5053 -x8212 -x156 x1552 -x2948 x3650 -x4352 -x4703 -x5054 -x5405 -x8213 -x506 -x855 -x1902 -x2251 -x5406 -x5757 -x6108 x6459 -x1205 -x3299 -x6811 -x7162 x7513 -x7864 x159 -x508 -x857 -x1206 -x1555 -x1904 -x2253 -x3300 -x4355 -x4706 -x5057 -x5408 x5759 -x6110 -x6461 -x6812 -x7163 -x7514 -x7865 -x509 -x858 -x1905 -x2254 -x5409 -x5760 -x6111 x6462 x1907 -x2605 -x5411 x8219 x163 -x1210 -x1559 -x3304 -x4008 -x4359 -x4710 -x5061 -x6816 -x7167 -x7518 x7869 -x164 -x513 -x862 -x1211 x1560 -x1909 -x2258 -x3305 -x4360 -x4711 -x5062 x5413 -x5764 -x6115 -x6466 -x6817 -x7168 -x7519 -x7870 -x165 -x1561 x2957 -x3659 -x4010 x4361 -x4712 -x5063 -x166 -x515 x864 -x1562 -x1911 -x2260 x4362 -x4713 -x5064 -x5415 -x5766 -x6117 -x6468 -x516 -x865 -x1912 -x2261 -x5416 -x5767 -x6118 x6469 -x517 -x866 -x1913 x2262 -x2960 x3662 -x5417 -x5768 -x6119 -x6470 -x518 -x867 -x1216 x1914 -x2263 -x3310 -x4014 -x5418 -x5769 -x6120 -x6471 -x6822 -x7173 -x7524 x7875 -x170 x1566 -x2962 x3664 -x4366 -x4717 -x5068 -x5419 -x8227 x171 -x520 -x869 -x1567 -x1916 -x2265 -x4016 -x4367 -x4718 -x5069 -x5420 -x5771 x6122 -x6473 x1917 -x8229 x173 -x522 -x871 -x1569 -x1918 -x2267 -x4369 -x4720 -x5071 -x5422 x5773 -x6124 -x6475 -x4721 -x5423 x174 -x523 -x872 -x1570 -x1919 -x2268 -x4371 -x4722 -x5073 -x5424 x5775 -x6126 -x6477 -x175 -x1571 -x2967 -x3670 -x4372 x4723 -x5074 -x525 -x874 -x1921 -x2270 -x5426 -x5777 -x6128 x6479 -x1224 x1922 -x3318 -x4023 -x5427 -x6831 -x7182 -x7533 x7884 x527 -x876 -x1225 -x2272 -x3319 -x4024 -x5779 -x6130 -x6481 -x6832 -x7183 -x7534 x7885 -x1227 x2623 -x3321 -x5430 x6834 -x7185 -x7536 -x7887 -x8238 -x181 -x530 -x879 -x1577 -x1926 -x2275 x2973 -x182 -x1229 x1578 -x2974 -x3323 x3676 -x4378 -x4729 -x5080 -x6835 -x7186 -x7537 -x7888 -x186 -x1233 -x1582 x3327 x4382 -x4733 -x5084 -x6839 -x7190 -x7541 -x7892 -x187 x536 -x885 -x1234 -x1583 -x2281 -x3328 -x4032 -x4383 -x4734 -x5085 -x5787 -x6138 -x6489 -x6840 -x7191 x7542 -x7893 x1235 -x3329 -x6841 -x7192 -x7543 -x7894 x8245 -x538 -x887 -x1236 x1934 -x2283 -x3330 -x4034 -x5438 -x5789 -x6140 -x6491 -x6842 -x7193 -x7544 x7895 -x190 x1586 -x4386 -x4737 -x5088 -x7896 x8247 -x191 -x540 -x889 -x1238 x1587 -x1936 -x2285 -x3332 -x4036 -x4387 -x4738 -x5089 -x5440 -x5791 -x6142 -x6493 -x6844 -x7195 -x7546 x7897 -x8248 x8249 -x542 -x891 -x1938 -x2287 -x5442 -x5793 -x6144 x6495 x194 -x543 -x892 -x1241 -x1590 -x1939 -x2288 -x3335 -x4390 -x4741 -x5092 -x5443 -x5794 -x6145 -x6496 x6847 -x7198 -x7549 -x7900 -x195 x1242 -x1591 -x3336 x4391 -x4742 -x5093 -x6848 -x7199 -x7550 -x7901 x196 -x545 -x894 -x1243 -x1592 -x1941 -x2290 -x3337 -x4392 -x4743 -x5094 -x5445 x5796 -x6147 -x6498 -x6849 -x7200 -x7551 -x7902 x197 -x1244 -x1593 -x3338 -x4393 -x4744 -x5095 -x6850 -x7201 x7552 -x7903 x198 -x547 -x896 -x1245 -x1594 -x1943 -x2292 -x3339 -x4394 -x4745 -x5096 -x5447 x5798 -x6149 -x6500 -x6851 -x7202 -x7553 -x7904 -x1246 -x3340 -x4044 -x6852 -x7203 -x7554 x7905 x1247 -x2643 -x3341 -x6853 -x7204 -x7555 -x7906 x8257 -x201 -x1597 x2644 -x2993 -x3695 x4397 -x4748 -x5099 -x8258 -x1249 x2645 -x3343 x6855 -x7206 -x7557 -x7908 -x8259 -x203 -x552 -x901 -x1599 -x1948 -x2297 x2646 -x4399 -x4750 -x5101 -x5452 x5803 -x6154 -x6505 -x8260 -x204 -x553 -x902 x1251 -x1600 -x1949 -x2298 -x3345 -x4400 -x4751 -x5102 -x5453 x5804 -x6155 -x6506 -x6857 -x7208 -x7559 -x7910 -x205 -x554 -x903 x1601 -x1950 -x2299 -x4401 -x4752 -x5103 -x5454 -x5805 x6156 -x6507 x206 -x555 -x904 -x1602 -x1951 -x2300 -x4051 -x4402 -x4753 -x5104 -x5455 -x5806 x6157 -x6508 -x207 -x1603 -x4403 x4754 -x5105 -x208 -x557 -x906 -x1255 x1604 -x1953 -x2302 -x3349 -x4404 -x4755 -x5106 -x5808 -x6159 -x6510 -x6861 -x7212 -x7563 x7914 x209 -x1256 -x1954 -x2303 -x5107 -x5458 -x5809 -x6160 x6511 -x6862 x210 -x1606 -x1955 -x4406 -x4757 -x5108 -x5459 x8267 -x211 -x1607 x2654 -x4056 x4407 -x4758 -x5109 x212 -x1608 -x1957 -x4408 -x4759 -x5110 -x5461 x8269 -x562 -x911 -x1958 -x2307 -x5462 -x5813 -x6164 x6515 -x214 -x1610 x2657 -x4410 -x4761 x5112 -x215 x1611 -x2658 -x4411 -x4762 -x5113 -x5464 x8272 x3008 -x3710 x5465 -x1264 -x3358 -x5817 -x6870 -x7221 -x7572 x7923 -x3010 -x3712 -x6169 -x219 -x1266 -x1615 x3360 -x4415 x4766 -x5117 -x6872 -x7223 -x7574 -x7925 -x569 -x918 -x1267 x1965 -x2314 -x3361 -x5469 -x5820 -x6171 -x6522 x6873 -x7224 -x7575 -x7926 -x221 x1617 x4066 -x4417 -x4768 -x5119 -x5470 x5120 -x6173 -x223 -x1270 -x1619 x2666 -x3015 -x3364 -x3717 -x4419 -x4770 -x5121 -x6876 -x7227 x7578 -x7929 -x8280 x1969 -x5473 -x225 -x1621 -x4070 -x4421 x4772 -x5123 -x226 -x575 -x924 -x1273 -x1622 -x1971 x2320 -x3367 -x4422 -x4773 -x5124 -x5475 -x5826 -x6177 -x6528 -x6879 -x7230 -x7581 x7932 -x227 x1274 -x1623 -x3368 -x228 x1624 -x4423 -x4774 -x5125 x8284 -x229 x578 -x927 -x1276 -x1625 -x1974 -x2323 -x3370 -x4424 -x4775 -x5126 -x5477 -x5828 -x6179 -x6530 -x6881 -x7232 -x7583 x7934 -x230 x1626 -x3022 x3723 -x4425 -x4776 -x5127 -x5478 -x8286 -x231 x1627 -x4426 -x4777 -x5128 x8287 x232 -x581 -x930 -x1279 -x1628 -x2326 -x3373 -x4076 -x4427 -x4778 -x5129 -x5831 -x6182 -x6533 -x6884 -x7235 -x7586 x7937 -x582 -x931 -x2327 x2676 -x4077 -x5832 x6183 -x6534 -x8289 x3026 -x3727 x8290 -x235 -x1631 -x1980 -x4430 -x4781 x5132 -x1981 x2679 -x5484 -x8292 -x238 -x1634 x1983 x4433 -x4784 -x5135 -x588 x937 -x1286 -x2333 -x3380 -x4083 -x5838 -x6189 -x6540 -x6891 -x7242 x7593 -x7944 x5137 -x6190 x1986 -x5489 -x242 -x1289 x1638 -x2685 -x3383 -x4437 -x4788 -x5139 -x6894 -x7245 x7596 -x7947 -x8298 -x592 -x941 -x1290 -x1988 x2337 -x3384 x5491 -x5842 -x6193 -x6544 -x6895 -x7246 -x7597 -x7948 x244 -x1291 -x1640 -x2687 -x3385 -x4439 -x4790 -x5141 -x6896 -x7247 x7598 -x7949 -x8300 x1990 -x2688 -x5493 -x5844 x8301 -x246 -x1293 -x1642 x3387 -x4441 x4792 -x5143 -x6898 -x7249 -x7600 -x7951 -x247 -x1294 x1643 -x3388 -x4442 -x4793 -x5144 -x6899 -x7250 x7601 -x7952 -x8303 -x3040 x3741 -x5496 x2692 -x5497 -x8305 -x250 -x599 -x948 x1297 -x1646 -x2344 -x3391 -x4445 -x4796 -x5147 x5849 -x6200 -x6551 -x6902 -x7253 -x7604 -x7955 -x251 -x1298 -x1647 x3392 -x4446 x4797 -x5148 -x6903 -x7254 -x7605 -x7956 -x3044 x3745 -x5500 -x253 -x602 -x951 -x1300 x1649 -x1998 -x2347 -x3394 -x4448 -x4799 -x5150 -x5501 x5852 -x6203 -x6554 -x6905 -x7256 -x7607 -x7958 -x254 -x603 -x952 -x1301 -x1650 x2348 -x3395 -x4098 -x4449 -x4800 -x5151 -x5853 -x6204 -x6555 -x6906 -x7257 x7608 -x7959 x3047 -x3748 x8311 -x605 -x954 -x2001 -x2350 -x5504 -x5855 -x6206 x6557 -x257 -x1653 x2002 x4452 -x4803 -x5154 -x5505 -x258 -x607 -x956 x1654 -x2003 -x2352 -x4453 -x4804 -x5155 -x5506 x5857 -x6208 -x6559 x3051 -x3752 -x5507 -x260 -x1656 x2005 -x4455 -x4806 x5157 -x610 -x959 -x1308 -x2006 x2355 -x3402 x5509 -x5860 -x6211 -x6562 -x6913 -x7264 -x7615 -x7966 -x262 -x1658 -x4457 x4808 -x5159 -x263 -x1659 -x4458 x4809 -x5160 -x8319 x2707 -x5512 -x8320 -x265 -x1661 x4460 -x4811 -x5162 -x5513 x2709 -x5514 -x8322 -x267 -x616 -x965 -x1314 x1663 -x2361 -x3408 -x4462 -x4813 -x5164 x5866 -x6217 -x6568 -x6919 -x7270 -x7621 -x7972 -x268 -x1664 -x4463 x4814 -x5165 -x8324 -x618 x967 -x2014 -x2363 -x2712 x5517 -x5868 -x6219 -x6570 -x8325 x3062 -x3763 x8326 -x1318 x2016 -x3412 x6923 -x7274 -x7625 -x7976 -x272 -x621 -x970 x1668 -x2366 -x4467 -x4818 -x5169 x5871 -x6222 -x6573 -x273 x1320 -x1669 -x3414 x4117 -x4468 -x4819 -x5170 -x6925 -x7276 -x7627 -x7978 -x5522 x8330 -x624 x973 -x1322 -x2369 -x3416 -x5874 -x6225 -x6576 -x6927 -x7278 -x7629 x7980 -x2719 x3068 -x3769 x8332 -x4121 -x5876 x6227 -x6578 -x277 -x626 -x975 x1324 -x1673 -x2022 -x2371 -x3418 -x4473 -x4824 -x5175 -x5526 -x5877 x6228 -x6579 -x6930 -x7281 -x7632 -x7983 -x278 -x1325 x1674 -x3419 -x4474 -x4825 -x5176 -x6931 -x7282 x7633 -x7984 -x279 -x628 -x977 x1326 -x1675 -x2024 -x2373 -x3420 -x4475 -x4826 -x5177 -x5528 -x5879 x6230 -x6581 -x6932 -x7283 -x7634 -x7985 x280 -x629 -x978 -x1676 -x2025 -x2374 -x3072 -x3774 -x4476 -x4827 -x5178 x5880 -x6231 -x6582 x3073 -x3775 -x5530 x8338 -x282 -x1329 -x1678 -x3423 -x4478 -x4829 -x5180 x6935 -x7286 -x7637 -x7988 x283 -x1330 -x1679 -x3424 x4128 -x4479 -x4830 -x5181 -x6936 -x7287 -x7638 -x7989 -x1331 -x2727 x3425 x5533 -x6937 -x7288 -x7639 -x7990 -x8341 x1332 -x3426 x5534 -x6938 -x7289 -x7640 -x7991 -x286 -x1333 -x1682 -x3427 -x4482 -x4833 -x5184 x6939 -x7290 -x7641 -x7992 -x1334 -x3079 -x3428 -x3781 -x6940 x7291 -x7642 -x7993 x2731 -x5537 -x8345 -x638 -x987 -x2034 -x2383 -x4134 -x5538 -x5889 x6240 -x6591 -x639 -x988 -x2035 -x2384 x3082 -x3784 -x4135 -x5539 -x5890 x6241 -x6592 -x8348 -x291 -x1338 -x1687 x2734 -x3432 -x4488 -x4839 -x5190 -x6945 -x7296 x7647 -x7998 -x8349 -x8350 -x1340 x2736 -x3434 -x6947 -x7298 x7649 -x8000 -x8351 -x294 -x1690 -x4491 x4842 -x5193 -x8352 -x295 -x644 -x993 x1342 -x1691 -x2040 -x2389 -x3436 -x4492 -x4843 -x5194 -x5545 -x5896 x6247 -x6598 -x6949 -x7300 -x7651 -x8002 x296 -x645 -x994 -x1692 -x2390 -x3088 -x646 -x995 x1344 -x2042 -x2391 -x3438 x5546 -x5897 -x6248 -x6599 -x6950 -x7301 -x7652 -x8003 -x298 -x647 -x996 x1345 -x1694 -x2043 -x2392 -x3439 -x4494 -x4845 -x5196 -x5547 -x5898 x6249 -x6600 -x6951 -x7302 -x7653 -x8004 x299 -x648 -x997 -x1346 -x1695 -x2044 -x2393 -x3440 -x4495 -x4846 -x5197 -x5548 -x5899 x6250 -x6601 -x6952 -x7303 -x7654 -x8005 -x300 -x649 -x998 x1696 -x2045 -x2394 -x4496 -x4847 -x5198 -x5900 x6251 -x6602 -x302 -x651 -x1000 -x1349 -x1698 x2047 -x2396 -x3443 -x4498 -x4849 -x5200 -x5551 -x5902 -x6253 -x6604 -x6955 -x7306 x7657 -x8008 -x8359 -x2048 x3095 -x3797 -x5201 -x5552 x6254 -x8360 -x304 -x653 -x1002 -x1700 -x2049 -x2398 x3096 -x3798 -x4500 -x4851 -x5202 -x5553 -x5904 x6255 -x6606 -x305 -x1701 x4501 -x4852 -x5203 -x5554 -x2750 x3099 -x3801 x8364 -x657 -x1006 -x2053 -x2402 x2751 -x3100 -x3802 -x4153 -x5557 -x5908 x6259 -x6610 -x8365 -x658 -x1007 -x2054 -x2403 x3101 -x3803 -x4154 -x5558 -x5909 x6260 -x6611 -x310 -x659 -x1008 -x1357 x1706 -x2055 -x2404 -x3451 -x4155 -x4506 -x4857 -x5208 -x5559 -x5910 -x6261 -x6612 -x6963 -x7314 x7665 -x8016 x311 -x1707 -x661 x1010 -x1359 -x2057 -x2406 -x3453 -x4156 -x5560 -x5911 -x6262 -x6613 -x6964 -x7315 -x7666 x8017 -x313 -x662 -x1011 -x1360 x1709 -x2058 -x2407 -x3105 -x3454 -x3806 -x4157 -x4508 -x4859 -x5210 -x5561 -x5912 -x6263 -x6614 -x6965 -x7316 x7667 -x8018 -x314 x663 -x1012 -x1361 -x1710 -x2059 -x2408 -x3455 -x4509 -x4860 -x5211 -x5562 -x5913 -x6264 -x6615 -x6966 -x7317 x7668 -x8019 x1362 -x3107 -x3456 -x3808 x5563 -x6967 -x7318 -x7669 -x8020 -x665 -x1014 -x2410 x3108 -x3809 -x5915 -x6266 x6617 x2062 -x3109 x3810 -x5565 -x318 -x667 -x1016 x1714 -x2063 -x2412 -x4513 -x4864 -x5215 -x5566 -x5917 x6268 -x6619 -x319 -x1715 -x4163 x4514 -x4865 -x5216 -x669 -x1018 -x2065 -x2414 -x4164 -x5568 -x5919 x6270 -x6621 x1368 -x3113 -x3462 x3814 -x6973 -x7324 -x7675 -x8026 -x322 -x1718 x3114 -x3815 x4166 -x4517 -x4868 -x5219 -x1370 x3115 -x3464 -x3816 -x6975 -x7326 x7677 -x8028 -x5572 -x674 -x1023 -x1372 x2070 -x2419 -x3466 -x5573 -x5924 -x6275 -x6626 x6977 -x7328 -x7679 -x8030 x326 -x1373 -x1722 -x3467 -x4521 -x4872 -x5223 -x5574 x6978 -x7329 -x7680 -x8031 -x1374 -x3468 -x5575 -x6979 -x7330 -x7681 x8032 x328 -x1375 -x1724 -x3469 -x4523 -x4874 -x5225 -x5576 -x6980 x7331 -x7682 -x8033 -x2772 x3121 -x3822 x8385 -x330 x1377 -x1726 -x3122 -x3471 x3823 -x4525 -x4876 -x5227 -x6982 -x7333 -x7684 -x8035 x2774 -x3123 x3824 -x8387 -x332 -x681 -x1030 x1728 -x2426 -x4527 -x4878 -x5229 -x5931 x6282 -x6633 -x3125 x3826 -x4177 -x5581 x334 -x683 -x1032 -x1381 -x1730 -x2079 -x2428 -x3475 -x4529 -x4880 -x5231 -x5582 -x5933 -x6284 -x6635 -x6986 -x7337 x7688 -x8039 x2778 x4179 -x6285 -x336 -x685 -x1034 -x1383 -x1732 -x2081 -x2430 x2779 -x3477 -x4180 -x4531 -x4882 -x5233 -x5584 -x5935 -x6286 -x6637 -x6988 -x7339 -x7690 x8041 -x8392 -x686 x1035 -x2082 -x2431 -x2780 -x5234 -x5585 -x5936 -x6287 -x6638 x8393 x2083 -x8394 -x339 -x688 -x1037 -x1386 -x1735 -x2084 x2433 -x3480 -x4534 -x4885 -x5236 -x5587 -x5938 -x6289 -x6640 -x6991 -x7342 x7693 -x8044 x2783 -x3132 -x3833 -x8396 -x341 -x690 -x1039 -x1737 x2086 -x2435 -x6993 x7344 -x7695 -x8046 -x342 -x1738 x4537 -x4888 -x5239 -x5590 -x692 -x1041 -x2437 x2786 -x5942 -x6293 x6644 -x344 x693 -x1042 -x1391 -x1740 -x2438 -x3136 -x3485 -x3837 -x4188 -x4539 -x4890 -x5241 -x5943 -x6294 -x6645 -x6996 -x7347 -x7698 x8049 -x1392 -x3486 -x6997 -x7348 -x7699 x8050 -x8401 -x346 -x695 -x1044 -x1393 -x1742 x2091 -x2440 -x3487 -x4541 -x4892 -x5243 -x5594 -x5945 -x6296 -x6647 -x6998 -x7349 x7700 -x8051 -x1394 -x2092 -x2441 x3139 -x3488 -x3840 -x4191 -x5946 -x6999 -x7350 -x7701 x8052 x3140 x7000 -x7351 -x7702 -x8053 x2095 -x2793 -x351 -x700 -x1747 -x2096 -x3843 -x5247 -x5598 -x5949 -x6300 -x352 -x701 -x1748 -x2097 -x2446 -x2795 -x3493 -x3844 -x5248 -x5599 -x5950 -x6301 -x8056 x353 -x702 -x1051 -x1749 -x2098 -x3145 -x5600 -x5951 -x6302 -x6653 -x7004 -x7355 -x7706 -x354 x703 -x1052 -x1750 -x2099 -x2448 -x2797 -x3146 -x3495 -x3846 -x5601 -x5952 -x6303 -x6654 -x7005 -x7356 -x7707 -x8058 -x6 -x1402 -x4198 -x4549 -x4900 -x5251 -x1753 -x2451 -x2800 -x3498 -x5253 -x8061 -x1754 -x3850 -x5254 -x10 -x359 -x708 -x1057 -x1406 -x2104 -x2453 -x2802 -x3151 -x3500 -x4202 -x4553 -x4904 -x5255 -x5606 -x5957 -x6308 -x6659 -x7010 -x7361 -x7712 -x8063 -x2454 -x2803 -x3501 -x5256 -x8064 -x2455 -x2804 -x3502 -x3853 -x5257 -x8065 -x2456 -x2805 -x3503 -x3854 -x8066 -x14 -x1410 -x2457 -x2806 -x3504 -x3855 -x4206 -x4557 -x4908 -x8067 -x15 -x1062 -x1411 -x2807 -x3156 -x3505 -x3856 -x4207 -x4558 -x4909 -x6664 -x7015 -x7366 -x7717 -x16 -x1063 -x1412 -x1761 -x2808 -x3157 -x3506 -x4208 -x4559 -x4910 -x5261 -x6665 -x7016 -x7367 -x7718 -x8069 -x17 -x366 -x715 -x1064 -x1413 -x1762 -x2111 -x3158 -x3858 -x4209 -x4560 -x4911 -x5262 -x5613 -x5964 -x6315 -x6666 x7017 -x7368 -x7719 -x18 -x1065 -x1414 -x1763 -x2810 -x3159 -x3508 -x4210 -x4561 -x4912 -x5263 -x6667 -x7018 -x7369 -x7720 -x19 x368 -x717 -x1066 -x1415 -x1764 -x2113 -x2462 -x2811 -x3160 -x3509 -x3860 -x4211 -x4562 -x4913 -x5264 -x5615 -x5966 -x6317 -x6668 x7019 -x7370 -x7721 -x20 -x369 -x718 -x1067 -x1416 -x2114 -x2463 -x3161 -x3861 -x4212 -x4563 -x4914 -x5265 -x5616 -x5967 -x6318 -x6669 -x7020 -x7371 -x7722 -x8073 -x2464 -x2813 -x3511 -x3862 -x8074 -x2465 -x2814 -x3512 -x3863 -x8075 -x2466 -x8076 -x24 -x373 -x722 -x1071 -x1420 -x1769 -x2118 -x2467 -x3165 -x4216 -x4567 -x4918 -x5269 -x5620 -x5971 -x6322 -x6673 -x7024 -x7375 -x7726 -x8077 -x25 -x1072 -x1421 -x2817 -x3166 -x3515 x3866 -x4217 -x4568 -x4919 -x6674 -x7025 -x7376 -x7727 -x8078 -x2818 -x3516 -x3867 -x5271 -x1074 -x2470 x3168 -x3868 -x6676 -x7027 -x7378 -x7729 -x28 -x377 -x726 -x1075 -x1424 -x1773 -x2122 -x2471 -x3169 -x3869 -x4220 -x4571 -x4922 -x5273 -x5624 -x5975 -x6326 -x6677 -x7028 -x7379 -x7730 -x29 -x1076 -x1425 -x2472 -x2821 -x3170 -x3519 -x3870 -x4221 -x4572 -x4923 -x6678 -x7029 -x7380 -x7731 -x30 -x379 x728 -x1077 -x1426 -x1775 -x2124 -x2473 -x3171 -x3871 -x4222 -x4573 -x4924 -x5626 -x5977 -x6328 -x6679 -x7030 -x7381 -x7732 -x8083 -x31 -x380 -x729 -x1427 -x1776 -x2125 -x2823 -x3521 -x4223 -x4574 -x4925 -x5276 -x5627 -x5978 -x6329 -x32 -x381 x730 -x1428 -x1777 -x2126 -x2824 -x3522 -x4224 -x4575 -x4926 -x5277 -x5628 -x5979 -x6330 -x2476 -x2825 -x3523 -x3874 -x8086 -x34 -x383 -x732 -x1081 -x1430 -x2128 -x2477 -x3175 -x3875 -x4226 -x4577 -x4928 -x5279 -x5630 -x5981 -x6332 -x6683 -x7034 -x7385 -x7736 -x35 -x384 -x733 -x1082 -x1431 -x2129 -x2827 -x3176 -x3525 -x3876 -x4227 -x4578 -x4929 -x5280 -x5631 -x5982 -x6333 -x6684 x7035 -x7386 -x7737 -x385 -x734 -x1781 -x2130 -x2479 -x3877 -x5632 -x5983 -x6334 -x8089 -x38 -x1085 -x1434 -x2830 -x3179 -x3528 -x4230 -x4581 -x4932 -x6687 -x7038 -x7389 -x7740 -x2482 -x8092 -x389 -x738 x1785 -x2134 -x2483 -x3881 -x5285 -x5636 -x5987 -x6338 -x8093 -x390 -x739 -x1786 -x2135 -x2833 -x3531 -x3882 -x5637 -x5988 -x6339 -x2485 -x8095 -x43 x1090 -x1439 -x2486 -x3184 -x4235 -x4586 -x4937 -x6692 -x7043 -x7394 -x7745 -x8096 -x2487 -x2836 -x3534 -x3885 -x8097 -x394 -x743 -x1790 -x2139 -x5290 -x5641 -x5992 -x6343 -x2489 -x2838 -x3536 -x8099 -x397 -x746 -x1095 -x1793 -x2142 -x2491 -x3189 -x3889 -x5293 -x5644 -x5995 -x6346 -x6697 -x7048 -x7399 -x7750 -x8101 -x1096 -x2841 -x3190 -x3539 -x3890 -x6698 -x7049 -x7400 -x7751 x1097 -x2493 -x2842 -x3191 -x3540 -x3891 -x6699 -x7050 -x7401 -x7752 -x8103 -x1098 -x2494 -x2843 -x3192 -x3541 -x3892 -x6700 -x7051 -x7402 -x7753 -x8104 -x401 -x750 -x1797 -x2146 -x2495 -x2844 -x3542 -x3893 -x5297 -x5648 -x5999 -x6350 -x8105 -x2496 -x2845 -x3543 -x8106 -x1101 -x2846 -x3195 -x3544 -x3895 -x6703 -x7054 -x7405 -x7756 -x1102 -x2498 -x2847 -x3196 -x3545 -x3896 -x6704 -x7055 -x7406 -x7757 -x8108 -x3897 -x4248 -x4599 -x4950 -x5652 -x6003 -x6354 -x6705 -x7056 -x7407 -x7758 -x56 -x405 -x754 -x1103 -x1452 -x1801 -x2150 -x2499 x3197 -x3898 -x4249 -x4600 -x4951 -x5653 -x6004 -x6355 -x6706 -x7057 -x7408 -x7759 -x8110 -x2500 -x2849 -x3548 -x3899 -x8111 -x58 -x407 x756 -x1105 -x1454 -x1803 -x2152 -x2501 -x3199 -x4251 -x4602 -x4953 -x5304 -x5655 -x6006 -x6357 -x6708 -x7059 -x7410 -x7761 -x8112 -x59 -x408 -x757 -x1106 -x1455 -x1804 -x2153 -x2502 -x3200 -x3901 -x4252 -x4603 -x4954 -x5305 -x5656 -x6007 -x6358 -x6709 -x7060 -x7411 -x7762 -x1107 -x2503 -x2852 -x3201 -x3551 -x3902 -x6710 -x7061 -x7412 -x7763 -x8114 -x2504 -x2853 -x3552 -x3903 -x5307 -x8115 -x2505 -x2854 -x3553 -x3904 -x5308 -x8116 -x3905 -x4256 -x4607 -x4958 -x5660 -x6011 -x6362 -x6713 -x7064 -x7415 -x7766 -x2506 -x2855 -x3555 -x8118 -x1111 -x2507 -x2856 x3205 -x3556 -x3907 -x6715 -x7066 -x7417 -x7768 -x8119 -x65 -x414 -x763 -x1112 -x1461 -x1810 -x2159 -x2508 -x3206 -x3908 -x4259 -x4610 x4961 -x5312 -x5663 -x6014 -x6365 -x6716 -x7067 -x7418 -x7769 -x66 -x1462 -x2509 -x2858 -x3558 -x3909 -x4260 -x4611 -x4962 -x8121 -x67 -x416 -x765 -x1114 -x1463 -x1812 -x2161 -x2510 -x3208 -x3910 -x4261 -x4612 -x4963 -x5314 -x5665 -x6016 -x6367 -x6718 -x7069 -x7420 -x7771 -x417 -x766 -x1115 -x1813 -x2162 -x2511 -x3209 -x3911 -x5666 -x6017 -x6368 -x6719 -x7070 -x7421 -x7772 -x8123 -x1116 -x2512 -x2861 -x3210 -x3561 -x3912 -x6720 -x7071 -x7422 -x7773 -x8124 -x70 -x419 -x768 -x1117 -x1466 -x1815 -x2164 -x2513 -x3211 -x3913 -x4264 -x4615 x4966 -x5668 -x6019 -x6370 -x6721 -x7072 -x7423 -x7774 -x8125 -x1118 -x2514 -x2863 -x3212 -x3563 -x3914 -x6722 -x7073 -x7424 -x7775 -x8126 -x1119 -x2515 -x2864 -x3213 -x3564 -x3915 -x6723 -x7074 -x7425 -x7776 -x8127 -x2516 -x2865 -x3565 -x3916 -x8128 -x423 -x772 -x1819 -x2168 -x2517 -x3917 -x5321 -x5672 -x6023 -x6374 -x8129 -x75 -x424 -x773 -x1122 -x1471 -x1820 -x2169 -x3216 -x3918 -x4269 x4620 -x4971 -x5322 -x5673 -x6024 -x6375 -x6726 -x7077 -x7428 -x7779 -x425 -x774 -x1123 -x1821 -x2170 -x2519 -x3217 -x3919 -x5323 -x5674 -x6025 -x6376 -x6727 -x7078 -x7429 -x7780 -x8131 -x77 x426 -x775 -x1124 -x1473 -x1822 -x2171 -x2520 -x2869 -x3218 -x3569 -x3920 -x4271 x4622 -x4973 -x5324 -x5675 -x6026 -x6377 -x6728 -x7079 -x7430 -x7781 -x6729 -x7080 -x7431 -x7782 -x8133 -x2521 -x2870 -x3571 -x3922 -x8134 -x2522 -x2871 -x3572 -x3923 -x8135 -x429 -x778 -x1825 -x2174 -x2523 -x2872 -x3573 -x3924 -x5328 -x5679 -x6030 -x6381 -x8136 -x430 -x779 -x1128 -x1826 -x2175 -x2524 -x3222 -x3925 -x5329 -x5680 -x6031 -x6382 -x6733 -x7084 -x7435 -x7786 -x8137 x1129 -x2525 -x2874 -x3223 -x3575 -x3926 -x6734 -x7085 -x7436 -x7787 -x8138 -x432 -x781 -x1130 -x1828 -x2177 -x2526 -x2875 -x3224 -x3576 -x3927 -x5682 -x6033 -x6384 -x6735 -x7086 -x7437 -x7788 -x433 -x782 -x1131 -x2178 -x2527 -x2876 -x3225 -x3577 -x3928 -x5683 -x6034 -x6385 -x6736 -x7087 -x7438 -x7789 -x8140 -x2528 -x2877 -x3578 -x3929 -x8141 -x86 x1133 -x1482 -x2529 -x2878 -x3227 -x3579 -x3930 -x4281 -x4632 -x4983 -x6738 -x7089 -x7440 -x7791 -x8142 -x436 -x785 -x1134 -x1832 -x2181 x2530 -x2879 -x3228 -x3580 -x3931 -x5686 -x6037 -x6388 -x6739 -x7090 -x7441 -x7792 -x8143 -x2531 -x2880 -x3581 -x3932 -x8144 -x2881 -x3582 -x439 -x788 -x1835 -x2184 -x2533 -x2882 -x3583 -x3934 -x5689 -x6040 -x6391 -x8146 -x1138 -x1836 -x2534 -x2883 -x3232 -x3584 -x3935 -x5339 -x6743 -x7094 -x7445 -x7796 -x8147 -x93 -x442 -x791 -x1140 -x1489 -x2187 -x2536 -x3234 -x3937 -x4288 -x4639 -x4990 -x5692 -x6043 -x6394 -x6745 -x7096 -x7447 -x7798 -x8149 -x443 -x792 -x1839 -x2188 -x5342 -x5693 -x6044 -x6395 -x2538 -x2887 -x3588 -x3939 -x8151 -x2539 -x2888 -x3589 -x8152 -x97 -x1493 -x2540 -x2889 -x3590 -x3941 -x4292 -x4643 -x4994 -x448 -x797 -x1146 -x2193 -x2542 -x2891 -x3240 -x3592 -x3943 -x5698 -x6049 -x6400 -x6751 -x7102 -x7453 -x7804 -x8155 -x2543 -x2892 -x3593 -x3944 -x8156 -x450 -x799 -x1148 -x1846 x2195 -x2544 -x2893 -x3242 -x3594 -x3945 -x5700 -x6051 -x6402 -x6753 -x7104 -x7455 -x7806 -x8157 -x2545 -x2894 -x3595 -x3946 -x8158 -x3947 -x4298 -x4649 -x5000 -x5702 -x6053 -x6404 -x6755 -x7106 -x7457 -x7808 -x8159 -x453 -x802 -x2198 -x2896 -x3598 -x3949 -x5704 -x6055 -x6406 -x2548 -x2897 -x3599 -x8162 -x106 x1153 -x1502 -x2549 -x2898 -x3247 -x3600 -x3951 -x4302 -x4653 -x5004 -x6759 -x7110 -x7461 -x7812 -x8163 -x107 -x1503 -x2550 -x2899 -x3601 -x4303 -x4654 -x5005 -x108 -x1504 -x2900 -x3602 -x3953 -x4304 -x4655 -x5006 -x109 -x1156 -x1505 -x3250 -x3954 -x4305 -x4656 -x5007 -x6762 -x7113 -x7464 -x7815 -x110 -x1506 -x2553 -x2902 -x3604 -x4306 -x4657 -x5008 -x8167 -x111 -x460 -x809 -x1158 -x1507 -x1856 -x2205 -x3252 -x3956 -x4307 -x4658 -x5009 -x5360 -x5711 -x6062 -x6413 -x6764 -x7115 -x7466 -x7817 -x1159 -x2555 -x2904 -x3253 -x3606 -x3957 -x6765 -x7116 -x7467 -x7818 -x8169 -x113 -x462 -x811 -x1160 -x1509 -x1858 -x2207 -x2556 -x3254 -x3958 -x4309 -x4660 -x5011 -x5362 -x5713 -x6064 -x6415 -x6766 -x7117 -x7468 -x7819 -x1161 -x2557 -x2906 -x3255 -x3608 -x6767 -x7118 -x7469 -x7820 -x8171 -x2558 -x8172 -x116 -x465 -x814 -x1163 -x1512 -x1861 -x2210 -x3257 -x3961 -x4312 -x4663 -x5014 -x5365 -x5716 -x6067 -x6418 -x6769 -x7120 -x7471 -x7822 x466 -x815 -x1862 -x2211 -x2560 -x2909 -x3611 -x5366 -x5717 -x6068 -x6419 -x8174 -x1165 -x2561 -x3259 -x6771 -x7122 -x7473 -x7824 -x8175 -x468 -x817 -x1166 -x1864 -x2213 -x2562 -x3260 -x3964 -x5719 -x6070 -x6421 -x6772 -x7123 -x7474 -x7825 -x8176 -x2563 -x2912 -x3614 -x3965 -x8177 -x121 -x1517 -x2564 -x3966 -x4317 -x4668 -x5019 -x8178 -x1169 -x2565 -x2914 -x3263 -x3616 -x3967 -x6775 -x7126 -x7477 -x7828 -x8179 -x1170 -x1868 -x2566 -x3264 -x3968 -x5372 -x6776 -x7127 -x7478 -x7829 -x8180 -x125 x1172 -x1521 -x2568 -x2917 -x3266 -x3619 -x3970 -x4321 -x4672 -x5023 -x6778 -x7129 -x7480 -x7831 -x8182 -x1871 -x2569 -x5375 -x8183 x476 -x825 -x1174 -x1872 -x2221 -x2570 -x2919 -x3268 -x3621 -x3972 -x5727 -x6078 -x6429 -x6780 -x7131 -x7482 -x7833 -x8184 -x2571 -x2920 -x3622 -x3973 -x8185 -x2572 -x2921 -x3623 -x8186 -x3975 -x1178 -x2574 -x2923 -x3272 -x3625 -x3976 -x6784 -x7135 -x7486 -x7837 -x8188 -x1179 -x2575 -x2924 -x3273 -x3626 -x3977 -x6785 -x7136 -x7487 -x7838 -x8189 -x133 -x1529 -x2925 -x3627 -x3978 -x4329 -x4680 -x5031 -x2577 -x2926 -x3628 -x3979 -x8191 -x135 -x484 -x833 -x1531 -x2229 -x2578 -x3980 -x4331 -x4682 -x5033 -x5735 -x6086 -x6437 -x8192 -x136 -x485 -x834 -x1183 -x1532 -x2230 -x2579 -x2928 -x3277 -x3630 -x3981 -x4332 x4683 -x5034 -x5385 -x5736 -x6087 -x6438 -x6789 -x7140 -x7491 -x7842 -x2580 -x2929 -x3631 -x3982 -x8194 -x1185 -x2581 -x2930 -x3279 -x3632 -x3983 -x6791 -x7142 -x7493 -x7844 -x8195 -x139 -x1535 -x2582 -x2931 -x3633 -x3984 -x4335 -x4686 -x5037 -x8196 -x2583 -x2932 -x3634 -x3985 -x8197 -x141 -x1537 -x4337 -x4688 -x5039 -x143 -x1539 -x2586 -x2935 -x3637 -x3988 -x4339 -x4690 -x5041 -x8200 -x2587 -x2936 -x3638 -x3989 -x8201 -x145 x494 -x843 -x1192 -x1541 -x1890 -x2239 -x2588 -x2937 -x3286 -x3639 x3990 -x4341 -x4692 -x5043 -x5394 -x5745 -x6096 -x6447 -x6798 -x7149 -x7500 -x7851 -x8202 -x495 -x844 -x1891 -x2240 -x2589 -x3991 -x5395 -x5746 -x6097 -x6448 -x8203 -x496 -x845 -x1892 -x2241 -x2939 -x3641 -x3992 -x5396 -x5747 -x6098 -x6449 -x8204 -x148 -x1544 -x2591 -x2940 -x3642 -x3993 -x4344 -x4695 -x5046 -x8205 -x1196 -x2592 -x2941 x3290 -x3643 -x6802 -x7153 -x7504 -x7855 -x8206 -x1197 -x2593 -x3291 -x3995 -x6803 -x7154 -x7505 -x7856 -x8207 -x151 -x500 -x849 -x1198 -x1547 -x1896 -x2245 -x3292 -x3996 -x4347 -x4698 -x5049 -x5751 -x6102 -x6453 -x6804 -x7155 -x7506 -x7857 -x152 -x1548 -x2944 -x3646 -x3997 -x4348 -x4699 -x5050 -x502 -x851 -x1200 -x1898 -x2247 -x3294 -x3998 -x5402 -x5753 -x6104 -x6455 -x6806 -x7157 -x7508 -x7859 -x2597 -x2946 -x3648 -x3999 -x8211 -x504 -x853 -x1202 -x2249 -x2598 -x2947 -x3296 -x3649 -x4000 -x5404 -x5755 -x6106 -x6457 -x6808 -x7159 -x7510 -x7861 -x505 -x854 -x1203 -x1901 -x2250 -x2599 -x3297 -x4001 -x5756 -x6107 -x6458 -x6809 -x7160 -x7511 -x7862 -x157 -x1204 -x1553 -x2600 -x2949 x3298 -x3651 -x4002 -x4353 -x4704 -x5055 -x6810 -x7161 -x7512 -x7863 -x8214 -x2601 -x2950 -x3652 -x4003 -x8215 -x2602 -x2951 -x3653 -x4004 -x8216 x1207 -x2603 -x2952 -x3301 -x3654 -x4005 -x6813 -x7164 -x7515 -x7866 -x8217 -x2604 -x2953 -x3655 x4006 -x8218 -x162 -x511 -x860 -x1209 -x1558 -x2256 -x2954 -x3303 -x3656 -x4007 -x4358 -x4709 -x5060 -x5762 -x6113 -x6464 -x6815 -x7166 -x7517 -x7868 -x512 -x861 -x1908 -x2257 -x2606 -x2955 -x3657 -x5412 -x5763 -x6114 -x6465 -x8220 -x2607 -x2956 -x3658 -x4009 -x8221 -x514 -x863 -x1212 -x1910 -x2259 -x2608 -x3306 -x5414 -x5765 -x6116 -x6467 -x6818 -x7169 -x7520 -x7871 -x8222 -x1213 -x2609 -x2958 -x3307 -x3660 -x6819 -x7170 -x7521 -x7872 -x8223 -x2610 -x2959 -x3661 -x8224 -x168 -x1215 -x1564 -x2611 -x3309 -x4013 -x4364 -x4715 -x5066 -x6821 -x7172 -x7523 -x7874 -x8225 -x169 -x1565 -x2612 -x2961 -x3663 -x4365 -x4716 -x5067 -x8226 -x519 -x868 -x1217 -x1915 -x2264 -x2613 -x3311 -x4015 -x5770 -x6121 -x6472 -x6823 -x7174 -x7525 -x7876 -x1218 -x2614 -x2963 -x3312 -x3665 -x6824 -x7175 -x7526 -x7877 -x8228 -x521 -x870 -x1219 -x2266 -x2615 -x2964 -x3313 -x3666 x4017 -x5421 -x5772 -x6123 -x6474 -x6825 -x7176 -x7527 -x7878 -x1220 -x2616 -x2965 -x3314 -x3667 -x6826 -x7177 -x7528 -x7879 -x8230 -x3668 -x1221 -x2617 -x2966 -x3315 -x3669 -x6828 -x7179 -x7530 -x7881 -x8232 -x524 -x873 -x1920 x2269 -x2618 -x4021 -x5425 -x5776 -x6127 -x6478 -x8233 -x176 -x1223 -x1572 x3317 -x4022 -x4373 -x4724 -x5075 -x6830 -x7181 -x7532 -x7883 -x177 -x526 -x875 -x1573 -x2271 -x2620 -x2969 -x3672 -x4374 -x4725 -x5076 -x5778 -x6129 -x6480 -x8235 -x178 -x1574 -x1923 -x2621 -x2970 -x3673 -x4375 -x4726 -x5077 -x5428 -x8236 -x528 -x877 -x1924 -x2273 -x5429 -x5780 -x6131 -x6482 -x180 -x529 -x878 -x1576 -x1925 -x2274 -x2972 -x3675 -x4026 -x4377 -x4728 -x5079 -x5781 -x6132 -x6483 -x1228 -x2624 -x3322 -x531 -x880 -x1927 -x2276 -x2625 -x4027 -x5431 -x5782 -x6133 -x6484 -x8239 -x2626 -x8240 -x2627 -x8241 -x2977 -x3679 -x535 -x884 -x1931 -x2280 -x2629 -x4031 -x5435 -x5786 -x6137 -x6488 -x8243 -x1932 -x2630 -x2979 -x3681 -x5436 -x8244 -x188 -x537 -x886 -x1584 -x1933 -x2282 -x2631 -x2980 -x3682 -x4033 -x4384 -x4735 -x5086 -x5437 -x5788 -x6139 -x6490 -x2632 -x2981 -x3683 -x8246 -x539 -x888 -x1935 -x2284 -x2633 -x2982 -x3684 -x4035 -x5439 -x5790 -x6141 -x6492 -x2634 -x2983 -x3685 -x192 x541 -x890 -x1239 -x1588 -x1937 -x2286 -x2984 -x3333 -x3686 -x4037 -x4388 -x4739 -x5090 -x5792 -x6143 -x6494 -x6845 -x7196 -x7547 -x7898 -x2985 -x3687 -x2637 -x2986 -x3688 -x4039 -x8251 -x544 -x893 -x1940 -x2289 -x4040 -x5444 -x5795 -x6146 -x6497 -x2639 -x2988 -x3690 -x4041 -x8253 -x546 -x895 -x1942 -x2291 -x4042 -x5446 -x5797 -x6148 -x6499 -x2641 -x2990 -x3692 -x4043 -x8255 -x199 x548 -x897 -x1595 -x1944 -x2293 -x2642 -x2991 -x3693 -x4395 -x4746 -x5097 -x5448 -x5799 -x6150 -x6501 -x8256 -x200 -x549 -x898 -x1596 -x1945 -x2294 -x2992 -x3694 -x4396 -x4747 -x5098 -x5449 -x5800 -x6151 -x6502 -x550 -x899 -x1248 -x1946 -x2295 -x3342 -x4046 -x5450 -x5801 -x6152 -x6503 -x6854 -x7205 -x7556 -x7907 -x202 -x1598 -x2994 -x3696 -x4398 -x4749 -x5100 -x1250 -x3344 -x6856 -x7207 -x7558 -x7909 -x2647 -x2996 -x3698 -x4049 -x8261 -x1252 -x2648 -x2997 -x3346 -x3699 -x4050 -x6858 -x7209 -x7560 -x7911 -x8262 -x1253 -x2649 -x2998 -x3347 -x3700 -x6859 -x7210 -x7561 -x7912 -x8263 -x2650 -x2999 -x3701 -x8264 -x2651 -x3000 -x3702 -x4053 -x8265 -x559 -x908 -x2304 -x2653 -x3002 -x3704 -x4055 -x5810 -x6161 -x6512 -x560 -x909 -x1258 -x1956 -x2305 -x3003 -x3352 -x3705 -x5460 -x5811 -x6162 -x6513 -x6864 -x7215 -x7566 -x7917 -x8268 -x561 -x910 -x2306 -x2655 -x3004 -x3706 -x4057 -x5812 -x6163 -x6514 -x213 -x1260 -x1609 -x3005 -x3354 -x3707 -x4409 -x4760 -x5111 -x6866 -x7217 -x7568 -x7919 -x563 -x912 -x1261 -x1959 -x2308 -x3355 -x5463 -x5814 -x6165 -x6516 -x6867 -x7218 -x7569 -x7920 -x8271 -x564 -x913 -x1262 -x1960 -x2309 -x3007 -x3356 -x3709 -x4060 -x5815 -x6166 -x6517 -x6868 -x7219 -x7570 -x7921 -x565 -x914 -x1263 -x1961 -x2310 -x2659 -x3357 -x4061 -x5816 -x6167 -x6518 -x6869 -x7220 -x7571 -x7922 -x8273 -x217 -x1613 -x3009 -x3711 -x4413 -x4764 -x5115 -x218 -x1614 -x2661 -x4414 -x4765 -x5116 -x8275 -x2662 -x3011 -x3713 -x4064 -x8276 -x220 -x1616 -x2663 -x4416 -x4767 -x5118 -x8277 -x570 -x919 -x1268 -x1966 -x2315 -x2664 -x3013 -x3362 -x3715 -x5821 -x6172 -x6523 -x6874 -x7225 -x7576 -x7927 -x8278 -x2665 -x3014 -x3716 -x8279 -x572 -x921 -x1968 -x2317 -x4068 -x5472 -x5823 -x6174 -x6525 -x224 -x573 -x922 -x1271 -x1620 -x2318 -x2667 -x3016 -x3365 -x3718 -x4069 -x4420 x4771 -x5122 -x5824 -x6175 -x6526 -x6877 -x7228 -x7579 -x7930 -x8281 -x574 -x923 x1272 -x1970 -x2319 -x2668 -x3017 -x3366 -x3719 -x5474 -x5825 -x6176 -x6527 -x6878 -x7229 -x7580 -x7931 -x8282 -x2669 -x3018 -x3720 -x4071 -x8283 -x2670 -x577 -x926 -x1275 -x1973 -x2322 -x3020 -x3369 -x3721 -x5827 -x6178 -x6529 -x6880 -x7231 -x7582 -x7933 -x2672 -x3021 -x3722 -x4073 -x8285 -x579 -x928 -x1277 -x1975 -x2324 -x2673 -x3371 -x4074 -x5829 -x6180 -x6531 -x6882 -x7233 -x7584 -x7935 -x580 -x929 -x1278 -x1976 -x2325 -x3023 -x3372 -x3724 -x5830 -x6181 -x6532 -x6883 -x7234 -x7585 -x7936 -x2675 -x3024 -x3725 -x8288 -x233 -x1280 -x1629 -x1978 -x3025 -x3374 -x3726 -x4428 -x4779 -x5130 -x5481 -x6885 -x7236 -x7587 -x7938 -x584 x933 -x1282 -x2329 -x2678 -x3027 -x3376 -x3728 -x4079 -x5483 -x5834 -x6185 -x6536 -x6887 -x7238 -x7589 -x7940 -x8291 -x236 -x585 -x934 -x1632 -x2330 -x3028 -x3729 -x4431 -x4782 x5133 -x5835 -x6186 -x6537 x4081 -x1285 -x2681 -x3030 -x3379 -x3731 -x4082 -x6890 -x7241 -x7592 -x7943 -x8294 -x239 -x1635 -x1984 -x2682 -x3031 -x3732 -x4434 -x4785 -x5136 -x5487 -x8295 -x2683 -x3032 -x3733 -x4084 -x8296 -x590 -x939 -x1288 -x2335 -x2684 -x3033 -x3382 -x3734 -x4085 -x5840 -x6191 -x6542 x6893 -x7244 -x7595 -x7946 -x8297 -x591 -x940 -x1987 -x2336 -x3034 -x3735 -x4086 -x5490 -x5841 -x6192 -x6543 -x2686 -x3035 -x3736 -x4087 -x8299 -x593 -x942 -x1989 -x2338 -x3036 -x3737 -x4088 -x5492 -x5843 -x6194 -x6545 -x245 -x1641 -x4089 -x4440 -x4791 -x5142 -x595 -x944 -x1991 -x2340 -x2689 -x3038 -x3739 -x4090 -x5494 -x5845 -x6196 -x6547 -x8302 -x3039 -x3740 -x248 -x597 -x946 -x1295 -x1644 -x1993 x2342 -x2691 -x3389 -x4092 -x4443 -x4794 -x5145 -x5847 -x6198 -x6549 -x6900 -x7251 -x7602 -x7953 -x8304 -x249 -x1296 -x1645 -x3041 -x3390 -x3742 -x4093 -x4444 x4795 -x5146 -x6901 -x7252 -x7603 -x7954 -x1995 -x2693 -x3042 -x3743 -x4094 -x5498 -x8306 -x600 -x949 -x1996 -x2345 -x2694 -x3043 -x3744 -x4095 -x5499 -x5850 -x6201 -x6552 -x8307 -x252 -x601 -x950 x1299 -x1648 -x1997 -x2346 -x2695 -x3393 -x4096 -x4447 -x4798 -x5149 -x5851 -x6202 -x6553 -x6904 -x7255 -x7606 -x7957 -x8308 -x2696 -x3045 -x3746 -x4097 -x8309 -x1999 -x2697 -x3046 -x3747 -x5502 -x8310 -x255 -x604 -x953 -x1302 -x1651 -x2000 -x2349 -x3396 -x4099 -x4450 -x4801 -x5152 -x5503 -x5854 -x6205 -x6556 -x6907 -x7258 -x7609 -x7960 -x2699 -x3048 -x3749 -x4100 -x8312 -x606 -x955 -x1304 -x2351 -x2700 -x3049 -x3398 -x3750 -x4101 -x5856 -x6207 -x6558 -x6909 -x7260 -x7611 -x7962 -x8313 -x1305 -x2701 -x3050 -x3399 -x3751 -x4102 -x6910 -x7261 -x7612 -x7963 -x8314 -x259 -x608 -x957 -x1306 -x1655 -x2004 -x2353 -x2702 -x3400 -x4103 -x4454 -x4805 -x5156 -x5858 -x6209 x6560 -x6911 -x7262 -x7613 -x7964 -x8315 -x2703 -x3052 -x3753 -x4104 -x5508 -x8316 -x2704 -x3053 -x3754 -x4105 -x8317 -x2705 -x3054 -x3755 -x8318 x612 -x961 -x1310 -x2008 -x2357 -x2706 -x3055 -x3404 -x3756 -x4107 -x5511 -x5862 -x6213 -x6564 -x6915 -x7266 -x7617 -x7968 -x264 -x1660 -x3056 -x3757 -x4459 -x4810 -x5161 x614 -x963 -x1312 -x2010 -x2359 -x2708 -x3057 -x3406 -x3758 -x4109 -x5864 -x6215 -x6566 -x6917 -x7268 -x7619 -x7970 -x8321 -x266 -x615 -x964 -x1313 -x1662 -x2011 -x2360 -x3058 -x3407 -x3759 -x4110 -x4461 -x4812 x5163 -x5865 -x6216 -x6567 -x6918 -x7269 -x7620 -x7971 -x3059 -x3760 -x617 -x966 -x1315 x2013 -x2362 -x2711 -x3060 -x3409 -x3761 -x4112 -x5516 -x5867 -x6218 -x6569 -x6920 -x7271 -x7622 -x7973 -x269 -x1316 -x1665 -x3061 -x3410 -x3762 -x4113 -x4464 -x4815 -x5166 -x6921 -x7272 -x7623 -x7974 -x270 -x619 -x968 -x1317 -x1666 -x2015 -x2364 -x2713 -x3411 -x4114 -x4465 -x4816 -x5167 -x5518 -x5869 -x6220 -x6571 -x6922 -x7273 -x7624 -x7975 -x271 -x620 -x969 -x1667 -x2365 -x2714 -x3063 -x3764 -x4115 -x4466 -x4817 -x5168 -x5519 -x5870 -x6221 -x6572 -x8327 -x2715 -x3064 -x3765 -x4116 -x8328 -x2018 -x3065 -x3766 -x5521 -x274 -x623 x972 -x1321 -x1670 -x2019 -x2368 -x3415 -x4118 -x4469 -x4820 -x5171 -x5873 -x6224 -x6575 -x6926 -x7277 -x7628 -x7979 -x2718 -x3067 -x3768 -x4119 -x8331 -x276 -x625 -x974 -x1323 -x1672 -x2021 -x2370 -x3417 -x4120 -x4471 -x4822 -x5173 -x5524 -x5875 -x6226 -x6577 -x6928 -x7279 -x7630 -x7981 -x3770 -x2720 -x3069 -x3771 -x4122 -x8334 -x627 -x976 -x2023 -x2372 -x2721 -x3070 -x3772 -x4123 -x5527 -x5878 -x6229 -x6580 -x8335 -x2722 -x3071 -x3773 -x4124 -x8336 -x2723 -x8337 -x281 -x630 -x979 -x1328 -x1677 -x2026 -x2375 -x3422 -x4126 -x4477 -x4828 -x5179 -x5881 -x6232 -x6583 -x6934 -x7285 -x7636 -x7987 -x631 x980 -x2027 -x2376 -x3074 -x3776 -x4127 -x5531 -x5882 -x6233 -x6584 -x632 -x981 -x2028 -x2377 -x2726 -x3075 -x3777 -x5532 -x5883 -x6234 -x6585 -x8340 -x284 -x633 -x982 -x1680 -x2029 -x2378 -x4129 -x4480 -x4831 -x5182 -x5884 -x6235 -x6586 -x285 -x634 -x983 -x1681 -x2030 -x2379 -x2728 -x3077 -x3779 -x4130 -x4481 -x4832 -x5183 -x5885 -x6236 -x6587 -x8342 -x287 -x636 x985 -x1683 -x2032 -x2381 -x2730 -x4132 -x4483 -x4834 -x5185 -x5536 -x5887 -x6238 -x6589 -x8344 -x637 -x986 -x2033 -x2382 -x4133 -x5888 -x6239 -x6590 -x2732 -x3081 -x3783 -x8346 -x2733 -x8347 -x4487 -x4838 -x5189 -x5540 -x5891 -x6242 -x6593 -x6944 x7295 -x7646 -x7997 -x640 -x989 -x2036 -x2385 -x3083 -x3786 -x4137 -x5541 -x5892 -x6243 -x6594 -x292 -x1339 -x1688 -x3433 -x4489 -x4840 -x5191 -x6946 x7297 -x7648 -x7999 -x293 -x642 -x991 -x1689 -x2038 -x2387 -x3085 -x3788 -x4139 -x4490 -x4841 -x5192 -x5543 -x5894 -x6245 -x6596 -x643 -x992 -x1341 -x2039 x2388 -x3086 -x3435 -x3789 -x4140 -x5544 -x5895 -x6246 -x6597 -x6948 -x7299 -x7650 -x8001 -x2738 -x3087 -x3790 -x4141 -x8353 -x2041 -x2739 -x297 -x1693 -x2740 -x3089 -x3791 -x4142 -x4493 -x4844 -x5195 -x8354 -x2741 -x3090 -x3792 -x4143 -x8355 -x2742 -x3091 -x3793 -x4144 -x8356 -x1347 -x2743 -x3092 -x3441 -x3794 -x4145 -x6953 -x7304 -x7655 -x8006 -x8357 -x301 x650 -x999 -x1348 -x1697 -x2046 -x2395 -x2744 -x3093 -x3442 -x3795 -x4146 -x4497 -x4848 -x5199 -x5550 -x5901 -x6252 -x6603 -x6954 x7305 -x7656 -x8007 -x8358 -x2745 -x3094 -x3796 -x4147 -x1351 -x2747 -x3445 -x4149 -x6957 -x7308 -x7659 -x8010 -x8361 -x1352 -x2748 -x3097 -x3446 -x3799 -x4150 -x6958 -x7309 -x7660 -x8011 -x8362 -x307 -x656 -x1005 -x1354 -x1703 -x2052 -x2401 -x3448 -x4152 -x4503 -x4854 -x5205 -x5556 -x5907 -x6258 -x6609 -x6960 -x7311 -x7662 -x8013 -x308 -x1355 -x1704 -x3449 -x4504 -x4855 -x5206 -x6961 -x7312 -x7663 -x8014 -x309 -x1356 -x1705 -x2752 -x3450 -x4505 -x4856 -x5207 -x6962 -x7313 -x7664 -x8015 -x8366 -x2753 -x3102 -x3804 -x8367 -x2756 -x8369 -x2757 -x3106 -x3807 -x4158 -x8370 -x315 -x664 -x1013 -x1711 -x2060 -x2409 -x2758 -x4159 -x4510 -x4861 -x5212 -x5914 -x6265 -x6616 -x8371 -x316 -x1363 -x1712 -x2061 -x2759 -x3457 -x4160 -x4511 -x4862 -x5213 -x5564 -x6968 -x7319 -x7670 -x8021 -x8372 -x317 -x666 -x1015 -x1713 -x2411 -x2760 -x4161 -x4512 -x4863 -x5214 -x5916 -x6267 -x6618 -x8373 -x1365 -x2761 -x3110 -x3459 -x3811 -x4162 -x6970 -x7321 -x7672 -x8023 -x8374 -x668 -x1017 -x1366 -x2064 -x2413 -x2762 -x3111 x3460 -x3812 -x5567 -x5918 -x6269 -x6620 -x6971 -x7322 -x7673 -x8024 -x8375 -x320 x1367 -x1716 -x2763 -x3112 -x3461 -x3813 -x4515 -x4866 -x5217 -x6972 -x7323 -x7674 -x8025 -x8376 -x670 -x1019 -x2066 -x2415 -x2764 -x4165 -x5569 -x5920 -x6271 -x6622 -x8377 -x2766 -x8379 -x324 x673 -x1022 -x1371 -x1720 -x2069 -x2418 -x2767 -x3116 -x3465 -x3817 -x4168 -x4519 -x4870 -x5221 -x5923 -x6274 -x6625 x6976 -x7327 -x7678 -x8029 -x8380 -x325 -x1721 -x2768 -x3117 -x3818 -x4169 -x4520 -x4871 -x5222 -x8381 -x2769 -x3118 -x3819 -x8382 -x327 x676 -x1025 -x1723 -x2072 -x2421 -x2770 -x3119 -x3820 -x4171 -x4522 -x4873 -x5224 -x5926 -x6277 -x6628 -x8383 -x2771 -x3120 -x3821 -x8384 -x329 -x678 -x1027 -x1376 -x1725 -x2074 -x2423 -x3470 -x4173 -x4524 -x4875 -x5226 -x5577 -x5928 -x6279 -x6630 -x6981 -x7332 -x7683 -x8034 -x679 -x1028 -x2075 -x2424 -x2773 -x4174 -x5578 -x5929 -x6280 -x6631 -x8386 -x331 -x680 -x1029 -x1378 -x1727 -x2076 -x2425 -x3472 -x4175 -x4526 -x4877 -x5228 -x5579 -x5930 -x6281 -x6632 -x6983 -x7334 -x7685 -x8036 -x2775 -x3124 -x3825 -x4176 -x8388 -x333 -x682 -x1031 -x1380 -x1729 -x2078 x2427 -x2776 -x3474 -x4528 -x4879 -x5230 -x5932 -x6283 -x6634 -x6985 -x7336 -x7687 -x8038 -x2777 -x3126 -x3827 -x4178 -x8390 -x335 -x1382 -x1731 -x3476 -x4530 -x4881 -x5232 -x6987 -x7338 -x7689 -x8040 -x4181 -x338 -x687 -x1036 -x1385 -x1734 -x2432 -x2781 -x3130 -x3479 -x3831 -x4182 -x4533 -x4884 -x5235 -x5586 -x5937 -x6288 -x6639 -x6990 x7341 -x7692 -x8043 -x2782 -x3131 -x3832 -x4183 -x8395 -x2784 -x3133 -x4185 -x4536 -x4887 -x5238 -x5589 -x5940 -x6291 -x6642 -x8397 -x691 -x1040 -x1389 -x2087 -x2436 -x2785 x3483 -x5941 -x6292 -x6643 -x6994 -x7345 -x7696 -x8047 -x8398 -x343 -x1390 -x1739 -x2088 -x3484 -x4187 -x4538 -x4889 -x5240 -x5591 -x6995 -x7346 -x7697 -x8048 -x8399 -x2089 -x2787 -x5592 -x8400 -x345 -x1741 -x3137 -x3838 -x4189 -x4540 -x4891 -x5242 -x2789 -x3138 -x3839 -x4190 -x8402 -x2790 -x8403 -x3841 -x4543 -x4894 -x5245 -x5596 -x5947 -x6298 -x6649 -x8404 -x349 -x698 -x1047 -x1396 -x1745 -x2094 -x2443 -x3141 x3490 -x350 -x699 -x1048 -x1397 -x1746 -x2444 -x3142 -x3491 -x3842 -x4193 -x4544 -x4895 -x5246 -x5597 -x5948 -x6299 -x6650 x7001 -x7352 -x7703 -x8054 -x8405 x1 -x7 -x8 -x9 -x23 -x37 -x39 -x40 -x42 -x44 -x45 -x46 -x47 -x53 -x64 -x79 -x89 -x92 -x98 -x100 -x103 -x117 -x119 -x120 -x124 -x128 -x130 -x140 -x149 -x150 -x153 -x158 -x160 -x161 -x167 -x172 -x179 -x183 -x184 -x185 -x189 -x193 -x216 -x222 -x234 -x237 -x240 -x241 -x243 -x256 -x261 -x275 -x288 -x289 -x290 -x303 -x306 -x312 -x321 -x323 -x337 -x340 -x347 -x348 -x355 -x358 x372 -x376 -x386 -x388 -x391 -x393 -x395 -x396 -x399 x412 -x418 -x427 -x437 -x438 -x445 -x447 x454 -x457 -x463 -x464 -x469 -x471 -x473 x477 -x479 -x481 x490 -x491 -x493 -x507 -x510 -x532 x533 -x534 -x551 -x556 -x558 -x566 -x567 -x568 -x571 -x576 -x583 -x586 -x587 -x589 -x594 -x596 -x598 -x609 -x611 -x613 -x622 x635 x641 -x652 -x654 -x655 -x660 -x671 -x672 -x675 -x677 -x684 -x689 -x694 -x696 -x697 -x704 x707 -x721 -x723 -x725 -x735 -x737 -x740 x742 -x744 -x745 -x748 -x761 -x767 -x776 -x786 -x787 x794 -x796 -x803 -x806 -x812 x813 -x818 x820 -x822 -x826 -x828 -x830 -x839 -x840 -x842 x856 -x859 -x881 -x882 -x883 -x900 x905 -x907 x915 -x916 -x917 -x920 -x925 -x932 x935 -x936 -x938 -x943 -x945 -x947 -x958 -x960 -x962 -x971 -x984 -x990 -x1001 -x1003 x1004 -x1009 -x1020 -x1021 -x1024 -x1026 -x1033 -x1038 -x1043 -x1045 -x1046 x1054 x1055 -x1070 -x1083 -x1084 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1110 -x1121 -x1137 -x1142 -x1143 -x1145 x1149 -x1151 -x1152 -x1155 -x1162 -x1167 -x1175 -x1176 -x1189 -x1194 -x1199 x1208 x1214 -x1222 x1226 -x1230 -x1231 -x1232 -x1237 -x1240 -x1254 -x1257 -x1259 -x1265 x1269 -x1281 -x1283 -x1284 -x1287 -x1292 x1303 -x1307 -x1309 -x1311 -x1319 -x1327 -x1335 -x1336 -x1337 -x1343 -x1350 -x1353 -x1358 -x1364 -x1369 -x1379 -x1384 -x1387 -x1388 -x1395 -x1403 -x1404 -x1405 -x1419 -x1433 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1449 -x1460 -x1475 -x1485 -x1488 -x1494 -x1496 -x1499 -x1513 -x1515 -x1516 -x1520 -x1524 -x1526 -x1536 -x1545 -x1546 -x1549 -x1554 -x1556 -x1557 -x1563 -x1568 -x1575 -x1579 -x1580 -x1581 -x1585 -x1589 -x1605 -x1612 -x1618 -x1630 -x1633 -x1636 -x1637 -x1639 -x1652 -x1657 -x1671 -x1684 -x1685 -x1686 -x1699 -x1702 -x1708 -x1717 -x1719 -x1733 -x1736 -x1743 -x1744 -x1751 -x1768 -x1770 -x1772 -x1782 -x1784 -x1787 -x1789 -x1791 -x1792 -x1795 -x1808 -x1814 -x1823 -x1824 -x1833 -x1834 -x1837 -x1840 -x1841 -x1842 -x1843 -x1845 -x1847 -x1848 -x1850 -x1852 -x1853 -x1860 -x1867 -x1869 -x1875 -x1877 -x1886 -x1889 -x1903 -x1906 -x1928 -x1929 -x1930 -x1947 -x1952 -x1962 -x1963 -x1964 -x1967 -x1972 -x1977 -x1979 -x1982 -x1985 -x1992 -x1994 -x2007 -x2009 -x2012 -x2017 -x2020 -x2031 -x2037 -x2050 -x2051 -x2056 -x2067 -x2068 -x2071 -x2073 -x2077 -x2080 -x2085 -x2090 -x2093 -x2100 -x2103 -x2117 -x2119 -x2121 -x2131 -x2133 -x2136 -x2138 -x2140 -x2141 -x2144 -x2157 -x2163 -x2172 -x2182 -x2183 -x2190 x2192 -x2199 -x2202 -x2208 -x2209 x2214 -x2216 x2218 -x2222 -x2224 x2226 -x2235 -x2238 -x2252 -x2255 -x2277 -x2278 x2279 -x2296 -x2301 -x2311 x2312 -x2313 -x2316 -x2321 -x2328 -x2331 -x2332 -x2334 -x2339 -x2341 -x2343 -x2354 -x2356 -x2358 -x2367 -x2380 -x2386 -x2397 x2399 -x2400 -x2405 -x2416 -x2417 -x2420 -x2422 -x2429 -x2434 x2439 -x2442 -x2447 -x2450 -x2452 -x2460 -x2469 -x2474 -x2475 -x2478 -x2484 -x2518 -x2532 -x2535 -x2541 -x2546 -x2547 -x2559 -x2567 -x2573 -x2584 -x2585 -x2595 -x2619 -x2622 -x2628 -x2635 -x2636 -x2638 -x2640 -x2652 x2656 -x2660 -x2671 -x2674 -x2677 -x2680 -x2690 -x2698 -x2710 -x2716 -x2717 -x2724 -x2725 -x2729 -x2735 -x2737 -x2746 -x2749 -x2754 -x2755 -x2765 -x2788 -x2791 -x2792 -x2794 -x2798 -x2799 -x2801 x2809 -x2815 -x2819 -x2829 -x2832 -x2835 -x2839 -x2884 -x2890 -x2895 -x2907 -x2916 -x2927 -x2968 -x2971 -x2975 -x2976 -x2978 -x2987 -x2989 -x2995 -x3001 -x3006 -x3012 -x3019 -x3029 -x3037 -x3066 -x3076 -x3078 -x3080 -x3084 -x3098 -x3103 -x3104 -x3127 -x3128 -x3129 -x3134 -x3135 -x3148 -x3149 -x3164 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3185 -x3186 x3187 -x3188 -x3204 -x3215 x3231 -x3236 -x3237 -x3239 -x3243 -x3245 -x3246 -x3249 -x3256 -x3261 -x3269 -x3270 -x3283 -x3288 x3293 -x3302 -x3308 -x3316 -x3320 x3324 -x3325 -x3326 -x3331 x3334 -x3348 -x3350 -x3351 -x3353 -x3359 -x3363 -x3375 -x3377 -x3378 x3381 -x3386 -x3397 -x3401 x3403 -x3405 -x3413 -x3421 -x3429 x3430 -x3431 -x3437 -x3444 -x3447 -x3452 -x3458 -x3463 -x3473 -x3478 -x3481 -x3482 -x3489 -x3492 -x3496 -x3497 -x3499 -x3507 -x3513 -x3517 -x3527 -x3530 -x3533 -x3537 -x3585 -x3591 -x3597 -x3609 -x3618 -x3629 -x3671 -x3674 -x3677 -x3678 -x3680 -x3689 -x3691 -x3697 -x3703 -x3708 -x3714 -x3730 -x3738 -x3767 -x3778 -x3780 -x3782 -x3785 -x3787 -x3800 -x3805 -x3828 -x3829 -x3830 -x3834 -x3835 -x3836 -x3845 -x3847 -x3848 -x3849 x3851 -x3852 -x3857 -x3859 -x3864 -x3880 -x3883 -x3886 -x3887 -x3894 -x3906 -x3936 -x3942 -x3948 -x3952 -x3959 -x3960 -x3974 -x3986 -x3987 -x4011 -x4012 -x4018 -x4019 -x4020 x4025 x4028 x4029 x4030 -x4038 -x4045 -x4047 -x4048 -x4052 -x4054 -x4058 -x4059 -x4062 -x4063 -x4065 -x4067 -x4072 -x4075 -x4078 -x4080 -x4091 -x4106 -x4108 -x4111 -x4125 -x4131 -x4136 -x4138 -x4148 -x4151 -x4167 -x4170 -x4172 -x4184 -x4186 -x4192 -x4199 -x4200 -x4201 -x4215 -x4229 -x4231 -x4232 -x4234 -x4236 -x4237 -x4238 -x4239 -x4245 -x4258 -x4274 -x4284 -x4287 -x4293 -x4295 -x4299 -x4313 -x4315 -x4316 -x4320 -x4324 -x4326 -x4336 -x4345 -x4346 -x4349 -x4354 -x4356 -x4357 -x4363 -x4368 -x4370 -x4376 -x4379 -x4380 -x4381 -x4385 -x4389 -x4405 -x4412 -x4418 -x4429 -x4432 -x4435 -x4436 -x4438 -x4451 -x4456 -x4470 -x4472 -x4484 -x4485 -x4486 -x4499 -x4502 -x4507 -x4516 -x4518 -x4532 -x4535 -x4542 -x4550 -x4551 -x4552 -x4566 -x4580 -x4582 -x4583 -x4585 -x4587 -x4588 -x4589 -x4590 -x4596 -x4609 -x4625 -x4635 -x4638 -x4644 -x4646 -x4650 -x4664 x4666 -x4667 -x4671 -x4675 -x4677 -x4687 -x4696 -x4697 -x4700 -x4705 -x4707 -x4708 -x4714 -x4719 -x4727 -x4730 -x4731 -x4732 -x4736 -x4740 -x4756 -x4763 -x4769 -x4780 -x4783 -x4786 -x4787 -x4789 -x4802 -x4807 -x4821 -x4823 x4835 -x4836 -x4837 -x4850 -x4853 -x4858 -x4867 -x4869 -x4883 -x4886 -x4893 -x4901 -x4902 -x4903 -x4917 -x4931 -x4933 -x4934 -x4936 -x4938 -x4939 -x4940 -x4941 -x4947 -x4960 -x4976 -x4986 -x4989 -x4995 -x4997 -x5001 -x5015 -x5017 -x5018 -x5022 -x5026 -x5028 -x5038 -x5047 -x5048 -x5051 -x5056 -x5058 -x5059 -x5065 -x5070 -x5072 -x5078 -x5081 -x5082 -x5083 -x5087 -x5091 -x5114 -x5131 -x5134 -x5138 -x5140 -x5153 -x5158 -x5172 -x5174 -x5186 -x5187 -x5188 -x5204 -x5209 -x5218 -x5220 -x5237 -x5244 -x5249 -x5252 -x5260 -x5267 -x5268 -x5272 -x5282 -x5286 -x5292 -x5326 -x5327 -x5333 -x5336 -x5337 -x5340 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5352 -x5353 -x5354 -x5356 -x5363 -x5373 -x5379 -x5390 -x5391 -x5407 -x5410 -x5432 -x5433 -x5434 -x5441 -x5451 -x5456 -x5457 -x5466 -x5467 -x5468 -x5471 -x5476 -x5479 -x5480 -x5482 -x5485 -x5486 -x5488 -x5495 -x5510 -x5515 -x5520 -x5523 -x5525 -x5529 -x5535 -x5542 -x5549 -x5555 -x5570 -x5571 -x5580 -x5583 -x5588 -x5593 -x5595 -x5605 -x5619 -x5621 -x5623 -x5633 -x5635 -x5638 -x5640 -x5642 -x5643 -x5646 -x5661 -x5667 -x5677 -x5687 -x5688 -x5695 -x5697 -x5705 -x5708 -x5714 -x5715 -x5720 -x5722 -x5724 -x5728 -x5730 -x5732 -x5741 -x5744 -x5758 -x5761 -x5774 -x5783 -x5784 -x5785 -x5802 -x5807 -x5818 -x5819 -x5822 -x5833 -x5836 -x5837 -x5839 -x5846 -x5848 -x5859 -x5861 -x5863 -x5872 -x5886 -x5893 -x5903 -x5905 -x5906 -x5921 -x5922 -x5925 -x5927 -x5934 -x5939 -x5944 -x5953 -x5956 -x5970 -x5972 -x5974 -x5984 -x5986 -x5989 -x5991 -x5993 -x5994 -x5997 -x6012 -x6018 -x6028 -x6038 -x6039 -x6046 -x6048 -x6056 -x6059 -x6065 -x6066 -x6071 -x6073 -x6075 -x6079 -x6081 -x6083 -x6092 -x6093 -x6095 -x6109 -x6112 -x6125 -x6134 -x6135 -x6136 -x6153 -x6158 -x6168 -x6170 -x6184 -x6187 -x6188 -x6195 -x6197 -x6199 -x6210 -x6212 -x6214 -x6223 -x6237 -x6244 -x6256 -x6257 -x6272 -x6273 -x6276 -x6278 -x6290 -x6295 -x6297 -x6304 -x6307 -x6321 -x6323 -x6325 -x6335 -x6337 -x6340 -x6342 -x6345 -x6348 -x6363 -x6369 -x6379 -x6389 -x6390 -x6397 -x6399 -x6407 -x6410 -x6416 -x6417 -x6422 -x6424 -x6426 -x6430 -x6432 -x6434 -x6443 -x6444 -x6446 -x6460 -x6463 -x6476 -x6485 -x6486 -x6487 -x6504 -x6509 -x6519 -x6520 -x6521 -x6524 -x6535 -x6538 -x6539 -x6541 -x6546 -x6548 -x6550 -x6561 -x6563 -x6565 -x6574 -x6588 -x6595 -x6605 -x6607 -x6608 -x6623 -x6624 -x6627 -x6629 -x6636 -x6641 -x6646 -x6648 -x6656 -x6657 -x6672 -x6685 -x6686 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6714 -x6725 -x6742 -x6747 -x6748 x6750 -x6754 -x6757 -x6758 -x6761 -x6768 -x6773 -x6781 -x6782 -x6795 -x6800 -x6805 -x6814 -x6820 -x6827 -x6829 -x6833 -x6836 -x6837 -x6838 -x6843 -x6846 -x6860 -x6863 -x6865 -x6871 -x6875 -x6886 -x6888 -x6889 -x6892 -x6897 -x6908 -x6912 -x6914 -x6916 -x6924 -x6929 -x6933 -x6941 -x6942 -x6943 -x6956 x6959 -x6969 -x6974 -x6984 -x6989 -x6992 -x7007 -x7008 x7023 -x7036 -x7037 x7039 x7040 -x7041 -x7042 -x7044 -x7045 -x7046 -x7047 -x7065 -x7076 -x7093 -x7098 -x7099 -x7101 -x7105 -x7108 -x7109 -x7112 -x7119 -x7124 -x7132 -x7133 -x7146 -x7151 -x7156 -x7165 -x7171 x7178 -x7180 -x7184 -x7187 -x7188 -x7189 -x7194 -x7197 -x7211 -x7213 -x7214 -x7216 x7222 -x7226 -x7237 -x7239 -x7240 -x7243 -x7248 -x7259 -x7263 -x7265 x7267 -x7275 -x7280 -x7284 -x7292 -x7293 -x7294 -x7307 -x7310 -x7320 -x7325 -x7335 -x7340 x7343 -x7358 -x7359 -x7374 -x7387 -x7388 -x7390 -x7391 -x7392 -x7393 -x7395 -x7396 -x7397 -x7398 -x7416 -x7427 -x7444 -x7449 -x7450 -x7452 -x7456 -x7459 -x7460 -x7463 -x7470 -x7475 -x7483 -x7497 -x7502 -x7507 -x7516 -x7522 -x7529 -x7531 -x7535 -x7538 -x7539 -x7540 -x7545 -x7548 -x7562 -x7564 -x7565 -x7567 -x7573 -x7577 -x7588 -x7590 -x7591 -x7594 -x7599 -x7610 -x7614 -x7616 -x7618 -x7626 -x7631 -x7635 -x7643 -x7644 -x7645 -x7658 -x7661 -x7671 -x7676 -x7686 -x7691 -x7694 -x7709 -x7710 -x7725 -x7739 -x7741 -x7742 -x7743 -x7744 -x7746 -x7747 -x7748 -x7749 -x7767 -x7778 -x7795 -x7800 -x7801 -x7803 -x7807 -x7810 -x7811 -x7814 -x7821 -x7826 -x7834 -x7835 -x7848 -x7853 -x7858 -x7867 -x7873 -x7880 -x7882 -x7886 -x7889 -x7890 -x7891 -x7899 -x7913 -x7915 -x7916 -x7918 -x7924 -x7928 -x7939 -x7941 -x7942 -x7945 -x7950 -x7961 -x7965 -x7967 -x7969 -x7977 -x7982 -x7986 -x7994 -x7995 -x7996 -x8009 -x8012 -x8022 -x8027 -x8037 -x8042 -x8045 -x8057 -x8059 -x8060 -x8062 -x8071 -x8079 -x8084 -x8085 -x8090 -x8100 -x8145 -x8148 -x8153 -x8154 -x8160 -x8161 -x8164 -x8187 -x8198 -x8199 -x8209 -x8231 -x8234 -x8237 -x8242 -x8250 -x8252 -x8254 -x8266 -x8270 -x8274 -x8293 -x8323 -x8329 -x8333 -x8339 -x8343 -x8363 -x8368 -x8378 -x8389 -x8391 1797.99/1798.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.60 c 43 120608 7175 425846 35985 57189263 24619 67 1798.01 1797.99/1798.60 c Objective: 7400 1797.99/1798.60 s SATISFIABLE 1797.99/1798.60 c Total time: 1798.01 s
OK 7400
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656520-1276484785/watcher-2656520-1276484785 -o /tmp/evaluation-result-2656520-1276484785/solver-2656520-1276484785 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656520-1276484785.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 1.00 3/106 29691 /proc/meminfo: memFree=1813476/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=19300 CPUtime=0 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 362 0 0 0 0 0 0 0 21 0 1 0 24080032 19763200 281 1992294400 134512640 137138936 4289461504 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 4825 282 173 642 0 4046 0 [startup+0.0910541 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29691 /proc/meminfo: memFree=1813476/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=13120 CPUtime=0.08 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 906 0 0 0 8 0 0 0 23 0 1 0 24080032 13434880 825 1992294400 134512640 137138936 4289461504 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 3280 825 292 642 0 2501 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13120 [startup+0.101056 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29691 /proc/meminfo: memFree=1813476/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=13956 CPUtime=0.09 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 1267 0 0 0 9 0 0 0 23 0 1 0 24080032 14290944 1051 1992294400 134512640 137138936 4289461504 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 3489 1053 182 642 0 2845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13956 [startup+0.301092 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29691 /proc/meminfo: memFree=1813476/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=15196 CPUtime=0.29 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 1617 0 0 0 27 2 0 0 23 0 1 0 24080032 15560704 1335 1992294400 134512640 137138936 4289461504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 3799 1335 185 642 0 3155 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15196 [startup+0.701163 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29691 /proc/meminfo: memFree=1813476/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=14548 CPUtime=0.69 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 1641 0 0 0 55 14 0 0 25 0 1 0 24080032 14897152 1194 1992294400 134512640 137138936 4289461504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 3637 1194 192 642 0 2993 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14548 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29692 /proc/meminfo: memFree=1808136/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=18284 CPUtime=1.49 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 2589 0 0 0 131 18 0 0 25 0 1 0 24080032 18722816 2135 1992294400 134512640 137138936 4289461504 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 4571 2135 192 642 0 3927 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18284 [startup+3.10059 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29692 /proc/meminfo: memFree=1802432/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=25512 CPUtime=3.09 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 4386 0 0 0 289 20 0 0 25 0 1 0 24080032 26124288 3932 1992294400 134512640 137138936 4289461504 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 6378 3932 192 642 0 5734 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25512 [startup+6.30116 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29692 /proc/meminfo: memFree=1786560/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=41564 CPUtime=6.29 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 8831 0 0 0 608 21 0 0 25 0 1 0 24080032 42561536 7968 1992294400 134512640 137138936 4289461504 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 10391 7968 192 642 0 9747 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41564 [startup+12.7003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29692 /proc/meminfo: memFree=1760768/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=65272 CPUtime=12.69 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 16322 0 0 0 1243 26 0 0 25 0 1 0 24080032 66838528 13884 1992294400 134512640 137138936 4289461504 18446744073709551615 134577911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 16318 13884 192 642 0 15674 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65272 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29692 /proc/meminfo: memFree=1717120/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=106860 CPUtime=25.49 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 32492 0 0 0 2517 32 0 0 25 0 1 0 24080032 109424640 24285 1992294400 134512640 137138936 4289461504 18446744073709551615 134577163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 26715 24285 192 642 0 26071 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 106860 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29694 /proc/meminfo: memFree=1662188/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=162892 CPUtime=51.07 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 62706 0 0 0 5062 45 0 0 25 0 1 0 24080032 166801408 38307 1992294400 134512640 137138936 4289461504 18446744073709551615 136504824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 40767 38309 192 642 0 40123 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 162892 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29694 /proc/meminfo: memFree=1518968/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=303964 CPUtime=102.26 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 332625 0 0 0 10092 134 0 0 25 0 1 0 24080032 311259136 73563 1992294400 134512640 137138936 4289461504 18446744073709551615 134603697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 75991 73563 192 642 0 75347 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 303964 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29696 /proc/meminfo: memFree=1391372/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=432208 CPUtime=162.24 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 450231 0 0 0 16046 178 0 0 25 0 1 0 24080032 442580992 105637 1992294400 134512640 137138936 4289461504 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 108052 105637 192 642 0 107408 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 432208 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29698 /proc/meminfo: memFree=1299736/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=522924 CPUtime=222.22 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 495761 0 0 0 22025 197 0 0 25 0 1 0 24080032 535474176 128299 1992294400 134512640 137138936 4289461504 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 130731 128299 192 642 0 130087 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 522924 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29700 /proc/meminfo: memFree=1176480/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=646804 CPUtime=282.2 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 681676 0 0 0 27958 262 0 0 25 0 1 0 24080032 662327296 159254 1992294400 134512640 137138936 4289461504 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 161701 159254 192 642 0 161057 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 646804 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29702 /proc/meminfo: memFree=1110884/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=711424 CPUtime=342.18 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 702623 0 0 0 33944 274 0 0 25 0 1 0 24080032 728498176 175428 1992294400 134512640 137138936 4289461504 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 177856 175428 192 642 0 177212 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 711424 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29702 /proc/meminfo: memFree=1055084/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=766796 CPUtime=402.16 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 726828 0 0 0 39931 285 0 0 25 0 1 0 24080032 785199104 189281 1992294400 134512640 137138936 4289461504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 191699 189281 192 642 0 191055 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 766796 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29707 /proc/meminfo: memFree=1036484/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=784628 CPUtime=462.14 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 731283 0 0 0 45925 289 0 0 25 0 1 0 24080032 803459072 193736 1992294400 134512640 137138936 4289461504 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 196157 193736 192 642 0 195513 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 784628 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29709 /proc/meminfo: memFree=975724/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=846476 CPUtime=522.12 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 750507 0 0 0 51910 302 0 0 25 0 1 0 24080032 866791424 209200 1992294400 134512640 137138936 4289461504 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 211619 209200 192 642 0 210975 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 846476 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29711 /proc/meminfo: memFree=936912/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=883948 CPUtime=582.09 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 761343 0 0 0 57900 309 0 0 25 0 1 0 24080032 905162752 218572 1992294400 134512640 137138936 4289461504 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 220987 218572 192 642 0 220343 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 883948 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29713 /proc/meminfo: memFree=906904/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=913816 CPUtime=642.09 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 769283 0 0 0 63893 316 0 0 25 0 1 0 24080032 935747584 226029 1992294400 134512640 137138936 4289461504 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 228454 226029 192 642 0 227810 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 913816 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054980 CPUtime=1061.94 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 105789 405 0 0 25 0 1 0 24080032 1080299520 261330 1992294400 134512640 137138936 4289461504 18446744073709551615 134555668 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263745 261330 192 642 0 263101 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1054980 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29725 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1121.91 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 111779 412 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134542053 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1054660 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29727 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1181.9 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 117774 416 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1054660 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29729 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1241.88 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 123770 418 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 136504274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1054660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29729 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1301.87 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 129767 420 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1054660 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29731 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1361.83 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 135763 420 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1054660 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29733 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1421.83 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 141761 422 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134551555 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1054660 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29735 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1481.79 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 147756 423 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1054660 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29737 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1541.77 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 153754 423 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1054660 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29737 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1601.76 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 159751 425 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1054660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29739 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1661.74 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 165748 426 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1054660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29741 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1721.72 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 171745 427 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134551813 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1054660 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1781.7 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 177741 429 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134599783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1054660 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1791.3 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 178701 429 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134604219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (KiB) 1054660 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1794.5 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 179021 429 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (KiB) 1054660 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1796.09 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 179180 429 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 1054660 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1796.89 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 179260 429 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 1054660 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=1054660 CPUtime=1797.69 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202496 987728 0 0 0 179340 429 0 0 25 0 1 0 24080032 1079971840 261250 1992294400 134512640 137138936 4289461504 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29691/statm: 263665 261250 192 642 0 263021 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 1054660 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29743 /proc/meminfo: memFree=765048/2059040 swapFree=4136716/4192956 [pid=29691] ppid=29689 vsize=0 CPUtime=1798.09 /proc/29691/stat : 29691 (bsolo_pb10) R 29689 29691 28431 0 -1 4202500 987729 0 0 0 179371 438 0 0 25 0 1 0 24080032 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/29691/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.09 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.71 CPU time (s): 1798.11 CPU user time (s): 1793.71 CPU system time (s): 4.40133 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 1055116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 4.40133 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 987729 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= 1 involuntary context switches= 4513 runsolver used 2.84357 second user time and 8.61969 second system time The end
Begin job on node012 at 2010-06-14 05:06:25 IDJOB=2656520 IDBENCH=2233 IDSOLVER=1162 FILE ID=node012/2656520-1276484785 PBS_JOBID= 11173372 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656520-1276484785/watcher-2656520-1276484785 -o /tmp/evaluation-result-2656520-1276484785/solver-2656520-1276484785 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656520-1276484785.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f480d2d56550630df651872786c078c9 RANDOM SEED=1932491767 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1814004 kB Buffers: 58952 kB Cached: 107016 kB SwapCached: 9404 kB Active: 105936 kB Inactive: 72648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1814004 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 4540 kB Writeback: 0 kB AnonPages: 10924 kB Mapped: 9164 kB Slab: 44720 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181216 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62500 MiB End job on node012 at 2010-06-14 05:36:24