Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.11 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j30/ normalized-j301_4-unsat.opb |
MD5SUM | b699e923b3d3f7ecfda0dc818d16dffb |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.043992 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3844 |
Total number of constraints | 11854 |
Number of constraints which are clauses | 11610 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 244 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 99 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.03 c PB-wave - v2 0.00/0.03 c command line = ./PB-wave 0.00/0.03 c seed = 37565667 0.00/0.03 c cutoff = 1000000 0.00/0.03 c tries = 1000000 0.00/0.03 c heuristic = c best, noise 50 / 100 0.00/0.03 #var 3844 #con 11854 0.00/0.03 mode is SAT 0.00/0.03 c tail starts after flip = 11532 0.00/0.03 c numatom = 3844, numclause = 11854, numliterals = 26611 0.00/0.03 c wff read in 0.00/0.03 c 0.00/0.03 c lowest final avg noise noise total avg mean mean 0.00/0.03 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.03 c this this this this this this success success until std 0.00/0.03 c try try try try try try rate tries assign dev 0.00/0.03 c 1.00/1.00 c 87 194 185.51 33.18 5.59 1000000 0 1.89/1.97 c 63 169 179.80 32.43 5.54 1000000 0 2.89/2.94 c 84 136 179.63 32.24 5.57 1000000 0 3.89/3.92 c 76 215 183.26 33.24 5.51 1000000 0 4.79/4.89 c 73 144 182.35 30.02 6.07 1000000 0 5.79/5.86 c 87 232 183.73 32.40 5.67 1000000 0 6.79/6.84 c 59 159 178.55 32.20 5.54 1000000 0 7.79/7.81 c 76 208 184.32 34.62 5.32 1000000 0 8.69/8.78 c 76 277 183.94 34.93 5.27 1000000 0 9.69/9.75 c 79 209 181.51 31.74 5.72 1000000 0 10.69/10.72 c 58 179 178.37 34.19 5.22 1000000 0 11.59/11.69 c 75 198 177.50 33.61 5.28 1000000 0 12.59/12.67 c 79 219 186.59 33.05 5.65 1000000 0 13.58/13.64 c 84 134 183.25 35.10 5.22 1000000 0 14.58/14.61 c 77 132 184.78 33.91 5.45 1000000 0 15.48/15.58 c 72 258 176.46 33.29 5.30 1000000 0 16.49/16.55 c 69 184 179.47 33.63 5.34 1000000 0 17.49/17.52 c 76 250 182.56 33.39 5.47 1000000 0 18.38/18.49 c 74 181 179.27 33.68 5.32 1000000 0 19.38/19.47 c 82 204 180.76 34.22 5.28 1000000 0 20.38/20.43 c 92 158 182.70 30.28 6.03 1000000 0 21.38/21.40 c 78 112 177.29 32.97 5.38 1000000 0 22.28/22.37 c 55 172 177.69 32.13 5.53 1000000 0 23.28/23.34 c 68 144 181.79 33.76 5.39 1000000 0 24.28/24.31 c 79 182 181.73 33.04 5.50 1000000 0 25.19/25.28 c 72 179 179.74 32.29 5.57 1000000 0 26.18/26.25 c 63 228 189.84 34.62 5.48 1000000 0 27.18/27.22 c 56 205 183.26 33.83 5.42 1000000 0 28.08/28.19 c 61 188 178.53 32.90 5.43 1000000 0 29.08/29.16 c 79 149 181.69 35.44 5.13 1000000 0 30.08/30.13 c 55 201 180.78 35.08 5.15 1000000 0 30.98/31.10 c 66 210 180.79 34.11 5.30 1000000 0 31.98/32.07 c 72 106 179.34 33.10 5.42 1000000 0 32.99/33.03 c 75 139 178.46 33.11 5.39 1000000 0 33.99/34.00 c 88 229 180.83 32.85 5.50 1000000 0 34.88/34.97 c 82 163 184.89 34.14 5.42 1000000 0 35.88/35.94 c 89 180 181.24 33.58 5.40 1000000 0 36.88/36.92 c 76 186 185.41 34.80 5.33 1000000 0 37.78/37.88 c 70 237 178.97 34.73 5.15 1000000 0 38.78/38.85 c 69 220 184.79 33.02 5.60 1000000 0 39.78/39.82 c 77 161 182.79 33.73 5.42 1000000 0 40.69/40.80 c 68 198 178.75 33.07 5.41 1000000 0 41.69/41.77 c 51 183 176.82 34.89 5.07 1000000 0 42.68/42.74 c 79 181 181.91 34.24 5.31 1000000 0 43.68/43.71 c 70 176 182.17 34.98 5.21 1000000 0 44.58/44.68 c 86 148 181.81 34.07 5.34 1000000 0 45.58/45.65 c 79 154 180.74 34.99 5.17 1000000 0 46.58/46.62 c 79 124 180.87 35.87 5.04 1000000 0 47.48/47.59 c 65 162 182.10 34.55 5.27 1000000 0 48.48/48.56 c 74 181 179.71 34.41 5.22 1000000 0 49.48/49.53 c 79 140 177.61 35.37 5.02 1000000 0 50.48/50.50 c 71 109 179.89 36.39 4.94 1000000 0 51.38/51.47 c 65 158 181.31 34.18 5.30 1000000 0 52.38/52.44 c 78 206 176.71 31.71 5.57 1000000 0 53.37/53.42 c 78 137 183.17 31.95 5.73 1000000 0 54.27/54.39 c 80 198 182.85 34.11 5.36 1000000 0 55.28/55.36 c 77 101 181.58 32.24 5.63 1000000 0 56.28/56.32 c 75 149 176.82 32.35 5.47 1000000 0 57.28/57.30 c 70 173 184.15 33.16 5.55 1000000 0 58.18/58.27 c 64 177 180.89 35.32 5.12 1000000 0 59.18/59.24 c 67 194 186.01 37.93 4.90 1000000 0 60.17/60.21 c 80 163 176.87 32.82 5.39 1000000 0 61.07/61.18 c 87 211 184.47 34.48 5.35 1000000 0 62.07/62.16 c 69 166 180.16 34.93 5.16 1000000 0 63.07/63.13 c 61 138 180.46 33.13 5.45 1000000 0 64.07/64.10 c 79 127 179.68 31.13 5.77 1000000 0 64.97/65.06 c 62 177 183.26 34.04 5.38 1000000 0 65.98/66.03 c 57 219 179.25 34.70 5.17 1000000 0 66.98/67.00 c 73 173 181.44 35.21 5.15 1000000 0 67.87/67.97 c 73 152 181.23 33.48 5.41 1000000 0 68.87/68.94 c 66 215 181.42 33.60 5.40 1000000 0 69.87/69.91 c 82 201 186.33 33.12 5.63 1000000 0 70.77/70.88 c 73 165 183.90 33.60 5.47 1000000 0 71.77/71.85 c 88 170 184.18 34.45 5.35 1000000 0 72.77/72.82 c 82 185 177.26 32.52 5.45 1000000 0 73.68/73.79 c 82 155 185.89 33.89 5.49 1000000 0 74.68/74.76 c 69 216 179.53 32.45 5.53 1000000 0 75.67/75.73 c 78 261 186.64 33.47 5.58 1000000 0 76.67/76.70 c 74 248 179.30 33.83 5.30 1000000 0 77.57/77.67 c 71 168 179.07 33.56 5.34 1000000 0 78.57/78.64 c 70 133 179.18 32.27 5.55 1000000 0 79.57/79.61 c 86 204 180.33 33.76 5.34 1000000 0 80.47/80.58 c 73 223 181.81 36.36 5.00 1000000 0 81.47/81.54 c 80 162 180.17 32.87 5.48 1000000 0 82.48/82.52 c 60 213 185.49 38.30 4.84 1000000 0 83.37/83.48 c 82 182 181.76 34.86 5.21 1000000 0 84.37/84.45 c 84 200 186.58 33.65 5.54 1000000 0 85.37/85.43 c 72 185 175.81 31.74 5.54 1000000 0 86.27/86.39 c 74 161 179.24 37.79 4.74 1000000 0 87.27/87.36 c 75 222 183.56 34.94 5.25 1000000 0 88.27/88.33 c 69 142 182.43 33.75 5.41 1000000 0 89.27/89.30 c 67 180 173.96 34.53 5.04 1000000 0 90.18/90.27 c 77 181 177.81 33.17 5.36 1000000 0 91.17/91.24 c 86 170 179.73 34.45 5.22 1000000 0 92.17/92.21 c 72 154 180.68 32.43 5.57 1000000 0 93.07/93.18 c 78 199 184.13 35.18 5.23 1000000 0 94.07/94.15 c 86 217 183.93 33.81 5.44 1000000 0 95.07/95.12 c 63 172 180.42 34.29 5.26 1000000 0 95.97/96.09 c 78 182 180.71 36.29 4.98 1000000 0 96.97/97.06 c 86 240 183.38 33.81 5.42 1000000 0 97.97/98.03 c 55 229 185.72 37.79 4.91 1000000 0 98.87/99.00 c 81 197 182.96 35.96 5.09 1000000 0 99.87/99.97 c 66 179 179.65 34.92 5.15 1000000 0 100.87/100.94 c 84 203 183.78 31.83 5.77 1000000 0 101.87/101.91 c 82 170 183.46 34.51 5.32 1000000 0 102.76/102.88 c 65 223 182.18 36.81 4.95 1000000 0 103.76/103.85 c 82 215 184.75 34.92 5.29 1000000 0 104.76/104.82 c 62 180 182.05 35.48 5.13 1000000 0 105.66/105.79 c 79 190 175.90 34.32 5.13 1000000 0 106.67/106.76 c 66 135 178.24 34.38 5.18 1000000 0 107.67/107.73 c 83 155 180.86 32.16 5.62 1000000 0 108.66/108.70 c 75 144 183.09 36.04 5.08 1000000 0 109.56/109.67 c 58 112 185.58 36.24 5.12 1000000 0 110.56/110.64 c 68 142 177.78 34.78 5.11 1000000 0 111.56/111.62 c 77 157 184.23 33.70 5.47 1000000 0 112.46/112.59 c 73 161 180.45 32.46 5.56 1000000 0 113.46/113.56 c 74 220 179.98 33.57 5.36 1000000 0 114.46/114.53 c 74 181 178.03 33.72 5.28 1000000 0 115.37/115.50 c 68 170 177.73 33.40 5.32 1000000 0 116.36/116.47 c 69 237 183.71 33.72 5.45 1000000 0 117.36/117.44 c 68 173 178.93 34.71 5.15 1000000 0 118.36/118.41 c 69 156 185.27 33.43 5.54 1000000 0 119.26/119.38 c 87 186 182.24 32.39 5.63 1000000 0 120.26/120.35 c 78 141 182.74 34.69 5.27 1000000 0 121.26/121.32 c 90 134 178.80 31.86 5.61 1000000 0 122.16/122.29 c 82 229 182.26 32.59 5.59 1000000 0 123.17/123.26 c 88 164 182.60 32.22 5.67 1000000 0 124.17/124.23 c 57 159 182.73 32.95 5.55 1000000 0 125.06/125.20 c 90 222 186.72 35.93 5.20 1000000 0 126.06/126.17 c 66 157 182.49 36.18 5.04 1000000 0 127.06/127.14 c 81 161 178.07 32.86 5.42 1000000 0 128.06/128.11 c 94 127 182.90 29.76 6.15 1000000 0 128.96/129.08 c 81 228 180.54 32.08 5.63 1000000 0 129.96/130.05 c 76 179 179.84 33.20 5.42 1000000 0 130.96/131.02 c 75 186 184.01 31.75 5.80 1000000 0 131.86/131.99 c 74 187 185.21 35.78 5.18 1000000 0 132.86/132.97 c 73 122 178.74 36.36 4.92 1000000 0 133.86/133.93 c 76 202 176.49 32.96 5.35 1000000 0 134.86/134.91 c 68 168 184.77 37.72 4.90 1000000 0 135.76/135.88 c 89 167 182.69 33.90 5.39 1000000 0 136.76/136.85 c 79 222 184.29 34.80 5.30 1000000 0 137.76/137.82 c 54 190 181.75 36.58 4.97 1000000 0 138.65/138.79 c 95 245 182.06 30.65 5.94 1000000 0 139.66/139.76 c 66 234 181.81 34.20 5.32 1000000 0 140.66/140.74 c 56 150 185.55 34.93 5.31 1000000 0 141.65/141.71 c 74 147 179.95 34.04 5.29 1000000 0 142.55/142.68 c 81 194 182.36 33.08 5.51 1000000 0 143.55/143.65 c 68 216 180.24 34.52 5.22 1000000 0 144.55/144.62 c 74 222 178.71 32.70 5.47 1000000 0 145.45/145.59 c 71 232 180.85 33.08 5.47 1000000 0 146.45/146.56 c 75 189 180.73 33.63 5.37 1000000 0 147.45/147.53 c 75 140 184.11 34.28 5.37 1000000 0 148.36/148.50 c 78 163 179.37 34.73 5.16 1000000 0 149.35/149.47 c 65 197 177.84 35.59 5.00 1000000 0 150.35/150.44 c 71 143 180.08 33.56 5.37 1000000 0 151.35/151.40 c 65 150 187.59 36.53 5.13 1000000 0 152.25/152.37 c 77 166 179.99 32.52 5.53 1000000 0 153.25/153.34 c 68 180 181.56 34.26 5.30 1000000 0 154.25/154.31 c 80 161 182.26 34.47 5.29 1000000 0 155.15/155.28 c 75 179 181.37 33.67 5.39 1000000 0 156.16/156.25 c 80 158 182.80 30.79 5.94 1000000 0 157.16/157.22 c 71 188 182.27 35.63 5.12 1000000 0 158.05/158.19 c 81 169 179.50 33.26 5.40 1000000 0 159.05/159.15 c 53 159 177.24 34.55 5.13 1000000 0 160.05/160.13 c 85 168 181.45 33.24 5.46 1000000 0 161.05/161.10 c 92 219 182.39 31.14 5.86 1000000 0 161.95/162.07 c 81 175 183.65 33.57 5.47 1000000 0 162.95/163.04 c 67 111 181.06 34.23 5.29 1000000 0 163.95/164.01 c 91 230 185.21 31.96 5.80 1000000 0 164.86/164.98 c 75 143 180.69 31.51 5.73 1000000 0 165.85/165.95 c 81 151 182.30 33.23 5.49 1000000 0 166.85/166.92 c 75 198 185.34 34.89 5.31 1000000 0 167.75/167.89 c 68 206 187.80 35.93 5.23 1000000 0 168.75/168.86 c 74 295 181.25 35.13 5.16 1000000 0 169.75/169.83 c 85 161 185.60 34.70 5.35 1000000 0 170.75/170.81 c 59 189 183.49 33.60 5.46 1000000 0 171.65/171.77 c 75 167 182.45 33.53 5.44 1000000 0 172.65/172.74 c 79 181 178.06 32.84 5.42 1000000 0 173.65/173.71 c 69 200 177.34 33.53 5.29 1000000 0 174.55/174.68 c 62 218 181.12 37.77 4.79 1000000 0 175.55/175.65 c 69 145 181.88 34.24 5.31 1000000 0 176.55/176.62 c 91 163 186.76 33.15 5.63 1000000 0 177.45/177.59 c 76 161 181.29 35.57 5.10 1000000 0 178.45/178.56 c 85 159 182.19 30.67 5.94 1000000 0 179.45/179.54 c 71 154 182.63 34.69 5.26 1000000 0 180.45/180.51 c 61 134 183.61 35.01 5.24 1000000 0 181.35/181.48 c 64 220 182.53 33.74 5.41 1000000 0 182.35/182.45 c 59 159 182.35 35.55 5.13 1000000 0 183.35/183.42 c 71 191 182.42 34.67 5.26 1000000 0 184.24/184.39 c 79 186 180.94 35.17 5.14 1000000 0 185.24/185.36 c 82 161 181.34 34.12 5.31 1000000 0 186.24/186.33 c 80 191 183.04 32.11 5.70 1000000 0 187.24/187.30 c 77 198 185.53 36.33 5.11 1000000 0 188.14/188.27 c 78 182 182.78 38.06 4.80 1000000 0 189.15/189.24 c 83 177 179.30 32.10 5.59 1000000 0 190.15/190.21 c 79 185 181.52 32.48 5.59 1000000 0 191.04/191.18 c 88 169 180.87 32.91 5.50 1000000 0 192.04/192.15 c 63 188 187.11 33.69 5.55 1000000 0 193.04/193.12 c 82 216 182.41 32.87 5.55 1000000 0 193.94/194.09 c 74 170 178.84 36.27 4.93 1000000 0 194.94/195.06 c 81 216 184.22 32.00 5.76 1000000 0 195.94/196.03 c 78 215 184.12 33.07 5.57 1000000 0 196.94/197.00 c 78 157 182.35 34.63 5.27 1000000 0 197.85/197.97 c 78 229 185.83 34.27 5.42 1000000 0 198.84/198.94 c 76 158 182.43 34.01 5.36 1000000 0 199.84/199.91 c 68 209 182.11 33.28 5.47 1000000 0 200.74/200.88 c 62 168 182.20 33.95 5.37 1000000 0 201.74/201.85 c 74 161 175.40 33.35 5.26 1000000 0 202.74/202.82 c 78 179 179.30 29.67 6.04 1000000 0 203.64/203.79 c 77 168 181.47 30.27 5.99 1000000 0 204.64/204.76 c 77 141 180.38 31.94 5.65 1000000 0 205.65/205.73 c 71 201 183.32 35.41 5.18 1000000 0 206.65/206.70 c 68 126 184.79 35.16 5.26 1000000 0 207.54/207.67 c 78 140 181.22 35.24 5.14 1000000 0 208.54/208.64 c 61 158 178.10 33.23 5.36 1000000 0 209.54/209.61 c 82 193 183.53 33.48 5.48 1000000 0 210.44/210.58 c 71 244 182.02 37.32 4.88 1000000 0 211.44/211.55 c 64 177 185.26 33.72 5.49 1000000 0 212.44/212.52 c 76 181 179.38 33.70 5.32 1000000 0 213.44/213.50 c 66 216 179.65 32.47 5.53 1000000 0 214.35/214.47 c 55 150 178.60 35.40 5.05 1000000 0 215.34/215.44 c 83 162 180.14 32.78 5.50 1000000 0 216.34/216.41 c 60 187 180.85 32.10 5.63 1000000 0 217.24/217.38 c 82 177 188.27 33.53 5.62 1000000 0 218.24/218.36 c 69 163 181.54 33.88 5.36 1000000 0 219.24/219.33 c 73 209 181.15 35.10 5.16 1000000 0 220.14/220.29 c 77 142 179.71 33.02 5.44 1000000 0 221.14/221.26 c 75 196 174.17 33.96 5.13 1000000 0 222.15/222.23 c 74 185 183.36 34.37 5.34 1000000 0 223.14/223.20 c 62 185 181.77 32.65 5.57 1000000 0 224.04/224.17 c 69 228 178.97 34.98 5.12 1000000 0 225.04/225.15 c 72 171 182.21 32.79 5.56 1000000 0 226.04/226.12 c 70 207 179.20 33.50 5.35 1000000 0 226.94/227.09 c 78 149 182.04 32.52 5.60 1000000 0 227.94/228.06 c 68 193 182.51 37.27 4.90 1000000 0 228.94/229.03 c 72 194 179.26 33.75 5.31 1000000 0 229.84/230.00 c 62 194 185.40 37.09 5.00 1000000 0 230.84/230.97 c 70 227 179.38 34.50 5.20 1000000 0 231.83/231.94 c 82 233 177.94 33.49 5.31 1000000 0 232.83/232.91 c 77 185 181.06 36.20 5.00 1000000 0 233.73/233.88 c 70 174 182.34 33.65 5.42 1000000 0 234.73/234.85 c 82 213 185.11 34.80 5.32 1000000 0 235.73/235.82 c 66 204 181.85 33.93 5.36 1000000 0 236.63/236.79 c 81 204 178.24 32.90 5.42 1000000 0 237.63/237.75 c 78 176 177.84 31.63 5.62 1000000 0 238.64/238.72 c 79 212 179.20 32.56 5.50 1000000 0 239.53/239.69 c 86 176 184.76 32.99 5.60 1000000 0 240.53/240.66 c 67 191 180.58 31.94 5.65 1000000 0 241.53/241.63 c 72 158 177.27 35.67 4.97 1000000 0 242.53/242.60 c 66 109 179.72 35.22 5.10 1000000 0 243.43/243.58 c 78 165 185.59 32.18 5.77 1000000 0 244.43/244.55 c 81 186 182.03 36.94 4.93 1000000 0 245.43/245.52 c 75 143 185.59 32.17 5.77 1000000 0 246.34/246.49 c 67 140 180.06 33.92 5.31 1000000 0 247.34/247.46 c 77 192 182.37 31.71 5.75 1000000 0 248.33/248.43 c 74 182 187.36 35.73 5.24 1000000 0 249.33/249.40 c 72 168 181.82 32.72 5.56 1000000 0 250.23/250.37 c 75 165 181.15 31.97 5.67 1000000 0 251.23/251.34 c 83 197 183.42 36.21 5.07 1000000 0 252.23/252.31 c 79 156 184.61 35.18 5.25 1000000 0 253.13/253.27 c 80 135 176.04 35.00 5.03 1000000 0 254.13/254.24 c 82 176 182.15 31.96 5.70 1000000 0 255.14/255.21 c 85 213 180.15 32.31 5.57 1000000 0 256.03/256.18 c 81 161 185.33 33.28 5.57 1000000 0 257.03/257.15 c 70 176 181.92 34.85 5.22 1000000 0 258.03/258.13 c 51 188 184.37 34.38 5.36 1000000 0 259.03/259.10 c 71 149 182.74 34.40 5.31 1000000 0 259.93/260.07 c 78 124 181.21 34.96 5.18 1000000 0 260.93/261.04 c 55 167 176.03 34.87 5.05 1000000 0 261.93/262.01 c 49 163 180.81 34.67 5.22 1000000 0 262.84/262.98 c 68 206 178.66 33.91 5.27 1000000 0 263.83/263.95 c 79 179 179.17 31.70 5.65 1000000 0 264.83/264.92 c 52 208 181.28 33.22 5.46 1000000 0 265.83/265.90 c 75 172 176.78 36.87 4.79 1000000 0 266.73/266.87 c 75 162 183.55 33.61 5.46 1000000 0 267.73/267.84 c 74 175 175.16 30.75 5.70 1000000 0 268.73/268.81 c 79 161 183.91 33.84 5.43 1000000 0 269.63/269.78 c 73 197 179.37 33.77 5.31 1000000 0 270.63/270.75 c 69 226 181.69 34.32 5.29 1000000 0 271.63/271.72 c 80 187 181.55 32.59 5.57 1000000 0 272.53/272.70 c 77 222 179.27 31.45 5.70 1000000 0 273.53/273.67 c 76 247 185.46 33.96 5.46 1000000 0 274.53/274.64 c 70 163 184.87 33.07 5.59 1000000 0 275.53/275.61 c 76 193 180.79 35.50 5.09 1000000 0 276.42/276.58 c 85 231 178.55 30.97 5.77 1000000 0 277.42/277.55 c 81 224 188.60 34.47 5.47 1000000 0 278.42/278.52 c 76 196 183.29 34.11 5.37 1000000 0 279.33/279.49 c 74 169 179.05 34.01 5.27 1000000 0 280.33/280.46 c 80 179 178.40 32.37 5.51 1000000 0 281.32/281.43 c 82 209 182.47 34.80 5.24 1000000 0 282.32/282.40 c 48 187 184.19 36.76 5.01 1000000 0 283.22/283.37 c 72 149 183.62 33.74 5.44 1000000 0 284.22/284.33 c 82 167 179.51 30.37 5.91 1000000 0 285.22/285.30 c 73 203 182.63 33.46 5.46 1000000 0 286.12/286.27 c 85 157 185.27 32.24 5.75 1000000 0 287.12/287.25 c 53 224 175.16 36.66 4.78 1000000 0 288.13/288.22 c 46 140 178.91 32.03 5.59 1000000 0 289.02/289.19 c 71 157 182.57 33.45 5.46 1000000 0 290.02/290.16 c 75 223 182.94 32.65 5.60 1000000 0 291.02/291.13 c 54 153 180.08 31.53 5.71 1000000 0 292.02/292.10 c 83 131 179.79 32.16 5.59 1000000 0 292.92/293.08 c 85 176 186.56 35.49 5.26 1000000 0 293.92/294.04 c 69 203 182.80 32.67 5.59 1000000 0 294.92/295.01 c 74 212 181.25 34.36 5.27 1000000 0 295.83/295.98 c 75 191 181.68 31.88 5.70 1000000 0 296.83/296.95 c 63 200 177.45 35.91 4.94 1000000 0 297.82/297.92 c 79 148 178.58 30.95 5.77 1000000 0 298.72/298.89 c 70 147 182.56 35.66 5.12 1000000 0 299.72/299.86 c 80 193 179.38 34.66 5.18 1000000 0 300.72/300.84 c 73 183 189.30 37.39 5.06 1000000 0 301.72/301.81 c 79 140 186.07 35.23 5.28 1000000 0 302.62/302.79 c 83 185 185.41 31.96 5.80 1000000 0 303.62/303.75 c 70 179 181.85 35.02 5.19 1000000 0 304.63/304.73 c 74 143 184.29 33.05 5.58 1000000 0 305.52/305.69 c 71 186 175.94 34.44 5.11 1000000 0 306.52/306.67 c 66 169 184.72 33.44 5.52 1000000 0 307.52/307.65 c 76 182 181.28 31.21 5.81 1000000 0 308.52/308.61 c 73 208 180.79 33.63 5.38 1000000 0 309.42/309.58 c 82 196 182.44 32.12 5.68 1000000 0 310.42/310.56 c 59 252 180.43 35.78 5.04 1000000 0 311.42/311.53 c 69 166 183.33 37.24 4.92 1000000 0 312.42/312.50 c 76 127 182.86 35.57 5.14 1000000 0 313.32/313.47 c 76 168 179.77 33.92 5.30 1000000 0 314.32/314.44 c 80 189 180.61 33.05 5.47 1000000 0 315.32/315.41 c 58 199 177.65 34.35 5.17 1000000 0 316.22/316.38 c 82 165 181.12 34.05 5.32 1000000 0 317.22/317.35 c 75 172 179.69 31.77 5.66 1000000 0 318.22/318.32 c 86 228 180.22 34.26 5.26 1000000 0 319.12/319.29 c 82 235 179.42 32.69 5.49 1000000 0 320.12/320.26 c 83 202 180.08 31.66 5.69 1000000 0 321.12/321.23 c 76 185 181.75 33.03 5.50 1000000 0 322.12/322.20 c 48 136 181.30 34.75 5.22 1000000 0 323.02/323.17 c 86 158 186.75 33.38 5.59 1000000 0 324.02/324.14 c 71 176 176.25 35.89 4.91 1000000 0 325.01/325.10 c 75 198 182.23 33.78 5.39 1000000 0 325.91/326.07 c 77 164 182.32 35.49 5.14 1000000 0 326.91/327.04 c 86 223 183.34 34.72 5.28 1000000 0 327.91/328.01 c 77 166 182.65 34.96 5.22 1000000 0 328.82/328.98 c 76 239 179.90 35.29 5.10 1000000 0 329.82/329.95 c 76 195 181.33 33.33 5.44 1000000 0 330.81/330.92 c 78 148 181.74 33.17 5.48 1000000 0 331.71/331.89 c 73 234 181.36 33.58 5.40 1000000 0 332.71/332.86 c 76 230 178.56 33.23 5.37 1000000 0 333.71/333.83 c 91 184 185.08 32.17 5.75 1000000 0 334.71/334.80 c 73 168 179.19 32.85 5.45 1000000 0 335.61/335.77 c 67 145 178.36 33.49 5.33 1000000 0 336.61/336.74 c 68 128 186.54 34.34 5.43 1000000 0 337.62/337.71 c 77 155 180.43 33.24 5.43 1000000 0 338.51/338.68 c 82 183 181.54 32.13 5.65 1000000 0 339.51/339.65 c 74 155 181.84 33.20 5.48 1000000 0 340.51/340.62 c 83 248 180.35 31.76 5.68 1000000 0 341.41/341.59 c 82 161 187.94 33.84 5.55 1000000 0 342.41/342.56 c 55 207 180.55 34.99 5.16 1000000 0 343.41/343.53 c 71 209 178.47 34.60 5.16 1000000 0 344.41/344.51 c 80 173 180.36 34.96 5.16 1000000 0 345.32/345.48 c 76 158 175.72 32.03 5.49 1000000 0 346.32/346.44 c 63 197 178.85 32.61 5.48 1000000 0 347.31/347.42 c 63 187 181.59 33.61 5.40 1000000 0 348.21/348.39 c 68 160 184.76 34.38 5.37 1000000 0 349.21/349.36 c 79 227 183.33 34.04 5.39 1000000 0 350.21/350.32 c 62 163 180.13 32.20 5.59 1000000 0 351.21/351.30 c 65 161 182.13 33.99 5.36 1000000 0 352.11/352.27 c 84 175 180.18 35.54 5.07 1000000 0 353.11/353.24 c 58 224 178.79 33.91 5.27 1000000 0 354.12/354.21 c 85 153 183.69 32.39 5.67 1000000 0 355.01/355.18 c 79 142 178.92 34.24 5.22 1000000 0 356.01/356.15 c 74 195 179.66 34.62 5.19 1000000 0 357.01/357.13 c 64 226 179.48 35.15 5.11 1000000 0 358.01/358.10 c 58 148 177.39 33.01 5.37 1000000 0 358.91/359.07 c 84 268 179.81 32.06 5.61 1000000 0 359.91/360.04 c 74 205 179.82 33.33 5.39 1000000 0 360.91/361.01 c 77 252 184.42 35.28 5.23 1000000 0 361.81/361.98 c 67 167 178.03 31.41 5.67 1000000 0 362.81/362.95 c 80 143 179.13 33.28 5.38 1000000 0 363.81/363.92 c 85 186 179.79 32.15 5.59 1000000 0 364.71/364.89 c 81 176 184.86 37.40 4.94 1000000 0 365.71/365.86 c 70 218 178.07 37.37 4.76 1000000 0 366.71/366.83 c 74 162 179.58 31.79 5.65 1000000 0 367.71/367.80 c 81 179 182.19 34.79 5.24 1000000 0 368.60/368.77 c 58 168 177.45 32.24 5.50 1000000 0 369.60/369.74 c 71 249 180.70 33.31 5.42 1000000 0 370.61/370.71 c 73 160 182.63 34.01 5.37 1000000 0 371.50/371.68 c 63 171 179.25 34.07 5.26 1000000 0 372.50/372.65 c 85 191 180.62 32.71 5.52 1000000 0 373.50/373.62 c 60 164 181.72 34.27 5.30 1000000 0 374.40/374.59 c 75 156 181.56 35.84 5.07 1000000 0 375.40/375.56 c 71 189 184.17 33.79 5.45 1000000 0 376.40/376.53 c 60 89 184.29 35.69 5.16 1000000 0 377.40/377.50 c 86 114 180.39 31.30 5.76 1000000 0 378.31/378.47 c 61 179 180.39 32.79 5.50 1000000 0 379.31/379.44 c 72 159 183.82 36.21 5.08 1000000 0 380.30/380.41 c 77 168 182.58 34.38 5.31 1000000 0 381.20/381.37 c 79 165 179.34 34.84 5.15 1000000 0 382.20/382.34 c 64 136 178.98 35.79 5.00 1000000 0 383.20/383.31 c 80 154 184.49 33.06 5.58 1000000 0 384.10/384.29 c 78 206 186.53 33.60 5.55 1000000 0 385.10/385.26 c 64 173 181.35 32.77 5.53 1000000 0 386.10/386.24 c 84 160 184.63 30.18 6.12 1000000 0 387.11/387.21 c 61 145 190.53 34.55 5.51 1000000 0 388.00/388.18 c 75 207 181.85 33.61 5.41 1000000 0 389.00/389.16 c 77 210 183.70 35.05 5.24 1000000 0 390.00/390.13 c 80 174 178.28 34.63 5.15 1000000 0 391.00/391.10 c 70 192 180.65 34.28 5.27 1000000 0 391.90/392.07 c 69 213 178.18 35.85 4.97 1000000 0 392.90/393.04 c 67 223 187.29 33.94 5.52 1000000 0 393.90/394.00 c 73 156 181.87 31.94 5.69 1000000 0 394.81/394.97 c 65 198 181.50 36.60 4.96 1000000 0 395.80/395.94 c 65 161 181.15 34.61 5.23 1000000 0 396.80/396.92 c 68 198 182.79 33.95 5.38 1000000 0 397.70/397.89 c 70 128 181.19 33.92 5.34 1000000 0 398.70/398.86 c 69 156 184.32 31.04 5.94 1000000 0 399.70/399.83 c 58 167 179.46 35.30 5.08 1000000 0 400.70/400.80 c 56 178 180.05 34.73 5.18 1000000 0 401.60/401.77 c 66 221 179.65 34.02 5.28 1000000 0 402.60/402.74 c 73 180 184.35 35.47 5.20 1000000 0 403.60/403.71 c 75 196 181.80 30.77 5.91 1000000 0 404.50/404.68 c 80 178 178.80 38.51 4.64 1000000 0 405.50/405.66 c 64 175 181.25 37.00 4.90 1000000 0 406.50/406.63 c 71 132 177.14 32.75 5.41 1000000 0 407.40/407.59 c 76 141 180.92 35.55 5.09 1000000 0 408.40/408.56 c 81 219 183.34 32.44 5.65 1000000 0 409.40/409.53 c 78 137 180.10 32.37 5.56 1000000 0 410.40/410.50 c 65 211 179.17 33.12 5.41 1000000 0 411.30/411.47 c 73 225 184.53 33.09 5.58 1000000 0 412.30/412.44 c 72 125 184.89 33.69 5.49 1000000 0 413.29/413.41 c 78 155 180.70 33.65 5.37 1000000 0 414.19/414.38 c 81 186 184.39 33.92 5.44 1000000 0 415.19/415.35 c 86 190 184.79 35.17 5.25 1000000 0 416.19/416.32 c 66 182 178.09 34.37 5.18 1000000 0 417.09/417.29 c 84 176 183.08 33.05 5.54 1000000 0 418.09/418.26 c 73 221 178.36 30.76 5.80 1000000 0 419.09/419.23 c 81 185 181.39 32.34 5.61 1000000 0 420.00/420.20 c 78 158 182.47 33.55 5.44 1000000 0 420.99/421.17 c 62 131 177.86 34.61 5.14 1000000 0 421.99/422.14 c 72 236 178.27 32.06 5.56 1000000 0 422.99/423.11 c 77 179 182.83 34.22 5.34 1000000 0 423.89/424.08 c 73 178 180.28 35.15 5.13 1000000 0 424.89/425.05 c 73 188 184.35 34.24 5.38 1000000 0 425.89/426.03 c 85 101 183.60 33.94 5.41 1000000 0 426.89/427.00 c 86 185 181.81 34.76 5.23 1000000 0 427.80/427.97 c 75 127 178.85 33.77 5.30 1000000 0 428.80/428.94 c 58 174 179.68 34.21 5.25 1000000 0 429.79/429.91 c 75 192 179.87 33.09 5.44 1000000 0 430.69/430.89 c 78 223 182.10 32.70 5.57 1000000 0 431.69/431.86 c 78 169 182.20 32.16 5.66 1000000 0 432.69/432.83 c 47 191 179.50 39.63 4.53 1000000 0 433.69/433.80 c 73 172 180.39 33.30 5.42 1000000 0 434.59/434.77 c 73 190 180.52 37.76 4.78 1000000 0 435.59/435.74 c 74 181 182.36 35.84 5.09 1000000 0 436.60/436.71 c 68 229 183.56 36.53 5.02 1000000 0 437.49/437.68 c 79 130 179.72 31.01 5.80 1000000 0 438.49/438.65 c 79 214 178.11 33.02 5.39 1000000 0 439.49/439.62 c 79 154 180.08 33.06 5.45 1000000 0 440.39/440.59 c 82 198 184.79 33.67 5.49 1000000 0 441.39/441.56 c 79 141 181.07 32.05 5.65 1000000 0 442.39/442.53 c 71 195 183.70 36.91 4.98 1000000 0 443.39/443.50 c 86 188 175.80 30.81 5.71 1000000 0 444.29/444.47 c 72 147 180.88 32.48 5.57 1000000 0 445.29/445.44 c 79 156 179.21 33.68 5.32 1000000 0 446.29/446.41 c 80 199 181.92 34.04 5.34 1000000 0 447.19/447.38 c 84 178 186.95 35.44 5.27 1000000 0 448.19/448.35 c 80 200 180.94 34.42 5.26 1000000 0 449.19/449.32 c 64 210 184.41 34.47 5.35 1000000 0 450.09/450.29 c 81 174 181.39 32.74 5.54 1000000 0 451.09/451.26 c 62 193 180.53 33.54 5.38 1000000 0 452.09/452.23 c 71 211 173.56 30.84 5.63 1000000 0 452.99/453.20 c 66 182 182.37 32.87 5.55 1000000 0 453.98/454.18 c 93 158 187.16 32.53 5.75 1000000 0 454.98/455.15 c 76 161 182.46 33.24 5.49 1000000 0 455.98/456.12 c 70 209 181.31 32.40 5.60 1000000 0 456.88/457.09 c 83 205 183.28 34.39 5.33 1000000 0 457.88/458.06 c 77 171 190.18 36.56 5.20 1000000 0 458.88/459.04 c 67 107 178.81 34.76 5.14 1000000 0 459.88/460.01 c 74 195 178.29 33.97 5.25 1000000 0 460.79/460.98 c 67 119 184.31 35.69 5.16 1000000 0 461.79/461.95 c 66 136 181.49 31.67 5.73 1000000 0 462.78/462.92 c 80 197 179.53 31.50 5.70 1000000 0 463.68/463.89 c 72 143 173.33 33.27 5.21 1000000 0 464.68/464.85 c 80 148 181.08 32.72 5.53 1000000 0 465.68/465.82 c 83 123 183.81 34.83 5.28 1000000 0 466.58/466.79 c 76 203 183.17 33.23 5.51 1000000 0 467.58/467.77 c 51 172 185.08 33.32 5.55 1000000 0 468.58/468.74 c 72 145 183.52 35.40 5.18 1000000 0 469.59/469.71 c 58 208 184.26 34.04 5.41 1000000 0 470.48/470.69 c 73 155 179.60 32.29 5.56 1000000 0 471.48/471.66 c 81 172 183.15 32.62 5.62 1000000 0 472.48/472.62 c 75 210 182.21 33.44 5.45 1000000 0 473.38/473.59 c 57 286 184.05 35.86 5.13 1000000 0 474.38/474.56 c 73 154 183.71 33.38 5.50 1000000 0 475.38/475.53 c 76 150 181.74 36.14 5.03 1000000 0 476.38/476.50 c 67 138 179.50 33.90 5.30 1000000 0 477.29/477.47 c 70 135 177.53 32.18 5.52 1000000 0 478.29/478.44 c 67 195 174.30 31.40 5.55 1000000 0 479.28/479.41 c 73 167 180.37 32.81 5.50 1000000 0 480.18/480.39 c 78 160 184.74 34.77 5.31 1000000 0 481.18/481.36 c 72 187 182.79 34.60 5.28 1000000 0 482.18/482.32 c 75 195 181.85 33.30 5.46 1000000 0 483.08/483.29 c 60 136 178.71 34.36 5.20 1000000 0 484.08/484.27 c 72 201 179.67 32.24 5.57 1000000 0 485.08/485.23 c 73 170 182.35 34.55 5.28 1000000 0 486.09/486.21 c 72 132 176.50 31.71 5.57 1000000 0 486.98/487.18 c 86 206 189.22 34.00 5.57 1000000 0 487.98/488.15 c 68 196 179.36 34.53 5.19 1000000 0 488.98/489.11 c 68 163 181.47 36.17 5.02 1000000 0 489.88/490.08 c 84 178 183.03 35.08 5.22 1000000 0 490.88/491.05 c 67 219 180.84 33.99 5.32 1000000 0 491.88/492.02 c 68 224 179.58 35.00 5.13 1000000 0 492.78/492.99 c 78 205 184.19 34.97 5.27 1000000 0 493.78/493.97 c 60 191 177.04 34.69 5.10 1000000 0 494.78/494.94 c 87 217 178.54 32.48 5.50 1000000 0 495.78/495.91 c 79 128 182.10 30.88 5.90 1000000 0 496.68/496.88 c 78 220 186.01 33.07 5.62 1000000 0 497.68/497.85 c 71 197 178.00 36.53 4.87 1000000 0 498.68/498.83 c 58 203 181.99 35.56 5.12 1000000 0 499.68/499.80 c 74 205 184.36 34.49 5.34 1000000 0 500.57/500.77 c 62 150 175.72 32.55 5.40 1000000 0 501.57/501.74 c 70 169 179.12 34.54 5.19 1000000 0 502.58/502.71 c 61 148 181.69 32.62 5.57 1000000 0 503.47/503.68 c 63 158 185.51 36.62 5.07 1000000 0 504.47/504.66 c 86 163 186.37 33.61 5.55 1000000 0 505.47/505.63 c 64 192 180.67 35.95 5.03 1000000 0 506.47/506.60 c 75 139 181.42 36.16 5.02 1000000 0 507.37/507.57 c 75 182 174.94 32.90 5.32 1000000 0 508.37/508.54 c 65 179 183.83 35.49 5.18 1000000 0 509.37/509.51 c 67 174 183.78 36.20 5.08 1000000 0 510.28/510.47 c 82 171 183.79 32.16 5.71 1000000 0 511.28/511.44 c 78 178 182.27 32.65 5.58 1000000 0 512.27/512.41 c 71 164 180.19 32.35 5.57 1000000 0 513.17/513.38 c 63 220 178.48 34.27 5.21 1000000 0 514.17/514.35 c 76 166 172.06 32.17 5.35 1000000 0 515.17/515.32 c 67 183 176.07 33.12 5.32 1000000 0 516.07/516.29 c 78 155 177.15 31.77 5.58 1000000 0 517.07/517.26 c 77 138 179.34 32.35 5.54 1000000 0 518.07/518.24 c 61 137 182.38 36.80 4.96 1000000 0 519.08/519.21 c 69 145 179.12 31.92 5.61 1000000 0 519.97/520.17 c 78 193 183.24 33.15 5.53 1000000 0 520.97/521.14 c 71 137 184.31 37.22 4.95 1000000 0 521.97/522.12 c 57 150 186.63 32.56 5.73 1000000 0 522.87/523.09 c 74 149 180.65 33.13 5.45 1000000 0 523.87/524.05 c 86 158 181.64 33.73 5.39 1000000 0 524.87/525.02 c 80 161 183.20 32.48 5.64 1000000 0 525.77/525.99 c 77 167 182.74 32.96 5.54 1000000 0 526.78/526.96 c 55 220 184.42 36.16 5.10 1000000 0 527.78/527.94 c 79 245 181.88 32.62 5.58 1000000 0 528.77/528.91 c 89 178 185.61 32.63 5.69 1000000 0 529.67/529.88 c 78 205 187.33 34.32 5.46 1000000 0 530.67/530.85 c 53 162 180.86 34.92 5.18 1000000 0 531.67/531.82 c 81 250 184.85 32.25 5.73 1000000 0 532.57/532.78 c 85 187 179.05 33.25 5.39 1000000 0 533.57/533.75 c 56 180 181.41 34.88 5.20 1000000 0 534.57/534.73 c 78 156 181.45 33.16 5.47 1000000 0 535.47/535.69 c 78 212 179.75 32.91 5.46 1000000 0 536.47/536.66 c 76 239 178.81 34.05 5.25 1000000 0 537.47/537.63 c 90 263 184.88 33.97 5.44 1000000 0 538.47/538.60 c 78 171 186.19 33.87 5.50 1000000 0 539.37/539.58 c 75 130 181.52 32.35 5.61 1000000 0 540.37/540.55 c 60 131 182.10 33.57 5.42 1000000 0 541.37/541.52 c 79 142 182.65 36.92 4.95 1000000 0 542.27/542.49 c 80 119 186.28 34.37 5.42 1000000 0 543.27/543.46 c 81 175 183.31 32.79 5.59 1000000 0 544.27/544.43 c 70 189 181.12 34.94 5.18 1000000 0 545.27/545.40 c 59 232 181.20 34.92 5.19 1000000 0 546.16/546.37 c 79 172 183.08 32.83 5.58 1000000 0 547.16/547.34 c 72 196 179.05 34.36 5.21 1000000 0 548.16/548.31 c 79 189 177.14 31.51 5.62 1000000 0 549.06/549.28 c 74 207 176.24 32.04 5.50 1000000 0 550.06/550.25 c 81 202 180.69 33.81 5.34 1000000 0 551.06/551.22 c 84 178 177.40 33.56 5.29 1000000 0 551.97/552.19 c 76 160 180.20 33.73 5.34 1000000 0 552.96/553.16 c 86 217 183.91 34.00 5.41 1000000 0 553.96/554.13 c 76 184 179.39 33.18 5.41 1000000 0 554.96/555.10 c 70 205 187.29 35.59 5.26 1000000 0 555.86/556.07 c 68 207 183.48 33.73 5.44 1000000 0 556.86/557.04 c 64 179 181.13 33.76 5.37 1000000 0 557.86/558.01 c 60 138 179.17 36.37 4.93 1000000 0 558.76/558.98 c 65 184 182.16 34.11 5.34 1000000 0 559.77/559.95 c 67 225 180.16 31.51 5.72 1000000 0 560.77/560.93 c 58 227 179.74 33.51 5.36 1000000 0 561.66/561.90 c 73 175 180.81 34.64 5.22 1000000 0 562.66/562.86 c 82 176 175.13 32.32 5.42 1000000 0 563.66/563.84 c 63 182 180.76 34.02 5.31 1000000 0 564.66/564.81 c 73 153 179.02 32.92 5.44 1000000 0 565.56/565.78 c 85 247 184.66 35.61 5.19 1000000 0 566.56/566.75 c 90 221 184.21 33.68 5.47 1000000 0 567.56/567.72 c 72 193 177.51 33.15 5.35 1000000 0 568.47/568.69 c 75 167 183.77 33.03 5.56 1000000 0 569.46/569.66 c 81 181 180.94 36.02 5.02 1000000 0 570.46/570.64 c 85 220 186.15 31.90 5.84 1000000 0 571.46/571.61 c 70 144 182.50 36.38 5.02 1000000 0 572.36/572.58 c 93 165 189.28 35.12 5.39 1000000 0 573.36/573.55 c 80 187 182.74 34.28 5.33 1000000 0 574.36/574.52 c 94 183 186.46 33.08 5.64 1000000 0 575.26/575.49 c 56 164 178.18 34.85 5.11 1000000 0 576.27/576.46 c 83 126 181.38 34.94 5.19 1000000 0 577.27/577.43 c 61 143 178.19 33.36 5.34 1000000 0 578.26/578.40 c 84 149 181.44 32.01 5.67 1000000 0 579.16/579.37 c 79 163 186.20 33.39 5.58 1000000 0 580.16/580.34 c 80 163 177.78 31.48 5.65 1000000 0 581.16/581.31 c 92 202 179.55 33.87 5.30 1000000 0 582.06/582.28 c 83 175 182.50 32.02 5.70 1000000 0 583.06/583.25 c 75 189 178.63 30.83 5.79 1000000 0 584.06/584.22 c 61 208 184.59 34.83 5.30 1000000 0 584.96/585.19 c 83 159 181.31 33.72 5.38 1000000 0 585.96/586.16 c 72 160 182.53 32.14 5.68 1000000 0 586.96/587.13 c 90 212 177.84 31.86 5.58 1000000 0 587.96/588.10 c 87 241 180.50 33.42 5.40 1000000 0 588.86/589.07 c 61 182 177.66 32.76 5.42 1000000 0 589.86/590.04 c 85 180 183.60 34.41 5.34 1000000 0 590.86/591.01 c 75 157 184.88 35.88 5.15 1000000 0 591.76/591.98 c 71 141 180.54 32.42 5.57 1000000 0 592.76/592.95 c 70 161 180.99 34.62 5.23 1000000 0 593.76/593.92 c 72 193 182.89 33.36 5.48 1000000 0 594.75/594.90 c 74 162 178.91 33.80 5.29 1000000 0 595.65/595.87 c 69 171 185.18 34.98 5.29 1000000 0 596.65/596.84 c 81 179 179.32 32.04 5.60 1000000 0 597.65/597.81 c 72 209 178.69 32.92 5.43 1000000 0 598.55/598.78 c 52 154 178.64 33.55 5.33 1000000 0 599.55/599.75 c 80 142 178.99 31.11 5.75 1000000 0 600.55/600.72 c 72 236 182.88 33.80 5.41 1000000 0 601.46/601.70 c 79 214 179.24 34.95 5.13 1000000 0 602.45/602.67 c 74 183 180.48 36.25 4.98 1000000 0 603.45/603.64 c 78 135 180.04 33.02 5.45 1000000 0 604.45/604.61 c 74 161 183.14 34.03 5.38 1000000 0 605.35/605.58 c 74 143 179.26 31.04 5.77 1000000 0 606.35/606.55 c 65 164 176.75 32.68 5.41 1000000 0 607.35/607.52 c 80 195 180.63 32.73 5.52 1000000 0 608.25/608.49 c 80 182 181.86 34.12 5.33 1000000 0 609.26/609.46 c 76 177 180.13 34.43 5.23 1000000 0 610.26/610.42 c 49 150 180.12 36.39 4.95 1000000 0 611.15/611.39 c 84 208 183.08 33.00 5.55 1000000 0 612.15/612.36 c 96 156 183.93 32.13 5.72 1000000 0 613.15/613.34 c 87 188 181.78 34.24 5.31 1000000 0 614.15/614.30 c 71 160 179.91 34.97 5.14 1000000 0 615.05/615.27 c 83 190 186.93 35.04 5.33 1000000 0 616.05/616.24 c 80 205 178.53 31.37 5.69 1000000 0 617.05/617.21 c 76 156 183.01 33.07 5.53 1000000 0 617.96/618.18 c 81 242 186.02 33.14 5.61 1000000 0 618.95/619.15 c 71 193 178.38 34.23 5.21 1000000 0 619.95/620.12 c 73 207 185.97 32.73 5.68 1000000 0 620.85/621.09 c 69 145 179.56 33.03 5.44 1000000 0 621.85/622.06 c 72 144 177.94 34.73 5.12 1000000 0 622.85/623.03 c 67 197 178.82 34.43 5.19 1000000 0 623.85/624.00 c 74 160 178.40 32.84 5.43 1000000 0 624.75/624.98 c 83 153 184.80 33.14 5.58 1000000 0 625.75/625.94 c 75 200 179.62 30.97 5.80 1000000 0 626.75/626.91 c 72 183 180.86 33.53 5.39 1000000 0 627.65/627.88 c 78 225 183.68 33.57 5.47 1000000 0 628.65/628.85 c 70 118 180.65 35.37 5.11 1000000 0 629.65/629.83 c 63 211 179.28 33.64 5.33 1000000 0 630.55/630.80 c 66 219 179.33 31.55 5.68 1000000 0 631.55/631.76 c 75 177 180.77 33.19 5.45 1000000 0 632.55/632.73 c 68 140 177.22 32.75 5.41 1000000 0 633.54/633.70 c 83 164 181.27 30.61 5.92 1000000 0 634.45/634.67 c 81 171 177.79 33.58 5.29 1000000 0 635.44/635.64 c 82 134 184.97 35.64 5.19 1000000 0 636.44/636.61 c 90 169 182.60 32.35 5.65 1000000 0 637.34/637.58 c 68 141 182.40 36.04 5.06 1000000 0 638.34/638.55 c 82 144 182.79 32.71 5.59 1000000 0 639.34/639.51 c 73 214 180.76 33.77 5.35 1000000 0 640.24/640.48 c 77 197 181.23 33.99 5.33 1000000 0 641.24/641.45 c 87 149 183.10 32.49 5.64 1000000 0 642.25/642.42 c 70 114 181.44 34.23 5.30 1000000 0 643.14/643.39 c 68 163 188.64 37.19 5.07 1000000 0 644.14/644.36 c 58 124 176.13 35.15 5.01 1000000 0 645.14/645.33 c 51 208 177.58 34.03 5.22 1000000 0 646.14/646.30 c 68 128 177.45 32.01 5.54 1000000 0 647.04/647.27 c 59 171 183.72 36.84 4.99 1000000 0 648.04/648.24 c 69 204 179.38 34.41 5.21 1000000 0 649.04/649.22 c 76 224 184.36 32.86 5.61 1000000 0 649.95/650.18 c 73 138 177.92 34.10 5.22 1000000 0 650.95/651.15 c 59 168 177.76 31.46 5.65 1000000 0 651.94/652.12 c 81 204 184.13 34.97 5.27 1000000 0 652.84/653.09 c 81 173 179.60 30.61 5.87 1000000 0 653.84/654.06 c 77 162 179.50 33.03 5.43 1000000 0 654.84/655.02 c 65 186 184.86 35.46 5.21 1000000 0 655.74/656.00 c 74 273 174.11 31.83 5.47 1000000 0 656.74/656.97 c 73 213 183.25 33.07 5.54 1000000 0 657.74/657.94 c 65 233 183.96 36.91 4.98 1000000 0 658.75/658.91 c 85 153 179.13 33.34 5.37 1000000 0 659.64/659.88 c 69 107 180.83 35.20 5.14 1000000 0 660.64/660.85 c 66 231 181.51 37.93 4.78 1000000 0 661.64/661.82 c 56 169 176.25 33.50 5.26 1000000 0 662.54/662.79 c 76 222 179.29 33.73 5.32 1000000 0 663.54/663.76 c 68 181 179.56 33.37 5.38 1000000 0 664.54/664.73 c 75 216 181.56 35.56 5.11 1000000 0 665.54/665.70 c 65 206 179.55 35.51 5.06 1000000 0 666.45/666.67 c 75 155 183.14 35.11 5.22 1000000 0 667.44/667.64 c 76 188 177.17 33.24 5.33 1000000 0 668.44/668.61 c 74 191 181.37 32.48 5.58 1000000 0 669.34/669.58 c 80 134 180.33 31.62 5.70 1000000 0 670.34/670.55 c 78 182 181.49 34.41 5.27 1000000 0 671.34/671.52 c 68 197 179.73 32.89 5.46 1000000 0 672.24/672.49 c 75 158 179.64 35.00 5.13 1000000 0 673.24/673.46 c 76 194 182.13 34.00 5.36 1000000 0 674.24/674.43 c 73 219 183.65 33.39 5.50 1000000 0 675.14/675.40 c 87 160 179.37 33.34 5.38 1000000 0 676.14/676.37 c 80 170 178.71 33.07 5.40 1000000 0 677.14/677.34 c 72 138 182.24 33.83 5.39 1000000 0 678.13/678.30 c 85 150 179.63 31.25 5.75 1000000 0 679.03/679.27 c 81 173 182.68 32.85 5.56 1000000 0 680.03/680.24 c 79 109 179.97 33.70 5.34 1000000 0 681.03/681.22 c 67 204 178.85 35.01 5.11 1000000 0 681.93/682.18 c 81 151 180.83 34.43 5.25 1000000 0 682.94/683.16 c 83 173 182.62 35.12 5.20 1000000 0 683.94/684.13 c 87 224 186.02 32.60 5.71 1000000 0 684.83/685.09 c 77 170 181.72 32.89 5.52 1000000 0 685.83/686.06 c 73 215 182.44 34.00 5.37 1000000 0 686.83/687.03 c 59 158 176.39 34.26 5.15 1000000 0 687.83/688.00 c 86 198 181.90 33.99 5.35 1000000 0 688.73/688.98 c 44 197 180.64 34.49 5.24 1000000 0 689.73/689.95 c 67 183 181.36 33.85 5.36 1000000 0 690.73/690.92 c 78 150 182.41 34.63 5.27 1000000 0 691.64/691.90 c 71 167 178.57 32.14 5.56 1000000 0 692.63/692.87 c 85 115 180.42 34.12 5.29 1000000 0 693.63/693.84 c 79 189 184.11 32.38 5.69 1000000 0 694.63/694.81 c 72 165 181.12 31.16 5.81 1000000 0 695.53/695.78 c 73 164 180.49 33.16 5.44 1000000 0 696.53/696.75 c 81 230 182.88 35.15 5.20 1000000 0 697.53/697.72 c 60 239 178.24 36.04 4.95 1000000 0 698.43/698.69 c 71 168 182.40 33.15 5.50 1000000 0 699.44/699.66 c 72 185 183.62 33.88 5.42 1000000 0 700.44/700.63 c 76 135 183.54 33.74 5.44 1000000 0 701.43/701.61 c 78 160 182.84 34.21 5.34 1000000 0 702.33/702.58 c 57 175 178.67 32.61 5.48 1000000 0 703.33/703.55 c 73 219 181.47 33.50 5.42 1000000 0 704.33/704.52 c 77 160 183.08 36.55 5.01 1000000 0 705.23/705.50 c 51 186 183.67 35.09 5.23 1000000 0 706.23/706.46 c 80 152 184.83 37.64 4.91 1000000 0 707.23/707.43 c 79 160 181.53 34.76 5.22 1000000 0 708.14/708.40 c 87 195 184.12 34.11 5.40 1000000 0 709.13/709.37 c 86 131 184.25 33.98 5.42 1000000 0 710.13/710.34 c 70 101 182.71 33.63 5.43 1000000 0 711.13/711.31 c 75 131 182.52 34.10 5.35 1000000 0 712.03/712.27 c 62 170 181.43 36.44 4.98 1000000 0 713.03/713.24 c 65 128 177.87 32.81 5.42 1000000 0 714.03/714.22 c 68 212 179.75 35.59 5.05 1000000 0 714.93/715.19 c 79 148 185.46 36.68 5.06 1000000 0 715.94/716.16 c 80 237 181.04 32.79 5.52 1000000 0 716.93/717.13 c 76 147 184.86 31.13 5.94 1000000 0 717.93/718.10 c 81 175 182.39 34.78 5.24 1000000 0 718.83/719.07 c 77 161 182.55 32.44 5.63 1000000 0 719.83/720.05 c 70 156 181.15 34.45 5.26 1000000 0 720.83/721.01 c 74 181 176.19 33.61 5.24 1000000 0 721.73/721.99 c 70 207 181.04 31.68 5.72 1000000 0 722.73/722.96 c 78 118 180.25 31.04 5.81 1000000 0 723.73/723.92 c 76 178 184.97 33.94 5.45 1000000 0 724.63/724.89 c 74 147 179.53 33.64 5.34 1000000 0 725.63/725.86 c 78 195 178.65 34.76 5.14 1000000 0 726.63/726.83 c 75 191 184.23 35.82 5.14 1000000 0 727.62/727.80 c 71 187 185.17 35.37 5.23 1000000 0 728.52/728.78 c 82 175 183.07 34.61 5.29 1000000 0 729.52/729.75 c 71 195 179.67 33.35 5.39 1000000 0 730.52/730.72 c 69 173 180.55 35.76 5.05 1000000 0 731.42/731.69 c 70 158 183.13 35.81 5.11 1000000 0 732.43/732.66 c 68 167 178.44 33.33 5.35 1000000 0 733.43/733.63 c 74 167 180.45 30.73 5.87 1000000 0 734.42/734.60 c 74 157 182.45 35.31 5.17 1000000 0 735.32/735.57 c 82 222 183.72 36.86 4.98 1000000 0 736.32/736.54 c 70 181 181.41 34.08 5.32 1000000 0 737.32/737.51 c 82 150 182.78 32.61 5.61 1000000 0 738.22/738.48 c 56 169 177.16 34.97 5.07 1000000 0 739.22/739.45 c 83 191 181.17 31.45 5.76 1000000 0 740.22/740.42 c 86 140 179.32 31.56 5.68 1000000 0 741.13/741.38 c 69 197 179.55 34.25 5.24 1000000 0 742.12/742.35 c 80 184 184.23 32.93 5.60 1000000 0 743.12/743.33 c 89 117 180.06 33.91 5.31 1000000 0 744.02/744.30 c 73 193 177.83 33.98 5.23 1000000 0 745.02/745.27 c 56 179 180.93 35.01 5.17 1000000 0 746.02/746.23 c 79 125 175.95 33.81 5.20 1000000 0 747.02/747.21 c 86 162 186.66 33.04 5.65 1000000 0 747.92/748.18 c 79 127 178.63 35.99 4.96 1000000 0 748.93/749.15 c 78 175 181.82 31.10 5.85 1000000 0 749.93/750.11 c 91 211 179.45 30.44 5.89 1000000 0 750.82/751.09 c 63 166 182.32 31.73 5.75 1000000 0 751.82/752.06 c 80 206 188.34 35.39 5.32 1000000 0 752.82/753.03 c 64 175 178.69 34.61 5.16 1000000 0 753.82/754.00 c 59 146 185.79 35.43 5.24 1000000 0 754.72/754.98 c 85 177 185.35 33.78 5.49 1000000 0 755.72/755.95 c 66 164 177.99 33.08 5.38 1000000 0 756.72/756.92 c 85 163 184.96 33.64 5.50 1000000 0 757.62/757.89 c 82 139 182.97 33.76 5.42 1000000 0 758.62/758.86 c 71 207 182.03 34.73 5.24 1000000 0 759.62/759.83 c 70 220 182.82 33.95 5.39 1000000 0 760.62/760.80 c 85 191 184.21 33.00 5.58 1000000 0 761.52/761.78 c 66 188 178.71 34.29 5.21 1000000 0 762.52/762.75 c 75 242 177.10 31.82 5.57 1000000 0 763.52/763.72 c 68 197 182.61 33.66 5.43 1000000 0 764.42/764.69 c 79 240 184.01 35.17 5.23 1000000 0 765.42/765.66 c 73 170 177.89 33.22 5.35 1000000 0 766.42/766.63 c 72 174 180.88 33.14 5.46 1000000 0 767.32/767.59 c 80 161 179.96 30.96 5.81 1000000 0 768.32/768.57 c 78 232 183.35 32.84 5.58 1000000 0 769.32/769.54 c 90 117 182.83 34.04 5.37 1000000 0 770.31/770.50 c 70 140 176.36 34.54 5.11 1000000 0 771.21/771.47 c 71 164 177.26 31.51 5.63 1000000 0 772.21/772.45 c 76 183 182.60 38.28 4.77 1000000 0 773.21/773.42 c 61 144 177.08 35.29 5.02 1000000 0 774.12/774.38 c 83 181 182.69 32.86 5.56 1000000 0 775.11/775.36 c 80 225 184.65 32.14 5.75 1000000 0 776.11/776.33 c 76 133 179.08 31.91 5.61 1000000 0 777.11/777.30 c 83 128 182.66 30.62 5.97 1000000 0 778.01/778.27 c 82 173 184.80 35.01 5.28 1000000 0 779.01/779.24 c 63 245 180.78 35.08 5.15 1000000 0 780.01/780.21 c 63 170 182.48 32.65 5.59 1000000 0 780.91/781.18 c 86 180 181.43 34.30 5.29 1000000 0 781.92/782.15 c 74 166 180.21 33.79 5.33 1000000 0 782.92/783.13 c 75 177 182.19 31.68 5.75 1000000 0 783.91/784.10 c 76 136 181.97 32.48 5.60 1000000 0 784.81/785.07 c 78 183 178.25 32.13 5.55 1000000 0 785.81/786.03 c 82 167 183.62 33.27 5.52 1000000 0 786.81/787.00 c 80 192 177.36 33.31 5.32 1000000 0 787.71/787.97 c 75 172 187.57 36.73 5.11 1000000 0 788.71/788.94 c 87 218 180.63 32.93 5.49 1000000 0 789.71/789.91 c 90 179 180.55 32.42 5.57 1000000 0 790.62/790.88 c 73 137 177.86 32.54 5.47 1000000 0 791.61/791.85 c 72 235 179.04 33.24 5.39 1000000 0 792.61/792.82 c 71 214 180.97 34.52 5.24 1000000 0 793.51/793.79 c 77 175 181.14 29.97 6.04 1000000 0 794.51/794.76 c 77 216 179.69 32.81 5.48 1000000 0 795.51/795.73 c 75 169 179.59 33.91 5.30 1000000 0 796.51/796.70 c 67 167 177.01 37.17 4.76 1000000 0 797.41/797.67 c 70 107 180.40 34.79 5.19 1000000 0 798.42/798.64 c 71 189 181.57 34.93 5.20 1000000 0 799.42/799.62 c 60 185 178.54 32.65 5.47 1000000 0 800.31/800.59 c 83 212 184.64 36.06 5.12 1000000 0 801.31/801.56 c 72 165 182.13 34.05 5.35 1000000 0 802.31/802.53 c 77 208 188.42 33.02 5.71 1000000 0 803.31/803.50 c 76 153 177.62 34.97 5.08 1000000 0 804.21/804.47 c 55 184 182.15 34.09 5.34 1000000 0 805.21/805.44 c 66 228 178.14 35.16 5.07 1000000 0 806.21/806.41 c 74 159 178.79 31.93 5.60 1000000 0 807.11/807.38 c 71 131 175.45 33.72 5.20 1000000 0 808.11/808.35 c 72 148 180.80 33.51 5.40 1000000 0 809.11/809.32 c 77 174 179.57 32.86 5.46 1000000 0 810.01/810.29 c 76 193 183.47 33.12 5.54 1000000 0 811.01/811.27 c 67 143 178.71 34.16 5.23 1000000 0 812.01/812.23 c 79 198 176.30 33.72 5.23 1000000 0 813.00/813.20 c 64 186 179.73 33.04 5.44 1000000 0 813.90/814.17 c 88 178 183.54 33.59 5.46 1000000 0 814.91/815.14 c 81 173 181.06 34.06 5.32 1000000 0 815.91/816.11 c 84 186 182.66 33.25 5.49 1000000 0 816.80/817.08 c 78 190 184.54 34.28 5.38 1000000 0 817.80/818.05 c 71 169 180.66 32.21 5.61 1000000 0 818.80/819.02 c 63 237 178.75 35.57 5.03 1000000 0 819.70/819.99 c 65 200 179.44 36.26 4.95 1000000 0 820.70/820.96 c 73 250 179.92 34.53 5.21 1000000 0 821.70/821.92 c 79 170 187.00 34.98 5.35 1000000 0 822.61/822.89 c 69 187 180.49 34.18 5.28 1000000 0 823.61/823.86 c 68 222 178.78 34.63 5.16 1000000 0 824.60/824.83 c 80 156 177.12 34.52 5.13 1000000 0 825.60/825.80 c 63 171 179.89 33.21 5.42 1000000 0 826.50/826.77 c 79 188 182.69 32.72 5.58 1000000 0 827.50/827.74 c 69 170 175.44 31.71 5.53 1000000 0 828.50/828.71 c 81 216 180.24 34.29 5.26 1000000 0 829.40/829.68 c 68 226 179.62 32.94 5.45 1000000 0 830.40/830.65 c 62 148 180.70 34.39 5.25 1000000 0 831.41/831.62 c 65 155 178.22 35.98 4.95 1000000 0 832.30/832.59 c 68 214 179.57 32.75 5.48 1000000 0 833.30/833.56 c 70 130 178.57 33.34 5.36 1000000 0 834.30/834.53 c 77 148 178.98 33.36 5.37 1000000 0 835.30/835.50 c 50 146 177.81 34.61 5.14 1000000 0 836.20/836.47 c 66 132 184.84 34.30 5.39 1000000 0 837.20/837.44 c 77 164 181.07 33.89 5.34 1000000 0 838.20/838.41 c 78 147 177.98 34.26 5.19 1000000 0 839.11/839.38 c 84 186 182.07 31.03 5.87 1000000 0 840.11/840.35 c 83 161 182.85 33.98 5.38 1000000 0 841.10/841.32 c 78 219 179.07 31.92 5.61 1000000 0 842.00/842.29 c 78 189 178.20 32.55 5.47 1000000 0 843.00/843.26 c 69 207 181.65 32.72 5.55 1000000 0 844.00/844.22 c 67 129 185.30 36.15 5.13 1000000 0 844.90/845.20 c 75 226 178.66 30.84 5.79 1000000 0 845.90/846.17 c 83 149 181.46 31.15 5.82 1000000 0 846.90/847.14 c 91 147 186.42 32.59 5.72 1000000 0 847.91/848.11 c 76 158 180.70 33.33 5.42 1000000 0 848.80/849.08 c 68 192 178.13 33.00 5.40 1000000 0 849.80/850.05 c 85 165 184.29 32.46 5.68 1000000 0 850.80/851.01 c 80 191 182.57 31.90 5.72 1000000 0 851.70/851.98 c 87 169 182.49 32.43 5.63 1000000 0 852.70/852.95 c 70 249 185.83 35.80 5.19 1000000 0 853.70/853.92 c 57 182 183.87 35.44 5.19 1000000 0 854.60/854.89 c 87 192 184.10 33.76 5.45 1000000 0 855.60/855.86 c 77 142 181.24 32.77 5.53 1000000 0 856.60/856.83 c 45 148 182.03 34.44 5.29 1000000 0 857.60/857.80 c 92 184 184.42 34.04 5.42 1000000 0 858.50/858.78 c 76 190 180.97 32.77 5.52 1000000 0 859.50/859.75 c 78 215 185.62 32.88 5.65 1000000 0 860.50/860.72 c 73 151 181.38 33.42 5.43 1000000 0 861.40/861.69 c 83 159 181.24 33.98 5.33 1000000 0 862.39/862.65 c 66 182 179.57 33.54 5.35 1000000 0 863.39/863.63 c 65 108 176.74 32.52 5.43 1000000 0 864.30/864.59 c 72 249 182.13 32.37 5.63 1000000 0 865.29/865.57 c 70 203 180.76 34.42 5.25 1000000 0 866.29/866.54 c 84 232 181.06 33.40 5.42 1000000 0 867.29/867.51 c 49 236 183.36 36.94 4.96 1000000 0 868.19/868.48 c 86 222 181.70 32.32 5.62 1000000 0 869.19/869.45 c 80 174 179.72 32.75 5.49 1000000 0 870.19/870.42 c 80 199 182.55 35.50 5.14 1000000 0 871.09/871.39 c 70 189 182.04 35.82 5.08 1000000 0 872.10/872.36 c 65 197 186.95 35.01 5.34 1000000 0 873.10/873.32 c 80 205 176.91 30.72 5.76 1000000 0 873.99/874.29 c 78 225 181.35 34.63 5.24 1000000 0 874.99/875.27 c 58 199 183.14 33.46 5.47 1000000 0 875.99/876.24 c 71 200 178.77 33.91 5.27 1000000 0 876.99/877.21 c 82 170 182.36 32.65 5.59 1000000 0 877.89/878.18 c 73 199 181.23 33.65 5.38 1000000 0 878.89/879.15 c 67 241 178.41 30.35 5.88 1000000 0 879.89/880.12 c 63 185 183.65 35.77 5.13 1000000 0 880.80/881.09 c 73 228 180.93 33.97 5.33 1000000 0 881.79/882.06 c 73 188 184.50 35.78 5.16 1000000 0 882.79/883.03 c 83 146 183.40 32.83 5.59 1000000 0 883.79/884.00 c 69 158 180.52 36.82 4.90 1000000 0 884.69/884.96 c 67 201 178.87 33.57 5.33 1000000 0 885.69/885.93 c 78 220 178.21 34.20 5.21 1000000 0 886.69/886.90 c 51 163 179.84 33.08 5.44 1000000 0 887.59/887.87 c 82 169 180.50 30.44 5.93 1000000 0 888.60/888.85 c 77 156 184.72 34.19 5.40 1000000 0 889.59/889.82 c 76 189 184.78 33.06 5.59 1000000 0 890.49/890.78 c 81 125 180.22 34.70 5.19 1000000 0 891.49/891.76 c 79 144 182.74 34.34 5.32 1000000 0 892.49/892.73 c 88 222 186.00 33.11 5.62 1000000 0 893.49/893.70 c 82 183 179.13 31.54 5.68 1000000 0 894.39/894.67 c 76 210 182.01 34.97 5.20 1000000 0 895.39/895.64 c 80 193 179.90 31.01 5.80 1000000 0 896.39/896.61 c 74 178 179.84 34.52 5.21 1000000 0 897.29/897.58 c 80 176 181.22 32.89 5.51 1000000 0 898.29/898.55 c 85 153 183.62 32.23 5.70 1000000 0 899.29/899.52 c 69 228 181.19 37.15 4.88 1000000 0 900.19/900.49 c 76 232 185.17 33.59 5.51 1000000 0 901.19/901.47 c 77 199 181.77 35.03 5.19 1000000 0 902.19/902.44 c 76 204 180.18 33.03 5.45 1000000 0 903.19/903.41 c 72 172 175.42 34.16 5.14 1000000 0 904.09/904.37 c 71 201 179.40 34.00 5.28 1000000 0 905.09/905.35 c 63 174 179.38 34.03 5.27 1000000 0 906.09/906.32 c 84 177 183.57 32.56 5.64 1000000 0 906.98/907.29 c 78 146 180.48 34.05 5.30 1000000 0 907.98/908.26 c 84 208 180.98 31.89 5.67 1000000 0 908.98/909.23 c 82 110 184.80 32.75 5.64 1000000 0 909.88/910.19 c 68 163 180.72 32.59 5.55 1000000 0 910.88/911.16 c 71 238 179.57 33.28 5.40 1000000 0 911.88/912.13 c 71 155 180.41 34.69 5.20 1000000 0 912.88/913.11 c 76 211 179.54 33.92 5.29 1000000 0 913.79/914.08 c 79 123 180.46 33.23 5.43 1000000 0 914.78/915.05 c 70 204 186.10 35.29 5.27 1000000 0 915.78/916.02 c 74 194 177.22 33.80 5.24 1000000 0 916.68/916.99 c 88 148 185.05 33.49 5.53 1000000 0 917.68/917.96 c 84 221 181.23 32.38 5.60 1000000 0 918.68/918.93 c 50 167 181.30 36.77 4.93 1000000 0 919.68/919.90 c 68 182 184.84 35.53 5.20 1000000 0 920.58/920.87 c 66 164 184.11 34.00 5.42 1000000 0 921.59/921.84 c 72 155 180.02 33.69 5.34 1000000 0 922.59/922.81 c 73 117 180.32 34.44 5.24 1000000 0 923.48/923.78 c 85 155 181.04 30.97 5.85 1000000 0 924.48/924.75 c 80 182 180.86 32.74 5.52 1000000 0 925.48/925.72 c 71 174 178.40 32.65 5.46 1000000 0 926.38/926.69 c 73 208 178.18 29.36 6.07 1000000 0 927.38/927.66 c 66 246 179.23 34.22 5.24 1000000 0 928.38/928.63 c 48 194 178.72 34.68 5.15 1000000 0 929.38/929.60 c 72 162 179.16 35.20 5.09 1000000 0 930.29/930.57 c 64 211 178.01 32.99 5.40 1000000 0 931.28/931.54 c 79 178 183.51 34.61 5.30 1000000 0 932.28/932.51 c 61 112 180.52 33.72 5.35 1000000 0 933.18/933.48 c 76 173 183.13 33.34 5.49 1000000 0 934.18/934.45 c 62 161 179.18 35.27 5.08 1000000 0 935.18/935.42 c 69 194 176.87 34.94 5.06 1000000 0 936.18/936.40 c 87 150 183.55 33.57 5.47 1000000 0 937.08/937.36 c 75 147 182.24 33.18 5.49 1000000 0 938.08/938.33 c 77 206 181.28 33.96 5.34 1000000 0 939.08/939.31 c 87 176 184.57 32.51 5.68 1000000 0 939.98/940.27 c 69 191 184.58 34.06 5.42 1000000 0 940.98/941.24 c 87 211 184.79 32.73 5.65 1000000 0 941.98/942.22 c 75 197 183.65 34.39 5.34 1000000 0 942.88/943.19 c 72 127 177.37 33.74 5.26 1000000 0 943.88/944.17 c 86 196 182.71 32.31 5.66 1000000 0 944.88/945.14 c 72 173 182.86 33.36 5.48 1000000 0 945.88/946.11 c 66 207 181.32 36.07 5.03 1000000 0 946.78/947.09 c 78 220 180.03 35.00 5.14 1000000 0 947.77/948.06 c 73 180 182.89 34.76 5.26 1000000 0 948.77/949.03 c 81 167 181.28 32.85 5.52 1000000 0 949.77/950.01 c 76 206 181.39 34.95 5.19 1000000 0 950.67/950.98 c 85 152 184.71 34.06 5.42 1000000 0 951.67/951.95 c 79 207 181.95 31.44 5.79 1000000 0 952.67/952.92 c 83 183 181.25 32.09 5.65 1000000 0 953.57/953.89 c 63 201 186.96 35.26 5.30 1000000 0 954.58/954.86 c 73 156 180.72 35.01 5.16 1000000 0 955.58/955.83 c 60 179 179.70 32.31 5.56 1000000 0 956.57/956.80 c 72 131 181.10 33.62 5.39 1000000 0 957.47/957.77 c 75 171 184.30 36.90 4.99 1000000 0 958.47/958.74 c 75 130 183.04 34.40 5.32 1000000 0 959.47/959.71 c 73 171 181.34 33.48 5.42 1000000 0 960.37/960.68 c 81 171 182.08 36.50 4.99 1000000 0 961.37/961.65 c 74 196 183.61 32.95 5.57 1000000 0 962.37/962.62 c 68 230 179.14 33.02 5.43 1000000 0 963.28/963.59 c 78 170 183.86 35.88 5.12 1000000 0 964.27/964.56 c 79 179 180.00 32.13 5.60 1000000 0 965.27/965.53 c 67 194 178.81 30.30 5.90 1000000 0 966.27/966.50 c 77 174 181.14 33.92 5.34 1000000 0 967.17/967.47 c 65 143 181.31 31.58 5.74 1000000 0 968.17/968.44 c 77 130 177.14 31.47 5.63 1000000 0 969.17/969.41 c 85 163 182.36 32.96 5.53 1000000 0 970.07/970.38 c 63 179 180.57 35.42 5.10 1000000 0 971.08/971.35 c 69 208 180.77 33.16 5.45 1000000 0 972.08/972.32 c 73 195 178.77 33.01 5.42 1000000 0 972.97/973.29 c 86 161 188.48 32.98 5.72 1000000 0 973.97/974.26 c 73 152 182.02 33.59 5.42 1000000 0 974.97/975.23 c 83 149 181.63 32.83 5.53 1000000 0 975.97/976.20 c 70 137 179.01 35.10 5.10 1000000 0 976.87/977.18 c 77 147 182.37 33.16 5.50 1000000 0 977.87/978.14 c 80 150 181.31 31.46 5.76 1000000 0 978.87/979.12 c 58 248 186.26 32.02 5.82 1000000 0 979.77/980.09 c 58 205 178.27 36.61 4.87 1000000 0 980.77/981.06 c 72 167 181.70 36.03 5.04 1000000 0 981.77/982.03 c 85 244 184.35 34.43 5.35 1000000 0 982.77/983.00 c 53 140 180.06 34.48 5.22 1000000 0 983.67/983.97 c 85 156 181.37 34.00 5.33 1000000 0 984.67/984.94 c 62 186 176.41 31.04 5.68 1000000 0 985.67/985.91 c 76 200 181.27 34.39 5.27 1000000 0 986.57/986.88 c 80 150 181.82 35.04 5.19 1000000 0 987.57/987.85 c 74 175 178.19 33.73 5.28 1000000 0 988.57/988.82 c 73 190 181.08 32.53 5.57 1000000 0 989.47/989.79 c 81 168 184.48 35.60 5.18 1000000 0 990.47/990.76 c 91 191 180.87 33.85 5.34 1000000 0 991.47/991.73 c 81 208 183.00 34.59 5.29 1000000 0 992.36/992.69 c 73 185 179.08 31.95 5.61 1000000 0 993.36/993.67 c 79 214 182.84 36.23 5.05 1000000 0 994.36/994.64 c 88 176 183.71 31.93 5.75 1000000 0 995.36/995.61 c 85 208 182.17 33.16 5.49 1000000 0 996.27/996.58 c 86 209 182.99 34.19 5.35 1000000 0 997.26/997.56 c 85 230 182.47 33.67 5.42 1000000 0 998.26/998.53 c 77 180 186.55 33.03 5.65 1000000 0 999.16/999.50 c 72 149 182.64 32.68 5.59 1000000 0 1000.16/1000.47 c 82 185 186.68 36.24 5.15 1000000 0 1001.16/1001.43 c 78 143 180.09 31.91 5.64 1000000 0 1002.16/1002.40 c 81 148 180.35 33.61 5.37 1000000 0 1003.06/1003.37 c 77 150 181.75 37.00 4.91 1000000 0 1004.07/1004.35 c 46 219 178.36 31.77 5.61 1000000 0 1005.07/1005.31 c 75 198 180.85 33.53 5.39 1000000 0 1005.96/1006.28 c 64 161 180.37 35.89 5.03 1000000 0 1006.96/1007.25 c 77 124 182.44 31.57 5.78 1000000 0 1007.96/1008.22 c 68 171 181.47 33.17 5.47 1000000 0 1008.86/1009.19 c 68 197 179.85 32.35 5.56 1000000 0 1009.86/1010.16 c 73 134 176.04 33.43 5.27 1000000 0 1010.86/1011.13 c 88 196 184.59 32.54 5.67 1000000 0 1011.86/1012.10 c 66 209 182.66 33.54 5.45 1000000 0 1012.77/1013.07 c 66 205 179.48 32.49 5.52 1000000 0 1013.76/1014.04 c 80 159 180.05 34.63 5.20 1000000 0 1014.76/1015.01 c 75 194 178.34 32.77 5.44 1000000 0 1015.66/1015.98 c 71 238 176.68 32.76 5.39 1000000 0 1016.66/1016.95 c 66 173 177.16 32.95 5.38 1000000 0 1017.66/1017.92 c 63 150 180.86 34.54 5.24 1000000 0 1018.56/1018.89 c 71 174 181.82 33.22 5.47 1000000 0 1019.56/1019.86 c 77 236 179.29 31.10 5.77 1000000 0 1020.57/1020.83 c 72 161 184.49 36.76 5.02 1000000 0 1021.56/1021.80 c 48 208 180.18 35.13 5.13 1000000 0 1022.46/1022.77 c 82 179 180.63 33.90 5.33 1000000 0 1023.46/1023.74 c 80 150 182.23 34.48 5.28 1000000 0 1024.46/1024.71 c 76 250 175.28 32.16 5.45 1000000 0 1025.36/1025.68 c 70 206 180.64 30.87 5.85 1000000 0 1026.36/1026.65 c 73 262 180.23 33.25 5.42 1000000 0 1027.36/1027.62 c 77 158 177.85 31.31 5.68 1000000 0 1028.26/1028.59 c 45 235 180.85 35.63 5.08 1000000 0 1029.26/1029.56 c 80 233 182.66 33.83 5.40 1000000 0 1030.26/1030.53 c 77 196 181.10 32.27 5.61 1000000 0 1031.26/1031.50 c 74 178 180.73 35.11 5.15 1000000 0 1032.16/1032.47 c 89 185 178.98 32.50 5.51 1000000 0 1033.16/1033.45 c 81 255 178.77 32.43 5.51 1000000 0 1034.16/1034.42 c 82 152 180.33 34.10 5.29 1000000 0 1035.05/1035.39 c 82 152 184.36 31.86 5.79 1000000 0 1036.05/1036.36 c 68 186 178.61 34.70 5.15 1000000 0 1037.06/1037.33 c 76 175 180.06 33.85 5.32 1000000 0 1038.06/1038.30 c 76 165 181.31 32.54 5.57 1000000 0 1038.95/1039.27 c 86 177 182.21 33.20 5.49 1000000 0 1039.95/1040.24 c 55 178 177.36 32.64 5.43 1000000 0 1040.95/1041.21 c 78 260 182.79 32.80 5.57 1000000 0 1041.85/1042.18 c 68 236 181.59 33.82 5.37 1000000 0 1042.85/1043.16 c 78 167 180.76 31.62 5.72 1000000 0 1043.85/1044.13 c 63 166 182.13 34.10 5.34 1000000 0 1044.85/1045.10 c 76 226 184.22 33.49 5.50 1000000 0 1045.76/1046.07 c 76 189 179.28 29.13 6.16 1000000 0 1046.75/1047.04 c 71 179 182.81 33.19 5.51 1000000 0 1047.75/1048.01 c 75 235 180.85 34.70 5.21 1000000 0 1048.65/1048.98 c 85 211 182.33 33.82 5.39 1000000 0 1049.65/1049.95 c 89 154 180.75 33.68 5.37 1000000 0 1050.65/1050.91 c 80 212 184.50 33.76 5.47 1000000 0 1051.55/1051.88 c 76 213 182.79 33.96 5.38 1000000 0 1052.55/1052.85 c 73 187 180.46 34.13 5.29 1000000 0 1053.56/1053.82 c 83 199 179.98 35.18 5.12 1000000 0 1054.45/1054.79 c 81 261 181.97 32.40 5.62 1000000 0 1055.45/1055.76 c 80 98 184.32 36.19 5.09 1000000 0 1056.45/1056.73 c 60 137 181.10 35.59 5.09 1000000 0 1057.45/1057.70 c 82 166 180.51 33.35 5.41 1000000 0 1058.35/1058.67 c 80 206 181.07 33.74 5.37 1000000 0 1059.35/1059.64 c 67 220 180.52 31.45 5.74 1000000 0 1060.35/1060.61 c 83 257 187.01 36.24 5.16 1000000 0 1061.26/1061.58 c 73 203 183.34 33.08 5.54 1000000 0 1062.26/1062.55 c 64 158 180.74 34.84 5.19 1000000 0 1063.25/1063.53 c 62 166 180.29 33.88 5.32 1000000 0 1064.25/1064.50 c 82 230 182.38 33.86 5.39 1000000 0 1065.15/1065.46 c 79 172 178.19 36.45 4.89 1000000 0 1066.15/1066.43 c 72 164 183.01 34.51 5.30 1000000 0 1067.15/1067.40 c 66 182 180.37 36.31 4.97 1000000 0 1068.05/1068.37 c 79 156 183.48 34.90 5.26 1000000 0 1069.05/1069.35 c 48 210 177.74 34.80 5.11 1000000 0 1070.05/1070.32 c 74 174 179.97 36.27 4.96 1000000 0 1070.95/1071.29 c 73 174 182.91 33.89 5.40 1000000 0 1071.95/1072.26 c 82 158 184.67 33.67 5.48 1000000 0 1072.95/1073.23 c 66 198 184.18 35.50 5.19 1000000 0 1073.95/1074.20 c 75 160 178.12 33.79 5.27 1000000 0 1074.85/1075.17 c 74 222 179.93 31.93 5.64 1000000 0 1075.85/1076.15 c 85 172 184.37 32.57 5.66 1000000 0 1076.85/1077.11 c 70 154 181.43 34.54 5.25 1000000 0 1077.75/1078.08 c 82 135 179.39 33.39 5.37 1000000 0 1078.75/1079.05 c 85 201 181.88 32.97 5.52 1000000 0 1079.74/1080.02 c 77 140 181.44 35.82 5.07 1000000 0 1080.64/1081.00 c 87 178 187.55 33.20 5.65 1000000 0 1081.64/1081.97 c 77 174 184.83 32.22 5.74 1000000 0 1082.64/1082.94 c 78 228 181.78 32.57 5.58 1000000 0 1083.64/1083.91 c 75 179 183.50 33.19 5.53 1000000 0 1084.54/1084.88 c 76 171 185.93 31.14 5.97 1000000 0 1085.54/1085.85 c 78 169 183.36 34.59 5.30 1000000 0 1086.55/1086.82 c 85 233 181.95 32.29 5.63 1000000 0 1087.44/1087.79 c 73 238 180.69 33.78 5.35 1000000 0 1088.44/1088.77 c 73 128 179.34 33.99 5.28 1000000 0 1089.44/1089.73 c 73 181 180.91 34.40 5.26 1000000 0 1090.44/1090.70 c 81 196 180.26 32.59 5.53 1000000 0 1091.34/1091.67 c 66 185 178.02 33.02 5.39 1000000 0 1092.34/1092.64 c 77 167 180.53 35.40 5.10 1000000 0 1093.34/1093.61 c 82 162 179.73 35.12 5.12 1000000 0 1094.25/1094.58 c 74 193 182.30 35.71 5.11 1000000 0 1095.25/1095.55 c 64 180 175.34 36.65 4.78 1000000 0 1096.24/1096.53 c 73 170 180.41 33.57 5.37 1000000 0 1097.14/1097.49 c 72 154 182.21 33.51 5.44 1000000 0 1098.14/1098.47 c 64 257 179.13 32.49 5.51 1000000 0 1099.14/1099.43 c 71 202 177.51 33.23 5.34 1000000 0 1100.14/1100.41 c 85 114 181.74 31.63 5.75 1000000 0 1101.04/1101.38 c 73 172 177.27 33.63 5.27 1000000 0 1102.04/1102.35 c 78 148 183.02 32.66 5.60 1000000 0 1103.05/1103.32 c 79 171 179.40 34.88 5.14 1000000 0 1103.94/1104.28 c 58 191 179.57 33.37 5.38 1000000 0 1104.94/1105.25 c 83 175 180.91 33.58 5.39 1000000 0 1105.94/1106.22 c 89 144 182.05 33.18 5.49 1000000 0 1106.84/1107.20 c 89 178 182.35 32.16 5.67 1000000 0 1107.84/1108.17 c 71 190 180.33 33.92 5.32 1000000 0 1108.84/1109.14 c 69 187 181.25 35.13 5.16 1000000 0 1109.84/1110.11 c 61 182 180.40 32.01 5.64 1000000 0 1110.75/1111.08 c 70 194 184.96 35.20 5.25 1000000 0 1111.74/1112.05 c 64 178 178.35 35.23 5.06 1000000 0 1112.74/1113.02 c 72 164 177.56 33.75 5.26 1000000 0 1113.64/1113.99 c 65 237 180.03 36.36 4.95 1000000 0 1114.64/1114.96 c 78 164 186.40 32.78 5.69 1000000 0 1115.64/1115.93 c 76 194 181.92 33.19 5.48 1000000 0 1116.64/1116.90 c 76 149 185.59 31.38 5.91 1000000 0 1117.54/1117.87 c 71 192 181.93 34.19 5.32 1000000 0 1118.54/1118.85 c 85 154 180.14 34.67 5.20 1000000 0 1119.54/1119.82 c 76 202 179.82 34.45 5.22 1000000 0 1120.44/1120.79 c 90 197 182.38 32.87 5.55 1000000 0 1121.43/1121.76 c 71 233 183.47 35.11 5.23 1000000 0 1122.44/1122.73 c 83 187 182.59 34.37 5.31 1000000 0 1123.44/1123.70 c 72 143 177.91 31.41 5.66 1000000 0 1124.34/1124.67 c 78 202 183.29 36.26 5.05 1000000 0 1125.33/1125.64 c 71 198 177.68 31.28 5.68 1000000 0 1126.33/1126.61 c 75 205 183.34 36.25 5.06 1000000 0 1127.24/1127.58 c 78 158 180.90 31.48 5.75 1000000 0 1128.24/1128.55 c 66 232 179.63 33.99 5.29 1000000 0 1129.23/1129.52 c 70 152 180.77 32.76 5.52 1000000 0 1130.13/1130.49 c 68 200 180.41 33.21 5.43 1000000 0 1131.13/1131.46 c 79 175 176.02 31.82 5.53 1000000 0 1132.13/1132.44 c 76 159 175.54 32.29 5.44 1000000 0 1133.13/1133.41 c 65 186 182.23 32.80 5.56 1000000 0 1134.03/1134.38 c 72 252 181.34 32.14 5.64 1000000 0 1135.03/1135.35 c 70 197 183.92 35.26 5.22 1000000 0 1136.04/1136.32 c 70 201 181.06 34.04 5.32 1000000 0 1136.93/1137.29 c 71 193 179.26 34.33 5.22 1000000 0 1137.93/1138.26 c 79 152 184.59 34.44 5.36 1000000 0 1138.93/1139.23 c 74 141 181.31 34.03 5.33 1000000 0 1139.93/1140.20 c 72 182 180.07 33.80 5.33 1000000 0 1140.83/1141.17 c 81 173 182.66 32.68 5.59 1000000 0 1141.83/1142.14 c 75 177 178.74 32.54 5.49 1000000 0 1142.83/1143.11 c 77 195 185.68 34.13 5.44 1000000 0 1143.74/1144.08 c 84 233 183.84 32.98 5.57 1000000 0 1144.74/1145.05 c 80 166 184.70 33.21 5.56 1000000 0 1145.73/1146.02 c 81 190 184.98 35.64 5.19 1000000 0 1146.63/1146.99 c 77 182 182.48 37.72 4.84 1000000 0 1147.63/1147.96 c 69 183 184.57 34.93 5.28 1000000 0 1148.63/1148.94 c 86 194 186.52 36.11 5.17 1000000 0 1149.63/1149.91 c 88 160 184.83 33.20 5.57 1000000 0 1150.53/1150.88 c 77 155 182.83 34.26 5.34 1000000 0 1151.53/1151.85 c 89 184 179.05 31.73 5.64 1000000 0 1152.54/1152.82 c 76 205 180.10 34.30 5.25 1000000 0 1153.43/1153.79 c 76 203 181.48 32.02 5.67 1000000 0 1154.43/1154.76 c 63 199 181.55 34.09 5.33 1000000 0 1155.43/1155.73 c 68 166 182.92 34.42 5.31 1000000 0 1156.43/1156.70 c 85 190 182.18 34.45 5.29 1000000 0 1157.33/1157.67 c 60 151 180.76 32.98 5.48 1000000 0 1158.33/1158.64 c 82 206 185.65 35.55 5.22 1000000 0 1159.33/1159.61 c 79 214 183.20 33.06 5.54 1000000 0 1160.23/1160.57 c 80 175 178.27 33.98 5.25 1000000 0 1161.23/1161.54 c 89 156 183.49 32.55 5.64 1000000 0 1162.23/1162.51 c 65 181 183.04 36.05 5.08 1000000 0 1163.13/1163.49 c 74 168 176.51 32.36 5.45 1000000 0 1164.13/1164.46 c 84 211 177.76 33.07 5.38 1000000 0 1165.13/1165.43 c 71 174 184.78 32.60 5.67 1000000 0 1166.03/1166.39 c 70 192 178.49 31.73 5.62 1000000 0 1167.03/1167.36 c 63 139 178.02 32.80 5.43 1000000 0 1168.03/1168.34 c 61 134 177.75 32.87 5.41 1000000 0 1169.03/1169.31 c 70 188 182.20 34.62 5.26 1000000 0 1169.93/1170.28 c 71 232 185.72 36.47 5.09 1000000 0 1170.92/1171.25 c 54 170 188.41 36.11 5.22 1000000 0 1171.92/1172.22 c 83 124 184.07 31.27 5.89 1000000 0 1172.82/1173.19 c 86 151 181.60 30.62 5.93 1000000 0 1173.82/1174.15 c 74 182 180.23 36.30 4.96 1000000 0 1174.82/1175.12 c 77 148 177.75 33.77 5.26 1000000 0 1175.82/1176.10 c 71 176 186.50 33.84 5.51 1000000 0 1176.73/1177.07 c 73 239 183.17 37.00 4.95 1000000 0 1177.73/1178.04 c 51 194 186.72 34.12 5.47 1000000 0 1178.72/1179.01 c 88 227 183.03 34.69 5.28 1000000 0 1179.62/1179.98 c 65 197 175.77 34.00 5.17 1000000 0 1180.62/1180.95 c 79 196 180.45 31.78 5.68 1000000 0 1181.62/1181.92 c 75 187 186.63 33.57 5.56 1000000 0 1182.52/1182.89 c 64 183 179.85 33.00 5.45 1000000 0 1183.52/1183.86 c 77 167 179.92 32.10 5.60 1000000 0 1184.52/1184.84 c 77 248 178.50 31.91 5.59 1000000 0 1185.53/1185.81 c 85 181 184.90 35.16 5.26 1000000 0 1186.42/1186.79 c 85 175 182.10 32.07 5.68 1000000 0 1187.42/1187.75 c 54 226 182.73 31.68 5.77 1000000 0 1188.42/1188.72 c 81 166 185.05 35.00 5.29 1000000 0 1189.42/1189.70 c 69 181 185.52 35.49 5.23 1000000 0 1190.32/1190.66 c 72 175 180.81 33.40 5.41 1000000 0 1191.32/1191.63 c 77 154 182.85 35.22 5.19 1000000 0 1192.32/1192.60 c 82 125 182.82 32.43 5.64 1000000 0 1193.23/1193.57 c 84 169 184.41 31.55 5.85 1000000 0 1194.23/1194.55 c 61 148 183.55 33.10 5.55 1000000 0 1195.22/1195.52 c 64 180 180.20 33.80 5.33 1000000 0 1196.12/1196.49 c 69 227 177.73 35.20 5.05 1000000 0 1197.12/1197.46 c 77 135 175.04 33.61 5.21 1000000 0 1198.12/1198.43 c 95 152 180.13 31.53 5.71 1000000 0 1199.12/1199.40 c 81 192 179.31 32.11 5.58 1000000 0 1200.02/1200.37 c 72 182 181.24 35.21 5.15 1000000 0 1201.02/1201.34 c 84 159 182.68 34.18 5.34 1000000 0 1202.03/1202.32 c 76 202 186.89 33.62 5.56 1000000 0 1202.92/1203.29 c 85 188 177.23 33.44 5.30 1000000 0 1203.92/1204.26 c 48 184 182.27 36.05 5.06 1000000 0 1204.92/1205.23 c 81 89 179.93 31.18 5.77 1000000 0 1205.92/1206.20 c 60 124 183.39 36.61 5.01 1000000 0 1206.82/1207.17 c 76 161 180.76 31.64 5.71 1000000 0 1207.82/1208.14 c 57 189 180.90 33.91 5.33 1000000 0 1208.82/1209.11 c 66 166 179.19 36.65 4.89 1000000 0 1209.72/1210.08 c 85 153 179.24 31.25 5.74 1000000 0 1210.72/1211.05 c 60 132 184.45 33.12 5.57 1000000 0 1211.72/1212.02 c 60 195 181.34 35.87 5.06 1000000 0 1212.62/1212.99 c 86 168 178.38 29.79 5.99 1000000 0 1213.62/1213.96 c 75 181 177.95 31.74 5.61 1000000 0 1214.61/1214.93 c 51 179 182.00 34.60 5.26 1000000 0 1215.61/1215.90 c 72 192 179.47 32.69 5.49 1000000 0 1216.51/1216.87 c 78 141 177.23 34.07 5.20 1000000 0 1217.51/1217.84 c 74 158 182.92 34.34 5.33 1000000 0 1218.52/1218.81 c 74 262 180.87 33.99 5.32 1000000 0 1219.41/1219.78 c 69 152 183.53 34.78 5.28 1000000 0 1220.41/1220.76 c 85 160 186.93 33.11 5.65 1000000 0 1221.41/1221.73 c 76 187 185.50 32.95 5.63 1000000 0 1222.41/1222.70 c 69 211 181.36 34.02 5.33 1000000 0 1223.31/1223.67 c 78 231 179.00 32.46 5.51 1000000 0 1224.31/1224.64 c 76 170 179.39 34.95 5.13 1000000 0 1225.31/1225.61 c 76 175 180.53 34.12 5.29 1000000 0 1226.22/1226.58 c 60 167 181.56 36.39 4.99 1000000 0 1227.22/1227.55 c 71 234 180.97 34.16 5.30 1000000 0 1228.21/1228.52 c 71 191 182.25 33.08 5.51 1000000 0 1229.11/1229.49 c 68 204 177.07 36.26 4.88 1000000 0 1230.11/1230.47 c 66 159 174.96 31.20 5.61 1000000 0 1231.11/1231.44 c 87 173 186.07 33.00 5.64 1000000 0 1232.11/1232.41 c 67 182 185.31 36.34 5.10 1000000 0 1233.01/1233.38 c 80 252 184.59 35.08 5.26 1000000 0 1234.01/1234.36 c 81 162 180.10 34.14 5.28 1000000 0 1235.02/1235.33 c 78 155 181.01 33.56 5.39 1000000 0 1236.02/1236.30 c 82 170 183.01 32.44 5.64 1000000 0 1236.91/1237.27 c 49 195 178.43 33.88 5.27 1000000 0 1237.91/1238.24 c 90 187 187.96 33.27 5.65 1000000 0 1238.91/1239.22 c 68 190 179.29 33.28 5.39 1000000 0 1239.81/1240.19 c 79 209 187.74 34.56 5.43 1000000 0 1240.81/1241.16 c 83 145 182.21 32.12 5.67 1000000 0 1241.81/1242.13 c 70 180 180.00 32.01 5.62 1000000 0 1242.81/1243.10 c 85 159 183.49 32.45 5.66 1000000 0 1243.72/1244.07 c 77 193 181.13 33.63 5.39 1000000 0 1244.71/1245.04 c 88 145 182.03 31.25 5.82 1000000 0 1245.71/1246.02 c 74 239 179.81 33.25 5.41 1000000 0 1246.61/1246.99 c 81 162 185.22 34.65 5.35 1000000 0 1247.61/1247.96 c 74 177 183.22 34.76 5.27 1000000 0 1248.61/1248.92 c 73 184 183.38 32.38 5.66 1000000 0 1249.51/1249.89 c 80 168 185.51 33.53 5.53 1000000 0 1250.51/1250.86 c 68 184 179.85 36.55 4.92 1000000 0 1251.51/1251.83 c 78 191 177.84 34.12 5.21 1000000 0 1252.51/1252.80 c 61 159 179.32 31.96 5.61 1000000 0 1253.41/1253.77 c 90 128 184.70 33.94 5.44 1000000 0 1254.41/1254.74 c 84 274 181.23 33.73 5.37 1000000 0 1255.41/1255.72 c 75 157 178.37 32.35 5.51 1000000 0 1256.31/1256.68 c 78 221 180.47 32.97 5.47 1000000 0 1257.31/1257.66 c 64 211 183.71 32.62 5.63 1000000 0 1258.31/1258.63 c 79 210 183.96 35.40 5.20 1000000 0 1259.31/1259.60 c 72 201 176.73 30.02 5.89 1000000 0 1260.21/1260.57 c 70 220 179.97 33.65 5.35 1000000 0 1261.21/1261.54 c 78 171 180.00 32.83 5.48 1000000 0 1262.21/1262.51 c 84 186 184.94 34.87 5.30 1000000 0 1263.10/1263.48 c 71 200 180.17 33.81 5.33 1000000 0 1264.10/1264.45 c 71 186 180.61 33.52 5.39 1000000 0 1265.10/1265.42 c 76 211 185.73 34.99 5.31 1000000 0 1266.00/1266.39 c 76 163 179.86 34.78 5.17 1000000 0 1267.00/1267.36 c 96 171 181.20 28.92 6.26 1000000 0 1268.01/1268.33 c 76 164 178.99 32.67 5.48 1000000 0 1269.01/1269.30 c 76 164 180.97 34.21 5.29 1000000 0 1269.90/1270.27 c 87 146 179.25 32.21 5.56 1000000 0 1270.90/1271.24 c 84 192 182.89 33.38 5.48 1000000 0 1271.90/1272.21 c 68 147 178.86 33.35 5.36 1000000 0 1272.80/1273.18 c 68 166 182.11 34.52 5.28 1000000 0 1273.80/1274.15 c 67 133 176.97 33.40 5.30 1000000 0 1274.80/1275.12 c 73 170 183.20 34.47 5.31 1000000 0 1275.71/1276.09 c 54 182 178.73 34.32 5.21 1000000 0 1276.71/1277.06 c 71 213 178.52 33.21 5.37 1000000 0 1277.70/1278.04 c 70 277 183.78 34.46 5.33 1000000 0 1278.70/1279.01 c 79 220 182.43 33.61 5.43 1000000 0 1279.60/1279.97 c 66 181 187.43 37.43 5.01 1000000 0 1280.60/1280.94 c 72 184 181.51 32.24 5.63 1000000 0 1281.60/1281.91 c 82 183 178.47 33.59 5.31 1000000 0 1282.50/1282.89 c 64 165 181.20 35.73 5.07 1000000 0 1283.50/1283.86 c 67 163 179.87 32.50 5.53 1000000 0 1284.51/1284.82 c 76 209 182.25 31.25 5.83 1000000 0 1285.40/1285.79 c 80 210 182.38 30.92 5.90 1000000 0 1286.40/1286.76 c 80 166 185.02 35.73 5.18 1000000 0 1287.40/1287.73 c 73 199 181.46 34.78 5.22 1000000 0 1288.40/1288.70 c 77 218 182.30 35.88 5.08 1000000 0 1289.30/1289.67 c 63 213 185.10 32.88 5.63 1000000 0 1290.30/1290.64 c 62 184 181.36 34.18 5.31 1000000 0 1291.30/1291.61 c 81 188 177.89 32.43 5.49 1000000 0 1292.21/1292.58 c 81 213 179.84 32.79 5.48 1000000 0 1293.20/1293.55 c 90 144 187.18 35.92 5.21 1000000 0 1294.20/1294.52 c 79 187 185.80 34.86 5.33 1000000 0 1295.10/1295.49 c 84 128 180.18 31.75 5.68 1000000 0 1296.10/1296.46 c 92 241 180.78 30.43 5.94 1000000 0 1297.10/1297.43 c 81 163 177.64 31.21 5.69 1000000 0 1298.10/1298.41 c 58 197 181.59 36.84 4.93 1000000 0 1299.00/1299.38 c 79 159 181.33 35.32 5.13 1000000 0 1300.00/1300.35 c 82 248 185.94 34.81 5.34 1000000 0 1301.00/1301.32 c 66 186 185.01 33.84 5.47 1000000 0 1301.90/1302.29 c 77 162 178.85 33.32 5.37 1000000 0 1302.90/1303.26 c 73 219 177.76 33.16 5.36 1000000 0 1303.90/1304.23 c 86 194 179.65 31.28 5.74 1000000 0 1304.90/1305.20 c 75 193 186.43 35.93 5.19 1000000 0 1305.80/1306.17 c 69 145 178.72 34.77 5.14 1000000 0 1306.80/1307.14 c 54 167 179.68 32.86 5.47 1000000 0 1307.80/1308.11 c 63 198 178.07 33.51 5.31 1000000 0 1308.70/1309.08 c 78 211 183.19 33.57 5.46 1000000 0 1309.70/1310.05 c 73 204 182.57 33.79 5.40 1000000 0 1310.69/1311.02 c 39 198 173.86 35.69 4.87 1000000 0 1311.59/1311.99 c 66 197 179.08 33.75 5.31 1000000 0 1312.59/1312.96 c 80 157 184.28 37.03 4.98 1000000 0 1313.59/1313.93 c 67 174 181.40 34.81 5.21 1000000 0 1314.59/1314.90 c 73 213 179.98 34.81 5.17 1000000 0 1315.49/1315.87 c 70 219 180.89 32.33 5.59 1000000 0 1316.49/1316.84 c 64 227 177.67 35.16 5.05 1000000 0 1317.50/1317.81 c 80 154 183.55 33.62 5.46 1000000 0 1318.39/1318.79 c 67 233 184.91 34.13 5.42 1000000 0 1319.39/1319.75 c 48 161 177.99 36.57 4.87 1000000 0 1320.39/1320.72 c 57 192 180.10 37.08 4.86 1000000 0 1321.29/1321.69 c 87 177 182.31 32.37 5.63 1000000 0 1322.29/1322.66 c 65 166 176.96 33.95 5.21 1000000 0 1323.29/1323.63 c 81 211 179.83 31.71 5.67 1000000 0 1324.29/1324.60 c 71 210 180.85 34.45 5.25 1000000 0 1325.20/1325.57 c 82 164 183.69 33.28 5.52 1000000 0 1326.20/1326.54 c 76 173 186.47 34.18 5.46 1000000 0 1327.19/1327.51 c 80 209 181.88 35.43 5.13 1000000 0 1328.09/1328.48 c 72 213 179.84 33.87 5.31 1000000 0 1329.09/1329.45 c 60 171 178.04 33.69 5.28 1000000 0 1330.09/1330.42 c 52 183 183.20 34.01 5.39 1000000 0 1330.99/1331.39 c 78 199 181.48 33.33 5.45 1000000 0 1331.99/1332.36 c 60 195 178.48 34.75 5.14 1000000 0 1332.99/1333.33 c 89 198 179.92 31.39 5.73 1000000 0 1333.90/1334.30 c 69 143 180.10 33.30 5.41 1000000 0 1334.89/1335.27 c 83 191 181.87 31.73 5.73 1000000 0 1335.89/1336.24 c 75 143 184.65 34.45 5.36 1000000 0 1336.89/1337.21 c 72 154 182.25 34.41 5.30 1000000 0 1337.79/1338.18 c 78 157 178.41 32.03 5.57 1000000 0 1338.79/1339.15 c 64 111 180.84 36.20 5.00 1000000 0 1339.79/1340.12 c 66 223 180.80 35.24 5.13 1000000 0 1340.69/1341.09 c 65 181 180.37 36.35 4.96 1000000 0 1341.70/1342.07 c 82 176 179.72 31.19 5.76 1000000 0 1342.69/1343.04 c 58 167 183.18 34.96 5.24 1000000 0 1343.69/1344.00 c 80 179 182.95 33.05 5.54 1000000 0 1344.59/1344.98 c 83 204 183.42 33.41 5.49 1000000 0 1345.59/1345.95 c 74 193 182.10 35.53 5.13 1000000 0 1346.59/1346.92 c 67 263 185.68 32.26 5.76 1000000 0 1347.49/1347.89 c 81 158 179.49 31.54 5.69 1000000 0 1348.49/1348.86 c 78 146 177.20 34.55 5.13 1000000 0 1349.49/1349.83 c 62 131 180.88 37.77 4.79 1000000 0 1350.39/1350.80 c 83 121 179.19 31.83 5.63 1000000 0 1351.39/1351.77 c 80 137 181.51 32.47 5.59 1000000 0 1352.39/1352.74 c 70 164 182.59 33.06 5.52 1000000 0 1353.39/1353.71 c 64 125 178.47 33.52 5.32 1000000 0 1354.29/1354.68 c 87 161 186.78 32.44 5.76 1000000 0 1355.28/1355.65 c 75 215 184.45 32.19 5.73 1000000 0 1356.28/1356.62 c 73 161 182.20 36.12 5.04 1000000 0 1357.18/1357.60 c 73 151 177.13 33.98 5.21 1000000 0 1358.19/1358.57 c 63 144 177.14 33.69 5.26 1000000 0 1359.19/1359.54 c 71 167 181.26 35.15 5.16 1000000 0 1360.18/1360.51 c 64 221 177.03 34.19 5.18 1000000 0 1361.08/1361.48 c 55 137 176.36 33.32 5.29 1000000 0 1362.08/1362.45 c 76 221 182.64 33.90 5.39 1000000 0 1363.08/1363.42 c 60 168 176.75 35.41 4.99 1000000 0 1363.98/1364.39 c 73 141 174.79 35.45 4.93 1000000 0 1364.98/1365.36 c 78 187 182.20 35.16 5.18 1000000 0 1365.98/1366.33 c 78 226 189.28 36.23 5.22 1000000 0 1366.99/1367.31 c 69 154 183.91 36.47 5.04 1000000 0 1367.88/1368.27 c 88 232 184.44 34.29 5.38 1000000 0 1368.88/1369.24 c 70 190 176.23 34.33 5.13 1000000 0 1369.88/1370.21 c 67 212 179.84 33.70 5.34 1000000 0 1370.78/1371.18 c 77 176 180.92 32.43 5.58 1000000 0 1371.78/1372.15 c 68 219 180.77 35.77 5.05 1000000 0 1372.78/1373.12 c 66 219 183.25 35.37 5.18 1000000 0 1373.68/1374.09 c 85 176 182.65 32.68 5.59 1000000 0 1374.70/1375.06 c 54 187 180.10 34.68 5.19 1000000 0 1375.70/1376.03 c 61 185 182.65 33.82 5.40 1000000 0 1376.69/1377.00 c 80 135 181.06 34.85 5.20 1000000 0 1377.59/1377.97 c 78 125 182.41 31.29 5.83 1000000 0 1378.59/1378.94 c 79 278 181.27 32.31 5.61 1000000 0 1379.59/1379.91 c 61 203 179.92 34.27 5.25 1000000 0 1380.49/1380.88 c 79 183 180.99 34.15 5.30 1000000 0 1381.49/1381.85 c 70 196 182.22 34.96 5.21 1000000 0 1382.49/1382.82 c 67 175 180.34 33.60 5.37 1000000 0 1383.39/1383.79 c 71 133 184.75 33.91 5.45 1000000 0 1384.39/1384.76 c 55 183 177.98 33.42 5.33 1000000 0 1385.39/1385.73 c 81 159 184.44 36.72 5.02 1000000 0 1386.39/1386.70 c 75 159 184.50 31.96 5.77 1000000 0 1387.29/1387.68 c 66 220 183.82 35.01 5.25 1000000 0 1388.29/1388.65 c 85 186 180.28 32.42 5.56 1000000 0 1389.29/1389.62 c 73 193 185.32 37.64 4.92 1000000 0 1390.19/1390.58 c 83 228 181.70 36.41 4.99 1000000 0 1391.19/1391.56 c 75 218 181.94 34.73 5.24 1000000 0 1392.19/1392.52 c 57 176 183.02 34.90 5.24 1000000 0 1393.09/1393.49 c 73 175 180.73 34.24 5.28 1000000 0 1394.09/1394.46 c 78 122 184.89 35.89 5.15 1000000 0 1395.08/1395.43 c 70 175 181.04 33.24 5.45 1000000 0 1396.08/1396.40 c 71 139 179.23 35.25 5.08 1000000 0 1396.98/1397.37 c 73 219 181.36 34.30 5.29 1000000 0 1397.98/1398.34 c 74 190 182.54 37.41 4.88 1000000 0 1398.98/1399.31 c 75 160 182.31 33.07 5.51 1000000 0 1399.89/1400.28 c 74 161 177.13 32.30 5.48 1000000 0 1400.88/1401.26 c 53 180 176.09 37.03 4.76 1000000 0 1401.88/1402.23 c 79 230 186.49 33.33 5.60 1000000 0 1402.88/1403.20 c 61 187 185.56 36.11 5.14 1000000 0 1403.78/1404.17 c 77 140 180.84 33.18 5.45 1000000 0 1404.78/1405.14 c 73 134 184.43 35.45 5.20 1000000 0 1405.78/1406.11 c 74 103 180.56 36.64 4.93 1000000 0 1406.68/1407.08 c 59 165 181.63 35.41 5.13 1000000 0 1407.69/1408.05 c 93 184 184.64 33.06 5.59 1000000 0 1408.69/1409.02 c 80 181 187.98 36.49 5.15 1000000 0 1409.58/1409.99 c 78 134 184.07 34.33 5.36 1000000 0 1410.58/1410.96 c 75 187 184.60 32.93 5.61 1000000 0 1411.58/1411.93 c 68 187 181.53 32.24 5.63 1000000 0 1412.58/1412.90 c 73 175 183.63 33.73 5.44 1000000 0 1413.48/1413.87 c 87 125 184.79 37.45 4.93 1000000 0 1414.48/1414.84 c 73 153 187.97 36.14 5.20 1000000 0 1415.48/1415.81 c 71 187 177.04 35.56 4.98 1000000 0 1416.39/1416.78 c 63 155 182.20 37.45 4.86 1000000 0 1417.38/1417.76 c 85 114 182.24 35.98 5.07 1000000 0 1418.38/1418.73 c 71 194 188.43 35.46 5.31 1000000 0 1419.38/1419.70 c 85 179 187.13 33.99 5.51 1000000 0 1420.28/1420.67 c 78 187 180.76 33.36 5.42 1000000 0 1421.28/1421.64 c 74 167 187.55 33.96 5.52 1000000 0 1422.28/1422.61 c 66 141 174.00 34.15 5.09 1000000 0 1423.18/1423.58 c 74 189 181.02 32.07 5.64 1000000 0 1424.19/1424.55 c 59 202 181.81 38.19 4.76 1000000 0 1425.18/1425.52 c 83 190 181.14 32.70 5.54 1000000 0 1426.08/1426.49 c 88 241 187.84 32.94 5.70 1000000 0 1427.08/1427.47 c 67 172 179.86 32.56 5.52 1000000 0 1428.08/1428.43 c 71 165 179.77 34.21 5.25 1000000 0 1429.08/1429.41 c 79 180 179.72 33.58 5.35 1000000 0 1429.98/1430.38 c 82 116 176.24 32.77 5.38 1000000 0 1430.98/1431.35 c 73 157 182.44 31.92 5.72 1000000 0 1431.98/1432.32 c 68 151 179.61 33.21 5.41 1000000 0 1432.88/1433.29 c 66 157 176.20 32.02 5.50 1000000 0 1433.88/1434.26 c 77 249 180.44 32.97 5.47 1000000 0 1434.87/1435.23 c 74 193 180.86 33.63 5.38 1000000 0 1435.87/1436.20 c 79 166 180.90 33.10 5.46 1000000 0 1436.77/1437.17 c 79 154 178.80 32.08 5.57 1000000 0 1437.77/1438.14 c 70 151 177.63 32.90 5.40 1000000 0 1438.77/1439.11 c 81 177 186.00 33.42 5.57 1000000 0 1439.67/1440.08 c 81 206 188.03 36.04 5.22 1000000 0 1440.68/1441.05 c 75 145 174.74 31.19 5.60 1000000 0 1441.68/1442.03 c 84 266 184.42 33.91 5.44 1000000 0 1442.67/1443.00 c 68 160 174.69 34.58 5.05 1000000 0 1443.57/1443.97 c 76 183 181.44 35.35 5.13 1000000 0 1444.57/1444.94 c 50 188 182.61 31.92 5.72 1000000 0 1445.57/1445.91 c 76 156 179.65 33.39 5.38 1000000 0 1446.47/1446.88 c 82 115 184.29 33.17 5.56 1000000 0 1447.47/1447.84 c 59 175 176.82 33.52 5.27 1000000 0 1448.47/1448.81 c 75 193 181.98 32.75 5.56 1000000 0 1449.38/1449.79 c 90 188 184.88 32.94 5.61 1000000 0 1450.37/1450.76 c 80 184 180.08 34.74 5.18 1000000 0 1451.37/1451.73 c 76 202 184.74 34.74 5.32 1000000 0 1452.37/1452.70 c 79 238 176.32 31.63 5.57 1000000 0 1453.27/1453.67 c 77 261 174.79 33.19 5.27 1000000 0 1454.27/1454.64 c 81 150 181.31 32.62 5.56 1000000 0 1455.27/1455.60 c 60 146 180.60 32.85 5.50 1000000 0 1456.17/1456.57 c 74 188 182.00 36.41 5.00 1000000 0 1457.18/1457.54 c 88 213 185.24 31.91 5.81 1000000 0 1458.18/1458.51 c 79 185 179.49 33.94 5.29 1000000 0 1459.07/1459.48 c 64 222 184.10 37.50 4.91 1000000 0 1460.07/1460.46 c 79 144 181.31 32.64 5.56 1000000 0 1461.07/1461.42 c 67 216 182.74 34.85 5.24 1000000 0 1461.97/1462.39 c 78 213 184.17 34.18 5.39 1000000 0 1462.97/1463.37 c 71 139 181.74 33.45 5.43 1000000 0 1463.97/1464.34 c 64 154 179.63 32.16 5.59 1000000 0 1464.97/1465.31 c 68 147 176.97 32.91 5.38 1000000 0 1465.88/1466.28 c 76 212 183.33 32.69 5.61 1000000 0 1466.87/1467.25 c 75 169 180.56 32.74 5.52 1000000 0 1467.87/1468.22 c 79 209 183.61 33.67 5.45 1000000 0 1468.77/1469.19 c 82 170 176.21 33.69 5.23 1000000 0 1469.77/1470.16 c 67 196 179.99 33.46 5.38 1000000 0 1470.77/1471.13 c 78 212 184.07 35.94 5.12 1000000 0 1471.77/1472.10 c 39 197 177.53 32.74 5.42 1000000 0 1472.67/1473.07 c 87 208 182.66 32.71 5.58 1000000 0 1473.67/1474.05 c 66 187 183.23 35.76 5.12 1000000 0 1474.67/1475.02 c 66 192 182.58 33.96 5.38 1000000 0 1475.57/1475.99 c 73 204 178.51 34.10 5.23 1000000 0 1476.57/1476.96 c 84 179 180.03 32.80 5.49 1000000 0 1477.57/1477.93 c 68 184 183.82 33.70 5.45 1000000 0 1478.57/1478.90 c 76 162 180.16 34.20 5.27 1000000 0 1479.47/1479.87 c 60 202 178.59 31.94 5.59 1000000 0 1480.46/1480.85 c 60 179 182.60 32.25 5.66 1000000 0 1481.46/1481.82 c 76 172 185.14 36.48 5.08 1000000 0 1482.37/1482.79 c 85 188 181.99 34.29 5.31 1000000 0 1483.36/1483.76 c 73 186 180.86 33.63 5.38 1000000 0 1484.36/1484.73 c 60 189 178.81 33.04 5.41 1000000 0 1485.36/1485.70 c 82 239 186.24 33.37 5.58 1000000 0 1486.26/1486.67 c 64 202 184.45 34.27 5.38 1000000 0 1487.26/1487.64 c 75 137 181.73 32.29 5.63 1000000 0 1488.26/1488.61 c 75 174 181.25 33.35 5.43 1000000 0 1489.16/1489.58 c 69 143 182.38 33.88 5.38 1000000 0 1490.17/1490.55 c 72 182 181.52 34.22 5.31 1000000 0 1491.17/1491.52 c 75 219 180.68 34.04 5.31 1000000 0 1492.06/1492.49 c 78 204 181.57 34.89 5.20 1000000 0 1493.06/1493.46 c 81 199 182.78 32.49 5.63 1000000 0 1494.06/1494.44 c 73 182 184.94 34.28 5.39 1000000 0 1495.06/1495.41 c 84 137 180.15 32.70 5.51 1000000 0 1495.96/1496.38 c 56 193 178.62 32.98 5.42 1000000 0 1496.96/1497.35 c 79 157 176.88 33.32 5.31 1000000 0 1497.96/1498.32 c 66 229 181.06 34.67 5.22 1000000 0 1498.87/1499.29 c 71 212 174.83 35.54 4.92 1000000 0 1499.86/1500.26 c 79 154 181.92 35.41 5.14 1000000 0 1500.86/1501.23 c 66 197 180.58 33.46 5.40 1000000 0 1501.86/1502.20 c 73 169 179.04 34.03 5.26 1000000 0 1502.76/1503.17 c 83 131 183.63 34.55 5.31 1000000 0 1503.76/1504.14 c 80 188 186.23 34.31 5.43 1000000 0 1504.76/1505.11 c 67 183 179.21 33.79 5.30 1000000 0 1505.66/1506.08 c 81 184 181.41 35.14 5.16 1000000 0 1506.67/1507.05 c 74 127 179.07 36.46 4.91 1000000 0 1507.67/1508.02 c 84 197 181.06 33.77 5.36 1000000 0 1508.56/1508.99 c 74 188 182.23 35.48 5.14 1000000 0 1509.56/1509.96 c 71 240 187.58 34.55 5.43 1000000 0 1510.56/1510.93 c 81 171 180.91 33.85 5.34 1000000 0 1511.56/1511.90 c 87 159 184.76 34.09 5.42 1000000 0 1512.46/1512.87 c 71 169 180.16 33.66 5.35 1000000 0 1513.46/1513.84 c 77 242 179.03 33.79 5.30 1000000 0 1514.46/1514.81 c 70 188 185.14 35.57 5.20 1000000 0 1515.36/1515.78 c 76 157 182.97 34.49 5.30 1000000 0 1516.36/1516.75 c 83 146 182.20 32.81 5.55 1000000 0 1517.36/1517.72 c 74 206 177.92 34.40 5.17 1000000 0 1518.26/1518.70 c 55 263 181.11 32.51 5.57 1000000 0 1519.26/1519.67 c 81 182 179.64 34.85 5.15 1000000 0 1520.26/1520.64 c 55 174 182.03 34.34 5.30 1000000 0 1521.26/1521.61 c 81 184 186.97 33.44 5.59 1000000 0 1522.16/1522.58 c 65 185 180.92 32.69 5.54 1000000 0 1523.16/1523.56 c 82 191 181.96 33.21 5.48 1000000 0 1524.16/1524.53 c 61 139 183.17 35.55 5.15 1000000 0 1525.06/1525.50 c 69 170 176.04 33.99 5.18 1000000 0 1526.06/1526.47 c 87 167 177.23 32.37 5.47 1000000 0 1527.05/1527.44 c 83 205 184.57 32.76 5.63 1000000 0 1528.05/1528.41 c 77 158 186.64 33.94 5.50 1000000 0 1528.95/1529.38 c 86 224 182.96 36.82 4.97 1000000 0 1529.95/1530.35 c 81 194 177.48 30.01 5.91 1000000 0 1530.95/1531.32 c 75 139 184.02 34.07 5.40 1000000 0 1531.86/1532.29 c 73 157 177.70 35.62 4.99 1000000 0 1532.85/1533.26 c 90 212 183.96 31.29 5.88 1000000 0 1533.85/1534.23 c 75 148 179.19 32.81 5.46 1000000 0 1534.85/1535.20 c 74 178 179.09 36.23 4.94 1000000 0 1535.75/1536.17 c 78 177 186.09 34.28 5.43 1000000 0 1536.75/1537.14 c 77 181 184.26 33.21 5.55 1000000 0 1537.75/1538.12 c 81 136 180.98 36.10 5.01 1000000 0 1538.65/1539.08 c 74 239 178.26 32.73 5.45 1000000 0 1539.66/1540.06 c 72 217 188.74 32.99 5.72 1000000 0 1540.66/1541.02 c 82 182 181.27 31.54 5.75 1000000 0 1541.55/1541.99 c 88 193 184.03 34.01 5.41 1000000 0 1542.55/1542.96 c 86 224 183.49 32.40 5.66 1000000 0 1543.55/1543.93 c 76 162 182.02 31.96 5.69 1000000 0 1544.55/1544.90 c 80 202 186.36 34.81 5.35 1000000 0 1545.45/1545.87 c 81 218 181.38 34.06 5.32 1000000 0 1546.45/1546.84 c 72 173 180.15 33.52 5.37 1000000 0 1547.45/1547.81 c 80 185 187.07 33.35 5.61 1000000 0 1548.36/1548.79 c 56 279 176.20 33.81 5.21 1000000 0 1549.35/1549.76 c 82 193 184.33 34.21 5.39 1000000 0 1550.35/1550.73 c 70 201 182.59 34.56 5.28 1000000 0 1551.35/1551.70 c 58 109 178.07 33.47 5.32 1000000 0 1552.25/1552.67 c 79 189 182.38 33.35 5.47 1000000 0 1553.25/1553.64 c 78 175 181.35 33.74 5.38 1000000 0 1554.25/1554.61 c 75 154 185.39 35.75 5.19 1000000 0 1555.15/1555.58 c 64 196 180.81 31.64 5.71 1000000 0 1556.16/1556.55 c 77 206 178.88 32.26 5.54 1000000 0 1557.15/1557.52 c 84 199 181.53 33.70 5.39 1000000 0 1558.05/1558.49 c 81 179 181.88 31.39 5.79 1000000 0 1559.05/1559.46 c 75 155 180.52 33.79 5.34 1000000 0 1560.05/1560.43 c 71 195 182.23 34.54 5.28 1000000 0 1561.05/1561.40 c 70 180 180.79 31.94 5.66 1000000 0 1561.95/1562.37 c 74 175 176.04 32.60 5.40 1000000 0 1562.95/1563.34 c 81 141 174.55 32.10 5.44 1000000 0 1563.95/1564.31 c 73 188 184.09 36.02 5.11 1000000 0 1564.85/1565.28 c 77 158 182.17 36.04 5.06 1000000 0 1565.85/1566.25 c 78 193 187.10 33.78 5.54 1000000 0 1566.85/1567.22 c 72 174 178.95 31.58 5.67 1000000 0 1567.75/1568.19 c 76 148 185.78 34.41 5.40 1000000 0 1568.75/1569.16 c 83 209 179.30 34.28 5.23 1000000 0 1569.75/1570.13 c 52 194 182.03 32.72 5.56 1000000 0 1570.75/1571.10 c 73 173 183.75 35.03 5.25 1000000 0 1571.65/1572.07 c 87 199 185.92 33.93 5.48 1000000 0 1572.65/1573.04 c 53 184 178.20 35.29 5.05 1000000 0 1573.65/1574.01 c 76 166 182.13 33.34 5.46 1000000 0 1574.54/1574.98 c 69 166 178.82 33.55 5.33 1000000 0 1575.54/1575.95 c 72 217 187.51 31.85 5.89 1000000 0 1576.54/1576.92 c 70 208 175.66 35.86 4.90 1000000 0 1577.44/1577.89 c 61 129 181.84 32.39 5.61 1000000 0 1578.44/1578.86 c 78 236 180.06 33.34 5.40 1000000 0 1579.44/1579.83 c 85 175 182.16 33.66 5.41 1000000 0 1580.44/1580.80 c 87 147 182.24 34.06 5.35 1000000 0 1581.35/1581.77 c 73 206 185.73 37.85 4.91 1000000 0 1582.34/1582.74 c 77 182 179.92 33.81 5.32 1000000 0 1583.34/1583.71 c 67 192 177.49 35.06 5.06 1000000 0 1584.24/1584.68 c 77 171 184.28 36.23 5.09 1000000 0 1585.24/1585.65 c 86 181 179.76 30.00 5.99 1000000 0 1586.24/1586.62 c 87 174 180.98 33.32 5.43 1000000 0 1587.14/1587.58 c 89 132 184.43 34.07 5.41 1000000 0 1588.14/1588.55 c 79 145 178.22 32.26 5.53 1000000 0 1589.15/1589.52 c 79 171 176.95 34.62 5.11 1000000 0 1590.04/1590.49 c 73 147 185.46 37.13 5.00 1000000 0 1591.04/1591.47 c 74 224 189.32 34.26 5.53 1000000 0 1592.04/1592.44 c 83 187 179.53 33.26 5.40 1000000 0 1593.04/1593.41 c 83 117 180.09 35.46 5.08 1000000 0 1593.94/1594.38 c 58 256 186.35 34.13 5.46 1000000 0 1594.94/1595.34 c 76 129 182.90 33.92 5.39 1000000 0 1595.94/1596.32 c 71 182 183.14 31.84 5.75 1000000 0 1596.85/1597.29 c 77 139 183.59 33.69 5.45 1000000 0 1597.85/1598.25 c 77 170 183.10 36.33 5.04 1000000 0 1598.84/1599.22 c 77 157 182.90 36.73 4.98 1000000 0 1599.84/1600.20 c 70 258 176.00 35.27 4.99 1000000 0 1600.74/1601.17 c 79 115 180.08 33.15 5.43 1000000 0 1601.74/1602.14 c 66 181 182.21 34.86 5.23 1000000 0 1602.74/1603.11 c 84 185 180.19 34.20 5.27 1000000 0 1603.64/1604.08 c 83 223 181.04 33.16 5.46 1000000 0 1604.64/1605.05 c 75 185 181.39 33.09 5.48 1000000 0 1605.64/1606.02 c 66 172 176.32 33.98 5.19 1000000 0 1606.54/1606.99 c 72 164 178.17 32.88 5.42 1000000 0 1607.54/1607.96 c 72 175 180.63 33.09 5.46 1000000 0 1608.54/1608.93 c 66 180 181.22 35.00 5.18 1000000 0 1609.54/1609.90 c 67 245 179.24 33.91 5.29 1000000 0 1610.44/1610.87 c 76 222 178.57 32.47 5.50 1000000 0 1611.44/1611.84 c 66 172 185.99 34.84 5.34 1000000 0 1612.44/1612.81 c 73 177 180.04 35.32 5.10 1000000 0 1613.34/1613.77 c 63 164 179.10 31.87 5.62 1000000 0 1614.34/1614.74 c 86 235 179.50 32.63 5.50 1000000 0 1615.34/1615.71 c 75 198 186.17 35.63 5.22 1000000 0 1616.24/1616.68 c 79 200 178.65 33.40 5.35 1000000 0 1617.23/1617.65 c 75 125 180.50 35.45 5.09 1000000 0 1618.23/1618.62 c 70 192 176.80 31.99 5.53 1000000 0 1619.13/1619.59 c 68 178 183.25 31.05 5.90 1000000 0 1620.13/1620.56 c 68 190 182.13 34.57 5.27 1000000 0 1621.13/1621.53 c 57 153 182.04 33.88 5.37 1000000 0 1622.04/1622.50 c 87 271 183.58 34.18 5.37 1000000 0 1623.03/1623.47 c 82 193 181.92 32.54 5.59 1000000 0 1624.03/1624.44 c 70 181 184.06 35.64 5.16 1000000 0 1625.03/1625.41 c 65 178 182.38 33.72 5.41 1000000 0 1625.93/1626.38 c 75 180 186.52 32.77 5.69 1000000 0 1626.93/1627.35 c 78 192 182.09 32.90 5.54 1000000 0 1627.93/1628.32 c 71 141 181.34 34.51 5.26 1000000 0 1628.83/1629.29 c 79 214 180.81 33.38 5.42 1000000 0 1629.84/1630.26 c 80 235 184.76 34.52 5.35 1000000 0 1630.84/1631.23 c 75 223 184.63 35.41 5.21 1000000 0 1631.83/1632.21 c 83 143 184.86 34.61 5.34 1000000 0 1632.73/1633.18 c 76 180 180.68 33.08 5.46 1000000 0 1633.73/1634.15 c 82 173 182.18 33.50 5.44 1000000 0 1634.73/1635.12 c 58 203 180.95 33.88 5.34 1000000 0 1635.63/1636.09 c 80 165 182.81 31.55 5.79 1000000 0 1636.63/1637.06 c 73 130 179.96 38.28 4.70 1000000 0 1637.63/1638.03 c 71 123 185.79 35.78 5.19 1000000 0 1638.54/1639.00 c 57 202 183.77 32.21 5.70 1000000 0 1639.53/1639.97 c 84 136 186.09 33.00 5.64 1000000 0 1640.53/1640.94 c 87 170 183.47 30.17 6.08 1000000 0 1641.53/1641.91 c 77 148 181.13 34.38 5.27 1000000 0 1642.43/1642.89 c 72 102 180.58 32.05 5.63 1000000 0 1643.43/1643.86 c 78 137 180.47 31.81 5.67 1000000 0 1644.43/1644.83 c 87 176 185.99 33.12 5.62 1000000 0 1645.33/1645.79 c 80 184 183.45 31.72 5.78 1000000 0 1646.34/1646.77 c 73 178 181.22 33.05 5.48 1000000 0 1647.34/1647.74 c 72 180 181.48 33.88 5.36 1000000 0 1648.33/1648.71 c 70 143 178.25 38.40 4.64 1000000 0 1649.23/1649.68 c 72 219 181.37 35.38 5.13 1000000 0 1650.23/1650.65 c 87 157 185.68 35.04 5.30 1000000 0 1651.23/1651.62 c 77 171 183.18 33.61 5.45 1000000 0 1652.13/1652.59 c 78 206 178.65 36.31 4.92 1000000 0 1653.13/1653.56 c 78 181 184.94 32.42 5.70 1000000 0 1654.13/1654.53 c 75 204 179.86 33.89 5.31 1000000 0 1655.03/1655.50 c 71 168 179.04 37.06 4.83 1000000 0 1656.03/1656.48 c 85 154 181.90 32.93 5.52 1000000 0 1657.03/1657.45 c 63 104 179.78 32.59 5.52 1000000 0 1658.03/1658.42 c 70 190 186.76 35.10 5.32 1000000 0 1658.93/1659.39 c 80 203 183.31 32.70 5.61 1000000 0 1659.93/1660.36 c 91 130 187.76 33.80 5.55 1000000 0 1660.93/1661.33 c 79 187 183.39 34.23 5.36 1000000 0 1661.93/1662.30 c 55 212 180.55 35.56 5.08 1000000 0 1662.83/1663.27 c 81 188 180.77 32.39 5.58 1000000 0 1663.83/1664.24 c 69 217 181.90 35.52 5.12 1000000 0 1664.82/1665.21 c 92 222 190.11 33.60 5.66 1000000 0 1665.72/1666.19 c 80 179 181.20 35.30 5.13 1000000 0 1666.72/1667.16 c 80 169 183.48 34.20 5.36 1000000 0 1667.72/1668.13 c 65 169 183.92 34.10 5.39 1000000 0 1668.72/1669.10 c 67 131 185.99 35.21 5.28 1000000 0 1669.62/1670.07 c 47 144 182.29 36.18 5.04 1000000 0 1670.62/1671.04 c 59 181 179.36 33.01 5.43 1000000 0 1671.63/1672.01 c 79 225 181.41 32.71 5.55 1000000 0 1672.52/1672.98 c 82 200 177.50 31.56 5.63 1000000 0 1673.52/1673.95 c 92 109 187.00 33.46 5.59 1000000 0 1674.52/1674.92 c 64 219 184.58 34.21 5.39 1000000 0 1675.42/1675.89 c 90 144 183.70 33.22 5.53 1000000 0 1676.42/1676.86 c 71 138 183.07 32.96 5.55 1000000 0 1677.42/1677.83 c 87 166 181.33 32.87 5.52 1000000 0 1678.42/1678.80 c 76 200 179.62 33.13 5.42 1000000 0 1679.33/1679.77 c 68 160 179.35 34.91 5.14 1000000 0 1680.33/1680.74 c 77 206 180.57 30.43 5.93 1000000 0 1681.32/1681.71 c 86 186 178.31 33.66 5.30 1000000 0 1682.22/1682.69 c 75 155 181.95 34.68 5.25 1000000 0 1683.22/1683.66 c 75 141 181.85 35.14 5.18 1000000 0 1684.22/1684.63 c 65 223 181.46 32.01 5.67 1000000 0 1685.22/1685.60 c 77 179 187.05 36.97 5.06 1000000 0 1686.12/1686.57 c 64 129 183.38 34.59 5.30 1000000 0 1687.12/1687.54 c 73 165 182.36 32.50 5.61 1000000 0 1688.13/1688.51 c 74 238 180.72 34.23 5.28 1000000 0 1689.02/1689.48 c 76 144 182.78 32.84 5.57 1000000 0 1690.02/1690.45 c 71 160 181.12 34.07 5.32 1000000 0 1691.02/1691.42 c 78 191 179.14 33.71 5.31 1000000 0 1691.92/1692.39 c 86 174 180.40 34.29 5.26 1000000 0 1692.92/1693.35 c 70 211 181.55 33.61 5.40 1000000 0 1693.92/1694.32 c 75 226 181.12 30.35 5.97 1000000 0 1694.82/1695.29 c 73 210 176.28 31.88 5.53 1000000 0 1695.83/1696.26 c 81 183 181.78 32.65 5.57 1000000 0 1696.82/1697.23 c 69 143 184.08 34.78 5.29 1000000 0 1697.82/1698.21 c 71 194 180.31 34.82 5.18 1000000 0 1698.72/1699.18 c 79 181 185.40 35.59 5.21 1000000 0 1699.72/1700.15 c 77 123 184.61 32.61 5.66 1000000 0 1700.72/1701.12 c 73 178 180.29 32.59 5.53 1000000 0 1701.62/1702.09 c 79 154 179.70 32.55 5.52 1000000 0 1702.62/1703.06 c 75 245 181.02 34.86 5.19 1000000 0 1703.62/1704.03 c 66 188 182.50 35.62 5.12 1000000 0 1704.62/1705.01 c 61 187 179.05 34.01 5.27 1000000 0 1705.52/1705.98 c 85 145 182.23 33.22 5.49 1000000 0 1706.52/1706.95 c 65 216 184.09 33.26 5.53 1000000 0 1707.52/1707.92 c 75 182 181.05 33.68 5.38 1000000 0 1708.42/1708.89 c 68 161 180.53 34.11 5.29 1000000 0 1709.42/1709.86 c 80 167 178.50 30.97 5.76 1000000 0 1710.41/1710.83 c 72 242 179.15 35.13 5.10 1000000 0 1711.41/1711.80 c 85 173 179.11 33.20 5.40 1000000 0 1712.32/1712.77 c 62 185 183.29 34.86 5.26 1000000 0 1713.32/1713.74 c 92 164 185.20 34.06 5.44 1000000 0 1714.31/1714.71 c 78 160 182.64 33.62 5.43 1000000 0 1715.21/1715.68 c 72 170 182.88 33.87 5.40 1000000 0 1716.21/1716.66 c 90 211 185.82 33.90 5.48 1000000 0 1717.21/1717.63 c 63 173 181.01 32.72 5.53 1000000 0 1718.21/1718.60 c 64 188 177.65 33.05 5.38 1000000 0 1719.11/1719.57 c 79 199 177.76 33.79 5.26 1000000 0 1720.11/1720.54 c 75 172 186.83 33.86 5.52 1000000 0 1721.12/1721.51 c 84 134 182.67 34.13 5.35 1000000 0 1722.01/1722.48 c 75 169 181.29 36.10 5.02 1000000 0 1723.01/1723.45 c 58 163 178.58 33.70 5.30 1000000 0 1724.01/1724.42 c 73 202 182.21 35.37 5.15 1000000 0 1724.91/1725.39 c 68 245 179.29 34.98 5.13 1000000 0 1725.91/1726.35 c 82 164 180.76 36.68 4.93 1000000 0 1726.91/1727.33 c 73 234 184.10 34.99 5.26 1000000 0 1727.91/1728.30 c 53 205 184.24 33.56 5.49 1000000 0 1728.82/1729.27 c 75 184 178.64 33.15 5.39 1000000 0 1729.82/1730.24 c 73 182 181.41 33.53 5.41 1000000 0 1730.81/1731.21 c 78 213 184.83 32.72 5.65 1000000 0 1731.71/1732.18 c 78 209 176.49 32.91 5.36 1000000 0 1732.71/1733.15 c 86 151 188.26 36.74 5.12 1000000 0 1733.71/1734.12 c 71 155 180.61 32.11 5.63 1000000 0 1734.61/1735.09 c 79 170 183.94 35.12 5.24 1000000 0 1735.61/1736.06 c 84 201 179.34 33.68 5.33 1000000 0 1736.61/1737.04 c 70 159 182.14 32.38 5.63 1000000 0 1737.61/1738.01 c 74 188 183.51 32.55 5.64 1000000 0 1738.51/1738.98 c 53 168 178.46 35.50 5.03 1000000 0 1739.51/1739.95 c 64 189 178.26 33.48 5.32 1000000 0 1740.51/1740.92 c 84 211 182.49 33.15 5.51 1000000 0 1741.41/1741.89 c 70 201 178.15 33.08 5.38 1000000 0 1742.41/1742.86 c 84 244 187.31 33.15 5.65 1000000 0 1743.41/1743.83 c 76 166 182.83 35.22 5.19 1000000 0 1744.41/1744.80 c 83 250 189.03 35.29 5.36 1000000 0 1745.31/1745.77 c 86 235 184.89 33.72 5.48 1000000 0 1746.31/1746.74 c 74 114 178.32 34.97 5.10 1000000 0 1747.31/1747.71 c 85 214 189.68 36.39 5.21 1000000 0 1748.21/1748.68 c 57 214 180.09 34.20 5.26 1000000 0 1749.21/1749.65 c 68 191 174.65 32.57 5.36 1000000 0 1750.20/1750.62 c 85 203 181.02 30.85 5.87 1000000 0 1751.10/1751.59 c 83 139 183.91 34.91 5.27 1000000 0 1752.10/1752.56 c 70 177 180.32 33.98 5.31 1000000 0 1753.10/1753.53 c 85 141 182.52 31.58 5.78 1000000 0 1754.01/1754.50 c 83 155 181.97 33.26 5.47 1000000 0 1755.00/1755.47 c 82 181 182.11 35.66 5.11 1000000 0 1756.00/1756.44 c 59 172 178.06 35.29 5.05 1000000 0 1757.00/1757.41 c 77 222 183.54 34.98 5.25 1000000 0 1757.90/1758.38 c 82 174 181.38 36.23 5.01 1000000 0 1758.90/1759.35 c 89 162 180.92 31.01 5.84 1000000 0 1759.90/1760.32 c 74 132 183.47 33.98 5.40 1000000 0 1760.80/1761.29 c 72 177 181.59 33.21 5.47 1000000 0 1761.81/1762.26 c 69 155 183.17 33.98 5.39 1000000 0 1762.81/1763.23 c 75 206 182.41 34.26 5.32 1000000 0 1763.80/1764.20 c 66 168 182.84 35.71 5.12 1000000 0 1764.70/1765.17 c 77 190 178.57 33.40 5.35 1000000 0 1765.70/1766.15 c 69 138 181.13 34.61 5.23 1000000 0 1766.70/1767.12 c 73 115 180.61 33.16 5.45 1000000 0 1767.60/1768.09 c 76 211 183.06 33.40 5.48 1000000 0 1768.60/1769.06 c 70 202 181.93 37.21 4.89 1000000 0 1769.60/1770.03 c 75 188 179.98 32.04 5.62 1000000 0 1770.51/1771.00 c 67 179 179.11 33.27 5.38 1000000 0 1771.50/1771.97 c 61 178 181.25 36.91 4.91 1000000 0 1772.50/1772.94 c 70 163 178.18 33.85 5.26 1000000 0 1773.50/1773.91 c 65 135 181.85 33.74 5.39 1000000 0 1774.40/1774.88 c 80 230 180.27 33.27 5.42 1000000 0 1775.40/1775.85 c 67 199 181.15 34.17 5.30 1000000 0 1776.40/1776.83 c 69 177 182.17 36.00 5.06 1000000 0 1777.30/1777.80 c 78 163 178.10 31.69 5.62 1000000 0 1778.31/1778.77 c 76 191 182.93 31.51 5.81 1000000 0 1779.31/1779.73 c 84 303 180.74 32.05 5.64 1000000 0 1780.30/1780.70 c 69 155 177.32 31.88 5.56 1000000 0 1781.20/1781.67 c 75 153 187.67 35.01 5.36 1000000 0 1782.20/1782.64 c 75 216 184.37 36.32 5.08 1000000 0 1783.20/1783.61 c 80 233 185.31 36.56 5.07 1000000 0 1784.10/1784.59 c 77 188 184.52 36.11 5.11 1000000 0 1785.10/1785.56 c 71 163 177.82 32.44 5.48 1000000 0 1786.10/1786.53 c 86 149 184.54 32.75 5.63 1000000 0 1787.00/1787.50 c 73 223 180.10 33.58 5.36 1000000 0 1788.00/1788.47 c 72 184 181.50 33.56 5.41 1000000 0 1789.00/1789.44 c 75 199 183.95 30.92 5.95 1000000 0 1790.00/1790.41 c 80 200 185.32 33.88 5.47 1000000 0 1790.90/1791.38 c 74 210 183.58 33.34 5.51 1000000 0 1791.90/1792.35 c 78 161 183.24 34.29 5.34 1000000 0 1792.90/1793.32 c 74 160 178.88 32.27 5.54 1000000 0 1793.80/1794.30 c 69 229 179.80 32.23 5.58 1000000 0 1794.80/1795.26 c 76 219 181.43 34.67 5.23 1000000 0 1795.80/1796.23 c 82 140 184.15 34.74 5.30 1000000 0 1796.79/1797.21 c 80 141 182.11 34.36 5.30 1000000 0 1797.69/1798.18 c 62 203 177.44 34.92 5.08 1000000 0 1798.69/1799.15 c 77 114 181.56 32.65 5.56 1000000 0 1799.69/1800.11 c 70 158 178.91 35.53 5.04 1000000 0 1800.10/1800.50 HOME/run: line 2: 22309 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684566-1278432549/watcher-2684566-1278432549 -o /tmp/evaluation-result-2684566-1278432549/solver-2684566-1278432549 -C 1800 -W 2000 -M 1800 run HOME/instance-2684566-1278432549.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/106 22308 /proc/meminfo: memFree=1491328/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [startup+0.0740869 s] /proc/loadavg: 0.00 0.00 0.00 2/106 22308 /proc/meminfo: memFree=1491328/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101088 s] /proc/loadavg: 0.00 0.00 0.00 2/106 22308 /proc/meminfo: memFree=1491328/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301101 s] /proc/loadavg: 0.00 0.00 0.00 2/106 22308 /proc/meminfo: memFree=1491328/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701126 s] /proc/loadavg: 0.00 0.00 0.00 2/106 22308 /proc/meminfo: memFree=1491328/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50118 s] /proc/loadavg: 0.08 0.02 0.01 2/108 22310 /proc/meminfo: memFree=1487840/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1.49 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 149 0 0 0 22 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10128 s] /proc/loadavg: 0.08 0.02 0.01 2/108 22310 /proc/meminfo: memFree=1487592/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=3.09 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 309 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30149 s] /proc/loadavg: 0.08 0.02 0.01 2/108 22310 /proc/meminfo: memFree=1487468/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=6.29 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 629 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7009 s] /proc/loadavg: 0.22 0.05 0.02 2/108 22310 /proc/meminfo: memFree=1487468/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=12.69 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 1269 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5017 s] /proc/loadavg: 0.34 0.08 0.02 2/108 22311 /proc/meminfo: memFree=1487468/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=25.48 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 2548 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134547396 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1014 s] /proc/loadavg: 0.60 0.17 0.05 2/108 22312 /proc/meminfo: memFree=1487468/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=51.08 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 5108 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.82 0.29 0.10 2/108 22313 /proc/meminfo: memFree=1487220/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=102.27 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 10227 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 0.93 0.42 0.15 2/108 22314 /proc/meminfo: memFree=1487220/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=162.25 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 16225 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.01 0.54 0.21 2/108 22316 /proc/meminfo: memFree=1487096/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=222.24 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 22224 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526733 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 49152 [startup+282.3 s] /proc/loadavg: 1.11 0.65 0.27 2/108 22318 /proc/meminfo: memFree=1487096/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=282.22 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 28222 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.04 0.71 0.31 2/108 22319 /proc/meminfo: memFree=1487096/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=342.21 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 34221 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.01 0.76 0.35 2/108 22321 /proc/meminfo: memFree=1487096/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=402.2 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 40220 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=22309] ppid=22308 vsize=40452 CPUtime=1122.04 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 112204 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/108 22345 /proc/meminfo: memFree=1485732/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1182.02 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 118202 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 22346 /proc/meminfo: memFree=1485608/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1242.01 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 124201 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525629 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/108 22348 /proc/meminfo: memFree=1485360/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1302 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 130200 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 22349 /proc/meminfo: memFree=1485360/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1361.98 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 136198 0 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/108 22351 /proc/meminfo: memFree=1485360/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1421.99 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 142198 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/108 22353 /proc/meminfo: memFree=1485112/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1481.96 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 148195 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525633 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.78 2/108 22354 /proc/meminfo: memFree=1485112/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1541.95 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 154194 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.79 2/108 22356 /proc/meminfo: memFree=1484988/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1601.94 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 160193 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134519762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 22357 /proc/meminfo: memFree=1484864/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1661.93 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 166192 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 22359 /proc/meminfo: memFree=1484864/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1721.91 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 172190 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 22361 /proc/meminfo: memFree=1484616/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1781.9 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 178189 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.82 2/108 22361 /proc/meminfo: memFree=1484616/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1800.1 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 180009 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526677 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.97 0.82 2/108 22361 /proc/meminfo: memFree=1484616/2059040 swapFree=4192956/4192956 [pid=22308] ppid=22306 vsize=8700 CPUtime=0 /proc/22308/stat : 22308 (run) S 22306 22308 22163 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11466361 8908800 243 1992294400 4194304 4922060 140733917883152 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22308/statm: 2175 243 204 178 0 68 0 [pid=22309] ppid=22308 vsize=40452 CPUtime=1800.1 /proc/22309/stat : 22309 (PB-wave) R 22308 22308 22163 0 -1 4202496 927 0 0 0 180009 1 0 0 25 0 1 0 11466361 41422848 857 1992294400 134512640 135071400 4286613760 18446744073709551615 134526677 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22309/statm: 10113 857 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1800.1 CPU system time (s): 0.012998 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.012998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1298 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 5793 runsolver used 2.77858 second user time and 8.80166 second system time The end
Begin job on node030 at 2010-07-06 18:09:09 IDJOB=2684566 IDBENCH=73011 IDSOLVER=1171 FILE ID=node030/2684566-1278432549 PBS_JOBID= 11233448 Free space on /tmp= 62504 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j301_4-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684566-1278432549/watcher-2684566-1278432549 -o /tmp/evaluation-result-2684566-1278432549/solver-2684566-1278432549 -C 1800 -W 2000 -M 1800 run HOME/instance-2684566-1278432549.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b699e923b3d3f7ecfda0dc818d16dffb RANDOM SEED=619270630 node030.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1491848 kB Buffers: 96188 kB Cached: 338544 kB SwapCached: 0 kB Active: 171076 kB Inactive: 323684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1491848 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1296 kB Writeback: 0 kB AnonPages: 60000 kB Mapped: 14428 kB Slab: 50552 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179092 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62504 MiB End job on node030 at 2010-07-06 18:39:10