Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | OPT | 28 | 1182.32 | 1182.34 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb |
MD5SUM | f1fcceba4d2ff597685b8a775178b9b4 |
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 | 28 |
Best CPU time to get the best result obtained on this benchmark | 75.1236 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 33 |
Optimality of the best value was proved | NO |
Number of variables | 11321 |
Total number of constraints | 36630 |
Number of constraints which are clauses | 36630 |
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 | 5515 |
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 | 5515 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5515 |
Number of bits of the biggest sum of numbers | 13 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460663-1307107667.opb. 0.00/0.00 c Instance file HOME/instance-3460663-1307107667.opb 0.00/0.00 c File size is 1088812 bytes. 0.01/0.07 c Highest Coefficient sum: 128 0.01/0.07 c ============================[ Problem Statistics ]============================= 0.01/0.07 c | | 0.01/0.07 c | Parsing time: 0.07 s | 0.01/0.07 c | Number Variables: 11321 | 0.01/0.07 c | Number Clauses: 36630 | 0.01/0.07 c | Number Cardinality: 0 | 0.01/0.07 c | Number PB Constraints: 0 | 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 9247 36630 87020 | 12210 0 -nan | 0.000 % | 0.29/0.37 c core #1 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 71 Core Weight: 1 Total Weight: 1 0.29/0.37 c Current CPU time: 0.102984 s 0.29/0.37 c 0.29/0.37 c core #2 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 51 Core Weight: 1 Total Weight: 2 0.29/0.37 c Current CPU time: 0.113982 s 0.29/0.37 c 0.29/0.37 c core #3 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 51 Core Weight: 1 Total Weight: 3 0.29/0.37 c Current CPU time: 0.123981 s 0.29/0.37 c 0.29/0.37 c core #4 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 51 Core Weight: 1 Total Weight: 4 0.29/0.37 c Current CPU time: 0.134979 s 0.29/0.37 c 0.29/0.37 c core #5 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 71 Core Weight: 1 Total Weight: 5 0.29/0.37 c Current CPU time: 0.145977 s 0.29/0.37 c 0.29/0.37 c core #6 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 51 Core Weight: 1 Total Weight: 6 0.29/0.37 c Current CPU time: 0.156976 s 0.29/0.37 c 0.29/0.37 c core #7 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 49 Core Weight: 1 Total Weight: 7 0.29/0.37 c Current CPU time: 0.167974 s 0.29/0.37 c 0.29/0.37 c core #8 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 31 Core Weight: 1 Total Weight: 8 0.29/0.37 c Current CPU time: 0.178972 s 0.29/0.37 c 0.29/0.37 c core #9 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 51 Core Weight: 1 Total Weight: 9 0.29/0.37 c Current CPU time: 0.189971 s 0.29/0.37 c 0.29/0.37 c core #10 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 51 Core Weight: 1 Total Weight: 10 0.29/0.37 c Current CPU time: 0.200969 s 0.29/0.37 c 0.29/0.37 c core #11 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 15 Core Weight: 1 Total Weight: 11 0.29/0.37 c Current CPU time: 0.212967 s 0.29/0.37 c 0.29/0.37 c core #12 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 31 Core Weight: 1 Total Weight: 12 0.29/0.37 c Current CPU time: 0.223965 s 0.29/0.37 c 0.29/0.37 c core #13 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 31 Core Weight: 1 Total Weight: 13 0.29/0.37 c Current CPU time: 0.234964 s 0.29/0.37 c 0.29/0.37 c core #14 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 71 Core Weight: 1 Total Weight: 14 0.29/0.37 c Current CPU time: 0.244962 s 0.29/0.37 c 0.29/0.37 c core #15 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 31 Core Weight: 1 Total Weight: 15 0.29/0.37 c Current CPU time: 0.25696 s 0.29/0.37 c 0.29/0.37 c core #16 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: 16 0.29/0.37 c Current CPU time: 0.268959 s 0.29/0.37 c 0.29/0.37 c core #17 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 31 Core Weight: 1 Total Weight: 17 0.29/0.37 c Current CPU time: 0.279957 s 0.29/0.37 c 0.29/0.37 c core #18 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 31 Core Weight: 1 Total Weight: 18 0.29/0.37 c Current CPU time: 0.291955 s 0.29/0.37 c 0.29/0.37 c core #19 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 559 Core Weight: 1 Total Weight: 19 0.29/0.37 c Current CPU time: 0.303953 s 0.29/0.37 c 0.29/0.37 c core #20 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 15 Core Weight: 1 Total Weight: 20 0.29/0.37 c Current CPU time: 0.315951 s 0.29/0.37 c 0.29/0.37 c core #21 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 252 Core Weight: 1 Total Weight: 21 0.29/0.37 c Current CPU time: 0.32795 s 0.29/0.37 c 0.29/0.37 c core #22 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 13 Core Weight: 1 Total Weight: 22 0.29/0.37 c Current CPU time: 0.338948 s 0.29/0.37 c 0.29/0.37 c core #23 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 32 Core Weight: 1 Total Weight: 23 0.29/0.37 c Current CPU time: 0.350946 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 1995 37273 38250 | 12424 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #24 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 261 Core Weight: 1 Total Weight: 24 0.29/0.38 c Current CPU time: 0.363944 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2403 37274 39455 | 12424 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.38/0.40 c core #25 0.38/0.40 c 0.38/0.40 c 0.38/0.40 c Core size: 534 Core Weight: 1 Total Weight: 25 0.38/0.40 c Current CPU time: 0.380942 s 0.38/0.40 c 0.38/0.40 c ============================[ Search Statistics ]============================== 0.38/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.40 c =============================================================================== 0.38/0.40 c | 0 | 3033 37275 41227 | 12425 0 -nan | 0.000 % | 0.38/0.41 c | 101 | 3033 37275 41227 | 13667 101 49 | 75.609 % | 0.38/0.43 c | 252 | 3033 37275 41227 | 15034 252 46 | 75.609 % | 0.38/0.45 c | 478 | 3033 37275 41227 | 16537 478 58 | 75.609 % | 0.38/0.49 c | 815 | 3033 37275 41227 | 18191 815 69 | 75.609 % | 0.48/0.56 c | 1322 | 3033 37275 41227 | 20010 1322 75 | 75.609 % | 0.59/0.63 c =============================================================================== 0.59/0.65 c core #26 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 1001 Core Weight: 1 Total Weight: 26 0.59/0.65 c Current CPU time: 0.622905 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 3793 37277 42927 | 12425 0 -nan | 0.000 % | 0.59/0.66 c | 100 | 3793 37277 42927 | 13668 100 107 | 70.830 % | 0.59/0.68 c | 252 | 3793 37277 42927 | 15035 252 121 | 70.830 % | 0.69/0.72 c | 480 | 3792 37277 42927 | 16538 480 100 | 70.837 % | 0.69/0.76 c | 817 | 3792 37277 42927 | 18192 817 102 | 70.837 % | 0.79/0.84 c | 1325 | 3792 37277 42927 | 20011 1325 86 | 70.837 % | 0.89/1.00 c | 2087 | 3792 37277 42927 | 22012 2087 87 | 70.837 % | 1.19/1.27 c | 3227 | 3792 37277 42927 | 24214 3227 86 | 70.837 % | 1.58/1.60 c | 4935 | 3792 37277 42927 | 26635 4935 99 | 70.837 % | 2.10/2.20 c | 7501 | 3792 37277 42927 | 29299 7501 101 | 70.837 % | 3.20/3.28 c | 11345 | 3791 37277 42927 | 32228 11345 114 | 70.845 % | 4.79/4.84 c | 17115 | 3791 37277 42927 | 35451 17115 118 | 70.845 % | 7.79/7.85 c | 25764 | 3791 37277 42927 | 38997 25764 143 | 70.845 % | 10.08/10.17 c =============================================================================== 10.28/10.38 c core #27 10.28/10.38 c 10.28/10.38 c 10.28/10.38 c Core size: 737 Core Weight: 1 Total Weight: 27 10.28/10.38 c Current CPU time: 10.2884 s 10.28/10.38 c 10.28/10.38 c ============================[ Search Statistics ]============================== 10.28/10.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.38 c =============================================================================== 10.28/10.38 c | 0 | 4523 37283 44402 | 12427 0 -nan | 0.000 % | 10.39/10.40 c | 100 | 4523 37283 44402 | 13670 100 239 | 67.065 % | 10.39/10.42 c | 250 | 4523 37283 44402 | 15037 250 123 | 67.065 % | 10.39/10.45 c | 477 | 4523 37283 44402 | 16541 477 105 | 67.065 % | 10.49/10.51 c | 814 | 4523 37283 44402 | 18195 814 119 | 67.065 % | 10.59/10.69 c | 1320 | 4523 37283 44402 | 20014 1320 171 | 67.065 % | 10.79/10.83 c | 2079 | 4523 37283 44402 | 22016 2079 168 | 67.065 % | 11.01/11.03 c | 3218 | 4523 37283 44402 | 24218 3218 144 | 67.065 % | 11.29/11.39 c | 4928 | 4523 37283 44402 | 26639 4928 130 | 67.065 % | 11.89/12.00 c | 7492 | 4523 37283 44402 | 29303 7492 144 | 67.065 % | 12.89/12.93 c | 11338 | 4522 37283 44402 | 32234 11338 153 | 67.072 % | 14.39/14.42 c | 17104 | 4522 37283 44402 | 35457 17104 164 | 67.072 % | 16.78/16.80 c | 25755 | 4522 37283 44402 | 39003 25755 145 | 67.072 % | 22.09/22.19 c | 38730 | 4522 37283 44402 | 42903 38730 166 | 67.072 % | 30.99/31.06 c | 58192 | 4522 37283 44402 | 47194 19928 171 | 67.072 % | 43.23/43.30 c | 87386 | 4522 37283 44402 | 51913 49122 193 | 67.072 % | 63.65/63.80 c | 131183 | 4522 37283 44402 | 57104 45953 212 | 67.072 % | 97.04/97.19 c | 196870 | 4522 37283 44402 | 62815 60291 232 | 67.072 % | 146.25/146.33 c | 295400 | 4522 37283 44402 | 69096 44896 243 | 67.072 % | 248.45/248.61 c | 443189 | 4522 37283 44402 | 76006 70723 273 | 67.072 % | 370.56/370.68 c | 664874 | 4522 37283 44402 | 83607 17067 203 | 67.072 % | 554.15/554.22 c =============================================================================== 567.36/567.47 c core #28 567.36/567.47 c 567.36/567.47 c 567.36/567.47 c Core size: 1001 Core Weight: 1 Total Weight: 28 567.36/567.47 c Current CPU time: 564.008 s 567.36/567.47 c 567.36/567.47 c ============================[ Search Statistics ]============================== 567.36/567.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 567.36/567.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 567.36/567.47 c =============================================================================== 567.36/567.47 c | 0 | 5514 37308 46619 | 12436 0 -nan | 0.000 % | 567.36/567.49 c | 103 | 5514 37308 46619 | 13679 103 270 | 62.318 % | 567.46/567.52 c | 253 | 5514 37308 46619 | 15047 253 181 | 62.318 % | 567.46/567.55 c | 478 | 5514 37308 46619 | 16552 478 118 | 62.318 % | 567.56/567.62 c | 817 | 5514 37308 46619 | 18207 817 138 | 62.318 % | 567.65/567.74 c | 1323 | 5514 37308 46619 | 20028 1323 146 | 62.318 % | 567.85/567.92 c | 2082 | 5514 37308 46619 | 22031 2082 168 | 62.318 % | 568.15/568.21 c | 3222 | 5514 37308 46619 | 24234 3222 149 | 62.318 % | 568.45/568.54 c | 4931 | 5514 37308 46619 | 26657 4931 129 | 62.318 % | 569.05/569.16 c | 7493 | 5514 37308 46619 | 29323 7493 142 | 62.318 % | 570.05/570.16 c | 11337 | 5514 37308 46619 | 32255 11337 146 | 62.318 % | 571.65/571.76 c | 17103 | 5514 37308 46619 | 35481 17103 152 | 62.318 % | 574.25/574.34 c | 25754 | 5514 37308 46619 | 39029 25754 166 | 62.318 % | 579.67/579.76 c | 38729 | 5514 37308 46619 | 42932 38729 177 | 62.318 % | 588.85/588.96 c | 58190 | 5514 37308 46619 | 47225 18762 201 | 62.318 % | 602.35/602.44 c | 87383 | 5514 37308 46619 | 51948 47955 234 | 62.318 % | 622.25/622.39 c | 131173 | 5514 37308 46619 | 57143 43396 185 | 62.318 % | 657.36/657.45 c | 196860 | 5514 37308 46619 | 62857 55487 226 | 62.318 % | 710.95/711.06 c | 295397 | 5514 37308 46619 | 69143 36789 254 | 62.318 % | 785.56/785.60 c | 443190 | 5514 37308 46619 | 76057 54671 363 | 62.318 % | 937.97/938.02 c | 664875 | 5514 37308 46619 | 83663 68069 298 | 62.318 % | 1152.57/1152.68 c | 997403 | 5514 37308 46619 | 92029 89756 234 | 62.318 % | 1182.28/1182.31 c =============================================================================== 1182.28/1182.31 c #cores: 28 1182.28/1182.31 c Final Weight: 28 1182.28/1182.31 o 28 1182.28/1182.31 s OPTIMUM FOUND 1182.28/1182.31 v -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -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 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -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 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -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 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -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 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -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 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -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 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -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 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -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 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -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 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -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 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -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 -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 -x5781 -x5783 -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 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -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 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 -x7532 -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -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 -x7656 -x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x7720 -x7722 -x7724 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x7752 -x7754 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x7770 -x7772 -x7774 -x7776 -x7778 -x7780 -x7782 -x7784 -x7786 -x7788 -x7790 -x7792 -x7794 -x7796 -x7798 -x7800 -x7802 -x7804 -x7806 -x7808 -x7810 -x7812 -x7814 -x7816 -x7818 -x7820 -x7822 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x7842 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862 -x7864 -x7866 -x7868 -x7870 -x7872 -x7874 -x7876 -x7878 -x7880 -x7882 -x7884 -x7886 -x7888 -x7890 -x7892 -x7894 -x7896 -x7898 -x7900 -x7902 -x7904 -x7906 -x7908 -x7910 -x7912 -x7914 -x7916 -x7918 -x7920 -x7922 -x7924 -x7926 -x7928 -x7930 -x7932 -x7934 -x7936 -x7938 -x7940 -x7942 -x7944 -x7946 -x7948 -x7950 -x7952 -x7954 -x7956 -x7958 -x7960 -x7962 -x7964 -x7966 -x7968 -x7970 -x7972 -x7974 -x7976 -x7978 -x7980 -x7982 -x7984 -x7986 -x7988 -x7990 -x7992 -x7994 -x7996 -x7998 -x8000 -x8002 -x8004 -x8006 -x8008 -x8010 -x8012 -x8014 -x8016 -x8018 -x8020 -x8022 -x8024 -x8026 -x8028 -x8030 -x8032 -x8034 -x8036 -x8038 -x8040 -x8042 -x8044 -x8046 -x8048 -x8050 -x8052 -x8054 -x8056 -x8058 -x8060 -x8062 -x8064 -x8066 -x8068 -x8070 -x8072 -x8074 -x8076 -x8078 -x8080 -x8082 -x8084 -x8086 -x8088 -x8090 -x8092 -x8094 -x8096 -x8098 -x8100 -x8102 -x8104 -x8106 -x8108 -x8110 -x8112 -x8114 -x8116 -x8118 -x8120 -x8122 -x8124 -x8126 -x8128 -x8130 -x8132 -x8134 -x8136 -x8138 -x8140 -x8142 -x8144 -x8146 -x8148 -x8150 -x8152 -x8154 -x8156 -x8158 -x8160 -x8162 -x8164 -x8166 -x8168 -x8170 -x8172 -x8174 -x8176 -x8178 -x8180 -x8182 -x8184 -x8186 -x8188 -x8190 -x8192 -x8194 -x8196 -x8198 -x8200 -x8202 -x8204 -x8206 -x8208 -x8210 -x8212 -x8214 -x8216 -x8218 -x8220 -x8222 -x8224 -x8226 -x8228 -x8230 -x8232 -x8234 x8236 -x8238 -x8240 -x8242 -x8244 -x8246 -x8248 -x8250 -x8252 -x8254 -x8256 -x8258 -x8260 -x8262 -x8264 -x8266 -x8268 -x8270 -x8272 -x8274 -x8276 -x8278 -x8280 -x8282 -x8284 -x8286 -x8288 -x8290 -x8292 -x8294 -x8296 -x8298 -x8300 -x8302 -x8304 -x8306 -x8308 -x8310 -x8312 -x8314 -x8316 -x8318 -x8320 -x8322 -x8324 -x8326 -x8328 -x8330 -x8332 -x8334 -x8336 -x8338 -x8340 -x8342 -x8344 -x8346 -x8348 -x8350 -x8352 -x8354 -x8356 -x8358 -x8360 -x8362 -x8364 -x8366 -x8368 -x8370 -x8372 -x8374 -x8376 -x8378 -x8380 -x8382 -x8384 -x8386 -x8388 -x8390 -x8392 -x8394 -x8396 -x8398 -x8400 -x8402 -x8404 -x8406 -x8408 -x8410 -x8412 -x8414 -x8416 -x8418 -x8420 -x8422 -x8424 -x8426 -x8428 -x8430 -x8432 -x8434 -x8436 -x8438 -x8440 -x8442 -x8444 -x8446 -x8448 -x8450 -x8452 -x8454 -x8456 -x8458 -x8460 -x8462 -x8464 -x8466 -x8468 -x8470 -x8472 -x8474 -x8476 -x8478 -x8480 -x8482 -x8484 -x8486 -x8488 -x8490 -x8492 -x8494 -x8496 -x8498 -x8500 -x8502 -x8504 -x8506 -x8508 -x8510 -x8512 -x8514 -x8516 -x8518 -x8520 -x8522 -x8524 -x8526 -x8528 -x8530 -x8532 -x8534 -x8536 -x8538 -x8540 -x8542 -x8544 -x8546 -x8548 -x8550 -x8552 -x8554 -x8556 -x8558 x8560 -x8562 -x8564 -x8566 -x8568 -x8570 -x8572 -x8574 -x8576 -x8578 -x8580 -x8582 -x8584 -x8586 -x8588 x8590 -x8592 -x8594 -x8596 -x8598 -x8600 -x8602 -x8604 -x8606 -x8608 -x8610 -x8612 -x8614 -x8616 -x8618 -x8620 -x8622 -x8624 -x8626 -x8628 -x8630 -x8632 -x8634 -x8636 -x8638 -x8640 -x8642 -x8644 -x8646 -x8648 -x8650 -x8652 -x8654 -x8656 -x8658 -x8660 -x8662 -x8664 -x8666 -x8668 -x8670 -x8672 -x8674 -x8676 -x8678 -x8680 -x8682 -x8684 -x8686 -x8688 -x8690 -x8692 -x8694 -x8696 -x8698 -x8700 -x8702 -x8704 -x8706 -x8708 -x8710 -x8712 -x8714 -x8716 -x8718 -x8720 -x8722 -x8724 -x8726 -x8728 -x8730 -x8732 -x8734 -x8736 -x8738 -x8740 -x8742 -x8744 -x8746 -x8748 -x8750 -x8752 -x8754 -x8756 x8758 -x8760 -x8762 -x8764 -x8766 -x8768 -x8770 -x8772 -x8774 -x8776 -x8778 -x8780 -x8782 -x8784 -x8786 -x8788 -x8790 -x8792 -x8794 -x8796 -x8798 -x8800 -x8802 -x8804 -x8806 -x8808 -x8810 -x8812 -x8814 -x8816 -x8818 -x8820 -x8822 -x8824 -x8826 -x8828 -x8830 -x8832 -x8834 -x8836 -x8838 -x8840 -x8842 -x8844 -x8846 -x8848 -x8850 -x8852 -x8854 -x8856 -x8858 -x8860 -x8862 -x8864 -x8866 -x8868 -x8870 -x8872 -x8874 -x8876 -x8878 -x8880 -x8882 -x8884 -x8886 -x8888 -x8890 -x8892 -x8894 -x8896 -x8898 -x8900 -x8902 -x8904 -x8906 -x8908 -x8910 -x8912 -x8914 -x8916 -x8918 -x8920 -x8922 -x8924 -x8926 -x8928 -x8930 -x8932 -x8934 -x8936 -x8938 -x8940 -x8942 -x8944 -x8946 -x8948 -x8950 -x8952 -x8954 -x8956 -x8958 -x8960 -x8962 -x8964 -x8966 -x8968 -x8970 -x8972 -x8974 -x8976 -x8978 -x8980 -x8982 -x8984 -x8986 -x8988 -x8990 -x8992 -x8994 -x8996 -x8998 -x9000 -x9002 -x9004 -x9006 -x9008 -x9010 -x9012 -x9014 -x9016 -x9018 -x9020 -x9022 -x9024 -x9026 -x9028 -x9030 -x9032 -x9034 -x9036 -x9038 -x9040 -x9042 -x9044 -x9046 -x9048 -x9050 -x9052 -x9054 -x9056 -x9058 -x9060 -x9062 -x9064 -x9066 -x9068 -x9070 -x9072 -x9074 -x9076 -x9077 -x9079 -x9081 -x9083 -x9085 -x9087 -x9089 -x9091 -x9093 -x9095 -x9097 -x9099 -x9101 -x9103 -x9105 -x9107 -x9109 -x9111 -x9113 -x9115 -x9117 -x9119 -x9121 -x9123 -x9125 -x9127 -x9129 -x9131 -x9133 -x9135 -x9137 -x9139 -x9141 -x9143 -x9145 -x9147 -x9149 -x9151 -x9153 -x9155 -x9157 -x9159 -x9161 -x9163 -x9165 -x9167 -x9169 -x9171 -x9173 -x9175 -x9177 -x9179 -x9181 -x9183 -x9185 -x9187 -x9189 -x9191 -x9193 -x9195 -x9197 -x9199 -x9201 -x9203 -x9205 -x9207 -x9209 -x9211 -x9213 -x9215 -x9217 -x9219 -x9221 -x9223 -x9225 -x9227 -x9229 -x9231 -x9233 -x9235 -x9237 -x9239 -x9241 -x9243 -x9245 -x9247 -x9249 -x9251 -x9253 -x9255 -x9257 -x9259 -x9261 -x9263 -x9265 -x9267 -x9269 -x9271 -x9273 -x9275 -x9277 -x9279 -x9281 -x9283 -x9285 -x9287 -x9289 -x9291 -x9293 -x9295 -x9297 -x9299 -x9301 -x9303 -x9305 -x9307 -x9309 -x9311 -x9313 -x9315 -x9317 -x9319 -x9321 -x9323 -x9325 -x9327 -x9329 -x9331 -x9333 -x9335 -x9337 -x9339 -x9341 -x9343 -x9345 -x9347 -x9349 -x9351 -x9353 -x9355 -x9357 -x9359 -x9361 -x9363 -x9365 -x9367 -x9369 -x9371 -x9373 -x9375 -x9377 -x9379 -x9381 -x9383 -x9385 -x9387 -x9389 -x9391 -x9393 -x9395 -x9397 -x9399 -x9401 -x9403 -x9405 -x9407 -x9409 -x9411 -x9413 -x9415 -x9417 -x9419 -x9421 -x9423 -x9425 -x9427 -x9429 -x9431 -x9433 -x9435 -x9437 -x9439 -x9441 -x9443 -x9445 -x9447 -x9449 -x9451 -x9453 -x9455 -x9457 -x9459 -x9461 -x9463 -x9465 -x9467 -x9469 -x9471 -x9473 -x9475 -x9477 -x9479 -x9481 -x9483 -x9485 -x9487 -x9489 -x9491 -x9493 -x9495 -x9497 -x9499 -x9501 -x9503 -x9505 -x9507 -x9509 -x9511 -x9513 -x9515 -x9517 -x9519 -x9521 -x9523 -x9525 -x9527 -x9529 -x9531 -x9533 -x9535 -x9537 -x9539 -x9541 -x9543 -x9545 -x9547 -x9549 -x9551 x9553 -x9555 -x9557 -x9559 -x9561 -x9563 -x9565 -x9567 -x9569 -x9571 -x9573 -x9575 -x9577 -x9579 -x9581 -x9583 -x9585 -x9587 -x9589 -x9591 -x9593 -x9595 -x9597 -x9599 -x9601 -x9603 -x9605 -x9607 -x9609 -x9611 -x9613 -x9615 -x9617 -x9619 -x9621 -x9623 -x9625 -x9627 -x9629 -x9631 -x9633 -x9635 -x9637 -x9639 -x9641 -x9643 -x9645 -x9647 -x9649 -x9651 -x9653 -x9655 -x9657 -x9659 -x9661 -x9663 -x9665 -x9667 -x9669 -x9671 -x9673 -x9675 -x9677 -x9679 -x9681 -x9683 -x9685 -x9687 -x9689 -x9691 -x9693 -x9695 -x9697 -x9699 -x9701 -x9703 -x9705 -x9707 -x9709 -x9711 -x9713 -x9715 -x9717 -x9719 -x9721 -x9723 -x9725 -x9727 -x9729 -x9731 -x9733 -x9735 -x9737 -x9739 -x9741 -x9743 -x9745 -x9747 -x9749 -x9751 -x9753 -x9755 -x9757 -x9759 -x9761 -x9763 -x9765 -x9767 -x9769 -x9771 -x9773 -x9775 -x9777 -x9779 -x9781 -x9783 -x9785 -x9787 -x9789 -x9791 -x9793 -x9795 -x9797 -x9799 -x9801 -x9803 -x9805 -x9807 -x9809 -x9811 -x9813 -x9815 -x9817 -x9819 -x9821 -x9823 -x9825 -x9827 -x9829 -x9831 -x9833 -x9835 -x9837 -x9839 -x9841 -x9843 -x9845 -x9847 -x9849 -x9851 -x9853 -x9855 -x9857 -x9859 -x9861 -x9863 -x9865 -x9867 -x9869 -x9871 -x9873 -x9875 -x9877 -x9879 -x9881 -x9883 -x9885 -x9887 -x9889 -x9891 -x9893 -x9895 -x9897 -x9899 -x9901 -x9903 -x9905 -x9907 -x9909 -x9911 -x9913 -x9915 -x9917 -x9919 -x9921 -x9923 -x9925 -x9927 -x9929 -x9931 -x9933 -x9935 -x9937 -x9939 -x9941 -x9943 -x9945 -x9947 -x9949 -x9951 -x9953 -x9955 -x9957 -x9959 -x9961 -x9963 -x9965 -x9967 -x9969 -x9971 -x9973 -x9975 -x9977 -x9979 -x9981 -x9983 -x9985 -x9987 -x9989 -x9991 -x9993 -x9995 -x9997 -x9999 -x10001 -x10003 -x10005 -x10007 -x10009 -x10011 -x10013 -x10015 -x10017 -x10019 -x10021 -x10023 -x10025 -x10027 -x10029 -x10031 -x10033 -x10035 -x10037 -x10039 -x10041 -x10043 -x10045 -x10047 -x10049 -x10051 -x10053 -x10055 -x10057 -x10059 -x10061 -x10063 -x10065 -x10067 -x10069 -x10071 -x10073 -x10075 -x10077 -x10079 -x10081 -x10083 -x10085 -x10087 -x10089 -x10091 -x10093 -x10095 -x10097 -x10099 -x10101 -x10103 -x10105 -x10107 -x10109 -x10111 -x10113 -x10115 -x10117 -x10119 -x10121 -x10123 -x10125 -x10127 -x10129 -x10131 -x10133 -x10135 -x10137 -x10139 -x10141 -x10143 -x10145 -x10147 -x10149 -x10151 -x10153 -x10155 -x10157 -x10159 -x10161 -x10163 -x10165 -x10167 -x10169 -x10171 -x10173 -x10175 -x10177 -x10179 -x10181 -x10183 -x10185 -x10187 -x10189 -x10191 -x10193 -x10195 -x10197 -x10199 -x10201 -x10203 -x10205 -x10207 -x10209 -x10211 -x10213 -x10215 -x10217 -x10219 -x10221 -x10223 -x10225 -x10227 -x10229 -x10231 -x10233 -x10235 -x10237 -x10239 -x10241 -x10243 -x10245 -x10247 -x10249 -x10251 -x10253 -x10255 -x10257 -x10259 -x10261 -x10263 -x10265 -x10267 -x10269 -x10271 -x10273 -x10275 -x10277 -x10279 -x10281 -x10283 -x10285 -x10287 -x10289 -x10291 -x10293 -x10295 -x10297 -x10299 -x10301 -x10303 -x10305 -x10307 -x10309 -x10311 -x10313 -x10315 -x10317 -x10319 -x10321 -x10323 -x10325 -x10327 -x10329 -x10331 -x10333 -x10335 -x10337 -x10339 -x10341 -x10343 -x10345 -x10347 -x10349 -x10351 -x10353 -x10355 -x10357 -x10359 -x10361 -x10363 -x10365 -x10367 -x10369 -x10371 -x10373 -x10375 -x10377 -x10379 -x10381 -x10383 -x10385 -x10387 -x10389 -x10391 -x10393 -x10395 -x10397 -x10399 -x10401 -x10403 -x10405 -x10407 -x10409 -x10411 -x10413 -x10415 -x10417 -x10419 -x10421 -x10423 -x10425 -x10427 -x10429 -x10431 -x10433 -x10435 -x10437 -x10439 -x10441 -x10443 -x10445 -x10447 -x10449 -x10451 -x10453 -x10455 -x10457 -x10459 -x10461 -x10463 -x10465 -x10467 -x10469 -x10471 -x10473 -x10475 -x10477 -x10479 -x10481 -x10483 -x10485 -x10487 -x10489 -x10491 -x10493 -x10495 -x10497 -x10499 -x10501 -x10503 -x10505 -x10507 -x10509 -x10511 -x10513 -x10515 -x10517 -x10519 -x10521 -x10523 x10525 -x10527 -x10529 -x10531 -x10533 -x10535 -x10537 -x10539 -x10541 -x10543 -x10545 -x10547 -x10549 -x10551 -x10553 -x10555 -x10557 -x10559 -x10561 -x10563 -x10565 -x10567 -x10569 -x10571 -x10573 -x10575 -x10577 -x10579 -x10581 -x10583 -x10585 -x10587 -x10589 -x10591 -x10593 -x10595 -x10597 -x10599 -x10601 -x10603 -x10605 -x10607 -x10609 -x10611 -x10613 -x10615 -x10617 -x10619 -x10621 -x10623 -x10625 -x10627 -x10629 -x10631 -x10633 -x10635 -x10637 -x10639 -x10641 -x10643 -x10645 -x10647 -x10649 -x10651 -x10653 -x10655 -x10657 -x10659 -x10661 -x10663 -x10665 -x10667 -x10669 -x10671 -x10673 -x10675 -x10677 -x10679 -x10681 -x10683 -x10685 -x10687 -x10689 -x10691 -x10693 -x10695 -x10697 -x10699 -x10701 -x10703 -x10705 -x10707 -x10709 -x10711 -x10713 -x10715 -x10717 -x10719 -x10721 -x10723 -x10725 -x10727 -x10729 -x10731 -x10733 -x10735 -x10737 -x10739 -x10741 -x10743 -x10745 -x10747 -x10749 -x10751 x10753 -x10755 -x10757 -x10759 -x10761 -x10763 -x10765 -x10767 -x10769 -x10771 -x10773 -x10775 -x10777 -x10779 -x10781 -x10783 -x10785 -x10787 -x10789 -x10791 -x10793 -x10795 -x10797 -x10799 -x10801 -x10803 -x10805 -x10807 -x10809 -x10811 -x10813 -x10815 -x10817 -x10819 -x10821 -x10823 -x10825 -x10827 -x10829 -x10831 -x10833 -x10835 -x10837 -x10839 -x10841 -x10843 -x10845 -x10847 -x10849 -x10851 -x10853 -x10855 -x10857 -x10859 -x10861 -x10863 -x10865 -x10867 -x10869 -x10871 -x10873 -x10875 -x10877 -x10879 -x10881 -x10883 -x10885 x10887 -x10889 -x10891 -x10893 -x10895 -x10897 -x10899 -x10901 -x10903 -x10905 -x10907 -x10909 -x10911 -x10913 -x10915 -x10917 -x10919 -x10921 -x10923 -x10925 -x10927 -x10929 -x10931 -x10933 -x10935 -x10937 -x10939 -x10941 -x10943 -x10945 -x10947 -x10949 -x10951 -x10953 -x10955 -x10957 -x10959 -x10961 -x10963 -x10965 -x10967 -x10969 -x10971 -x10973 -x10975 -x10977 -x10979 -x10981 -x10983 -x10985 -x10987 -x10989 -x10991 -x10993 -x10995 -x10997 -x10999 -x11001 -x11003 -x11005 -x11007 -x11009 -x11011 -x11013 -x11015 -x11017 -x11019 -x11021 x11023 -x11025 -x11027 -x11029 -x11031 -x11033 -x11035 -x11037 -x11039 -x11041 -x11043 -x11045 -x11047 -x11049 -x11051 -x11053 -x11055 -x11057 -x11059 -x11061 -x11063 -x11065 -x11067 -x11069 -x11071 -x11073 -x11075 -x11077 -x11079 -x11081 -x11083 -x11085 -x11087 -x11089 -x11091 -x11093 -x11095 -x11097 -x11099 -x11101 -x11103 -x11105 -x11107 -x11109 -x11111 -x11113 -x11115 -x11117 -x11119 -x11121 -x11123 x11125 -x11127 -x11129 -x11131 -x11133 -x11135 -x11137 -x11139 -x11141 -x11143 -x11145 -x11147 -x11149 -x11151 -x11153 -x11155 -x11157 -x11159 -x11161 -x11163 -x11165 -x11167 -x11169 -x11171 -x11173 -x11175 -x11177 -x11179 -x11181 -x11183 -x11185 -x11187 -x11189 -x11191 -x11193 -x11195 -x11197 -x11199 -x11201 -x11203 -x11205 -x11207 -x11209 -x11211 -x11213 -x11215 -x11217 -x11219 -x11221 -x11223 -x11225 -x11227 -x11229 x11231 -x11233 -x11235 -x11237 -x11239 -x11241 -x11243 -x11245 -x11247 -x11249 -x11251 -x11253 -x11255 -x11257 -x11259 -x11261 -x11263 -x11265 -x11267 x11269 -x11271 -x11273 -x11275 -x11277 -x11279 -x11281 -x11283 -x11285 x11287 -x11289 -x11291 -x11293 -x11295 x11297 -x11299 -x11301 -x11303 x11305 -x11307 -x11309 -x11311 x11313 x11315 -x11317 x11319 -x11321 -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 -x1 -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 -x675 -x2 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x3 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x4 -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 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x5 -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 -x6 -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 -x7 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x8 -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 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x9 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x10 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x11 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x12 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x13 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x14 -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 -x15 -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 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x16 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x17 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x18 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x19 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x20 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x21 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x22 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x23 -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 -x24 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x25 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x26 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x27 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x28 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x29 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x30 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x31 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x32 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x33 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x34 -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 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -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 -x35 -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 -x36 -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 -x37 -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 -x38 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x39 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x40 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x41 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x42 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x43 -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 -x44 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x45 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x46 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x47 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x48 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x49 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x50 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x51 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x52 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x53 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x54 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x55 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x56 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x57 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x58 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x59 -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 -x60 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x61 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x62 -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 -x63 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x64 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x65 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x66 -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 -x67 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x68 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x69 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x70 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x71 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x72 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x73 -x4689 -x4691 -x4693 -x74 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x75 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x76 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x77 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x78 -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 -x79 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x80 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x81 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x82 -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 -x83 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x84 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x85 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x86 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x87 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x88 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x89 -x5302 -x5304 -x5306 -x90 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x91 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x92 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x93 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x94 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x95 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x96 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x97 -x5502 -x5504 -x5506 -x98 -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 -x99 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x100 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x101 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x102 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x103 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x104 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x105 -x5702 -x5704 -x5706 -x106 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x107 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x108 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x109 -x5766 -x5768 -x5770 -x110 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x111 -x5786 -x5788 -x5790 -x112 -x5792 -x5794 -x5796 -x113 -x5798 -x114 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x115 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 x6040 -x6042 -x6044 -x6046 -x6048 -x116 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x117 -x6112 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x118 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x119 -x6204 -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 -x6274 -x6276 -x6278 -x6280 -x6282 x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 x6316 -x6318 -x6320 -x6322 -x120 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x121 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x122 -x6368 -x6370 -x6372 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x123 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x124 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x125 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x126 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x127 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x128 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x129 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844 -x130 -x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x131 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x132 -x6938 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x133 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x134 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x135 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x136 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x137 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x138 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x139 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x140 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x141 -x7192 -x7194 -x7196 -x7198 -x7200 -x7202 -x7204 -x142 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x143 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x144 -x7304 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396 -x7398 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x145 -x7430 -x7432 -x7434 -x7436 -x7438 -x7440 -x7442 -x7444 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 -x7476 -x7478 -x7481 -x7483 -x7485 -x7487 -x146 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x147 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x148 -x7581 -x7583 -x7585 -x7587 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 -x7641 -x149 -x7643 -x7645 -x7647 -x7649 -x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x150 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x151 -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x152 -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 -x153 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7795 -x7797 -x7799 -x7801 -x7803 -x7805 -x7807 -x154 -x7809 -x7811 -x7813 -x7815 -x7817 -x7819 -x7821 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x155 -x7835 -x7837 -x7839 -x7841 -x7843 -x7845 -x7847 -x7849 -x7851 -x7853 -x7855 -x7857 -x7859 -x7861 -x7863 -x156 -x7865 -x7867 -x7869 -x7871 -x7873 -x7875 -x7877 -x157 -x7879 -x7881 -x7883 -x7885 -x7887 -x7889 -x7891 -x7893 -x7895 -x7897 -x7899 -x7901 -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 -x7921 -x7923 -x7925 -x7927 -x7929 -x7931 -x7933 -x7935 -x7937 -x7939 -x158 -x7941 -x7943 -x7945 -x7947 -x7949 -x7951 -x7953 -x7955 -x7957 -x7959 -x7961 -x7963 -x7965 -x7967 -x7969 -x159 -x7971 -x7973 -x7975 -x7977 -x7979 -x7981 -x7983 -x7985 -x7987 -x7989 -x7991 -x7993 -x7995 -x7997 -x7999 -x160 -x8001 -x8003 -x8005 -x8007 -x8009 -x8011 -x8013 -x161 -x8015 -x8017 -x8019 -x8021 -x8023 -x8025 -x8027 -x8029 -x8031 -x8033 -x8035 -x8037 -x8039 -x8041 -x8043 -x162 -x8045 -x8047 -x8049 -x8051 -x8053 -x8055 -x8057 -x163 -x8059 -x8061 -x8063 -x8065 -x8067 -x8069 -x8071 -x164 -x8073 -x8075 -x8077 -x165 -x8079 -x8081 -x8083 -x8085 -x8087 -x8089 -x8091 -x8093 -x8095 -x8097 -x8099 -x8101 -x8103 -x8105 -x8107 -x166 -x8109 -x8111 -x8113 -x8115 -x8117 -x8119 -x8121 -x8123 -x8125 -x8127 -x8129 -x8131 -x8133 -x8135 -x8137 -x8139 -x8141 -x8143 -x8145 -x8147 -x8149 -x8151 -x8153 -x8155 -x8157 -x8159 -x8161 -x8163 -x8165 -x8167 -x8169 -x167 -x8171 -x8173 -x8175 -x8177 -x8179 -x8181 -x8183 -x8185 -x8187 -x8189 -x8191 -x8193 -x8195 -x8197 -x8199 -x168 -x8201 -x8203 -x8205 -x8207 -x8209 -x8211 -x8213 -x8215 -x8217 -x8219 -x8221 -x8223 -x8225 -x8227 -x8229 -x8231 -x8233 x8235 -x8237 -x8239 -x8241 -x8243 -x169 -x8245 -x8247 -x8249 -x8251 -x8253 -x8255 -x8257 -x8259 -x8261 -x8263 -x8265 -x8267 -x8269 -x8271 -x8273 -x8275 -x8277 -x8279 -x8281 -x8283 -x8285 -x8287 -x8289 -x8291 -x8293 -x8295 -x8297 -x8299 -x8301 -x8303 -x8305 -x170 -x8307 -x8309 -x8311 -x8313 -x8315 -x8317 -x8319 -x8321 -x8323 -x8325 -x8327 -x8329 -x8331 -x8333 -x8335 -x171 -x8337 -x8339 -x8341 -x8343 -x8345 -x8347 -x8349 -x8351 -x8353 -x8355 -x8357 -x8359 -x8361 -x8363 -x8365 -x172 -x8367 -x8369 -x8371 -x8373 -x8375 -x8377 -x8379 -x173 -x8381 -x8383 -x8385 -x8387 -x8389 -x8391 -x8393 -x8395 -x8397 -x8399 -x8401 -x8403 -x8405 -x8407 -x8409 -x174 -x8411 -x8413 -x8415 -x8417 -x8419 -x8421 -x8423 -x175 -x8425 -x8427 -x8429 -x8431 -x8433 -x8435 -x8437 -x176 -x8439 -x8441 -x8443 -x177 -x8445 -x8447 -x8449 -x8451 -x8453 -x8455 -x8457 -x8459 -x8461 -x8463 -x8465 -x8467 -x8469 -x8471 -x8473 -x178 -x8475 -x8477 -x8479 -x8481 -x8483 -x8485 -x8487 -x8489 -x8491 -x8493 -x8495 -x8497 -x8499 -x8501 -x8503 -x179 -x8505 -x8507 -x8509 -x8511 -x8513 -x8515 -x8517 -x180 -x8519 -x8521 -x8523 -x8525 -x8527 -x8529 -x8531 -x8533 -x8535 -x8537 -x8539 -x8541 -x8543 -x8545 -x8547 x181 -x8549 -x8551 -x8553 -x8555 -x8557 x8559 -x8561 -x182 -x8563 -x8565 -x8567 -x8569 -x8571 -x8573 -x8575 -x183 -x8577 -x8579 -x8581 -x8583 -x8585 -x8587 x8589 -x8591 -x8593 -x8595 -x8597 -x8599 -x8601 -x8603 -x8605 -x8607 -x8609 -x184 -x8611 -x8613 -x8615 -x8617 -x8619 -x8621 -x8623 -x185 -x8625 -x8627 -x8629 -x8631 -x8633 -x8635 -x8637 -x186 -x8639 -x8641 -x8643 -x187 -x8645 -x8647 -x8649 -x8651 -x8653 -x8655 -x8657 -x188 -x8659 -x8661 -x8663 -x189 -x8665 -x8667 -x8669 -x190 -x8671 -x191 -x8673 -x8675 -x8677 -x8679 -x8681 -x8683 -x8685 -x8687 -x8689 -x8691 -x8693 -x8695 -x8697 -x8699 -x8701 -x8703 -x8705 -x8707 -x8709 -x8711 -x8713 -x8715 -x8717 -x8719 -x8721 -x8723 -x8725 -x8727 -x8729 -x8731 -x8733 -x8735 -x8737 -x8739 -x8741 -x8743 -x8745 -x8747 -x8749 -x8751 -x8753 -x8755 x8757 -x8759 -x8761 -x8763 -x192 -x8765 -x8767 -x8769 -x8771 -x8773 -x8775 -x8777 -x8779 -x8781 -x8783 -x8785 -x8787 -x8789 -x8791 -x8793 -x193 -x8795 -x8797 -x8799 -x8801 -x8803 -x8805 -x8807 -x8809 -x8811 -x8813 -x8815 -x8817 -x8819 -x8821 -x8823 -x194 -x8825 -x8827 -x8829 -x8831 -x8833 -x8835 -x8837 -x195 -x8839 -x8841 -x8843 -x8845 -x8847 -x8849 -x8851 -x8853 -x8855 -x8857 -x8859 -x8861 -x8863 -x8865 -x8867 -x8869 -x8871 -x8873 -x8875 -x8877 -x8879 -x8881 -x8883 -x8885 -x8887 -x8889 -x8891 -x8893 -x8895 -x8897 -x8899 -x8901 -x8903 -x8905 -x8907 -x8909 -x8911 -x8913 -x8915 -x8917 -x8919 -x8921 -x8923 -x8925 -x8927 -x8929 -x8931 -x8933 -x8935 -x8937 -x8939 -x8941 -x8943 -x8945 -x8947 -x8949 -x8951 -x8953 -x8955 -x8957 -x8959 -x8961 -x8963 -x196 -x8965 -x8967 -x8969 -x8971 -x8973 -x8975 -x8977 -x8979 -x8981 -x8983 -x8985 -x8987 -x8989 -x8991 -x8993 -x8995 -x8997 -x8999 -x9001 -x9003 -x9005 -x9007 -x9009 -x9011 -x9013 -x9015 -x9017 -x9019 -x9021 -x9023 -x9025 -x197 -x9027 -x9029 -x9031 -x9033 -x9035 -x9037 -x9039 -x9041 -x9043 -x9045 -x9047 -x9049 -x9051 -x9053 -x9055 -x9057 -x9059 -x9061 -x9063 -x9065 -x9067 -x9069 -x9071 -x9073 -x9075 -x9078 -x9080 -x9082 -x9084 -x198 -x9086 -x9088 -x9090 -x9092 -x9094 -x9096 -x9098 -x9100 -x9102 -x9104 -x9106 -x9108 -x9110 -x9112 -x9114 -x199 -x9116 -x9118 -x9120 -x9122 -x9124 -x9126 -x9128 -x9130 -x9132 -x9134 -x9136 -x9138 -x9140 -x9142 -x9144 -x9146 -x9148 -x9150 -x9152 -x9154 -x9156 -x9158 -x9160 -x9162 -x9164 -x9166 -x9168 -x9170 -x9172 -x9174 -x9176 -x200 -x9178 -x9180 -x9182 -x9184 -x9186 -x9188 -x9190 -x9192 -x9194 -x9196 -x9198 -x9200 -x9202 -x9204 -x9206 -x201 -x9208 -x9210 -x9212 -x9214 -x9216 -x9218 -x9220 -x9222 -x9224 -x9226 -x9228 -x9230 -x9232 -x9234 -x9236 -x202 -x9238 -x9240 -x9242 -x9244 -x9246 -x9248 -x9250 -x203 -x9252 -x9254 -x9256 -x9258 -x9260 -x9262 -x9264 -x9266 -x9268 -x9270 -x9272 -x9274 -x9276 -x9278 -x9280 -x9282 -x9284 -x9286 -x9288 -x9290 -x9292 -x9294 -x9296 -x9298 -x9300 -x9302 -x9304 -x9306 -x9308 -x9310 -x9312 -x204 -x9314 -x9316 -x9318 -x9320 -x9322 -x9324 -x9326 -x9328 -x9330 -x9332 -x9334 -x9336 -x9338 -x9340 -x9342 -x205 -x9344 -x9346 -x9348 -x9350 -x9352 -x9354 -x9356 -x9358 -x9360 -x9362 -x9364 -x9366 -x9368 -x9370 -x9372 -x206 -x9374 -x9376 -x9378 -x9380 -x9382 -x9384 -x9386 -x207 -x9388 -x9390 -x9392 -x9394 -x9396 -x9398 -x9400 -x9402 -x9404 -x9406 -x9408 -x9410 -x9412 -x9414 -x9416 -x208 -x9418 -x9420 -x9422 -x9424 -x9426 -x9428 -x9430 -x209 -x9432 -x9434 -x9436 -x9438 -x9440 -x9442 -x9444 -x210 -x9446 -x9448 -x9450 -x9452 -x9454 -x9456 -x9458 -x9460 -x9462 -x9464 -x9466 -x9468 -x9470 -x9472 -x9474 -x9476 -x9478 -x9480 -x9482 -x9484 -x9486 -x9488 -x9490 -x9492 -x9494 -x9496 -x9498 -x9500 -x9502 -x9504 -x9506 -x9508 -x9510 -x9512 -x9514 -x9516 -x9518 -x9520 -x9522 -x9524 -x9526 -x9528 -x9530 -x9532 -x9534 -x9536 -x9538 -x9540 -x9542 -x9544 -x9546 -x9548 -x9550 x9552 -x9554 -x9556 -x9558 -x9560 -x9562 -x9564 -x9566 -x9568 -x9570 -x9572 -x9574 -x9576 -x211 -x9578 -x9580 -x9582 -x9584 -x9586 -x9588 -x9590 -x9592 -x9594 -x9596 -x9598 -x9600 -x9602 -x9604 -x9606 -x9608 -x9610 -x9612 -x9614 -x9616 -x9618 -x9620 -x9622 -x9624 -x9626 -x9628 -x9630 -x9632 -x9634 -x9636 -x212 -x9638 -x9640 -x9642 -x9644 -x9646 -x9648 -x9650 -x9652 -x9654 -x9656 -x9658 -x9660 -x9662 -x9664 -x9666 -x9668 -x9670 -x9672 -x9674 -x9676 -x9678 -x9680 -x9682 -x9684 -x9686 -x9688 -x9690 -x9692 -x9694 -x9696 -x9698 -x213 -x9700 -x9702 -x9704 -x9706 -x9708 -x9710 -x9712 -x9714 -x9716 -x9718 -x9720 -x9722 -x9724 -x9726 -x9728 -x214 -x9730 -x9732 -x9734 -x9736 -x9738 -x9740 -x9742 -x9744 -x9746 -x9748 -x9750 -x9752 -x9754 -x9756 -x9758 -x9760 -x9762 -x9764 -x9766 -x9768 -x9770 -x9772 -x9774 -x9776 -x9778 -x9780 -x9782 -x9784 -x9786 -x9788 -x9790 -x215 -x9792 -x9794 -x9796 -x9798 -x9800 -x9802 -x9804 -x9806 -x9808 -x9810 -x9812 -x9814 -x9816 -x9818 -x9820 -x216 -x9822 -x9824 -x9826 -x9828 -x9830 -x9832 -x9834 -x9836 -x9838 -x9840 -x9842 -x9844 -x9846 -x9848 -x9850 -x217 -x9852 -x9854 -x9856 -x9858 -x9860 -x9862 -x9864 -x218 -x9866 -x9868 -x9870 -x9872 -x9874 -x9876 -x9878 -x9880 -x9882 -x9884 -x9886 -x9888 -x9890 -x9892 -x9894 -x9896 -x9898 -x9900 -x9902 -x9904 -x9906 -x9908 -x9910 -x9912 -x9914 -x9916 -x9918 -x9920 -x9922 -x9924 -x9926 -x219 -x9928 -x9930 -x9932 -x9934 -x9936 -x9938 -x9940 -x9942 -x9944 -x9946 -x9948 -x9950 -x9952 -x9954 -x9956 -x220 -x9958 -x9960 -x9962 -x9964 -x9966 -x9968 -x9970 -x9972 -x9974 -x9976 -x9978 -x9980 -x9982 -x9984 -x9986 -x221 -x9988 -x9990 -x9992 -x9994 -x9996 -x9998 -x10000 -x222 -x10002 -x10004 -x10006 -x10008 -x10010 -x10012 -x10014 -x10016 -x10018 -x10020 -x10022 -x10024 -x10026 -x10028 -x10030 -x223 -x10032 -x10034 -x10036 -x10038 -x10040 -x10042 -x10044 -x224 -x10046 -x10048 -x10050 -x10052 -x10054 -x10056 -x10058 -x225 -x10060 -x10062 -x10064 -x226 -x10066 -x10068 -x10070 -x10072 -x10074 -x10076 -x10078 -x10080 -x10082 -x10084 -x10086 -x10088 -x10090 -x10092 -x10094 -x10096 -x10098 -x10100 -x10102 -x10104 -x10106 -x10108 -x10110 -x10112 -x10114 -x10116 -x10118 -x10120 -x10122 -x10124 -x10126 -x227 -x10128 -x10130 -x10132 -x10134 -x10136 -x10138 -x10140 -x10142 -x10144 -x10146 -x10148 -x10150 -x10152 -x10154 -x10156 -x228 -x10158 -x10160 -x10162 -x10164 -x10166 -x10168 -x10170 -x10172 -x10174 -x10176 -x10178 -x10180 -x10182 -x10184 -x10186 -x229 -x10188 -x10190 -x10192 -x10194 -x10196 -x10198 -x10200 -x230 -x10202 -x10204 -x10206 -x10208 -x10210 -x10212 -x10214 -x10216 -x10218 -x10220 -x10222 -x10224 -x10226 -x10228 -x10230 -x231 -x10232 -x10234 -x10236 -x10238 -x10240 -x10242 -x10244 -x232 -x10246 -x10248 -x10250 -x10252 -x10254 -x10256 -x10258 -x233 -x10260 -x10262 -x10264 -x234 -x10266 -x10268 -x10270 -x10272 -x10274 -x10276 -x10278 -x10280 -x10282 -x10284 -x10286 -x10288 -x10290 -x10292 -x10294 -x235 -x10296 -x10298 -x10300 -x10302 -x10304 -x10306 -x10308 -x236 -x10310 -x10312 -x10314 -x10316 -x10318 -x10320 -x10322 -x237 -x10324 -x10326 -x10328 -x238 -x10330 -x10332 -x10334 -x10336 -x10338 -x10340 -x10342 -x239 -x10344 -x10346 -x10348 -x240 -x10350 -x10352 -x10354 -x241 -x10356 -x242 -x10358 -x10360 -x10362 -x10364 -x10366 -x10368 -x10370 -x10372 -x10374 -x10376 -x10378 -x10380 -x10382 -x10384 -x10386 -x243 -x10388 -x10390 -x10392 -x10394 -x10396 -x10398 -x10400 -x10402 -x10404 -x10406 -x10408 -x10410 -x10412 -x10414 -x10416 -x244 -x10418 -x10420 -x10422 -x10424 -x10426 -x10428 -x10430 -x245 -x10432 -x10434 -x10436 -x10438 -x10440 -x10442 -x10444 -x10446 -x10448 -x10450 -x10452 -x10454 -x10456 -x10458 -x10460 -x10462 -x10464 -x10466 -x10468 -x10470 -x10472 -x10474 -x10476 -x10478 -x10480 -x10482 -x10484 -x10486 -x10488 -x10490 -x10492 -x246 -x10494 -x10496 -x10498 -x10500 -x10502 -x10504 -x10506 -x10508 -x10510 -x10512 -x10514 -x10516 -x10518 -x10520 -x10522 x10524 -x10526 -x10528 -x10530 -x10532 -x10534 -x10536 -x10538 -x10540 -x10542 -x10544 -x10546 -x10548 -x10550 -x10552 -x247 -x10554 -x10556 -x10558 -x10560 -x10562 -x10564 -x10566 -x248 -x10568 -x10570 -x10572 -x10574 -x10576 -x10578 -x10580 -x10582 -x10584 -x10586 -x10588 -x10590 -x10592 -x10594 -x10596 -x249 -x10598 -x10600 -x10602 -x10604 -x10606 -x10608 -x10610 -x250 -x10612 -x10614 -x10616 -x10618 -x10620 -x10622 -x10624 -x251 -x10626 -x10628 -x10630 -x252 -x10632 -x10634 -x10636 -x10638 -x10640 -x10642 -x10644 -x10646 -x10648 -x10650 -x10652 -x10654 -x10656 -x10658 -x10660 -x10662 -x10664 -x10666 -x10668 -x10670 -x10672 -x10674 -x10676 -x10678 -x10680 -x10682 -x10684 -x10686 -x10688 -x10690 -x10692 -x253 -x10694 -x10696 -x10698 -x10700 -x10702 -x10704 -x10706 -x10708 -x10710 -x10712 -x10714 -x10716 -x10718 -x10720 -x254 -x10722 -x10724 -x10726 -x10728 -x10730 -x10732 -x10734 -x10736 -x10738 -x10740 -x10742 -x10744 -x10746 -x10748 -x10750 x255 x10752 -x10754 -x10756 -x10758 -x10760 -x10762 -x10764 -x256 -x10766 -x10768 -x10770 -x10772 -x10774 -x10776 -x10778 -x10780 -x10782 -x10784 -x10786 -x10788 -x10790 -x10792 -x10794 -x257 -x10796 -x10798 -x10800 -x10802 -x10804 -x10806 -x258 -x10808 -x10810 -x10812 -x10814 -x10816 -x10818 -x10820 -x259 -x10822 -x10824 -x10826 -x260 -x10828 -x10830 -x10832 -x10834 -x10836 -x10838 -x10840 -x10842 -x10844 -x10846 -x10848 -x10850 -x10852 -x10854 -x10856 -x261 -x10858 -x10860 -x10862 -x10864 -x10866 -x10868 -x10870 -x262 -x10872 -x10874 -x10876 -x10878 -x10880 -x10882 -x10884 x10886 -x10888 -x263 -x10890 -x10892 -x10894 -x10896 -x10898 -x10900 -x10902 -x264 -x10904 -x10906 -x10908 -x265 -x10910 -x10912 -x10914 -x266 -x10916 -x267 -x10918 -x10920 -x10922 -x10924 -x10926 -x10928 -x10930 -x10932 -x10934 -x10936 -x10938 -x10940 -x10942 -x10944 -x10946 -x10948 -x10950 -x10952 -x10954 -x10956 -x10958 -x10960 -x10962 -x10964 -x10966 -x10968 -x10970 -x10972 -x268 -x10974 -x10976 -x10978 -x10980 -x10982 -x10984 -x10986 -x10988 -x10990 -x10992 -x10994 -x10996 -x10998 -x11000 -x11002 -x11004 -x11006 -x11008 -x11010 -x11012 -x11014 -x11016 -x11018 -x11020 x11022 -x11024 -x11026 -x11028 -x11030 -x11032 -x269 -x11034 -x11036 -x11038 -x11040 -x11042 -x11044 -x11046 -x270 -x11048 -x11050 -x11052 -x11054 -x11056 -x11058 -x11060 -x11062 -x11064 -x11066 -x11068 -x11070 -x11072 -x11074 -x11076 -x271 -x11078 -x11080 -x11082 -x11084 -x11086 -x11088 -x11090 -x272 -x11092 -x11094 -x11096 -x11098 -x11100 -x11102 -x11104 -x273 -x11106 -x11108 -x11110 -x11112 -x11114 -x11116 -x11118 -x11120 -x11122 x11124 -x11126 -x11128 -x11130 -x11132 -x11134 -x11136 -x11138 -x11140 -x274 -x11142 -x11144 -x11146 -x11148 -x11150 -x11152 -x11154 -x275 -x11156 -x11158 -x11160 -x11162 -x11164 -x11166 -x11168 -x276 -x11170 -x11172 -x11174 -x277 -x11176 -x11178 -x11180 -x11182 -x11184 -x11186 -x11188 -x278 -x11190 -x11192 -x11194 -x279 -x11196 -x11198 -x11200 -x280 -x11202 -x281 -x11204 -x11206 -x11208 -x11210 -x11212 -x11214 -x11216 -x11218 -x11220 -x11222 -x11224 -x11226 -x11228 x282 x11230 -x11232 -x11234 -x11236 -x11238 -x11240 -x11242 -x283 -x11244 -x11246 -x11248 -x11250 -x11252 -x11254 -x11256 -x284 -x11258 -x11260 -x11262 -x11264 -x11266 x11268 -x11270 -x11272 -x11274 -x11276 -x285 -x11278 -x11280 -x286 -x11282 -x11284 x11286 x287 -x11288 -x11290 -x11292 -x11294 x11296 -x11298 -x11300 x288 -x11302 x11304 -x11306 -x289 -x11308 -x11310 x11312 x290 x11314 x291 -x11316 x11318 x292 -x11320 -x293 x294 1182.28/1182.32 c Total CPU time: 1176.66 s
OK 28
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460663-1307107667/watcher-3460663-1307107667 -o /tmp/evaluation-result-3460663-1307107667/solver-3460663-1307107667 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460663-1307107667.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.90 2.01 1.99 3/511 19041 /proc/meminfo: memFree=21838516/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=5380 CPUtime=0 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 863 0 0 0 0 0 0 0 25 0 1 0 803182329 5509120 816 33554432000 4194304 5714214 140737453800784 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 1345 816 192 372 0 704 0 [startup+0.021977 s] /proc/loadavg: 1.90 2.01 1.99 3/511 19041 /proc/meminfo: memFree=21838516/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=6376 CPUtime=0.01 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 1108 0 0 0 1 0 0 0 25 0 1 0 803182329 6529024 1061 33554432000 4194304 5714214 140737453800784 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 1594 1061 221 372 0 953 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6376 [startup+0.100953 s] /proc/loadavg: 1.90 2.01 1.99 3/511 19041 /proc/meminfo: memFree=21838516/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=16284 CPUtime=0.09 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 4027 0 0 0 9 0 0 0 25 0 1 0 803182329 16674816 3681 33554432000 4194304 5714214 140737453800784 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 4071 3685 173 372 0 3696 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16284 [startup+0.300914 s] /proc/loadavg: 1.90 2.01 1.99 3/511 19041 /proc/meminfo: memFree=21838516/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=18260 CPUtime=0.29 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 6322 0 0 0 29 0 0 0 25 0 1 0 803182329 18698240 4233 33554432000 4194304 5714214 140737453800784 18446744073709551615 5013529 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 4565 4233 175 372 0 4190 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18260 [startup+0.700839 s] /proc/loadavg: 1.90 2.01 1.99 3/511 19041 /proc/meminfo: memFree=21838516/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=19420 CPUtime=0.69 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 7346 0 0 0 68 1 0 0 25 0 1 0 803182329 19886080 4562 33554432000 4194304 5714214 140737453800784 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 4855 4562 180 372 0 4480 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19420 [startup+1.5007 s] /proc/loadavg: 1.90 2.01 1.99 3/515 19048 /proc/meminfo: memFree=21785556/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=19420 CPUtime=1.48 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 7346 0 0 0 147 1 0 0 25 0 1 0 803182329 19886080 4562 33554432000 4194304 5714214 140737453800784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 4855 4562 180 372 0 4480 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19420 [startup+3.10038 s] /proc/loadavg: 1.90 2.01 1.99 3/515 19048 /proc/meminfo: memFree=21778488/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=22280 CPUtime=3.08 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 8061 0 0 0 306 2 0 0 25 0 1 0 803182329 22814720 5277 33554432000 4194304 5714214 140737453800784 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 5570 5277 180 372 0 5195 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 22280 [startup+6.30078 s] /proc/loadavg: 1.90 2.01 1.99 3/515 19048 /proc/meminfo: memFree=21763844/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=31884 CPUtime=6.29 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 10458 0 0 0 624 5 0 0 25 0 1 0 803182329 32649216 7674 33554432000 4194304 5714214 140737453800784 18446744073709551615 4311896 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 7971 7674 180 372 0 7596 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31884 [startup+12.7006 s] /proc/loadavg: 1.91 2.01 1.99 3/515 19049 /proc/meminfo: memFree=21743632/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=49036 CPUtime=12.69 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 14638 0 0 0 1260 9 0 0 20 0 1 0 803182329 50212864 11854 33554432000 4194304 5714214 140737453800784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 12259 11854 180 372 0 11884 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49036 [startup+25.5012 s] /proc/loadavg: 1.93 2.00 1.99 3/515 19049 /proc/meminfo: memFree=21733664/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=58016 CPUtime=25.48 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 16892 0 0 0 2533 15 0 0 25 0 1 0 803182329 59408384 14108 33554432000 4194304 5714214 140737453800784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19041/statm: 14504 14108 180 372 0 14129 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58016 [startup+51.1003 s] /proc/loadavg: 1.95 2.00 1.99 3/515 19050 /proc/meminfo: memFree=21684444/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=88968 CPUtime=51.03 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 24552 0 0 0 5074 29 0 0 25 0 1 0 803182329 91103232 21768 33554432000 4194304 5714214 140737453800784 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 22242 21768 180 372 0 21867 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 88968 [startup+102.32 s] /proc/loadavg: 2.07 2.03 2.00 3/515 19078 /proc/meminfo: memFree=21654332/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=130036 CPUtime=102.25 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 34761 0 0 0 10175 50 0 0 25 0 1 0 803182329 133156864 31977 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 32509 31977 180 372 0 32134 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 130036 [startup+162.3 s] /proc/loadavg: 2.06 2.03 2.00 3/515 19080 /proc/meminfo: memFree=21577264/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=154972 CPUtime=162.23 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 40867 0 0 0 16143 80 0 0 25 0 1 0 803182329 158691328 38083 33554432000 4194304 5714214 140737453800784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 38743 38083 180 372 0 38368 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 154972 [startup+222.301 s] /proc/loadavg: 2.02 2.03 2.00 3/515 19081 /proc/meminfo: memFree=21530464/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=177828 CPUtime=222.24 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 46478 0 0 0 22119 105 0 0 25 0 1 0 803182329 182095872 43694 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 44457 43694 180 372 0 44082 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 177828 [startup+282.301 s] /proc/loadavg: 2.01 2.02 2.00 3/515 19083 /proc/meminfo: memFree=21456276/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=207780 CPUtime=282.24 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 53978 0 0 0 28094 130 0 0 25 0 1 0 803182329 212766720 51194 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 51945 51194 180 372 0 51570 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 207780 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 19084 /proc/meminfo: memFree=21412460/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=218956 CPUtime=342.24 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 56680 0 0 0 34061 163 0 0 25 0 1 0 803182329 224210944 53896 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 54739 53896 180 372 0 54364 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 218956 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/515 19086 /proc/meminfo: memFree=21370764/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=249028 CPUtime=402.24 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 64179 0 0 0 40027 197 0 0 25 0 1 0 803182329 255004672 61395 33554432000 4194304 5714214 140737453800784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 62257 61395 180 372 0 61882 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 249028 [startup+462.301 s] /proc/loadavg: 2.08 2.03 2.01 3/515 19088 /proc/meminfo: memFree=21302896/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=268324 CPUtime=462.24 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 68901 0 0 0 46000 224 0 0 25 0 1 0 803182329 274763776 66117 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319852 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 67081 66117 180 372 0 66706 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 268324 [startup+522.3 s] /proc/loadavg: 2.07 2.04 2.01 3/515 19089 /proc/meminfo: memFree=21247284/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=308008 CPUtime=522.24 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 78774 0 0 0 51964 260 0 0 25 0 1 0 803182329 315400192 75990 33554432000 4194304 5714214 140737453800784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 77002 75990 180 372 0 76627 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 308008 [startup+582.301 s] /proc/loadavg: 2.02 2.03 2.00 3/515 19091 /proc/meminfo: memFree=21213736/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=582.25 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83294 0 0 0 57928 297 0 0 25 0 1 0 803182329 332525568 80218 33554432000 4194304 5714214 140737453800784 18446744073709551615 4322928 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80218 180 372 0 80808 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 324732 [startup+642.301 s] /proc/loadavg: 2.07 2.04 2.00 3/515 19092 /proc/meminfo: memFree=21192484/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=642.27 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83311 0 0 0 63897 330 0 0 25 0 1 0 803182329 332525568 80235 33554432000 4194304 5714214 140737453800784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80235 180 372 0 80808 0 Current children cumulated CPU time (s) 642.27 Current children cumulated vsize (KiB) 324732 [startup+702.3 s] /proc/loadavg: 2.02 2.03 2.00 3/515 19094 /proc/meminfo: memFree=21159556/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=702.26 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83323 0 0 0 69871 355 0 0 25 0 1 0 803182329 332525568 80247 33554432000 4194304 5714214 140737453800784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80247 180 372 0 80808 0 Current children cumulated CPU time (s) 702.26 Current children cumulated vsize (KiB) 324732 [startup+762.32 s] /proc/loadavg: 2.01 2.02 2.00 3/515 19096 /proc/meminfo: memFree=21131464/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=762.28 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83327 0 0 0 75841 387 0 0 25 0 1 0 803182329 332525568 80251 33554432000 4194304 5714214 140737453800784 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80251 180 372 0 80808 0 Current children cumulated CPU time (s) 762.28 Current children cumulated vsize (KiB) 324732 [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.00 3/515 19097 /proc/meminfo: memFree=21128152/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=822.26 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83354 0 0 0 81817 409 0 0 25 0 1 0 803182329 332525568 80278 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80278 180 372 0 80808 0 Current children cumulated CPU time (s) 822.26 Current children cumulated vsize (KiB) 324732 [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 19099 /proc/meminfo: memFree=21127740/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=882.27 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83366 0 0 0 87796 431 0 0 25 0 1 0 803182329 332525568 80290 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319218 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80290 180 372 0 80808 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 324732 [startup+942.301 s] /proc/loadavg: 2.12 2.04 2.01 3/515 19100 /proc/meminfo: memFree=21128312/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=942.27 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83383 0 0 0 93771 456 0 0 25 0 1 0 803182329 332525568 80307 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80307 180 372 0 80808 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 324732 [startup+1002.3 s] /proc/loadavg: 2.10 2.04 2.01 3/515 19102 /proc/meminfo: memFree=21128528/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=1002.27 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83450 0 0 0 99746 481 0 0 25 0 1 0 803182329 332525568 80374 33554432000 4194304 5714214 140737453800784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80374 180 372 0 80808 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 324732 [startup+1062.3 s] /proc/loadavg: 2.04 2.03 2.00 3/515 19104 /proc/meminfo: memFree=21128088/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=1062.27 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83475 0 0 0 105718 509 0 0 25 0 1 0 803182329 332525568 80399 33554432000 4194304 5714214 140737453800784 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80399 180 372 0 80808 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 324732 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/515 19105 /proc/meminfo: memFree=21127672/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=1122.27 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83532 0 0 0 111689 538 0 0 25 0 1 0 803182329 332525568 80456 33554432000 4194304 5714214 140737453800784 18446744073709551615 4319215 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80456 180 372 0 80808 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 324732 [startup+1182.3 s] /proc/loadavg: 2.07 2.05 2.01 3/515 19107 /proc/meminfo: memFree=21124764/32951124 swapFree=62999000/67111528 [pid=19041] ppid=19039 vsize=324732 CPUtime=1182.28 cores=1,3,5,7 /proc/19041/stat : 19041 (wbo1.6) R 19039 19041 17882 0 -1 4202496 83837 0 0 0 117664 564 0 0 25 0 1 0 803182329 332525568 80761 33554432000 4194304 5714214 140737453800784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19041/statm: 81183 80761 180 372 0 80808 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 324732 Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1182.34 CPU time (s): 1182.32 CPU user time (s): 1176.66 CPU system time (s): 5.65614 CPU usage (%): 99.9982 Max. virtual memory (cumulated for all children) (KiB): 326460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1176.66 system time used= 5.65614 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83840 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= 8 involuntary context switches= 2742 runsolver used 5.80612 second user time and 14.0679 second system time The end
Begin job on node141 at 2011-06-03 15:27:47 IDJOB=3460663 IDBENCH=24973 IDSOLVER=1953 FILE ID=node141/3460663-1307107667 RUNJOBID= node141-1307093248-17901 PBS_JOBID= 13497991 Free space on /tmp= 73884 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460663-1307107667/watcher-3460663-1307107667 -o /tmp/evaluation-result-3460663-1307107667/solver-3460663-1307107667 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460663-1307107667.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4 RANDOM SEED=648267746 node141.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21838796 kB Buffers: 246712 kB Cached: 610864 kB SwapCached: 8848 kB Active: 10296916 kB Inactive: 550652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21838796 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 7416 kB Writeback: 0 kB AnonPages: 9987692 kB Mapped: 25176 kB Slab: 124464 kB PageTables: 69876 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150657656 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73880 MiB End job on node141 at 2011-06-03 15:47:30