Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 45 | 1800.13 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb |
MD5SUM | 8c1b16c8c16304b0c31b222fe698dea9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 1801.93 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | NO |
Number of variables | 7936 |
Total number of constraints | 288 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 288 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 480 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1807 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530504 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530504 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.29/0.36 c Converting 320 PB-constraints to clauses... 0.29/0.36 c -- Unit propagations: (none) 0.59/0.63 c -- Detecting intervals from adjacent constraints: ################################ 0.59/0.63 c -- Clauses(.)/Splits(s): (none) 0.59/0.63 c ---[ 318]---> BDD-cost: 447 0.59/0.65 c ---[ 316]---> BDD-cost: 447 0.59/0.67 c ---[ 314]---> BDD-cost: 447 0.59/0.70 c ---[ 312]---> BDD-cost: 678 0.69/0.72 c ---[ 310]---> BDD-cost: 405 0.69/0.74 c ---[ 308]---> BDD-cost: 429 0.69/0.76 c ---[ 306]---> BDD-cost: 678 0.69/0.79 c ---[ 304]---> BDD-cost: 405 0.79/0.81 c ---[ 302]---> BDD-cost: 429 0.79/0.83 c ---[ 300]---> BDD-cost: 405 0.79/0.85 c ---[ 298]---> BDD-cost: 447 0.79/0.87 c ---[ 296]---> BDD-cost: 678 0.89/0.90 c ---[ 294]---> BDD-cost: 429 0.89/0.92 c ---[ 292]---> BDD-cost: 447 0.89/0.95 c ---[ 290]---> BDD-cost: 447 0.89/0.97 c ---[ 288]---> BDD-cost: 447 0.89/0.99 c ---[ 286]---> BDD-cost: 413 0.99/1.01 c ---[ 284]---> BDD-cost: 459 0.99/1.04 c ---[ 282]---> BDD-cost: 381 0.99/1.05 c ---[ 280]---> BDD-cost: 696 0.99/1.08 c ---[ 278]---> BDD-cost: 459 1.09/1.11 c ---[ 276]---> BDD-cost: 381 1.09/1.12 c ---[ 274]---> BDD-cost: 459 1.09/1.15 c ---[ 272]---> BDD-cost: 459 1.09/1.17 c ---[ 270]---> BDD-cost: 381 1.09/1.19 c ---[ 268]---> BDD-cost: 696 1.19/1.22 c ---[ 266]---> BDD-cost: 381 1.19/1.24 c ---[ 264]---> BDD-cost: 459 1.19/1.26 c ---[ 262]---> BDD-cost: 696 1.19/1.29 c ---[ 260]---> BDD-cost: 439 1.29/1.31 c ---[ 258]---> BDD-cost: 439 1.29/1.33 c ---[ 256]---> BDD-cost: 459 1.29/1.36 c ---[ 255]---> Sorter-cost: 177 Base: 2 1.29/1.36 c ---[ 254]---> Sorter-cost: 276 Base: 2 1.29/1.36 c ---[ 253]---> BDD-cost: 12 1.29/1.36 c ---[ 252]---> BDD-cost: 23 1.29/1.36 c ---[ 251]---> Sorter-cost: 185 Base: 2 1.29/1.36 c ---[ 250]---> Sorter-cost: 185 Base: 2 1.29/1.36 c ---[ 249]---> Sorter-cost: 172 Base: 2 1.29/1.36 c ---[ 248]---> Sorter-cost: 185 Base: 2 1.29/1.36 c ---[ 247]---> Sorter-cost: 185 Base: 2 1.29/1.36 c ---[ 246]---> BDD-cost: 23 1.29/1.36 c ---[ 245]---> Sorter-cost: 185 Base: 2 1.29/1.36 c ---[ 244]---> Sorter-cost: 185 Base: 2 1.29/1.36 c ---[ 243]---> BDD-cost: 23 1.29/1.36 c ---[ 242]---> Sorter-cost: 275 Base: 2 1.29/1.36 c ---[ 241]---> Sorter-cost: 185 Base: 2 1.29/1.37 c ---[ 240]---> Sorter-cost: 185 Base: 2 1.29/1.37 c ---[ 239]---> Sorter-cost: 177 Base: 2 1.29/1.37 c ---[ 238]---> Sorter-cost: 262 Base: 3 1.29/1.37 c ---[ 237]---> BDD-cost: 23 1.29/1.37 c ---[ 236]---> Sorter-cost: 262 Base: 3 1.29/1.37 c ---[ 235]---> BDD-cost: 23 1.29/1.37 c ---[ 234]---> Sorter-cost: 262 Base: 3 1.29/1.37 c ---[ 233]---> Sorter-cost: 262 Base: 3 1.29/1.37 c ---[ 232]---> Sorter-cost: 172 Base: 2 1.29/1.37 c ---[ 231]---> Sorter-cost: 261 Base: 3 1.29/1.37 c ---[ 230]---> Sorter-cost: 185 Base: 2 1.29/1.37 c ---[ 229]---> Sorter-cost: 232 Base: 7 1.29/1.37 c ---[ 228]---> BDD-cost: 23 1.29/1.37 c ---[ 227]---> Sorter-cost: 262 Base: 3 1.29/1.37 c ---[ 226]---> Sorter-cost: 262 Base: 3 1.29/1.37 c ---[ 225]---> BDD-cost: 23 1.29/1.38 c ---[ 224]---> Sorter-cost: 262 Base: 3 1.29/1.38 c ---[ 223]---> Sorter-cost: 262 Base: 3 1.29/1.38 c ---[ 222]---> Sorter-cost: 177 Base: 2 1.29/1.38 c ---[ 221]---> Sorter-cost: 232 Base: 7 1.29/1.38 c ---[ 220]---> BDD-cost: 12 1.29/1.38 c ---[ 219]---> BDD-cost: 23 1.29/1.38 c ---[ 218]---> Sorter-cost: 232 Base: 7 1.29/1.38 c ---[ 217]---> BDD-cost: 23 1.29/1.38 c ---[ 216]---> Sorter-cost: 232 Base: 7 1.29/1.38 c ---[ 215]---> Sorter-cost: 232 Base: 7 1.29/1.38 c ---[ 214]---> Sorter-cost: 172 Base: 2 1.29/1.38 c ---[ 213]---> Sorter-cost: 185 Base: 2 1.29/1.38 c ---[ 212]---> Sorter-cost: 232 Base: 7 1.29/1.39 c ---[ 211]---> BDD-cost: 23 1.29/1.39 c ---[ 210]---> Sorter-cost: 232 Base: 7 1.29/1.39 c ---[ 209]---> Sorter-cost: 276 Base: 2 1.29/1.39 c ---[ 208]---> Sorter-cost: 232 Base: 7 1.29/1.39 c ---[ 207]---> BDD-cost: 23 1.29/1.39 c ---[ 206]---> Sorter-cost: 232 Base: 7 1.29/1.39 c ---[ 205]---> Sorter-cost: 232 Base: 7 1.29/1.39 c ---[ 204]---> Sorter-cost: 177 Base: 2 1.29/1.39 c ---[ 203]---> Sorter-cost: 262 Base: 3 1.29/1.39 c ---[ 202]---> BDD-cost: 23 1.29/1.39 c ---[ 201]---> Sorter-cost: 262 Base: 3 1.29/1.39 c ---[ 200]---> BDD-cost: 23 1.29/1.39 c ---[ 199]---> Sorter-cost: 262 Base: 3 1.29/1.39 c ---[ 198]---> Sorter-cost: 261 Base: 3 1.29/1.39 c ---[ 197]---> Sorter-cost: 262 Base: 3 1.29/1.39 c ---[ 196]---> Sorter-cost: 172 Base: 2 1.29/1.40 c ---[ 195]---> Sorter-cost: 185 Base: 2 1.29/1.40 c ---[ 194]---> Sorter-cost: 232 Base: 7 1.39/1.40 c ---[ 193]---> BDD-cost: 23 1.39/1.40 c ---[ 192]---> Sorter-cost: 262 Base: 3 1.39/1.40 c ---[ 191]---> Sorter-cost: 262 Base: 3 1.39/1.40 c ---[ 190]---> BDD-cost: 23 1.39/1.40 c ---[ 189]---> Sorter-cost: 262 Base: 3 1.39/1.40 c ---[ 188]---> Sorter-cost: 262 Base: 3 1.39/1.40 c ---[ 187]---> Sorter-cost: 177 Base: 2 1.39/1.40 c ---[ 186]---> Sorter-cost: 177 Base: 2 1.39/1.40 c ---[ 185]---> Sorter-cost: 264 Base: 2 1.39/1.40 c ---[ 184]---> BDD-cost: 23 1.39/1.40 c ---[ 183]---> Sorter-cost: 264 Base: 2 1.39/1.40 c ---[ 182]---> BDD-cost: 23 1.39/1.40 c ---[ 181]---> Sorter-cost: 264 Base: 2 1.39/1.40 c ---[ 180]---> Sorter-cost: 264 Base: 2 1.39/1.41 c ---[ 179]---> Sorter-cost: 172 Base: 2 1.39/1.41 c ---[ 178]---> Sorter-cost: 185 Base: 2 1.39/1.41 c ---[ 177]---> Sorter-cost: 232 Base: 7 1.39/1.41 c ---[ 176]---> Sorter-cost: 270 Base: 3 1.39/1.41 c ---[ 175]---> BDD-cost: 23 1.39/1.41 c ---[ 174]---> Sorter-cost: 264 Base: 2 1.39/1.41 c ---[ 173]---> Sorter-cost: 262 Base: 3 1.39/1.41 c ---[ 172]---> BDD-cost: 23 1.39/1.41 c ---[ 171]---> Sorter-cost: 264 Base: 2 1.39/1.41 c ---[ 170]---> Sorter-cost: 262 Base: 3 1.39/1.41 c ---[ 169]---> Sorter-cost: 176 Base: 2 1.39/1.41 c ---[ 168]---> Sorter-cost: 270 Base: 3 1.39/1.41 c ---[ 167]---> BDD-cost: 23 1.39/1.41 c ---[ 166]---> Sorter-cost: 210 Base: 2 2 2 1.39/1.42 c ---[ 165]---> BDD-cost: 23 1.39/1.42 c ---[ 164]---> BDD-cost: 23 1.39/1.42 c ---[ 163]---> Sorter-cost: 277 Base: 2 1.39/1.42 c ---[ 162]---> Sorter-cost: 210 Base: 2 2 2 1.39/1.42 c ---[ 161]---> Sorter-cost: 172 Base: 2 1.39/1.42 c ---[ 160]---> Sorter-cost: 185 Base: 2 1.39/1.42 c ---[ 159]---> Sorter-cost: 232 Base: 7 1.39/1.42 c ---[ 158]---> BDD-cost: 23 1.39/1.42 c ---[ 157]---> Sorter-cost: 210 Base: 2 2 2 1.39/1.42 c ---[ 156]---> Sorter-cost: 262 Base: 3 1.39/1.42 c ---[ 155]---> BDD-cost: 23 1.39/1.42 c ---[ 154]---> Sorter-cost: 270 Base: 3 1.39/1.42 c ---[ 153]---> Sorter-cost: 240 Base: 7 1.39/1.42 c ---[ 152]---> Sorter-cost: 262 Base: 3 1.39/1.42 c ---[ 151]---> BDD-cost: 31 1.39/1.42 c ---[ 150]---> BDD-cost: 43 1.39/1.42 c ---[ 149]---> BDD-cost: 23 1.39/1.43 c ---[ 148]---> BDD-cost: 43 1.39/1.43 c ---[ 147]---> BDD-cost: 23 1.39/1.43 c ---[ 146]---> BDD-cost: 43 1.39/1.43 c ---[ 145]---> BDD-cost: 43 1.39/1.43 c ---[ 144]---> BDD-cost: 43 1.39/1.43 c ---[ 143]---> BDD-cost: 12 1.39/1.43 c ---[ 142]---> BDD-cost: 23 1.39/1.43 c ---[ 141]---> BDD-cost: 43 1.39/1.43 c ---[ 140]---> BDD-cost: 43 1.39/1.43 c ---[ 139]---> BDD-cost: 23 1.39/1.43 c ---[ 138]---> BDD-cost: 43 1.39/1.43 c ---[ 137]---> BDD-cost: 43 1.39/1.43 c ---[ 136]---> BDD-cost: 23 1.39/1.43 c ---[ 135]---> BDD-cost: 43 1.39/1.43 c ---[ 134]---> BDD-cost: 43 1.39/1.43 c ---[ 133]---> Sorter-cost: 177 Base: 2 1.39/1.43 c ---[ 132]---> Sorter-cost: 191 Base: 2 1.39/1.43 c ---[ 131]---> Sorter-cost: 277 Base: 2 1.39/1.43 c ---[ 130]---> BDD-cost: 23 1.39/1.43 c ---[ 129]---> Sorter-cost: 191 Base: 2 1.39/1.43 c ---[ 128]---> BDD-cost: 23 1.39/1.43 c ---[ 127]---> Sorter-cost: 191 Base: 2 1.39/1.43 c ---[ 126]---> Sorter-cost: 191 Base: 2 1.39/1.43 c ---[ 125]---> Sorter-cost: 172 Base: 2 1.39/1.43 c ---[ 124]---> Sorter-cost: 185 Base: 2 1.39/1.44 c ---[ 123]---> Sorter-cost: 191 Base: 2 1.39/1.44 c ---[ 122]---> BDD-cost: 23 1.39/1.44 c ---[ 121]---> Sorter-cost: 191 Base: 2 1.39/1.44 c ---[ 120]---> Sorter-cost: 270 Base: 3 1.39/1.44 c ---[ 119]---> Sorter-cost: 191 Base: 2 1.39/1.44 c ---[ 118]---> BDD-cost: 23 1.39/1.44 c ---[ 117]---> Sorter-cost: 191 Base: 2 1.39/1.44 c ---[ 116]---> Sorter-cost: 191 Base: 2 1.39/1.44 c ---[ 115]---> Sorter-cost: 176 Base: 2 1.39/1.44 c ---[ 114]---> Sorter-cost: 270 Base: 3 1.39/1.44 c ---[ 113]---> BDD-cost: 23 1.39/1.44 c ---[ 112]---> Sorter-cost: 210 Base: 2 2 2 1.39/1.44 c ---[ 111]---> BDD-cost: 23 1.39/1.44 c ---[ 110]---> Sorter-cost: 277 Base: 2 1.39/1.44 c ---[ 109]---> Sorter-cost: 172 Base: 2 1.39/1.44 c ---[ 108]---> Sorter-cost: 210 Base: 2 2 2 1.39/1.45 c ---[ 107]---> Sorter-cost: 172 Base: 2 1.39/1.45 c ---[ 106]---> Sorter-cost: 185 Base: 2 1.39/1.45 c ---[ 105]---> Sorter-cost: 232 Base: 7 1.39/1.45 c ---[ 104]---> BDD-cost: 23 1.39/1.45 c ---[ 103]---> Sorter-cost: 210 Base: 2 2 2 1.39/1.45 c ---[ 102]---> Sorter-cost: 262 Base: 3 1.39/1.45 c ---[ 101]---> BDD-cost: 23 1.39/1.45 c ---[ 100]---> Sorter-cost: 240 Base: 7 1.39/1.45 c ---[ 99]---> Sorter-cost: 262 Base: 3 1.39/1.45 c ---[ 98]---> Sorter-cost: 185 Base: 2 1.39/1.45 c ---[ 97]---> BDD-cost: 31 1.39/1.45 c ---[ 96]---> BDD-cost: 43 1.39/1.45 c ---[ 95]---> BDD-cost: 23 1.39/1.45 c ---[ 94]---> BDD-cost: 43 1.39/1.45 c ---[ 93]---> BDD-cost: 23 1.39/1.45 c ---[ 92]---> BDD-cost: 43 1.39/1.45 c ---[ 91]---> BDD-cost: 43 1.39/1.45 c ---[ 90]---> BDD-cost: 43 1.39/1.45 c ---[ 89]---> BDD-cost: 43 1.39/1.46 c ---[ 88]---> BDD-cost: 43 1.39/1.46 c ---[ 87]---> Sorter-cost: 232 Base: 7 1.39/1.46 c ---[ 86]---> BDD-cost: 23 1.39/1.46 c ---[ 85]---> BDD-cost: 43 1.39/1.46 c ---[ 84]---> BDD-cost: 43 1.39/1.46 c ---[ 83]---> BDD-cost: 23 1.39/1.46 c ---[ 82]---> BDD-cost: 43 1.39/1.46 c ---[ 81]---> BDD-cost: 43 1.39/1.46 c ---[ 80]---> BDD-cost: 23 1.39/1.46 c ---[ 79]---> Sorter-cost: 270 Base: 3 1.39/1.46 c ---[ 78]---> Sorter-cost: 262 Base: 3 1.39/1.46 c ---[ 77]---> BDD-cost: 23 1.39/1.46 c ---[ 76]---> Sorter-cost: 275 Base: 2 1.39/1.46 c ---[ 75]---> Sorter-cost: 270 Base: 3 1.39/1.47 c ---[ 74]---> Sorter-cost: 262 Base: 3 1.39/1.47 c ---[ 73]---> BDD-cost: 47 1.39/1.47 c ---[ 72]---> Sorter-cost: 185 Base: 2 1.39/1.47 c ---[ 71]---> BDD-cost: 23 1.39/1.47 c ---[ 70]---> Sorter-cost: 185 Base: 2 1.39/1.47 c ---[ 69]---> BDD-cost: 23 1.39/1.47 c ---[ 68]---> Sorter-cost: 185 Base: 2 1.39/1.47 c ---[ 67]---> Sorter-cost: 185 Base: 2 1.39/1.47 c ---[ 66]---> Sorter-cost: 172 Base: 2 1.39/1.47 c ---[ 65]---> BDD-cost: 12 1.39/1.47 c ---[ 64]---> Sorter-cost: 185 Base: 2 1.39/1.47 c ---[ 63]---> Sorter-cost: 185 Base: 2 1.39/1.47 c ---[ 62]---> BDD-cost: 23 1.39/1.47 c ---[ 61]---> Sorter-cost: 185 Base: 2 1.39/1.48 c ---[ 60]---> Sorter-cost: 185 Base: 2 1.39/1.48 c ---[ 59]---> BDD-cost: 23 1.39/1.48 c ---[ 58]---> Sorter-cost: 185 Base: 2 1.39/1.48 c ---[ 57]---> Sorter-cost: 185 Base: 2 1.39/1.48 c ---[ 56]---> BDD-cost: 22 1.39/1.48 c ---[ 55]---> BDD-cost: 34 1.39/1.48 c ---[ 54]---> Sorter-cost: 276 Base: 2 1.39/1.48 c ---[ 53]---> BDD-cost: 23 1.39/1.48 c ---[ 52]---> BDD-cost: 34 1.39/1.48 c ---[ 51]---> BDD-cost: 23 1.39/1.48 c ---[ 50]---> BDD-cost: 34 1.39/1.48 c ---[ 49]---> BDD-cost: 34 1.39/1.48 c ---[ 48]---> BDD-cost: 34 1.39/1.48 c ---[ 47]---> BDD-cost: 34 1.39/1.48 c ---[ 46]---> BDD-cost: 34 1.39/1.48 c ---[ 45]---> BDD-cost: 23 1.39/1.48 c ---[ 44]---> BDD-cost: 34 1.39/1.48 c ---[ 43]---> Sorter-cost: 275 Base: 2 1.39/1.48 c ---[ 42]---> BDD-cost: 34 1.39/1.48 c ---[ 41]---> BDD-cost: 23 1.39/1.48 c ---[ 40]---> BDD-cost: 34 1.39/1.48 c ---[ 39]---> BDD-cost: 34 1.39/1.48 c ---[ 38]---> Sorter-cost: 177 Base: 2 1.39/1.48 c ---[ 37]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 36]---> BDD-cost: 23 1.39/1.49 c ---[ 35]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 34]---> BDD-cost: 23 1.39/1.49 c ---[ 33]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 32]---> BDD-cost: 39 1.39/1.49 c ---[ 31]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 30]---> Sorter-cost: 172 Base: 2 1.39/1.49 c ---[ 29]---> Sorter-cost: 185 Base: 2 1.39/1.49 c ---[ 28]---> Sorter-cost: 232 Base: 7 1.39/1.49 c ---[ 27]---> BDD-cost: 23 1.39/1.49 c ---[ 26]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 25]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 24]---> BDD-cost: 23 1.39/1.49 c ---[ 23]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 22]---> Sorter-cost: 262 Base: 3 1.39/1.49 c ---[ 21]---> BDD-cost: 47 1.39/1.49 c ---[ 20]---> Sorter-cost: 176 Base: 2 1.39/1.50 c ---[ 19]---> Sorter-cost: 270 Base: 3 1.39/1.50 c ---[ 18]---> BDD-cost: 23 1.39/1.50 c ---[ 17]---> Sorter-cost: 198 Base: 2 2 2 1.49/1.50 c ---[ 16]---> BDD-cost: 23 1.49/1.50 c ---[ 15]---> Sorter-cost: 277 Base: 2 1.49/1.50 c ---[ 14]---> Sorter-cost: 299 Base: 7 1.49/1.50 c ---[ 13]---> Sorter-cost: 172 Base: 2 1.49/1.50 c ---[ 12]---> Sorter-cost: 185 Base: 2 1.49/1.50 c ---[ 11]---> Sorter-cost: 232 Base: 7 1.49/1.50 c ---[ 10]---> Sorter-cost: 231 Base: 7 1.49/1.50 c ---[ 9]---> BDD-cost: 23 1.49/1.50 c ---[ 8]---> Sorter-cost: 214 Base: 2 2 2 1.49/1.50 c ---[ 7]---> Sorter-cost: 262 Base: 3 1.49/1.50 c ---[ 6]---> BDD-cost: 23 1.49/1.50 c ---[ 5]---> Sorter-cost: 240 Base: 7 1.49/1.51 c ---[ 4]---> Sorter-cost: 262 Base: 3 1.49/1.51 c ---[ 3]---> BDD-cost: 47 1.49/1.51 c ---[ 2]---> Sorter-cost: 185 Base: 2 1.49/1.51 c ---[ 1]---> BDD-cost: 23 1.49/1.51 c ---[ 0]---> Sorter-cost: 185 Base: 2 1.59/1.61 c ==================================[MINISAT+]================================== 1.59/1.61 c | Conflicts | Original | Learnt | Progress | 1.59/1.61 c | | Clauses Literals | Max Clauses Literals LPC | | 1.59/1.61 c ============================================================================== 1.59/1.61 c | 0 | 102132 253981 | 34044 0 0 nan | 0.000 % | 1.59/1.63 c | 100 | 102132 253981 | 37448 100 290 2.9 | 8.646 % | 1.59/1.68 c ============================================================================== 1.59/1.68 c [1mFound solution: 179[0m 1.59/1.68 o 179 1.69/1.73 c ---[ 0]---> Adder-cost: 7530 maxlim: 3596 bits: 12/12 10.49/10.50 c ==================================[MINISAT+]================================== 10.49/10.50 c | Conflicts | Original | Learnt | Progress | 10.49/10.50 c | | Clauses Literals | Max Clauses Literals LPC | | 10.49/10.50 c ============================================================================== 10.49/10.50 c | 174 | 154598 441618 | 51532 156 729 4.7 | 8.646 % | 10.49/10.57 c | 274 | 154503 441402 | 56685 238 1121 4.7 | 7.702 % | 10.59/10.63 c | 433 | 154503 441402 | 62353 397 2741 6.9 | 7.702 % | 10.69/10.70 c | 658 | 154503 441402 | 68589 622 5219 8.4 | 7.702 % | 10.79/10.84 c | 996 | 154410 441191 | 75448 952 12186 12.8 | 7.748 % | 10.99/11.04 c | 1506 | 154410 441191 | 82992 1462 16889 11.6 | 7.748 % | 11.19/11.25 c | 2265 | 154410 441191 | 91292 2221 36813 16.6 | 7.748 % | 11.78/11.82 c | 3404 | 154386 441109 | 100421 3357 76889 22.9 | 7.757 % | 12.58/12.64 c | 5112 | 154386 441109 | 110463 5065 116603 23.0 | 7.757 % | 13.38/13.49 c ============================================================================== 13.38/13.49 c [1mFound solution: 92[0m 13.38/13.49 o 92 13.48/13.54 c ---[ 0]---> Adder-cost: 0 maxlim: 3683 bits: 12/12 22.59/22.67 c ==================================[MINISAT+]================================== 22.59/22.67 c | Conflicts | Original | Learnt | Progress | 22.59/22.67 c | | Clauses Literals | Max Clauses Literals LPC | | 22.59/22.67 c ============================================================================== 22.59/22.67 c | 7317 | 154395 441145 | 51465 7270 159673 22.0 | 7.757 % | 22.78/22.81 c | 7417 | 154395 441145 | 56611 7370 163635 22.2 | 7.761 % | 22.88/22.93 c | 7568 | 154395 441145 | 62272 7521 164942 21.9 | 7.761 % | 23.09/23.11 c | 7793 | 154395 441145 | 68499 7746 166380 21.5 | 7.761 % | 23.28/23.30 c ============================================================================== 23.28/23.30 c [1mFound solution: 84[0m 23.28/23.30 o 84 23.28/23.35 c ---[ 0]---> Adder-cost: 0 maxlim: 3691 bits: 12/12 32.47/32.59 c ==================================[MINISAT+]================================== 32.47/32.59 c | Conflicts | Original | Learnt | Progress | 32.47/32.59 c | | Clauses Literals | Max Clauses Literals LPC | | 32.47/32.59 c ============================================================================== 32.47/32.59 c | 7937 | 154372 441101 | 51457 7881 167212 21.2 | 7.761 % | 32.57/32.68 c | 8037 | 154372 441101 | 56602 7981 168429 21.1 | 7.776 % | 32.88/32.91 c | 8187 | 154372 441101 | 62262 8131 169808 20.9 | 7.776 % | 32.98/33.09 c | 8413 | 154372 441101 | 68489 8357 175457 21.0 | 7.776 % | 33.47/33.53 c | 8752 | 154348 441048 | 75338 8694 181962 20.9 | 7.788 % | 33.67/33.78 c | 9259 | 154247 440815 | 82872 9187 191785 20.9 | 7.837 % | 34.27/34.32 c | 10018 | 154195 440697 | 91159 9943 202328 20.3 | 7.861 % | 34.67/34.76 c | 11157 | 154148 440592 | 100275 11067 229188 20.7 | 7.881 % | 35.98/36.00 c | 12865 | 154136 440565 | 110302 12771 309732 24.3 | 7.888 % | 37.18/37.29 c | 15427 | 154047 440309 | 121332 15318 388974 25.4 | 7.924 % | 39.58/39.64 c | 19271 | 154038 440278 | 133466 19160 527072 27.5 | 7.925 % | 41.98/42.04 c ============================================================================== 41.98/42.04 c [1mFound solution: 74[0m 41.98/42.04 o 74 41.98/42.10 c ---[ 0]---> Adder-cost: 0 maxlim: 3701 bits: 12/12 51.28/51.36 c ==================================[MINISAT+]================================== 51.28/51.36 c | Conflicts | Original | Learnt | Progress | 51.28/51.36 c | | Clauses Literals | Max Clauses Literals LPC | | 51.28/51.36 c ============================================================================== 51.28/51.36 c | 22848 | 153939 440067 | 51313 22715 646685 28.5 | 7.925 % | 51.38/51.46 c | 22948 | 153939 440067 | 56444 22815 649288 28.5 | 7.984 % | 51.58/51.60 c | 23098 | 153939 440067 | 62088 22965 651732 28.4 | 7.984 % | 51.77/51.83 c | 23323 | 153939 440067 | 68297 23190 656074 28.3 | 7.984 % | 52.07/52.10 c | 23660 | 153939 440067 | 75127 23527 663332 28.2 | 7.984 % | 52.47/52.51 c ============================================================================== 52.47/52.51 c [1mFound solution: 67[0m 52.47/52.51 o 67 52.47/52.56 c ---[ 0]---> Adder-cost: 0 maxlim: 3708 bits: 12/12 61.77/61.88 c ==================================[MINISAT+]================================== 61.77/61.88 c | Conflicts | Original | Learnt | Progress | 61.77/61.88 c | | Clauses Literals | Max Clauses Literals LPC | | 61.77/61.88 c ============================================================================== 61.77/61.88 c | 24096 | 153925 440050 | 51308 23962 673375 28.1 | 7.984 % | 61.97/62.01 c | 24196 | 153925 440050 | 56438 24062 675518 28.1 | 7.997 % | 62.07/62.10 c | 24346 | 153925 440050 | 62082 24212 678195 28.0 | 7.997 % | 62.17/62.25 c | 24572 | 153925 440050 | 68290 24438 682114 27.9 | 7.997 % | 62.47/62.51 c | 24911 | 153925 440050 | 75120 24777 694296 28.0 | 7.997 % | 62.67/62.76 c | 25417 | 153925 440050 | 82632 25283 710929 28.1 | 7.997 % | 63.07/63.14 c | 26176 | 153925 440050 | 90895 26042 725064 27.8 | 7.997 % | 63.87/63.96 c | 27320 | 153848 439826 | 99984 27177 756110 27.8 | 8.026 % | 65.07/65.17 c | 29028 | 153848 439826 | 109983 28885 832558 28.8 | 8.026 % | 66.87/66.93 c | 31590 | 153753 439564 | 120981 31435 944348 30.0 | 8.063 % | 69.57/69.67 c ============================================================================== 69.57/69.67 c [1mFound solution: 62[0m 69.57/69.67 o 62 69.67/69.72 c ---[ 0]---> Adder-cost: 0 maxlim: 3713 bits: 12/12 78.96/79.06 c ==================================[MINISAT+]================================== 78.96/79.06 c | Conflicts | Original | Learnt | Progress | 78.96/79.06 c | | Clauses Literals | Max Clauses Literals LPC | | 78.96/79.06 c ============================================================================== 78.96/79.06 c | 34573 | 153623 439045 | 51207 34380 1086382 31.6 | 8.063 % | 79.07/79.15 c | 34675 | 153623 439045 | 56327 34482 1088234 31.6 | 8.100 % | 79.26/79.34 c | 34826 | 153406 438528 | 61960 34594 1090633 31.5 | 8.210 % | 79.46/79.58 c | 35051 | 153397 438497 | 68156 34816 1101294 31.6 | 8.212 % | 79.66/79.78 c | 35388 | 153397 438497 | 74972 35153 1116749 31.8 | 8.212 % | 80.06/80.19 c | 35895 | 153397 438497 | 82469 35660 1132463 31.8 | 8.212 % | 80.66/80.77 c | 36655 | 153397 438497 | 90716 36420 1164432 32.0 | 8.212 % | 81.86/81.94 c | 37797 | 153397 438497 | 99787 37562 1222469 32.5 | 8.212 % | 83.37/83.48 c | 39505 | 153219 437970 | 109766 39203 1306418 33.3 | 8.278 % | 85.27/85.35 c | 42069 | 152849 436700 | 120743 41664 1488734 35.7 | 8.390 % | 88.06/88.11 c | 45915 | 152493 435729 | 132817 45446 1696918 37.3 | 8.549 % | 93.27/93.33 c | 51682 | 152493 435729 | 146099 51213 2362581 46.1 | 8.549 % | 99.46/99.51 c | 60331 | 152338 435374 | 160709 59848 3470354 58.0 | 8.627 % | 109.06/109.14 c | 73306 | 152295 435229 | 176780 72790 4944315 67.9 | 8.638 % | 124.86/124.93 c | 92767 | 152262 435154 | 194458 92249 7105068 77.0 | 8.651 % | 167.84/167.92 c | 121960 | 152014 434562 | 213904 121417 11829197 97.4 | 8.775 % | 189.53/189.65 c ============================================================================== 189.53/189.65 c [1mFound solution: 60[0m 189.53/189.65 o 60 189.63/189.71 c ---[ 0]---> Adder-cost: 0 maxlim: 3715 bits: 12/12 199.13/199.27 c ==================================[MINISAT+]================================== 199.13/199.27 c | Conflicts | Original | Learnt | Progress | 199.13/199.27 c | | Clauses Literals | Max Clauses Literals LPC | | 199.13/199.27 c ============================================================================== 199.13/199.27 c | 136415 | 151966 434436 | 50655 135865 13805752 101.6 | 8.775 % | 199.63/199.70 c | 136517 | 151966 434436 | 55720 22801 1787098 78.4 | 8.793 % | 199.63/199.78 c | 136667 | 151966 434436 | 61292 22951 1789417 78.0 | 8.793 % | 199.83/199.95 c | 136892 | 151963 434427 | 67421 23173 1793048 77.4 | 8.795 % | 200.14/200.23 c | 137229 | 151963 434427 | 74163 23510 1798336 76.5 | 8.795 % | 200.43/200.58 c | 137735 | 151952 434403 | 81580 24015 1808532 75.3 | 8.800 % | 200.73/200.87 c | 138497 | 151952 434403 | 89738 24777 1828732 73.8 | 8.800 % | 201.63/201.78 c | 139639 | 151894 434273 | 98712 25913 1903062 73.4 | 8.829 % | 203.23/203.39 c | 141348 | 151894 434273 | 108583 27622 2069940 74.9 | 8.829 % | 205.03/205.16 c | 143911 | 151849 434160 | 119441 30179 2328875 77.2 | 8.847 % | 207.83/207.97 c | 147758 | 151823 434068 | 131386 34015 2658618 78.2 | 8.852 % | 212.33/212.42 c | 153526 | 151766 433940 | 144524 39776 3230265 81.2 | 8.878 % | 222.03/222.19 c | 162177 | 151651 433677 | 158977 48420 4206331 86.9 | 8.935 % | 232.82/232.93 c | 175151 | 151631 433621 | 174874 61384 5743528 93.6 | 8.944 % | 256.12/256.24 c | 194613 | 151622 433590 | 192362 80840 8162489 101.0 | 8.946 % | 293.21/293.38 c | 223806 | 151595 433497 | 211598 110023 11719735 106.5 | 8.951 % | 343.79/343.96 c ============================================================================== 343.79/343.96 c [1mFound solution: 55[0m 343.79/343.96 o 55 343.89/344.02 c ---[ 0]---> Adder-cost: 0 maxlim: 3720 bits: 12/12 353.59/353.74 c ==================================[MINISAT+]================================== 353.59/353.74 c | Conflicts | Original | Learnt | Progress | 353.59/353.74 c | | Clauses Literals | Max Clauses Literals LPC | | 353.59/353.74 c ============================================================================== 353.59/353.74 c | 257109 | 151533 433300 | 50511 143281 16162545 112.8 | 8.951 % | 354.29/354.41 c | 257209 | 151533 433300 | 55562 27195 1976477 72.7 | 8.969 % | 354.49/354.64 c | 257359 | 151533 433300 | 61118 27345 1981338 72.5 | 8.969 % | 354.69/354.86 c | 257584 | 151533 433300 | 67230 27570 1996375 72.4 | 8.969 % | 354.99/355.16 c | 257921 | 151533 433300 | 73953 27907 2020941 72.4 | 8.969 % | 355.39/355.57 c | 258427 | 151533 433300 | 81348 28413 2066431 72.7 | 8.969 % | 356.08/356.24 c | 259188 | 151533 433300 | 89483 29174 2140629 73.4 | 8.969 % | 357.68/357.87 c | 260328 | 151533 433300 | 98431 30314 2321393 76.6 | 8.969 % | 359.08/359.24 c | 262036 | 151533 433300 | 108274 32022 2478781 77.4 | 8.969 % | 360.88/361.07 c | 264598 | 151533 433300 | 119102 34584 2693262 77.9 | 8.969 % | 364.68/364.82 c | 268444 | 151533 433300 | 131012 38430 3125116 81.3 | 8.969 % | 370.38/370.50 c | 274210 | 151501 433188 | 144113 44182 3740161 84.7 | 8.976 % | 378.48/378.63 c | 282861 | 151483 433126 | 158525 52828 4777076 90.4 | 8.979 % | 392.78/392.92 c | 295837 | 151468 433075 | 174377 65800 6330563 96.2 | 8.982 % | 417.97/418.19 c | 315299 | 151450 433013 | 191815 85255 8582577 100.7 | 8.986 % | 464.46/464.68 c | 344492 | 151199 432406 | 210996 114431 12909860 112.8 | 9.111 % | 530.64/530.85 c ============================================================================== 530.64/530.85 c [1mFound solution: 50[0m 530.64/530.85 o 50 530.74/530.92 c ---[ 0]---> Adder-cost: 0 maxlim: 3725 bits: 12/12 540.83/541.06 c ==================================[MINISAT+]================================== 540.83/541.06 c | Conflicts | Original | Learnt | Progress | 540.83/541.06 c | | Clauses Literals | Max Clauses Literals LPC | | 540.83/541.06 c ============================================================================== 540.83/541.06 c | 382494 | 151154 432279 | 50384 152423 18496052 121.3 | 9.111 % | 541.73/541.93 c | 382594 | 151154 432279 | 55422 26749 2052548 76.7 | 9.129 % | 541.83/542.07 c | 382744 | 151154 432279 | 60964 26899 2060796 76.6 | 9.129 % | 542.04/542.22 c | 382970 | 151154 432279 | 67061 27125 2068092 76.2 | 9.129 % | 542.43/542.66 c | 383307 | 150994 431917 | 73767 27432 2085177 76.0 | 9.209 % | 542.73/542.92 c | 383813 | 150994 431917 | 81143 27938 2101734 75.2 | 9.209 % | 543.24/543.50 c | 384575 | 150994 431917 | 89258 28700 2179133 75.9 | 9.209 % | 544.13/544.37 c | 385716 | 150994 431917 | 98184 29841 2328367 78.0 | 9.209 % | 545.83/546.09 c | 387424 | 150994 431917 | 108002 31549 2514729 79.7 | 9.209 % | 548.13/548.30 c | 389986 | 150985 431886 | 118802 34109 2858328 83.8 | 9.211 % | 551.63/551.85 c | 393832 | 150985 431886 | 130683 37955 3278269 86.4 | 9.211 % | 556.13/556.32 c | 399600 | 150985 431886 | 143751 43723 3983644 91.1 | 9.211 % | 564.93/565.11 c | 408250 | 150976 431855 | 158126 52370 5020359 95.9 | 9.212 % | 579.92/580.13 c | 421227 | 150912 431700 | 173939 65318 6346310 97.2 | 9.241 % | 603.52/603.79 c | 440689 | 150790 431422 | 191333 84770 9110940 107.5 | 9.307 % | 648.01/648.28 c | 469882 | 150680 431164 | 210466 113953 12864244 112.9 | 9.358 % | 719.98/720.25 c ============================================================================== 719.98/720.25 c [1mFound solution: 46[0m 719.98/720.25 o 46 720.08/720.32 c ---[ 0]---> Adder-cost: 0 maxlim: 3729 bits: 12/12 730.38/730.68 c ==================================[MINISAT+]================================== 730.38/730.68 c | Conflicts | Original | Learnt | Progress | 730.38/730.68 c | | Clauses Literals | Max Clauses Literals LPC | | 730.38/730.68 c ============================================================================== 730.38/730.68 c | 508300 | 150625 431023 | 50208 152362 20668744 135.7 | 9.358 % | 731.38/731.65 c | 508400 | 150625 431023 | 55228 24315 2967255 122.0 | 9.385 % | 731.58/731.86 c | 508551 | 150625 431023 | 60751 24466 2969194 121.4 | 9.385 % | 731.78/732.02 c | 508776 | 150625 431023 | 66826 24691 2972488 120.4 | 9.385 % | 731.98/732.27 c | 509113 | 150616 430992 | 73509 25023 2977101 119.0 | 9.386 % | 732.29/732.53 c | 509619 | 150616 430992 | 80860 25529 2989545 117.1 | 9.386 % | 732.98/733.24 c | 510378 | 150505 430735 | 88946 26280 3022590 115.0 | 9.451 % | 733.58/733.87 c | 511521 | 150505 430735 | 97841 27423 3138591 114.5 | 9.451 % | 735.38/735.62 c | 513232 | 150505 430735 | 107625 29134 3296878 113.2 | 9.451 % | 737.68/737.91 c | 515794 | 150505 430735 | 118387 31696 3563975 112.4 | 9.451 % | 741.28/741.53 c | 519638 | 150490 430684 | 130226 35538 4097683 115.3 | 9.454 % | 746.78/747.02 c | 525407 | 150480 430661 | 143249 41306 4623503 111.9 | 9.459 % | 754.97/755.28 c | 534057 | 150480 430661 | 157574 49956 5678925 113.7 | 9.459 % | 766.87/767.16 c | 547031 | 150462 430611 | 173331 62928 7027874 111.7 | 9.464 % | 793.97/794.22 c | 566495 | 150448 430579 | 190664 82391 8885171 107.8 | 9.473 % | 836.96/837.23 c | 595689 | 150391 430401 | 209731 111571 12078304 108.3 | 9.490 % | 913.53/913.80 c | 639482 | 150391 430401 | 230704 155364 17836507 114.8 | 9.490 % | 1062.89/1063.23 c | 705166 | 150284 430062 | 253774 221013 26945151 121.9 | 9.522 % | 1239.84/1240.29 c | 803692 | 149413 427827 | 279152 78928 7840583 99.3 | 9.888 % | 1430.59/1431.02 c ============================================================================== 1430.59/1431.02 c [1mFound solution: 45[0m 1430.59/1431.02 o 45 1430.59/1431.08 c ---[ 0]---> Adder-cost: 0 maxlim: 3730 bits: 12/12 1440.48/1440.94 c ==================================[MINISAT+]================================== 1440.48/1440.94 c | Conflicts | Original | Learnt | Progress | 1440.48/1440.94 c | | Clauses Literals | Max Clauses Literals LPC | | 1440.48/1440.94 c ============================================================================== 1440.48/1440.94 c | 902350 | 148941 426373 | 49647 177445 18462997 104.0 | 9.888 % | 1441.68/1442.19 c | 902451 | 148941 426373 | 54611 27044 1397990 51.7 | 10.032 % | 1442.28/1442.72 c | 902601 | 148913 426298 | 60072 27190 1407996 51.8 | 10.044 % | 1442.48/1442.99 c | 902826 | 148913 426298 | 66080 27415 1422102 51.9 | 10.044 % | 1442.88/1443.32 c | 903163 | 148913 426298 | 72688 27752 1448831 52.2 | 10.044 % | 1443.38/1443.83 c | 903670 | 148913 426298 | 79956 28259 1488185 52.7 | 10.044 % | 1444.18/1444.66 c | 904430 | 148913 426298 | 87952 29019 1558072 53.7 | 10.044 % | 1445.48/1445.94 c | 905570 | 148904 426267 | 96747 30153 1659595 55.0 | 10.045 % | 1447.27/1447.79 c | 907284 | 148869 426187 | 106422 31865 1830109 57.4 | 10.066 % | 1450.87/1451.37 c | 909846 | 148860 426156 | 117065 34426 2119655 61.6 | 10.067 % | 1456.17/1456.62 c | 913692 | 148860 426156 | 128771 38272 2533301 66.2 | 10.067 % | 1462.87/1463.35 c | 919460 | 148825 426044 | 141648 44028 3161479 71.8 | 10.078 % | 1473.97/1474.40 c | 928110 | 148739 425794 | 155813 52667 4042325 76.8 | 10.112 % | 1492.27/1492.78 c | 941087 | 148716 425724 | 171394 65642 5578835 85.0 | 10.120 % | 1522.56/1523.06 c | 960548 | 148680 425600 | 188534 85092 7873944 92.5 | 10.127 % | 1570.34/1570.83 c | 989740 | 148586 425345 | 207387 114273 11902400 104.2 | 10.166 % | 1664.32/1664.86 c | 1033530 | 148477 425007 | 228126 158025 17140480 108.5 | 10.198 % | 1800.08/1800.61 c 1800.08/1800.61 c *** TERMINATED *** 1800.08/1800.61 s SATISFIABLE 1800.08/1800.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.08/1800.61 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.08/1800.61 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.08/1800.61 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.08/1800.61 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 1800.08/1800.61 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 -x5702 -x5703 -x5704 1800.08/1800.61 v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 1800.08/1800.61 v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 1800.08/1800.61 v -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1800.08/1800.61 v -x6056 -x6057 -x6058 -x6059 -x6060 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 1800.08/1800.61 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1800.08/1800.61 v -x6390 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 1800.08/1800.61 v -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x7021 -x7022 -x7023 1800.08/1800.61 v -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 1800.08/1800.61 v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 1800.08/1800.61 v -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 1800.08/1800.61 v -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1800.08/1800.61 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.08/1800.61 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 1800.08/1800.61 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1800.08/1800.61 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.08/1800.61 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.08/1800.61 v -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.08/1800.61 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 1800.08/1800.61 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.08/1800.61 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1800.08/1800.61 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1800.08/1800.61 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.08/1800.61 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.08/1800.61 v -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1800.08/1800.61 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 1800.08/1800.61 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1800.08/1800.61 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 1800.08/1800.61 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1800.08/1800.61 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 1800.08/1800.61 v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 1800.08/1800.61 v -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1800.08/1800.61 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1800.08/1800.61 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1800.08/1800.61 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 1800.08/1800.61 v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1800.08/1800.61 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.08/1800.61 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1800.08/1800.61 v -x5066 -x5067 -x5068 -x5069 -x5070 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 1800.08/1800.61 v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 1800.08/1800.61 v -x5280 x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 1800.08/1800.61 v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 1800.08/1800.61 v -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 1800.08/1800.61 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 1800.08/1800.61 v -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 1800.08/1800.61 v -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 1800.08/1800.61 v -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 1800.08/1800.61 v -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 1800.08/1800.61 v -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 1800.08/1800.61 v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 1800.08/1800.61 v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 1800.08/1800.61 v -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 1800.08/1800.61 v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 1800.08/1800.61 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 1800.08/1800.61 v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 1800.08/1800.61 v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 1800.08/1800.61 v -x5582 -x5583 -x5584 x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 1800.08/1800.61 v -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 1800.08/1800.61 v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 1800.08/1800.61 v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 1800.08/1800.61 v -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 1800.08/1800.61 v -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 1800.08/1800.61 v -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 1800.08/1800.61 v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 1800.08/1800.61 v -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 1800.08/1800.61 v -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 1800.08/1800.61 v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 1800.08/1800.61 v -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 1800.08/1800.61 v -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 1800.08/1800.61 v -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 1800.08/1800.61 v -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 1800.08/1800.61 v -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 1800.08/1800.61 v -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 1800.08/1800.61 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 1800.08/1800.61 v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 1800.08/1800.61 v -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 1800.08/1800.61 v -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 1800.08/1800.61 v -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 1800.08/1800.61 v -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 1800.08/1800.61 v -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 1800.08/1800.61 v -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1800.08/1800.61 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 1800.08/1800.61 v -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1800.08/1800.61 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 1800.08/1800.61 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1800.08/1800.61 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 1800.08/1800.61 v -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 1800.08/1800.61 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1800.08/1800.61 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1800.08/1800.61 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 1800.08/1800.61 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1800.08/1800.61 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 1800.08/1800.61 v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1800.08/1800.61 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1800.08/1800.61 v -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 1800.08/1800.61 v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1800.08/1800.61 v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 1800.08/1800.61 v -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 1800.08/1800.61 v -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 1800.08/1800.61 v -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 1800.08/1800.61 v -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1800.08/1800.61 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 1800.08/1800.61 v -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1800.08/1800.61 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 1800.08/1800.61 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 1800.08/1800.61 v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 1800.08/1800.61 v -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 1800.08/1800.61 v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 1800.08/1800.61 v -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 1800.08/1800.61 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 1800.08/1800.61 v -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 1800.08/1800.61 v -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 1800.08/1800.61 v -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1800.08/1800.61 v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 1800.08/1800.61 v -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 1800.08/1800.61 v -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 1800.08/1800.61 v -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 1800.08/1800.61 v -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 1800.08/1800.61 v -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 1800.08/1800.61 v -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 1800.08/1800.61 v -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 1800.08/1800.61 v -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 1800.08/1800.61 v -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 1800.08/1800.61 v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 1800.08/1800.61 v -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 1800.08/1800.61 v -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 1800.08/1800.61 v -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 1800.08/1800.61 v -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 1800.08/1800.61 v -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 1800.08/1800.61 v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 1800.08/1800.61 v -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 1800.08/1800.61 v -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 x6991 -x6992 -x6993 1800.08/1800.61 v -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 1800.08/1800.61 v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 1800.08/1800.61 v -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 1800.08/1800.61 v -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 1800.08/1800.61 v -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 1800.08/1800.61 v -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 1800.08/1800.61 v -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 x7142 1800.08/1800.61 v x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 1800.08/1800.61 v -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 1800.08/1800.61 v -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 1800.08/1800.61 v -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 1800.08/1800.61 v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 1800.08/1800.61 v -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 1800.08/1800.61 v -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 1800.08/1800.61 v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 1800.08/1800.61 v -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 1800.08/1800.61 v -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 1800.08/1800.61 v -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 1800.08/1800.61 v -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 1800.08/1800.61 v -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 1800.08/1800.61 v -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 1800.08/1800.61 v -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 1800.08/1800.61 v -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 1800.08/1800.61 v -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 1800.08/1800.61 v -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 1800.08/1800.61 v -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 1800.08/1800.61 v -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 1800.08/1800.61 v -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 1800.08/1800.61 v -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 1800.08/1800.61 v -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 1800.08/1800.61 v -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 1800.08/1800.61 v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 1800.08/1800.61 v -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 1800.08/1800.61 v -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 1800.08/1800.61 v -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 1800.08/1800.61 v -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 1800.08/1800.61 v -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x91 -x92 -x93 1800.08/1800.61 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 1800.08/1800.61 v -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 1800.08/1800.61 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 1800.08/1800.61 v -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.08/1800.61 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 1800.08/1800.61 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1800.08/1800.61 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 1800.08/1800.61 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 1800.08/1800.61 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 1800.08/1800.61 v -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 1800.08/1800.61 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 1800.08/1800.61 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1800.08/1800.61 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1800.08/1800.61 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1800.08/1800.61 v -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1800.08/1800.61 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1800.08/1800.61 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1800.08/1800.61 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1800.08/1800.61 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1800.08/1800.61 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1800.08/1800.61 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1800.08/1800.61 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1800.08/1800.61 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1800.08/1800.61 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1800.08/1800.61 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1800.08/1800.61 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1800.08/1800.61 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1800.08/1800.61 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1800.08/1800.61 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1800.08/1800.61 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 1800.08/1800.61 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1800.08/1800.61 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1800.08/1800.61 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1800.08/1800.61 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.08/1800.61 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1800.08/1800.61 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1800.08/1800.61 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1800.08/1800.61 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1800.08/1800.61 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 1800.08/1800.61 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1800.08/1800.61 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.08/1800.61 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.08/1800.61 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.08/1800.61 v -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.08/1800.61 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.08/1800.61 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.08/1800.61 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.08/1800.61 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.08/1800.61 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.08/1800.61 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.08/1800.61 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.08/1800.61 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1800.08/1800.61 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.08/1800.61 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1800.08/1800.61 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.08/1800.61 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.08/1800.61 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.08/1800.61 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.08/1800.61 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.08/1800.61 v -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.08/1800.61 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 1800.08/1800.61 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1800.08/1800.61 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1800.08/1800.61 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 1800.08/1800.61 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1800.08/1800.61 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1800.08/1800.61 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 1800.08/1800.61 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 1800.08/1800.61 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 1800.08/1800.61 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.08/1800.61 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 1800.08/1800.61 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.08/1800.61 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1800.08/1800.61 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 1800.08/1800.61 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1800.08/1800.61 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.08/1800.61 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1800.08/1800.61 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 1800.08/1800.61 v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.08/1800.61 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1800.08/1800.61 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1800.08/1800.61 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1800.08/1800.61 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1800.08/1800.61 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 1800.08/1800.61 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1800.08/1800.61 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.08/1800.61 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1800.08/1800.61 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1800.08/1800.61 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1800.08/1800.61 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.08/1800.61 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1800.08/1800.61 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.08/1800.61 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1800.08/1800.61 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1800.08/1800.61 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1800.08/1800.61 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1800.08/1800.61 v -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.08/1800.61 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.08/1800.61 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.08/1800.61 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 1800.08/1800.61 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.08/1800.61 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.08/1800.61 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.08/1800.61 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.08/1800.61 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.08/1800.61 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.08/1800.61 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.08/1800.61 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.08/1800.61 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.08/1800.61 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.08/1800.61 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.08/1800.61 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.08/1800.61 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.08/1800.61 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 1800.08/1800.61 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1800.08/1800.61 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1800.08/1800.61 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1800.08/1800.61 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 1800.08/1800.61 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1800.08/1800.61 v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1800.08/1800.61 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1800.08/1800.61 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1800.08/1800.61 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.08/1800.61 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1800.08/1800.61 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1800.08/1800.61 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1800.08/1800.61 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.08/1800.61 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1800.08/1800.61 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.08/1800.61 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.08/1800.61 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.08/1800.61 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1800.08/1800.61 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1800.08/1800.61 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1800.08/1800.61 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1800.08/1800.61 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.08/1800.61 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1800.08/1800.61 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1800.08/1800.61 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.08/1800.61 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.08/1800.61 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.08/1800.61 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.08/1800.61 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.08/1800.61 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.08/1800.61 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1800.08/1800.61 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.08/1800.61 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.08/1800.61 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.08/1800.61 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.08/1800.61 v -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1800.08/1800.61 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1800.08/1800.61 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1800.08/1800.61 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1800.08/1800.61 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 1800.08/1800.61 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1800.08/1800.61 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1800.08/1800.61 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1800.08/1800.61 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1800.08/1800.61 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1800.08/1800.61 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1800.08/1800.61 v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 1800.08/1800.61 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1800.08/1800.61 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 1800.08/1800.61 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1800.08/1800.61 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1800.08/1800.61 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1800.08/1800.61 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 1800.08/1800.61 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1800.08/1800.61 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.08/1800.61 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.08/1800.61 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1800.08/1800.61 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1800.08/1800.61 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1800.08/1800.61 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1800.08/1800.61 v -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1800.08/1800.61 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1800.08/1800.61 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1800.08/1800.61 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1800.08/1800.61 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1800.08/1800.61 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.08/1800.61 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1800.08/1800.61 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1800.08/1800.61 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1800.08/1800.61 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1800.08/1800.61 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1800.08/1800.61 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1800.08/1800.61 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1800.08/1800.61 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1800.08/1800.61 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1800.08/1800.61 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1800.08/1800.61 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1800.08/1800.61 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1800.08/1800.61 v -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1800.08/1800.61 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1800.08/1800.61 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1800.08/1800.61 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.08/1800.61 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.08/1800.61 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.08/1800.61 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1800.08/1800.61 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.08/1800.61 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.08/1800.61 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.08/1800.61 v -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1800.08/1800.61 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1800.08/1800.61 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1800.08/1800.61 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 1800.08/1800.61 v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 1800.08/1800.61 v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 1800.08/1800.61 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 1800.08/1800.61 v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 1800.08/1800.61 v -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 1800.08/1800.61 v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 1800.08/1800.61 v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1800.08/1800.61 v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 1800.08/1800.61 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1800.08/1800.61 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 1800.08/1800.61 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 1800.08/1800.61 v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1800.08/1800.61 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1800.08/1800.61 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 1800.08/1800.61 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1800.08/1800.61 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 1800.08/1800.61 v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1800.08/1800.61 v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 1800.08/1800.61 v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 1800.08/1800.61 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 1800.08/1800.61 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 1800.08/1800.61 v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 1800.08/1800.61 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1800.08/1800.61 v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 1800.08/1800.61 v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 1800.08/1800.61 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1800.08/1800.61 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 1800.08/1800.61 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1800.08/1800.61 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1800.08/1800.61 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1800.08/1800.61 v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 1800.08/1800.61 v -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1800.08/1800.61 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 1800.08/1800.61 v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1800.08/1800.61 v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 1800.08/1800.61 v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 1800.08/1800.61 v -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 1800.08/1800.61 v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 1800.08/1800.61 v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 1800.08/1800.61 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 1800.08/1800.61 v -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 1800.08/1800.61 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 1800.08/1800.61 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1800.08/1800.61 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 1800.08/1800.61 v -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 1800.08/1800.61 v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1800.08/1800.61 v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 1800.08/1800.61 v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 1800.08/1800.61 v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 1800.08/1800.61 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1800.08/1800.61 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1800.08/1800.61 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1800.08/1800.61 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1800.08/1800.61 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1800.08/1800.61 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1800.08/1800.61 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1800.08/1800.61 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1800.08/1800.61 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1800.08/1800.61 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.08/1800.61 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x7681 -x7682 -x7793 -x7860 -x7871 -x7882 -x7893 1800.08/1800.61 v -x7904 x7915 -x7926 -x7683 -x7694 -x7705 -x7716 -x7727 -x7738 -x7749 -x7760 -x7771 -x7782 -x7794 -x7805 -x7816 -x7827 1800.08/1800.61 v -x7838 -x7849 -x7856 x7857 x7858 -x7859 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 x7867 -x7868 -x7869 -x7870 -x7872 -x7873 1800.08/1800.61 v -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7883 -x7884 -x7885 -x7886 -x7887 x7888 -x7889 -x7890 -x7891 1800.08/1800.61 v -x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 1800.08/1800.61 v -x7911 -x7912 -x7913 x7914 x7916 -x7917 -x7918 x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7927 -x7928 -x7929 -x7930 1800.08/1800.61 v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7695 1800.08/1800.61 v -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7706 x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 1800.08/1800.61 v -x7714 -x7715 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 x7725 x7726 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 1800.08/1800.61 v -x7734 -x7735 -x7736 -x7737 x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7750 -x7751 x7752 -x7753 1800.08/1800.61 v -x7754 -x7755 x7756 -x7757 -x7758 -x7759 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 x7767 -x7768 -x7769 -x7770 -x7772 -x7773 1800.08/1800.61 v -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 x7781 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 1800.08/1800.61 v -x7795 -x7796 -x7797 -x7798 x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7806 -x7807 -x7808 -x7809 x7810 -x7811 -x7812 -x7813 1800.08/1800.61 v -x7814 -x7815 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7828 -x7829 -x7830 -x7831 x7832 -x7833 1800.08/1800.61 v x7834 -x7835 -x7836 -x7837 -x7839 -x7840 -x7841 x7842 -x7843 x7844 -x7845 -x7846 -x7847 -x7848 -x7850 -x7851 -x7852 -x7853 1800.08/1800.61 v -x7854 -x7855
OK 45
/tmp/evaluation/350608-1176527758/instance-350608-1176527758.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-350608-1176527758 -o ROOT/results/node17/solver-350608-1176527758 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350608-1176527758/minisat+ /tmp/evaluation/350608-1176527758/instance-350608-1176527758.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.98 3/77 8744 /proc/meminfo: memFree=1860672/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=1352 CPUtime=0 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 100693329 1384448 171 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 338 171 67 215 0 120 0 [startup+0.0206419 s] /proc/loadavg: 0.92 0.98 0.98 3/77 8744 /proc/meminfo: memFree=1860672/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=2532 CPUtime=0.01 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 470 0 0 0 1 0 0 0 18 0 1 0 100693329 2592768 455 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005815 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 633 455 72 215 0 415 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2532 [startup+0.101651 s] /proc/loadavg: 0.92 0.98 0.98 3/77 8744 /proc/meminfo: memFree=1860672/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=2648 CPUtime=0.09 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 507 0 0 0 9 0 0 0 18 0 1 0 100693329 2711552 492 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 662 492 75 215 0 444 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2648 [startup+0.301671 s] /proc/loadavg: 0.92 0.98 0.98 3/77 8744 /proc/meminfo: memFree=1860672/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=3444 CPUtime=0.29 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 716 0 0 0 29 0 0 0 19 0 1 0 100693329 3526656 701 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 861 701 75 215 0 643 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3444 [startup+0.701713 s] /proc/loadavg: 0.92 0.98 0.98 3/77 8744 /proc/meminfo: memFree=1860672/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=4056 CPUtime=0.69 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 910 0 0 0 69 0 0 0 23 0 1 0 100693329 4153344 848 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 1014 848 87 215 0 796 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4056 [startup+1.5018 s] /proc/loadavg: 0.92 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1857400/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=6232 CPUtime=1.49 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 1565 0 0 0 149 0 0 0 24 0 1 0 100693329 6381568 1366 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 1558 1366 91 215 0 1340 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6232 [startup+3.10196 s] /proc/loadavg: 0.92 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1846200/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=16372 CPUtime=3.09 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 3904 0 0 0 308 1 0 0 25 0 1 0 100693329 16764928 3697 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 4093 3697 111 215 0 3875 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16372 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1845944/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=16636 CPUtime=6.29 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 3977 0 0 0 628 1 0 0 25 0 1 0 100693329 17035264 3770 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 4159 3770 111 215 0 3941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16636 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1833664/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=28644 CPUtime=12.68 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 7586 0 0 0 1266 2 0 0 25 0 1 0 100693329 29331456 6842 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 7161 6842 124 215 0 6943 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28644 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1831808/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=32076 CPUtime=25.48 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 8286 0 0 0 2545 3 0 0 25 0 1 0 100693329 32845824 7255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808936 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 8019 7255 124 215 0 7801 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32076 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1828544/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=35336 CPUtime=51.08 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 9417 0 0 0 5103 5 0 0 25 0 1 0 100693329 36184064 8087 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 8834 8087 124 215 0 8616 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35336 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1815680/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=48416 CPUtime=102.27 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 13448 0 0 0 10219 8 0 0 25 0 1 0 100693329 49577984 11302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573382 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 12104 11302 124 215 0 11886 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48416 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1785024/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=79188 CPUtime=162.24 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 21155 0 0 0 16207 17 0 0 25 0 1 0 100693329 81088512 19009 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572977 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 19797 19009 124 215 0 19579 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 79188 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1772416/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=90948 CPUtime=222.22 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 24497 0 0 0 22202 20 0 0 25 0 1 0 100693329 93130752 21990 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 22737 21990 124 215 0 22519 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 90948 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1772416/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=90948 CPUtime=282.21 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 24498 0 0 0 28200 21 0 0 25 0 1 0 100693329 93130752 21991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 22737 21991 124 215 0 22519 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 90948 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1762560/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=101320 CPUtime=342.19 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 27000 0 0 0 34196 23 0 0 25 0 1 0 100693329 103751680 24493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 25330 24493 124 215 0 25112 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 101320 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1761344/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=102168 CPUtime=402.18 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 27603 0 0 0 40194 24 0 0 25 0 1 0 100693329 104620032 24734 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 25542 24734 124 215 0 25324 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 102168 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1761344/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=102168 CPUtime=462.16 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 27603 0 0 0 46192 24 0 0 25 0 1 0 100693329 104620032 24734 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 25542 24734 124 215 0 25324 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 102168 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1753408/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=110536 CPUtime=522.14 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 29668 0 0 0 52188 26 0 0 25 0 1 0 100693329 113188864 26799 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574102 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 27634 26799 124 215 0 27416 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 110536 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1750400/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=112956 CPUtime=582.12 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 30661 0 0 0 58185 27 0 0 25 0 1 0 100693329 115666944 27434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 28239 27434 124 215 0 28021 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 112956 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1750400/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=112956 CPUtime=642.11 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 30661 0 0 0 64183 28 0 0 25 0 1 0 100693329 115666944 27434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 28239 27434 124 215 0 28021 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 112956 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1740352/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=122628 CPUtime=822.06 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 33376 0 0 0 82173 33 0 0 25 0 1 0 100693329 125571072 29850 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 30657 29850 124 215 0 30439 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 122628 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1740352/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=122628 CPUtime=882.04 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 33377 0 0 0 88171 33 0 0 25 0 1 0 100693329 125571072 29851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 30657 29851 124 215 0 30439 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 122628 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1740288/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=122628 CPUtime=942.02 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 33395 0 0 0 94168 34 0 0 25 0 1 0 100693329 125571072 29869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576810 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 30657 29869 124 215 0 30439 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 122628 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1726656/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=136312 CPUtime=1002.01 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 36821 0 0 0 100164 37 0 0 25 0 1 0 100693329 139583488 33295 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 34078 33295 124 215 0 33860 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 136312 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1712512/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=150852 CPUtime=1061.99 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 40352 0 0 0 106158 41 0 0 25 0 1 0 100693329 154472448 36826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 37713 36826 124 215 0 37495 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 150852 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1696960/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=166196 CPUtime=1121.97 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 44210 0 0 0 112152 45 0 0 25 0 1 0 100693329 170184704 40684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 41549 40684 124 215 0 41331 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 166196 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1683328/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1181.95 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47574 0 0 0 118146 49 0 0 25 0 1 0 100693329 183914496 44048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44048 124 215 0 44683 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 179604 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8745 /proc/meminfo: memFree=1683200/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1241.93 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47574 0 0 0 124144 49 0 0 25 0 1 0 100693329 183914496 44048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44048 124 215 0 44683 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 179604 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681984/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1301.92 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47574 0 0 0 130142 50 0 0 25 0 1 0 100693329 183914496 44048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44048 124 215 0 44683 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 179604 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681920/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1361.9 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47576 0 0 0 136140 50 0 0 25 0 1 0 100693329 183914496 44050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44050 124 215 0 44683 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 179604 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681856/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1421.89 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47578 0 0 0 142138 51 0 0 25 0 1 0 100693329 183914496 44052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44052 124 215 0 44683 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 179604 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681856/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1481.87 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47578 0 0 0 148135 52 0 0 25 0 1 0 100693329 183914496 44052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44052 124 215 0 44683 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 179604 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681792/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1541.85 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47578 0 0 0 154133 52 0 0 25 0 1 0 100693329 183914496 44052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44052 124 215 0 44683 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 179604 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681792/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1601.84 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47578 0 0 0 160131 53 0 0 25 0 1 0 100693329 183914496 44052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44052 124 215 0 44683 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 179604 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681728/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1661.82 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47579 0 0 0 166129 53 0 0 25 0 1 0 100693329 183914496 44053 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44053 124 215 0 44683 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 179604 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681664/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1721.8 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47581 0 0 0 172127 53 0 0 25 0 1 0 100693329 183914496 44055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44055 124 215 0 44683 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 179604 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681600/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1781.78 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47581 0 0 0 178124 54 0 0 25 0 1 0 100693329 183914496 44055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44055 124 215 0 44683 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 179604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.98 2/78 8747 /proc/meminfo: memFree=1681600/2055920 swapFree=4173928/4192956 [pid=8744] ppid=8742 vsize=179604 CPUtime=1800.08 /proc/8744/stat : 8744 (minisat+) R 8742 8744 7992 0 -1 4194304 47582 0 0 0 179954 54 0 0 25 0 1 0 100693329 183914496 44056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8744/statm: 44901 44056 124 215 0 44683 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 179604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.64 CPU time (s): 1800.13 CPU user time (s): 1799.55 CPU system time (s): 0.576912 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 179604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.576912 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47584 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= 15 involuntary context switches= 36877 runsolver used 2.07668 second user time and 4.27635 second system time The end
Begin job on node17 on Sat Apr 14 05:15:58 UTC 2007 IDJOB= 350608 IDBENCH= 1549 IDSOLVER= 156 FILE ID= node17/350608-1176527758 PBS_JOBID= 4556727 Free space on /tmp= 66556 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb COMMAND LINE= /tmp/evaluation/350608-1176527758/minisat+ /tmp/evaluation/350608-1176527758/instance-350608-1176527758.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-350608-1176527758 -o ROOT/results/node17/conversion-350608-1176527758 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350608-1176527758/instance-350608-1176527758.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-350608-1176527758 -o ROOT/results/node17/solver-350608-1176527758 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350608-1176527758/minisat+ /tmp/evaluation/350608-1176527758/instance-350608-1176527758.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 8c1b16c8c16304b0c31b222fe698dea9 RANDOM SEED= 719046719 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1861144 kB Buffers: 11608 kB Cached: 87948 kB SwapCached: 1832 kB Active: 43024 kB Inactive: 100424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861144 kB SwapTotal: 4192956 kB SwapFree: 4173928 kB Dirty: 2708 kB Writeback: 0 kB Mapped: 52220 kB Slab: 36852 kB Committed_AS: 4057672 kB PageTables: 1800 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node17 on Sat Apr 14 05:46:01 UTC 2007