| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 346 | 3600.13 | 3609.62 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
| MD5SUM | 890f6157e6331f3256b55d88c2fb39bb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 241 |
| Best CPU time to get the best result obtained on this benchmark | 3558.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| 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 | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494314 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494314 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 1.59/1.68 c #variables 10000 #constraints 656900 3.58/3.65 c bounds 494315 >= 0 @ 1.19467 3.58/3.65 c rational objective 165.75 21.04/21.13 c bounds 7543 >= 0 @ 6.89042 21.04/21.13 c bounds 7381 >= 0 @ 6.89586 21.04/21.13 c bounds 7037 >= 0 @ 6.90272 21.04/21.13 c bounds 6989 >= 0 @ 7.00388 21.04/21.13 c bounds 6954 >= 0 @ 7.0104 21.04/21.13 c bounds 6813 >= 0 @ 7.01597 21.04/21.13 c bounds 6809 >= 0 @ 7.02053 21.04/21.13 c bounds 6757 >= 0 @ 7.02636 21.04/21.13 c bounds 6743 >= 0 @ 7.03311 21.04/21.13 c bounds 6660 >= 0 @ 7.03912 21.04/21.13 c bounds 6625 >= 0 @ 7.04372 21.04/21.13 c bounds 6499 >= 0 @ 7.0483 21.04/21.13 c bounds 6271 >= 0 @ 7.05504 21.04/21.13 c bounds 6261 >= 0 @ 7.06065 21.04/21.13 c bounds 6190 >= 0 @ 7.0666 21.04/21.13 c bounds 5980 >= 0 @ 7.07356 21.04/21.13 c bounds 5775 >= 0 @ 7.07874 21.04/21.13 c bounds 5765 >= 0 @ 7.25391 21.04/21.13 c bounds 5700 >= 0 @ 7.26352 21.04/21.13 c bounds 5688 >= 0 @ 7.27926 21.04/21.13 c bounds 5641 >= 0 @ 7.29427 21.04/21.13 c bounds 5628 >= 0 @ 7.31237 21.04/21.13 c bounds 5545 >= 0 @ 7.32032 21.04/21.13 c bounds 5461 >= 0 @ 7.32784 21.04/21.13 c bounds 5444 >= 0 @ 7.34369 21.04/21.13 c bounds 5279 >= 0 @ 7.35319 21.04/21.13 c bounds 5248 >= 0 @ 7.35916 21.04/21.13 c bounds 5231 >= 0 @ 7.46847 21.04/21.13 c bounds 4946 >= 0 @ 7.47352 21.04/21.13 c bounds 4936 >= 0 @ 7.55753 21.04/21.13 c bounds 4930 >= 0 @ 7.56388 21.04/21.13 c bounds 4855 >= 0 @ 7.56912 21.04/21.13 c bounds 4768 >= 0 @ 7.65784 21.04/21.13 c bounds 4755 >= 0 @ 7.66193 21.04/21.13 c bounds 4735 >= 0 @ 7.67069 21.04/21.13 c bounds 4674 >= 0 @ 7.67803 21.04/21.13 c bounds 4534 >= 0 @ 7.68458 21.04/21.13 c bounds 4503 >= 0 @ 7.68931 21.04/21.13 c bounds 4425 >= 0 @ 7.69123 21.04/21.13 c bounds 4314 >= 0 @ 7.69618 21.04/21.13 c bounds 4261 >= 0 @ 7.83443 21.04/21.13 c bounds 4208 >= 0 @ 7.84058 21.04/21.13 c bounds 4181 >= 0 @ 7.85161 21.04/21.13 c bounds 4149 >= 0 @ 7.85994 21.04/21.13 c bounds 4127 >= 0 @ 7.97015 21.04/21.13 c bounds 4033 >= 0 @ 7.97652 21.04/21.13 c bounds 4032 >= 0 @ 7.98762 21.04/21.13 c bounds 4024 >= 0 @ 8.00067 21.04/21.13 c bounds 4014 >= 0 @ 8.00612 21.04/21.13 c bounds 3855 >= 0 @ 8.01199 21.04/21.13 c bounds 3850 >= 0 @ 8.01775 21.04/21.13 c bounds 3705 >= 0 @ 8.0224 21.04/21.13 c bounds 3698 >= 0 @ 8.11311 21.04/21.13 c bounds 3637 >= 0 @ 8.11895 21.04/21.13 c bounds 3599 >= 0 @ 8.12321 21.04/21.13 c bounds 3549 >= 0 @ 8.12704 21.04/21.13 c bounds 3472 >= 0 @ 8.12995 21.04/21.13 c bounds 3338 >= 0 @ 8.13518 21.04/21.13 c bounds 3331 >= 0 @ 8.14031 21.04/21.13 c bounds 3313 >= 0 @ 8.22867 21.04/21.13 c bounds 3222 >= 0 @ 8.23527 21.04/21.13 c bounds 3160 >= 0 @ 8.24061 21.04/21.13 c bounds 3155 >= 0 @ 8.31502 21.04/21.13 c bounds 3100 >= 0 @ 8.32129 21.04/21.13 c bounds 3072 >= 0 @ 8.3256 21.04/21.13 c bounds 3062 >= 0 @ 8.33159 21.04/21.13 c bounds 2941 >= 0 @ 8.33769 21.04/21.13 c bounds 2926 >= 0 @ 8.4332 21.04/21.13 c bounds 2921 >= 0 @ 8.52396 21.04/21.13 c bounds 2796 >= 0 @ 8.52965 21.04/21.13 c bounds 2745 >= 0 @ 8.53559 21.04/21.13 c bounds 2742 >= 0 @ 8.53916 21.04/21.13 c bounds 2677 >= 0 @ 8.54267 21.04/21.13 c bounds 2662 >= 0 @ 8.54884 21.04/21.13 c bounds 2582 >= 0 @ 8.55474 21.04/21.13 c bounds 2555 >= 0 @ 8.57241 21.04/21.13 c bounds 2544 >= 0 @ 8.57887 21.04/21.13 c bounds 2522 >= 0 @ 8.58322 21.04/21.13 c bounds 2498 >= 0 @ 8.58821 21.04/21.13 c bounds 2419 >= 0 @ 8.59555 21.04/21.13 c bounds 2391 >= 0 @ 8.601 21.04/21.13 c bounds 2362 >= 0 @ 8.60548 21.04/21.13 c bounds 2353 >= 0 @ 8.72839 21.04/21.13 c bounds 2334 >= 0 @ 8.73666 21.04/21.13 c bounds 2304 >= 0 @ 8.74663 21.04/21.13 c bounds 2198 >= 0 @ 8.84245 21.04/21.13 c bounds 2084 >= 0 @ 8.84985 21.04/21.13 c bounds 1928 >= 0 @ 8.85743 21.04/21.13 c bounds 1925 >= 0 @ 8.86666 21.04/21.13 c bounds 1893 >= 0 @ 8.87588 21.04/21.13 c bounds 1805 >= 0 @ 8.88774 21.04/21.13 c bounds 1793 >= 0 @ 8.90369 21.04/21.13 c bounds 1786 >= 0 @ 8.91284 21.04/21.13 c bounds 1783 >= 0 @ 9.10032 21.04/21.13 c bounds 1782 >= 0 @ 9.10623 21.04/21.13 c bounds 1764 >= 0 @ 9.12011 21.04/21.13 c bounds 1739 >= 0 @ 9.12981 21.04/21.13 c bounds 1723 >= 0 @ 9.14113 21.04/21.13 c bounds 1718 >= 0 @ 9.14725 21.04/21.13 c bounds 1706 >= 0 @ 9.17828 21.04/21.13 c bounds 1676 >= 0 @ 9.18639 21.04/21.13 c bounds 1656 >= 0 @ 9.28094 21.04/21.13 c bounds 1654 >= 0 @ 9.29113 21.04/21.13 c bounds 1636 >= 0 @ 9.57566 21.04/21.13 c bounds 1621 >= 0 @ 9.66914 21.04/21.13 c bounds 1556 >= 0 @ 9.67751 21.04/21.13 c bounds 1378 >= 0 @ 9.68347 21.04/21.13 c bounds 1277 >= 0 @ 9.69323 21.04/21.13 c bounds 1269 >= 0 @ 9.70234 21.04/21.13 c bounds 1201 >= 0 @ 9.83672 21.04/21.13 c bounds 1079 >= 0 @ 9.84755 21.04/21.13 c bounds 1070 >= 0 @ 9.8743 21.04/21.13 c #Conflicts: 1000 | #Constraints: 658023 21.04/21.13 c bounds 994 >= 0 @ 9.91147 21.04/21.13 c bounds 980 >= 0 @ 9.91765 21.04/21.13 c bounds 968 >= 0 @ 9.92828 21.04/21.13 c bounds 967 >= 0 @ 9.93838 21.04/21.13 c bounds 964 >= 0 @ 9.94474 21.04/21.13 c bounds 955 >= 0 @ 9.95474 21.04/21.13 c bounds 917 >= 0 @ 9.97096 21.04/21.13 c bounds 909 >= 0 @ 9.98111 21.04/21.13 c bounds 901 >= 0 @ 9.98807 21.04/21.13 c bounds 770 >= 0 @ 9.99462 21.04/21.13 c bounds 760 >= 0 @ 10.0007 21.04/21.13 c bounds 757 >= 0 @ 11.1588 21.04/21.13 c bounds 756 >= 0 @ 11.1665 21.04/21.13 c bounds 752 >= 0 @ 11.2577 21.04/21.13 c bounds 742 >= 0 @ 11.2715 21.04/21.13 c #Conflicts: 2000 | #Constraints: 659038 21.04/21.13 c INPROCESSING 21.04/21.13 c GARBAGE COLLECT 21.04/21.13 c bounds 718 >= 0 @ 13.3559 21.04/21.13 c bounds 715 >= 0 @ 13.932 21.04/21.13 c #Conflicts: 3000 | #Constraints: 658917 21.04/21.13 c bounds 610 >= 0 @ 15.5201 21.04/21.13 c bounds 547 >= 0 @ 15.7334 21.04/21.13 c #Conflicts: 4000 | #Constraints: 659919 21.04/21.13 c INPROCESSING 21.04/21.13 c GARBAGE COLLECT 21.04/21.13 c bounds 542 >= 0 @ 19.6662 21.04/21.13 c bounds 539 >= 0 @ 19.6746 28.81/28.90 c bounds 538 >= 0 @ 19.9512 28.81/28.90 c #Conflicts: 5000 | #Constraints: 659323 28.81/28.90 c #Conflicts: 6000 | #Constraints: 660323 28.81/28.90 c INPROCESSING 28.81/28.90 c GARBAGE COLLECT 28.81/28.90 c rational objective 166.75 52.54/52.70 c bounds 533 >= 0 @ 30.6542 52.54/52.70 c #Conflicts: 7000 | #Constraints: 659328 52.54/52.70 c bounds 531 >= 0 @ 32.4895 52.54/52.70 c #Conflicts: 8000 | #Constraints: 660333 52.54/52.70 c #Conflicts: 9000 | #Constraints: 661333 52.54/52.70 c INPROCESSING 52.54/52.70 c GARBAGE COLLECT 52.54/52.70 c #Conflicts: 10000 | #Constraints: 660030 52.54/52.70 c #Conflicts: 11000 | #Constraints: 661030 52.54/52.70 c #Conflicts: 12000 | #Constraints: 662030 52.54/52.70 c INPROCESSING 52.54/52.70 c GARBAGE COLLECT 52.54/52.70 c rational objective 169.125 69.21/69.47 c #Conflicts: 13000 | #Constraints: 660482 69.21/69.47 c #Conflicts: 14000 | #Constraints: 661482 69.21/69.47 c #Conflicts: 15000 | #Constraints: 662482 69.21/69.47 c INPROCESSING 69.21/69.47 c GARBAGE COLLECT 69.21/69.47 c rational objective 169.679 94.34/94.63 c #Conflicts: 16000 | #Constraints: 660723 94.34/94.63 c #Conflicts: 17000 | #Constraints: 661723 94.34/94.63 c #Conflicts: 18000 | #Constraints: 662723 94.34/94.63 c INPROCESSING 94.34/94.63 c GARBAGE COLLECT 94.34/94.63 c bounds 528 >= 0 @ 79.1622 94.34/94.63 c bounds 519 >= 0 @ 80.1344 94.34/94.63 c #Conflicts: 19000 | #Constraints: 660742 94.34/94.63 c #Conflicts: 20000 | #Constraints: 661742 94.34/94.63 c #Conflicts: 21000 | #Constraints: 662742 94.34/94.63 c INPROCESSING 94.34/94.63 c GARBAGE COLLECT 94.34/94.63 c rational objective 171.641 130.34/130.71 c bounds 518 >= 0 @ 96.8996 130.34/130.71 c bounds 517 >= 0 @ 96.9153 130.34/130.71 c #Conflicts: 22000 | #Constraints: 660565 130.34/130.71 c #Conflicts: 23000 | #Constraints: 661587 130.34/130.71 c bounds 515 >= 0 @ 107.8 130.34/130.71 c bounds 515 >= 5 @ 108.717 130.34/130.71 c #Conflicts: 24000 | #Constraints: 662595 130.34/130.71 c #Conflicts: 25000 | #Constraints: 663595 130.34/130.71 c INPROCESSING 130.34/130.71 c GARBAGE COLLECT 130.34/130.71 c rational objective 173.415 173.03/173.57 c #Conflicts: 26000 | #Constraints: 661180 173.03/173.57 c #Conflicts: 27000 | #Constraints: 662180 173.03/173.57 c #Conflicts: 28000 | #Constraints: 663180 173.03/173.57 c #Conflicts: 29000 | #Constraints: 664180 173.03/173.57 c INPROCESSING 173.03/173.57 c GARBAGE COLLECT 173.03/173.57 c rational objective 173.819 216.92/217.60 c bounds 513 >= 5 @ 172.742 216.92/217.60 c #Conflicts: 30000 | #Constraints: 661602 216.92/217.60 c bounds 512 >= 5 @ 185.816 216.92/217.60 c bounds 509 >= 5 @ 185.991 216.92/217.60 c bounds 507 >= 5 @ 186.182 216.92/217.60 c bounds 500 >= 5 @ 190.119 216.92/217.60 c #Conflicts: 31000 | #Constraints: 662625 216.92/217.60 c bounds 499 >= 5 @ 200.177 216.92/217.60 c bounds 499 >= 9 @ 200.206 216.92/217.60 c #Conflicts: 32000 | #Constraints: 663649 216.92/217.60 c bounds 432 >= 9 @ 204.366 216.92/217.60 c #Conflicts: 33000 | #Constraints: 664650 216.92/217.60 c INPROCESSING 216.92/217.60 c GARBAGE COLLECT 216.92/217.60 c rational objective 174.149 248.14/248.83 c #Conflicts: 34000 | #Constraints: 661790 248.14/248.83 c #Conflicts: 35000 | #Constraints: 662790 248.14/248.83 c #Conflicts: 36000 | #Constraints: 663790 248.14/248.83 c #Conflicts: 37000 | #Constraints: 664790 248.14/248.83 c INPROCESSING 248.14/248.83 c GARBAGE COLLECT 248.14/248.83 c rational objective 174.155 277.66/278.43 c #Conflicts: 38000 | #Constraints: 661777 277.66/278.43 c #Conflicts: 39000 | #Constraints: 662777 277.66/278.43 c #Conflicts: 40000 | #Constraints: 663777 277.66/278.43 c #Conflicts: 41000 | #Constraints: 664777 277.66/278.43 c INPROCESSING 277.66/278.43 c GARBAGE COLLECT 277.66/278.43 c rational objective 174.215 311.97/312.87 c #Conflicts: 42000 | #Constraints: 661572 311.97/312.87 c #Conflicts: 43000 | #Constraints: 662572 311.97/312.87 c #Conflicts: 44000 | #Constraints: 663572 311.97/312.87 c #Conflicts: 45000 | #Constraints: 664572 311.97/312.87 c #Conflicts: 46000 | #Constraints: 665572 311.97/312.87 c INPROCESSING 311.97/312.87 c GARBAGE COLLECT 311.97/312.87 c rational objective 174.238 438.64/439.89 c bounds 430 >= 9 @ 311.284 438.64/439.89 c bounds 428 >= 9 @ 311.321 438.64/439.89 c bounds 426 >= 9 @ 311.358 438.64/439.89 c bounds 423 >= 9 @ 311.391 438.64/439.89 c bounds 422 >= 9 @ 311.412 438.64/439.89 c bounds 421 >= 9 @ 311.439 438.64/439.89 c bounds 419 >= 9 @ 312.254 438.64/439.89 c #Conflicts: 47000 | #Constraints: 662185 438.64/439.89 c #Conflicts: 48000 | #Constraints: 663205 438.64/439.89 c #Conflicts: 49000 | #Constraints: 664221 438.64/439.89 c #Conflicts: 50000 | #Constraints: 665230 438.64/439.89 c #Conflicts: 51000 | #Constraints: 666247 438.64/439.89 c INPROCESSING 438.64/439.89 c GARBAGE COLLECT 438.64/439.89 c bounds 419 >= 11 @ 368.926 438.64/439.89 c bounds 419 >= 13 @ 368.934 438.64/439.89 c bounds 419 >= 15 @ 368.947 438.64/439.89 c bounds 419 >= 17 @ 368.956 438.64/439.89 c bounds 419 >= 19 @ 368.969 438.64/439.89 c bounds 419 >= 21 @ 368.987 438.64/439.89 c bounds 419 >= 23 @ 369.002 438.64/439.89 c bounds 419 >= 25 @ 369.017 438.64/439.89 c bounds 419 >= 27 @ 369.037 438.64/439.89 c bounds 419 >= 29 @ 369.084 438.64/439.89 c bounds 419 >= 31 @ 370.631 438.64/439.89 c #Conflicts: 52000 | #Constraints: 662663 438.64/439.89 c bounds 419 >= 33 @ 375.686 438.64/439.89 c #Conflicts: 53000 | #Constraints: 663678 438.64/439.89 c #Conflicts: 54000 | #Constraints: 664678 438.64/439.89 c #Conflicts: 55000 | #Constraints: 665678 438.64/439.89 c #Conflicts: 56000 | #Constraints: 666678 438.64/439.89 c INPROCESSING 438.64/439.89 c GARBAGE COLLECT 438.64/439.89 c rational objective 174.302 523.42/524.86 c #Conflicts: 57000 | #Constraints: 662869 523.42/524.86 c #Conflicts: 58000 | #Constraints: 663869 523.42/524.86 c #Conflicts: 59000 | #Constraints: 664869 523.42/524.86 c #Conflicts: 60000 | #Constraints: 665869 523.42/524.86 c #Conflicts: 61000 | #Constraints: 666869 523.42/524.86 c INPROCESSING 523.42/524.86 c GARBAGE COLLECT 523.42/524.86 c rational objective 174.669 581.87/583.48 c bounds 417 >= 33 @ 521.855 581.87/583.48 c #Conflicts: 62000 | #Constraints: 662873 581.87/583.48 c #Conflicts: 63000 | #Constraints: 663881 581.87/583.48 c bounds 416 >= 33 @ 535.335 581.87/583.48 c bounds 413 >= 33 @ 541.408 581.87/583.48 c bounds 409 >= 33 @ 542.089 581.87/583.48 c #Conflicts: 64000 | #Constraints: 664902 581.87/583.48 c bounds 408 >= 33 @ 544.366 581.87/583.48 c bounds 406 >= 33 @ 544.888 581.87/583.48 c bounds 405 >= 33 @ 547.121 581.87/583.48 c bounds 404 >= 33 @ 548.521 581.87/583.48 c bounds 403 >= 33 @ 549.837 581.87/583.48 c bounds 401 >= 33 @ 551.935 581.87/583.48 c #Conflicts: 65000 | #Constraints: 665928 581.87/583.48 c bounds 397 >= 33 @ 556.576 581.87/583.48 c bounds 397 >= 34 @ 556.6 581.87/583.48 c bounds 397 >= 35 @ 556.633 581.87/583.48 c bounds 397 >= 36 @ 556.657 581.87/583.48 c bounds 397 >= 37 @ 556.688 581.87/583.48 c bounds 397 >= 38 @ 556.721 581.87/583.48 c bounds 397 >= 39 @ 556.755 581.87/583.48 c bounds 397 >= 40 @ 556.794 581.87/583.48 c bounds 397 >= 41 @ 556.828 581.87/583.48 c bounds 397 >= 42 @ 556.868 581.87/583.48 c bounds 397 >= 43 @ 556.905 581.87/583.48 c bounds 397 >= 44 @ 556.942 581.87/583.48 c bounds 397 >= 45 @ 556.977 581.87/583.48 c bounds 397 >= 46 @ 557.011 581.87/583.48 c bounds 397 >= 47 @ 557.061 581.87/583.48 c bounds 397 >= 48 @ 557.183 581.87/583.48 c bounds 397 >= 49 @ 557.222 581.87/583.48 c bounds 397 >= 50 @ 557.261 581.87/583.48 c bounds 397 >= 51 @ 557.405 581.87/583.48 c bounds 397 >= 52 @ 560.988 581.87/583.48 c bounds 397 >= 53 @ 561.199 581.87/583.48 c bounds 397 >= 54 @ 561.472 581.87/583.48 c bounds 397 >= 55 @ 561.803 581.87/583.48 c bounds 397 >= 56 @ 562.382 581.87/583.48 c bounds 397 >= 57 @ 562.972 581.87/583.48 c bounds 397 >= 58 @ 564.113 581.87/583.48 c bounds 397 >= 59 @ 564.864 581.87/583.48 c bounds 396 >= 59 @ 565.218 581.87/583.48 c bounds 396 >= 60 @ 565.971 581.87/583.48 c #Conflicts: 66000 | #Constraints: 667184 581.87/583.48 c bounds 394 >= 60 @ 567.515 581.87/583.48 c bounds 394 >= 61 @ 568.962 581.87/583.48 c INPROCESSING 581.87/583.48 c GARBAGE COLLECT 581.87/583.48 c rational objective 174.693 634.13/635.81 c bounds 394 >= 62 @ 579.803 634.13/635.81 c #Conflicts: 67000 | #Constraints: 662942 634.13/635.81 c bounds 394 >= 63 @ 581.629 634.13/635.81 c bounds 393 >= 63 @ 581.918 634.13/635.81 c bounds 392 >= 63 @ 581.951 634.13/635.81 c bounds 389 >= 63 @ 583.435 634.13/635.81 c bounds 379 >= 63 @ 583.718 634.13/635.81 c #Conflicts: 68000 | #Constraints: 663982 634.13/635.81 c bounds 379 >= 64 @ 590.213 634.13/635.81 c bounds 378 >= 64 @ 595.389 634.13/635.81 c #Conflicts: 69000 | #Constraints: 665010 634.13/635.81 c bounds 378 >= 65 @ 598.555 634.13/635.81 c #Conflicts: 70000 | #Constraints: 666043 634.13/635.81 c bounds 378 >= 66 @ 599.941 634.13/635.81 c bounds 377 >= 66 @ 599.992 634.13/635.81 c #Conflicts: 71000 | #Constraints: 667062 634.13/635.81 c #Conflicts: 72000 | #Constraints: 668063 634.13/635.81 c INPROCESSING 634.13/635.81 c GARBAGE COLLECT 634.13/635.81 c rational objective 174.898 807.06/809.21 c bounds 377 >= 67 @ 634.76 807.06/809.21 c #Conflicts: 73000 | #Constraints: 663659 807.06/809.21 c bounds 377 >= 68 @ 642.551 807.06/809.21 c #Conflicts: 74000 | #Constraints: 664689 807.06/809.21 c bounds 377 >= 69 @ 650.671 807.06/809.21 c #Conflicts: 75000 | #Constraints: 665716 807.06/809.21 c #Conflicts: 76000 | #Constraints: 666716 807.06/809.21 c #Conflicts: 77000 | #Constraints: 667716 807.06/809.21 c bounds 377 >= 70 @ 662.116 807.06/809.21 c bounds 376 >= 70 @ 665.552 807.06/809.21 c #Conflicts: 78000 | #Constraints: 668759 807.06/809.21 c INPROCESSING 807.06/809.21 c GARBAGE COLLECT 807.06/809.21 c bounds 375 >= 70 @ 728.189 807.06/809.21 c #Conflicts: 79000 | #Constraints: 664156 807.06/809.21 c #Conflicts: 80000 | #Constraints: 665156 807.06/809.21 c #Conflicts: 81000 | #Constraints: 666156 807.06/809.21 c #Conflicts: 82000 | #Constraints: 667156 807.06/809.21 c bounds 375 >= 71 @ 749.732 807.06/809.21 c bounds 374 >= 71 @ 749.781 807.06/809.21 c #Conflicts: 83000 | #Constraints: 668216 807.06/809.21 c bounds 373 >= 71 @ 761.496 807.06/809.21 c bounds 372 >= 71 @ 761.56 807.06/809.21 c #Conflicts: 84000 | #Constraints: 669227 807.06/809.21 c INPROCESSING 807.06/809.21 c GARBAGE COLLECT 807.06/809.21 c rational objective 174.898 969.32/971.94 c #Conflicts: 85000 | #Constraints: 664401 969.32/971.94 c #Conflicts: 86000 | #Constraints: 665411 969.32/971.94 c #Conflicts: 87000 | #Constraints: 666420 969.32/971.94 c #Conflicts: 88000 | #Constraints: 667426 969.32/971.94 c #Conflicts: 89000 | #Constraints: 668436 969.32/971.94 c #Conflicts: 90000 | #Constraints: 669444 969.32/971.94 c INPROCESSING 969.32/971.94 c GARBAGE COLLECT 969.32/971.94 c rational objective 174.898 1025.88/1028.61 c #Conflicts: 91000 | #Constraints: 664418 1025.88/1028.61 c #Conflicts: 92000 | #Constraints: 665418 1025.88/1028.61 c #Conflicts: 93000 | #Constraints: 666418 1025.88/1028.61 c bounds 372 >= 72 @ 983.5 1025.88/1028.61 c #Conflicts: 94000 | #Constraints: 667445 1025.88/1028.61 c #Conflicts: 95000 | #Constraints: 668446 1025.88/1028.61 c bounds 372 >= 73 @ 1004.95 1025.88/1028.61 c #Conflicts: 96000 | #Constraints: 669479 1025.88/1028.61 c INPROCESSING 1025.88/1028.61 c GARBAGE COLLECT 1025.88/1028.61 c rational objective 174.898 1078.55/1081.42 c #Conflicts: 97000 | #Constraints: 664271 1078.55/1081.42 c #Conflicts: 98000 | #Constraints: 665271 1078.55/1081.42 c #Conflicts: 99000 | #Constraints: 666271 1078.55/1081.42 c #Conflicts: 100000 | #Constraints: 667271 1078.55/1081.42 c #Conflicts: 101000 | #Constraints: 668271 1078.55/1081.42 c bounds 372 >= 74 @ 1049.62 1078.55/1081.42 c #Conflicts: 102000 | #Constraints: 669304 1078.55/1081.42 c #Conflicts: 103000 | #Constraints: 670304 1078.55/1081.42 c INPROCESSING 1078.55/1081.42 c GARBAGE COLLECT 1078.55/1081.42 c rational objective 174.898 1268.62/1272.05 c #Conflicts: 104000 | #Constraints: 664898 1268.62/1272.05 c #Conflicts: 105000 | #Constraints: 665899 1268.62/1272.05 c #Conflicts: 106000 | #Constraints: 666899 1268.62/1272.05 c #Conflicts: 107000 | #Constraints: 667899 1268.62/1272.05 c #Conflicts: 108000 | #Constraints: 668899 1268.62/1272.05 c #Conflicts: 109000 | #Constraints: 669899 1268.62/1272.05 c bounds 372 >= 75 @ 1127.25 1268.62/1272.05 c #Conflicts: 110000 | #Constraints: 670945 1268.62/1272.05 c INPROCESSING 1268.62/1272.05 c GARBAGE COLLECT 1268.62/1272.05 c rational objective 174.898 1337.74/1341.37 c #Conflicts: 111000 | #Constraints: 665335 1337.74/1341.37 c #Conflicts: 112000 | #Constraints: 666335 1337.74/1341.37 c #Conflicts: 113000 | #Constraints: 667336 1337.74/1341.37 c #Conflicts: 114000 | #Constraints: 668336 1337.74/1341.37 c #Conflicts: 115000 | #Constraints: 669336 1337.74/1341.37 c #Conflicts: 116000 | #Constraints: 670337 1337.74/1341.37 c #Conflicts: 117000 | #Constraints: 671337 1337.74/1341.37 c INPROCESSING 1337.74/1341.37 c GARBAGE COLLECT 1337.74/1341.37 c rational objective 174.898 1420.24/1424.01 c #Conflicts: 118000 | #Constraints: 665554 1420.24/1424.01 c #Conflicts: 119000 | #Constraints: 666555 1420.24/1424.01 c #Conflicts: 120000 | #Constraints: 667555 1420.24/1424.01 c #Conflicts: 121000 | #Constraints: 668555 1420.24/1424.01 c bounds 372 >= 76 @ 1376 1420.24/1424.01 c #Conflicts: 122000 | #Constraints: 669597 1420.24/1424.01 c #Conflicts: 123000 | #Constraints: 670597 1420.24/1424.01 c #Conflicts: 124000 | #Constraints: 671597 1420.24/1424.01 c INPROCESSING 1420.24/1424.01 c GARBAGE COLLECT 1420.24/1424.01 c rational objective 174.898 1501.32/1505.33 c #Conflicts: 125000 | #Constraints: 665600 1501.32/1505.33 c #Conflicts: 126000 | #Constraints: 666601 1501.32/1505.33 c #Conflicts: 127000 | #Constraints: 667601 1501.32/1505.33 c #Conflicts: 128000 | #Constraints: 668601 1501.32/1505.33 c #Conflicts: 129000 | #Constraints: 669601 1501.32/1505.33 c #Conflicts: 130000 | #Constraints: 670602 1501.32/1505.33 c #Conflicts: 131000 | #Constraints: 671602 1501.32/1505.33 c INPROCESSING 1501.32/1505.33 c GARBAGE COLLECT 1501.32/1505.33 c rational objective 174.898 1591.80/1596.06 c bounds 370 >= 76 @ 1493.12 1591.80/1596.06 c #Conflicts: 132000 | #Constraints: 665412 1591.80/1596.06 c bounds 369 >= 76 @ 1499.88 1591.80/1596.06 c #Conflicts: 133000 | #Constraints: 666419 1591.80/1596.06 c #Conflicts: 134000 | #Constraints: 667419 1591.80/1596.06 c #Conflicts: 135000 | #Constraints: 668419 1591.80/1596.06 c #Conflicts: 136000 | #Constraints: 669419 1591.80/1596.06 c #Conflicts: 137000 | #Constraints: 670419 1591.80/1596.06 c #Conflicts: 138000 | #Constraints: 671419 1591.80/1596.06 c bounds 369 >= 77 @ 1561.69 1591.80/1596.06 c #Conflicts: 139000 | #Constraints: 672469 1591.80/1596.06 c INPROCESSING 1591.80/1596.06 c GARBAGE COLLECT 1591.80/1596.06 c rational objective 174.898 1736.44/1741.02 c bounds 360 >= 77 @ 1582.81 1736.44/1741.02 c bounds 357 >= 77 @ 1583.92 1736.44/1741.02 c bounds 355 >= 77 @ 1585.13 1736.44/1741.02 c bounds 353 >= 77 @ 1585.58 1736.44/1741.02 c #Conflicts: 140000 | #Constraints: 666043 1736.44/1741.02 c #Conflicts: 141000 | #Constraints: 667066 1736.44/1741.02 c #Conflicts: 142000 | #Constraints: 668082 1736.44/1741.02 c #Conflicts: 143000 | #Constraints: 669097 1736.44/1741.02 c #Conflicts: 144000 | #Constraints: 670108 1736.44/1741.02 c #Conflicts: 145000 | #Constraints: 671120 1736.44/1741.02 c #Conflicts: 146000 | #Constraints: 672130 1736.44/1741.02 c bounds 352 >= 77 @ 1713.1 1736.44/1741.02 c #Conflicts: 147000 | #Constraints: 673140 1736.44/1741.02 c INPROCESSING 1736.44/1741.02 c GARBAGE COLLECT 1736.44/1741.02 c rational objective 174.898 1825.10/1829.90 c #Conflicts: 148000 | #Constraints: 666472 1825.10/1829.90 c #Conflicts: 149000 | #Constraints: 667472 1825.10/1829.90 c #Conflicts: 150000 | #Constraints: 668472 1825.10/1829.90 c #Conflicts: 151000 | #Constraints: 669472 1825.10/1829.90 c #Conflicts: 152000 | #Constraints: 670472 1825.10/1829.90 c #Conflicts: 153000 | #Constraints: 671472 1825.10/1829.90 c #Conflicts: 154000 | #Constraints: 672473 1825.10/1829.90 c #Conflicts: 155000 | #Constraints: 673473 1825.10/1829.90 c INPROCESSING 1825.10/1829.90 c GARBAGE COLLECT 1825.10/1829.90 c rational objective 174.898 1938.20/1943.33 c #Conflicts: 156000 | #Constraints: 666667 1938.20/1943.33 c #Conflicts: 157000 | #Constraints: 667667 1938.20/1943.33 c #Conflicts: 158000 | #Constraints: 668667 1938.20/1943.33 c #Conflicts: 159000 | #Constraints: 669667 1938.20/1943.33 c #Conflicts: 160000 | #Constraints: 670668 1938.20/1943.33 c #Conflicts: 161000 | #Constraints: 671668 1938.20/1943.33 c #Conflicts: 162000 | #Constraints: 672668 1938.20/1943.33 c #Conflicts: 163000 | #Constraints: 673668 1938.20/1943.33 c INPROCESSING 1938.20/1943.33 c GARBAGE COLLECT 1938.20/1943.33 c rational objective 174.898 2300.02/2306.13 c #Conflicts: 164000 | #Constraints: 666666 2300.02/2306.13 c #Conflicts: 165000 | #Constraints: 667667 2300.02/2306.13 c #Conflicts: 166000 | #Constraints: 668667 2300.02/2306.13 c #Conflicts: 167000 | #Constraints: 669667 2300.02/2306.13 c #Conflicts: 168000 | #Constraints: 670667 2300.02/2306.13 c #Conflicts: 169000 | #Constraints: 671667 2300.02/2306.13 c bounds 352 >= 78 @ 2007.46 2300.02/2306.13 c #Conflicts: 170000 | #Constraints: 672712 2300.02/2306.13 c #Conflicts: 171000 | #Constraints: 673712 2300.02/2306.13 c INPROCESSING 2300.02/2306.13 c GARBAGE COLLECT 2300.02/2306.13 c #Conflicts: 172000 | #Constraints: 666495 2300.02/2306.13 c bounds 351 >= 78 @ 2164.08 2300.02/2306.13 c #Conflicts: 173000 | #Constraints: 667497 2300.02/2306.13 c #Conflicts: 174000 | #Constraints: 668516 2300.02/2306.13 c #Conflicts: 175000 | #Constraints: 669527 2300.02/2306.13 c #Conflicts: 176000 | #Constraints: 670547 2300.02/2306.13 c bounds 348 >= 78 @ 2211.94 2300.02/2306.13 c #Conflicts: 177000 | #Constraints: 671551 2300.02/2306.13 c #Conflicts: 178000 | #Constraints: 672551 2300.02/2306.13 c #Conflicts: 179000 | #Constraints: 673551 2300.02/2306.13 c #Conflicts: 180000 | #Constraints: 674551 2300.02/2306.13 c INPROCESSING 2300.02/2306.13 c GARBAGE COLLECT 2300.02/2306.13 c rational objective 174.932 2423.50/2429.93 c #Conflicts: 181000 | #Constraints: 667118 2423.50/2429.93 c #Conflicts: 182000 | #Constraints: 668118 2423.50/2429.93 c #Conflicts: 183000 | #Constraints: 669118 2423.50/2429.93 c #Conflicts: 184000 | #Constraints: 670118 2423.50/2429.93 c #Conflicts: 185000 | #Constraints: 671119 2423.50/2429.93 c #Conflicts: 186000 | #Constraints: 672121 2423.50/2429.93 c #Conflicts: 187000 | #Constraints: 673121 2423.50/2429.93 c #Conflicts: 188000 | #Constraints: 674122 2423.50/2429.93 c #Conflicts: 189000 | #Constraints: 675122 2423.50/2429.93 c INPROCESSING 2423.50/2429.93 c GARBAGE COLLECT 2423.50/2429.93 c rational objective 174.932 3051.61/3059.70 c bounds 346 >= 78 @ 2409.91 3051.61/3059.70 c #Conflicts: 190000 | #Constraints: 667649 3051.61/3059.70 c #Conflicts: 191000 | #Constraints: 668831 3051.61/3059.70 c #Conflicts: 192000 | #Constraints: 670373 3051.61/3059.70 c #Conflicts: 193000 | #Constraints: 672058 3051.61/3059.70 c #Conflicts: 194000 | #Constraints: 673602 3051.61/3059.70 c #Conflicts: 195000 | #Constraints: 674920 3051.61/3059.70 c #Conflicts: 196000 | #Constraints: 676072 3051.61/3059.70 c #Conflicts: 197000 | #Constraints: 677354 3051.61/3059.70 c #Conflicts: 198000 | #Constraints: 678504 3051.61/3059.70 c INPROCESSING 3051.61/3059.70 c GARBAGE COLLECT 3051.61/3059.70 c #Conflicts: 199000 | #Constraints: 669199 3051.61/3059.70 c #Conflicts: 200000 | #Constraints: 670199 3051.61/3059.70 c #Conflicts: 201000 | #Constraints: 671199 3051.61/3059.70 c #Conflicts: 202000 | #Constraints: 672200 3051.61/3059.70 c #Conflicts: 203000 | #Constraints: 673201 3051.61/3059.70 c #Conflicts: 204000 | #Constraints: 674201 3051.61/3059.70 c #Conflicts: 205000 | #Constraints: 675201 3051.61/3059.70 c #Conflicts: 206000 | #Constraints: 676202 3051.61/3059.70 c #Conflicts: 207000 | #Constraints: 677203 3051.61/3059.70 c bounds 346 >= 79 @ 2879.79 3051.61/3059.70 c INPROCESSING 3051.61/3059.70 c GARBAGE COLLECT 3051.61/3059.70 c #Conflicts: 208000 | #Constraints: 668494 3051.61/3059.70 c #Conflicts: 209000 | #Constraints: 669494 3051.61/3059.70 c #Conflicts: 210000 | #Constraints: 670495 3051.61/3059.70 c #Conflicts: 211000 | #Constraints: 671495 3051.61/3059.70 c #Conflicts: 212000 | #Constraints: 672495 3051.61/3059.70 c #Conflicts: 213000 | #Constraints: 673495 3051.61/3059.70 c #Conflicts: 214000 | #Constraints: 674496 3051.61/3059.70 c #Conflicts: 215000 | #Constraints: 675497 3051.61/3059.70 c #Conflicts: 216000 | #Constraints: 676497 3051.61/3059.70 c INPROCESSING 3051.61/3059.70 c GARBAGE COLLECT 3051.61/3059.70 c rational objective 174.932 3196.24/3204.70 c #Conflicts: 217000 | #Constraints: 667921 3196.24/3204.70 c #Conflicts: 218000 | #Constraints: 668921 3196.24/3204.70 c #Conflicts: 219000 | #Constraints: 669921 3196.24/3204.70 c #Conflicts: 220000 | #Constraints: 670921 3196.24/3204.70 c #Conflicts: 221000 | #Constraints: 671921 3196.24/3204.70 c #Conflicts: 222000 | #Constraints: 672921 3196.24/3204.70 c #Conflicts: 223000 | #Constraints: 673922 3196.24/3204.70 c #Conflicts: 224000 | #Constraints: 674922 3196.24/3204.70 c #Conflicts: 225000 | #Constraints: 675923 3196.24/3204.70 c #Conflicts: 226000 | #Constraints: 676923 3196.24/3204.70 c INPROCESSING 3196.24/3204.70 c GARBAGE COLLECT 3196.24/3204.70 c rational objective 174.945 3420.05/3429.16 c #Conflicts: 227000 | #Constraints: 668336 3420.05/3429.16 c #Conflicts: 228000 | #Constraints: 669358 3420.05/3429.16 c #Conflicts: 229000 | #Constraints: 670370 3420.05/3429.16 c #Conflicts: 230000 | #Constraints: 671383 3420.05/3429.16 c #Conflicts: 231000 | #Constraints: 672396 3420.05/3429.16 c #Conflicts: 232000 | #Constraints: 673413 3420.05/3429.16 c #Conflicts: 233000 | #Constraints: 674426 3420.05/3429.16 c #Conflicts: 234000 | #Constraints: 675436 3420.05/3429.16 c #Conflicts: 235000 | #Constraints: 676442 3420.05/3429.16 c #Conflicts: 236000 | #Constraints: 677442 3420.05/3429.16 c INPROCESSING 3420.05/3429.16 c GARBAGE COLLECT 3420.05/3429.16 c rational objective 174.945 3559.99/3569.45 c #Conflicts: 237000 | #Constraints: 668698 3559.99/3569.45 c #Conflicts: 238000 | #Constraints: 669698 3559.99/3569.45 c #Conflicts: 239000 | #Constraints: 670698 3559.99/3569.45 c #Conflicts: 240000 | #Constraints: 671698 3559.99/3569.45 c #Conflicts: 241000 | #Constraints: 672698 3559.99/3569.45 c #Conflicts: 242000 | #Constraints: 673698 3559.99/3569.45 c #Conflicts: 243000 | #Constraints: 674698 3559.99/3569.45 c #Conflicts: 244000 | #Constraints: 675699 3559.99/3569.45 c #Conflicts: 245000 | #Constraints: 676699 3559.99/3569.45 c #Conflicts: 246000 | #Constraints: 677699 3559.99/3569.45 c INPROCESSING 3559.99/3569.45 c GARBAGE COLLECT 3559.99/3569.45 c rational objective 174.946 3600.09/3609.60 c 3600.09/3609.60 s SATISFIABLE 3600.09/3609.60 v ~x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 x1829 ~x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 ~x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 x3434 ~x3435 ~x3436 ~x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 ~x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 ~x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 ~x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 ~x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 ~x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 ~x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 ~x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 ~x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 ~x3809 ~x3810 ~x3811 ~x3812 ~x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 ~x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 ~x3883 ~x3884 ~x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 ~x3912 ~x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 ~x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 ~x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 ~x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 x3991 ~x3992 ~x3993 ~x3994 ~x3995 ~x3996 ~x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 x4010 ~x4011 ~x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 ~x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 ~x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 ~x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 ~x4093 ~x4094 ~x4095 ~x4096 ~x4097 ~x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 ~x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 ~x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 ~x4156 x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 ~x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 ~x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 ~x4229 ~x4230 ~x4231 ~x4232 ~x4233 ~x4234 x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 ~x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 ~x4261 ~x4262 ~x4263 ~x4264 ~x4265 ~x4266 ~x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 ~x4277 ~x4278 ~x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 ~x4301 x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 ~x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 ~x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 ~x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 ~x4410 ~x4411 ~x4412 ~x4413 ~x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 ~x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 ~x4429 ~x4430 ~x4431 ~x4432 ~x4433 ~x4434 ~x4435 ~x4436 ~x4437 ~x4438 ~x4439 ~x4440 ~x4441 ~x4442 ~x4443 ~x4444 ~x4445 ~x4446 ~x4447 ~x4448 ~x4449 ~x4450 ~x4451 ~x4452 ~x4453 ~x4454 ~x4455 ~x4456 ~x4457 ~x4458 ~x4459 ~x4460 ~x4461 ~x4462 ~x4463 ~x4464 ~x4465 ~x4466 ~x4467 ~x4468 ~x4469 ~x4470 ~x4471 ~x4472 ~x4473 ~x4474 ~x4475 ~x4476 ~x4477 ~x4478 ~x4479 ~x4480 ~x4481 ~x4482 ~x4483 ~x4484 ~x4485 ~x4486 ~x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 ~x4513 ~x4514 ~x4515 ~x4516 ~x4517 x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 ~x4543 ~x4544 ~x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 ~x4564 ~x4565 ~x4566 ~x4567 ~x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 ~x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 ~x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 ~x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 ~x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 ~x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 ~x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 ~x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 ~x4685 ~x4686 ~x4687 ~x4688 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 ~x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 ~x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 ~x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 ~x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 ~x4763 ~x4764 ~x4765 ~x4766 ~x4767 ~x4768 ~x4769 ~x4770 ~x4771 ~x4772 ~x4773 ~x4774 ~x4775 ~x4776 ~x4777 ~x4778 x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 ~x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 ~x4808 ~x4809 ~x4810 ~x4811 ~x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 ~x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 ~x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 ~x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 ~x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 ~x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 ~x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 ~x5095 ~x5096 ~x5097 ~x5098 ~x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 ~x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 ~x5140 ~x5141 ~x5142 ~x5143 ~x5144 ~x5145 x5146 ~x5147 ~x5148 ~x5149 ~x5150 ~x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 ~x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 ~x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 ~x5238 ~x5239 ~x5240 ~x5241 ~x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 x5255 ~x5256 ~x5257 ~x5258 ~x5259 ~x5260 ~x5261 ~x5262 ~x5263 ~x5264 ~x5265 ~x5266 ~x5267 ~x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 ~x5299 ~x5300 ~x5301 ~x5302 ~x5303 ~x5304 ~x5305 ~x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 ~x5312 ~x5313 ~x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 ~x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 ~x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 ~x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 ~x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 ~x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 ~x5569 ~x5570 ~x5571 ~x5572 ~x5573 ~x5574 ~x5575 ~x5576 ~x5577 ~x5578 ~x5579 ~x5580 ~x5581 ~x5582 ~x5583 ~x5584 ~x5585 ~x5586 ~x5587 ~x5588 ~x5589 ~x5590 ~x5591 ~x5592 ~x5593 ~x5594 ~x5595 ~x5596 ~x5597 ~x5598 x5599 ~x5600 ~x5601 ~x5602 ~x5603 ~x5604 ~x5605 ~x5606 ~x5607 ~x5608 ~x5609 ~x5610 ~x5611 ~x5612 ~x5613 ~x5614 ~x5615 ~x5616 ~x5617 ~x5618 ~x5619 ~x5620 ~x5621 ~x5622 ~x5623 ~x5624 ~x5625 ~x5626 ~x5627 ~x5628 ~x5629 ~x5630 ~x5631 ~x5632 x5633 ~x5634 ~x5635 ~x5636 ~x5637 ~x5638 ~x5639 ~x5640 ~x5641 ~x5642 ~x5643 ~x5644 ~x5645 ~x5646 ~x5647 ~x5648 ~x5649 ~x5650 ~x5651 ~x5652 ~x5653 ~x5654 ~x5655 ~x5656 ~x5657 ~x5658 ~x5659 ~x5660 ~x5661 ~x5662 ~x5663 ~x5664 ~x5665 ~x5666 ~x5667 ~x5668 ~x5669 ~x5670 ~x5671 ~x5672 ~x5673 ~x5674 ~x5675 ~x5676 ~x5677 ~x5678 ~x5679 ~x5680 ~x5681 ~x5682 ~x5683 ~x5684 ~x5685 ~x5686 ~x5687 ~x5688 ~x5689 ~x5690 ~x5691 ~x5692 ~x5693 ~x5694 ~x5695 ~x5696 ~x5697 ~x5698 ~x5699 ~x5700 ~x5701 ~x5702 ~x5703 ~x5704 ~x5705 ~x5706 ~x5707 ~x5708 ~x5709 ~x5710 ~x5711 ~x5712 ~x5713 ~x5714 ~x5715 ~x5716 ~x5717 ~x5718 ~x5719 ~x5720 ~x5721 ~x5722 ~x5723 ~x5724 ~x5725 ~x5726 ~x5727 ~x5728 ~x5729 ~x5730 ~x5731 ~x5732 ~x5733 ~x5734 ~x5735 ~x5736 ~x5737 ~x5738 ~x5739 ~x5740 ~x5741 ~x5742 ~x5743 ~x5744 ~x5745 ~x5746 ~x5747 ~x5748 ~x5749 ~x5750 ~x5751 ~x5752 ~x5753 ~x5754 ~x5755 ~x5756 ~x5757 ~x5758 ~x5759 ~x5760 ~x5761 ~x5762 ~x5763 ~x5764 ~x5765 ~x5766 ~x5767 ~x5768 ~x5769 ~x5770 ~x5771 ~x5772 ~x5773 ~x5774 ~x5775 ~x5776 ~x5777 ~x5778 ~x5779 ~x5780 ~x5781 ~x5782 ~x5783 ~x5784 ~x5785 ~x5786 ~x5787 ~x5788 ~x5789 ~x5790 ~x5791 ~x5792 ~x5793 ~x5794 ~x5795 x5796 ~x5797 ~x5798 ~x5799 ~x5800 ~x5801 ~x5802 ~x5803 ~x5804 ~x5805 ~x5806 ~x5807 ~x5808 ~x5809 ~x5810 ~x5811 ~x5812 ~x5813 ~x5814 ~x5815 ~x5816 ~x5817 ~x5818 ~x5819 ~x5820 ~x5821 ~x5822 ~x5823 ~x5824 ~x5825 ~x5826 ~x5827 ~x5828 ~x5829 ~x5830 ~x5831 ~x5832 ~x5833 ~x5834 ~x5835 ~x5836 ~x5837 ~x5838 ~x5839 ~x5840 ~x5841 ~x5842 ~x5843 ~x5844 ~x5845 ~x5846 ~x5847 ~x5848 ~x5849 ~x5850 ~x5851 ~x5852 ~x5853 ~x5854 ~x5855 ~x5856 ~x5857 ~x5858 ~x5859 ~x5860 ~x5861 ~x5862 ~x5863 ~x5864 ~x5865 ~x5866 ~x5867 ~x5868 ~x5869 ~x5870 ~x5871 ~x5872 ~x5873 ~x5874 ~x5875 ~x5876 ~x5877 ~x5878 ~x5879 ~x5880 ~x5881 ~x5882 ~x5883 ~x5884 ~x5885 ~x5886 ~x5887 ~x5888 ~x5889 ~x5890 ~x5891 ~x5892 ~x5893 ~x5894 ~x5895 ~x5896 ~x5897 ~x5898 x5899 ~x5900 ~x5901 ~x5902 ~x5903 ~x5904 ~x5905 ~x5906 ~x5907 ~x5908 ~x5909 ~x5910 ~x5911 ~x5912 ~x5913 ~x5914 ~x5915 ~x5916 ~x5917 ~x5918 ~x5919 ~x5920 ~x5921 ~x5922 ~x5923 ~x5924 ~x5925 ~x5926 ~x5927 ~x5928 ~x5929 ~x5930 ~x5931 ~x5932 ~x5933 ~x5934 ~x5935 ~x5936 ~x5937 ~x5938 ~x5939 ~x5940 ~x5941 ~x5942 ~x5943 ~x5944 ~x5945 ~x5946 x5947 ~x5948 ~x5949 ~x5950 ~x5951 ~x5952 ~x5953 ~x5954 ~x5955 ~x5956 ~x5957 ~x5958 ~x5959 ~x5960 ~x5961 ~x5962 ~x5963 ~x5964 ~x5965 ~x5966 ~x5967 ~x5968 ~x5969 ~x5970 ~x5971 ~x5972 ~x5973 ~x5974 ~x5975 ~x5976 ~x5977 ~x5978 ~x5979 ~x5980 ~x5981 ~x5982 ~x5983 ~x5984 ~x5985 ~x5986 ~x5987 ~x5988 ~x5989 ~x5990 ~x5991 ~x5992 ~x5993 ~x5994 ~x5995 ~x5996 ~x5997 ~x5998 ~x5999 ~x6000 ~x6001 ~x6002 ~x6003 ~x6004 ~x6005 ~x6006 ~x6007 ~x6008 ~x6009 ~x6010 ~x6011 ~x6012 ~x6013 ~x6014 ~x6015 ~x6016 ~x6017 ~x6018 ~x6019 ~x6020 ~x6021 ~x6022 x6023 ~x6024 ~x6025 ~x6026 ~x6027 ~x6028 ~x6029 ~x6030 ~x6031 ~x6032 ~x6033 ~x6034 ~x6035 ~x6036 ~x6037 ~x6038 ~x6039 ~x6040 ~x6041 ~x6042 ~x6043 ~x6044 ~x6045 ~x6046 ~x6047 ~x6048 ~x6049 ~x6050 ~x6051 ~x6052 ~x6053 ~x6054 ~x6055 ~x6056 ~x6057 ~x6058 ~x6059 ~x6060 ~x6061 ~x6062 ~x6063 ~x6064 ~x6065 ~x6066 ~x6067 ~x6068 ~x6069 ~x6070 ~x6071 ~x6072 ~x6073 ~x6074 ~x6075 ~x6076 ~x6077 ~x6078 ~x6079 ~x6080 ~x6081 ~x6082 ~x6083 ~x6084 ~x6085 ~x6086 ~x6087 ~x6088 ~x6089 ~x6090 ~x6091 ~x6092 ~x6093 ~x6094 ~x6095 ~x6096 ~x6097 ~x6098 ~x6099 ~x6100 ~x6101 ~x6102 ~x6103 ~x6104 ~x6105 ~x6106 ~x6107 ~x6108 ~x6109 ~x6110 ~x6111 ~x6112 ~x6113 ~x6114 ~x6115 ~x6116 ~x6117 ~x6118 ~x6119 ~x6120 ~x6121 ~x6122 ~x6123 ~x6124 ~x6125 ~x6126 ~x6127 ~x6128 ~x6129 ~x6130 ~x6131 ~x6132 ~x6133 ~x6134 ~x6135 ~x6136 ~x6137 ~x6138 ~x6139 ~x6140 ~x6141 ~x6142 ~x6143 ~x6144 ~x6145 ~x6146 ~x6147 ~x6148 ~x6149 ~x6150 ~x6151 ~x6152 ~x6153 ~x6154 ~x6155 ~x6156 ~x6157 ~x6158 ~x6159 ~x6160 ~x6161 ~x6162 ~x6163 ~x6164 ~x6165 ~x6166 ~x6167 ~x6168 ~x6169 ~x6170 ~x6171 ~x6172 ~x6173 x6174 ~x6175 ~x6176 ~x6177 ~x6178 ~x6179 ~x6180 ~x6181 ~x6182 ~x6183 ~x6184 ~x6185 ~x6186 ~x6187 ~x6188 ~x6189 ~x6190 ~x6191 ~x6192 ~x6193 ~x6194 ~x6195 ~x6196 ~x6197 ~x6198 ~x6199 ~x6200 ~x6201 ~x6202 ~x6203 ~x6204 ~x6205 ~x6206 ~x6207 ~x6208 ~x6209 ~x6210 ~x6211 ~x6212 ~x6213 ~x6214 ~x6215 ~x6216 ~x6217 ~x6218 ~x6219 ~x6220 ~x6221 ~x6222 ~x6223 ~x6224 ~x6225 ~x6226 ~x6227 ~x6228 ~x6229 ~x6230 ~x6231 ~x6232 ~x6233 ~x6234 ~x6235 ~x6236 ~x6237 ~x6238 ~x6239 ~x6240 ~x6241 ~x6242 ~x6243 ~x6244 ~x6245 ~x6246 ~x6247 ~x6248 ~x6249 ~x6250 ~x6251 ~x6252 ~x6253 ~x6254 ~x6255 ~x6256 ~x6257 ~x6258 ~x6259 ~x6260 ~x6261 ~x6262 ~x6263 ~x6264 ~x6265 ~x6266 ~x6267 ~x6268 ~x6269 ~x6270 ~x6271 ~x6272 ~x6273 ~x6274 ~x6275 ~x6276 ~x6277 ~x6278 ~x6279 ~x6280 ~x6281 ~x6282 ~x6283 ~x6284 ~x6285 ~x6286 ~x6287 ~x6288 ~x6289 ~x6290 ~x6291 ~x6292 ~x6293 ~x6294 ~x6295 ~x6296 ~x6297 ~x6298 x6299 ~x6300 ~x6301 ~x6302 ~x6303 x6304 ~x6305 ~x6306 ~x6307 ~x6308 ~x6309 ~x6310 ~x6311 ~x6312 ~x6313 ~x6314 ~x6315 ~x6316 ~x6317 ~x6318 ~x6319 ~x6320 ~x6321 ~x6322 ~x6323 ~x6324 ~x6325 ~x6326 ~x6327 ~x6328 ~x6329 ~x6330 ~x6331 ~x6332 ~x6333 ~x6334 ~x6335 ~x6336 ~x6337 ~x6338 ~x6339 ~x6340 ~x6341 ~x6342 ~x6343 ~x6344 ~x6345 ~x6346 ~x6347 ~x6348 ~x6349 ~x6350 ~x6351 ~x6352 ~x6353 ~x6354 ~x6355 ~x6356 ~x6357 ~x6358 ~x6359 ~x6360 ~x6361 ~x6362 ~x6363 ~x6364 ~x6365 ~x6366 ~x6367 ~x6368 ~x6369 ~x6370 ~x6371 ~x6372 ~x6373 ~x6374 ~x6375 ~x6376 ~x6377 ~x6378 ~x6379 ~x6380 ~x6381 ~x6382 ~x6383 ~x6384 ~x6385 ~x6386 ~x6387 ~x6388 ~x6389 ~x6390 ~x6391 ~x6392 ~x6393 ~x6394 ~x6395 ~x6396 ~x6397 ~x6398 ~x6399 ~x6400 ~x6401 ~x6402 ~x6403 ~x6404 ~x6405 ~x6406 ~x6407 ~x6408 ~x6409 ~x6410 ~x6411 ~x6412 ~x6413 ~x6414 ~x6415 ~x6416 ~x6417 ~x6418 ~x6419 ~x6420 ~x6421 ~x6422 ~x6423 ~x6424 ~x6425 ~x6426 ~x6427 ~x6428 ~x6429 ~x6430 ~x6431 ~x6432 ~x6433 ~x6434 ~x6435 ~x6436 ~x6437 ~x6438 ~x6439 ~x6440 ~x6441 ~x6442 ~x6443 ~x6444 ~x6445 ~x6446 ~x6447 ~x6448 ~x6449 ~x6450 ~x6451 ~x6452 ~x6453 ~x6454 ~x6455 ~x6456 ~x6457 ~x6458 ~x6459 ~x6460 ~x6461 ~x6462 ~x6463 ~x6464 ~x6465 ~x6466 ~x6467 ~x6468 ~x6469 ~x6470 ~x6471 ~x6472 ~x6473 ~x6474 ~x6475 ~x6476 ~x6477 ~x6478 ~x6479 ~x6480 ~x6481 ~x6482 ~x6483 ~x6484 ~x6485 ~x6486 ~x6487 ~x6488 ~x6489 ~x6490 ~x6491 x6492 ~x6493 ~x6494 ~x6495 ~x6496 ~x6497 ~x6498 ~x6499 ~x6500 ~x6501 ~x6502 ~x6503 ~x6504 ~x6505 ~x6506 ~x6507 ~x6508 ~x6509 ~x6510 ~x6511 ~x6512 ~x6513 ~x6514 ~x6515 ~x6516 ~x6517 ~x6518 ~x6519 x6520 ~x6521 ~x6522 ~x6523 ~x6524 ~x6525 ~x6526 ~x6527 ~x6528 ~x6529 ~x6530 ~x6531 ~x6532 ~x6533 ~x6534 ~x6535 ~x6536 ~x6537 ~x6538 ~x6539 ~x6540 ~x6541 ~x6542 ~x6543 ~x6544 ~x6545 ~x6546 ~x6547 ~x6548 ~x6549 ~x6550 ~x6551 ~x6552 ~x6553 ~x6554 ~x6555 ~x6556 ~x6557 ~x6558 ~x6559 ~x6560 ~x6561 ~x6562 ~x6563 ~x6564 ~x6565 ~x6566 ~x6567 ~x6568 ~x6569 ~x6570 ~x6571 ~x6572 ~x6573 ~x6574 ~x6575 ~x6576 ~x6577 ~x6578 ~x6579 ~x6580 ~x6581 ~x6582 ~x6583 ~x6584 ~x6585 ~x6586 ~x6587 ~x6588 ~x6589 ~x6590 ~x6591 ~x6592 ~x6593 ~x6594 ~x6595 ~x6596 ~x6597 ~x6598 ~x6599 ~x6600 ~x6601 ~x6602 ~x6603 ~x6604 ~x6605 ~x6606 ~x6607 ~x6608 ~x6609 ~x6610 ~x6611 ~x6612 ~x6613 ~x6614 ~x6615 ~x6616 ~x6617 ~x6618 ~x6619 ~x6620 ~x6621 ~x6622 ~x6623 ~x6624 ~x6625 ~x6626 ~x6627 ~x6628 ~x6629 ~x6630 ~x6631 ~x6632 ~x6633 ~x6634 ~x6635 ~x6636 ~x6637 ~x6638 ~x6639 ~x6640 ~x6641 ~x6642 ~x6643 ~x6644 ~x6645 ~x6646 ~x6647 ~x6648 ~x6649 ~x6650 ~x6651 ~x6652 ~x6653 ~x6654 ~x6655 ~x6656 ~x6657 ~x6658 ~x6659 ~x6660 ~x6661 ~x6662 ~x6663 ~x6664 ~x6665 ~x6666 ~x6667 ~x6668 ~x6669 ~x6670 ~x6671 ~x6672 ~x6673 ~x6674 ~x6675 ~x6676 ~x6677 ~x6678 ~x6679 ~x6680 ~x6681 ~x6682 x6683 ~x6684 ~x6685 ~x6686 ~x6687 ~x6688 ~x6689 ~x6690 ~x6691 ~x6692 ~x6693 ~x6694 ~x6695 ~x6696 ~x6697 ~x6698 ~x6699 ~x6700 ~x6701 ~x6702 ~x6703 ~x6704 ~x6705 ~x6706 ~x6707 ~x6708 ~x6709 ~x6710 ~x6711 ~x6712 ~x6713 ~x6714 ~x6715 ~x6716 ~x6717 ~x6718 ~x6719 ~x6720 ~x6721 ~x6722 ~x6723 ~x6724 ~x6725 ~x6726 ~x6727 ~x6728 ~x6729 ~x6730 ~x6731 ~x6732 ~x6733 ~x6734 ~x6735 ~x6736 ~x6737 ~x6738 ~x6739 ~x6740 ~x6741 ~x6742 ~x6743 ~x6744 ~x6745 ~x6746 ~x6747 ~x6748 ~x6749 ~x6750 ~x6751 ~x6752 ~x6753 ~x6754 ~x6755 ~x6756 x6757 ~x6758 ~x6759 ~x6760 ~x6761 ~x6762 ~x6763 ~x6764 ~x6765 ~x6766 ~x6767 ~x6768 ~x6769 ~x6770 ~x6771 ~x6772 ~x6773 ~x6774 ~x6775 ~x6776 ~x6777 ~x6778 ~x6779 ~x6780 ~x6781 ~x6782 ~x6783 ~x6784 ~x6785 ~x6786 ~x6787 ~x6788 ~x6789 ~x6790 ~x6791 ~x6792 ~x6793 ~x6794 ~x6795 ~x6796 ~x6797 ~x6798 ~x6799 ~x6800 ~x6801 ~x6802 ~x6803 ~x6804 ~x6805 ~x6806 ~x6807 ~x6808 ~x6809 ~x6810 ~x6811 ~x6812 ~x6813 ~x6814 ~x6815 ~x6816 ~x6817 ~x6818 ~x6819 ~x6820 ~x6821 x6822 ~x6823 ~x6824 ~x6825 ~x6826 ~x6827 ~x6828 ~x6829 ~x6830 ~x6831 ~x6832 ~x6833 ~x6834 ~x6835 ~x6836 ~x6837 ~x6838 ~x6839 ~x6840 ~x6841 ~x6842 ~x6843 ~x6844 ~x6845 ~x6846 ~x6847 ~x6848 ~x6849 ~x6850 ~x6851 ~x6852 ~x6853 ~x6854 ~x6855 ~x6856 ~x6857 ~x6858 ~x6859 ~x6860 ~x6861 ~x6862 ~x6863 ~x6864 ~x6865 ~x6866 ~x6867 ~x6868 ~x6869 ~x6870 ~x6871 ~x6872 ~x6873 ~x6874 ~x6875 ~x6876 ~x6877 ~x6878 ~x6879 x6880 ~x6881 ~x6882 ~x6883 ~x6884 ~x6885 ~x6886 ~x6887 ~x6888 ~x6889 ~x6890 ~x6891 ~x6892 ~x6893 ~x6894 ~x6895 ~x6896 ~x6897 ~x6898 ~x6899 ~x6900 ~x6901 ~x6902 ~x6903 ~x6904 ~x6905 ~x6906 ~x6907 ~x6908 ~x6909 ~x6910 ~x6911 ~x6912 ~x6913 ~x6914 ~x6915 ~x6916 ~x6917 ~x6918 ~x6919 ~x6920 ~x6921 ~x6922 ~x6923 ~x6924 ~x6925 ~x6926 ~x6927 ~x6928 ~x6929 ~x6930 ~x6931 ~x6932 ~x6933 ~x6934 ~x6935 ~x6936 ~x6937 ~x6938 ~x6939 ~x6940 ~x6941 ~x6942 ~x6943 ~x6944 ~x6945 ~x6946 ~x6947 ~x6948 ~x6949 ~x6950 ~x6951 ~x6952 ~x6953 ~x6954 ~x6955 ~x6956 ~x6957 ~x6958 ~x6959 ~x6960 ~x6961 ~x6962 ~x6963 ~x6964 ~x6965 ~x6966 x6967 ~x6968 ~x6969 ~x6970 ~x6971 ~x6972 ~x6973 ~x6974 ~x6975 ~x6976 ~x6977 ~x6978 ~x6979 ~x6980 ~x6981 ~x6982 ~x6983 ~x6984 ~x6985 ~x6986 ~x6987 ~x6988 ~x6989 ~x6990 ~x6991 ~x6992 ~x6993 ~x6994 ~x6995 ~x6996 ~x6997 ~x6998 ~x6999 ~x7000 ~x7001 ~x7002 ~x7003 ~x7004 ~x7005 ~x7006 ~x7007 x7008 ~x7009 ~x7010 ~x7011 ~x7012 ~x7013 ~x7014 ~x7015 ~x7016 ~x7017 ~x7018 ~x7019 ~x7020 ~x7021 ~x7022 ~x7023 ~x7024 ~x7025 ~x7026 ~x7027 ~x7028 ~x7029 ~x7030 ~x7031 ~x7032 ~x7033 ~x7034 ~x7035 ~x7036 ~x7037 ~x7038 ~x7039 ~x7040 ~x7041 ~x7042 ~x7043 ~x7044 ~x7045 ~x7046 ~x7047 ~x7048 ~x7049 ~x7050 ~x7051 ~x7052 ~x7053 ~x7054 ~x7055 ~x7056 ~x7057 ~x7058 ~x7059 ~x7060 ~x7061 ~x7062 ~x7063 ~x7064 ~x7065 ~x7066 ~x7067 ~x7068 ~x7069 ~x7070 ~x7071 ~x7072 ~x7073 ~x7074 ~x7075 ~x7076 ~x7077 ~x7078 ~x7079 ~x7080 ~x7081 ~x7082 ~x7083 ~x7084 ~x7085 ~x7086 ~x7087 ~x7088 ~x7089 ~x7090 ~x7091 ~x7092 ~x7093 ~x7094 ~x7095 ~x7096 ~x7097 ~x7098 ~x7099 ~x7100 ~x7101 ~x7102 ~x7103 ~x7104 ~x7105 ~x7106 ~x7107 ~x7108 ~x7109 ~x7110 ~x7111 ~x7112 ~x7113 ~x7114 ~x7115 ~x7116 ~x7117 ~x7118 ~x7119 ~x7120 ~x7121 ~x7122 ~x7123 ~x7124 ~x7125 ~x7126 ~x7127 ~x7128 ~x7129 ~x7130 ~x7131 ~x7132 ~x7133 ~x7134 ~x7135 ~x7136 ~x7137 ~x7138 ~x7139 ~x7140 ~x7141 ~x7142 ~x7143 ~x7144 ~x7145 ~x7146 ~x7147 ~x7148 ~x7149 ~x7150 ~x7151 ~x7152 ~x7153 ~x7154 ~x7155 ~x7156 ~x7157 ~x7158 ~x7159 ~x7160 ~x7161 ~x7162 ~x7163 ~x7164 ~x7165 ~x7166 ~x7167 ~x7168 ~x7169 ~x7170 ~x7171 ~x7172 ~x7173 ~x7174 ~x7175 ~x7176 ~x7177 ~x7178 ~x7179 ~x7180 ~x7181 ~x7182 ~x7183 ~x7184 ~x7185 ~x7186 ~x7187 ~x7188 ~x7189 ~x7190 ~x7191 ~x7192 ~x7193 ~x7194 ~x7195 ~x7196 ~x7197 ~x7198 ~x7199 x7200 ~x7201 ~x7202 x7203 ~x7204 ~x7205 ~x7206 ~x7207 ~x7208 ~x7209 ~x7210 ~x7211 ~x7212 ~x7213 ~x7214 ~x7215 ~x7216 ~x7217 ~x7218 ~x7219 ~x7220 ~x7221 ~x7222 ~x7223 ~x7224 ~x7225 ~x7226 ~x7227 ~x7228 ~x7229 ~x7230 ~x7231 ~x7232 ~x7233 ~x7234 ~x7235 ~x7236 ~x7237 ~x7238 ~x7239 ~x7240 ~x7241 ~x7242 ~x7243 ~x7244 ~x7245 ~x7246 ~x7247 ~x7248 ~x7249 ~x7250 ~x7251 ~x7252 ~x7253 ~x7254 ~x7255 ~x7256 ~x7257 ~x7258 ~x7259 ~x7260 ~x7261 ~x7262 ~x7263 ~x7264 ~x7265 ~x7266 ~x7267 ~x7268 ~x7269 ~x7270 ~x7271 ~x7272 ~x7273 ~x7274 ~x7275 ~x7276 ~x7277 ~x7278 ~x7279 ~x7280 ~x7281 ~x7282 ~x7283 ~x7284 ~x7285 ~x7286 ~x7287 ~x7288 ~x7289 ~x7290 ~x7291 ~x7292 ~x7293 ~x7294 ~x7295 ~x7296 ~x7297 ~x7298 ~x7299 ~x7300 ~x7301 ~x7302 ~x7303 ~x7304 ~x7305 ~x7306 ~x7307 ~x7308 ~x7309 ~x7310 ~x7311 ~x7312 ~x7313 ~x7314 ~x7315 ~x7316 ~x7317 ~x7318 ~x7319 ~x7320 ~x7321 ~x7322 ~x7323 ~x7324 ~x7325 ~x7326 ~x7327 ~x7328 ~x7329 ~x7330 ~x7331 ~x7332 ~x7333 ~x7334 ~x7335 ~x7336 ~x7337 ~x7338 ~x7339 ~x7340 ~x7341 ~x7342 ~x7343 ~x7344 ~x7345 ~x7346 ~x7347 ~x7348 ~x7349 ~x7350 ~x7351 ~x7352 ~x7353 ~x7354 ~x7355 ~x7356 ~x7357 ~x7358 ~x7359 ~x7360 ~x7361 ~x7362 ~x7363 ~x7364 ~x7365 ~x7366 ~x7367 ~x7368 ~x7369 ~x7370 ~x7371 ~x7372 ~x7373 ~x7374 ~x7375 ~x7376 x7377 ~x7378 ~x7379 ~x7380 ~x7381 ~x7382 ~x7383 ~x7384 ~x7385 ~x7386 ~x7387 ~x7388 ~x7389 ~x7390 ~x7391 ~x7392 ~x7393 ~x7394 ~x7395 ~x7396 ~x7397 ~x7398 ~x7399 ~x7400 ~x7401 ~x7402 ~x7403 ~x7404 ~x7405 ~x7406 ~x7407 ~x7408 ~x7409 ~x7410 ~x7411 ~x7412 ~x7413 ~x7414 ~x7415 ~x7416 ~x7417 ~x7418 ~x7419 ~x7420 ~x7421 ~x7422 ~x7423 ~x7424 ~x7425 ~x7426 ~x7427 ~x7428 ~x7429 ~x7430 ~x7431 ~x7432 ~x7433 ~x7434 ~x7435 ~x7436 ~x7437 ~x7438 x7439 ~x7440 ~x7441 ~x7442 ~x7443 ~x7444 ~x7445 ~x7446 ~x7447 ~x7448 ~x7449 ~x7450 ~x7451 ~x7452 ~x7453 ~x7454 ~x7455 ~x7456 ~x7457 ~x7458 ~x7459 ~x7460 ~x7461 ~x7462 ~x7463 ~x7464 ~x7465 ~x7466 ~x7467 ~x7468 ~x7469 ~x7470 ~x7471 ~x7472 ~x7473 ~x7474 ~x7475 ~x7476 ~x7477 ~x7478 ~x7479 ~x7480 ~x7481 ~x7482 ~x7483 ~x7484 ~x7485 ~x7486 ~x7487 ~x7488 ~x7489 ~x7490 ~x7491 ~x7492 ~x7493 ~x7494 ~x7495 ~x7496 ~x7497 ~x7498 ~x7499 ~x7500 ~x7501 ~x7502 ~x7503 ~x7504 ~x7505 ~x7506 ~x7507 ~x7508 ~x7509 ~x7510 ~x7511 ~x7512 ~x7513 ~x7514 ~x7515 ~x7516 x7517 ~x7518 ~x7519 ~x7520 ~x7521 ~x7522 ~x7523 ~x7524 ~x7525 ~x7526 ~x7527 ~x7528 ~x7529 ~x7530 ~x7531 ~x7532 ~x7533 ~x7534 ~x7535 ~x7536 ~x7537 ~x7538 ~x7539 ~x7540 ~x7541 ~x7542 ~x7543 ~x7544 ~x7545 ~x7546 ~x7547 ~x7548 ~x7549 ~x7550 ~x7551 ~x7552 ~x7553 ~x7554 ~x7555 ~x7556 ~x7557 ~x7558 ~x7559 ~x7560 ~x7561 ~x7562 ~x7563 ~x7564 ~x7565 ~x7566 ~x7567 ~x7568 ~x7569 ~x7570 ~x7571 ~x7572 ~x7573 ~x7574 ~x7575 ~x7576 ~x7577 ~x7578 ~x7579 ~x7580 ~x7581 ~x7582 ~x7583 ~x7584 ~x7585 ~x7586 ~x7587 ~x7588 ~x7589 ~x7590 ~x7591 ~x7592 ~x7593 ~x7594 ~x7595 ~x7596 ~x7597 ~x7598 ~x7599 ~x7600 ~x7601 ~x7602 ~x7603 ~x7604 ~x7605 ~x7606 ~x7607 ~x7608 ~x7609 ~x7610 ~x7611 ~x7612 ~x7613 ~x7614 ~x7615 ~x7616 ~x7617 ~x7618 ~x7619 ~x7620 ~x7621 ~x7622 ~x7623 ~x7624 ~x7625 ~x7626 ~x7627 ~x7628 ~x7629 ~x7630 ~x7631 ~x7632 ~x7633 ~x7634 ~x7635 ~x7636 ~x7637 ~x7638 ~x7639 ~x7640 ~x7641 ~x7642 ~x7643 ~x7644 x7645 ~x7646 ~x7647 ~x7648 ~x7649 ~x7650 ~x7651 ~x7652 ~x7653 ~x7654 ~x7655 ~x7656 ~x7657 ~x7658 ~x7659 ~x7660 ~x7661 ~x7662 ~x7663 ~x7664 ~x7665 ~x7666 ~x7667 ~x7668 ~x7669 ~x7670 ~x7671 ~x7672 ~x7673 ~x7674 ~x7675 ~x7676 ~x7677 ~x7678 ~x7679 ~x7680 ~x7681 ~x7682 ~x7683 ~x7684 ~x7685 ~x7686 ~x7687 ~x7688 ~x7689 ~x7690 ~x7691 ~x7692 ~x7693 ~x7694 ~x7695 ~x7696 ~x7697 ~x7698 ~x7699 ~x7700 ~x7701 ~x7702 ~x7703 ~x7704 ~x7705 ~x7706 ~x7707 ~x7708 ~x7709 ~x7710 ~x7711 ~x7712 ~x7713 ~x7714 ~x7715 ~x7716 ~x7717 ~x7718 ~x7719 ~x7720 ~x7721 ~x7722 ~x7723 ~x7724 ~x7725 ~x7726 ~x7727 ~x7728 ~x7729 ~x7730 ~x7731 ~x7732 ~x7733 ~x7734 ~x7735 ~x7736 ~x7737 ~x7738 ~x7739 ~x7740 ~x7741 ~x7742 ~x7743 ~x7744 ~x7745 ~x7746 ~x7747 ~x7748 ~x7749 ~x7750 ~x7751 ~x7752 ~x7753 ~x7754 ~x7755 ~x7756 ~x7757 ~x7758 ~x7759 x7760 ~x7761 ~x7762 ~x7763 ~x7764 ~x7765 ~x7766 ~x7767 ~x7768 ~x7769 ~x7770 ~x7771 ~x7772 ~x7773 ~x7774 ~x7775 ~x7776 ~x7777 ~x7778 ~x7779 ~x7780 ~x7781 ~x7782 ~x7783 ~x7784 ~x7785 ~x7786 ~x7787 ~x7788 ~x7789 ~x7790 ~x7791 ~x7792 ~x7793 ~x7794 ~x7795 ~x7796 ~x7797 ~x7798 ~x7799 ~x7800 ~x7801 ~x7802 ~x7803 ~x7804 ~x7805 ~x7806 ~x7807 ~x7808 ~x7809 ~x7810 ~x7811 ~x7812 ~x7813 ~x7814 ~x7815 ~x7816 ~x7817 ~x7818 ~x7819 ~x7820 ~x7821 ~x7822 ~x7823 ~x7824 ~x7825 ~x7826 ~x7827 ~x7828 ~x7829 ~x7830 ~x7831 ~x7832 ~x7833 ~x7834 ~x7835 ~x7836 ~x7837 ~x7838 ~x7839 ~x7840 ~x7841 ~x7842 ~x7843 ~x7844 ~x7845 ~x7846 ~x7847 ~x7848 ~x7849 ~x7850 ~x7851 ~x7852 ~x7853 ~x7854 ~x7855 ~x7856 ~x7857 ~x7858 ~x7859 ~x7860 ~x7861 ~x7862 ~x7863 ~x7864 ~x7865 ~x7866 ~x7867 ~x7868 ~x7869 ~x7870 ~x7871 ~x7872 ~x7873 ~x7874 ~x7875 ~x7876 x7877 ~x7878 ~x7879 ~x7880 ~x7881 ~x7882 ~x7883 ~x7884 ~x7885 ~x7886 ~x7887 ~x7888 ~x7889 ~x7890 ~x7891 ~x7892 ~x7893 ~x7894 ~x7895 ~x7896 ~x7897 ~x7898 ~x7899 ~x7900 ~x7901 ~x7902 ~x7903 ~x7904 ~x7905 ~x7906 ~x7907 ~x7908 ~x7909 ~x7910 ~x7911 ~x7912 ~x7913 ~x7914 ~x7915 ~x7916 ~x7917 ~x7918 ~x7919 ~x7920 ~x7921 ~x7922 ~x7923 ~x7924 ~x7925 ~x7926 ~x7927 ~x7928 ~x7929 ~x7930 ~x7931 ~x7932 ~x7933 ~x7934 ~x7935 ~x7936 ~x7937 ~x7938 ~x7939 ~x7940 ~x7941 ~x7942 ~x7943 ~x7944 ~x7945 ~x7946 ~x7947 ~x7948 ~x7949 ~x7950 ~x7951 ~x7952 ~x7953 x7954 ~x7955 ~x7956 ~x7957 ~x7958 ~x7959 ~x7960 ~x7961 ~x7962 ~x7963 ~x7964 ~x7965 ~x7966 ~x7967 ~x7968 ~x7969 ~x7970 ~x7971 ~x7972 x7973 ~x7974 ~x7975 ~x7976 ~x7977 ~x7978 ~x7979 ~x7980 ~x7981 ~x7982 ~x7983 ~x7984 ~x7985 ~x7986 ~x7987 ~x7988 ~x7989 ~x7990 ~x7991 ~x7992 ~x7993 ~x7994 ~x7995 ~x7996 ~x7997 ~x7998 ~x7999 ~x8000 ~x8001 ~x8002 ~x8003 ~x8004 ~x8005 ~x8006 ~x8007 ~x8008 ~x8009 ~x8010 ~x8011 ~x8012 ~x8013 ~x8014 ~x8015 ~x8016 ~x8017 ~x8018 ~x8019 ~x8020 ~x8021 ~x8022 ~x8023 ~x8024 ~x8025 ~x8026 ~x8027 ~x8028 ~x8029 ~x8030 ~x8031 ~x8032 ~x8033 ~x8034 ~x8035 ~x8036 ~x8037 ~x8038 ~x8039 ~x8040 ~x8041 ~x8042 ~x8043 ~x8044 ~x8045 ~x8046 ~x8047 ~x8048 ~x8049 ~x8050 ~x8051 ~x8052 ~x8053 ~x8054 ~x8055 ~x8056 ~x8057 ~x8058 ~x8059 ~x8060 ~x8061 ~x8062 ~x8063 ~x8064 ~x8065 ~x8066 ~x8067 ~x8068 ~x8069 ~x8070 x8071 ~x8072 ~x8073 ~x8074 ~x8075 ~x8076 ~x8077 ~x8078 ~x8079 ~x8080 ~x8081 ~x8082 ~x8083 ~x8084 ~x8085 ~x8086 ~x8087 ~x8088 ~x8089 ~x8090 ~x8091 ~x8092 ~x8093 ~x8094 ~x8095 ~x8096 ~x8097 ~x8098 ~x8099 ~x8100 ~x8101 ~x8102 ~x8103 ~x8104 ~x8105 ~x8106 ~x8107 ~x8108 ~x8109 ~x8110 ~x8111 ~x8112 ~x8113 ~x8114 ~x8115 ~x8116 ~x8117 ~x8118 ~x8119 ~x8120 ~x8121 ~x8122 ~x8123 ~x8124 ~x8125 ~x8126 ~x8127 ~x8128 ~x8129 x8130 ~x8131 ~x8132 ~x8133 ~x8134 ~x8135 ~x8136 ~x8137 ~x8138 ~x8139 ~x8140 ~x8141 ~x8142 ~x8143 ~x8144 ~x8145 ~x8146 ~x8147 ~x8148 ~x8149 ~x8150 ~x8151 ~x8152 ~x8153 ~x8154 ~x8155 ~x8156 ~x8157 ~x8158 ~x8159 ~x8160 ~x8161 ~x8162 ~x8163 ~x8164 ~x8165 ~x8166 ~x8167 ~x8168 ~x8169 ~x8170 ~x8171 ~x8172 ~x8173 ~x8174 ~x8175 ~x8176 ~x8177 ~x8178 ~x8179 ~x8180 ~x8181 ~x8182 ~x8183 ~x8184 ~x8185 ~x8186 ~x8187 ~x8188 ~x8189 ~x8190 ~x8191 ~x8192 ~x8193 ~x8194 ~x8195 ~x8196 ~x8197 ~x8198 ~x8199 ~x8200 ~x8201 ~x8202 ~x8203 ~x8204 ~x8205 ~x8206 ~x8207 ~x8208 ~x8209 ~x8210 ~x8211 ~x8212 ~x8213 ~x8214 ~x8215 ~x8216 ~x8217 ~x8218 ~x8219 ~x8220 ~x8221 ~x8222 ~x8223 ~x8224 ~x8225 ~x8226 ~x8227 ~x8228 ~x8229 ~x8230 ~x8231 ~x8232 ~x8233 ~x8234 ~x8235 ~x8236 ~x8237 ~x8238 ~x8239 ~x8240 ~x8241 ~x8242 ~x8243 ~x8244 ~x8245 ~x8246 ~x8247 ~x8248 ~x8249 ~x8250 ~x8251 ~x8252 ~x8253 ~x8254 ~x8255 ~x8256 ~x8257 x8258 ~x8259 ~x8260 ~x8261 ~x8262 ~x8263 ~x8264 ~x8265 ~x8266 ~x8267 ~x8268 ~x8269 ~x8270 ~x8271 ~x8272 ~x8273 ~x8274 ~x8275 ~x8276 ~x8277 ~x8278 ~x8279 ~x8280 ~x8281 ~x8282 ~x8283 ~x8284 ~x8285 ~x8286 ~x8287 ~x8288 ~x8289 ~x8290 ~x8291 ~x8292 ~x8293 ~x8294 ~x8295 ~x8296 ~x8297 ~x8298 ~x8299 ~x8300 ~x8301 ~x8302 ~x8303 ~x8304 ~x8305 ~x8306 ~x8307 ~x8308 ~x8309 ~x8310 ~x8311 ~x8312 ~x8313 ~x8314 ~x8315 ~x8316 ~x8317 ~x8318 ~x8319 ~x8320 ~x8321 ~x8322 ~x8323 ~x8324 ~x8325 ~x8326 ~x8327 ~x8328 ~x8329 ~x8330 ~x8331 ~x8332 ~x8333 ~x8334 ~x8335 ~x8336 ~x8337 ~x8338 ~x8339 ~x8340 ~x8341 ~x8342 ~x8343 ~x8344 ~x8345 ~x8346 ~x8347 ~x8348 ~x8349 ~x8350 ~x8351 ~x8352 ~x8353 ~x8354 ~x8355 ~x8356 ~x8357 ~x8358 ~x8359 ~x8360 ~x8361 ~x8362 ~x8363 ~x8364 ~x8365 ~x8366 ~x8367 ~x8368 ~x8369 ~x8370 ~x8371 ~x8372 ~x8373 ~x8374 ~x8375 ~x8376 ~x8377 ~x8378 ~x8379 ~x8380 ~x8381 ~x8382 ~x8383 ~x8384 ~x8385 ~x8386 ~x8387 ~x8388 ~x8389 ~x8390 ~x8391 ~x8392 ~x8393 ~x8394 ~x8395 ~x8396 ~x8397 x8398 ~x8399 ~x8400 ~x8401 ~x8402 ~x8403 ~x8404 ~x8405 ~x8406 ~x8407 ~x8408 ~x8409 ~x8410 ~x8411 ~x8412 ~x8413 ~x8414 ~x8415 ~x8416 ~x8417 ~x8418 ~x8419 ~x8420 ~x8421 ~x8422 ~x8423 ~x8424 ~x8425 ~x8426 ~x8427 ~x8428 ~x8429 ~x8430 ~x8431 ~x8432 ~x8433 ~x8434 ~x8435 ~x8436 ~x8437 ~x8438 ~x8439 ~x8440 ~x8441 ~x8442 ~x8443 ~x8444 ~x8445 ~x8446 ~x8447 ~x8448 ~x8449 x8450 ~x8451 ~x8452 ~x8453 ~x8454 ~x8455 ~x8456 ~x8457 ~x8458 ~x8459 ~x8460 ~x8461 ~x8462 ~x8463 ~x8464 ~x8465 ~x8466 ~x8467 ~x8468 ~x8469 ~x8470 ~x8471 ~x8472 ~x8473 ~x8474 ~x8475 ~x8476 ~x8477 ~x8478 ~x8479 ~x8480 ~x8481 ~x8482 ~x8483 ~x8484 ~x8485 ~x8486 ~x8487 ~x8488 ~x8489 ~x8490 ~x8491 ~x8492 ~x8493 ~x8494 ~x8495 ~x8496 ~x8497 ~x8498 ~x8499 ~x8500 ~x8501 ~x8502 ~x8503 ~x8504 ~x8505 ~x8506 ~x8507 ~x8508 ~x8509 ~x8510 ~x8511 ~x8512 ~x8513 ~x8514 ~x8515 ~x8516 ~x8517 ~x8518 ~x8519 ~x8520 ~x8521 ~x8522 ~x8523 ~x8524 ~x8525 ~x8526 ~x8527 ~x8528 ~x8529 ~x8530 ~x8531 ~x8532 ~x8533 ~x8534 ~x8535 ~x8536 ~x8537 ~x8538 ~x8539 ~x8540 ~x8541 ~x8542 ~x8543 ~x8544 ~x8545 ~x8546 ~x8547 ~x8548 ~x8549 ~x8550 ~x8551 ~x8552 ~x8553 ~x8554 ~x8555 ~x8556 ~x8557 ~x8558 ~x8559 ~x8560 ~x8561 ~x8562 ~x8563 ~x8564 ~x8565 ~x8566 ~x8567 ~x8568 ~x8569 ~x8570 ~x8571 ~x8572 ~x8573 ~x8574 ~x8575 ~x8576 ~x8577 ~x8578 ~x8579 ~x8580 ~x8581 ~x8582 ~x8583 ~x8584 ~x8585 ~x8586 x8587 ~x8588 ~x8589 ~x8590 ~x8591 ~x8592 ~x8593 ~x8594 ~x8595 ~x8596 ~x8597 ~x8598 ~x8599 ~x8600 ~x8601 ~x8602 ~x8603 ~x8604 ~x8605 ~x8606 ~x8607 ~x8608 ~x8609 ~x8610 ~x8611 ~x8612 ~x8613 ~x8614 ~x8615 ~x8616 ~x8617 ~x8618 ~x8619 ~x8620 ~x8621 ~x8622 ~x8623 ~x8624 ~x8625 ~x8626 ~x8627 ~x8628 ~x8629 ~x8630 ~x8631 ~x8632 ~x8633 ~x8634 ~x8635 ~x8636 ~x8637 ~x8638 ~x8639 ~x8640 ~x8641 ~x8642 x8643 ~x8644 ~x8645 ~x8646 ~x8647 ~x8648 ~x8649 ~x8650 ~x8651 ~x8652 ~x8653 ~x8654 ~x8655 ~x8656 ~x8657 ~x8658 ~x8659 ~x8660 ~x8661 ~x8662 ~x8663 ~x8664 ~x8665 ~x8666 ~x8667 ~x8668 ~x8669 ~x8670 ~x8671 ~x8672 ~x8673 ~x8674 ~x8675 ~x8676 ~x8677 ~x8678 ~x8679 ~x8680 ~x8681 ~x8682 ~x8683 ~x8684 ~x8685 ~x8686 ~x8687 ~x8688 ~x8689 ~x8690 ~x8691 ~x8692 ~x8693 ~x8694 ~x8695 ~x8696 ~x8697 ~x8698 ~x8699 ~x8700 ~x8701 ~x8702 ~x8703 ~x8704 ~x8705 ~x8706 ~x8707 ~x8708 ~x8709 ~x8710 ~x8711 ~x8712 ~x8713 ~x8714 ~x8715 x8716 ~x8717 ~x8718 ~x8719 ~x8720 ~x8721 ~x8722 ~x8723 ~x8724 ~x8725 ~x8726 ~x8727 ~x8728 ~x8729 ~x8730 ~x8731 ~x8732 ~x8733 ~x8734 ~x8735 ~x8736 ~x8737 ~x8738 ~x8739 ~x8740 ~x8741 ~x8742 ~x8743 ~x8744 ~x8745 ~x8746 ~x8747 ~x8748 ~x8749 ~x8750 ~x8751 ~x8752 ~x8753 ~x8754 ~x8755 ~x8756 ~x8757 ~x8758 ~x8759 ~x8760 ~x8761 ~x8762 ~x8763 ~x8764 ~x8765 ~x8766 ~x8767 ~x8768 ~x8769 ~x8770 ~x8771 ~x8772 ~x8773 ~x8774 ~x8775 ~x8776 ~x8777 ~x8778 ~x8779 ~x8780 ~x8781 ~x8782 ~x8783 ~x8784 ~x8785 ~x8786 ~x8787 ~x8788 ~x8789 ~x8790 ~x8791 ~x8792 ~x8793 ~x8794 ~x8795 ~x8796 ~x8797 ~x8798 ~x8799 ~x8800 ~x8801 ~x8802 ~x8803 ~x8804 ~x8805 ~x8806 ~x8807 ~x8808 ~x8809 ~x8810 x8811 ~x8812 ~x8813 ~x8814 ~x8815 ~x8816 ~x8817 ~x8818 ~x8819 ~x8820 ~x8821 ~x8822 ~x8823 ~x8824 ~x8825 ~x8826 ~x8827 ~x8828 ~x8829 ~x8830 ~x8831 ~x8832 ~x8833 ~x8834 ~x8835 ~x8836 ~x8837 ~x8838 ~x8839 ~x8840 ~x8841 ~x8842 ~x8843 ~x8844 ~x8845 ~x8846 ~x8847 ~x8848 ~x8849 ~x8850 ~x8851 ~x8852 ~x8853 ~x8854 ~x8855 ~x8856 ~x8857 ~x8858 ~x8859 ~x8860 ~x8861 ~x8862 ~x8863 ~x8864 ~x8865 ~x8866 ~x8867 ~x8868 ~x8869 ~x8870 ~x8871 ~x8872 ~x8873 ~x8874 ~x8875 ~x8876 ~x8877 ~x8878 ~x8879 ~x8880 ~x8881 ~x8882 ~x8883 ~x8884 ~x8885 ~x8886 ~x8887 ~x8888 ~x8889 ~x8890 ~x8891 ~x8892 ~x8893 ~x8894 ~x8895 ~x8896 ~x8897 ~x8898 ~x8899 ~x8900 ~x8901 ~x8902 ~x8903 ~x8904 ~x8905 ~x8906 ~x8907 ~x8908 ~x8909 ~x8910 ~x8911 ~x8912 ~x8913 ~x8914 ~x8915 ~x8916 ~x8917 ~x8918 ~x8919 ~x8920 ~x8921 ~x8922 ~x8923 ~x8924 x8925 ~x8926 ~x8927 ~x8928 ~x8929 ~x8930 ~x8931 ~x8932 ~x8933 ~x8934 ~x8935 ~x8936 ~x8937 ~x8938 ~x8939 ~x8940 ~x8941 ~x8942 ~x8943 ~x8944 ~x8945 ~x8946 ~x8947 ~x8948 ~x8949 ~x8950 ~x8951 ~x8952 ~x8953 ~x8954 ~x8955 ~x8956 ~x8957 ~x8958 ~x8959 ~x8960 ~x8961 ~x8962 ~x8963 ~x8964 ~x8965 ~x8966 ~x8967 ~x8968 ~x8969 ~x8970 ~x8971 ~x8972 ~x8973 ~x8974 ~x8975 ~x8976 ~x8977 ~x8978 ~x8979 ~x8980 x8981 ~x8982 ~x8983 ~x8984 ~x8985 ~x8986 ~x8987 ~x8988 ~x8989 ~x8990 ~x8991 ~x8992 ~x8993 ~x8994 ~x8995 ~x8996 ~x8997 ~x8998 ~x8999 ~x9000 ~x9001 ~x9002 ~x9003 ~x9004 ~x9005 x9006 ~x9007 ~x9008 ~x9009 ~x9010 ~x9011 ~x9012 ~x9013 ~x9014 ~x9015 ~x9016 ~x9017 ~x9018 ~x9019 ~x9020 ~x9021 ~x9022 ~x9023 ~x9024 ~x9025 ~x9026 ~x9027 ~x9028 ~x9029 ~x9030 ~x9031 ~x9032 ~x9033 ~x9034 ~x9035 ~x9036 ~x9037 ~x9038 ~x9039 ~x9040 ~x9041 ~x9042 ~x9043 ~x9044 ~x9045 ~x9046 ~x9047 ~x9048 ~x9049 ~x9050 ~x9051 ~x9052 ~x9053 ~x9054 ~x9055 ~x9056 ~x9057 ~x9058 ~x9059 ~x9060 ~x9061 ~x9062 ~x9063 ~x9064 ~x9065 ~x9066 ~x9067 ~x9068 ~x9069 ~x9070 ~x9071 ~x9072 ~x9073 ~x9074 ~x9075 ~x9076 ~x9077 ~x9078 ~x9079 ~x9080 ~x9081 ~x9082 ~x9083 ~x9084 ~x9085 ~x9086 ~x9087 ~x9088 ~x9089 ~x9090 ~x9091 ~x9092 ~x9093 ~x9094 ~x9095 ~x9096 ~x9097 ~x9098 ~x9099 ~x9100 ~x9101 ~x9102 ~x9103 ~x9104 ~x9105 ~x9106 ~x9107 ~x9108 ~x9109 ~x9110 ~x9111 ~x9112 ~x9113 ~x9114 ~x9115 ~x9116 ~x9117 ~x9118 ~x9119 ~x9120 ~x9121 ~x9122 ~x9123 ~x9124 ~x9125 ~x9126 ~x9127 ~x9128 ~x9129 ~x9130 ~x9131 ~x9132 ~x9133 ~x9134 ~x9135 ~x9136 ~x9137 ~x9138 ~x9139 ~x9140 x9141 ~x9142 ~x9143 ~x9144 ~x9145 ~x9146 ~x9147 ~x9148 ~x9149 ~x9150 ~x9151 ~x9152 ~x9153 ~x9154 ~x9155 ~x9156 ~x9157 ~x9158 ~x9159 ~x9160 ~x9161 ~x9162 ~x9163 ~x9164 ~x9165 ~x9166 ~x9167 ~x9168 ~x9169 ~x9170 ~x9171 ~x9172 ~x9173 ~x9174 ~x9175 ~x9176 ~x9177 ~x9178 ~x9179 ~x9180 ~x9181 ~x9182 ~x9183 ~x9184 ~x9185 ~x9186 ~x9187 ~x9188 ~x9189 ~x9190 ~x9191 ~x9192 ~x9193 ~x9194 ~x9195 ~x9196 ~x9197 ~x9198 ~x9199 ~x9200 ~x9201 ~x9202 ~x9203 ~x9204 ~x9205 ~x9206 ~x9207 ~x9208 x9209 ~x9210 ~x9211 ~x9212 ~x9213 ~x9214 ~x9215 ~x9216 ~x9217 ~x9218 ~x9219 ~x9220 ~x9221 ~x9222 ~x9223 ~x9224 ~x9225 ~x9226 ~x9227 ~x9228 ~x9229 ~x9230 ~x9231 ~x9232 ~x9233 ~x9234 ~x9235 ~x9236 ~x9237 ~x9238 ~x9239 ~x9240 ~x9241 ~x9242 ~x9243 ~x9244 ~x9245 ~x9246 ~x9247 ~x9248 ~x9249 ~x9250 ~x9251 ~x9252 ~x9253 ~x9254 ~x9255 ~x9256 ~x9257 ~x9258 ~x9259 ~x9260 ~x9261 ~x9262 ~x9263 ~x9264 ~x9265 ~x9266 ~x9267 ~x9268 ~x9269 ~x9270 ~x9271 ~x9272 ~x9273 ~x9274 ~x9275 ~x9276 ~x9277 ~x9278 ~x9279 ~x9280 ~x9281 ~x9282 ~x9283 ~x9284 ~x9285 ~x9286 ~x9287 ~x9288 ~x9289 ~x9290 ~x9291 ~x9292 ~x9293 ~x9294 ~x9295 ~x9296 ~x9297 ~x9298 ~x9299 ~x9300 ~x9301 ~x9302 ~x9303 ~x9304 ~x9305 ~x9306 ~x9307 ~x9308 ~x9309 ~x9310 ~x9311 ~x9312 ~x9313 ~x9314 ~x9315 ~x9316 ~x9317 ~x9318 ~x9319 ~x9320 ~x9321 ~x9322 ~x9323 ~x9324 ~x9325 x9326 ~x9327 ~x9328 ~x9329 ~x9330 ~x9331 ~x9332 ~x9333 ~x9334 ~x9335 ~x9336 ~x9337 ~x9338 ~x9339 ~x9340 ~x9341 ~x9342 ~x9343 ~x9344 ~x9345 ~x9346 ~x9347 ~x9348 ~x9349 ~x9350 ~x9351 ~x9352 ~x9353 ~x9354 ~x9355 ~x9356 ~x9357 ~x9358 ~x9359 ~x9360 ~x9361 ~x9362 ~x9363 ~x9364 ~x9365 ~x9366 ~x9367 ~x9368 ~x9369 ~x9370 ~x9371 ~x9372 ~x9373 ~x9374 ~x9375 ~x9376 ~x9377 ~x9378 ~x9379 ~x9380 ~x9381 ~x9382 ~x9383 ~x9384 ~x9385 ~x9386 ~x9387 ~x9388 ~x9389 ~x9390 ~x9391 ~x9392 ~x9393 ~x9394 ~x9395 ~x9396 ~x9397 ~x9398 ~x9399 ~x9400 ~x9401 ~x9402 ~x9403 ~x9404 ~x9405 ~x9406 ~x9407 ~x9408 ~x9409 ~x9410 ~x9411 ~x9412 ~x9413 ~x9414 ~x9415 ~x9416 ~x9417 ~x9418 ~x9419 ~x9420 ~x9421 ~x9422 ~x9423 ~x9424 ~x9425 x9426 ~x9427 ~x9428 ~x9429 ~x9430 ~x9431 ~x9432 ~x9433 ~x9434 ~x9435 ~x9436 ~x9437 ~x9438 ~x9439 ~x9440 ~x9441 ~x9442 ~x9443 ~x9444 ~x9445 ~x9446 ~x9447 ~x9448 ~x9449 ~x9450 ~x9451 ~x9452 ~x9453 ~x9454 ~x9455 ~x9456 ~x9457 ~x9458 ~x9459 ~x9460 ~x9461 ~x9462 ~x9463 ~x9464 ~x9465 ~x9466 ~x9467 ~x9468 ~x9469 ~x9470 ~x9471 ~x9472 ~x9473 ~x9474 ~x9475 ~x9476 ~x9477 ~x9478 ~x9479 ~x9480 ~x9481 ~x9482 ~x9483 ~x9484 ~x9485 ~x9486 ~x9487 ~x9488 ~x9489 ~x9490 ~x9491 ~x9492 ~x9493 ~x9494 ~x9495 ~x9496 ~x9497 ~x9498 ~x9499 ~x9500 ~x9501 ~x9502 ~x9503 ~x9504 ~x9505 ~x9506 ~x9507 ~x9508 ~x9509 ~x9510 ~x9511 ~x9512 ~x9513 ~x9514 ~x9515 ~x9516 ~x9517 ~x9518 ~x9519 ~x9520 x9521 ~x9522 ~x9523 ~x9524 ~x9525 ~x9526 ~x9527 ~x9528 ~x9529 ~x9530 ~x9531 x9532 ~x9533 ~x9534 ~x9535 ~x9536 ~x9537 ~x9538 ~x9539 ~x9540 ~x9541 ~x9542 ~x9543 ~x9544 ~x9545 ~x9546 ~x9547 ~x9548 ~x9549 ~x9550 ~x9551 ~x9552 ~x9553 ~x9554 ~x9555 ~x9556 ~x9557 ~x9558 ~x9559 ~x9560 ~x9561 ~x9562 ~x9563 ~x9564 ~x9565 ~x9566 ~x9567 ~x9568 ~x9569 ~x9570 ~x9571 ~x9572 ~x9573 ~x9574 ~x9575 ~x9576 ~x9577 ~x9578 ~x9579 ~x9580 ~x9581 ~x9582 ~x9583 ~x9584 ~x9585 ~x9586 ~x9587 ~x9588 ~x9589 ~x9590 ~x9591 ~x9592 ~x9593 ~x9594 ~x9595 ~x9596 ~x9597 ~x9598 ~x9599 ~x9600 ~x9601 ~x9602 ~x9603 ~x9604 ~x9605 ~x9606 ~x9607 ~x9608 ~x9609 ~x9610 ~x9611 ~x9612 ~x9613 ~x9614 ~x9615 ~x9616 ~x9617 ~x9618 ~x9619 ~x9620 ~x9621 ~x9622 ~x9623 ~x9624 ~x9625 ~x9626 ~x9627 ~x9628 ~x9629 ~x9630 ~x9631 ~x9632 ~x9633 ~x9634 ~x9635 ~x9636 ~x9637 ~x9638 ~x9639 ~x9640 ~x9641 x9642 ~x9643 ~x9644 ~x9645 ~x9646 ~x9647 ~x9648 ~x9649 ~x9650 ~x9651 ~x9652 ~x9653 ~x9654 ~x9655 ~x9656 ~x9657 ~x9658 ~x9659 ~x9660 ~x9661 ~x9662 ~x9663 ~x9664 ~x9665 ~x9666 ~x9667 ~x9668 ~x9669 ~x9670 ~x9671 ~x9672 ~x9673 ~x9674 ~x9675 ~x9676 ~x9677 ~x9678 ~x9679 ~x9680 ~x9681 ~x9682 ~x9683 ~x9684 ~x9685 ~x9686 ~x9687 ~x9688 ~x9689 ~x9690 ~x9691 ~x9692 ~x9693 ~x9694 ~x9695 ~x9696 ~x9697 ~x9698 ~x9699 ~x9700 ~x9701 ~x9702 ~x9703 ~x9704 ~x9705 ~x9706 ~x9707 ~x9708 ~x9709 ~x9710 ~x9711 ~x9712 ~x9713 ~x9714 ~x9715 ~x9716 ~x9717 ~x9718 ~x9719 ~x9720 ~x9721 ~x9722 ~x9723 ~x9724 ~x9725 ~x9726 ~x9727 ~x9728 ~x9729 ~x9730 ~x9731 ~x9732 ~x9733 ~x9734 ~x9735 ~x9736 ~x9737 ~x9738 ~x9739 ~x9740 ~x9741 ~x9742 ~x9743 ~x9744 ~x9745 ~x9746 ~x9747 ~x9748 ~x9749 ~x9750 ~x9751 ~x9752 ~x9753 ~x9754 ~x9755 ~x9756 ~x9757 ~x9758 ~x9759 ~x9760 ~x9761 ~x9762 ~x9763 ~x9764 ~x9765 ~x9766 ~x9767 ~x9768 ~x9769 ~x9770 ~x9771 ~x9772 ~x9773 ~x9774 ~x9775 x9776 ~x9777 ~x9778 ~x9779 ~x9780 ~x9781 ~x9782 ~x9783 ~x9784 ~x9785 ~x9786 ~x9787 ~x9788 ~x9789 ~x9790 ~x9791 ~x9792 ~x9793 ~x9794 ~x9795 ~x9796 ~x9797 ~x9798 ~x9799 ~x9800 ~x9801 ~x9802 ~x9803 ~x9804 ~x9805 ~x9806 ~x9807 ~x9808 ~x9809 ~x9810 ~x9811 ~x9812 ~x9813 ~x9814 ~x9815 ~x9816 ~x9817 ~x9818 ~x9819 ~x9820 ~x9821 ~x9822 ~x9823 ~x9824 ~x9825 ~x9826 ~x9827 ~x9828 ~x9829 ~x9830 ~x9831 ~x9832 ~x9833 ~x9834 ~x9835 ~x9836 ~x9837 ~x9838 ~x9839 ~x9840 ~x9841 ~x9842 ~x9843 ~x9844 ~x9845 ~x9846 ~x9847 ~x9848 ~x9849 ~x9850 ~x9851 ~x9852 ~x9853 ~x9854 ~x9855 ~x9856 ~x9857 ~x9858 ~x9859 ~x9860 ~x9861 x9862 ~x9863 ~x9864 ~x9865 ~x9866 ~x9867 ~x9868 ~x9869 ~x9870 ~x9871 ~x9872 ~x9873 ~x9874 ~x9875 ~x9876 ~x9877 ~x9878 ~x9879 ~x9880 ~x9881 ~x9882 ~x9883 ~x9884 ~x9885 ~x9886 ~x9887 ~x9888 ~x9889 ~x9890 ~x9891 ~x9892 ~x9893 ~x9894 ~x9895 ~x9896 ~x9897 ~x9898 ~x9899 ~x9900 ~x9901 ~x9902 ~x9903 ~x9904 ~x9905 ~x9906 ~x9907 ~x9908 ~x9909 ~x9910 ~x9911 ~x9912 ~x9913 ~x9914 ~x9915 ~x9916 ~x9917 ~x9918 ~x9919 ~x9920 ~x9921 ~x9922 ~x9923 ~x9924 ~x9925 ~x9926 ~x9927 ~x9928 ~x9929 ~x9930 ~x9931 ~x9932 ~x9933 ~x9934 ~x9935 ~x9936 ~x9937 ~x9938 ~x9939 ~x9940 ~x9941 ~x9942 ~x9943 ~x9944 ~x9945 ~x9946 ~x9947 ~x9948 ~x9949 ~x9950 ~x9951 ~x9952 ~x9953 ~x9954 ~x9955 ~x9956 ~x9957 ~x9958 ~x9959 ~x9960 ~x9961 ~x9962 ~x9963 ~x9964 ~x9965 ~x9966 ~x9967 ~x9968 ~x9969 ~x9970 ~x9971 ~x9972 ~x9973 ~x9974 ~x9975 ~x9976 ~x9977 ~x9978 ~x9979 ~x9980 ~x9981 ~x9982 ~x9983 ~x9984 ~x9985 ~x9986 ~x9987 ~x9988 ~x9989 ~x9990 ~x9991 ~x9992 ~x9993 ~x9994 x9995 ~x9996 ~x9997 ~x9998 ~x9999 ~x10000 3600.09/3609.60 c #Conflicts: 247000 | #Constraints: 668811
OK 346
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62800 MiB free)
memory of node 1: 64473 MiB (62641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429428-1721048454/watcher-4429428-1721048454 -o /tmp/evaluation-result-4429428-1721048454/solver-4429428-1721048454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721048466-804782 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429428-1721048454.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=804831, runsolver pid=804820
[startup+0.101027 s]*
/proc/loadavg: 3.90 4.09 4.10 7/257 804843
/proc/meminfo: memFree=128425452/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=40824 memory=11820 CPUtime=0.09 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 1793 0 0 0 7 2 0 0 20 0 1 0 157014327 41803776 2955 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 10206 2955 1248 922 0 2158 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 11820 KiB
[startup+0.204967 s]*
/proc/loadavg: 3.90 4.09 4.10 5/257 804843
/proc/meminfo: memFree=128414292/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=42276 memory=13668 CPUtime=0.2 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 2252 0 0 0 15 5 0 0 20 0 1 0 157014327 43290624 3417 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 10569 3417 1248 922 0 2521 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42276 KiB
Current children cumulated memory: 13668 KiB
[startup+0.305593 s]*
/proc/loadavg: 3.90 4.09 4.10 7/257 804843
/proc/meminfo: memFree=128400344/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=47028 memory=17180 CPUtime=0.29 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 3132 0 0 0 21 8 0 0 20 0 1 0 157014327 48156672 4295 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 11757 4295 1248 922 0 3709 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 17180 KiB
[startup+0.700179 s]
/proc/loadavg: 3.90 4.09 4.10 7/257 804843
/proc/meminfo: memFree=128373292/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=63980 memory=30308 CPUtime=0.69 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 5390 0 0 0 48 21 0 0 20 0 1 0 157014327 65515520 7577 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 15995 7577 1248 922 0 7947 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63980 KiB
Current children cumulated memory: 30308 KiB
[startup+1.50017 s]
/proc/loadavg: 3.91 4.09 4.10 6/257 804843
/proc/meminfo: memFree=128315584/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=133572 memory=103144 CPUtime=1.48 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 20218 0 0 0 104 44 0 0 20 0 1 0 157014327 136777728 25786 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 33393 25786 1561 922 0 25345 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133572 KiB
Current children cumulated memory: 103144 KiB
[startup+3.1065 s]
/proc/loadavg: 3.91 4.09 4.10 7/257 804843
/proc/meminfo: memFree=127153228/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=360720 memory=330152 CPUtime=3.09 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 58742 0 0 0 253 56 0 0 20 0 1 0 157014327 369377280 82538 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 90180 82538 1640 922 0 82132 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 330152 KiB
[startup+6.30018 s]
/proc/loadavg: 3.91 4.08 4.10 7/257 804845
/proc/meminfo: memFree=127153196/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=360720 memory=330536 CPUtime=6.27 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 58795 0 0 0 571 56 0 0 20 0 1 0 157014327 369377280 82634 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 90180 82634 1736 922 0 82132 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 330536 KiB
[startup+12.7002 s]
/proc/loadavg: 3.92 4.08 4.10 7/257 804845
/proc/meminfo: memFree=126923792/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=520276 memory=406820 CPUtime=12.66 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 63840 0 0 0 1145 121 0 0 20 0 1 0 157014327 532762624 101705 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 130069 101705 1845 922 0 122021 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 520276 KiB
Current children cumulated memory: 406820 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.10 4.10 7/257 804848
/proc/meminfo: memFree=126634688/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=546148 memory=442968 CPUtime=25.42 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 67882 0 0 0 2392 150 0 0 20 0 1 0 157014327 559255552 110742 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 136537 110742 1845 922 0 128489 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 546148 KiB
Current children cumulated memory: 442968 KiB
[startup+51.1064 s]
/proc/loadavg: 4.01 4.09 4.10 7/257 804851
/proc/meminfo: memFree=126139768/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=619000 memory=489540 CPUtime=50.96 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 69466 0 0 0 4908 188 0 0 20 0 1 0 157014327 633856000 122385 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 154750 122385 1845 922 0 146702 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 619000 KiB
Current children cumulated memory: 489540 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 7/257 804861
/proc/meminfo: memFree=125741032/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=652600 memory=535228 CPUtime=102.02 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 71674 0 0 0 9964 238 0 0 20 0 1 0 157014327 668262400 133807 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 163150 133807 1845 922 0 155102 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 652600 KiB
Current children cumulated memory: 535228 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/257 804871
/proc/meminfo: memFree=124715376/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=1061636 memory=884444 CPUtime=161.87 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 102002 0 0 0 15838 349 0 0 20 0 1 0 157014327 1087115264 221111 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 265409 221111 1845 922 0 257361 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1061636 KiB
Current children cumulated memory: 884444 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.09 7/256 804882
/proc/meminfo: memFree=124078292/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=1521880 memory=1203588 CPUtime=221.71 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 146304 0 0 0 21768 403 0 0 20 0 1 0 157014327 1558405120 300897 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 380470 300897 1845 922 0 372422 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1521880 KiB
Current children cumulated memory: 1203588 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 7/256 804893
/proc/meminfo: memFree=123826096/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=1539872 memory=1211544 CPUtime=281.55 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 146862 0 0 0 27731 424 0 0 20 0 1 0 157014327 1576828928 302886 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 384968 302886 1845 922 0 376920 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1539872 KiB
Current children cumulated memory: 1211544 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 7/254 804903
/proc/meminfo: memFree=123527248/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=1585400 memory=1287072 CPUtime=341.39 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 151196 0 0 0 33672 467 0 0 20 0 1 0 157014327 1623449600 321768 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 396350 321768 1845 922 0 388302 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 1585400 KiB
Current children cumulated memory: 1287072 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/254 804914
/proc/meminfo: memFree=123082404/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=1631836 memory=1472728 CPUtime=401.23 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 160975 0 0 0 39597 526 0 0 20 0 1 0 157014327 1671000064 368182 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 407959 368182 1845 922 0 399911 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1631836 KiB
Current children cumulated memory: 1472728 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 7/254 804924
/proc/meminfo: memFree=122900772/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=1643716 memory=1487260 CPUtime=461.08 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 162331 0 0 0 45522 586 0 0 20 0 1 0 157014327 1683165184 371815 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 410929 371815 1845 922 0 402881 0
################
# More data... #
################
Current children cumulated memory: 2547400 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.12 4.12 7/255 806101
/proc/meminfo: memFree=118117608/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2713720 memory=2558008 CPUtime=2854.73 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 291845 0 0 0 283586 1887 0 0 20 0 1 0 157014327 2778849280 639502 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 678430 639502 1974 922 0 670382 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 2713720 KiB
Current children cumulated memory: 2558008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.12 7/255 806112
/proc/meminfo: memFree=118001156/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2713720 memory=2562840 CPUtime=2914.59 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 292656 0 0 0 289550 1909 0 0 20 0 1 0 157014327 2778849280 640710 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 678430 640710 1974 922 0 670382 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 2713720 KiB
Current children cumulated memory: 2562840 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.11 7/255 806124
/proc/meminfo: memFree=117905812/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2714464 memory=2560924 CPUtime=2974.42 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 298597 0 0 0 295497 1945 0 0 20 0 1 0 157014327 2779611136 640231 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 678616 640231 1974 922 0 670568 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 2714464 KiB
Current children cumulated memory: 2560924 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.11 7/256 806138
/proc/meminfo: memFree=117872996/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2714464 memory=2560924 CPUtime=3034.25 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 299361 0 0 0 301453 1972 0 0 20 0 1 0 157014327 2779611136 640231 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 678616 640231 1974 922 0 670568 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 2714464 KiB
Current children cumulated memory: 2560924 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.11 7/256 806149
/proc/meminfo: memFree=117739612/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2838612 memory=2693328 CPUtime=3094.1 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 309967 0 0 0 307401 2009 0 0 20 0 1 0 157014327 2906738688 673332 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 709653 673332 1974 922 0 701605 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 2838612 KiB
Current children cumulated memory: 2693328 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 7/256 806159
/proc/meminfo: memFree=117790564/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2838612 memory=2693340 CPUtime=3153.95 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 310661 0 0 0 313355 2040 0 0 20 0 1 0 157014327 2906738688 673335 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 709653 673335 1974 922 0 701605 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 2838612 KiB
Current children cumulated memory: 2693340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 7/257 806172
/proc/meminfo: memFree=117717100/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2908532 memory=2762756 CPUtime=3213.81 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 314459 0 0 0 319310 2071 0 0 20 0 1 0 157014327 2978336768 690689 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 727133 690689 1974 922 0 719085 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 2908532 KiB
Current children cumulated memory: 2762756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.10 7/257 806182
/proc/meminfo: memFree=117715732/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2908532 memory=2762916 CPUtime=3273.65 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 315286 0 0 0 325280 2085 0 0 20 0 1 0 157014327 2978336768 690729 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 727133 690729 1974 922 0 719085 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 2908532 KiB
Current children cumulated memory: 2762916 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 7/257 806576
/proc/meminfo: memFree=117676832/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2908532 memory=2764112 CPUtime=3333.5 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 316144 0 0 0 331247 2103 0 0 20 0 1 0 157014327 2978336768 691028 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 727133 691028 1974 922 0 719085 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 2908532 KiB
Current children cumulated memory: 2764112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.10 7/257 806587
/proc/meminfo: memFree=117662932/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2908532 memory=2781308 CPUtime=3393.31 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 317063 0 0 0 337217 2114 0 0 20 0 1 0 157014327 2978336768 695327 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 727133 695327 1974 922 0 719085 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 2908532 KiB
Current children cumulated memory: 2781308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 7/257 806597
/proc/meminfo: memFree=117631912/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2908532 memory=2805072 CPUtime=3453.16 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 318280 0 0 0 343162 2154 0 0 20 0 1 0 157014327 2978336768 701268 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 727133 701268 1974 922 0 719085 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 2908532 KiB
Current children cumulated memory: 2805072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 7/258 806777
/proc/meminfo: memFree=117672364/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2861600 memory=2768060 CPUtime=3513.01 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 321201 0 0 0 349096 2205 0 0 20 0 1 0 157014327 2930278400 692015 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 715400 692015 1974 922 0 707352 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 2861600 KiB
Current children cumulated memory: 2768060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/258 806789
/proc/meminfo: memFree=117673672/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2861600 memory=2769464 CPUtime=3572.87 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 322207 0 0 0 355048 2239 0 0 20 0 1 0 157014327 2930278400 692366 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 715400 692366 1974 922 0 707352 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 2861600 KiB
Current children cumulated memory: 2769464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.15 4.13 4.10 7/259 806808
/proc/meminfo: memFree=117626488/131524600 swapFree=131071996/131071996
[pid=804831] ppid=804820 vsize=2901740 memory=2810612 CPUtime=3600.09 cores=1,3
/proc/804831/stat : 804831 (roundingsat) R 804820 804831 804770 0 -1 4194304 323612 0 0 0 357760 2249 0 0 20 0 1 0 157014327 2971381760 702653 134679101440 4194304 7968869 140731118660848 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 33484800 140731118662590 140731118662754 140731118662754 140731118669769 0
/proc/804831/statm: 725435 702653 1974 922 0 717387 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2901740 KiB
Current children cumulated memory: 2810612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.62 s]
# the end of solver process 804831 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3577.61 s, system=22.5157 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.62
CPU time (s): 3600.13
CPU user time (s): 3577.61
CPU system time (s): 22.5157
CPU usage (%): 99.7369
Max. virtual memory (cumulated for all children) (KiB): 2990776
Max. memory (cumulated for all children) (KiB): 2896500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.61
system time used= 22.5157
maximum resident set size= 2906848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323970
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= 73
involuntary context switches= 1962
# summary of solver processes directly reported to runsolver:
# pid: 804831
# total CPU time (s): 3600.13
# total CPU user time (s): 3577.61
# total CPU system time (s): 22.5157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61408 second user time and 19.5135 second system time
The end
Begin job on nodeC032 at 2024-07-15 15:01:06 IDJOB=4429428 IDBENCH=147563 IDSOLVER=3051 FILE ID=nodeC032/4429428-1721048454 RUNJOBID= nodeC032-1721048466-804782 SLURM_JOB_ID= 7505466 Free space on /tmp= 890020 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429428-1721048454/watcher-4429428-1721048454 -o /tmp/evaluation-result-4429428-1721048454/solver-4429428-1721048454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721048466-804782 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429428-1721048454.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb RANDOM SEED=20980160 nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3620.668 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.643 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.439 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3583.553 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3649.986 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.069 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3498.483 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3549.316 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128458676 kB MemAvailable: 129724952 kB Buffers: 360376 kB Cached: 1735740 kB SwapCached: 0 kB Active: 613308 kB Inactive: 1845584 kB Active(anon): 1460 kB Inactive(anon): 399388 kB Active(file): 611848 kB Inactive(file): 1446196 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 83512 kB Writeback: 0 kB AnonPages: 363216 kB Mapped: 103244 kB Shmem: 37720 kB KReclaimable: 96108 kB Slab: 201408 kB SReclaimable: 96108 kB SUnreclaim: 105300 kB KernelStack: 3968 kB PageTables: 9656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 835132 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61888 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 219860 kB DirectMap2M: 19476480 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 889996 MiB End job on nodeC032 at 2024-07-15 16:01:16