Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Exact_no_dombreaking 2025-06-16 | SAT (TO) | 8054 | 3600.09 | 3610.41 |
Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb |
MD5SUM | ef3ff3fe247f050efe42854747d2eb97 |
Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7677 |
Best CPU time to get the best result obtained on this benchmark | 6.70395 |
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 | 10724 |
Total number of constraints | 1662 |
Number of constraints which are clauses | 140 |
Number of constraints which are cardinality constraints (but not clauses) | 1139 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 98 |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
359.38/360.35 o 9517 359.58/360.54 o 9228 372.94/373.97 o 9227 373.05/374.04 o 9226 373.63/374.65 o 9224 373.83/374.88 o 9223 375.53/376.50 o 9222 375.83/376.82 o 9221 376.23/377.23 o 9220 376.73/377.79 o 9219 377.04/378.04 o 9218 377.82/378.84 o 9217 378.32/379.31 o 9215 378.93/379.92 o 9214 379.04/380.11 o 9213 379.52/380.56 o 9211 380.72/381.70 o 9210 380.82/381.82 o 9209 381.21/382.29 o 9208 381.61/382.65 o 9207 383.41/384.46 o 9206 384.31/385.31 o 9205 384.90/385.97 o 9204 385.12/386.18 o 9202 385.90/386.92 o 9201 386.20/387.23 o 9200 387.30/388.39 o 9199 388.01/389.04 o 9198 389.39/390.45 o 9197 389.89/390.93 o 9196 391.59/392.63 o 9195 391.88/392.92 o 9194 392.18/393.21 o 9193 398.08/399.16 o 9192 398.26/399.39 o 9191 398.36/399.40 o 9188 398.36/399.41 o 9185 398.36/399.42 o 9182 398.36/399.43 o 9179 398.36/399.44 o 9176 398.36/399.44 o 9173 401.07/402.18 o 9172 401.15/402.25 o 9171 401.25/402.33 o 9169 401.25/402.35 o 9166 401.25/402.40 o 9163 401.35/402.42 o 9162 401.35/402.47 o 9161 401.45/402.50 o 9158 401.76/402.83 o 9157 401.76/402.86 o 9155 401.76/402.89 o 9153 402.36/403.49 o 9152 402.46/403.54 o 9149 402.66/403.79 o 9146 402.86/403.97 o 9145 402.86/403.99 o 9142 403.26/404.32 o 9141 403.36/404.40 o 9140 403.36/404.47 o 9139 403.56/404.69 o 9137 404.25/405.37 o 9136 404.35/405.48 o 9135 404.96/406.06 o 9133 405.06/406.20 o 9132 405.25/406.37 o 9131 405.75/406.83 o 9130 405.75/406.86 o 9127 405.85/406.94 o 9126 406.25/407.36 o 9125 406.35/407.47 o 9124 406.55/407.63 o 9123 406.55/407.69 o 9122 406.65/407.74 o 9119 407.34/408.40 o 9118 407.64/408.72 o 9117 407.84/408.92 o 9116 407.84/409.01 o 9115 408.14/409.26 o 9114 408.64/409.72 o 9113 408.64/409.76 o 9110 409.34/410.48 o 9109 409.43/410.55 o 9108 409.73/410.85 o 9106 410.23/411.38 o 9105 410.43/411.59 o 9104 410.63/411.75 o 9103 410.83/412.00 o 9101 410.94/412.04 o 9098 411.94/413.10 o 9097 412.12/413.29 o 9096 412.72/413.80 o 9095 412.72/413.86 o 9094 413.42/414.59 o 9093 413.93/415.01 o 9092 414.22/415.31 o 9091 414.72/415.87 o 9090 414.82/415.93 o 9087 415.61/416.77 o 9086 416.21/417.31 o 9085 416.81/417.90 o 9084 417.31/418.47 o 9083 417.41/418.53 o 9080 418.40/419.56 o 9079 418.92/420.07 o 9078 419.40/420.50 o 9077 420.92/422.05 o 9076 438.56/439.71 o 9075 438.65/439.89 o 9074 438.75/439.93 o 9073 446.85/448.04 o 9072 447.33/448.50 o 9071 447.73/448.95 o 9070 447.73/449.00 o 9069 449.12/450.39 o 9068 457.20/458.40 o 9067 457.30/458.56 o 9066 458.40/459.69 o 9065 461.38/462.60 o 9064 461.68/462.99 o 9063 463.38/464.62 o 9062 466.18/467.46 o 9061 470.46/471.77 o 9060 470.56/471.88 o 9059 472.05/473.39 o 9058 472.55/473.81 o 9057 472.65/473.99 o 9056 472.76/474.08 o 9054 474.86/476.13 o 9053 474.95/476.25 o 9052 477.75/479.03 o 9051 481.13/482.40 o 9050 483.22/484.52 o 9049 484.12/485.44 o 9048 484.91/486.25 o 9047 486.02/487.35 o 9046 489.72/491.06 o 9045 490.20/491.51 o 9044 499.58/501.00 o 9043 499.79/501.19 o 9042 500.48/501.85 o 9041 500.87/502.21 o 9040 501.57/502.94 o 9039 501.78/503.14 o 9038 502.37/503.79 o 9037 502.87/504.26 o 9036 503.07/504.44 o 9035 504.86/506.22 o 9034 504.96/506.36 o 9033 505.36/506.71 o 9032 505.36/506.79 o 9031 507.15/508.57 o 9030 507.35/508.72 o 9029 507.55/508.92 o 9028 507.66/509.08 o 9027 508.34/509.74 o 9026 508.54/509.93 o 9025 510.14/511.51 o 9023 511.75/513.11 o 9022 511.93/513.35 o 9021 513.84/515.26 o 9020 515.83/517.23 o 9019 516.13/517.57 o 9018 516.33/517.71 o 9017 516.43/517.85 o 9015 517.22/518.69 o 9014 518.02/519.50 o 9013 527.89/529.38 o 9012 527.99/529.46 o 9011 528.60/530.06 o 9010 528.70/530.14 o 9009 528.79/530.26 o 9008 529.39/530.87 o 9007 529.88/531.32 o 9005 530.28/531.75 o 9004 530.59/532.06 o 9003 530.69/532.19 o 9002 531.08/532.54 o 9001 532.48/533.96 o 9000 532.59/534.05 o 8999 532.78/534.27 o 8998 532.87/534.33 o 8997 534.87/536.36 o 8996 536.67/538.14 o 8994 536.86/538.39 o 8993 537.26/538.76 o 8992 537.46/538.97 o 8991 537.57/539.07 o 8990 537.67/539.15 o 8989 537.76/539.24 o 8987 537.86/539.39 o 8986 538.85/540.36 o 8985 539.15/540.68 o 8984 540.75/542.21 o 8983 542.95/544.44 o 8982 543.15/544.68 o 8981 547.83/549.35 o 8980 548.03/549.59 o 8979 548.12/549.62 o 8966 548.12/549.68 o 8964 548.32/549.89 o 8963 548.54/550.04 o 8962 549.02/550.57 o 8960 549.22/550.75 o 8959 549.32/550.88 o 8956 549.42/550.90 o 8954 549.92/551.49 o 8952 550.12/551.67 o 8951 550.43/551.99 o 8950 550.92/552.41 o 8949 551.02/552.56 o 8948 551.12/552.66 o 8947 551.32/552.81 o 8946 551.42/552.94 o 8945 552.72/554.26 o 8944 552.92/554.50 o 8942 553.53/555.10 o 8941 553.71/555.22 o 8940 554.41/555.92 o 8939 555.31/556.82 o 8938 555.41/556.93 o 8937 555.91/557.48 o 8935 556.21/557.79 o 8934 557.30/558.80 o 8933 558.30/559.87 o 8932 558.51/560.07 o 8931 559.20/560.77 o 8929 560.19/561.78 o 8928 560.39/561.91 o 8927 560.60/562.16 o 8925 561.29/562.85 o 8924 561.39/562.97 o 8923 562.19/563.77 o 8922 562.38/563.92 o 8921 562.68/564.22 o 8920 562.98/564.59 o 8919 563.38/565.00 o 8918 564.08/565.60 o 8917 564.18/565.76 o 8916 564.49/566.04 o 8915 565.77/567.31 o 8914 566.18/567.73 o 8912 567.28/568.86 o 8911 567.77/569.33 o 8910 567.77/569.39 o 8908 568.58/570.15 o 8907 568.77/570.36 o 8905 570.16/571.70 o 8904 570.76/572.33 o 8903 571.06/572.63 o 8902 571.26/572.86 o 8901 571.66/573.26 o 8900 572.95/574.52 o 8898 574.35/575.94 o 8897 574.56/576.16 o 8896 575.35/576.92 o 8895 576.74/578.31 o 8894 576.94/578.52 o 8893 577.94/579.52 o 8892 578.83/580.43 o 8891 579.23/580.84 o 8890 581.33/582.99 o 8889 582.44/584.03 o 8888 583.03/584.61 o 8885 584.03/585.66 o 8884 584.72/586.37 o 8882 586.43/588.07 o 8881 586.61/588.25 o 8878 590.52/592.18 o 8877 590.91/592.52 o 8875 593.30/594.98 o 8873 594.19/595.82 o 8872 596.18/597.89 o 8871 596.59/598.28 o 8870 597.29/598.93 o 8869 599.08/600.76 o 8867 599.58/601.24 o 8866 600.57/602.20 o 8864 602.17/603.81 o 8863 602.27/603.95 o 8862 603.48/605.16 o 8861 604.07/605.80 o 8860 604.48/606.15 o 8859 606.26/607.98 o 8858 607.95/609.64 o 8857 608.36/610.11 o 8855 608.86/610.52 o 8854 609.95/611.66 o 8853 620.22/621.92 o 8852 624.80/626.59 o 8851 625.20/626.92 o 8850 625.20/626.95 o 8849 625.50/627.22 o 8848 626.80/628.54 o 8847 627.10/628.84 o 8846 627.70/629.42 o 8845 629.19/630.90 o 8844 632.48/634.25 o 8843 635.47/637.26 o 8842 641.96/643.77 o 8841 643.15/644.97 o 8836 643.26/645.05 o 8833 643.36/645.12 o 8832 643.85/645.69 o 8830 644.15/645.93 o 8829 646.25/648.05 o 8828 656.91/658.76 o 8827 659.21/661.03 o 8826 659.21/661.07 o 8825 661.30/663.19 o 8824 661.38/663.29 o 8823 661.58/663.48 o 8821 664.57/666.42 o 8820 664.87/666.77 o 8819 665.18/667.09 o 8818 665.57/667.48 o 8817 665.77/667.63 o 8816 667.28/669.16 o 8815 670.27/672.17 o 8814 670.75/672.66 o 8813 671.35/673.22 o 8812 671.85/673.72 o 8811 675.54/677.41 o 8810 680.02/681.97 o 8809 680.42/682.34 o 8808 681.71/683.64 o 8807 682.41/684.35 o 8806 685.22/687.19 o 8805 685.51/687.42 o 8804 687.12/689.07 o 8803 687.90/689.83 o 8802 688.90/690.87 o 8801 694.09/696.09 o 8799 696.37/698.37 o 8798 698.57/700.58 o 8797 701.07/703.06 o 8795 709.15/711.15 o 8794 711.82/713.82 o 8793 712.14/714.12 o 8792 712.62/714.65 o 8791 712.72/714.71 o 8790 712.72/714.77 o 8789 716.31/718.30 o 8788 719.50/721.60 o 8787 721.69/723.79 o 8786 722.29/724.39 o 8785 726.69/728.75 o 8784 727.10/729.13 o 8783 727.58/729.61 o 8782 730.09/732.20 o 8781 730.27/732.31 o 8779 730.47/732.58 o 8777 731.77/733.83 o 8776 732.27/734.35 o 8775 733.36/735.48 o 8774 734.07/736.14 o 8773 746.72/748.85 o 8772 747.32/749.49 o 8771 749.51/751.64 o 8770 749.81/752.00 o 8769 752.91/755.05 o 8768 756.00/758.15 o 8767 758.79/760.96 o 8766 759.90/762.05 o 8765 771.75/773.97 o 8764 772.64/774.81 o 8763 772.74/774.92 o 8762 778.73/780.90 o 8761 779.13/781.32 o 8760 788.30/790.55 o 8759 788.91/791.17 o 8758 789.19/791.45 o 8757 793.39/795.63 o 8756 795.38/797.62 o 8755 803.26/805.52 o 8754 804.36/806.67 o 8753 806.55/808.86 o 8752 808.76/811.07 o 8751 810.24/812.51 o 8750 812.04/814.32 o 8749 812.85/815.12 o 8747 814.23/816.52 o 8746 815.83/818.12 o 8745 816.12/818.45 o 8744 817.22/819.52 o 8743 819.11/821.47 o 8742 819.72/822.01 o 8741 820.51/822.90 o 8740 820.91/823.27 o 8739 823.20/825.58 o 8738 825.80/828.11 o 8737 826.60/828.93 o 8736 833.38/835.75 o 8735 833.88/836.22 o 8734 834.47/836.84 o 8733 835.57/837.97 o 8732 836.37/838.70 o 8731 838.36/840.71 o 8730 841.55/843.96 o 8729 853.92/856.34 o 8728 857.41/859.82 o 8727 857.51/859.93 o 8726 857.51/859.95 o 8725 857.81/860.21 o 8724 857.81/860.26 o 8722 857.90/860.34 o 8721 857.90/860.38 o 8720 858.61/861.10 o 8719 858.90/861.35 o 8718 859.10/861.51 o 8717 859.61/862.02 o 8716 859.61/862.08 o 8715 859.90/862.39 o 8714 860.30/862.74 o 8713 860.40/862.88 o 8712 862.00/864.47 o 8711 862.90/865.30 o 8710 863.30/865.74 o 8709 863.49/865.93 o 8708 863.61/866.09 o 8707 865.19/867.61 o 8706 865.70/868.17 o 8705 865.89/868.32 o 8704 865.89/868.39 o 8703 866.88/869.34 o 8702 867.28/869.71 o 8701 868.88/871.39 o 8700 869.47/871.92 o 8699 869.97/872.45 o 8698 870.58/873.11 o 8697 871.47/873.91 o 8696 872.58/875.04 o 8695 872.76/875.22 o 8694 874.36/876.88 o 8692 874.57/877.07 o 8691 875.06/877.58 o 8689 877.66/880.14 o 8688 877.85/880.35 o 8687 879.94/882.49 o 8686 881.14/883.64 o 8685 883.03/885.55 o 8684 883.43/885.97 o 8683 883.93/886.44 o 8682 886.82/889.37 o 8681 887.32/889.88 o 8680 889.81/892.34 o 8679 891.63/894.15 o 8678 893.11/895.62 o 8677 894.91/897.46 o 8676 895.52/898.02 o 8675 897.51/900.09 o 8674 898.51/901.06 o 8673 899.50/902.07 o 8672 900.99/903.56 o 8671 901.38/903.93 o 8670 917.24/919.89 o 8669 917.34/920.01 o 8667 924.53/927.19 o 8666 924.62/927.24 o 8663 924.71/927.37 o 8660 924.91/927.54 o 8659 924.91/927.57 o 8658 925.01/927.62 o 8657 925.01/927.70 o 8656 926.12/928.70 o 8655 926.12/928.79 o 8654 926.32/928.99 o 8653 926.43/929.09 o 8652 926.53/929.18 o 8651 927.21/929.83 o 8650 927.71/930.31 o 8649 927.81/930.49 o 8648 928.61/931.28 o 8647 928.81/931.42 o 8646 929.31/931.92 o 8645 930.30/932.97 o 8644 932.90/935.55 o 8643 936.09/938.77 o 8642 936.59/939.23 o 8639 937.78/940.48 o 8638 937.88/940.57 o 8636 938.88/941.57 o 8635 941.38/944.03 o 8634 941.57/944.24 o 8633 942.27/945.01 o 8632 942.57/945.28 o 8631 943.66/946.33 o 8630 944.37/947.03 o 8629 946.65/949.30 o 8628 947.75/950.45 o 8627 947.95/950.65 o 8626 949.94/952.65 o 8625 950.14/952.88 o 8624 950.36/953.09 o 8623 960.01/962.72 o 8622 964.21/966.90 o 8621 964.51/967.23 o 8620 965.80/968.56 o 8619 966.80/969.53 o 8618 971.39/974.15 o 8617 977.07/979.88 o 8615 978.17/980.96 o 8614 979.38/982.12 o 8613 986.25/989.10 o 8612 990.13/992.95 o 8611 990.83/993.65 o 8610 991.03/993.87 o 8609 991.63/994.41 o 8608 991.63/994.47 o 8606 991.73/994.50 o 8604 992.34/995.14 o 8603 996.01/998.87 o 8602 996.22/999.01 o 8601 996.22/999.08 o 8599 996.51/999.37 o 8598 997.71/1000.50 o 8597 997.71/1000.58 o 8595 997.91/1000.71 o 8594 997.91/1000.76 o 8593 998.40/1001.28 o 8592 998.80/1001.69 o 8591 998.90/1001.75 o 8590 1000.31/1003.13 o 8589 1002.80/1005.61 o 8588 1003.00/1005.80 o 8587 1005.20/1008.11 o 8586 1006.39/1009.20 o 8585 1006.78/1009.60 o 8584 1007.19/1010.02 o 8583 1008.68/1011.58 o 8582 1009.37/1012.27 o 8581 1010.97/1013.84 o 8580 1012.36/1015.22 o 8579 1013.86/1016.75 o 8578 1014.27/1017.19 o 8577 1014.66/1017.50 o 8576 1016.17/1019.06 o 8575 1016.66/1019.53 o 8574 1039.10/1042.01 o 8573 1041.59/1044.57 o 8572 1043.78/1046.76 o 8571 1043.98/1046.97 o 8570 1044.19/1047.18 o 8569 1047.37/1050.37 o 8568 1047.57/1050.59 o 8567 1051.36/1054.38 o 8566 1056.06/1059.02 o 8565 1062.82/1065.88 o 8564 1063.72/1066.75 o 8563 1064.32/1067.37 o 8562 1065.42/1068.43 o 8561 1077.18/1080.27 o 8560 1161.45/1164.80 o 8559 1164.44/1167.78 o 8558 1165.33/1168.62 o 8557 1165.33/1168.67 o 8556 1184.47/1187.82 o 8554 1185.57/1188.93 o 8552 1186.48/1189.88 o 8551 1186.58/1189.97 o 8550 1187.37/1190.74 o 8549 1187.87/1191.28 o 8548 1187.97/1191.34 o 8547 1188.37/1191.70 o 8545 1190.06/1193.47 o 8544 1190.16/1193.59 o 8543 1190.86/1194.20 o 8542 1190.96/1194.30 o 8541 1192.06/1195.47 o 8540 1192.26/1195.61 o 8539 1192.86/1196.21 o 8538 1193.15/1196.52 o 8537 1193.76/1197.11 o 8534 1195.45/1198.84 o 8533 1196.54/1199.93 o 8532 1196.54/1200.00 o 8531 1196.66/1200.09 o 8530 1196.94/1200.37 o 8529 1197.04/1200.46 o 8528 1197.54/1200.92 o 8527 1198.14/1201.52 o 8526 1198.34/1201.79 o 8523 1198.75/1202.15 o 8522 1200.83/1204.27 o 8521 1207.41/1210.82 o 8520 1208.22/1211.60 o 8519 1211.41/1214.87 o 8518 1214.90/1218.35 o 8517 1215.20/1218.67 o 8516 1215.61/1219.04 o 8515 1217.89/1221.31 o 8514 1219.18/1222.63 o 8513 1220.38/1223.89 o 8512 1220.98/1224.43 o 8511 1222.27/1225.74 o 8510 1222.97/1226.47 o 8509 1224.17/1227.61 o 8508 1224.86/1228.37 o 8507 1227.67/1231.16 o 8506 1228.45/1231.93 o 8505 1229.75/1233.22 o 8504 1232.24/1235.74 o 8503 1232.74/1236.27 o 8502 1245.71/1249.25 o 8501 1259.17/1262.78 o 8500 1272.55/1276.12 o 8499 1276.22/1279.89 o 8498 1277.82/1281.41 o 8496 1281.41/1285.04 o 8495 1282.10/1285.72 o 8494 1283.90/1287.55 o 8493 1284.09/1287.79 o 8492 1284.40/1288.05 o 8491 1286.59/1290.23 o 8490 1289.39/1293.11 o 8489 1290.18/1293.87 o 8488 1292.07/1295.78 o 8487 1293.96/1297.66 o 8486 1310.82/1314.55 o 8485 1314.91/1318.66 o 8484 1315.32/1319.07 o 8483 1315.51/1319.21 o 8482 1316.32/1320.11 o 8481 1316.50/1320.20 o 8480 1316.90/1320.62 o 8479 1317.60/1321.34 o 8478 1320.69/1324.42 o 8477 1320.79/1324.54 o 8476 1322.78/1326.55 o 8475 1326.39/1330.15 o 8474 1330.06/1333.88 o 8473 1330.46/1334.28 o 8472 1330.96/1334.74 o 8471 1336.45/1340.26 o 8470 1338.84/1342.60 o 8469 1341.64/1345.44 o 8468 1344.13/1347.94 o 8467 1361.08/1364.97 o 8466 1365.37/1369.21 o 8465 1366.17/1370.11 o 8464 1367.06/1370.90 o 8462 1371.45/1375.39 o 8461 1374.34/1378.20 o 8460 1385.51/1389.46 o 8459 1386.22/1390.15 o 8458 1386.31/1390.29 o 8457 1388.61/1392.50 o 8456 1388.90/1392.81 o 8455 1389.00/1392.91 o 8454 1389.11/1393.02 o 8453 1389.50/1393.47 o 8452 1389.70/1393.64 o 8451 1390.60/1394.58 o 8450 1391.40/1395.39 o 8449 1394.58/1398.54 o 8448 1395.38/1399.36 o 8447 1395.88/1399.83 o 8446 1396.78/1400.78 o 8445 1397.37/1401.33 o 8444 1397.57/1401.57 o 8443 1398.37/1402.32 o 8442 1417.62/1421.67 o 8441 1418.21/1422.27 o 8440 1419.02/1423.07 o 8439 1419.12/1423.13 o 8436 1432.27/1436.38 o 8435 1436.47/1440.52 o 8434 1440.85/1444.97 o 8433 1464.29/1468.44 o 8432 1493.81/1498.05 o 8431 1494.80/1499.09 o 8430 1504.47/1508.79 o 8429 1507.77/1512.10 o 8428 1510.65/1514.95 o 8427 1514.14/1518.44 o 8426 1525.11/1529.43 o 8425 1530.70/1535.05 o 8424 1530.89/1535.29 o 8423 1530.99/1535.34 o 8421 1531.09/1535.40 o 8420 1531.09/1535.43 o 8417 1531.09/1535.46 o 8414 1531.09/1535.48 o 8411 1531.19/1535.50 o 8408 1531.19/1535.53 o 8405 1535.09/1539.49 o 8404 1541.27/1545.63 o 8403 1541.68/1546.06 o 8402 1541.78/1546.12 o 8401 1555.82/1560.23 o 8400 1559.72/1564.16 o 8399 1560.11/1564.55 o 8398 1560.62/1565.07 o 8397 1560.80/1565.20 o 8396 1580.25/1584.70 o 8395 1594.91/1599.49 o 8394 1595.80/1600.37 o 8393 1596.11/1600.65 o 8392 1596.31/1600.86 o 8391 1596.81/1601.34 o 8390 1600.69/1605.24 o 8389 1605.78/1610.33 o 8388 1606.27/1610.84 o 8387 1607.17/1611.75 o 8386 1611.76/1616.32 o 8385 1613.95/1618.57 o 8384 1643.17/1647.81 o 8383 1660.92/1665.69 o 8382 1674.58/1679.37 o 8381 1694.92/1699.78 o 8380 1698.81/1703.64 o 8379 1701.41/1706.21 o 8378 1701.60/1706.40 o 8377 1713.57/1718.46 o 8376 1714.36/1719.23 o 8375 1715.66/1720.51 o 8374 1742.69/1747.63 o 8373 1743.58/1748.59 o 8372 1743.68/1748.63 o 8369 1744.09/1749.05 o 8368 1744.19/1749.16 o 8366 1744.28/1749.26 o 8365 1747.77/1752.70 o 8364 1747.87/1752.84 o 8363 1768.31/1773.33 o 8362 1821.26/1826.42 o 8361 1830.13/1835.39 o 8360 1831.95/1837.15 o 8359 1832.03/1837.26 o 8357 1833.73/1838.90 o 8356 1837.71/1842.97 o 8355 1845.39/1850.66 o 8354 1849.28/1854.52 o 8353 1849.57/1854.89 o 8352 1849.89/1855.16 o 8351 1854.07/1859.39 o 8350 1854.97/1860.28 o 8349 1861.45/1866.71 o 8348 1866.74/1872.09 o 8347 1867.03/1872.36 o 8346 1869.62/1874.99 o 8345 1870.02/1875.36 o 8344 1871.61/1876.96 o 8343 1873.41/1878.75 o 8342 1873.91/1879.26 o 8341 1875.00/1880.33 o 8340 1878.29/1883.61 o 8339 1883.48/1888.87 o 8338 1891.56/1896.95 o 8337 1904.63/1910.02 o 8336 1907.91/1913.32 o 8335 1909.01/1914.46 o 8334 1910.61/1916.09 o 8333 1911.62/1917.10 o 8332 1919.28/1924.74 o 8331 1922.77/1928.22 o 8330 1926.57/1932.05 o 8329 1931.25/1936.75 o 8328 1931.66/1937.14 o 8327 1932.24/1937.79 o 8326 1936.24/1941.71 o 8325 1937.23/1942.70 o 8324 1938.93/1944.44 o 8323 1941.42/1946.90 o 8321 1944.62/1950.14 o 8320 1955.97/1961.50 o 8319 1966.65/1972.25 o 8318 1966.75/1972.36 o 8317 1966.95/1972.52 o 8316 1984.69/1990.30 o 8315 1984.69/1990.40 o 8314 1984.89/1990.50 o 8313 1984.89/1990.59 o 8310 1985.09/1990.76 o 8309 1985.19/1990.81 o 8307 1985.29/1990.96 o 8306 1985.40/1991.07 o 8305 1985.79/1991.41 o 8304 1985.79/1991.49 o 8303 1985.99/1991.63 o 8302 1985.99/1991.69 o 8300 1986.28/1991.96 o 8299 1986.40/1992.10 o 8297 1986.68/1992.30 o 8295 1986.78/1992.50 o 8293 1986.98/1992.68 o 8292 1987.08/1992.74 o 8291 1987.39/1993.07 o 8290 1989.58/1995.25 o 8289 1989.88/1995.58 o 8288 1989.98/1995.70 o 8287 1990.08/1995.73 o 8286 1990.18/1995.81 o 8285 1991.77/1997.41 o 8284 1992.38/1998.10 o 8283 1993.27/1998.94 o 8281 1993.97/1999.66 o 8280 1996.26/2001.91 o 8279 1996.37/2002.04 o 8277 1996.37/2002.09 o 8276 2011.22/2016.96 o 8275 2034.36/2040.13 o 8274 2034.85/2040.66 o 8273 2053.59/2059.45 o 8272 2061.19/2067.08 o 8271 2061.67/2067.54 o 8269 2070.35/2076.20 o 8268 2076.93/2082.82 o 8267 2079.52/2085.47 o 8266 2080.13/2086.10 o 8265 2080.32/2086.28 o 8264 2080.42/2086.35 o 8263 2080.92/2086.87 o 8262 2086.59/2092.55 o 8261 2095.57/2101.55 o 8260 2097.27/2103.28 o 8259 2097.57/2103.53 o 8258 2097.97/2103.94 o 8257 2103.25/2109.23 o 8256 2106.54/2112.53 o 8255 2106.94/2112.93 o 8254 2121.20/2127.26 o 8253 2121.30/2127.37 o 8252 2122.40/2128.48 o 8251 2125.88/2131.92 o 8250 2130.08/2136.13 o 8249 2131.77/2137.81 o 8248 2132.27/2138.35 o 8247 2133.86/2139.96 o 8246 2134.66/2140.77 o 8245 2135.76/2141.86 o 8244 2136.97/2143.07 o 8243 2140.06/2146.16 o 8242 2151.61/2157.75 o 8241 2157.59/2163.70 o 8240 2159.39/2165.50 o 8238 2160.90/2167.05 o 8237 2161.99/2168.11 o 8236 2162.99/2169.13 o 8235 2163.28/2169.44 o 8234 2163.89/2170.06 o 8233 2164.67/2170.83 o 8232 2181.03/2187.26 o 8231 2195.19/2201.42 o 8230 2196.98/2203.28 o 8229 2199.67/2205.91 o 8228 2201.17/2207.43 o 8227 2201.47/2207.75 o 8226 2201.57/2207.86 o 8225 2202.26/2208.54 o 8224 2211.54/2217.87 o 8223 2219.12/2225.48 o 8222 2229.09/2235.48 o 8221 2243.45/2249.88 o 8220 2248.14/2254.55 o 8219 2279.05/2285.60 o 8218 2281.24/2287.78 o 8217 2281.65/2288.14 o 8216 2281.65/2288.19 o 8215 2283.04/2289.51 o 8214 2283.14/2289.61 o 8213 2283.73/2290.22 o 8212 2285.43/2291.90 o 8211 2288.42/2294.98 o 8210 2288.82/2295.38 o 8209 2289.53/2296.07 o 8208 2290.01/2296.53 o 8205 2292.31/2298.85 o 8204 2293.62/2300.16 o 8203 2293.81/2300.39 o 8202 2294.01/2300.54 o 8201 2295.30/2301.84 o 8199 2297.00/2303.59 o 8198 2301.60/2308.16 o 8197 2302.60/2309.13 o 8196 2304.08/2310.60 o 8195 2304.18/2310.75 o 8194 2305.27/2311.86 o 8193 2305.77/2312.39 o 8192 2306.67/2313.29 o 8191 2306.77/2313.37 o 8190 2365.32/2372.08 o 8189 2369.49/2376.22 o 8188 2370.40/2377.11 o 8187 2372.68/2379.42 o 8186 2373.58/2380.36 o 8185 2374.29/2381.07 o 8184 2376.57/2383.39 o 8183 2401.21/2408.03 o 8182 2427.42/2434.39 o 8181 2427.62/2434.58 o 8180 2430.41/2437.31 o 8179 2430.61/2437.55 o 8178 2433.80/2440.73 o 8177 2435.40/2442.38 o 8176 2435.90/2442.82 o 8175 2435.90/2442.88 o 8174 2437.90/2444.86 o 8173 2441.98/2448.93 o 8172 2444.77/2451.79 o 8171 2472.69/2479.76 o 8170 2499.81/2506.91 o 8169 2500.11/2507.25 o 8168 2506.39/2513.57 o 8167 2507.79/2515.00 o 8166 2521.25/2528.47 o 8165 2537.82/2545.07 o 8164 2538.70/2545.95 o 8163 2538.81/2546.05 o 8162 2541.39/2548.65 o 8161 2541.69/2549.01 o 8160 2542.49/2549.77 o 8159 2546.29/2553.52 o 8158 2547.68/2554.97 o 8157 2551.97/2559.20 o 8156 2552.78/2560.06 o 8155 2553.47/2560.70 o 8154 2556.76/2564.02 o 8153 2571.91/2579.21 o 8152 2573.30/2580.60 o 8151 2575.01/2582.36 o 8150 2580.39/2587.71 o 8149 2581.09/2588.48 o 8148 2590.96/2598.31 o 8147 2616.38/2623.81 o 8146 2636.33/2643.82 o 8145 2636.83/2644.31 o 8143 2643.21/2650.71 o 8142 2653.77/2661.31 o 8141 2657.06/2664.61 o 8140 2660.57/2668.15 o 8139 2661.86/2669.41 o 8138 2662.85/2670.41 o 8137 2663.25/2670.83 o 8136 2664.65/2672.25 o 8135 2665.05/2672.61 o 8133 2665.85/2673.41 o 8131 2667.74/2675.35 o 8130 2669.04/2676.66 o 8129 2669.73/2677.36 o 8128 2671.23/2678.87 o 8127 2679.80/2687.43 o 8126 2681.70/2689.36 o 8125 2695.66/2703.36 o 8124 2701.94/2709.67 o 8123 2704.03/2711.70 o 8122 2722.88/2730.62 o 8121 2723.88/2731.60 o 8120 2744.62/2752.50 o 8119 2784.80/2792.76 o 8118 2863.08/2871.20 o 8117 2921.51/2929.88 o 8116 2921.82/2930.15 o 8115 2921.91/2930.20 o 8114 2923.60/2931.91 o 8113 2924.59/2933.00 o 8112 2926.29/2934.63 o 8111 2926.99/2935.37 o 8110 2927.39/2935.77 o 8109 2928.38/2936.75 o 8108 2929.79/2938.17 o 8107 2932.08/2940.45 o 8106 2934.57/2942.97 o 8103 2934.79/2943.12 o 8102 2938.56/2946.99 o 8101 2996.79/3005.37 o 8100 3005.17/3013.78 o 8099 3005.77/3014.33 o 8098 3008.47/3017.05 o 8097 3013.34/3021.95 o 8096 3013.84/3022.46 o 8095 3013.94/3022.56 o 8094 3014.04/3022.65 o 8093 3028.10/3036.70 o 8092 3029.69/3038.39 o 8091 3029.79/3038.47 o 8089 3029.89/3038.54 o 8087 3029.89/3038.58 o 8086 3030.29/3038.91 o 8085 3030.79/3039.40 o 8084 3030.79/3039.48 o 8083 3031.00/3039.69 o 8082 3031.10/3039.75 o 8080 3034.40/3043.05 o 8079 3035.40/3044.01 o 8078 3036.28/3044.90 o 8077 3036.88/3045.58 o 8075 3054.52/3063.29 o 8074 3082.95/3091.71 o 8073 3134.39/3143.40 o 8072 3134.49/3143.47 o 8071 3143.86/3152.83 o 8070 3148.25/3157.24 o 8069 3155.34/3164.34 o 8068 3161.22/3170.26 o 8067 3161.42/3170.40 o 8066 3165.90/3174.93 o 8065 3169.49/3178.52 o 8064 3170.39/3179.50 o 8063 3171.59/3180.67 o 8062 3179.37/3188.41 o 8061 3327.14/3336.70 o 8060 3329.43/3338.90 o 8059 3329.83/3339.37 o 8058 3329.93/3339.49 o 8057 3409.07/3418.80 o 8056 3419.03/3428.81 o 8055 3525.49/3535.62 o 8054 3600.06/3610.40 c Program interrupted by user. 3600.06/3610.40 s SATISFIABLE 3600.06/3610.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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 x10008 -x10009 -x10010 -x10011 -x10012 x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 x10091 -x10092 -x10093 -x10094 -x10095 x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 x10280 -x10281 -x10282 -x10283 -x10284 x10285 -x10286 -x10287 -x10288 x10289 -x10290 -x10291 -x10292 x10293 -x10294 -x10295 x10296 -x10297 -x10298 x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 x10501 -x10502 -x10503 -x10504 -x10505 x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 x10684 -x10685 -x10686 -x10687 -x10688 x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724
OK 8054
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: 63794 MiB (61796 MiB free) memory of node 1: 64507 MiB (48093 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522017-1751586391/watcher-4522017-1751586391 -o /tmp/evaluation-result-4522017-1751586391/solver-4522017-1751586391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751582415-82516 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1165739414 --ls=360 --inp-dombreaklim=0 HOME/instance-4522017-1751586391.opb running on 2 cores: 0,2 CPU governors: performance: 0 2 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 5.14.0-503.14.1.el9_5.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=83049, runsolver pid=83046 [startup+0.100073 s]* /proc/loadavg: 4.08 4.11 4.09 5/251 83050 /proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=50976 memory=26588 CPUtime=0.1 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6354 0 0 0 9 1 0 0 20 0 1 0 74318487 52199424 6647 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 12744 6647 1024 1200 0 11224 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 50976 KiB Current children cumulated memory: 26588 KiB [startup+0.213494 s]* /proc/loadavg: 4.08 4.11 4.09 5/251 83050 /proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=0.21 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 20 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+0.313267 s]* /proc/loadavg: 4.08 4.11 4.09 5/251 83050 /proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=0.31 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 30 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+0.700318 s] /proc/loadavg: 4.08 4.11 4.09 5/251 83050 /proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=0.68 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 67 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+1.50037 s] /proc/loadavg: 4.08 4.11 4.09 5/251 83050 /proc/meminfo: memFree=112510472/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=1.48 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 147 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+3.11291 s] /proc/loadavg: 4.08 4.11 4.09 5/251 83050 /proc/meminfo: memFree=112099200/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=3.09 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 308 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+6.30033 s] /proc/loadavg: 4.07 4.11 4.09 5/251 83050 /proc/meminfo: memFree=112083512/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=6.27 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 626 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 6.27 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+12.7003 s] /proc/loadavg: 4.15 4.12 4.09 5/251 83050 /proc/meminfo: memFree=112067632/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=12.65 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 1264 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 12.65 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+25.5004 s] /proc/loadavg: 4.11 4.12 4.09 5/251 83050 /proc/meminfo: memFree=112048924/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=25.41 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 2540 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 25.41 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+51.113 s] /proc/loadavg: 4.07 4.11 4.09 5/251 83051 /proc/meminfo: memFree=111854340/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=50.95 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 5094 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 50.95 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+102.3 s] /proc/loadavg: 4.17 4.12 4.09 5/252 83054 /proc/meminfo: memFree=111709248/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=102 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 10199 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7087 1024 1200 0 11523 0 Current children cumulated CPU time: 102 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 28348 KiB [startup+162.3 s] /proc/loadavg: 4.15 4.13 4.09 5/253 83146 /proc/meminfo: memFree=127744216/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=161.84 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7523 0 0 0 16183 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7279 1024 1200 0 11523 0 Current children cumulated CPU time: 161.84 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 29116 KiB [startup+222.3 s] /proc/loadavg: 4.10 4.11 4.09 5/254 83150 /proc/meminfo: memFree=127676956/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=221.7 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7537 0 0 0 22169 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7279 1024 1200 0 11523 0 Current children cumulated CPU time: 221.7 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 29116 KiB [startup+282.3 s] /proc/loadavg: 4.07 4.11 4.09 5/253 83153 /proc/meminfo: memFree=127676392/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=281.56 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7551 0 0 0 28155 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7279 1024 1200 0 11523 0 Current children cumulated CPU time: 281.56 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 29116 KiB [startup+342.3 s] /proc/loadavg: 4.07 4.10 4.09 5/252 83155 /proc/meminfo: memFree=127679164/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=341.42 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7551 0 0 0 34141 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 13043 7279 1024 1200 0 11523 0 Current children cumulated CPU time: 341.42 s Current children cumulated vsize: 52172 KiB Current children cumulated memory: 29116 KiB [startup+402.3 s] /proc/loadavg: 4.16 4.12 4.09 5/254 83165 /proc/meminfo: memFree=127314484/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=502280 memory=401676 CPUtime=401.25 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 52728 0 0 0 40101 24 0 0 20 0 1 0 74318487 514334720 100419 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 125570 100419 1248 1200 0 124050 0 Current children cumulated CPU time: 401.25 s Current children cumulated vsize: 502280 KiB Current children cumulated memory: 401676 KiB [startup+462.3 s] /proc/loadavg: 4.20 4.13 4.10 5/253 83167 /proc/meminfo: memFree=127294576/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=527780 memory=423820 CPUtime=461.08 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 58246 0 0 0 46078 30 0 0 20 0 1 0 74318487 540446720 105955 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 131945 105955 1248 1200 0 130425 0 Current children cumulated CPU time: 461.08 s ################ # More data... # ################ Current children cumulated memory: 766316 KiB [startup+2862.3 s] /proc/loadavg: 4.12 4.10 4.09 5/251 83340 /proc/meminfo: memFree=124263072/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=839376 memory=771052 CPUtime=2854.2 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 132030 0 0 0 285231 189 0 0 20 0 1 0 74318487 859521024 192763 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 209844 192763 1280 1200 0 208324 0 Current children cumulated CPU time: 2854.2 s Current children cumulated vsize: 839376 KiB Current children cumulated memory: 771052 KiB [startup+2922.3 s] /proc/loadavg: 4.09 4.09 4.09 5/250 83342 /proc/meminfo: memFree=124255520/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=845608 memory=775916 CPUtime=2914.03 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 133352 0 0 0 291210 193 0 0 20 0 1 0 74318487 865902592 193979 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 211402 193979 1280 1200 0 209882 0 Current children cumulated CPU time: 2914.03 s Current children cumulated vsize: 845608 KiB Current children cumulated memory: 775916 KiB [startup+2982.3 s] /proc/loadavg: 4.28 4.14 4.10 5/250 83344 /proc/meminfo: memFree=124257064/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=846988 memory=777324 CPUtime=2973.86 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 133872 0 0 0 297189 197 0 0 20 0 1 0 74318487 867315712 194331 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 211747 194331 1280 1200 0 210227 0 Current children cumulated CPU time: 2973.86 s Current children cumulated vsize: 846988 KiB Current children cumulated memory: 777324 KiB [startup+3042.3 s] /proc/loadavg: 4.16 4.13 4.10 5/249 83346 /proc/meminfo: memFree=124243068/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=849828 memory=779884 CPUtime=3033.69 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 134600 0 0 0 303167 202 0 0 20 0 1 0 74318487 870223872 194971 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 212457 194971 1280 1200 0 210937 0 Current children cumulated CPU time: 3033.69 s Current children cumulated vsize: 849828 KiB Current children cumulated memory: 779884 KiB [startup+3102.3 s] /proc/loadavg: 4.10 4.11 4.09 5/250 83349 /proc/meminfo: memFree=124250208/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=858588 memory=786668 CPUtime=3093.51 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 136350 0 0 0 309146 205 0 0 20 0 1 0 74318487 879194112 196667 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 214647 196667 1280 1200 0 213127 0 Current children cumulated CPU time: 3093.51 s Current children cumulated vsize: 858588 KiB Current children cumulated memory: 786668 KiB [startup+3162.3 s] /proc/loadavg: 4.10 4.11 4.09 5/250 83351 /proc/meminfo: memFree=124234628/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=876984 memory=797164 CPUtime=3153.35 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 139144 0 0 0 315124 211 0 0 20 0 1 0 74318487 898031616 199291 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 219246 199291 1280 1200 0 217726 0 Current children cumulated CPU time: 3153.35 s Current children cumulated vsize: 876984 KiB Current children cumulated memory: 797164 KiB [startup+3222.3 s] /proc/loadavg: 4.08 4.10 4.09 5/251 83353 /proc/meminfo: memFree=124227392/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=877176 memory=797548 CPUtime=3213.17 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 139313 0 0 0 321103 214 0 0 20 0 1 0 74318487 898228224 199387 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 219294 199387 1280 1200 0 217774 0 Current children cumulated CPU time: 3213.17 s Current children cumulated vsize: 877176 KiB Current children cumulated memory: 797548 KiB [startup+3282.3 s] /proc/loadavg: 4.15 4.11 4.09 5/251 83355 /proc/meminfo: memFree=124223824/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=884704 memory=805400 CPUtime=3272.99 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 139937 0 0 0 327078 221 0 0 20 0 1 0 74318487 905936896 201350 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 221176 201350 1280 1200 0 219656 0 Current children cumulated CPU time: 3272.99 s Current children cumulated vsize: 884704 KiB Current children cumulated memory: 805400 KiB [startup+3342.3 s] /proc/loadavg: 4.05 4.09 4.09 5/251 83357 /proc/meminfo: memFree=124232168/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=885248 memory=805912 CPUtime=3332.82 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 140141 0 0 0 333056 226 0 0 20 0 1 0 74318487 906493952 201478 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 221312 201478 1280 1200 0 219792 0 Current children cumulated CPU time: 3332.82 s Current children cumulated vsize: 885248 KiB Current children cumulated memory: 805912 KiB [startup+3402.3 s] /proc/loadavg: 4.13 4.10 4.09 5/251 83359 /proc/meminfo: memFree=124199444/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=893432 memory=814616 CPUtime=3392.62 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 141982 0 0 0 339030 232 0 0 20 0 1 0 74318487 914874368 203654 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 223358 203654 1280 1200 0 221838 0 Current children cumulated CPU time: 3392.62 s Current children cumulated vsize: 893432 KiB Current children cumulated memory: 814616 KiB [startup+3462.3 s] /proc/loadavg: 4.22 4.13 4.10 5/250 83367 /proc/meminfo: memFree=124201644/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=896180 memory=824344 CPUtime=3452.42 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 142661 0 0 0 345004 238 0 0 20 0 1 0 74318487 917688320 206086 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 224045 206086 1280 1200 0 222525 0 Current children cumulated CPU time: 3452.42 s Current children cumulated vsize: 896180 KiB Current children cumulated memory: 824344 KiB [startup+3522.3 s] /proc/loadavg: 4.17 4.13 4.10 5/249 83369 /proc/meminfo: memFree=124168844/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=912616 memory=845464 CPUtime=3512.22 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 145848 0 0 0 350978 244 0 0 20 0 1 0 74318487 934518784 211366 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 228154 211366 1280 1200 0 226634 0 Current children cumulated CPU time: 3512.22 s Current children cumulated vsize: 912616 KiB Current children cumulated memory: 845464 KiB [startup+3582.3 s] /proc/loadavg: 4.14 4.12 4.09 5/249 83371 /proc/meminfo: memFree=124161844/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=919272 memory=867352 CPUtime=3572.05 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 147090 0 0 0 356955 250 0 0 20 0 1 0 74318487 941334528 216838 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 229818 216838 1280 1200 0 228298 0 Current children cumulated CPU time: 3572.05 s Current children cumulated vsize: 919272 KiB Current children cumulated memory: 867352 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3610.4 s] /proc/loadavg: 4.08 4.11 4.09 5/250 83374 /proc/meminfo: memFree=124161720/131382120 swapFree=33010416/33010684 [pid=83049] ppid=83046 vsize=920520 memory=868504 CPUtime=3600.06 cores=0,2 /proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 147487 0 0 0 359754 252 0 0 20 0 1 0 74318487 942612480 217126 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0 /proc/83049/statm: 230130 217126 1280 1200 0 228610 0 Current children cumulated CPU time: 3600.06 s Current children cumulated vsize: 920520 KiB Current children cumulated memory: 868504 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+3610.41 s] # the end of solver process 83049 was just reported to runsolver # Child status: 10 # cumulated CPU time of all completed processes: user=3597.56 s, system=2.53182 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 10 Real time (s): 3610.41 CPU time (s): 3600.09 CPU user time (s): 3597.56 CPU system time (s): 2.53182 CPU usage (%): 99.714 Max. virtual memory (cumulated for all children) (KiB): 920520 Max. memory (cumulated for all children) (KiB): 868504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3597.56 system time used= 2.53182 maximum resident set size= 868504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147488 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= 135 involuntary context switches= 9279 # summary of solver processes directly reported to runsolver: # pid: 83049 # total CPU time (s): 3600.09 # total CPU user time (s): 3597.56 # total CPU system time (s): 2.53182 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.9 second user time and 34.638 second system time The end
Begin job on nodeC006 at 2025-07-04 01:46:31 IDJOB=4522017 IDBENCH=178564 IDSOLVER=3319 FILE ID=nodeC006/4522017-1751586391 RUNJOBID= nodeC006-1751582415-82516 SLURM_JOB_ID= 9598824 Free space on /tmp= 432016 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib3/normalized-mitre.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522017-1751586391/watcher-4522017-1751586391 -o /tmp/evaluation-result-4522017-1751586391/solver-4522017-1751586391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751582415-82516 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1165739414 --ls=360 --inp-dombreaklim=0 HOME/instance-4522017-1751586391.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97 RANDOM SEED=1165739414 nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 1197.043 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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 : 3661.052 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data 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.138 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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.499 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data 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 : 3491.703 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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 : 3660.986 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data 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 : 3700.000 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 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.747 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 112528240 kB MemAvailable: 114297272 kB Buffers: 2128 kB Cached: 2534068 kB SwapCached: 12 kB Active: 16089136 kB Inactive: 2069156 kB Active(anon): 15629064 kB Inactive(anon): 10996 kB Active(file): 460072 kB Inactive(file): 2058160 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7696 kB Writeback: 24 kB AnonPages: 15620912 kB Mapped: 118280 kB Shmem: 17948 kB KReclaimable: 180472 kB Slab: 267052 kB SReclaimable: 180472 kB SUnreclaim: 86580 kB KernelStack: 4000 kB PageTables: 33860 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 18021936 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 11427840 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432128 MiB End job on nodeC006 at 2025-07-04 02:46:42