| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 312 | 3600.14 | 3611.44 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb |
| MD5SUM | 0cfe35c6a899c796e17247c8eb2f096e |
| 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.02 |
| 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 | 493167 |
| 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 | 493167 |
| 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 2.48/2.51 c #variables 10000 #constraints 656900 4.47/4.53 c bounds 493168 >= 0 @ 1.72782 4.47/4.53 c rational objective 174.399 38.46/38.63 c bounds 6467 >= 0 @ 7.46808 38.46/38.63 c bounds 6255 >= 0 @ 7.47224 38.46/38.63 c bounds 6172 >= 0 @ 7.48368 38.46/38.63 c bounds 6132 >= 0 @ 7.48818 38.46/38.63 c bounds 6038 >= 0 @ 7.49225 38.46/38.63 c bounds 5924 >= 0 @ 7.49812 38.46/38.63 c bounds 5824 >= 0 @ 7.50123 38.46/38.63 c bounds 5802 >= 0 @ 7.51153 38.46/38.63 c bounds 5744 >= 0 @ 7.51657 38.46/38.63 c bounds 5669 >= 0 @ 7.52312 38.46/38.63 c bounds 5448 >= 0 @ 7.52746 38.46/38.63 c bounds 5399 >= 0 @ 7.53232 38.46/38.63 c bounds 5320 >= 0 @ 7.54065 38.46/38.63 c bounds 5263 >= 0 @ 7.54707 38.46/38.63 c bounds 5208 >= 0 @ 7.54987 38.46/38.63 c bounds 5206 >= 0 @ 7.55401 38.46/38.63 c bounds 5143 >= 0 @ 7.5583 38.46/38.63 c bounds 5137 >= 0 @ 7.5637 38.46/38.63 c bounds 5129 >= 0 @ 7.56684 38.46/38.63 c bounds 5121 >= 0 @ 7.57157 38.46/38.63 c bounds 5116 >= 0 @ 7.66149 38.46/38.63 c bounds 4993 >= 0 @ 7.66686 38.46/38.63 c bounds 4979 >= 0 @ 7.71918 38.46/38.63 c bounds 4965 >= 0 @ 7.72556 38.46/38.63 c bounds 4794 >= 0 @ 7.74716 38.46/38.63 c bounds 4744 >= 0 @ 7.75552 38.46/38.63 c bounds 4592 >= 0 @ 7.7613 38.46/38.63 c bounds 4591 >= 0 @ 7.77612 38.46/38.63 c bounds 4543 >= 0 @ 7.78339 38.46/38.63 c bounds 4442 >= 0 @ 7.78966 38.46/38.63 c bounds 4429 >= 0 @ 7.81773 38.46/38.63 c bounds 4364 >= 0 @ 7.82475 38.46/38.63 c bounds 4361 >= 0 @ 7.83061 38.46/38.63 c bounds 4360 >= 0 @ 7.83749 38.46/38.63 c bounds 4356 >= 0 @ 7.84569 38.46/38.63 c bounds 4293 >= 0 @ 7.85262 38.46/38.63 c bounds 4225 >= 0 @ 7.85799 38.46/38.63 c bounds 4189 >= 0 @ 7.87687 38.46/38.63 c bounds 4165 >= 0 @ 7.88204 38.46/38.63 c bounds 4056 >= 0 @ 7.88644 38.46/38.63 c bounds 4030 >= 0 @ 7.89382 38.46/38.63 c bounds 4009 >= 0 @ 7.90003 38.46/38.63 c bounds 3993 >= 0 @ 7.90631 38.46/38.63 c bounds 3987 >= 0 @ 7.90962 38.46/38.63 c bounds 3959 >= 0 @ 7.91526 38.46/38.63 c bounds 3923 >= 0 @ 7.91799 38.46/38.63 c bounds 3720 >= 0 @ 7.92281 38.46/38.63 c bounds 3679 >= 0 @ 8.33994 38.46/38.63 c bounds 3661 >= 0 @ 8.43422 38.46/38.63 c bounds 3626 >= 0 @ 8.44099 38.46/38.63 c bounds 3531 >= 0 @ 8.53849 38.46/38.63 c bounds 3484 >= 0 @ 8.54771 38.46/38.63 c bounds 3481 >= 0 @ 8.55715 38.46/38.63 c bounds 3449 >= 0 @ 8.66075 38.46/38.63 c bounds 3395 >= 0 @ 8.66812 38.46/38.63 c bounds 3312 >= 0 @ 8.67611 38.46/38.63 c bounds 3285 >= 0 @ 8.68202 38.46/38.63 c bounds 3243 >= 0 @ 8.68812 38.46/38.63 c bounds 3193 >= 0 @ 8.6953 38.46/38.63 c bounds 3153 >= 0 @ 8.70105 38.46/38.63 c bounds 3089 >= 0 @ 8.70697 38.46/38.63 c bounds 2962 >= 0 @ 8.80388 38.46/38.63 c bounds 2911 >= 0 @ 8.81163 38.46/38.63 c bounds 2774 >= 0 @ 8.81727 38.46/38.63 c bounds 2747 >= 0 @ 8.82504 38.46/38.63 c bounds 2729 >= 0 @ 8.83829 38.46/38.63 c bounds 2533 >= 0 @ 8.84688 38.46/38.63 c bounds 2376 >= 0 @ 8.85475 38.46/38.63 c bounds 2316 >= 0 @ 8.86294 38.46/38.63 c bounds 2280 >= 0 @ 8.87445 38.46/38.63 c bounds 2266 >= 0 @ 8.88093 38.46/38.63 c bounds 2037 >= 0 @ 8.89039 38.46/38.63 c bounds 2029 >= 0 @ 8.89628 38.46/38.63 c bounds 2013 >= 0 @ 8.90282 38.46/38.63 c bounds 1998 >= 0 @ 8.90789 38.46/38.63 c bounds 1996 >= 0 @ 8.92101 38.46/38.63 c bounds 1988 >= 0 @ 8.93014 38.46/38.63 c bounds 1873 >= 0 @ 8.93605 38.46/38.63 c bounds 1782 >= 0 @ 8.94148 38.46/38.63 c bounds 1767 >= 0 @ 8.94615 38.46/38.63 c bounds 1765 >= 0 @ 8.95295 38.46/38.63 c bounds 1756 >= 0 @ 8.96327 38.46/38.63 c bounds 1721 >= 0 @ 8.97142 38.46/38.63 c bounds 1716 >= 0 @ 8.97752 38.46/38.63 c bounds 1662 >= 0 @ 8.98807 38.46/38.63 c bounds 1653 >= 0 @ 9.01179 38.46/38.63 c bounds 1599 >= 0 @ 9.01883 38.46/38.63 c bounds 1586 >= 0 @ 9.02916 38.46/38.63 c bounds 1566 >= 0 @ 9.03466 38.46/38.63 c bounds 1550 >= 0 @ 9.0386 38.46/38.63 c bounds 1419 >= 0 @ 9.05229 38.46/38.63 c bounds 1401 >= 0 @ 9.06256 38.46/38.63 c bounds 1299 >= 0 @ 9.06932 38.46/38.63 c bounds 1280 >= 0 @ 9.08081 38.46/38.63 c bounds 1257 >= 0 @ 9.08803 38.46/38.63 c bounds 1224 >= 0 @ 9.09703 38.46/38.63 c bounds 1214 >= 0 @ 9.20004 38.46/38.63 c bounds 1159 >= 0 @ 9.29239 38.46/38.63 c bounds 1124 >= 0 @ 9.29866 38.46/38.63 c bounds 1108 >= 0 @ 10.0751 38.46/38.63 c bounds 1107 >= 0 @ 10.2939 38.46/38.63 c bounds 1024 >= 0 @ 10.3037 38.46/38.63 c bounds 946 >= 0 @ 10.3099 38.46/38.63 c bounds 930 >= 0 @ 10.3191 38.46/38.63 c #Conflicts: 1000 | #Constraints: 658022 38.46/38.63 c bounds 814 >= 0 @ 10.5946 38.46/38.63 c bounds 798 >= 0 @ 11.4584 38.46/38.63 c bounds 787 >= 0 @ 11.4705 38.46/38.63 c bounds 784 >= 0 @ 11.5299 38.46/38.63 c bounds 783 >= 0 @ 11.6035 38.46/38.63 c bounds 782 >= 0 @ 11.6247 38.46/38.63 c bounds 741 >= 0 @ 11.7142 38.46/38.63 c bounds 731 >= 0 @ 11.725 38.46/38.63 c bounds 720 >= 0 @ 12.0541 38.46/38.63 c #Conflicts: 2000 | #Constraints: 659033 38.46/38.63 c INPROCESSING 38.46/38.63 c GARBAGE COLLECT 38.46/38.63 c bounds 604 >= 0 @ 13.4041 38.46/38.63 c #Conflicts: 3000 | #Constraints: 658918 38.46/38.63 c bounds 603 >= 0 @ 15.5905 38.46/38.63 c bounds 601 >= 0 @ 15.6167 38.46/38.63 c bounds 596 >= 0 @ 15.6327 38.46/38.63 c bounds 595 >= 0 @ 16.1154 38.46/38.63 c bounds 593 >= 0 @ 16.9339 38.46/38.63 c bounds 541 >= 0 @ 17.5446 38.46/38.63 c #Conflicts: 4000 | #Constraints: 659932 38.46/38.63 c INPROCESSING 38.46/38.63 c GARBAGE COLLECT 38.46/38.63 c bounds 534 >= 0 @ 21.1499 38.46/38.63 c bounds 531 >= 0 @ 21.3938 38.46/38.63 c #Conflicts: 5000 | #Constraints: 659327 38.46/38.63 c #Conflicts: 6000 | #Constraints: 660327 38.46/38.63 c INPROCESSING 38.46/38.63 c GARBAGE COLLECT 38.46/38.63 c bounds 529 >= 0 @ 32.3011 38.46/38.63 c #Conflicts: 7000 | #Constraints: 659327 38.46/38.63 c #Conflicts: 8000 | #Constraints: 660327 38.46/38.63 c #Conflicts: 9000 | #Constraints: 661327 192.25/192.92 c INPROCESSING 192.25/192.92 c GARBAGE COLLECT 192.25/192.92 c bounds 527 >= 0 @ 49.214 192.25/192.92 c #Conflicts: 10000 | #Constraints: 660029 192.25/192.92 c #Conflicts: 11000 | #Constraints: 661029 192.25/192.92 c #Conflicts: 12000 | #Constraints: 662029 192.25/192.92 c INPROCESSING 192.25/192.92 c GARBAGE COLLECT 192.25/192.92 c bounds 526 >= 0 @ 56.2288 192.25/192.92 c bounds 521 >= 0 @ 56.9667 192.25/192.92 c bounds 521 >= 5 @ 56.971 192.25/192.92 c bounds 521 >= 10 @ 57.0034 192.25/192.92 c #Conflicts: 13000 | #Constraints: 660488 192.25/192.92 c #Conflicts: 14000 | #Constraints: 661488 192.25/192.92 c #Conflicts: 15000 | #Constraints: 662488 192.25/192.92 c INPROCESSING 192.25/192.92 c GARBAGE COLLECT 192.25/192.92 c bounds 514 >= 10 @ 83.6725 192.25/192.92 c bounds 512 >= 10 @ 83.7015 192.25/192.92 c #Conflicts: 16000 | #Constraints: 660752 192.25/192.92 c bounds 510 >= 10 @ 84.2917 192.25/192.92 c bounds 502 >= 10 @ 84.6801 192.25/192.92 c bounds 501 >= 10 @ 85.5915 192.25/192.92 c bounds 493 >= 10 @ 86.2739 192.25/192.92 c bounds 491 >= 10 @ 86.4143 192.25/192.92 c bounds 490 >= 10 @ 86.5279 192.25/192.92 c bounds 488 >= 10 @ 86.5831 192.25/192.92 c bounds 482 >= 10 @ 86.8081 192.25/192.92 c bounds 474 >= 10 @ 86.8433 192.25/192.92 c bounds 470 >= 10 @ 87.0594 192.25/192.92 c bounds 467 >= 10 @ 87.1038 192.25/192.92 c bounds 460 >= 10 @ 87.1597 192.25/192.92 c bounds 459 >= 10 @ 87.3113 192.25/192.92 c bounds 450 >= 10 @ 87.407 192.25/192.92 c #Conflicts: 17000 | #Constraints: 661793 192.25/192.92 c #Conflicts: 18000 | #Constraints: 662808 192.25/192.92 c INPROCESSING 192.25/192.92 c GARBAGE COLLECT 192.25/192.92 c rational objective 178.042 283.65/284.63 c #Conflicts: 19000 | #Constraints: 660781 283.65/284.63 c #Conflicts: 20000 | #Constraints: 661793 283.65/284.63 c #Conflicts: 21000 | #Constraints: 662807 283.65/284.63 c INPROCESSING 283.65/284.63 c GARBAGE COLLECT 283.65/284.63 c bounds 450 >= 14 @ 239.225 283.65/284.63 c #Conflicts: 22000 | #Constraints: 660574 283.65/284.63 c #Conflicts: 23000 | #Constraints: 661574 283.65/284.63 c #Conflicts: 24000 | #Constraints: 662574 283.65/284.63 c #Conflicts: 25000 | #Constraints: 663574 283.65/284.63 c INPROCESSING 283.65/284.63 c #Conflicts: 26000 | #Constraints: 661156 283.65/284.63 c #Conflicts: 27000 | #Constraints: 662156 283.65/284.63 c #Conflicts: 28000 | #Constraints: 663156 283.65/284.63 c #Conflicts: 29000 | #Constraints: 664156 283.65/284.63 c INPROCESSING 283.65/284.63 c GARBAGE COLLECT 283.65/284.63 c rational objective 179.894 310.77/311.89 c #Conflicts: 30000 | #Constraints: 661549 310.77/311.89 c #Conflicts: 31000 | #Constraints: 662549 310.77/311.89 c #Conflicts: 32000 | #Constraints: 663549 310.77/311.89 c #Conflicts: 33000 | #Constraints: 664549 310.77/311.89 c INPROCESSING 310.77/311.89 c rational objective 180.745 355.42/356.62 c #Conflicts: 34000 | #Constraints: 661754 355.42/356.62 c #Conflicts: 35000 | #Constraints: 662754 355.42/356.62 c #Conflicts: 36000 | #Constraints: 663754 355.42/356.62 c #Conflicts: 37000 | #Constraints: 664754 355.42/356.62 c INPROCESSING 355.42/356.62 c GARBAGE COLLECT 355.42/356.62 c #Conflicts: 38000 | #Constraints: 661756 355.42/356.62 c #Conflicts: 39000 | #Constraints: 662756 355.42/356.62 c #Conflicts: 40000 | #Constraints: 663756 355.42/356.62 c #Conflicts: 41000 | #Constraints: 664756 355.42/356.62 c INPROCESSING 355.42/356.62 c GARBAGE COLLECT 355.42/356.62 c rational objective 180.849 423.51/424.98 c #Conflicts: 42000 | #Constraints: 661565 423.51/424.98 c bounds 401 >= 14 @ 359.202 423.51/424.98 c bounds 401 >= 17 @ 359.22 423.51/424.98 c bounds 401 >= 20 @ 359.24 423.51/424.98 c bounds 401 >= 23 @ 359.281 423.51/424.98 c bounds 401 >= 26 @ 363.422 423.51/424.98 c #Conflicts: 43000 | #Constraints: 662597 423.51/424.98 c #Conflicts: 44000 | #Constraints: 663597 423.51/424.98 c #Conflicts: 45000 | #Constraints: 664597 423.51/424.98 c #Conflicts: 46000 | #Constraints: 665597 423.51/424.98 c INPROCESSING 423.51/424.98 c GARBAGE COLLECT 423.51/424.98 c rational objective 180.861 545.73/547.52 c #Conflicts: 47000 | #Constraints: 662203 545.73/547.52 c #Conflicts: 48000 | #Constraints: 663203 545.73/547.52 c #Conflicts: 49000 | #Constraints: 664203 545.73/547.52 c #Conflicts: 50000 | #Constraints: 665203 545.73/547.52 c #Conflicts: 51000 | #Constraints: 666203 545.73/547.52 c INPROCESSING 545.73/547.52 c GARBAGE COLLECT 545.73/547.52 c rational objective 181.251 625.57/627.69 c bounds 399 >= 26 @ 545.739 625.57/627.69 c bounds 392 >= 26 @ 546.164 625.57/627.69 c #Conflicts: 52000 | #Constraints: 662616 625.57/627.69 c bounds 391 >= 26 @ 555.667 625.57/627.69 c bounds 385 >= 26 @ 555.889 625.57/627.69 c #Conflicts: 53000 | #Constraints: 663618 625.57/627.69 c bounds 382 >= 26 @ 557.982 625.57/627.69 c bounds 381 >= 26 @ 558.214 625.57/627.69 c bounds 380 >= 26 @ 558.34 625.57/627.69 c bounds 379 >= 26 @ 561.387 625.57/627.69 c bounds 378 >= 26 @ 562.845 625.57/627.69 c #Conflicts: 54000 | #Constraints: 664634 625.57/627.69 c bounds 377 >= 26 @ 571.015 625.57/627.69 c bounds 370 >= 26 @ 574.357 625.57/627.69 c bounds 364 >= 26 @ 576.158 625.57/627.69 c #Conflicts: 55000 | #Constraints: 665648 625.57/627.69 c bounds 362 >= 26 @ 584.311 625.57/627.69 c bounds 360 >= 26 @ 584.408 625.57/627.69 c bounds 359 >= 26 @ 587.29 625.57/627.69 c #Conflicts: 56000 | #Constraints: 666669 625.57/627.69 c INPROCESSING 625.57/627.69 c GARBAGE COLLECT 625.57/627.69 c rational objective 181.252 712.41/714.76 c bounds 358 >= 26 @ 632.458 712.41/714.76 c bounds 357 >= 26 @ 632.511 712.41/714.76 c #Conflicts: 57000 | #Constraints: 662813 712.41/714.76 c #Conflicts: 58000 | #Constraints: 663831 712.41/714.76 c #Conflicts: 59000 | #Constraints: 664846 712.41/714.76 c bounds 356 >= 26 @ 680.963 712.41/714.76 c bounds 356 >= 28 @ 680.996 712.41/714.76 c bounds 356 >= 30 @ 681.256 712.41/714.76 c #Conflicts: 60000 | #Constraints: 665872 712.41/714.76 c #Conflicts: 61000 | #Constraints: 666872 712.41/714.76 c INPROCESSING 712.41/714.76 c GARBAGE COLLECT 712.41/714.76 c rational objective 181.272 763.44/765.92 c #Conflicts: 62000 | #Constraints: 662828 763.44/765.92 c #Conflicts: 63000 | #Constraints: 663828 763.44/765.92 c #Conflicts: 64000 | #Constraints: 664828 763.44/765.92 c #Conflicts: 65000 | #Constraints: 665828 763.44/765.92 c #Conflicts: 66000 | #Constraints: 666828 763.44/765.92 c INPROCESSING 763.44/765.92 c GARBAGE COLLECT 763.44/765.92 c rational objective 181.285 846.29/849.05 c #Conflicts: 67000 | #Constraints: 662630 846.29/849.05 c #Conflicts: 68000 | #Constraints: 663634 846.29/849.05 c #Conflicts: 69000 | #Constraints: 664635 846.29/849.05 c #Conflicts: 70000 | #Constraints: 665636 846.29/849.05 c #Conflicts: 71000 | #Constraints: 666639 846.29/849.05 c #Conflicts: 72000 | #Constraints: 667645 846.29/849.05 c INPROCESSING 846.29/849.05 c GARBAGE COLLECT 846.29/849.05 c rational objective 181.296 996.60/999.88 c bounds 355 >= 30 @ 845.678 996.60/999.88 c bounds 351 >= 30 @ 846.611 996.60/999.88 c bounds 350 >= 30 @ 846.649 996.60/999.88 c #Conflicts: 73000 | #Constraints: 663249 996.60/999.88 c bounds 348 >= 30 @ 855.542 996.60/999.88 c #Conflicts: 74000 | #Constraints: 664261 996.60/999.88 c #Conflicts: 75000 | #Constraints: 665275 996.60/999.88 c bounds 347 >= 30 @ 876.748 996.60/999.88 c bounds 347 >= 31 @ 876.779 996.60/999.88 c bounds 347 >= 32 @ 876.804 996.60/999.88 c bounds 347 >= 33 @ 876.826 996.60/999.88 c bounds 347 >= 34 @ 876.855 996.60/999.88 c bounds 347 >= 35 @ 876.883 996.60/999.88 c bounds 347 >= 36 @ 876.909 996.60/999.88 c bounds 347 >= 37 @ 876.937 996.60/999.88 c bounds 347 >= 38 @ 876.964 996.60/999.88 c bounds 347 >= 39 @ 876.988 996.60/999.88 c bounds 347 >= 40 @ 877.02 996.60/999.88 c bounds 347 >= 41 @ 877.047 996.60/999.88 c bounds 347 >= 42 @ 877.081 996.60/999.88 c bounds 347 >= 43 @ 877.113 996.60/999.88 c bounds 347 >= 44 @ 877.144 996.60/999.88 c bounds 347 >= 45 @ 877.17 996.60/999.88 c bounds 347 >= 46 @ 877.208 996.60/999.88 c bounds 347 >= 47 @ 877.238 996.60/999.88 c bounds 347 >= 48 @ 877.275 996.60/999.88 c bounds 347 >= 49 @ 877.359 996.60/999.88 c bounds 347 >= 50 @ 877.396 996.60/999.88 c bounds 347 >= 51 @ 877.453 996.60/999.88 c bounds 347 >= 52 @ 881.101 996.60/999.88 c bounds 347 >= 53 @ 881.174 996.60/999.88 c bounds 347 >= 54 @ 881.371 996.60/999.88 c bounds 347 >= 55 @ 881.482 996.60/999.88 c bounds 347 >= 56 @ 881.773 996.60/999.88 c bounds 347 >= 57 @ 882.06 996.60/999.88 c bounds 347 >= 58 @ 882.207 996.60/999.88 c bounds 347 >= 59 @ 883.076 996.60/999.88 c bounds 347 >= 60 @ 884.3 996.60/999.88 c #Conflicts: 76000 | #Constraints: 666542 996.60/999.88 c bounds 347 >= 61 @ 886.339 996.60/999.88 c bounds 347 >= 62 @ 889.021 996.60/999.88 c bounds 342 >= 62 @ 891.196 996.60/999.88 c #Conflicts: 77000 | #Constraints: 667585 996.60/999.88 c bounds 342 >= 63 @ 893.859 996.60/999.88 c bounds 341 >= 63 @ 895.331 996.60/999.88 c bounds 341 >= 64 @ 907.225 996.60/999.88 c #Conflicts: 78000 | #Constraints: 668646 996.60/999.88 c INPROCESSING 996.60/999.88 c GARBAGE COLLECT 996.60/999.88 c rational objective 181.298 1092.40/1095.95 c #Conflicts: 79000 | #Constraints: 663969 1092.40/1095.95 c bounds 341 >= 65 @ 997.415 1092.40/1095.95 c #Conflicts: 80000 | #Constraints: 665013 1092.40/1095.95 c #Conflicts: 81000 | #Constraints: 666029 1092.40/1095.95 c #Conflicts: 82000 | #Constraints: 667040 1092.40/1095.95 c #Conflicts: 83000 | #Constraints: 668048 1092.40/1095.95 c #Conflicts: 84000 | #Constraints: 669059 1092.40/1095.95 c INPROCESSING 1092.40/1095.95 c GARBAGE COLLECT 1092.40/1095.95 c rational objective 181.314 1148.43/1152.17 c #Conflicts: 85000 | #Constraints: 664216 1148.43/1152.17 c bounds 341 >= 66 @ 1098.43 1148.43/1152.17 c #Conflicts: 86000 | #Constraints: 665244 1148.43/1152.17 c #Conflicts: 87000 | #Constraints: 666244 1148.43/1152.17 c bounds 341 >= 67 @ 1115.13 1148.43/1152.17 c #Conflicts: 88000 | #Constraints: 667259 1148.43/1152.17 c #Conflicts: 89000 | #Constraints: 668260 1148.43/1152.17 c #Conflicts: 90000 | #Constraints: 669260 1148.43/1152.17 c INPROCESSING 1148.43/1152.17 c GARBAGE COLLECT 1148.43/1152.17 c rational objective 181.316 1215.40/1219.32 c #Conflicts: 91000 | #Constraints: 664243 1215.40/1219.32 c #Conflicts: 92000 | #Constraints: 665245 1215.40/1219.32 c bounds 341 >= 68 @ 1164.92 1215.40/1219.32 c #Conflicts: 93000 | #Constraints: 666288 1215.40/1219.32 c #Conflicts: 94000 | #Constraints: 667288 1215.40/1219.32 c #Conflicts: 95000 | #Constraints: 668288 1215.40/1219.32 c #Conflicts: 96000 | #Constraints: 669288 1215.40/1219.32 c INPROCESSING 1215.40/1219.32 c GARBAGE COLLECT 1215.40/1219.32 c rational objective 181.316 1322.76/1327.10 c #Conflicts: 97000 | #Constraints: 664087 1322.76/1327.10 c #Conflicts: 98000 | #Constraints: 665087 1322.76/1327.10 c #Conflicts: 99000 | #Constraints: 666102 1322.76/1327.10 c #Conflicts: 100000 | #Constraints: 667296 1322.76/1327.10 c #Conflicts: 101000 | #Constraints: 668603 1322.76/1327.10 c #Conflicts: 102000 | #Constraints: 669898 1322.76/1327.10 c bounds 340 >= 68 @ 1299.31 1322.76/1327.10 c #Conflicts: 103000 | #Constraints: 671097 1322.76/1327.10 c bounds 339 >= 68 @ 1300.37 1322.76/1327.10 c INPROCESSING 1322.76/1327.10 c GARBAGE COLLECT 1322.76/1327.10 c rational objective 181.316 1394.72/1399.23 c bounds 338 >= 68 @ 1321.48 1394.72/1399.23 c bounds 337 >= 68 @ 1321.92 1394.72/1399.23 c #Conflicts: 104000 | #Constraints: 665196 1394.72/1399.23 c bounds 336 >= 68 @ 1325.86 1394.72/1399.23 c #Conflicts: 105000 | #Constraints: 666197 1394.72/1399.23 c #Conflicts: 106000 | #Constraints: 667197 1394.72/1399.23 c #Conflicts: 107000 | #Constraints: 668197 1394.72/1399.23 c bounds 336 >= 69 @ 1353.66 1394.72/1399.23 c bounds 335 >= 69 @ 1353.73 1394.72/1399.23 c bounds 334 >= 69 @ 1354.59 1394.72/1399.23 c #Conflicts: 108000 | #Constraints: 669235 1394.72/1399.23 c bounds 333 >= 69 @ 1365.23 1394.72/1399.23 c bounds 331 >= 69 @ 1365.41 1394.72/1399.23 c bounds 329 >= 69 @ 1366.15 1394.72/1399.23 c bounds 328 >= 69 @ 1367.51 1394.72/1399.23 c bounds 326 >= 69 @ 1367.72 1394.72/1399.23 c bounds 325 >= 69 @ 1368.31 1394.72/1399.23 c #Conflicts: 109000 | #Constraints: 670256 1394.72/1399.23 c #Conflicts: 110000 | #Constraints: 671256 1394.72/1399.23 c INPROCESSING 1394.72/1399.23 c GARBAGE COLLECT 1394.72/1399.23 c rational objective 181.316 1521.24/1526.13 c bounds 323 >= 69 @ 1390.18 1521.24/1526.13 c bounds 320 >= 69 @ 1391.25 1521.24/1526.13 c #Conflicts: 111000 | #Constraints: 665384 1521.24/1526.13 c #Conflicts: 112000 | #Constraints: 666405 1521.24/1526.13 c #Conflicts: 113000 | #Constraints: 667415 1521.24/1526.13 c #Conflicts: 114000 | #Constraints: 668421 1521.24/1526.13 c #Conflicts: 115000 | #Constraints: 669430 1521.24/1526.13 c #Conflicts: 116000 | #Constraints: 670437 1521.24/1526.13 c bounds 319 >= 69 @ 1495.14 1521.24/1526.13 c #Conflicts: 117000 | #Constraints: 671442 1521.24/1526.13 c INPROCESSING 1521.24/1526.13 c GARBAGE COLLECT 1521.24/1526.13 c rational objective 181.316 1599.17/1604.37 c #Conflicts: 118000 | #Constraints: 665470 1599.17/1604.37 c #Conflicts: 119000 | #Constraints: 666470 1599.17/1604.37 c #Conflicts: 120000 | #Constraints: 667471 1599.17/1604.37 c #Conflicts: 121000 | #Constraints: 668471 1599.17/1604.37 c bounds 319 >= 70 @ 1559.27 1599.17/1604.37 c #Conflicts: 122000 | #Constraints: 669512 1599.17/1604.37 c #Conflicts: 123000 | #Constraints: 670512 1599.17/1604.37 c #Conflicts: 124000 | #Constraints: 671512 1599.17/1604.37 c INPROCESSING 1599.17/1604.37 c GARBAGE COLLECT 1599.17/1604.37 c rational objective 181.316 1989.73/1996.25 c #Conflicts: 125000 | #Constraints: 665437 1989.73/1996.25 c #Conflicts: 126000 | #Constraints: 666437 1989.73/1996.25 c bounds 319 >= 71 @ 1610.36 1989.73/1996.25 c #Conflicts: 127000 | #Constraints: 667465 1989.73/1996.25 c #Conflicts: 128000 | #Constraints: 668465 1989.73/1996.25 c #Conflicts: 129000 | #Constraints: 669465 1989.73/1996.25 c #Conflicts: 130000 | #Constraints: 670465 1989.73/1996.25 c #Conflicts: 131000 | #Constraints: 671466 1989.73/1996.25 c INPROCESSING 1989.73/1996.25 c GARBAGE COLLECT 1989.73/1996.25 c #Conflicts: 132000 | #Constraints: 665232 1989.73/1996.25 c #Conflicts: 133000 | #Constraints: 666232 1989.73/1996.25 c #Conflicts: 134000 | #Constraints: 667232 1989.73/1996.25 c #Conflicts: 135000 | #Constraints: 668233 1989.73/1996.25 c #Conflicts: 136000 | #Constraints: 669233 1989.73/1996.25 c bounds 319 >= 72 @ 1781.23 1989.73/1996.25 c #Conflicts: 137000 | #Constraints: 670272 1989.73/1996.25 c #Conflicts: 138000 | #Constraints: 671272 1989.73/1996.25 c #Conflicts: 139000 | #Constraints: 672272 1989.73/1996.25 c INPROCESSING 1989.73/1996.25 c GARBAGE COLLECT 1989.73/1996.25 c #Conflicts: 140000 | #Constraints: 665828 1989.73/1996.25 c #Conflicts: 141000 | #Constraints: 666828 1989.73/1996.25 c #Conflicts: 142000 | #Constraints: 667828 1989.73/1996.25 c #Conflicts: 143000 | #Constraints: 668828 1989.73/1996.25 c #Conflicts: 144000 | #Constraints: 669828 1989.73/1996.25 c #Conflicts: 145000 | #Constraints: 670828 1989.73/1996.25 c #Conflicts: 146000 | #Constraints: 671828 1989.73/1996.25 c #Conflicts: 147000 | #Constraints: 672828 1989.73/1996.25 c INPROCESSING 1989.73/1996.25 c GARBAGE COLLECT 1989.73/1996.25 c rational objective 181.316 2486.55/2494.81 c #Conflicts: 148000 | #Constraints: 666249 2486.55/2494.81 c #Conflicts: 149000 | #Constraints: 667276 2486.55/2494.81 c #Conflicts: 150000 | #Constraints: 668277 2486.55/2494.81 c bounds 318 >= 72 @ 2040.47 2486.55/2494.81 c #Conflicts: 151000 | #Constraints: 669284 2486.55/2494.81 c #Conflicts: 152000 | #Constraints: 670284 2486.55/2494.81 c #Conflicts: 153000 | #Constraints: 671284 2486.55/2494.81 c #Conflicts: 154000 | #Constraints: 672284 2486.55/2494.81 c #Conflicts: 155000 | #Constraints: 673285 2486.55/2494.81 c INPROCESSING 2486.55/2494.81 c GARBAGE COLLECT 2486.55/2494.81 c #Conflicts: 156000 | #Constraints: 666450 2486.55/2494.81 c #Conflicts: 157000 | #Constraints: 667450 2486.55/2494.81 c #Conflicts: 158000 | #Constraints: 668450 2486.55/2494.81 c #Conflicts: 159000 | #Constraints: 669450 2486.55/2494.81 c #Conflicts: 160000 | #Constraints: 670450 2486.55/2494.81 c bounds 318 >= 73 @ 2330.01 2486.55/2494.81 c #Conflicts: 161000 | #Constraints: 671501 2486.55/2494.81 c #Conflicts: 162000 | #Constraints: 672518 2486.55/2494.81 c #Conflicts: 163000 | #Constraints: 673555 2486.55/2494.81 c INPROCESSING 2486.55/2494.81 c GARBAGE COLLECT 2486.55/2494.81 c rational objective 181.316 2682.83/2691.73 c #Conflicts: 164000 | #Constraints: 666556 2682.83/2691.73 c #Conflicts: 165000 | #Constraints: 667684 2682.83/2691.73 c #Conflicts: 166000 | #Constraints: 668697 2682.83/2691.73 c #Conflicts: 167000 | #Constraints: 669710 2682.83/2691.73 c #Conflicts: 168000 | #Constraints: 670729 2682.83/2691.73 c #Conflicts: 169000 | #Constraints: 671738 2682.83/2691.73 c #Conflicts: 170000 | #Constraints: 672749 2682.83/2691.73 c #Conflicts: 171000 | #Constraints: 673760 2682.83/2691.73 c bounds 317 >= 73 @ 2645.85 2682.83/2691.73 c INPROCESSING 2682.83/2691.73 c GARBAGE COLLECT 2682.83/2691.73 c rational objective 181.316 2790.72/2799.97 c #Conflicts: 172000 | #Constraints: 666410 2790.72/2799.97 c #Conflicts: 173000 | #Constraints: 667410 2790.72/2799.97 c #Conflicts: 174000 | #Constraints: 668410 2790.72/2799.97 c #Conflicts: 175000 | #Constraints: 669411 2790.72/2799.97 c #Conflicts: 176000 | #Constraints: 670412 2790.72/2799.97 c #Conflicts: 177000 | #Constraints: 671415 2790.72/2799.97 c #Conflicts: 178000 | #Constraints: 672417 2790.72/2799.97 c #Conflicts: 179000 | #Constraints: 673418 2790.72/2799.97 c #Conflicts: 180000 | #Constraints: 674418 2790.72/2799.97 c INPROCESSING 2790.72/2799.97 c GARBAGE COLLECT 2790.72/2799.97 c rational objective 181.316 3045.06/3054.91 c #Conflicts: 181000 | #Constraints: 666946 3045.06/3054.91 c #Conflicts: 182000 | #Constraints: 667946 3045.06/3054.91 c #Conflicts: 183000 | #Constraints: 668947 3045.06/3054.91 c #Conflicts: 184000 | #Constraints: 669948 3045.06/3054.91 c #Conflicts: 185000 | #Constraints: 670948 3045.06/3054.91 c #Conflicts: 186000 | #Constraints: 671948 3045.06/3054.91 c #Conflicts: 187000 | #Constraints: 672948 3045.06/3054.91 c #Conflicts: 188000 | #Constraints: 673949 3045.06/3054.91 c #Conflicts: 189000 | #Constraints: 674949 3045.06/3054.91 c INPROCESSING 3045.06/3054.91 c GARBAGE COLLECT 3045.06/3054.91 c #Conflicts: 190000 | #Constraints: 667320 3045.06/3054.91 c #Conflicts: 191000 | #Constraints: 668320 3045.06/3054.91 c #Conflicts: 192000 | #Constraints: 669320 3045.06/3054.91 c #Conflicts: 193000 | #Constraints: 670320 3045.06/3054.91 c bounds 317 >= 74 @ 2951.52 3045.06/3054.91 c #Conflicts: 194000 | #Constraints: 671365 3045.06/3054.91 c #Conflicts: 195000 | #Constraints: 672371 3045.06/3054.91 c bounds 314 >= 74 @ 2962.33 3045.06/3054.91 c #Conflicts: 196000 | #Constraints: 673384 3045.06/3054.91 c #Conflicts: 197000 | #Constraints: 674391 3045.06/3054.91 c #Conflicts: 198000 | #Constraints: 675397 3045.06/3054.91 c INPROCESSING 3045.06/3054.91 c GARBAGE COLLECT 3045.06/3054.91 c rational objective 181.316 3328.81/3339.44 c #Conflicts: 199000 | #Constraints: 667560 3328.81/3339.44 c #Conflicts: 200000 | #Constraints: 668560 3328.81/3339.44 c #Conflicts: 201000 | #Constraints: 669563 3328.81/3339.44 c #Conflicts: 202000 | #Constraints: 670564 3328.81/3339.44 c #Conflicts: 203000 | #Constraints: 671564 3328.81/3339.44 c #Conflicts: 204000 | #Constraints: 672564 3328.81/3339.44 c #Conflicts: 205000 | #Constraints: 673564 3328.81/3339.44 c #Conflicts: 206000 | #Constraints: 674564 3328.81/3339.44 c #Conflicts: 207000 | #Constraints: 675564 3328.81/3339.44 c INPROCESSING 3328.81/3339.44 c GARBAGE COLLECT 3328.81/3339.44 c #Conflicts: 208000 | #Constraints: 667548 3328.81/3339.44 c #Conflicts: 209000 | #Constraints: 668562 3328.81/3339.44 c #Conflicts: 210000 | #Constraints: 669571 3328.81/3339.44 c #Conflicts: 211000 | #Constraints: 670579 3328.81/3339.44 c #Conflicts: 212000 | #Constraints: 671591 3328.81/3339.44 c #Conflicts: 213000 | #Constraints: 672600 3328.81/3339.44 c #Conflicts: 214000 | #Constraints: 673605 3328.81/3339.44 c #Conflicts: 215000 | #Constraints: 674611 3328.81/3339.44 c #Conflicts: 216000 | #Constraints: 675615 3328.81/3339.44 c INPROCESSING 3328.81/3339.44 c GARBAGE COLLECT 3328.81/3339.44 c rational objective 181.316 3600.09/3611.40 c 3600.09/3611.40 s SATISFIABLE 3600.09/3611.40 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/3611.40 c #Conflicts: 217000 | #Constraints: 667367 3600.09/3611.40 c #Conflicts: 218000 | #Constraints: 668367 3600.09/3611.40 c #Conflicts: 219000 | #Constraints: 669368 3600.09/3611.40 c #Conflicts: 220000 | #Constraints: 670368 3600.09/3611.40 c #Conflicts: 221000 | #Constraints: 671370 3600.09/3611.40 c #Conflicts: 222000 | #Constraints: 672372 3600.09/3611.40 c #Conflicts: 223000 | #Constraints: 673373 3600.09/3611.40 c #Conflicts: 224000 | #Constraints: 674373 3600.09/3611.40 c #Conflicts: 225000 | #Constraints: 675373 3600.09/3611.40 c #Conflicts: 226000 | #Constraints: 676374 3600.09/3611.40 c INPROCESSING 3600.09/3611.40 c GARBAGE COLLECT 3600.09/3611.40 c #Conflicts: 227000 | #Constraints: 667960 3600.09/3611.40 c #Conflicts: 228000 | #Constraints: 668960 3600.09/3611.40 c bounds 313 >= 74 @ 3461.03 3600.09/3611.40 c bounds 312 >= 74 @ 3461.1 3600.09/3611.40 c #Conflicts: 229000 | #Constraints: 669970 3600.09/3611.40 c #Conflicts: 230000 | #Constraints: 670980 3600.09/3611.40 c #Conflicts: 231000 | #Constraints: 671993 3600.09/3611.40 c #Conflicts: 232000 | #Constraints: 673008 3600.09/3611.40 c #Conflicts: 233000 | #Constraints: 674022 3600.09/3611.40 c #Conflicts: 234000 | #Constraints: 675032 3600.09/3611.40 c #Conflicts: 235000 | #Constraints: 676042
OK 312
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: 64059 MiB (63313 MiB free)
memory of node 1: 64510 MiB (61523 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429430-1721048430/watcher-4429430-1721048430 -o /tmp/evaluation-result-4429430-1721048430/solver-4429430-1721048430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721048443-794531 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429430-1721048430.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=794592, runsolver pid=794587
[startup+0.10009 s]*
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127821388/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=40440 memory=10384 CPUtime=0.1 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 1425 0 0 0 7 3 0 0 20 0 1 0 157000064 41410560 2596 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 10110 2596 1215 922 0 2062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 10384 KiB
[startup+0.21396 s]*
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127817708/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=40824 memory=10760 CPUtime=0.21 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 1493 0 0 0 14 7 0 0 20 0 1 0 157000064 41803776 2690 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 10206 2690 1247 922 0 2158 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 10760 KiB
[startup+0.313443 s]*
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127811036/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=40956 memory=11024 CPUtime=0.31 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 1577 0 0 0 21 10 0 0 20 0 1 0 157000064 41938944 2756 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 10239 2756 1247 922 0 2191 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 11024 KiB
[startup+0.700264 s]
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127798232/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=46368 memory=16124 CPUtime=0.68 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 2326 0 0 0 45 23 0 0 20 0 1 0 157000064 47480832 4031 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 11592 4031 1247 922 0 3544 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46368 KiB
Current children cumulated memory: 16124 KiB
[startup+1.50029 s]
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127762512/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=64772 memory=34468 CPUtime=1.49 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 5373 0 0 0 99 50 0 0 20 0 1 0 157000064 66326528 8617 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 16193 8617 1247 922 0 8145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64772 KiB
Current children cumulated memory: 34468 KiB
[startup+3.1137 s]
/proc/loadavg: 3.94 4.11 4.13 5/249 794597
/proc/meminfo: memFree=126432628/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=360724 memory=330216 CPUtime=3.09 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 57961 0 0 0 223 86 0 0 20 0 1 0 157000064 369381376 82554 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 90181 82554 1645 922 0 82133 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 330216 KiB
[startup+6.3003 s]
/proc/loadavg: 3.95 4.11 4.13 5/249 794597
/proc/meminfo: memFree=126546980/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=360724 memory=330216 CPUtime=6.27 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 57997 0 0 0 541 86 0 0 20 0 1 0 157000064 369381376 82554 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 90181 82554 1645 922 0 82133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 330216 KiB
[startup+12.7003 s]
/proc/loadavg: 3.95 4.11 4.13 5/249 794599
/proc/meminfo: memFree=126318540/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=512672 memory=388904 CPUtime=12.66 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 63147 0 0 0 1120 146 0 0 20 0 1 0 157000064 524976128 97226 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 128168 97226 1844 922 0 120120 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 512672 KiB
Current children cumulated memory: 388904 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.12 4.13 5/249 794611
/proc/meminfo: memFree=125979644/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=544416 memory=442212 CPUtime=25.41 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 66316 0 0 0 2361 180 0 0 20 0 1 0 157000064 557481984 110553 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 136104 110553 1844 922 0 128056 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 544416 KiB
Current children cumulated memory: 442212 KiB
[startup+51.1135 s]
/proc/loadavg: 4.02 4.11 4.13 5/249 794616
/proc/meminfo: memFree=125557836/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=600084 memory=468024 CPUtime=50.93 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 68295 0 0 0 4888 205 0 0 20 0 1 0 157000064 614486016 117006 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 150021 117006 1844 922 0 141973 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 600084 KiB
Current children cumulated memory: 468024 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/249 794625
/proc/meminfo: memFree=124673176/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=1036388 memory=824144 CPUtime=101.95 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 104799 0 0 0 9919 276 0 0 20 0 1 0 157000064 1061261312 206036 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 259097 206036 1844 922 0 251049 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1036388 KiB
Current children cumulated memory: 824144 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/249 794635
/proc/meminfo: memFree=123821040/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=1104096 memory=891724 CPUtime=161.75 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 114113 0 0 0 15890 285 0 0 20 0 1 0 157000064 1130594304 222931 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 276024 222931 1844 922 0 267976 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1104096 KiB
Current children cumulated memory: 891724 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/246 794645
/proc/meminfo: memFree=123373980/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=1230228 memory=1059912 CPUtime=221.56 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 135158 0 0 0 21851 305 0 0 20 0 1 0 157000064 1259753472 264978 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 307557 264978 1844 922 0 299509 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1230228 KiB
Current children cumulated memory: 1059912 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/246 794656
/proc/meminfo: memFree=122863784/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=1600204 memory=1289044 CPUtime=281.37 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 163985 0 0 0 27772 365 0 0 20 0 1 0 157000064 1638608896 322261 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 400051 322261 1844 922 0 392003 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1600204 KiB
Current children cumulated memory: 1289044 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/241 794667
/proc/meminfo: memFree=122551092/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=1626940 memory=1315616 CPUtime=341.17 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 167236 0 0 0 33711 406 0 0 20 0 1 0 157000064 1665986560 328904 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 406735 328904 1844 922 0 398687 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1626940 KiB
Current children cumulated memory: 1315616 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/241 794677
/proc/meminfo: memFree=122258380/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=1627492 memory=1315676 CPUtime=400.98 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 167389 0 0 0 39647 451 0 0 20 0 1 0 157000064 1666551808 328919 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 406873 328919 1844 922 0 398825 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1627492 KiB
Current children cumulated memory: 1315676 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/241 794687
/proc/meminfo: memFree=122183820/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=1627492 memory=1315676 CPUtime=460.79 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 167623 0 0 0 45567 512 0 0 20 0 1 0 157000064 1666551808 328919 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 406873 328919 1844 922 0 398825 0
################
# More data... #
################
Current children cumulated memory: 2430832 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/241 795847
/proc/meminfo: memFree=117881048/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2813724 memory=2509428 CPUtime=2852.96 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 308606 0 0 0 283581 1715 0 0 20 0 1 0 157000064 2881253376 627357 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 703431 627357 1964 922 0 695383 0
Current children cumulated CPU time: 2852.96 s
Current children cumulated vsize: 2813724 KiB
Current children cumulated memory: 2509428 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/241 795858
/proc/meminfo: memFree=117878224/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2813724 memory=2510372 CPUtime=2912.81 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 311297 0 0 0 289541 1740 0 0 20 0 1 0 157000064 2881253376 627593 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 703431 627593 1964 922 0 695383 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 2813724 KiB
Current children cumulated memory: 2510372 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/241 795868
/proc/meminfo: memFree=117795092/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2813724 memory=2510372 CPUtime=2972.65 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 312804 0 0 0 295495 1770 0 0 20 0 1 0 157000064 2881253376 627593 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 703431 627593 1964 922 0 695383 0
Current children cumulated CPU time: 2972.65 s
Current children cumulated vsize: 2813724 KiB
Current children cumulated memory: 2510372 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/243 795884
/proc/meminfo: memFree=117719728/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2813724 memory=2510384 CPUtime=3032.49 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 314612 0 0 0 301462 1787 0 0 20 0 1 0 157000064 2881253376 627596 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 703431 627596 1964 922 0 695383 0
Current children cumulated CPU time: 3032.49 s
Current children cumulated vsize: 2813724 KiB
Current children cumulated memory: 2510384 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.16 4.14 5/243 795894
/proc/meminfo: memFree=117605916/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2846500 memory=2543144 CPUtime=3092.33 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 315822 0 0 0 307416 1817 0 0 20 0 1 0 157000064 2914816000 635786 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 711625 635786 1964 922 0 703577 0
Current children cumulated CPU time: 3092.33 s
Current children cumulated vsize: 2846500 KiB
Current children cumulated memory: 2543144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/243 795904
/proc/meminfo: memFree=117707340/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2747764 memory=2437368 CPUtime=3152.17 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 316964 0 0 0 313374 1843 0 0 20 0 1 0 157000064 2813710336 609342 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 686941 609342 1964 922 0 678893 0
Current children cumulated CPU time: 3152.17 s
Current children cumulated vsize: 2747764 KiB
Current children cumulated memory: 2437368 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/243 795915
/proc/meminfo: memFree=117654156/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2750332 memory=2437984 CPUtime=3212.01 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 321015 0 0 0 319337 1864 0 0 20 0 1 0 157000064 2816339968 609496 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 687583 609496 1964 922 0 679535 0
Current children cumulated CPU time: 3212.01 s
Current children cumulated vsize: 2750332 KiB
Current children cumulated memory: 2437984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/243 795926
/proc/meminfo: memFree=117651952/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2750332 memory=2439104 CPUtime=3271.85 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 322124 0 0 0 325311 1874 0 0 20 0 1 0 157000064 2816339968 609776 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 687583 609776 1964 922 0 679535 0
Current children cumulated CPU time: 3271.85 s
Current children cumulated vsize: 2750332 KiB
Current children cumulated memory: 2439104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/243 796320
/proc/meminfo: memFree=117627584/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2753968 memory=2451380 CPUtime=3331.7 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 323539 0 0 0 331286 1884 0 0 20 0 1 0 157000064 2820063232 612845 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 688492 612845 1964 922 0 680444 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 2753968 KiB
Current children cumulated memory: 2451380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/243 796331
/proc/meminfo: memFree=117608392/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2750332 memory=2447300 CPUtime=3391.56 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 329055 0 0 0 337234 1922 0 0 20 0 1 0 157000064 2816339968 611825 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 687583 611825 1964 922 0 679535 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 2750332 KiB
Current children cumulated memory: 2447300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.20 4.14 5/243 796341
/proc/meminfo: memFree=117488552/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2814084 memory=2527792 CPUtime=3451.39 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 334509 0 0 0 343186 1953 0 0 20 0 1 0 157000064 2881622016 631948 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 703521 631948 1964 922 0 695473 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 2814084 KiB
Current children cumulated memory: 2527792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.58 4.30 4.18 5/244 796520
/proc/meminfo: memFree=117580112/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2740068 memory=2466532 CPUtime=3511.22 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 340330 0 0 0 349149 1973 0 0 20 0 1 0 157000064 2805829632 616633 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 685017 616633 1964 922 0 676969 0
Current children cumulated CPU time: 3511.22 s
Current children cumulated vsize: 2740068 KiB
Current children cumulated memory: 2466532 KiB
[startup+3582.3 s]
/proc/loadavg: 4.45 4.29 4.19 5/244 796530
/proc/meminfo: memFree=117221376/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2740068 memory=2490856 CPUtime=3571.06 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 341428 0 0 0 355112 1994 0 0 20 0 1 0 157000064 2805829632 622714 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 685017 622714 1964 922 0 676969 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 2740068 KiB
Current children cumulated memory: 2490856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 5.01 4.44 4.24 5/241 796568
/proc/meminfo: memFree=123036748/131655788 swapFree=131071996/131071996
[pid=794592] ppid=794587 vsize=2740068 memory=2496564 CPUtime=3600.09 cores=4,6
/proc/794592/stat : 794592 (roundingsat) R 794587 794592 794518 0 -1 4194304 342053 0 0 0 358007 2002 0 0 20 0 1 0 157000064 2805829632 624141 134679101440 4194304 7968869 140731629672816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 34643968 140731629679550 140731629679714 140731629679714 140731629686729 0
/proc/794592/statm: 685017 624141 1964 922 0 676969 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2740068 KiB
Current children cumulated memory: 2496564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.44 s]
# the end of solver process 794592 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3580.08 s, system=20.06 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3611.44
CPU time (s): 3600.14
CPU user time (s): 3580.08
CPU system time (s): 20.06
CPU usage (%): 99.6871
Max. virtual memory (cumulated for all children) (KiB): 2846860
Max. memory (cumulated for all children) (KiB): 2560552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.08
system time used= 20.0601
maximum resident set size= 2560560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342064
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= 100
involuntary context switches= 2547
# summary of solver processes directly reported to runsolver:
# pid: 794592
# total CPU time (s): 3600.14
# total CPU user time (s): 3580.08
# total CPU system time (s): 20.06
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5323 second user time and 36.4284 second system time
The end
Begin job on nodeC012 at 2024-07-15 15:00:44 IDJOB=4429430 IDBENCH=147553 IDSOLVER=3051 FILE ID=nodeC012/4429430-1721048430 RUNJOBID= nodeC012-1721048443-794531 SLURM_JOB_ID= 7505465 Free space on /tmp= 723712 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.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-4429430-1721048430/watcher-4429430-1721048430 -o /tmp/evaluation-result-4429430-1721048430/solver-4429430-1721048430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721048443-794531 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429430-1721048430.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e RANDOM SEED=871709197 nodeC012.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 : 0xb00001f cpu MHz : 2195.088 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 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 : 0xb00001f cpu MHz : 1895.764 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 1197.589 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 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 : 0xb00001f cpu MHz : 1197.329 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 1197.321 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 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 : 0xb00001f cpu MHz : 1197.574 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 1197.744 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.37 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 : 0xb00001f cpu MHz : 1197.322 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127839744 kB MemAvailable: 129922436 kB Buffers: 360832 kB Cached: 2541192 kB SwapCached: 0 kB Active: 587256 kB Inactive: 2655856 kB Active(anon): 1384 kB Inactive(anon): 377424 kB Active(file): 585872 kB Inactive(file): 2278432 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 88096 kB Writeback: 24 kB AnonPages: 341432 kB Mapped: 104012 kB Shmem: 37704 kB KReclaimable: 116836 kB Slab: 215444 kB SReclaimable: 116836 kB SUnreclaim: 98608 kB KernelStack: 3752 kB PageTables: 9956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 671760 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51392 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 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: 256840 kB DirectMap2M: 20619264 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 723696 MiB End job on nodeC012 at 2024-07-15 16:00:55