Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | SAT (TO) | 7823 | 3600.03 | 3610.03 |
| 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 |
0.20/0.28 o 9351 0.39/0.47 o 9346 2.98/3.06 o 9345 6.47/6.55 o 9344 6.57/6.60 o 9342 7.67/7.71 o 9341 8.46/8.55 o 9338 11.15/11.29 o 9337 11.25/11.35 o 9335 11.35/11.46 o 9333 11.35/11.49 o 9332 12.25/12.38 o 9331 12.35/12.47 o 9330 12.45/12.52 o 9329 13.06/13.14 o 9327 13.95/14.02 o 9326 14.95/15.08 o 9325 15.05/15.18 o 9324 15.25/15.30 o 9323 16.05/16.19 o 9322 17.43/17.51 o 9321 17.43/17.57 o 9320 18.83/18.95 o 9319 20.04/20.15 o 9318 20.13/20.26 o 9317 20.23/20.35 o 9316 20.33/20.49 o 9314 21.52/21.61 o 9313 22.12/22.20 o 9312 23.33/23.41 o 9311 23.43/23.57 o 9310 23.82/23.91 o 9308 25.22/25.36 o 9307 25.71/25.88 o 9305 27.01/27.18 o 9303 27.81/27.93 o 9302 28.02/28.18 o 9301 28.21/28.39 o 9300 29.51/29.62 o 9299 29.61/29.72 o 9297 30.31/30.46 o 9296 30.40/30.59 o 9294 30.91/31.07 o 9293 32.00/32.14 o 9292 32.29/32.46 o 9291 32.49/32.63 o 9290 32.59/32.72 o 9289 33.80/33.93 o 9287 34.19/34.39 o 9286 34.90/35.03 o 9285 36.09/36.26 o 9284 36.29/36.46 o 9283 36.89/37.01 o 9282 37.58/37.70 o 9281 38.18/38.32 o 9279 43.97/44.13 o 9277 44.07/44.27 o 9273 44.07/44.28 o 9267 44.07/44.29 o 9252 44.07/44.29 o 9249 44.17/44.30 o 9246 44.17/44.31 o 9243 44.17/44.32 o 9240 44.17/44.33 o 9237 44.17/44.34 o 9234 44.17/44.35 o 9231 45.47/45.66 o 9228 45.47/45.68 o 9225 45.47/45.68 o 9222 45.47/45.69 o 9219 45.57/45.71 o 9217 45.57/45.74 o 9216 45.57/45.76 o 9215 45.97/46.19 o 9214 46.07/46.23 o 9211 46.07/46.24 o 9208 46.56/46.73 o 9207 46.56/46.78 o 9206 46.66/46.80 o 9205 46.77/46.99 o 9204 46.87/47.08 o 9203 46.97/47.11 o 9201 47.26/47.47 o 9200 47.36/47.57 o 9197 47.87/48.03 o 9196 47.97/48.19 o 9195 48.16/48.33 o 9194 48.26/48.43 o 9192 48.26/48.46 o 9191 48.86/49.01 o 9190 48.96/49.10 o 9189 49.06/49.28 o 9187 49.35/49.59 o 9186 49.55/49.75 o 9185 49.65/49.87 o 9183 49.75/49.99 o 9181 49.86/50.00 o 9178 49.86/50.02 o 9175 49.86/50.03 o 9172 50.15/50.36 o 9171 50.35/50.52 o 9170 50.35/50.56 o 9169 50.45/50.64 o 9168 50.85/51.07 o 9167 51.45/51.66 o 9166 51.55/51.75 o 9165 51.65/51.84 o 9164 51.75/51.91 o 9163 51.85/52.04 o 9162 51.95/52.17 o 9161 52.14/52.30 o 9160 52.14/52.39 o 9159 52.74/52.96 o 9158 52.85/53.05 o 9157 52.95/53.11 o 9155 52.95/53.15 o 9152 52.95/53.19 o 9149 53.44/53.63 o 9148 53.44/53.69 o 9146 53.54/53.75 o 9144 53.84/54.09 o 9142 54.64/54.80 o 9141 54.74/54.93 o 9140 55.04/55.23 o 9139 55.23/55.42 o 9138 56.03/56.25 o 9137 56.13/56.30 o 9136 56.63/56.83 o 9135 57.03/57.21 o 9134 57.33/57.51 o 9133 57.63/57.88 o 9131 57.83/58.08 o 9130 58.03/58.20 o 9129 58.63/58.85 o 9128 58.84/59.09 o 9127 58.94/59.19 o 9126 59.63/59.80 o 9125 60.42/60.62 o 9124 60.52/60.70 o 9123 61.22/61.45 o 9122 61.42/61.68 o 9121 63.51/63.72 o 9120 63.82/64.06 o 9119 64.71/64.97 o 9116 66.50/66.75 o 9115 68.30/68.53 o 9114 68.70/68.90 o 9112 69.20/69.49 o 9109 70.10/70.38 o 9108 70.30/70.55 o 9107 70.80/71.02 o 9106 72.19/72.48 o 9104 79.07/79.31 o 9103 79.07/79.38 o 9100 79.07/79.39 o 9097 79.17/79.40 o 9094 79.17/79.41 o 9091 79.37/79.69 o 9090 79.47/79.70 o 9087 79.57/79.82 o 9086 80.37/80.62 o 9084 80.57/80.84 o 9083 80.78/81.04 o 9082 80.78/81.10 o 9081 80.97/81.26 o 9080 80.97/81.29 o 9079 81.17/81.48 o 9078 81.47/81.72 o 9077 81.67/81.98 o 9076 81.77/82.01 o 9075 82.27/82.55 o 9074 82.46/82.79 o 9073 82.96/83.24 o 9072 83.46/83.75 o 9069 84.56/84.88 o 9068 85.15/85.41 o 9067 85.86/86.12 o 9066 86.15/86.47 o 9065 86.25/86.57 o 9064 86.85/87.12 o 9063 86.85/87.18 o 9060 87.75/88.08 o 9059 88.54/88.81 o 9058 88.64/88.91 o 9057 89.44/89.74 o 9056 90.24/90.59 o 9055 90.54/90.83 o 9054 90.85/91.12 o 9052 91.75/92.03 o 9051 92.04/92.33 o 9050 92.75/93.02 o 9049 92.94/93.27 o 9047 94.24/94.54 o 9046 94.53/94.83 o 9045 94.74/95.02 o 9044 95.43/95.79 o 9043 95.93/96.21 o 9042 96.13/96.47 o 9041 97.13/97.43 o 9040 97.92/98.20 o 9039 98.62/98.97 o 9038 99.22/99.57 o 9037 99.72/100.07 o 9036 100.52/100.82 o 9035 101.91/102.21 o 9034 102.71/103.02 o 9033 103.21/103.56 o 9032 104.01/104.30 o 9031 104.81/105.14 o 9029 104.90/105.24 o 9028 105.60/105.92 o 9027 107.50/107.84 o 9026 108.20/108.50 o 9025 108.40/108.70 o 9022 110.19/110.50 o 9021 120.17/120.56 o 9020 120.27/120.64 o 8982 120.27/120.64 o 8979 120.27/120.65 o 8976 120.27/120.66 o 8970 120.27/120.66 o 8967 120.27/120.67 o 8964 120.27/120.68 o 8961 120.27/120.68 o 8958 120.27/120.69 o 8955 120.37/120.70 o 8952 120.37/120.70 o 8946 120.37/120.71 o 8943 120.37/120.72 o 8940 120.37/120.72 o 8937 120.37/120.73 o 8934 120.37/120.74 o 8931 120.37/120.75 o 8928 120.37/120.77 o 8925 120.37/120.78 o 8922 120.47/120.80 o 8919 120.47/120.81 o 8916 120.47/120.83 o 8915 120.47/120.84 o 8912 120.47/120.85 o 8909 120.47/120.87 o 8907 120.47/120.89 o 8906 120.57/120.90 o 8904 120.77/121.17 o 8901 120.77/121.18 o 8898 120.77/121.19 o 8895 121.07/121.42 o 8893 121.07/121.47 o 8892 121.07/121.49 o 8891 121.17/121.52 o 8890 121.17/121.59 o 8889 121.37/121.71 o 8888 121.37/121.73 o 8887 121.37/121.79 o 8886 121.47/121.84 o 8885 121.67/122.02 o 8884 121.67/122.07 o 8883 121.77/122.10 o 8882 121.77/122.17 o 8881 121.87/122.22 o 8880 121.96/122.39 o 8879 122.06/122.46 o 8878 122.26/122.66 o 8877 122.46/122.82 o 8876 122.46/122.88 o 8875 122.56/122.90 o 8874 122.67/123.00 o 8873 126.05/126.43 o 8871 126.15/126.52 o 8870 126.45/126.83 o 8869 126.55/127.00 o 8868 126.84/127.20 o 8867 127.34/127.72 o 8866 127.44/127.81 o 8865 127.54/127.90 o 8864 127.54/127.95 o 8863 127.95/128.32 o 8862 128.05/128.44 o 8861 128.45/128.87 o 8860 128.65/129.02 o 8859 128.75/129.16 o 8858 129.34/129.73 o 8856 138.22/138.66 o 8855 138.42/138.89 o 8854 138.52/138.91 o 8853 138.52/138.94 o 8851 139.02/139.45 o 8850 139.12/139.59 o 8849 139.22/139.62 o 8848 143.50/143.97 o 8847 143.80/144.28 o 8846 144.10/144.51 o 8845 146.09/146.51 o 8844 146.20/146.60 o 8843 147.10/147.59 o 8842 147.70/148.13 o 8841 147.80/148.23 o 8840 148.49/148.97 o 8839 149.29/149.79 o 8837 149.79/150.20 o 8836 149.79/150.29 o 8835 151.09/151.52 o 8834 151.48/151.93 o 8833 151.69/152.19 o 8831 152.68/153.12 o 8830 161.15/161.65 o 8829 164.55/165.01 o 8827 164.94/165.46 o 8826 165.04/165.53 o 8825 165.84/166.37 o 8824 166.54/167.08 o 8823 167.34/167.85 o 8822 168.14/168.62 o 8821 168.24/168.76 o 8820 168.34/168.85 o 8818 169.94/170.40 o 8817 171.73/172.22 o 8816 172.03/172.56 o 8813 174.32/174.86 o 8812 175.52/176.05 o 8811 176.12/176.64 o 8810 176.62/177.19 o 8809 177.81/178.37 o 8808 178.01/178.56 o 8807 178.31/178.80 o 8806 178.41/178.98 o 8805 178.71/179.20 o 8804 179.31/179.82 o 8803 180.11/180.65 o 8802 180.21/180.78 o 8801 181.71/182.22 o 8800 182.01/182.57 o 8799 182.31/182.81 o 8798 184.00/184.59 o 8797 184.40/184.96 o 8796 186.29/186.89 o 8795 186.60/187.12 o 8794 186.99/187.51 o 8792 188.29/188.82 o 8791 189.59/190.11 o 8790 189.98/190.50 o 8787 193.27/193.80 o 8786 200.56/201.12 o 8785 200.56/201.18 o 8764 200.56/201.19 o 8761 200.56/201.19 o 8758 200.66/201.20 o 8755 200.66/201.21 o 8752 200.66/201.22 o 8749 200.66/201.23 o 8746 200.66/201.23 o 8737 200.66/201.25 o 8734 200.66/201.27 o 8731 200.66/201.29 o 8728 200.76/201.31 o 8725 200.76/201.32 o 8722 200.76/201.33 o 8719 200.76/201.33 o 8716 200.76/201.35 o 8713 201.15/201.70 o 8712 201.15/201.72 o 8711 201.15/201.75 o 8709 201.15/201.76 o 8706 201.15/201.77 o 8703 201.35/201.96 o 8702 201.56/202.13 o 8701 202.95/203.58 o 8700 203.05/203.67 o 8697 203.65/204.21 o 8695 203.65/204.23 o 8692 204.04/204.60 o 8691 204.55/205.11 o 8690 204.64/205.21 o 8689 204.74/205.32 o 8687 205.94/206.53 o 8686 206.44/207.04 o 8685 206.64/207.24 o 8684 206.94/207.58 o 8683 207.13/207.75 o 8682 207.33/207.97 o 8681 207.73/208.39 o 8680 208.24/208.81 o 8679 208.54/209.10 o 8678 208.64/209.23 o 8676 209.84/210.48 o 8675 211.03/211.68 o 8674 211.33/212.00 o 8673 211.63/212.20 o 8672 211.93/212.51 o 8671 213.53/214.12 o 8670 214.02/214.62 o 8669 214.43/215.04 o 8668 214.62/215.28 o 8667 215.62/216.28 o 8666 217.91/218.56 o 8665 218.11/218.72 o 8662 220.50/221.12 o 8661 223.20/223.87 o 8660 226.50/227.16 o 8659 227.39/228.02 o 8658 228.19/228.88 o 8657 232.97/233.69 o 8656 234.27/234.93 o 8655 234.57/235.28 o 8654 237.36/238.07 o 8652 238.55/239.24 o 8650 240.76/241.42 o 8649 249.24/249.96 o 8648 249.34/250.05 o 8646 249.34/250.06 o 8643 249.83/250.55 o 8642 249.83/250.58 o 8641 250.53/251.21 o 8640 250.53/251.27 o 8637 250.73/251.49 o 8636 251.13/251.82 o 8635 251.33/252.09 o 8634 251.43/252.13 o 8633 251.53/252.24 o 8632 251.53/252.27 o 8631 251.83/252.51 o 8630 251.83/252.56 o 8629 251.93/252.67 o 8628 251.93/252.69 o 8625 252.03/252.78 o 8624 252.33/253.07 o 8623 252.52/253.27 o 8622 252.62/253.31 o 8621 252.62/253.39 o 8620 252.82/253.55 o 8619 252.82/253.57 o 8616 253.12/253.82 o 8615 253.12/253.85 o 8614 253.22/253.96 o 8613 253.33/254.07 o 8612 253.42/254.12 o 8611 253.52/254.25 o 8610 253.72/254.45 o 8609 253.92/254.60 o 8607 254.12/254.85 o 8606 254.22/254.95 o 8605 254.32/255.04 o 8604 254.32/255.07 o 8603 254.52/255.21 o 8602 254.52/255.23 o 8599 254.62/255.36 o 8598 255.21/255.92 o 8597 255.51/256.22 o 8596 255.61/256.33 o 8595 255.81/256.54 o 8594 256.11/256.83 o 8592 256.41/257.13 o 8591 256.51/257.20 o 8590 256.81/257.58 o 8589 257.70/258.43 o 8588 257.90/258.60 o 8587 258.20/258.93 o 8586 258.20/258.99 o 8585 258.80/259.50 o 8584 258.90/259.63 o 8583 259.00/259.76 o 8582 259.50/260.27 o 8581 259.60/260.36 o 8579 260.11/260.80 o 8578 260.60/261.31 o 8577 260.60/261.39 o 8576 260.90/261.69 o 8575 261.10/261.85 o 8574 261.70/262.45 o 8573 262.20/262.91 o 8572 262.40/263.14 o 8571 262.40/263.18 o 8570 263.20/263.91 o 8569 263.69/264.49 o 8568 263.89/264.68 o 8567 263.99/264.73 o 8566 264.19/264.92 o 8565 264.89/265.68 o 8564 265.39/266.12 o 8563 265.79/266.52 o 8562 265.79/266.58 o 8559 266.78/267.54 o 8558 267.08/267.80 o 8557 267.18/267.96 o 8556 267.68/268.42 o 8555 268.68/269.41 o 8554 268.78/269.54 o 8553 268.78/269.59 o 8552 269.28/270.02 o 8551 269.38/270.15 o 8550 270.28/271.02 o 8549 271.47/272.28 o 8548 272.07/272.80 o 8547 273.06/273.81 o 8545 273.66/274.44 o 8544 274.37/275.11 o 8542 275.36/276.14 o 8541 275.87/276.62 o 8540 275.97/276.75 o 8539 276.37/277.12 o 8537 277.37/278.19 o 8536 278.55/279.31 o 8535 278.85/279.66 o 8534 280.05/280.80 o 8532 281.15/281.90 o 8531 281.35/282.11 o 8530 281.64/282.48 o 8529 282.44/283.23 o 8528 283.45/284.20 o 8527 284.04/284.80 o 8526 284.44/285.23 o 8525 284.94/285.70 o 8524 285.24/286.02 o 8523 285.44/286.27 o 8520 285.74/286.57 o 8519 286.04/286.80 o 8518 286.73/287.52 o 8517 286.83/287.60 o 8516 288.23/289.04 o 8515 289.12/289.94 o 8514 289.33/290.15 o 8513 290.02/290.81 o 8512 291.92/292.73 o 8511 292.72/293.51 o 8510 293.42/294.28 o 8508 293.81/294.68 o 8507 295.61/296.45 o 8506 295.81/296.60 o 8505 296.51/297.30 o 8504 296.81/297.61 o 8503 350.27/351.22 o 8502 350.87/351.81 o 8501 350.87/351.89 o 8500 350.97/351.95 o 8499 351.07/352.04 o 8496 351.37/352.34 o 8495 351.46/352.44 o 8494 351.56/352.52 o 8492 351.66/352.61 o 8491 352.46/353.45 o 8489 352.96/353.98 o 8488 353.16/354.18 o 8487 353.66/354.67 o 8486 353.76/354.73 o 8485 354.65/355.65 o 8484 355.06/356.01 o 8483 355.45/356.44 o 8482 356.35/357.34 o 8481 356.45/357.50 o 8480 356.75/357.79 o 8479 357.25/358.25 o 8478 357.55/358.57 o 8477 358.35/359.34 o 8476 359.35/360.35 o 8475 359.75/360.70 o 8474 359.75/360.78 o 8473 360.94/361.98 o 8472 361.15/362.17 o 8469 362.24/363.20 o 8468 362.44/363.46 o 8467 362.54/363.55 o 8466 363.14/364.11 o 8465 363.43/364.42 o 8464 363.93/364.96 o 8463 364.14/365.11 o 8462 364.83/365.82 o 8461 365.03/366.01 o 8460 365.43/366.47 o 8459 366.43/367.48 o 8458 367.52/368.50 o 8457 368.22/369.25 o 8456 368.42/369.42 o 8454 368.92/369.98 o 8453 369.12/370.18 o 8451 372.81/373.88 o 8450 373.12/374.14 o 8449 373.61/374.67 o 8448 373.81/374.82 o 8447 383.58/384.62 o 8446 387.17/388.27 o 8445 389.07/390.13 o 8444 390.36/391.47 o 8443 390.66/391.78 o 8441 391.06/392.15 o 8440 391.16/392.25 o 8437 391.37/392.49 o 8435 391.47/392.54 o 8432 391.47/392.58 o 8429 391.57/392.68 o 8426 391.67/392.76 o 8423 392.97/394.03 o 8421 397.95/399.09 o 8420 398.95/400.08 o 8419 399.74/400.88 o 8418 399.95/401.08 o 8417 401.54/402.64 o 8416 402.43/403.55 o 8415 405.03/406.15 o 8414 406.42/407.58 o 8413 406.52/407.69 o 8412 407.52/408.62 o 8411 408.22/409.30 o 8410 408.52/409.64 o 8409 410.31/411.40 o 8408 411.41/412.51 o 8406 411.51/412.66 o 8405 412.11/413.27 o 8404 415.70/416.84 o 8403 417.19/418.35 o 8402 417.69/418.80 o 8401 418.69/419.83 o 8400 419.79/420.91 o 8399 420.99/422.16 o 8396 435.25/436.40 o 8395 435.35/436.52 o 8394 435.35/436.54 o 8391 435.35/436.55 o 8388 435.54/436.72 o 8385 435.96/437.14 o 8384 435.96/437.17 o 8383 436.05/437.22 o 8382 436.15/437.39 o 8381 436.35/437.58 o 8379 436.45/437.62 o 8378 437.85/439.04 o 8377 438.25/439.44 o 8376 438.35/439.51 o 8375 438.85/440.08 o 8374 439.24/440.41 o 8373 439.24/440.48 o 8372 439.84/441.06 o 8371 439.94/441.13 o 8370 440.53/441.77 o 8369 440.63/441.85 o 8368 442.33/443.56 o 8367 442.63/443.89 o 8366 443.43/444.68 o 8365 444.02/445.26 o 8364 444.93/446.16 o 8363 455.69/456.93 o 8362 458.09/459.33 o 8361 458.49/459.74 o 8360 458.99/460.26 o 8359 461.19/462.44 o 8358 461.48/462.76 o 8357 461.98/463.22 o 8356 462.38/463.60 o 8355 463.38/464.61 o 8354 464.48/465.70 o 8353 467.47/468.73 o 8352 468.07/469.36 o 8351 469.56/470.83 o 8350 470.36/471.63 o 8349 471.65/473.00 o 8348 472.05/473.37 o 8347 473.85/475.11 o 8346 474.95/476.26 o 8345 475.15/476.44 o 8344 475.94/477.20 o 8343 477.14/478.45 o 8342 483.22/484.54 o 8341 484.52/485.81 o 8340 484.62/485.96 o 8338 484.62/485.99 o 8335 484.72/486.02 o 8332 484.72/486.06 o 8329 484.72/486.09 o 8326 484.82/486.13 o 8325 489.82/491.15 o 8324 490.21/491.60 o 8323 491.21/492.58 o 8322 493.10/494.41 o 8321 496.80/498.13 o 8320 498.59/499.96 o 8319 498.89/500.21 o 8318 500.38/501.73 o 8317 500.78/502.10 o 8316 503.37/504.71 o 8315 571.69/573.26 o 8314 575.29/576.80 o 8313 582.77/584.35 o 8312 586.36/587.91 o 8311 586.65/588.27 o 8310 587.85/589.44 o 8309 590.85/592.41 o 8308 591.35/592.92 o 8307 592.05/593.61 o 8306 594.14/595.76 o 8305 594.24/595.89 o 8304 594.64/596.24 o 8303 594.74/596.32 o 8300 594.74/596.38 o 8297 594.94/596.57 o 8294 595.04/596.65 o 8293 595.34/596.99 o 8292 599.12/600.73 o 8291 599.42/601.01 o 8288 600.42/602.06 o 8287 601.61/603.20 o 8286 605.61/607.25 o 8285 612.18/613.86 o 8284 612.88/614.52 o 8283 612.98/614.67 o 8282 613.29/614.91 o 8281 613.50/615.13 o 8280 613.79/615.46 o 8277 656.67/658.42 o 8276 688.19/690.05 o 8275 688.59/690.47 o 8274 690.19/692.10 o 8273 692.78/694.64 o 8272 693.57/695.44 o 8271 693.77/695.64 o 8270 697.07/698.97 o 8269 698.66/700.58 o 8266 699.96/701.89 o 8265 700.26/702.16 o 8264 701.56/703.43 o 8263 705.15/707.08 o 8262 706.54/708.41 o 8261 719.91/721.88 o 8260 720.01/721.94 o 8258 720.21/722.14 o 8257 720.51/722.49 o 8256 720.71/722.62 o 8254 720.81/722.73 o 8253 720.81/722.77 o 8252 722.40/724.30 o 8251 722.50/724.44 o 8249 723.60/725.56 o 8247 724.90/726.89 o 8246 725.29/727.26 o 8245 725.49/727.45 o 8244 726.20/728.13 o 8243 727.69/729.61 o 8242 727.69/729.69 o 8241 728.88/730.86 o 8240 729.98/731.94 o 8239 730.18/732.11 o 8238 731.47/733.43 o 8237 732.47/734.44 o 8236 743.95/745.96 o 8235 766.47/768.54 o 8234 773.55/775.60 o 8233 776.74/778.89 o 8232 777.74/779.85 o 8231 794.28/796.49 o 8230 799.36/801.57 o 8229 799.76/801.94 o 8228 799.87/802.02 o 8227 803.05/805.22 o 8226 875.41/877.82 o 8225 878.70/881.12 o 8224 878.80/881.27 o 8221 879.00/881.41 o 8220 879.00/881.47 o 8218 881.49/883.95 o 8217 898.93/901.49 o 8216 916.87/919.45 o 8215 932.62/935.20 o 8214 932.62/935.25 o 8212 933.22/935.81 o 8211 933.32/935.90 o 8210 933.32/935.97 o 8209 933.32/936.00 o 8208 933.42/936.05 o 8207 934.42/937.02 o 8206 934.91/937.54 o 8205 936.11/938.73 o 8204 936.21/938.84 o 8203 937.20/939.82 o 8202 938.50/941.12 o 8201 939.20/941.80 o 8200 939.31/941.90 o 8199 939.51/942.13 o 8198 951.96/954.60 o 8197 952.26/954.98 o 8196 952.46/955.15 o 8195 952.65/955.36 o 8194 952.75/955.47 o 8193 953.46/956.18 o 8192 953.75/956.42 o 8191 954.15/956.80 o 8190 954.25/956.90 o 8189 954.35/957.09 o 8188 955.14/957.86 o 8187 955.94/958.63 o 8186 956.04/958.74 o 8185 956.35/959.02 o 8183 957.34/960.06 o 8182 958.04/960.79 o 8181 958.84/961.59 o 8180 959.04/961.71 o 8179 960.24/962.92 o 8178 961.13/963.88 o 8177 961.93/964.64 o 8175 963.62/966.37 o 8174 965.22/967.92 o 8171 965.72/968.44 o 8170 965.92/968.62 o 8168 967.91/970.64 o 8167 968.51/971.26 o 8166 969.21/971.91 o 8164 970.60/973.36 o 8163 972.20/974.94 o 8162 973.09/975.82 o 8161 973.30/976.06 o 8160 973.89/976.64 o 8158 976.29/979.03 o 8157 977.38/980.16 o 8156 977.48/980.25 o 8155 977.88/980.63 o 8153 978.97/981.79 o 8152 980.27/983.05 o 8151 981.56/984.39 o 8150 983.56/986.31 o 8149 984.66/987.47 o 8148 985.06/987.83 o 8147 985.16/987.90 o 8146 985.16/987.97 o 8145 986.15/988.99 o 8144 988.14/990.97 o 8143 988.54/991.35 o 8142 989.44/992.23 o 8141 989.84/992.66 o 8140 990.44/993.22 o 8139 991.73/994.56 o 8138 993.53/996.30 o 8137 993.82/996.65 o 8136 994.02/996.87 o 8135 994.12/997.00 o 8134 995.52/998.39 o 8133 996.42/999.24 o 8132 997.81/1000.65 o 8131 998.22/1001.10 o 8130 999.51/1002.39 o 8129 1000.41/1003.29 o 8128 1000.81/1003.61 o 8127 1001.31/1004.19 o 8126 1002.60/1005.43 o 8125 1003.79/1006.69 o 8124 1004.49/1007.38 o 8123 1052.43/1055.46 o 8122 1098.77/1101.97 o 8121 1098.87/1102.05 o 8120 1099.17/1102.30 o 8119 1272.10/1275.80 o 8118 1300.79/1304.67 o 8117 1300.89/1304.78 o 8115 1300.99/1304.80 o 8112 1300.99/1304.82 o 8109 1301.69/1305.50 o 8108 1301.79/1305.63 o 8107 1301.89/1305.77 o 8106 1303.30/1307.15 o 8105 1303.59/1307.46 o 8104 1303.99/1307.88 o 8103 1304.58/1308.41 o 8102 1309.27/1313.17 o 8101 1309.46/1313.31 o 8100 1310.36/1314.26 o 8099 1310.86/1314.70 o 8098 1341.76/1345.72 o 8097 1343.45/1347.49 o 8096 1343.55/1347.54 o 8095 1366.67/1370.76 o 8094 1366.77/1370.84 o 8093 1366.77/1370.89 o 8092 1367.08/1371.13 o 8091 1367.08/1371.19 o 8090 1367.17/1371.27 o 8089 1367.27/1371.33 o 8088 1367.37/1371.45 o 8087 1367.57/1371.61 o 8085 1367.77/1371.88 o 8084 1376.94/1381.08 o 8083 1378.53/1382.69 o 8082 1378.63/1382.77 o 8081 1378.73/1382.84 o 8080 1378.73/1382.86 o 8077 1380.42/1384.58 o 8076 1380.93/1385.08 o 8075 1383.32/1387.42 o 8074 1385.11/1389.26 o 8073 1385.21/1389.32 o 8072 1385.21/1389.36 o 8071 1385.31/1389.42 o 8070 1385.31/1389.45 o 8069 1385.41/1389.50 o 8067 1387.91/1392.00 o 8066 1389.00/1393.17 o 8065 1389.30/1393.43 o 8064 1390.29/1394.45 o 8063 1392.09/1396.21 o 8061 1395.28/1399.43 o 8060 1402.56/1406.74 o 8059 1403.86/1408.00 o 8058 1404.15/1408.37 o 8057 1405.05/1409.28 o 8056 1408.54/1412.76 o 8055 1410.23/1414.43 o 8054 1410.53/1414.76 o 8052 1445.22/1449.55 o 8051 1516.18/1520.75 o 8050 1521.66/1526.20 o 8049 1521.76/1526.37 o 8048 1522.86/1527.41 o 8047 1523.06/1527.67 o 8046 1524.46/1529.09 o 8045 1577.59/1582.38 o 8044 1709.96/1715.03 o 8043 1719.63/1724.72 o 8042 1728.80/1733.97 o 8041 1730.61/1735.76 o 8040 1730.80/1735.93 o 8039 1731.01/1736.17 o 8038 1731.10/1736.25 o 8037 1731.20/1736.31 o 8036 1734.60/1739.74 o 8035 1735.39/1740.58 o 8034 1736.19/1741.31 o 8033 1736.79/1741.95 o 8032 1737.99/1743.19 o 8030 1738.58/1743.70 o 8029 1739.28/1744.49 o 8028 1740.58/1745.76 o 8027 1740.88/1746.06 o 8026 1742.17/1747.32 o 8025 1748.45/1753.69 o 8024 1748.96/1754.11 o 8023 1751.05/1756.25 o 8022 1752.74/1757.91 o 8021 1752.95/1758.10 o 8020 1753.14/1758.37 o 8018 1754.44/1759.69 o 8017 1755.54/1760.77 o 8016 1761.53/1766.78 o 8015 1763.32/1768.52 o 8014 1765.22/1770.44 o 8013 1765.72/1770.99 o 8012 1767.11/1772.34 o 8011 1767.41/1772.62 o 8010 1767.51/1772.76 o 8007 1767.71/1772.90 o 8004 1770.70/1775.95 o 8003 1783.17/1788.43 o 8002 1784.57/1789.84 o 8001 1789.06/1794.35 o 8000 1789.55/1794.86 o 7999 1928.12/1933.78 o 7998 1931.51/1937.17 o 7997 1947.57/1953.20 o 7996 1953.36/1959.06 o 7995 1954.85/1960.58 o 7994 1960.53/1966.28 o 7993 1961.53/1967.21 o 7992 1984.18/1989.99 o 7991 1984.68/1990.45 o 7990 1985.17/1990.93 o 7989 1990.06/1995.87 o 7988 1990.27/1996.01 o 7987 2009.52/2015.38 o 7986 2027.87/2033.70 o 7985 2028.87/2034.70 o 7983 2029.07/2034.97 o 7982 2029.17/2035.03 o 7980 2029.86/2035.71 o 7979 2029.96/2035.81 o 7978 2029.96/2035.88 o 7977 2031.26/2037.20 o 7976 2031.46/2037.37 o 7975 2032.37/2038.21 o 7973 2032.96/2038.83 o 7972 2037.25/2043.18 o 7971 2057.30/2063.24 o 7970 2067.08/2073.04 o 7969 2067.18/2073.15 o 7968 2067.18/2073.17 o 7967 2076.96/2083.00 o 7966 2077.26/2083.29 o 7965 2077.36/2083.37 o 7964 2077.55/2083.50 o 7963 2077.75/2083.77 o 7962 2078.85/2084.80 o 7960 2079.55/2085.56 o 7959 2083.14/2089.11 o 7958 2083.44/2089.42 o 7957 2083.54/2089.57 o 7956 2084.53/2090.53 o 7955 2086.03/2092.08 o 7954 2086.63/2092.64 o 7953 2087.92/2093.92 o 7952 2403.76/2410.56 o 7951 2452.64/2459.59 o 7950 2453.94/2460.84 o 7949 2454.24/2461.10 o 7948 2454.24/2461.19 o 7947 2454.33/2461.26 o 7946 2455.83/2462.78 o 7945 2456.03/2462.95 o 7944 2456.23/2463.17 o 7943 2458.02/2464.98 o 7942 2458.23/2465.11 o 7941 2458.82/2465.75 o 7940 2458.92/2465.84 o 7939 2459.02/2465.99 o 7938 2459.82/2466.71 o 7937 2459.92/2466.86 o 7936 2460.32/2467.26 o 7935 2461.02/2467.96 o 7934 2462.23/2469.18 o 7933 2462.62/2469.54 o 7932 2462.72/2469.61 o 7931 2463.02/2470.00 o 7930 2483.17/2490.14 o 7929 2500.73/2507.75 o 7928 2501.32/2508.30 o 7926 2501.52/2508.59 o 7925 2501.82/2508.80 o 7924 2501.82/2508.86 o 7922 2502.32/2509.38 o 7921 2502.62/2509.65 o 7920 2502.92/2509.90 o 7919 2523.07/2530.15 o 7918 2525.36/2532.49 o 7917 2525.66/2532.71 o 7916 2526.16/2533.28 o 7915 2526.46/2533.56 o 7913 2527.36/2534.43 o 7912 2527.46/2534.54 o 7911 2527.56/2534.64 o 7910 2529.66/2536.75 o 7909 2529.86/2536.98 o 7906 2531.85/2538.94 o 7905 2533.35/2540.40 o 7904 2534.84/2541.98 o 7903 2535.54/2542.60 o 7902 2536.73/2543.86 o 7901 2555.29/2562.43 o 7900 2569.36/2576.57 o 7899 2569.65/2576.82 o 7898 2574.65/2581.89 o 7897 2575.75/2582.97 o 7896 2579.04/2586.20 o 7895 2581.03/2588.22 o 7894 2581.53/2588.77 o 7893 2581.83/2589.01 o 7892 2631.11/2638.46 o 7891 2631.91/2639.25 o 7890 2632.31/2639.62 o 7889 2632.81/2640.14 o 7888 2634.80/2642.18 o 7887 2635.00/2642.39 o 7886 2635.19/2642.56 o 7885 2636.99/2644.34 o 7884 2637.19/2644.53 o 7882 2637.19/2644.59 o 7881 2640.79/2648.13 o 7880 2717.00/2724.56 o 7879 2733.36/2740.97 o 7878 2733.57/2741.16 o 7876 2734.06/2741.65 o 7875 2746.03/2753.69 o 7874 2747.32/2754.93 o 7872 2747.54/2755.18 o 7871 2747.73/2755.30 o 7870 2748.03/2755.61 o 7869 2874.13/2882.07 o 7868 2876.32/2884.29 o 7867 2877.12/2885.08 o 7866 2878.71/2886.61 o 7865 2900.16/2908.18 o 7864 2912.82/2920.85 o 7863 2982.46/2990.68 o 7862 2982.75/2990.92 o 7859 2986.85/2995.08 o 7858 2990.04/2998.24 o 7857 3010.08/3018.30 o 7856 3010.38/3018.61 o 7855 3011.38/3019.64 o 7854 3011.48/3019.74 o 7853 3012.58/3020.87 o 7852 3013.57/3021.81 o 7851 3013.78/3022.04 o 7850 3013.88/3022.15 o 7849 3016.38/3024.62 o 7848 3028.74/3037.10 o 7847 3035.53/3043.82 o 7846 3035.73/3044.05 o 7845 3036.03/3044.30 o 7844 3036.03/3044.35 o 7843 3036.33/3044.68 o 7842 3036.43/3044.75 o 7841 3037.52/3045.84 o 7840 3038.22/3046.52 o 7839 3039.12/3047.43 o 7838 3039.22/3047.59 o 7836 3040.12/3048.40 o 7835 3040.22/3048.51 o 7834 3040.42/3048.77 o 7833 3042.31/3050.64 o 7832 3043.71/3052.00 o 7831 3044.50/3052.89 o 7830 3047.70/3056.07 o 7829 3136.37/3144.93 o 7828 3137.47/3146.03 o 7827 3137.67/3146.21 o 7826 3170.59/3179.20 o 7825 3171.68/3180.34 o 7824 3187.94/3196.65 o 7823 3600.00/3610.00 c Program interrupted by user. 3600.00/3610.00 s SATISFIABLE 3600.00/3610.00 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 7823
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: 63665 MiB (62204 MiB free)
memory of node 1: 64507 MiB (51174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522016-1751581039/watcher-4522016-1751581039 -o /tmp/evaluation-result-4522016-1751581039/solver-4522016-1751581039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751573472-82367 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=764254793 --ls=0 --inp-dombreaklim=0 HOME/instance-4522016-1751581039.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83677, runsolver pid=83674
[startup+0.100071 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 83678
/proc/meminfo: memFree=116073520/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=58052 memory=35396 CPUtime=0.09 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 8793 0 0 0 8 1 0 0 20 0 1 0 73783757 59445248 8849 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 14513 8849 1248 1200 0 12993 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58052 KiB
Current children cumulated memory: 35396 KiB
[startup+0.205515 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 83678
/proc/meminfo: memFree=116069740/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=61140 memory=38596 CPUtime=0.2 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 9582 0 0 0 18 2 0 0 20 0 1 0 73783757 62607360 9649 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 15285 9649 1248 1200 0 13765 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61140 KiB
Current children cumulated memory: 38596 KiB
[startup+0.305439 s]*
/proc/loadavg: 4.09 4.11 4.09 6/263 83678
/proc/meminfo: memFree=116068984/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=65280 memory=43784 CPUtime=0.3 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 10528 0 0 0 28 2 0 0 20 0 1 0 73783757 66846720 10946 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 16320 10946 1248 1200 0 14800 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65280 KiB
Current children cumulated memory: 43784 KiB
[startup+0.700167 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 83678
/proc/meminfo: memFree=116061108/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=68972 memory=53704 CPUtime=0.68 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 11471 0 0 0 66 2 0 0 20 0 1 0 73783757 70627328 13426 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 17243 13426 1248 1200 0 15723 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68972 KiB
Current children cumulated memory: 53704 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 83678
/proc/meminfo: memFree=116052980/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=73460 memory=64648 CPUtime=1.48 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 12672 0 0 0 145 3 0 0 20 0 1 0 73783757 75223040 16162 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 18365 16162 1248 1200 0 16845 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73460 KiB
Current children cumulated memory: 64648 KiB
[startup+3.10525 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 83678
/proc/meminfo: memFree=115992360/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=119972 memory=91376 CPUtime=3.08 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 16893 0 0 0 304 4 0 0 20 0 1 0 73783757 122851328 22844 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 29993 22844 1280 1200 0 28473 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119972 KiB
Current children cumulated memory: 91376 KiB
[startup+6.30016 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 83678
/proc/meminfo: memFree=115688032/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=209688 memory=176956 CPUtime=6.27 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 29581 0 0 0 618 9 0 0 20 0 1 0 73783757 214720512 44239 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 52422 44239 1280 1200 0 50902 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 209688 KiB
Current children cumulated memory: 176956 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 83678
/proc/meminfo: memFree=115648944/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=298916 memory=226708 CPUtime=12.65 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 35021 0 0 0 1252 13 0 0 20 0 1 0 73783757 306089984 56677 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 74729 56677 1280 1200 0 73209 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 298916 KiB
Current children cumulated memory: 226708 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 83679
/proc/meminfo: memFree=115602968/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=343168 memory=312064 CPUtime=25.41 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 44598 0 0 0 2525 16 0 0 20 0 1 0 73783757 351404032 78016 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 85792 78016 1280 1200 0 84272 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 343168 KiB
Current children cumulated memory: 312064 KiB
[startup+51.1053 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 83679
/proc/meminfo: memFree=115512708/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=482276 memory=395392 CPUtime=50.95 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 49755 0 0 0 5071 24 0 0 20 0 1 0 73783757 493850624 98848 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 120569 98848 1280 1200 0 119049 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 482276 KiB
Current children cumulated memory: 395392 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 83681
/proc/meminfo: memFree=115499240/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=500580 memory=409728 CPUtime=102.01 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 53503 0 0 0 10172 29 0 0 20 0 1 0 73783757 512593920 102432 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 125145 102432 1280 1200 0 123625 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 500580 KiB
Current children cumulated memory: 409728 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 83688
/proc/meminfo: memFree=115468980/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=537508 memory=437248 CPUtime=161.85 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 60481 0 0 0 16151 34 0 0 20 0 1 0 73783757 550408192 109312 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 134377 109312 1280 1200 0 132857 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 537508 KiB
Current children cumulated memory: 437248 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 83690
/proc/meminfo: memFree=115444672/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=561624 memory=455040 CPUtime=221.7 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 65046 0 0 0 22131 39 0 0 20 0 1 0 73783757 575102976 113760 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 140406 113760 1280 1200 0 138886 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 561624 KiB
Current children cumulated memory: 455040 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 83692
/proc/meminfo: memFree=115382684/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=575904 memory=472128 CPUtime=281.54 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 67892 0 0 0 28111 43 0 0 20 0 1 0 73783757 589725696 118032 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 143976 118032 1280 1200 0 142456 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 575904 KiB
Current children cumulated memory: 472128 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 83694
/proc/meminfo: memFree=115283020/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=609840 memory=535996 CPUtime=341.39 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 75678 0 0 0 34087 52 0 0 20 0 1 0 73783757 624476160 133999 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 152460 133999 1280 1200 0 150940 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 609840 KiB
Current children cumulated memory: 535996 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 83696
/proc/meminfo: memFree=115276948/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=622528 memory=548028 CPUtime=401.24 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 78786 0 0 0 40067 57 0 0 20 0 1 0 73783757 637468672 137007 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 155632 137007 1280 1200 0 154112 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 622528 KiB
Current children cumulated memory: 548028 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 83698
/proc/meminfo: memFree=115252160/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=634860 memory=561724 CPUtime=461.09 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 82226 0 0 0 46048 61 0 0 20 0 1 0 73783757 650096640 140431 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
################
# More data... #
################
Current children cumulated memory: 866936 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 83913
/proc/meminfo: memFree=112102916/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=929984 memory=873080 CPUtime=2854.46 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 151175 0 0 0 285193 253 0 0 20 0 1 0 73783757 952303616 218270 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 232496 218270 1312 1200 0 230976 0
Current children cumulated CPU time: 2854.46 s
Current children cumulated vsize: 929984 KiB
Current children cumulated memory: 873080 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 83915
/proc/meminfo: memFree=112064896/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=936884 memory=878712 CPUtime=2914.32 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 152584 0 0 0 291176 256 0 0 20 0 1 0 73783757 959369216 219678 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 234221 219678 1312 1200 0 232701 0
Current children cumulated CPU time: 2914.32 s
Current children cumulated vsize: 936884 KiB
Current children cumulated memory: 878712 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 83917
/proc/meminfo: memFree=112006624/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=942112 memory=882552 CPUtime=2974.18 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 153850 0 0 0 297157 261 0 0 20 0 1 0 73783757 964722688 220638 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 235528 220638 1312 1200 0 234008 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 942112 KiB
Current children cumulated memory: 882552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 83919
/proc/meminfo: memFree=111963424/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=942944 memory=883448 CPUtime=3034.03 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 154084 0 0 0 303138 265 0 0 20 0 1 0 73783757 965574656 220862 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 235736 220862 1312 1200 0 234216 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 942944 KiB
Current children cumulated memory: 883448 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 83924
/proc/meminfo: memFree=111897004/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=943136 memory=883832 CPUtime=3093.88 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 154483 0 0 0 309118 270 0 0 20 0 1 0 73783757 965771264 220958 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 235784 220958 1312 1200 0 234264 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 943136 KiB
Current children cumulated memory: 883832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 83926
/proc/meminfo: memFree=111826096/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=946212 memory=886264 CPUtime=3153.74 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 155117 0 0 0 315099 275 0 0 20 0 1 0 73783757 968921088 221566 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 236553 221566 1312 1200 0 235033 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 946212 KiB
Current children cumulated memory: 886264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 83952
/proc/meminfo: memFree=125619360/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=947296 memory=887416 CPUtime=3213.56 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 155740 0 0 0 321075 281 0 0 20 0 1 0 73783757 970031104 221854 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 236824 221854 1312 1200 0 235304 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 947296 KiB
Current children cumulated memory: 887416 KiB
[startup+3282.3 s]
/proc/loadavg: 3.51 3.92 4.03 4/257 83964
/proc/meminfo: memFree=125790716/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=951104 memory=890744 CPUtime=3273.36 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 156567 0 0 0 327050 286 0 0 20 0 1 0 73783757 973930496 222686 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 237776 222686 1312 1200 0 236256 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 951104 KiB
Current children cumulated memory: 890744 KiB
[startup+3342.3 s]
/proc/loadavg: 3.56 3.85 3.99 4/257 83966
/proc/meminfo: memFree=125767552/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=954868 memory=894072 CPUtime=3333.17 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 157697 0 0 0 333024 293 0 0 20 0 1 0 73783757 977784832 223518 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 238717 223518 1312 1200 0 237197 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 954868 KiB
Current children cumulated memory: 894072 KiB
[startup+3402.3 s]
/proc/loadavg: 3.25 3.71 3.94 4/256 83968
/proc/meminfo: memFree=125775588/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=956396 memory=895480 CPUtime=3392.97 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 158197 0 0 0 338998 299 0 0 20 0 1 0 73783757 979349504 223870 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 239099 223870 1312 1200 0 237579 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 956396 KiB
Current children cumulated memory: 895480 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.61 3.89 4/256 83970
/proc/meminfo: memFree=125775372/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=961396 memory=899192 CPUtime=3452.78 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 159299 0 0 0 344973 305 0 0 20 0 1 0 73783757 984469504 224798 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 240349 224798 1312 1200 0 238829 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 961396 KiB
Current children cumulated memory: 899192 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.51 3.83 4/256 83971
/proc/meminfo: memFree=125769608/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=967328 memory=903160 CPUtime=3512.59 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 160299 0 0 0 350947 312 0 0 20 0 1 0 73783757 990543872 225790 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 241832 225790 1312 1200 0 240312 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 967328 KiB
Current children cumulated memory: 903160 KiB
[startup+3582.3 s]
/proc/loadavg: 3.24 3.46 3.79 4/256 83973
/proc/meminfo: memFree=125768992/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=972896 memory=907000 CPUtime=3572.39 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 161565 0 0 0 356922 317 0 0 20 0 1 0 73783757 996245504 226750 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 243224 226750 1312 1200 0 241704 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 972896 KiB
Current children cumulated memory: 907000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 3.42 3.49 3.80 4/256 83975
/proc/meminfo: memFree=125770004/131250000 swapFree=33010416/33010684
[pid=83677] ppid=83674 vsize=973088 memory=907128 CPUtime=3600 cores=4,6
/proc/83677/stat : 83677 (Exact) R 83674 83677 82356 0 -1 4194304 161613 0 0 0 359682 318 0 0 20 0 1 0 73783757 996442112 226782 18446744073709551615 4198400 9112445 140736813073008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 28008448 140736813074729 140736813074925 140736813074925 140736813080527 0
/proc/83677/statm: 243272 226782 1312 1200 0 241752 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 973088 KiB
Current children cumulated memory: 907128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 83677 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.83 s, system=3.19965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.03
CPU time (s): 3600.03
CPU user time (s): 3596.83
CPU system time (s): 3.19965
CPU usage (%): 99.7232
Max. virtual memory (cumulated for all children) (KiB): 973088
Max. memory (cumulated for all children) (KiB): 907128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.83
system time used= 3.19965
maximum resident set size= 907128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161615
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= 103
involuntary context switches= 3937
# summary of solver processes directly reported to runsolver:
# pid: 83677
# total CPU time (s): 3600.03
# total CPU user time (s): 3596.83
# total CPU system time (s): 3.19965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27179 second user time and 14.9217 second system time
The end
Begin job on nodeC027 at 2025-07-04 00:17:19 IDJOB=4522016 IDBENCH=178564 IDSOLVER=3318 FILE ID=nodeC027/4522016-1751581039 RUNJOBID= nodeC027-1751573472-82367 SLURM_JOB_ID= 9598797 Free space on /tmp= 431052 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 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=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522016-1751581039/watcher-4522016-1751581039 -o /tmp/evaluation-result-4522016-1751581039/solver-4522016-1751581039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751573472-82367 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=764254793 --ls=0 --inp-dombreaklim=0 HOME/instance-4522016-1751581039.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97 RANDOM SEED=764254793 nodeC027 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 : 0xb00002a cpu MHz : 3599.638 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.641 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3591.447 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.897 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3553.426 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.614 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.633 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3614.126 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 116100736 kB MemAvailable: 116459692 kB Buffers: 2488 kB Cached: 1157772 kB SwapCached: 12 kB Active: 13877236 kB Inactive: 617180 kB Active(anon): 13349472 kB Inactive(anon): 2792 kB Active(file): 527764 kB Inactive(file): 614388 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7788 kB Writeback: 8 kB AnonPages: 13335756 kB Mapped: 119608 kB Shmem: 18056 kB KReclaimable: 111684 kB Slab: 201020 kB SReclaimable: 111684 kB SUnreclaim: 89336 kB KernelStack: 4320 kB PageTables: 29296 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 14475376 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8738816 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431160 MiB End job on nodeC027 at 2025-07-04 01:17:29