Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | 8852630 | 3439.17 | 3702.77 |
Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb |
MD5SUM | 6ea30ee5c980a208725b42ec6ced88d1 |
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 | 4372480 |
Best CPU time to get the best result obtained on this benchmark | 2892.16 |
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 | 8060 |
Total number of constraints | 296 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 8060 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1599918681646 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1599918681646 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.09/1.19 o 33183792 1.48/1.51 o 33011760 1.48/1.51 o 32810032 1.48/1.52 o 32718896 1.48/1.52 o 32623664 1.48/1.53 o 32359472 1.48/1.53 o 32266288 1.48/1.54 o 32177200 1.48/1.54 o 32088112 1.48/1.54 o 31974448 1.48/1.55 o 31788080 1.48/1.55 o 31708208 1.48/1.56 o 31566896 1.48/1.56 o 31362096 1.48/1.57 o 31129648 1.48/1.57 o 30975024 1.48/1.58 o 30810160 1.48/1.58 o 30670896 1.48/1.59 o 30435376 1.48/1.59 o 30209072 1.57/1.60 o 29999152 1.57/1.60 o 29889584 1.57/1.61 o 29644848 1.57/1.61 o 29520944 1.57/1.61 o 29405232 1.57/1.62 o 29279280 1.57/1.62 o 29062192 1.68/1.75 o 29062190 1.68/1.76 o 29062186 1.68/1.77 o 29062183 1.68/1.77 o 29062173 1.68/1.79 o 29062128 1.78/1.80 o 29062121 1.78/1.81 o 29062107 1.78/1.88 o 29062075 2.09/2.17 o 29062070 3.67/3.71 o 29028409 3.67/3.74 o 29028401 3.67/3.75 o 29028391 3.67/3.77 o 29028385 3.67/3.79 o 28878881 3.77/3.81 o 28622881 3.77/3.82 o 28615693 3.77/3.82 o 28615691 3.77/3.83 o 28615688 3.77/3.84 o 28388368 3.77/3.84 o 28237840 3.77/3.85 o 27997200 3.77/3.86 o 27853840 3.77/3.86 o 27669520 3.77/3.87 o 27437072 3.77/3.87 o 27244560 3.77/3.88 o 27041808 3.77/3.88 o 26892304 3.77/3.89 o 26724368 3.77/3.89 o 26604560 3.87/3.90 o 26424336 3.87/3.90 o 26247184 3.87/3.91 o 26023952 3.87/3.91 o 25904144 3.87/3.92 o 25704464 3.87/3.92 o 25544720 3.87/3.93 o 25544716 3.87/3.93 o 25544713 3.87/3.94 o 25412617 3.87/3.95 o 25412613 3.87/3.97 o 25313510 3.87/3.97 o 25313502 3.87/3.98 o 25312473 3.98/4.01 o 25312455 3.98/4.03 o 25312443 4.08/4.12 o 25312441 4.08/4.15 o 25312433 4.08/4.16 o 25310897 4.08/4.18 o 25310513 4.08/4.19 o 25310321 4.17/4.26 o 25310317 4.17/4.28 o 25178289 4.46/4.51 o 25171114 4.46/4.59 o 25171104 4.57/4.60 o 25171082 4.57/4.62 o 25171072 4.57/4.63 o 25171070 4.57/4.64 o 25171060 4.57/4.67 o 25053608 4.67/4.76 o 25051746 4.67/4.77 o 25051728 4.77/4.85 o 25051716 4.77/4.87 o 25051710 4.77/4.89 o 25051704 4.86/4.90 o 24884804 4.86/4.91 o 24884798 4.86/4.97 o 24884750 4.98/5.05 o 24884738 4.98/5.06 o 24884735 5.16/5.20 o 24884411 5.16/5.21 o 24883985 5.16/5.22 o 24883979 5.37/5.41 o 24882443 5.37/5.49 o 24878483 5.46/5.51 o 24878475 5.46/5.56 o 24872359 5.56/5.61 o 24841643 6.26/6.36 o 24841387 11.80/12.13 o 24838827 11.89/12.27 o 24838821 12.08/12.49 o 24838053 12.69/13.03 o 24837669 12.69/13.10 o 24836901 12.79/13.13 o 24836517 12.79/13.15 o 24836325 12.79/13.17 o 24836133 12.87/13.21 o 24836121 12.87/13.24 o 24774685 12.87/13.27 o 24704029 12.97/13.31 o 24578083 13.07/13.43 o 24578081 13.07/13.45 o 24578073 13.07/13.47 o 24578069 13.18/13.52 o 24462941 13.28/13.60 o 24462939 13.28/13.62 o 24460635 13.28/13.64 o 24460491 13.28/13.67 o 24441627 13.38/13.71 o 24441621 13.48/13.88 o 24440853 13.69/14.07 o 24440847 14.58/14.94 o 24434441 14.69/15.06 o 24434440 14.69/15.11 o 24434439 14.79/15.13 o 24434438 14.79/15.17 o 24434436 15.57/15.91 o 24348932 16.07/16.41 o 24348931 16.07/16.47 o 24348927 17.06/17.46 o 24348919 17.77/18.19 o 24174816 18.68/19.05 o 24174688 19.06/19.41 o 23939168 19.06/19.46 o 23843936 19.26/19.64 o 23658672 19.35/19.70 o 23444656 19.35/19.77 o 23444655 19.45/19.84 o 23391891 19.45/19.86 o 23391888 19.55/19.90 o 23391885 19.55/19.98 o 23391883 21.15/21.54 o 23391879 26.65/27.08 o 23391878 26.65/27.09 o 23280262 26.75/27.15 o 23280260 26.75/27.16 o 23280256 26.83/27.20 o 23280255 26.83/27.27 o 23280250 26.83/27.29 o 23280247 27.03/27.42 o 23279735 27.03/27.46 o 23279731 27.13/27.55 o 23152176 27.23/27.61 o 23152131 27.23/27.62 o 23032332 27.23/27.64 o 23032331 27.23/27.68 o 23032330 27.33/27.70 o 23032308 27.33/27.72 o 23032307 27.43/27.80 o 22902643 27.43/27.89 o 22751139 27.53/28.00 o 22750969 27.64/28.06 o 22750953 27.64/28.07 o 22750952 27.82/28.24 o 22750950 27.82/28.26 o 22750948 27.93/28.30 o 22648206 27.93/28.33 o 22648203 27.93/28.35 o 22648123 27.93/28.37 o 22648097 28.23/28.61 o 22648061 28.23/28.63 o 22648053 28.23/28.67 o 22648051 28.23/28.69 o 22648050 28.32/28.76 o 22648028 28.42/28.89 o 22648019 28.52/28.91 o 22648018 28.64/29.01 o 22645970 28.93/29.38 o 22612727 29.03/29.47 o 22611831 29.13/29.55 o 22611828 29.13/29.58 o 22611826 29.52/29.91 o 22611819 29.52/29.95 o 22611816 29.52/29.97 o 22611752 29.64/30.07 o 22611720 29.64/30.10 o 22611592 29.74/30.14 o 22611560 29.82/30.20 o 22607881 29.82/30.23 o 22607785 29.82/30.25 o 22607161 29.82/30.27 o 22607137 29.82/30.30 o 22607125 30.02/30.47 o 22606101 30.32/30.73 o 22604053 30.63/31.02 o 22604045 30.73/31.14 o 22604044 30.82/31.23 o 22603788 31.02/31.43 o 22603786 31.12/31.51 o 22603770 31.12/31.57 o 22603768 31.42/31.81 o 22603704 31.42/31.84 o 22603691 31.52/31.90 o 22603690 31.52/31.95 o 22603689 31.52/31.98 o 22562369 31.52/32.00 o 22562368 31.63/32.02 o 22562365 31.81/32.24 o 22562363 32.11/32.55 o 22463055 32.21/32.63 o 22463031 33.51/33.90 o 22462019 43.68/45.26 o 22462014 43.68/45.27 o 22461996 43.68/45.29 o 22461993 43.78/45.30 o 22386217 43.78/45.32 o 22231593 43.78/45.34 o 22231591 44.18/45.72 o 22231463 44.18/45.78 o 22231455 44.28/45.81 o 22231327 44.28/45.83 o 22231325 44.28/45.86 o 22231295 44.28/45.87 o 22231293 44.38/45.92 o 22225094 44.38/45.95 o 22225090 44.77/46.33 o 22043128 44.97/46.57 o 22042872 45.07/46.60 o 21922040 45.38/47.00 o 21851558 45.67/47.27 o 21795313 46.37/47.93 o 21795306 46.37/47.96 o 21795288 46.77/48.32 o 21795287 46.97/48.58 o 21795075 47.07/48.61 o 21795070 47.07/48.64 o 21795066 47.26/48.87 o 21795064 47.36/48.91 o 21795062 47.36/48.96 o 21795058 47.87/49.42 o 21795054 48.57/50.11 o 21705766 48.66/50.21 o 21705246 48.66/50.30 o 21705182 48.96/50.55 o 21705181 48.96/50.59 o 21705180 49.36/50.92 o 21705148 49.36/51.00 o 21598652 49.48/51.10 o 21549646 49.58/51.13 o 21549644 49.58/51.16 o 21549629 49.66/51.20 o 21549620 49.66/51.22 o 21549618 49.66/51.25 o 21549592 49.86/51.43 o 21533604 49.86/51.46 o 21533602 50.26/51.82 o 21434469 50.26/51.85 o 21434463 50.57/52.12 o 21434455 52.05/53.64 o 21434447 52.15/53.76 o 21434423 52.25/53.81 o 21434414 52.25/53.83 o 21434351 56.64/58.27 o 21434344 56.83/58.41 o 21434343 57.03/58.61 o 21434316 63.11/64.74 o 21434252 63.11/64.79 o 21342156 63.21/64.82 o 21342154 63.21/64.89 o 21342146 63.31/64.91 o 21342145 63.31/64.92 o 21342140 63.31/64.98 o 21342092 63.53/65.19 o 21341970 63.72/65.30 o 21341969 63.72/65.31 o 21341964 63.82/65.45 o 21341963 63.91/65.51 o 21341947 64.01/65.66 o 21341945 64.11/65.74 o 21341561 64.21/65.80 o 21155321 64.21/65.89 o 21143033 64.81/66.41 o 21092161 64.81/66.46 o 21092159 64.81/66.49 o 21092153 64.90/66.53 o 21092152 64.90/66.54 o 21092151 64.90/66.56 o 21045061 65.21/66.84 o 21017335 65.31/66.95 o 21017333 65.42/67.03 o 21015302 65.42/67.04 o 21015292 65.42/67.06 o 20843260 65.42/67.10 o 20843259 69.09/70.74 o 20843252 69.40/71.10 o 20842228 70.69/72.36 o 20842220 71.08/72.78 o 20841360 71.18/72.87 o 20841359 71.28/72.91 o 20837263 71.28/72.94 o 20837007 71.40/73.03 o 20835471 71.40/73.05 o 20835423 71.59/73.23 o 20798698 71.59/73.26 o 20798687 74.96/78.22 o 20782412 81.85/85.13 o 20782410 81.94/85.24 o 20782408 81.94/85.25 o 20782407 81.94/85.28 o 20782405 81.94/85.29 o 20782404 82.04/85.34 o 20518375 82.04/85.35 o 20518367 82.04/85.35 o 20518365 82.04/85.36 o 20518363 82.04/85.38 o 20431323 82.14/85.41 o 20423013 82.33/85.70 o 20423005 82.43/85.71 o 20423001 82.43/85.78 o 20422997 82.54/85.83 o 20422995 83.63/86.94 o 20422994 83.93/87.21 o 20422993 84.43/87.70 o 20401373 84.63/87.92 o 20397550 84.92/88.21 o 20397543 86.02/89.39 o 20382951 86.22/89.51 o 20382439 87.52/90.83 o 20356276 87.52/90.85 o 20356275 87.62/90.95 o 20356264 87.62/90.98 o 20356251 87.73/91.09 o 20356241 87.92/91.22 o 20356049 87.92/91.28 o 20353927 88.02/91.33 o 20353735 88.12/91.45 o 20353687 88.22/91.57 o 20353675 88.31/91.64 o 20352651 89.11/92.45 o 20352649 89.21/92.53 o 20352265 89.21/92.56 o 20351881 89.32/92.62 o 20351635 89.32/92.65 o 20351629 89.32/92.69 o 20351623 89.42/92.72 o 20351521 89.42/92.76 o 20351497 89.51/92.89 o 20339775 89.61/92.95 o 20339769 89.82/93.16 o 20339767 91.00/94.36 o 20339703 98.79/102.13 o 20339697 98.79/102.14 o 20339633 98.79/102.15 o 20339569 98.79/102.18 o 20339567 98.88/102.25 o 20339503 98.98/102.31 o 20339502 99.18/102.51 o 20339486 99.69/103.05 o 20339478 99.87/103.20 o 20304733 99.87/103.22 o 20304723 99.87/103.24 o 20304722 99.87/103.26 o 20304717 99.87/103.27 o 20304716 99.97/103.30 o 20304704 102.53/107.09 o 20279647 102.72/107.20 o 20279631 102.72/107.25 o 20279599 102.72/107.28 o 20279595 103.11/107.62 o 20279591 103.21/107.72 o 20279587 103.31/107.85 o 20277539 103.31/107.89 o 20277537 103.41/107.97 o 20144446 103.41/108.01 o 20144426 103.52/108.06 o 20144421 103.52/108.09 o 20144413 103.71/108.23 o 20144410 103.81/108.34 o 20045422 104.11/108.66 o 20045398 104.21/108.78 o 19983956 104.41/108.99 o 19983932 104.53/109.01 o 19983928 104.53/109.03 o 19983896 104.53/109.04 o 19983878 104.53/109.06 o 19983874 104.53/109.08 o 19847856 104.53/109.09 o 19847784 104.63/109.12 o 19754603 104.63/109.17 o 19754601 105.41/109.97 o 19645033 167.76/174.07 o 19644905 167.95/174.20 o 19639107 167.95/174.20 o 19639104 167.95/174.21 o 19639098 167.95/174.22 o 19638906 167.95/174.24 o 19638897 167.95/174.26 o 19634417 167.95/174.29 o 19634415 168.05/174.30 o 19634223 170.45/176.70 o 19634220 183.30/189.65 o 19634028 183.59/189.98 o 19634027 183.70/190.06 o 19633979 183.80/190.12 o 19633974 183.80/190.19 o 19633966 183.89/190.21 o 19633956 183.89/190.23 o 19633952 183.89/190.28 o 19633945 183.89/190.29 o 19633941 183.99/190.30 o 19633940 183.99/190.37 o 19633808 183.99/190.39 o 19633688 184.09/190.42 o 19633685 184.09/190.44 o 19633684 184.29/190.62 o 19608672 184.29/190.65 o 19608160 184.29/190.67 o 19607134 184.39/190.75 o 19607130 184.39/190.77 o 19606746 184.70/191.07 o 19606682 184.98/191.33 o 19606554 185.08/191.49 o 19605786 185.18/191.54 o 19604890 185.38/191.75 o 19603866 185.48/191.80 o 19603862 185.48/191.84 o 19603860 185.48/191.86 o 19603846 185.58/191.94 o 19603783 185.80/192.18 o 19603735 185.89/192.22 o 19603671 185.89/192.25 o 19603670 186.39/192.73 o 19590352 186.39/192.76 o 19590350 186.49/192.80 o 19590338 186.49/192.83 o 19589966 186.80/193.19 o 19587151 186.98/193.30 o 19587143 187.08/193.46 o 19587135 187.18/193.58 o 19467543 187.28/193.66 o 19467479 187.28/193.68 o 19467351 187.88/194.28 o 19400153 187.98/194.33 o 19400143 187.98/194.35 o 19400136 188.08/194.43 o 19396040 188.08/194.45 o 19395912 188.78/195.13 o 19395688 188.78/195.19 o 19395675 188.88/195.28 o 19395663 189.08/195.46 o 19395655 189.18/195.52 o 19375175 189.27/195.61 o 19373895 189.47/195.82 o 19373883 189.97/196.35 o 19142411 189.97/196.38 o 19115202 190.57/196.93 o 19106884 190.57/196.96 o 19106876 190.68/197.02 o 19106868 190.68/197.07 o 19106863 190.86/197.25 o 19106862 190.86/197.28 o 19106846 190.96/197.31 o 19106350 190.96/197.36 o 19106334 190.96/197.40 o 18985502 191.06/197.45 o 18985462 191.06/197.47 o 18885110 191.16/197.52 o 18885100 191.26/197.69 o 18885096 191.46/197.80 o 18723560 191.46/197.83 o 18723520 191.46/197.85 o 18723516 191.97/198.30 o 18723512 192.17/198.53 o 18723500 203.94/211.50 o 18723488 209.55/217.14 o 18670188 209.55/217.18 o 18670184 209.63/217.24 o 18670128 209.83/217.46 o 18669573 209.93/217.53 o 18669572 209.93/217.59 o 18669569 210.03/217.63 o 18669565 210.03/217.67 o 18669529 210.03/217.68 o 18669521 210.03/217.69 o 18669505 210.12/217.71 o 18663361 210.12/217.77 o 18634152 210.22/217.88 o 18583156 210.32/217.96 o 18583155 210.32/217.98 o 18582899 210.43/218.04 o 18582891 210.62/218.29 o 18582635 210.73/218.35 o 18582631 210.73/218.36 o 18582627 210.73/218.38 o 18582622 210.73/218.40 o 18582606 210.83/218.45 o 18582603 210.93/218.50 o 18582602 210.93/218.52 o 18580367 211.13/218.73 o 18570093 211.23/218.88 o 18569981 211.54/219.13 o 18569869 211.62/219.23 o 18569868 211.62/219.25 o 18569866 211.82/219.49 o 18569863 214.02/221.66 o 18480775 215.01/222.69 o 18480772 228.80/238.00 o 18480770 228.92/238.01 o 18480002 231.20/240.34 o 18479998 231.50/240.60 o 18479992 231.50/240.62 o 18479936 232.40/241.58 o 18479896 232.60/241.71 o 18476312 232.60/241.77 o 18475800 233.00/242.11 o 18466444 233.09/242.23 o 18466436 233.09/242.28 o 18465956 233.40/242.51 o 18465188 233.50/242.62 o 18465184 233.50/242.65 o 18465182 233.50/242.67 o 18465166 233.59/242.72 o 18465158 233.59/242.75 o 18465154 233.59/242.79 o 18455556 233.69/242.86 o 18455555 233.79/242.93 o 18455554 233.79/242.95 o 18455042 233.91/243.05 o 18452994 234.00/243.18 o 18314754 235.38/244.54 o 18252663 235.48/244.65 o 18203637 235.78/244.92 o 18203631 236.48/245.66 o 18203503 236.78/245.98 o 18203502 236.89/246.02 o 18203499 237.08/246.25 o 18203497 237.28/246.43 o 18198165 237.38/246.52 o 18198111 237.38/246.59 o 18198079 237.48/246.67 o 18196287 237.77/246.92 o 18177768 237.77/246.97 o 18177384 237.77/246.99 o 18126756 237.89/247.08 o 18126700 237.99/247.16 o 18126692 237.99/247.18 o 18126688 238.18/247.33 o 18007966 238.18/247.38 o 18007964 238.28/247.41 o 17953844 238.89/248.07 o 17942620 238.89/248.10 o 17942617 239.17/248.38 o 17849029 239.28/248.44 o 17849026 240.27/249.44 o 17849022 240.27/249.49 o 17848990 240.37/249.53 o 17836441 240.47/249.64 o 17836425 240.57/249.70 o 17836421 240.67/249.81 o 17813915 240.67/249.88 o 17703323 241.17/250.32 o 17703315 244.16/253.31 o 17572249 244.26/253.45 o 17572233 244.36/253.51 o 17568685 244.36/253.56 o 17568681 244.36/253.59 o 17568679 244.46/253.61 o 17568678 244.46/253.64 o 17533446 244.56/253.76 o 17496542 244.65/253.82 o 17496534 245.05/254.23 o 17496532 245.26/254.49 o 17496520 246.35/255.50 o 17496516 246.65/255.88 o 17496510 247.35/256.56 o 17495998 247.45/256.63 o 17495997 247.45/256.66 o 17495994 247.55/256.77 o 17492922 248.86/258.04 o 17424264 254.94/264.19 o 17424248 255.02/264.22 o 17424232 255.52/264.71 o 17423720 255.72/264.95 o 17423718 256.17/266.83 o 17419213 256.17/266.87 o 17419212 256.48/267.12 o 17383828 256.56/267.22 o 17383827 256.67/267.33 o 17382803 256.67/267.37 o 17382611 257.06/267.77 o 17382579 257.16/267.82 o 17382547 257.47/268.14 o 17381011 257.47/268.17 o 17368723 257.56/268.26 o 17368720 257.66/268.30 o 17341088 257.66/268.33 o 17341082 257.66/268.36 o 17341072 257.76/268.41 o 17341070 257.76/268.48 o 17320590 258.37/269.08 o 17320587 258.47/269.11 o 17320586 258.47/269.15 o 17320585 258.47/269.18 o 17227412 265.13/275.83 o 17227410 275.60/286.33 o 17227408 275.60/286.35 o 17227404 281.30/292.07 o 17143243 281.58/292.33 o 17143115 281.78/292.53 o 17128523 281.78/292.58 o 17128507 281.89/292.63 o 17128475 282.40/293.17 o 17106464 282.98/293.78 o 17106436 283.08/293.84 o 17106430 284.07/294.88 o 17106429 284.17/294.92 o 17106425 314.47/327.29 o 17022720 338.49/354.60 o 17022718 338.49/354.61 o 17022708 338.49/354.62 o 17022702 338.70/354.80 o 17022690 338.70/354.87 o 17022670 338.70/354.88 o 17022667 338.70/354.89 o 17022664 338.80/354.91 o 17022661 338.80/354.97 o 17021381 338.91/355.08 o 17021355 338.91/355.09 o 17021345 338.91/355.10 o 17021339 339.01/355.13 o 17021336 339.01/355.14 o 17021333 339.01/355.16 o 17021324 340.01/356.13 o 17020554 340.01/356.14 o 17020548 340.01/356.16 o 17020542 340.01/356.17 o 17020536 340.01/356.18 o 17020530 340.09/356.20 o 17020524 340.19/356.33 o 17018228 340.19/356.35 o 17018180 340.29/356.40 o 17018177 340.39/356.57 o 17018171 340.49/356.61 o 17018168 340.49/356.65 o 17018163 340.49/356.66 o 17018162 340.49/356.68 o 17018156 340.59/356.70 o 17018151 340.59/356.71 o 17018150 340.69/356.87 o 17018144 347.76/367.41 o 17017760 347.76/367.44 o 17017736 347.76/367.47 o 17017676 347.76/367.49 o 17017670 347.86/367.51 o 17017640 347.86/367.54 o 16917288 347.96/367.61 o 16916512 348.47/368.12 o 16916510 349.05/368.75 o 16916470 349.05/368.78 o 16916430 349.15/368.81 o 16853976 349.47/369.16 o 16853970 350.05/369.75 o 16853964 350.15/369.88 o 16849868 350.95/370.68 o 16849676 352.94/372.66 o 16781702 353.04/372.71 o 16781698 353.04/372.77 o 16781686 353.14/372.81 o 16781674 353.14/372.88 o 16781546 353.54/373.28 o 16781514 362.33/382.11 o 16781512 362.43/382.12 o 16781510 362.43/382.18 o 16781509 362.43/382.18 o 16781506 362.52/382.20 o 16781490 362.52/382.22 o 16781489 362.52/382.25 o 16781486 362.52/382.26 o 16781485 362.81/382.56 o 16781482 362.81/382.57 o 16781481 362.91/382.63 o 16781470 362.91/382.64 o 16781469 362.91/382.66 o 16781463 363.43/383.11 o 16781451 363.61/383.33 o 16768188 363.61/383.34 o 16768184 364.61/384.34 o 16768183 364.61/384.36 o 16768172 364.71/384.42 o 16768124 364.71/384.45 o 16767100 364.81/384.52 o 16767094 364.90/384.66 o 16767093 365.80/385.53 o 16767085 365.80/385.56 o 16767079 365.80/385.58 o 16767063 365.91/385.62 o 16551024 365.91/385.64 o 16551004 365.91/385.66 o 16550999 367.79/387.59 o 16550991 369.19/388.97 o 16550990 369.19/389.00 o 16550984 370.19/389.91 o 16523800 370.19/389.98 o 16523795 376.61/402.79 o 16523794 384.89/411.06 o 16523792 384.89/411.08 o 16523791 385.77/411.92 o 16523789 385.77/411.94 o 16523788 385.77/411.96 o 16523786 385.77/412.01 o 16523782 385.88/412.06 o 16523780 385.88/412.08 o 16523778 385.88/412.09 o 16523760 385.88/412.10 o 16523748 385.99/412.11 o 16523742 385.99/412.12 o 16523726 385.99/412.13 o 16523694 385.99/412.14 o 16523678 385.99/412.15 o 16523662 385.99/412.17 o 16523278 386.07/412.21 o 16523276 386.17/412.31 o 16523262 386.17/412.35 o 16523258 386.17/412.37 o 16523257 386.17/412.38 o 16523256 386.17/412.39 o 16523224 386.27/412.41 o 16522200 386.27/412.46 o 16522199 386.27/412.47 o 16522175 386.27/412.49 o 16522174 386.37/412.59 o 16456375 386.48/412.66 o 16445739 386.48/412.69 o 16445703 386.57/412.71 o 16445639 386.67/412.81 o 16445619 387.57/413.71 o 16445427 388.27/414.42 o 16445419 388.66/414.85 o 16443371 388.87/415.07 o 16360859 389.98/416.15 o 16345514 390.66/416.86 o 16222631 390.76/416.90 o 16222630 390.76/416.93 o 16222627 390.76/416.95 o 16222626 390.87/417.05 o 16222610 391.76/417.97 o 16222606 391.87/418.06 o 16222602 392.06/418.22 o 16190910 392.75/418.90 o 16190898 392.75/418.93 o 16190894 392.75/418.97 o 16190890 392.75/419.01 o 16190886 392.87/419.03 o 16190878 392.87/419.06 o 16190874 392.87/419.09 o 16190794 394.25/420.43 o 16190784 394.65/420.89 o 16190776 394.74/420.93 o 16190772 395.14/421.31 o 16186683 395.14/421.35 o 16186679 395.14/421.39 o 16186667 395.24/421.45 o 16186659 395.34/421.51 o 16083235 401.72/427.99 o 16019549 410.91/438.37 o 16019453 410.91/438.38 o 16019449 411.62/439.07 o 16019448 411.72/439.12 o 16019446 411.72/439.16 o 16013302 413.10/440.54 o 16013298 414.79/442.23 o 16013297 415.49/442.92 o 16013288 415.49/442.95 o 16013264 415.71/443.19 o 16013261 416.50/443.98 o 16013260 417.38/444.89 o 16006371 417.48/444.93 o 16006370 417.48/444.97 o 16006367 417.48/445.00 o 16006335 417.60/445.04 o 16006327 417.60/445.07 o 16006326 418.48/445.97 o 16006278 425.06/452.55 o 16006276 435.18/464.33 o 16000782 435.18/464.37 o 16000768 435.68/464.88 o 16000762 436.00/465.18 o 16000506 436.18/465.36 o 15998970 436.18/465.38 o 15998959 436.28/465.40 o 15998948 436.28/465.42 o 15859684 436.68/465.80 o 15859682 436.99/466.11 o 15859678 436.99/466.15 o 15859674 436.99/466.16 o 15859670 436.99/466.18 o 15859662 436.99/466.19 o 15859658 437.08/466.21 o 15859642 437.08/466.23 o 15845306 437.99/467.16 o 15845302 438.38/467.59 o 15845286 438.78/467.98 o 15805368 438.89/468.06 o 15805112 438.89/468.08 o 15805044 439.37/468.50 o 15805040 439.77/468.93 o 15805036 439.77/468.96 o 15805034 440.98/470.11 o 15769720 440.98/470.15 o 15769714 441.27/470.40 o 15713866 441.27/470.47 o 15713858 441.37/470.58 o 15713854 441.47/470.63 o 15713853 441.47/470.67 o 15713848 441.56/470.76 o 15713840 441.66/470.81 o 15713712 442.06/471.27 o 15713710 442.06/471.29 o 15713706 442.56/471.78 o 15713690 443.06/472.28 o 15713687 443.56/472.78 o 15501721 443.76/472.98 o 15501719 443.76/473.01 o 15501715 444.06/473.26 o 15501203 444.56/473.71 o 15501111 455.94/485.16 o 15501105 455.94/485.17 o 15501099 455.94/485.18 o 15501081 455.94/485.19 o 15501079 456.02/485.25 o 15501073 456.02/485.26 o 15501069 456.02/485.28 o 15494925 456.02/485.29 o 15494922 456.12/485.30 o 15494920 456.12/485.37 o 15494902 456.12/485.38 o 15494901 456.12/485.39 o 15494892 458.32/487.50 o 15494824 458.32/487.54 o 15494822 458.32/487.56 o 15494820 458.32/487.58 o 15486628 458.41/487.60 o 15485284 458.41/487.64 o 15485276 458.41/487.66 o 15396188 462.60/491.88 o 15396187 466.03/497.77 o 15396155 466.23/497.94 o 15396153 497.52/529.32 o 15333744 520.77/552.96 o 15333740 521.37/553.53 o 15333716 521.98/554.15 o 15333713 521.98/554.18 o 15333712 522.07/554.22 o 15313262 522.07/554.23 o 15313252 522.07/554.25 o 15313242 522.36/554.51 o 15313237 522.36/554.54 o 15313223 522.36/554.56 o 15313213 522.36/554.57 o 15313208 522.46/554.64 o 15313128 522.56/554.75 o 15313122 522.66/554.86 o 15301874 522.77/554.96 o 15301854 522.77/554.99 o 15301844 523.36/555.52 o 15291669 523.36/555.56 o 15291629 523.36/555.58 o 15291619 523.46/555.60 o 15291615 523.46/555.64 o 15291612 523.46/555.66 o 15291610 523.76/555.94 o 15291584 523.76/555.96 o 15291582 523.76/555.98 o 15291578 523.76/556.01 o 15291575 525.16/557.39 o 15291527 525.35/557.59 o 15291526 525.45/557.61 o 15291523 525.45/557.64 o 15291522 526.35/558.54 o 15291521 526.75/558.90 o 15291489 526.75/558.93 o 15291481 526.96/559.13 o 15291449 527.96/560.16 o 15291445 528.24/560.43 o 15291444 528.24/560.47 o 15289908 528.85/561.02 o 15289907 529.74/561.95 o 15283763 529.85/562.06 o 15283251 529.85/562.10 o 15283187 529.95/562.14 o 15097843 535.20/567.95 o 15097839 535.50/568.20 o 15097519 536.10/568.88 o 15008465 536.20/568.92 o 15008455 536.20/569.00 o 15008453 536.31/569.03 o 15008447 536.70/569.40 o 15008443 536.70/569.43 o 15008433 536.80/569.57 o 15008273 537.00/569.74 o 15004177 537.10/569.80 o 14986029 537.31/570.02 o 14929008 537.41/570.12 o 14928992 538.49/571.27 o 14795872 539.40/572.17 o 14795870 541.58/574.33 o 14795867 550.55/583.30 o 14795863 550.55/583.39 o 14795857 550.65/583.41 o 14795761 550.65/583.43 o 14795377 550.85/583.60 o 14795375 550.85/583.68 o 14795371 550.85/583.69 o 14795370 550.95/583.70 o 14795365 551.36/584.14 o 14795361 551.36/584.16 o 14795359 551.45/584.25 o 14795357 551.45/584.26 o 14795356 553.44/586.20 o 14795328 553.64/586.43 o 14795326 553.64/586.48 o 14795323 553.84/586.66 o 14795321 553.94/586.71 o 14795257 559.52/592.33 o 14795241 559.52/592.39 o 14795240 559.71/592.54 o 14795237 559.71/592.57 o 14795236 559.71/592.59 o 14795234 559.81/592.63 o 14795231 559.81/592.68 o 14792159 562.00/594.83 o 14789012 562.00/594.89 o 14789010 562.10/594.96 o 14789002 562.10/594.98 o 14788990 562.22/595.01 o 14788986 562.22/595.05 o 14786938 562.22/595.09 o 14785914 562.33/595.11 o 14785402 562.35/595.87 o 14785018 562.39/595.96 o 14783994 575.64/609.26 o 14745676 575.94/609.55 o 14745672 576.04/609.61 o 14745671 576.04/609.63 o 14745659 576.04/609.65 o 14745651 576.34/609.93 o 14745650 576.34/609.95 o 14745647 576.34/609.98 o 14673901 576.45/610.08 o 14673897 576.55/610.17 o 14673893 576.84/610.42 o 14673890 578.93/612.55 o 14673887 578.93/612.57 o 14673883 579.03/612.62 o 14673691 579.03/612.64 o 14673563 579.03/612.67 o 14673435 579.13/612.70 o 14673179 579.13/612.75 o 14673123 581.12/614.79 o 14673107 581.32/614.95 o 14673102 581.43/615.05 o 14586578 586.60/620.28 o 14586574 586.70/620.31 o 14586558 586.70/620.33 o 14586553 586.80/620.47 o 14586545 586.90/620.55 o 14586528 586.90/620.58 o 14586500 587.00/620.61 o 14586495 587.00/620.64 o 14586485 587.41/621.07 o 14586481 588.90/622.59 o 14586473 589.30/622.94 o 14586471 591.79/625.46 o 14586470 592.19/625.80 o 14586462 592.79/626.43 o 14584403 592.79/626.49 o 14584397 592.89/626.54 o 14584383 592.89/626.59 o 14584379 592.99/626.67 o 14584375 593.19/626.81 o 14584366 598.28/632.98 o 14584365 608.65/643.35 o 14544420 608.65/643.38 o 14544415 608.85/643.59 o 14544414 608.95/643.60 o 14538782 608.95/643.61 o 14535966 608.95/643.62 o 14535614 610.04/644.78 o 14535612 610.04/644.79 o 14535607 610.35/645.09 o 14535595 610.84/645.57 o 14535593 610.94/645.61 o 14535585 610.94/645.66 o 14530465 611.35/646.06 o 14529468 611.35/646.08 o 14529464 611.35/646.10 o 14529452 611.45/646.12 o 14529448 611.45/646.13 o 14529324 611.45/646.16 o 14529084 611.45/646.17 o 14529080 611.45/646.18 o 14529068 611.54/646.21 o 14529063 611.54/646.23 o 14529059 611.94/646.66 o 14529056 611.94/646.67 o 14529054 612.04/646.71 o 14529049 612.45/647.16 o 14529047 613.63/648.31 o 14527767 613.93/648.60 o 14527127 614.03/648.74 o 14527087 615.03/649.76 o 14527085 615.13/649.89 o 14527081 615.23/649.94 o 14527077 615.34/650.11 o 14527013 619.51/654.22 o 14527011 620.21/654.95 o 14519331 620.91/655.66 o 14519329 621.01/655.70 o 14519325 621.01/655.75 o 14519323 622.51/657.22 o 14519321 639.34/676.11 o 14519317 639.43/676.23 o 14519301 639.43/676.28 o 14519298 639.52/676.30 o 14516226 639.52/676.34 o 14516194 639.52/676.35 o 14516066 639.52/676.38 o 14503778 639.73/676.57 o 14503777 640.63/677.44 o 14502753 640.63/677.49 o 14502752 640.73/677.51 o 14502749 640.73/677.55 o 14501725 640.83/677.60 o 14501720 640.92/677.78 o 14501709 641.02/677.87 o 14501703 641.12/677.90 o 14501702 641.12/677.92 o 14501700 641.12/677.93 o 14501699 641.23/678.01 o 14491459 641.23/678.09 o 14491406 690.60/729.23 o 14491394 691.41/730.10 o 14478258 694.69/733.31 o 14478252 706.55/745.29 o 14476313 706.65/745.34 o 14476301 706.65/745.35 o 14476297 706.65/745.36 o 14476293 709.64/748.30 o 14476197 709.64/748.35 o 14476189 709.64/748.36 o 14476185 709.64/748.38 o 14476181 709.74/748.47 o 14472085 757.92/798.41 o 14472082 758.02/798.51 o 14471570 758.02/798.53 o 14471567 796.37/837.67 o 14471565 796.37/837.68 o 14471562 796.37/837.69 o 14471559 796.46/837.71 o 14471550 796.46/837.73 o 14471502 796.46/837.75 o 14471246 796.46/837.76 o 14471118 796.46/837.77 o 14471054 798.05/839.31 o 14454794 798.46/839.75 o 14366730 798.55/839.80 o 14366725 798.55/839.86 o 14366723 798.55/839.87 o 14366643 799.45/840.76 o 14366638 801.86/843.14 o 14366622 802.44/843.70 o 14366616 803.04/844.36 o 14366612 803.14/844.43 o 14366602 803.24/844.50 o 14358092 803.24/844.54 o 14356812 803.34/844.60 o 14351692 803.54/844.87 o 14341214 803.64/844.96 o 14341209 803.75/845.02 o 14336089 803.75/845.06 o 14335449 804.54/845.81 o 14335433 804.93/846.22 o 14333953 804.93/846.28 o 14333933 805.03/846.37 o 14333925 805.13/846.43 o 14333845 805.13/846.49 o 14333821 805.43/846.76 o 14333805 807.42/848.78 o 14333741 821.85/864.29 o 14333737 821.95/864.32 o 14317353 821.95/864.33 o 14317352 821.95/864.34 o 14317347 821.95/864.36 o 14317342 822.25/864.60 o 14317341 822.25/864.61 o 14317336 822.25/864.64 o 14317304 822.35/864.71 o 14311160 822.35/864.73 o 14311157 822.35/864.74 o 14311156 822.95/865.36 o 14311118 823.05/865.42 o 14311116 823.05/865.46 o 14311052 823.44/865.81 o 14311050 823.84/866.24 o 14271131 823.84/866.27 o 14271125 823.94/866.33 o 14271079 823.94/866.35 o 14271067 823.94/866.37 o 14271061 823.94/866.39 o 14271055 824.04/866.45 o 14269417 824.04/866.47 o 14269402 824.65/867.05 o 14269357 824.76/867.14 o 14269351 824.76/867.17 o 14201847 824.76/867.19 o 14201840 825.75/868.15 o 14201833 825.75/868.18 o 14201805 826.75/869.17 o 14128823 826.93/869.36 o 14128816 827.03/869.46 o 14120624 840.92/883.91 o 14120540 852.19/895.22 o 14120539 852.19/895.27 o 14119003 852.49/895.57 o 14118961 852.59/895.62 o 14118960 852.88/895.90 o 14118932 852.88/895.98 o 14094356 853.00/896.10 o 14092020 854.88/898.00 o 14091956 855.00/898.06 o 14091952 856.18/899.25 o 14075918 856.28/899.31 o 14075916 856.28/899.34 o 14075912 856.28/899.38 o 14075910 863.15/906.29 o 14075908 863.26/906.36 o 14075904 863.36/906.41 o 14075900 864.45/907.50 o 14066684 864.75/907.84 o 14066606 864.75/907.87 o 14066604 864.85/908.00 o 14062508 875.03/918.72 o 14061484 881.91/925.68 o 14060588 882.01/925.70 o 14052614 882.01/925.78 o 14052613 882.71/926.48 o 14052605 882.80/926.52 o 14052597 884.80/928.59 o 14052213 885.31/929.02 o 14041485 899.65/943.48 o 14041476 899.95/943.77 o 14041473 900.05/943.88 o 14041437 900.15/943.96 o 14041400 900.15/943.97 o 14041397 900.15/943.99 o 14041383 900.15/944.00 o 14041379 900.26/944.01 o 14041363 926.28/970.77 o 14041305 934.35/978.83 o 14041304 934.35/978.85 o 14038524 934.35/978.87 o 14038519 934.45/978.91 o 14006793 934.45/978.92 o 14006792 934.45/978.94 o 14006785 934.45/978.98 o 14006783 934.85/979.33 o 14006782 934.95/979.49 o 14004734 935.05/979.51 o 14004732 935.20/982.38 o 14002710 935.60/982.74 o 14002706 935.70/982.80 o 14002705 935.70/982.86 o 14002697 935.91/983.09 o 14002695 936.01/983.17 o 14002687 936.19/983.34 o 14002685 936.19/983.37 o 14002679 936.40/983.53 o 13999095 936.59/983.78 o 13998775 936.69/983.82 o 13998615 937.29/984.41 o 13998608 937.29/984.46 o 13998528 937.50/984.69 o 13998088 937.59/984.72 o 13998080 937.59/984.76 o 13998024 937.59/984.79 o 13998016 938.90/986.07 o 13998005 954.24/1001.41 o 13998002 955.13/1002.31 o 13943718 955.13/1002.35 o 13943715 955.13/1002.38 o 13735843 956.43/1003.65 o 13735763 956.53/1003.74 o 13735667 956.73/1003.97 o 13731571 958.62/1005.83 o 13731379 958.62/1005.89 o 13731363 959.71/1007.00 o 13731349 959.83/1007.02 o 13731341 962.40/1009.62 o 13731021 963.31/1010.53 o 13731017 963.40/1010.64 o 13727177 963.91/1011.14 o 13727171 964.61/1015.71 o 13727166 964.71/1015.83 o 13727038 965.61/1016.75 o 13726910 965.71/1016.85 o 13726830 966.03/1017.19 o 13726334 966.11/1017.24 o 13726298 966.11/1017.29 o 13726290 966.21/1017.34 o 13726272 969.70/1020.87 o 13726262 981.66/1032.87 o 13677277 990.03/1041.29 o 13675741 991.42/1042.65 o 13675737 991.62/1042.87 o 13675734 991.62/1042.89 o 13675718 991.72/1043.00 o 13582295 991.83/1043.02 o 13582291 991.88/1044.19 o 13582271 993.06/1045.30 o 13582270 993.15/1045.40 o 13582259 993.15/1045.43 o 13582252 993.15/1045.46 o 13549484 993.25/1045.53 o 13542346 993.25/1045.55 o 13542026 993.25/1045.57 o 13541996 994.26/1046.59 o 13541992 994.35/1046.63 o 13541960 1000.53/1052.83 o 13541952 1000.63/1052.92 o 13537344 1001.74/1054.06 o 13537343 1001.85/1054.11 o 13537342 1005.62/1057.95 o 13534174 1017.68/1070.01 o 13534172 1017.68/1070.03 o 13534168 1017.68/1070.06 o 13534158 1017.68/1070.07 o 13523705 1017.68/1070.08 o 13523693 1017.68/1070.09 o 13523692 1018.79/1071.13 o 13523664 1019.26/1071.62 o 13523661 1019.26/1071.64 o 13523660 1019.26/1071.66 o 13523656 1019.26/1071.68 o 13523654 1019.36/1071.70 o 13523653 1019.36/1071.71 o 13523652 1019.87/1072.29 o 13523644 1019.97/1072.33 o 13523637 1022.90/1076.72 o 13523604 1022.90/1076.76 o 13523596 1023.00/1076.87 o 13523593 1023.09/1076.90 o 13523592 1025.09/1078.96 o 13383452 1025.09/1078.99 o 13383448 1025.20/1079.01 o 13377304 1025.39/1079.21 o 13377288 1025.39/1079.24 o 13377272 1025.39/1079.25 o 13377264 1025.88/1079.71 o 13377259 1025.88/1079.79 o 13347695 1025.98/1079.82 o 13347690 1025.98/1079.84 o 13347684 1026.08/1079.95 o 13347683 1026.08/1079.97 o 13347681 1026.30/1080.14 o 13347169 1026.39/1080.20 o 13347168 1026.39/1080.23 o 13347163 1026.39/1080.25 o 13347158 1029.19/1083.10 o 13347153 1032.37/1086.23 o 13347151 1034.28/1088.18 o 13347147 1044.62/1098.53 o 13347142 1044.62/1098.55 o 13347027 1044.62/1098.57 o 13347022 1044.62/1098.58 o 13347012 1057.46/1112.25 o 13347000 1057.87/1112.65 o 13346996 1058.76/1113.56 o 13346994 1069.73/1124.59 o 13346986 1069.82/1124.69 o 13346982 1069.93/1124.73 o 13346980 1069.93/1124.76 o 13346974 1074.32/1129.12 o 13346971 1074.32/1129.16 o 13346970 1074.51/1129.32 o 13314227 1074.61/1129.49 o 13314219 1074.71/1129.55 o 13314216 1075.22/1130.01 o 13262092 1075.22/1130.03 o 13262081 1075.22/1130.06 o 13262077 1075.32/1130.15 o 13262076 1075.32/1130.18 o 13262068 1075.32/1130.20 o 13262065 1075.41/1130.22 o 13262057 1075.51/1130.37 o 13262044 1075.61/1130.45 o 13262012 1108.51/1164.41 o 13246028 1131.80/1188.55 o 13246012 1131.80/1188.58 o 13244860 1131.80/1188.59 o 13244284 1131.90/1188.60 o 13244278 1131.90/1188.65 o 13228022 1131.90/1188.68 o 13228018 1132.31/1189.08 o 13228014 1132.41/1189.12 o 13228010 1132.41/1189.13 o 13228002 1132.41/1189.16 o 13228001 1132.41/1189.17 o 13227997 1132.41/1189.18 o 13227979 1134.00/1190.78 o 13227978 1134.10/1190.83 o 13227976 1137.39/1194.13 o 13227972 1139.87/1196.63 o 13227969 1141.39/1198.18 o 13227967 1141.57/1198.39 o 13227964 1155.47/1213.82 o 13227956 1156.57/1214.91 o 13227952 1156.57/1214.98 o 13208023 1156.57/1214.99 o 13208019 1156.57/1215.00 o 13208015 1156.68/1215.02 o 13208010 1157.06/1215.47 o 13207995 1157.06/1215.48 o 13207990 1157.16/1215.58 o 13207985 1157.27/1215.65 o 13195697 1157.86/1216.25 o 13129137 1157.96/1216.31 o 13128753 1157.96/1216.34 o 13128748 1157.96/1216.35 o 13128743 1157.96/1216.37 o 13126183 1158.36/1216.76 o 13125415 1159.36/1217.76 o 13125413 1159.46/1217.80 o 13125393 1160.16/1218.56 o 13125388 1160.16/1218.60 o 13125384 1160.26/1218.61 o 13125380 1160.26/1218.62 o 13125374 1160.35/1218.78 o 13125368 1160.45/1218.86 o 13125360 1161.77/1220.14 o 13125356 1162.25/1220.68 o 13087408 1162.35/1220.70 o 13087406 1162.35/1220.72 o 13087404 1162.35/1220.74 o 13087402 1162.35/1220.76 o 13087400 1162.35/1220.77 o 13087392 1162.45/1220.81 o 13087390 1162.45/1220.83 o 13087388 1163.66/1222.07 o 13087386 1163.66/1222.09 o 13087374 1163.76/1222.11 o 13087372 1165.24/1223.62 o 13087370 1165.34/1223.71 o 13087368 1165.34/1223.75 o 13087358 1165.44/1223.83 o 13087356 1165.54/1223.93 o 13087352 1165.54/1223.97 o 13087348 1165.65/1224.02 o 13087344 1165.65/1224.06 o 12936816 1166.76/1225.12 o 12936815 1166.76/1225.16 o 12936813 1166.83/1225.20 o 12936810 1166.83/1225.23 o 12936804 1166.83/1225.28 o 12843367 1166.94/1225.32 o 12843365 1168.03/1226.40 o 12843354 1168.03/1226.44 o 12843353 1168.23/1226.60 o 12843345 1168.33/1226.79 o 12843089 1168.92/1227.34 o 12843085 1169.02/1227.46 o 12843081 1169.12/1227.54 o 12843067 1169.43/1227.89 o 12843059 1169.52/1227.93 o 12843057 1173.41/1231.82 o 12843053 1173.41/1231.88 o 12843029 1173.51/1231.97 o 12827446 1186.60/1245.67 o 12827394 1194.48/1253.52 o 12827392 1194.48/1253.55 o 12827376 1198.97/1258.09 o 12827364 1215.22/1275.72 o 12827360 1215.32/1275.84 o 12827344 1215.53/1276.08 o 12827342 1215.53/1276.10 o 12827340 1216.32/1276.85 o 12826142 1216.42/1276.91 o 12817950 1216.42/1276.94 o 12817822 1216.42/1277.01 o 12815508 1216.53/1277.02 o 12815500 1217.22/1277.75 o 12815494 1217.32/1277.81 o 12815490 1217.32/1277.84 o 12647554 1217.91/1278.48 o 12647550 1218.30/1278.84 o 12617590 1218.52/1279.03 o 12615542 1218.71/1279.21 o 12613494 1218.81/1279.36 o 12611574 1218.91/1279.41 o 12611446 1218.91/1279.48 o 12611414 1219.01/1279.55 o 12611158 1219.40/1279.96 o 12592726 1219.62/1280.16 o 12580438 1219.80/1280.32 o 12580374 1219.80/1280.39 o 12580182 1220.90/1281.48 o 12541798 1221.00/1281.54 o 12541794 1221.40/1281.94 o 12541789 1221.40/1281.98 o 12541787 1221.51/1282.04 o 12541784 1222.00/1282.57 o 12533592 1222.10/1282.63 o 12525400 1222.29/1282.81 o 12517208 1222.61/1283.18 o 12517202 1222.69/1283.25 o 12515666 1223.30/1283.83 o 12515658 1226.49/1287.08 o 12515650 1227.59/1288.14 o 12515645 1229.66/1290.26 o 12495601 1229.77/1290.31 o 12495594 1229.77/1290.38 o 12495591 1230.37/1290.97 o 12495588 1231.26/1291.89 o 12495580 1231.36/1291.93 o 12495571 1231.36/1291.96 o 12495565 1232.47/1293.10 o 12495559 1242.93/1303.98 o 12495553 1252.40/1313.40 o 12474911 1252.40/1313.45 o 12474910 1257.18/1318.21 o 12474909 1257.18/1318.25 o 12474904 1257.39/1318.41 o 12474901 1273.42/1335.55 o 12474895 1286.77/1349.00 o 12474835 1300.14/1362.35 o 12474822 1300.63/1362.82 o 12474806 1301.99/1364.73 o 12407222 1302.09/1364.85 o 12407214 1302.18/1364.93 o 12407211 1302.58/1365.37 o 12373963 1302.88/1365.69 o 12373939 1303.08/1365.81 o 12373891 1303.58/1366.36 o 12373763 1303.68/1366.45 o 12373761 1305.47/1368.22 o 12373757 1305.57/1368.35 o 12373755 1305.77/1368.59 o 12306175 1306.57/1369.35 o 12303652 1306.57/1369.38 o 12303644 1306.67/1369.42 o 12303640 1306.77/1369.57 o 12302360 1307.17/1369.94 o 12302283 1307.17/1369.98 o 12302280 1307.29/1370.04 o 12302275 1308.77/1371.55 o 12302265 1309.96/1372.70 o 12302257 1309.96/1372.74 o 12302249 1310.16/1372.90 o 12302121 1310.16/1372.99 o 12302119 1310.27/1373.02 o 12302116 1310.27/1373.05 o 12210980 1310.37/1373.15 o 12205307 1310.37/1373.18 o 12205306 1310.47/1373.24 o 12205296 1310.57/1373.30 o 12205294 1310.57/1373.33 o 12205288 1310.76/1373.52 o 12204776 1311.45/1374.26 o 12204775 1311.66/1374.47 o 12204755 1311.86/1374.61 o 12204747 1311.96/1374.79 o 12202699 1312.75/1375.56 o 12202507 1312.85/1375.60 o 12202458 1312.96/1375.70 o 12202456 1312.96/1375.74 o 12202452 1312.96/1375.79 o 12202444 1313.95/1376.76 o 12202428 1314.15/1376.90 o 12202427 1314.27/1377.02 o 12202426 1314.27/1377.07 o 12202423 1314.37/1377.12 o 12202419 1316.54/1379.33 o 12184223 1317.54/1380.37 o 12184219 1317.74/1380.50 o 12184213 1317.74/1380.56 o 12184204 1317.84/1380.60 o 12184199 1317.84/1380.65 o 12184193 1317.84/1380.69 o 12184185 1317.94/1380.72 o 12184182 1323.04/1387.86 o 12184179 1333.18/1398.15 o 12184172 1333.18/1398.16 o 12184170 1333.18/1398.17 o 12182634 1337.94/1402.95 o 12182633 1338.16/1403.13 o 12182626 1338.16/1403.15 o 12182623 1338.16/1403.18 o 12182621 1349.60/1414.65 o 12182614 1358.18/1423.29 o 12182612 1358.44/1425.22 o 12182602 1359.13/1425.93 o 12178506 1359.63/1426.46 o 12178501 1359.63/1426.48 o 12178498 1359.72/1426.54 o 12178480 1359.72/1426.59 o 12178477 1359.82/1426.60 o 12178470 1359.82/1426.68 o 12178467 1359.92/1426.70 o 12178443 1361.92/1428.72 o 12097680 1362.02/1428.80 o 12097660 1362.02/1428.82 o 12013692 1362.42/1429.23 o 12013690 1362.42/1429.25 o 12013686 1362.42/1429.28 o 12013682 1363.61/1430.45 o 12013672 1363.72/1430.50 o 12013520 1363.72/1430.53 o 12013511 1363.72/1430.54 o 12013502 1364.12/1430.98 o 12013501 1364.33/1431.18 o 11908113 1364.41/1431.20 o 11907089 1364.41/1431.23 o 11907085 1364.41/1431.24 o 11907069 1365.80/1432.67 o 11907060 1366.01/1432.84 o 11907030 1366.01/1432.87 o 11907029 1366.50/1433.32 o 11898073 1366.71/1433.52 o 11898067 1368.10/1434.90 o 11898043 1382.55/1449.41 o 11898040 1382.55/1449.46 o 11898038 1382.55/1449.47 o 11898033 1382.55/1449.48 o 11898032 1384.36/1451.22 o 11898030 1384.44/1451.37 o 11895982 1384.65/1451.51 o 11875502 1384.85/1451.78 o 11875482 1384.95/1451.81 o 11875481 1386.54/1453.45 o 11787090 1386.54/1453.47 o 11787086 1386.64/1453.53 o 11787082 1386.64/1453.58 o 11787081 1386.74/1453.60 o 11787076 1386.84/1453.75 o 11787012 1386.84/1453.79 o 11770628 1386.94/1453.83 o 11758340 1389.16/1456.97 o 11758325 1389.47/1457.24 o 11758316 1390.47/1458.29 o 11758314 1392.64/1460.48 o 11758310 1393.04/1460.81 o 11758301 1393.04/1460.86 o 11758293 1393.14/1460.91 o 11758269 1393.24/1461.06 o 11758267 1393.46/1461.29 o 11758266 1393.94/1461.76 o 11758258 1398.92/1466.76 o 11758249 1399.02/1466.86 o 11758246 1399.12/1466.94 o 11758237 1399.44/1467.29 o 11743673 1399.52/1467.37 o 11743664 1399.62/1467.44 o 11743659 1399.92/1467.73 o 11740587 1400.02/1467.88 o 11740582 1400.12/1467.95 o 11740578 1411.68/1479.52 o 11740574 1422.31/1490.82 o 11724190 1422.50/1491.04 o 11709366 1422.50/1491.09 o 11709360 1422.50/1491.10 o 11709356 1422.61/1491.11 o 11709355 1422.61/1491.13 o 11627437 1422.61/1491.14 o 11621293 1422.61/1491.20 o 11621261 1424.50/1493.00 o 11595405 1424.72/1493.23 o 11595309 1436.06/1504.65 o 11595213 1447.32/1515.94 o 11595129 1447.32/1515.95 o 11595121 1447.32/1515.96 o 11595089 1447.32/1515.97 o 11594833 1447.32/1515.98 o 11594641 1450.76/1520.24 o 11585259 1450.76/1520.25 o 11585257 1450.84/1520.31 o 11585250 1517.65/1590.87 o 11585242 1537.29/1610.54 o 11585162 1580.84/1656.75 o 11584371 1593.90/1669.88 o 11584361 1595.59/1671.57 o 11566773 1595.59/1671.59 o 11566771 1595.90/1671.80 o 11566763 1595.90/1671.83 o 11566747 1595.90/1671.85 o 11566740 1595.90/1671.88 o 11566738 1596.90/1672.81 o 11566730 1596.90/1672.84 o 11566722 1596.99/1672.97 o 11566706 1597.09/1673.01 o 11566704 1597.30/1673.23 o 11566703 1597.39/1673.30 o 11566699 1597.39/1673.36 o 11562603 1602.21/1679.49 o 11562602 1602.31/1679.55 o 11562586 1602.31/1679.58 o 11562570 1602.41/1679.65 o 11562567 1602.51/1679.71 o 11562566 1602.51/1679.75 o 11562518 1602.51/1679.78 o 11562511 1602.61/1679.81 o 11562487 1602.61/1679.89 o 11558903 1603.92/1681.19 o 11558895 1604.02/1681.22 o 11558735 1604.02/1681.24 o 11558639 1604.02/1681.27 o 11558607 1604.02/1681.28 o 11558591 1612.19/1690.73 o 11558463 1627.14/1705.70 o 11555903 1627.35/1705.90 o 11522457 1627.35/1705.92 o 11522455 1627.65/1706.28 o 11507469 1682.58/1768.75 o 11507461 1682.58/1768.77 o 11507456 1756.44/1848.00 o 11507452 1756.44/1848.01 o 11505404 1757.03/1848.69 o 11471810 1757.33/1848.94 o 11471808 1757.33/1848.96 o 11471807 1757.33/1848.98 o 11471795 1757.43/1849.00 o 11471792 1757.53/1849.20 o 11469744 1757.82/1849.45 o 11380734 1757.82/1849.46 o 11380696 1757.82/1849.48 o 11380694 1757.93/1849.56 o 11380600 1758.01/1852.05 o 11380576 1758.01/1852.09 o 11380574 1758.08/1852.12 o 11380566 1758.08/1852.15 o 11380564 1765.27/1859.37 o 11380548 1765.76/1859.81 o 11380546 1765.76/1859.84 o 11380544 1765.76/1859.87 o 11380542 1766.45/1860.50 o 11380534 1768.54/1862.65 o 11380524 1768.64/1862.70 o 11380460 1768.64/1862.74 o 11380452 1768.83/1862.93 o 11380428 1768.93/1863.05 o 11380426 1769.03/1863.12 o 11380416 1769.44/1863.50 o 11380414 1772.92/1867.04 o 11380410 1773.24/1867.33 o 11379386 1775.81/1869.93 o 11379370 1777.51/1871.67 o 11379368 1779.00/1873.18 o 11379367 1779.49/1873.62 o 11267885 1779.59/1873.71 o 11267883 1780.60/1874.74 o 11267871 1780.70/1874.82 o 11267862 1780.80/1874.97 o 11267844 1780.90/1875.06 o 11267841 1782.20/1876.33 o 11267457 1783.48/1877.68 o 11267289 1783.69/1877.83 o 11267285 1788.23/1883.73 o 11265237 1788.53/1884.00 o 11265109 1796.61/1892.13 o 11265103 1796.83/1892.34 o 11265039 1796.91/1892.46 o 11265031 1796.91/1892.48 o 11265027 1800.59/1896.13 o 11265015 1800.70/1896.28 o 11265009 1800.81/1896.35 o 11265003 1800.81/1896.37 o 11265000 1820.07/1917.66 o 11168307 1829.83/1927.41 o 11168303 1829.83/1927.45 o 11167279 1829.83/1927.46 o 11163183 1829.83/1927.48 o 11161135 1830.33/1927.90 o 11088384 1830.44/1928.04 o 11088256 1830.44/1928.09 o 11088254 1830.93/1928.57 o 11088250 1831.33/1928.94 o 11088238 1831.33/1928.96 o 11088234 1831.43/1929.00 o 11088106 1831.43/1929.02 o 11088101 1831.43/1929.03 o 11088090 1831.43/1929.05 o 11088026 1832.22/1929.86 o 11088005 1832.33/1929.90 o 11087994 1833.82/1931.45 o 11087982 1850.14/1949.12 o 11087966 1850.25/1949.31 o 11087958 1850.36/1949.32 o 11087957 1850.83/1949.88 o 11087909 1852.24/1951.26 o 11087779 1852.24/1951.28 o 11087773 1852.43/1951.44 o 11087741 1852.43/1951.49 o 11087717 1853.34/1952.38 o 11087621 1853.43/1952.43 o 11087549 1853.63/1952.67 o 11082285 1853.73/1952.72 o 11082261 1854.24/1953.29 o 11082003 1854.24/1953.31 o 11081995 1854.34/1953.34 o 11081947 1856.01/1955.08 o 11081945 1861.80/1960.86 o 11081545 1861.90/1960.96 o 11081537 1861.90/1960.99 o 10993473 1883.89/1983.77 o 10993463 1893.16/1993.08 o 10993458 1911.32/2012.38 o 10993438 1920.58/2021.65 o 10993435 1920.58/2021.66 o 10993430 1920.58/2021.69 o 10993425 1921.67/2022.76 o 10993423 1921.67/2022.80 o 10993417 1922.57/2023.60 o 10993413 1940.93/2044.68 o 10993373 1941.03/2044.70 o 10993370 1941.55/2045.30 o 10993093 1942.43/2046.18 o 10992933 1942.73/2046.42 o 10992821 1942.73/2046.44 o 10992813 1942.73/2046.48 o 10992173 1942.83/2046.53 o 10992169 1942.83/2046.55 o 10992161 1942.83/2046.58 o 10992157 1943.13/2046.82 o 10992155 1943.32/2047.09 o 10992140 1943.42/2047.11 o 10992135 1943.42/2047.20 o 10992127 1943.54/2047.22 o 10992123 1943.93/2047.66 o 10992088 1943.93/2047.69 o 10992082 1944.02/2047.79 o 10992079 1944.12/2047.81 o 10992073 1944.12/2047.83 o 10992070 1946.72/2050.48 o 10992067 1947.21/2051.00 o 10992066 1947.31/2051.04 o 10992052 1947.31/2051.09 o 10992050 1947.41/2051.12 o 10991924 1947.41/2051.18 o 10964333 1953.19/2056.94 o 10964325 1954.28/2058.02 o 10964319 1954.38/2058.12 o 10964317 1964.05/2067.85 o 10964311 1964.05/2067.89 o 10964309 1969.34/2075.01 o 10936045 1970.73/2076.40 o 10936042 1970.83/2076.55 o 10936032 1970.93/2076.62 o 10936023 1970.93/2076.66 o 10936020 1971.04/2076.72 o 10936017 1991.75/2097.59 o 10936014 2016.49/2123.31 o 10936011 2019.16/2126.09 o 10936008 2019.26/2126.18 o 10926384 2019.66/2126.57 o 10924848 2019.76/2126.60 o 10924842 2019.76/2126.62 o 10924840 2020.37/2127.22 o 10924837 2020.65/2127.57 o 10924789 2020.75/2127.61 o 10924783 2020.75/2127.63 o 10924771 2020.75/2127.68 o 10889865 2020.85/2127.71 o 10889853 2020.85/2127.73 o 10889829 2020.85/2127.78 o 10889826 2021.55/2128.40 o 10889820 2022.46/2129.37 o 10889819 2022.55/2129.40 o 10889816 2024.36/2131.25 o 10889815 2024.46/2131.33 o 10880599 2024.46/2131.36 o 10880215 2025.54/2132.48 o 10880212 2025.64/2132.53 o 10880208 2025.93/2132.89 o 10880048 2028.87/2136.89 o 10880047 2029.07/2137.03 o 10880033 2034.66/2142.68 o 10880029 2034.76/2142.72 o 10880028 2034.76/2142.75 o 10880020 2034.86/2142.80 o 10880019 2044.43/2152.46 o 10880011 2044.53/2152.53 o 10880010 2045.42/2153.42 o 10880007 2045.42/2153.48 o 10880001 2045.72/2153.72 o 10879998 2046.12/2154.20 o 10879995 2047.51/2155.57 o 10801299 2056.08/2164.16 o 10801293 2065.99/2174.72 o 10801273 2065.99/2174.75 o 10801269 2065.99/2174.76 o 10801249 2065.99/2174.78 o 10799969 2065.99/2174.79 o 10798689 2066.09/2174.80 o 10798593 2066.09/2174.81 o 10798587 2147.95/2258.41 o 10786145 2147.95/2258.44 o 10786141 2148.05/2258.54 o 10785757 2148.05/2258.55 o 10785755 2148.05/2258.57 o 10785563 2148.25/2258.74 o 10771219 2148.35/2258.82 o 10771217 2153.13/2269.23 o 10771145 2153.13/2269.25 o 10771127 2153.81/2269.91 o 10771099 2155.12/2271.22 o 10771035 2155.23/2271.37 o 10770523 2160.10/2276.29 o 10770270 2162.69/2278.83 o 10770256 2162.69/2278.89 o 10770252 2162.88/2279.06 o 10691574 2162.98/2279.12 o 10691565 2162.98/2279.18 o 10691561 2163.58/2279.74 o 10691547 2163.68/2279.82 o 10691538 2168.08/2284.22 o 10691529 2176.94/2293.13 o 10691522 2187.57/2308.31 o 10691521 2187.67/2308.37 o 10691425 2213.81/2335.55 o 10691424 2222.49/2344.25 o 10691423 2222.87/2344.60 o 10691416 2223.08/2344.86 o 10690136 2223.18/2344.95 o 10690134 2223.18/2344.96 o 10689622 2223.27/2345.02 o 10605441 2223.27/2345.04 o 10605421 2223.67/2345.41 o 10605417 2224.07/2345.89 o 10605416 2245.18/2369.53 o 10605380 2245.18/2369.54 o 10605312 2247.27/2371.69 o 10605306 2247.38/2371.71 o 10605305 2247.38/2371.73 o 10605299 2247.38/2371.74 o 10605243 2247.38/2371.76 o 10605240 2247.48/2371.85 o 10605235 2247.48/2371.86 o 10605229 2247.48/2371.88 o 10605226 2250.17/2374.50 o 10605218 2250.17/2374.52 o 10605217 2250.27/2374.60 o 10605214 2250.27/2374.62 o 10605186 2250.27/2374.65 o 10605185 2250.27/2374.69 o 10605177 2260.23/2384.67 o 10605173 2317.60/2443.55 o 10605172 2317.70/2443.61 o 10605163 2317.70/2443.63 o 10420239 2318.00/2443.97 o 10420235 2336.69/2478.80 o 10420232 2342.46/2484.51 o 10420222 2356.82/2498.91 o 10420214 2367.88/2515.99 o 10420210 2368.19/2516.31 o 10420209 2409.93/2571.66 o 10377258 2438.90/2603.65 o 10377257 2438.90/2603.67 o 10377248 2438.90/2603.68 o 10377246 2439.80/2604.55 o 10377234 2440.30/2605.02 o 10377220 2440.30/2605.09 o 10377212 2440.40/2605.10 o 10377210 2440.40/2605.14 o 10377200 2440.51/2605.24 o 10377188 2441.00/2605.72 o 10373429 2441.00/2605.74 o 10373419 2441.10/2605.80 o 10373416 2441.10/2605.85 o 10323940 2441.10/2605.87 o 10323934 2441.30/2606.04 o 10282810 2441.40/2606.12 o 10282778 2442.30/2608.50 o 10282770 2444.59/2610.84 o 10282763 2444.69/2610.99 o 10282755 2445.00/2611.29 o 10282749 2445.49/2611.79 o 10282746 2448.17/2614.45 o 10267674 2448.27/2614.51 o 10267671 2448.27/2614.55 o 10267665 2450.77/2617.07 o 10267660 2450.87/2617.13 o 10267659 2451.27/2617.50 o 10267657 2451.36/2617.64 o 10184096 2547.84/2718.27 o 10184089 2547.84/2718.28 o 10184088 2603.49/2775.70 o 10174448 2603.69/2775.98 o 10174440 2603.78/2776.02 o 10174422 2709.32/2888.04 o 10174420 2709.82/2888.55 o 10174416 2709.93/2888.62 o 10173648 2716.25/2896.37 o 10173642 2716.34/2896.42 o 10173640 2716.34/2896.45 o 10173624 2716.44/2896.53 o 10172872 2716.54/2896.62 o 10083784 2717.84/2897.96 o 10083740 2719.33/2899.46 o 10083716 2719.43/2899.50 o 10083712 2723.13/2903.22 o 10083700 2731.69/2911.85 o 10083688 2732.20/2912.32 o 10083120 2732.20/2912.38 o 10083114 2732.79/2913.00 o 10082986 2739.57/2919.76 o 10082985 2748.44/2928.98 o 10082982 2751.43/2931.94 o 10082928 2751.43/2931.95 o 10082910 2751.63/2932.17 o 10082568 2751.93/2932.48 o 10082550 2752.53/2933.02 o 10082478 2752.53/2933.05 o 10082476 2753.12/2933.61 o 10082475 2753.12/2933.63 o 10082473 2753.12/2933.69 o 10082471 2753.32/2933.80 o 10074279 2754.52/2935.01 o 10074277 2756.41/2936.94 o 10074276 2756.41/2936.96 o 10074273 2756.91/2937.42 o 10074257 2756.91/2937.48 o 10074249 2758.11/2938.60 o 10074247 2758.11/2938.63 o 10074243 2758.11/2938.67 o 10074238 2758.20/2938.70 o 10074236 2758.20/2938.72 o 10074234 2758.50/2939.00 o 10074233 2758.50/2939.06 o 10070137 2758.81/2939.34 o 10069909 2758.81/2939.37 o 10069893 2758.90/2939.40 o 10069885 2758.90/2939.42 o 10069645 2758.90/2939.45 o 10069637 2758.90/2939.48 o 10069629 2759.60/2940.14 o 10069613 2784.80/2966.00 o 10046071 2784.90/2966.18 o 10046047 2826.43/3008.47 o 10046046 2826.43/3008.49 o 10046041 2826.63/3008.62 o 10046040 2826.63/3008.64 o 10046026 2826.73/3008.71 o 10046024 2827.03/3009.07 o 10045640 2827.13/3009.19 o 10045635 2827.63/3009.65 o 10045632 2827.82/3009.84 o 10045627 2827.92/3009.91 o 10013271 2827.92/3009.93 o 10013270 2827.92/3009.99 o 10013268 2828.02/3010.09 o 10013262 2828.13/3010.13 o 10013256 2828.43/3010.49 o 10013208 2828.53/3010.56 o 10013205 2828.63/3010.62 o 10013157 2828.73/3010.72 o 9985266 2828.73/3010.75 o 9985251 2828.82/3010.87 o 9985248 2829.72/3011.71 o 9984167 2830.72/3012.71 o 9984162 2830.72/3012.77 o 9984144 2830.82/3012.82 o 9984136 2830.82/3012.85 o 9971848 2830.91/3012.90 o 9971844 2831.11/3013.12 o 9971839 2831.11/3013.16 o 9971836 2834.50/3016.56 o 9971827 2834.71/3016.72 o 9971822 2835.50/3017.55 o 9929969 2835.60/3017.65 o 9929945 2836.50/3018.57 o 9929933 2836.60/3018.61 o 9929912 2836.60/3018.64 o 9929910 2836.60/3018.68 o 9929907 2836.70/3018.75 o 9929887 2839.41/3022.04 o 9929885 2839.91/3022.55 o 9929373 2840.11/3022.70 o 9928349 2841.20/3023.80 o 9851556 2841.20/3023.85 o 9851540 2847.29/3029.99 o 9851539 2859.66/3042.38 o 9851379 2864.33/3047.08 o 9850099 2864.54/3047.24 o 9850095 2864.54/3047.27 o 9850031 2864.54/3047.29 o 9849967 2870.32/3053.82 o 9849966 2870.32/3053.86 o 9849848 2870.32/3053.89 o 9849843 2870.41/3053.92 o 9849838 2870.41/3053.95 o 9741294 2871.01/3054.55 o 9741262 2871.91/3055.40 o 9741257 2872.41/3055.96 o 9741241 2874.60/3058.11 o 9741229 2874.60/3058.14 o 9741227 2875.40/3058.99 o 9741223 2875.60/3059.10 o 9741215 2875.71/3059.30 o 9741211 2875.81/3059.36 o 9669203 2877.99/3061.57 o 9669202 2888.26/3071.83 o 9669200 2888.67/3072.25 o 9593424 2888.67/3072.27 o 9593382 2888.77/3072.31 o 9593374 2888.96/3072.56 o 9593373 2888.96/3072.57 o 9593365 2888.96/3072.58 o 9593363 2890.16/3073.73 o 9592723 2890.16/3073.75 o 9591699 2895.64/3079.28 o 9591698 2895.83/3079.40 o 9591626 2895.83/3079.43 o 9591622 2896.04/3079.69 o 9591614 2896.24/3079.87 o 9591612 2896.33/3079.91 o 9576220 2896.33/3079.96 o 9576211 2896.43/3080.02 o 9576099 2897.04/3080.68 o 9541311 2897.13/3080.75 o 9541283 2897.13/3080.78 o 9541281 2897.23/3080.81 o 9541277 2897.23/3080.83 o 9541249 2897.53/3081.15 o 9541247 2897.93/3081.59 o 9541245 2898.03/3081.62 o 9541241 2898.03/3081.64 o 9541237 2898.03/3081.68 o 9541233 2898.13/3081.70 o 9541231 2898.53/3082.20 o 9541227 2898.64/3082.23 o 9541223 2898.64/3082.30 o 9541127 2898.74/3082.35 o 9541125 2900.84/3085.08 o 9541117 2901.05/3085.21 o 9541109 2901.05/3085.30 o 9541101 2902.15/3086.39 o 9541093 2902.83/3087.08 o 9541089 2902.93/3087.14 o 9522636 2903.53/3087.70 o 9522612 2903.53/3087.75 o 9522604 2907.91/3092.18 o 9511460 2918.87/3103.18 o 9511456 2918.87/3103.19 o 9511453 2918.87/3103.21 o 9511449 2918.98/3103.22 o 9511447 2918.98/3103.23 o 9511439 2918.98/3103.28 o 9502103 2918.98/3103.30 o 9500815 2918.98/3103.31 o 9500783 2919.09/3103.33 o 9500271 2932.71/3118.07 o 9500263 2932.92/3118.23 o 9500231 2984.06/3171.56 o 9499207 2984.06/3171.60 o 9499199 3005.23/3193.61 o 9476871 3013.11/3201.52 o 9476868 3032.63/3222.16 o 9476864 3032.85/3222.37 o 9476861 3033.03/3222.52 o 9476853 3033.23/3222.78 o 9453726 3033.33/3222.80 o 9453710 3033.53/3223.00 o 9453709 3035.23/3224.72 o 9453705 3035.23/3224.79 o 9453701 3035.32/3224.82 o 9453689 3035.32/3224.83 o 9453681 3036.52/3226.03 o 9453675 3037.92/3227.42 o 9422731 3037.92/3227.47 o 9410443 3038.41/3227.99 o 9410427 3038.52/3228.04 o 9408379 3038.52/3228.06 o 9408371 3038.92/3228.48 o 9376950 3039.01/3228.50 o 9376948 3039.01/3228.54 o 9376945 3040.31/3229.85 o 9376933 3044.29/3233.82 o 9376932 3045.00/3234.52 o 9376929 3045.49/3235.04 o 9376915 3055.35/3245.97 o 9376913 3055.54/3246.11 o 9376912 3055.54/3246.14 o 9376911 3055.54/3246.18 o 9376909 3055.65/3246.23 o 9376907 3084.01/3275.16 o 9376905 3110.05/3338.36 o 9376777 3110.05/3338.39 o 9376713 3110.05/3338.39 o 9376681 3110.13/3338.40 o 9376673 3110.33/3338.60 o 9317581 3110.33/3338.64 o 9317561 3110.33/3338.65 o 9317560 3110.33/3338.67 o 9317558 3111.53/3339.81 o 9317556 3111.53/3339.84 o 9317555 3111.72/3340.10 o 9317553 3111.82/3340.13 o 9317551 3111.82/3340.15 o 9317549 3111.82/3340.19 o 9247374 3113.81/3342.15 o 9247372 3113.81/3342.17 o 9247360 3113.92/3342.22 o 9247352 3113.92/3342.25 o 9247224 3114.52/3342.82 o 9247216 3114.52/3342.85 o 9247214 3114.52/3342.87 o 9247198 3114.52/3342.88 o 9247194 3114.62/3342.92 o 9247154 3114.62/3342.95 o 9246962 3114.62/3342.97 o 9246834 3114.72/3343.09 o 9246820 3114.93/3343.22 o 9246817 3114.93/3343.25 o 9246810 3114.93/3343.28 o 9246782 3114.93/3343.30 o 9246558 3115.03/3343.34 o 9246430 3115.61/3343.99 o 9246423 3115.92/3344.22 o 9246421 3115.92/3344.25 o 9246405 3116.02/3344.31 o 9146053 3116.02/3344.35 o 9126491 3116.02/3344.37 o 9126487 3116.02/3344.39 o 9126461 3116.31/3344.67 o 9126459 3117.60/3345.97 o 9126455 3117.70/3346.01 o 9126439 3122.79/3351.16 o 9126427 3122.79/3351.20 o 9048603 3123.38/3351.79 o 9048587 3125.07/3353.45 o 9048580 3125.17/3353.50 o 9048578 3126.66/3355.08 o 9048574 3126.76/3355.13 o 9048572 3128.76/3357.10 o 9048566 3129.06/3357.46 o 9048560 3137.41/3366.13 o 9048554 3138.01/3366.71 o 9045226 3138.11/3366.81 o 9045222 3152.16/3380.92 o 9045219 3164.12/3392.92 o 9045193 3164.12/3392.99 o 9045187 3164.22/3393.00 o 9045185 3164.22/3393.02 o 9045177 3164.22/3393.04 o 9045081 3182.27/3411.92 o 9045075 3205.19/3436.36 o 9045068 3205.47/3436.61 o 9045067 3206.19/3437.39 o 9045059 3206.67/3437.89 o 8969604 3207.18/3438.34 o 8969598 3207.18/3438.36 o 8969086 3207.26/3438.45 o 8969084 3207.57/3438.76 o 8969060 3209.76/3440.96 o 8969056 3210.35/3441.58 o 8969046 3211.75/3442.95 o 8969042 3212.55/3443.74 o 8969040 3213.84/3445.05 o 8969000 3213.94/3445.12 o 8968988 3214.15/3445.35 o 8968524 3214.15/3445.38 o 8968522 3214.23/3445.44 o 8968506 3216.05/3447.27 o 8968500 3216.05/3447.30 o 8968496 3216.15/3447.35 o 8968492 3216.83/3448.02 o 8945846 3216.83/3448.06 o 8945814 3220.14/3451.39 o 8945791 3220.22/3451.44 o 8945783 3250.18/3485.69 o 8945771 3278.69/3514.42 o 8945770 3278.79/3514.52 o 8945769 3278.79/3514.58 o 8945766 3278.98/3514.72 o 8945765 3278.98/3514.75 o 8945760 3279.18/3514.94 o 8945759 3280.18/3515.92 o 8945757 3280.49/3516.22 o 8945752 3280.49/3516.24 o 8945748 3281.38/3517.20 o 8945746 3281.49/3517.27 o 8945618 3285.76/3521.52 o 8945617 3285.76/3521.55 o 8945615 3285.86/3521.64 o 8945612 3288.53/3524.90 o 8945610 3288.63/3525.06 o 8945609 3294.01/3530.48 o 8945608 3294.11/3530.52 o 8945605 3294.21/3530.69 o 8945602 3295.82/3532.23 o 8945600 3297.40/3533.81 o 8945532 3297.40/3533.85 o 8945524 3297.40/3533.89 o 8945508 3297.51/3533.94 o 8945504 3298.10/3534.51 o 8945484 3298.10/3534.56 o 8945476 3298.30/3534.74 o 8945472 3298.40/3534.84 o 8945420 3299.20/3535.67 o 8945412 3301.40/3537.87 o 8945410 3305.38/3541.83 o 8945406 3305.58/3542.01 o 8944382 3313.35/3549.80 o 8944379 3334.81/3576.47 o 8944377 3358.23/3599.91 o 8944376 3358.23/3599.95 o 8944375 3358.23/3599.97 o 8944373 3358.34/3600.02 o 8873048 3358.73/3600.41 o 8852715 3388.98/3638.90 o 8852703 3416.54/3673.72 o 8852702 3418.63/3675.80 o 8852699 3418.63/3675.83 o 8852696 3418.63/3675.89 o 8852694 3419.14/3676.33 o 8852654 3419.53/3676.78 o 8852638 3419.62/3676.82 o 8852632 3419.62/3676.85 o 8852630 3439.09/3700.00 c Program interrupted by user. 3439.09/3700.00 s SATISFIABLE 3439.09/3700.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
OK 8852630
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: 64096 MiB (61071 MiB free) memory of node 1: 64473 MiB (61211 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440626-1721752167/watcher-4440626-1721752167 -o /tmp/evaluation-result-4440626-1721752167/solver-4440626-1721752167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721752167-105171 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440626-1721752167 --seed=2080928096 HOME/instance-4440626-1721752167.opb running on 2 cores: 0,2 CPU governors: performance: 0 2 Enforcing FSIZE limit: 104857600 KiB Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 4.18.0-301.1.el8.x86_64 Starting watchdog thread solver pid=105216, runsolver pid=105213 Current StackSize limit: 8192 KiB [startup+0.100293 s]* /proc/loadavg: 2.27 2.24 2.20 5/246 105228 /proc/meminfo: memFree=125183344/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=36472 memory=14260 CPUtime=0.1 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3240 0 0 0 9 1 0 0 20 0 1 0 11206198 37347328 3565 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 9118 3565 770 747 0 8181 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 36472 KiB Current children cumulated memory: 14260 KiB [startup+0.213716 s]* /proc/loadavg: 2.27 2.24 2.20 5/249 105234 /proc/meminfo: memFree=125097624/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=36472 memory=14260 CPUtime=0.21 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3243 0 0 0 20 1 0 0 20 0 1 0 11206198 37347328 3565 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 9118 3565 770 747 0 8181 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 36472 KiB Current children cumulated memory: 14260 KiB [startup+0.314579 s]* /proc/loadavg: 2.27 2.24 2.20 5/249 105234 /proc/meminfo: memFree=125045428/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=36472 memory=14260 CPUtime=0.32 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3246 0 0 0 30 2 0 0 20 0 1 0 11206198 37347328 3565 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 9118 3565 770 747 0 8181 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 36472 KiB Current children cumulated memory: 14260 KiB [startup+0.700358 s] /proc/loadavg: 2.48 2.29 2.21 5/249 105236 /proc/meminfo: memFree=125000412/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=37132 memory=15172 CPUtime=0.68 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3417 0 0 0 64 4 0 0 20 0 1 0 11206198 38023168 3793 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 9283 3793 802 747 0 8346 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 37132 KiB Current children cumulated memory: 15172 KiB [startup+1.50034 s] /proc/loadavg: 2.48 2.29 2.21 5/249 105236 /proc/meminfo: memFree=124926328/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=42608 memory=21440 CPUtime=1.48 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 4649 0 0 0 141 7 0 0 20 0 1 0 11206198 43630592 5360 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 10652 5360 850 747 0 9715 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 42608 KiB Current children cumulated memory: 21440 KiB [startup+3.11388 s] /proc/loadavg: 2.48 2.29 2.21 5/249 105236 /proc/meminfo: memFree=124638076/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=50936 memory=35224 CPUtime=3.08 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 6593 0 0 0 298 10 0 0 20 0 1 0 11206198 52158464 8806 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 12734 8806 850 747 0 11797 0 Current children cumulated CPU time: 3.08 s Current children cumulated vsize: 50936 KiB Current children cumulated memory: 35224 KiB [startup+6.30031 s] /proc/loadavg: 2.61 2.32 2.22 5/252 105239 /proc/meminfo: memFree=124237428/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=79556 memory=68260 CPUtime=6.26 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 10965 0 0 0 612 14 0 0 20 0 1 0 11206198 81465344 17065 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 19889 17065 850 747 0 18952 0 Current children cumulated CPU time: 6.26 s Current children cumulated vsize: 79556 KiB Current children cumulated memory: 68260 KiB [startup+12.7003 s] /proc/loadavg: 2.88 2.38 2.24 5/253 105241 /proc/meminfo: memFree=123544684/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=105448 memory=77308 CPUtime=12.38 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 12109 0 0 0 1217 21 0 0 20 0 1 0 11206198 107978752 19327 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 26362 19327 850 747 0 25425 0 Current children cumulated CPU time: 12.38 s Current children cumulated vsize: 105448 KiB Current children cumulated memory: 77308 KiB [startup+25.5003 s] /proc/loadavg: 3.13 2.45 2.27 5/252 105245 /proc/meminfo: memFree=121763988/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=182264 memory=146704 CPUtime=25.13 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 21755 0 0 0 2479 34 0 0 20 0 1 0 11206198 186638336 36676 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 45566 36676 850 747 0 44629 0 Current children cumulated CPU time: 25.13 s Current children cumulated vsize: 182264 KiB Current children cumulated memory: 146704 KiB [startup+51.1148 s] /proc/loadavg: 3.47 2.60 2.32 5/250 105251 /proc/meminfo: memFree=118790784/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=209748 memory=173644 CPUtime=49.58 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 25988 0 0 0 4893 65 0 0 20 0 1 0 11206198 214781952 43411 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 134 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 52437 43411 850 747 0 51500 0 Current children cumulated CPU time: 49.58 s Current children cumulated vsize: 209748 KiB Current children cumulated memory: 173644 KiB [startup+102.3 s] /proc/loadavg: 4.06 2.90 2.44 5/254 105320 /proc/meminfo: memFree=113232124/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=242516 memory=203076 CPUtime=98.98 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 27294 0 0 0 9772 126 0 0 20 0 1 0 11206198 248336384 50769 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 295 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 60629 50769 850 747 0 59692 0 Current children cumulated CPU time: 98.98 s Current children cumulated vsize: 242516 KiB Current children cumulated memory: 203076 KiB [startup+162.3 s] /proc/loadavg: 4.18 3.16 2.56 5/257 105336 /proc/meminfo: memFree=107135300/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=360592 memory=317944 CPUtime=157.03 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 40072 0 0 0 15532 171 0 0 20 0 1 0 11206198 369246208 79486 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 470 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 90148 79486 850 747 0 89211 0 Current children cumulated CPU time: 157.03 s Current children cumulated vsize: 360592 KiB Current children cumulated memory: 317944 KiB [startup+222.3 s] /proc/loadavg: 4.11 3.33 2.66 5/264 105354 /proc/meminfo: memFree=101051504/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=378220 memory=335944 CPUtime=214.71 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42221 0 0 0 21245 226 0 0 20 0 1 0 11206198 387297280 83986 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 681 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 94555 83986 850 747 0 93618 0 Current children cumulated CPU time: 214.71 s Current children cumulated vsize: 378220 KiB Current children cumulated memory: 335944 KiB [startup+282.3 s] /proc/loadavg: 4.27 3.53 2.77 5/268 105368 /proc/meminfo: memFree=94457028/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=378492 memory=344100 CPUtime=271.61 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42412 0 0 0 26860 301 0 0 20 0 1 0 11206198 387575808 86025 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 971 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 94623 86025 850 747 0 93686 0 Current children cumulated CPU time: 271.61 s Current children cumulated vsize: 378492 KiB Current children cumulated memory: 344100 KiB [startup+342.3 s] /proc/loadavg: 4.19 3.65 2.86 5/274 105385 /proc/meminfo: memFree=88320416/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=378492 memory=344296 CPUtime=326.23 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42538 0 0 0 32272 351 0 0 20 0 1 0 11206198 387575808 86074 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1491 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 94623 86074 850 747 0 93686 0 Current children cumulated CPU time: 326.23 s Current children cumulated vsize: 378492 KiB Current children cumulated memory: 344296 KiB [startup+402.3 s] /proc/loadavg: 4.74 3.90 3.00 5/271 105396 /proc/meminfo: memFree=82624372/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=378492 memory=344296 CPUtime=376.2 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42665 0 0 0 37212 408 0 0 20 0 1 0 11206198 387575808 86074 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2476 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 94623 86074 850 747 0 93686 0 Current children cumulated CPU time: 376.2 s Current children cumulated vsize: 378492 KiB Current children cumulated memory: 344296 KiB [startup+462.301 s] /proc/loadavg: 4.70 4.04 3.10 7/273 105409 /proc/meminfo: memFree=76155376/131655788 swapFree=131071996/131071996 [pid=105216] ppid=105213 vsize=378492 memory=344296 CPUtime=434.49 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 42787 0 0 0 42971 478 0 0 20 0 1 0 11206198 387575808 86074 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2594 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 94623 86074 850 747 0 93686 0 ################ # More data... # ################ [startup+3162.32 s] /proc/loadavg: 4.26 4.36 4.25 4/277 106616 /proc/meminfo: memFree=668248/131655788 swapFree=131071472/131071996 [pid=105216] ppid=105213 vsize=428884 memory=392644 CPUtime=2974.9 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54110 0 0 0 293796 3694 0 0 20 0 1 0 11206198 439177216 98161 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 17712 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 107221 98161 850 747 0 106284 0 Current children cumulated CPU time: 2974.9 s Current children cumulated vsize: 428884 KiB Current children cumulated memory: 392644 KiB [startup+3222.32 s] /proc/loadavg: 4.15 4.31 4.24 5/277 106628 /proc/meminfo: memFree=562728/131655788 swapFree=131071472/131071996 [pid=105216] ppid=105213 vsize=428884 memory=392644 CPUtime=3032.85 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54249 0 0 0 299499 3786 0 0 20 0 1 0 11206198 439177216 98161 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 17898 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 107221 98161 850 747 0 106284 0 Current children cumulated CPU time: 3032.85 s Current children cumulated vsize: 428884 KiB Current children cumulated memory: 392644 KiB [startup+3282.32 s] /proc/loadavg: 4.45 4.37 4.26 2/277 106640 /proc/meminfo: memFree=523288/131655788 swapFree=131071216/131071996 [pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3090.79 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 54431 0 0 0 305201 3878 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18044 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 109148 98162 850 747 0 108211 0 Current children cumulated CPU time: 3090.79 s Current children cumulated vsize: 436592 KiB Current children cumulated memory: 392648 KiB [startup+3342.32 s] /proc/loadavg: 4.51 4.41 4.28 4/272 107069 /proc/meminfo: memFree=4598012/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3114.03 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54449 0 0 0 307502 3901 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 21752 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 109148 98162 850 747 0 108211 0 Current children cumulated CPU time: 3114.03 s Current children cumulated vsize: 436592 KiB Current children cumulated memory: 392648 KiB [startup+3402.32 s] /proc/loadavg: 4.31 4.36 4.27 3/268 107101 /proc/meminfo: memFree=30939284/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3172.71 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54638 0 0 0 313300 3971 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 21864 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 109148 98162 850 747 0 108211 0 Current children cumulated CPU time: 3172.71 s Current children cumulated vsize: 436592 KiB Current children cumulated memory: 392648 KiB [startup+3462.31 s] /proc/loadavg: 4.28 4.34 4.27 7/268 107113 /proc/meminfo: memFree=27265624/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3226.96 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54776 0 0 0 318662 4034 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 22419 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 109148 98162 850 747 0 108211 0 Current children cumulated CPU time: 3226.96 s Current children cumulated vsize: 436592 KiB Current children cumulated memory: 392648 KiB [startup+3522.32 s] /proc/loadavg: 4.27 4.32 4.27 6/260 107292 /proc/meminfo: memFree=23679520/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3285.97 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 54927 0 0 0 324509 4088 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 22440 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 109148 98162 850 747 0 108211 0 Current children cumulated CPU time: 3285.97 s Current children cumulated vsize: 436592 KiB Current children cumulated memory: 392648 KiB [startup+3582.31 s] /proc/loadavg: 4.20 4.29 4.26 5/264 107308 /proc/meminfo: memFree=20340368/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=452976 memory=401336 CPUtime=3340.7 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 55252 0 0 0 329934 4136 0 0 20 0 1 0 11206198 463847424 100334 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 23009 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 113244 100334 850 747 0 112307 0 Current children cumulated CPU time: 3340.7 s Current children cumulated vsize: 452976 KiB Current children cumulated memory: 401336 KiB [startup+3642.31 s] /proc/loadavg: 4.17 4.27 4.26 5/264 107375 /proc/meminfo: memFree=18356248/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=452976 memory=401336 CPUtime=3392.39 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 55358 0 0 0 335055 4184 0 0 20 0 1 0 11206198 463847424 100334 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 23824 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 113244 100334 850 747 0 112307 0 Current children cumulated CPU time: 3392.39 s Current children cumulated vsize: 452976 KiB Current children cumulated memory: 401336 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+3700 s] /proc/loadavg: 4.16 4.25 4.25 5/262 107385 /proc/meminfo: memFree=15710656/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=452976 memory=401336 CPUtime=3439.09 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 55510 0 0 0 339679 4230 0 0 20 0 1 0 11206198 463847424 100334 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24906 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 113244 100334 850 747 0 112307 0 Current children cumulated CPU time: 3439.09 s Current children cumulated vsize: 452976 KiB Current children cumulated memory: 401336 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) WARNING: unexpectedly, some solver processes are still present and will be killed: [startup+0 s]* /proc/loadavg: 4.31 4.28 4.26 3/257 107395 /proc/meminfo: memFree=17031920/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.15 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4235 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 256 0 0 8404994 0 0 0 17 0 0 0 25277 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 71898 63841 850 747 0 70961 0 ??? kill 105216 sig 9 ??? end of watcher thread [startup+3702.77 s] # the end of solver process 105216 was just reported to runsolver # Child ended because it received signal 9 (SIGKILL) # cumulated CPU time of all completed processes: user=3396.81 s, system=42.3606 s Solver just ended. Dumping a history of the last processes samples [startup+3701 s] /proc/loadavg: 4.16 4.25 4.25 2/262 107385 /proc/meminfo: memFree=16413076/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.14 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4234 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25077 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 71898 63841 850 747 0 70961 0 Current children cumulated CPU time: 3439.14 s Current children cumulated vsize: 287592 KiB Current children cumulated memory: 255364 KiB [startup+3701.8 s] /proc/loadavg: 4.31 4.28 4.26 2/262 107387 /proc/meminfo: memFree=16409332/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.14 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4234 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25234 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 71898 63841 850 747 0 70961 0 Current children cumulated CPU time: 3439.14 s Current children cumulated vsize: 287592 KiB Current children cumulated memory: 255364 KiB [startup+3702 s] /proc/loadavg: 4.31 4.28 4.26 2/262 107387 /proc/meminfo: memFree=16409332/131655788 swapFree=131070960/131071996 [pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.15 cores=0,2 /proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4235 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25273 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0 /proc/105216/statm: 71898 63841 850 747 0 70961 0 Current children cumulated CPU time: 3439.15 s Current children cumulated vsize: 287592 KiB Current children cumulated memory: 255364 KiB Child ended because it received signal 9 (SIGKILL) Real time (s): 3702.77 CPU time (s): 3439.17 CPU user time (s): 3396.81 CPU system time (s): 42.3606 CPU usage (%): 92.881 Max. virtual memory (cumulated for all children) (KiB): 452976 Max. memory (cumulated for all children) (KiB): 401336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3396.81 system time used= 42.3606 maximum resident set size= 401336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 147892784 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6132 involuntary context switches= 23634 # summary of solver processes directly reported to runsolver: # pid: 105216 # total CPU time (s): 3439.17 # total CPU user time (s): 3396.81 # total CPU system time (s): 42.3606 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.2317 second user time and 38.9323 second system time The end
Begin job on nodeC007 at 2024-07-23 18:29:28 IDJOB=4440626 IDBENCH=146743 IDSOLVER=3080 FILE ID=nodeC007/4440626-1721752167 RUNJOBID= nodeC007-1721752167-105171 SLURM_JOB_ID= 7770656 Free space on /tmp= 723780 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440626-1721752167/watcher-4440626-1721752167 -o /tmp/evaluation-result-4440626-1721752167/solver-4440626-1721752167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721752167-105171 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440626-1721752167 --seed=2080928096 HOME/instance-4440626-1721752167.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1 RANDOM SEED=2080928096 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.210 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.204 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.206 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.204 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.206 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3376.504 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.221 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.201 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125238468 kB MemAvailable: 130008796 kB Buffers: 174024 kB Cached: 5380388 kB SwapCached: 0 kB Active: 1064448 kB Inactive: 4746376 kB Active(anon): 1380 kB Inactive(anon): 293056 kB Active(file): 1063068 kB Inactive(file): 4453320 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 16832 kB Writeback: 8 kB AnonPages: 256876 kB Mapped: 102776 kB Shmem: 37696 kB KReclaimable: 188276 kB Slab: 290620 kB SReclaimable: 188276 kB SUnreclaim: 102344 kB KernelStack: 3760 kB PageTables: 9664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 518876 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18432 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 283464 kB DirectMap2M: 24786944 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723756 MiB End job on nodeC007 at 2024-07-23 19:31:10