Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 39 | 1800.6 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb |
MD5SUM | eacfeaf84791543db8ee3be1e77f11f6 |
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 | 1800.56 |
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 | YES |
Number of variables | 8959 |
Total number of constraints | 323 |
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 | 323 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 510 |
Number of terms in the objective function | 8959 |
Biggest coefficient in the objective function | 1746 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 531501 |
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 | 531501 |
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 c Parsing PB file... 0.41 c Converting 357 PB-constraints to clauses... 0.41 c -- Unit propagations: (none) 0.74 c -- Detecting intervals from adjacent constraints: ################################## 0.74 c -- Clauses(.)/Splits(s): (none) 0.74 c ---[ 355]---> BDD-cost: 465 0.77 c ---[ 353]---> BDD-cost: 439 0.79 c ---[ 351]---> BDD-cost: 465 0.81 c ---[ 349]---> BDD-cost: 465 0.84 c ---[ 347]---> BDD-cost: 487 0.86 c ---[ 345]---> BDD-cost: 465 0.89 c ---[ 343]---> BDD-cost: 465 0.91 c ---[ 341]---> BDD-cost: 487 0.94 c ---[ 339]---> BDD-cost: 735 0.97 c ---[ 337]---> BDD-cost: 487 1.00 c ---[ 335]---> BDD-cost: 487 1.02 c ---[ 333]---> BDD-cost: 487 1.05 c ---[ 331]---> BDD-cost: 491 1.08 c ---[ 329]---> BDD-cost: 487 1.10 c ---[ 327]---> BDD-cost: 487 1.13 c ---[ 325]---> BDD-cost: 439 1.15 c ---[ 323]---> BDD-cost: 439 1.17 c ---[ 321]---> BDD-cost: 459 1.20 c ---[ 319]---> BDD-cost: 439 1.22 c ---[ 317]---> BDD-cost: 467 1.24 c ---[ 315]---> BDD-cost: 439 1.26 c ---[ 313]---> BDD-cost: 485 1.29 c ---[ 311]---> BDD-cost: 485 1.32 c ---[ 309]---> BDD-cost: 467 1.34 c ---[ 307]---> BDD-cost: 489 1.37 c ---[ 305]---> BDD-cost: 485 1.39 c ---[ 303]---> BDD-cost: 439 1.41 c ---[ 301]---> BDD-cost: 485 1.44 c ---[ 299]---> BDD-cost: 485 1.47 c ---[ 297]---> BDD-cost: 485 1.49 c ---[ 295]---> BDD-cost: 732 1.53 c ---[ 293]---> BDD-cost: 485 1.55 c ---[ 291]---> BDD-cost: 439 1.57 c ---[ 289]---> BDD-cost: 485 1.60 c ---[ 288]---> Sorter-cost: 177 Base: 2 1.60 c ---[ 287]---> BDD-cost: 31 1.60 c ---[ 286]---> BDD-cost: 39 1.60 c ---[ 285]---> Sorter-cost: 181 Base: 2 2 2 1.60 c ---[ 284]---> Sorter-cost: 264 Base: 2 1.60 c ---[ 283]---> Sorter-cost: 261 Base: 3 1.60 c ---[ 282]---> BDD-cost: 43 1.60 c ---[ 281]---> BDD-cost: 34 1.60 c ---[ 280]---> Sorter-cost: 264 Base: 2 1.61 c ---[ 279]---> Sorter-cost: 292 Base: 3 1.61 c ---[ 278]---> Sorter-cost: 270 Base: 3 1.61 c ---[ 277]---> Sorter-cost: 231 Base: 7 1.61 c ---[ 276]---> Sorter-cost: 231 Base: 7 1.61 c ---[ 275]---> BDD-cost: 22 1.61 c ---[ 274]---> BDD-cost: 34 1.61 c ---[ 273]---> Sorter-cost: 231 Base: 7 1.61 c ---[ 272]---> Sorter-cost: 172 Base: 2 1.61 c ---[ 271]---> BDD-cost: 34 1.61 c ---[ 270]---> Sorter-cost: 232 Base: 7 1.61 c ---[ 269]---> Sorter-cost: 232 Base: 7 1.61 c ---[ 268]---> Sorter-cost: 178 Base: 2 1.61 c ---[ 267]---> Sorter-cost: 231 Base: 7 1.61 c ---[ 266]---> Sorter-cost: 264 Base: 2 1.61 c ---[ 265]---> Sorter-cost: 261 Base: 3 1.62 c ---[ 264]---> Sorter-cost: 177 Base: 2 1.62 c ---[ 263]---> BDD-cost: 43 1.62 c ---[ 262]---> BDD-cost: 34 1.62 c ---[ 261]---> Sorter-cost: 264 Base: 2 1.62 c ---[ 260]---> Sorter-cost: 264 Base: 2 1.62 c ---[ 259]---> Sorter-cost: 264 Base: 2 1.62 c ---[ 258]---> Sorter-cost: 264 Base: 2 1.62 c ---[ 257]---> Sorter-cost: 264 Base: 2 1.62 c ---[ 256]---> BDD-cost: 34 1.62 c ---[ 255]---> Sorter-cost: 264 Base: 2 1.62 c ---[ 254]---> Sorter-cost: 172 Base: 2 1.63 c ---[ 253]---> Sorter-cost: 177 Base: 2 1.63 c ---[ 252]---> BDD-cost: 34 1.63 c ---[ 251]---> Sorter-cost: 232 Base: 7 1.63 c ---[ 250]---> Sorter-cost: 232 Base: 7 1.63 c ---[ 249]---> Sorter-cost: 178 Base: 2 1.63 c ---[ 248]---> Sorter-cost: 264 Base: 2 1.63 c ---[ 247]---> Sorter-cost: 264 Base: 2 1.63 c ---[ 246]---> BDD-cost: 31 1.63 c ---[ 245]---> BDD-cost: 43 1.63 c ---[ 244]---> BDD-cost: 34 1.63 c ---[ 243]---> BDD-cost: 43 1.63 c ---[ 242]---> Sorter-cost: 177 Base: 2 1.63 c ---[ 241]---> BDD-cost: 43 1.63 c ---[ 240]---> BDD-cost: 43 1.63 c ---[ 239]---> BDD-cost: 43 1.63 c ---[ 238]---> BDD-cost: 43 1.63 c ---[ 237]---> BDD-cost: 34 1.63 c ---[ 236]---> BDD-cost: 43 1.63 c ---[ 235]---> BDD-cost: 43 1.63 c ---[ 234]---> BDD-cost: 34 1.63 c ---[ 233]---> BDD-cost: 43 1.64 c ---[ 232]---> BDD-cost: 43 1.64 c ---[ 231]---> Sorter-cost: 177 Base: 2 1.64 c ---[ 230]---> BDD-cost: 43 1.64 c ---[ 229]---> BDD-cost: 43 1.64 c ---[ 228]---> BDD-cost: 43 1.64 c ---[ 227]---> BDD-cost: 22 1.64 c ---[ 226]---> BDD-cost: 34 1.64 c ---[ 225]---> BDD-cost: 34 1.64 c ---[ 224]---> BDD-cost: 34 1.64 c ---[ 223]---> BDD-cost: 34 1.64 c ---[ 222]---> BDD-cost: 34 1.64 c ---[ 221]---> BDD-cost: 34 1.64 c ---[ 220]---> Sorter-cost: 177 Base: 2 1.64 c ---[ 219]---> BDD-cost: 34 1.64 c ---[ 218]---> BDD-cost: 34 1.64 c ---[ 217]---> BDD-cost: 34 1.64 c ---[ 216]---> BDD-cost: 34 1.64 c ---[ 215]---> BDD-cost: 34 1.64 c ---[ 214]---> BDD-cost: 34 1.64 c ---[ 213]---> BDD-cost: 34 1.64 c ---[ 212]---> BDD-cost: 34 1.64 c ---[ 211]---> BDD-cost: 34 1.64 c ---[ 210]---> BDD-cost: 34 1.64 c ---[ 209]---> BDD-cost: 31 1.64 c ---[ 208]---> Sorter-cost: 190 Base: 2 1.64 c ---[ 207]---> BDD-cost: 43 1.64 c ---[ 206]---> BDD-cost: 34 1.64 c ---[ 205]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 204]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 203]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 202]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 201]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 200]---> BDD-cost: 34 1.65 c ---[ 199]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 198]---> BDD-cost: 43 1.65 c ---[ 197]---> Sorter-cost: 172 Base: 2 1.65 c ---[ 196]---> BDD-cost: 34 1.65 c ---[ 195]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 194]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 193]---> Sorter-cost: 178 Base: 2 1.65 c ---[ 192]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 191]---> Sorter-cost: 191 Base: 2 1.65 c ---[ 190]---> BDD-cost: 47 1.65 c ---[ 189]---> BDD-cost: 43 1.65 c ---[ 188]---> BDD-cost: 34 1.65 c ---[ 187]---> BDD-cost: 34 1.65 c ---[ 186]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 185]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 184]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 183]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 182]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 181]---> BDD-cost: 34 1.66 c ---[ 180]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 179]---> Sorter-cost: 172 Base: 2 1.66 c ---[ 178]---> BDD-cost: 34 1.66 c ---[ 177]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 176]---> BDD-cost: 22 1.66 c ---[ 175]---> BDD-cost: 43 1.66 c ---[ 174]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 173]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 172]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 171]---> Sorter-cost: 185 Base: 2 1.66 c ---[ 170]---> Sorter-cost: 261 Base: 3 1.66 c ---[ 169]---> BDD-cost: 43 1.67 c ---[ 168]---> BDD-cost: 34 1.67 c ---[ 167]---> Sorter-cost: 264 Base: 2 1.67 c ---[ 166]---> Sorter-cost: 292 Base: 3 1.67 c ---[ 165]---> Sorter-cost: 270 Base: 3 1.67 c ---[ 164]---> BDD-cost: 43 1.67 c ---[ 163]---> Sorter-cost: 231 Base: 7 1.67 c ---[ 162]---> Sorter-cost: 231 Base: 7 1.67 c ---[ 161]---> BDD-cost: 34 1.67 c ---[ 160]---> Sorter-cost: 231 Base: 7 1.67 c ---[ 159]---> Sorter-cost: 172 Base: 2 1.67 c ---[ 158]---> BDD-cost: 34 1.67 c ---[ 157]---> Sorter-cost: 232 Base: 7 1.67 c ---[ 156]---> Sorter-cost: 232 Base: 7 1.67 c ---[ 155]---> Sorter-cost: 178 Base: 2 1.67 c ---[ 154]---> Sorter-cost: 231 Base: 7 1.68 c ---[ 153]---> BDD-cost: 43 1.68 c ---[ 152]---> Sorter-cost: 264 Base: 2 1.68 c ---[ 151]---> BDD-cost: 47 1.68 c ---[ 150]---> BDD-cost: 43 1.68 c ---[ 149]---> BDD-cost: 34 1.68 c ---[ 148]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 147]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 146]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 145]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 144]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 143]---> BDD-cost: 34 1.68 c ---[ 142]---> BDD-cost: 43 1.68 c ---[ 141]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 140]---> Sorter-cost: 172 Base: 2 1.68 c ---[ 139]---> BDD-cost: 34 1.68 c ---[ 138]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 137]---> Sorter-cost: 185 Base: 2 1.68 c ---[ 136]---> Sorter-cost: 185 Base: 2 1.69 c ---[ 135]---> Sorter-cost: 185 Base: 2 1.69 c ---[ 134]---> Sorter-cost: 185 Base: 2 1.69 c ---[ 133]---> BDD-cost: 39 1.69 c ---[ 132]---> BDD-cost: 43 1.69 c ---[ 131]---> BDD-cost: 43 1.69 c ---[ 130]---> BDD-cost: 34 1.69 c ---[ 129]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 128]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 127]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 126]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 125]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 124]---> BDD-cost: 34 1.69 c ---[ 123]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 122]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 121]---> BDD-cost: 34 1.69 c ---[ 120]---> BDD-cost: 34 1.69 c ---[ 119]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 118]---> Sorter-cost: 172 Base: 2 1.69 c ---[ 117]---> Sorter-cost: 172 Base: 2 1.70 c ---[ 116]---> Sorter-cost: 172 Base: 2 1.70 c ---[ 115]---> Sorter-cost: 172 Base: 2 1.70 c ---[ 114]---> Sorter-cost: 261 Base: 3 1.70 c ---[ 113]---> BDD-cost: 43 1.70 c ---[ 112]---> BDD-cost: 34 1.70 c ---[ 111]---> Sorter-cost: 264 Base: 2 1.70 c ---[ 110]---> Sorter-cost: 292 Base: 3 1.70 c ---[ 109]---> BDD-cost: 43 1.70 c ---[ 108]---> Sorter-cost: 270 Base: 3 1.70 c ---[ 107]---> Sorter-cost: 231 Base: 7 1.70 c ---[ 106]---> Sorter-cost: 231 Base: 7 1.70 c ---[ 105]---> BDD-cost: 34 1.70 c ---[ 104]---> Sorter-cost: 231 Base: 7 1.70 c ---[ 103]---> Sorter-cost: 172 Base: 2 1.70 c ---[ 102]---> BDD-cost: 34 1.70 c ---[ 101]---> Sorter-cost: 232 Base: 7 1.71 c ---[ 100]---> Sorter-cost: 232 Base: 7 1.71 c ---[ 99]---> Sorter-cost: 178 Base: 2 1.71 c ---[ 98]---> BDD-cost: 43 1.71 c ---[ 97]---> Sorter-cost: 231 Base: 7 1.71 c ---[ 96]---> Sorter-cost: 264 Base: 2 1.71 c ---[ 95]---> Sorter-cost: 260 Base: 3 1.72 c ---[ 94]---> BDD-cost: 43 1.72 c ---[ 93]---> BDD-cost: 34 1.72 c ---[ 92]---> Sorter-cost: 264 Base: 2 1.72 c ---[ 91]---> Sorter-cost: 292 Base: 3 1.72 c ---[ 90]---> Sorter-cost: 270 Base: 3 1.72 c ---[ 89]---> Sorter-cost: 197 Base: 2 2 2 1.72 c ---[ 88]---> Sorter-cost: 240 Base: 7 1.72 c ---[ 87]---> BDD-cost: 34 1.72 c ---[ 86]---> BDD-cost: 34 1.72 c ---[ 85]---> Sorter-cost: 240 Base: 7 1.72 c ---[ 84]---> Sorter-cost: 172 Base: 2 1.72 c ---[ 83]---> BDD-cost: 34 1.72 c ---[ 82]---> Sorter-cost: 232 Base: 7 1.72 c ---[ 81]---> Sorter-cost: 232 Base: 7 1.72 c ---[ 80]---> Sorter-cost: 178 Base: 2 1.73 c ---[ 79]---> Sorter-cost: 194 Base: 2 2 2 1.73 c ---[ 78]---> Sorter-cost: 264 Base: 2 1.73 c ---[ 77]---> BDD-cost: 43 1.73 c ---[ 76]---> Sorter-cost: 177 Base: 2 1.73 c ---[ 75]---> BDD-cost: 43 1.73 c ---[ 74]---> BDD-cost: 43 1.73 c ---[ 73]---> BDD-cost: 43 1.73 c ---[ 72]---> BDD-cost: 43 1.73 c ---[ 71]---> Sorter-cost: 261 Base: 3 1.73 c ---[ 70]---> BDD-cost: 43 1.73 c ---[ 69]---> BDD-cost: 34 1.73 c ---[ 68]---> Sorter-cost: 264 Base: 2 1.73 c ---[ 67]---> Sorter-cost: 270 Base: 3 1.73 c ---[ 66]---> Sorter-cost: 270 Base: 3 1.73 c ---[ 65]---> Sorter-cost: 177 Base: 2 1.73 c ---[ 64]---> Sorter-cost: 270 Base: 3 1.74 c ---[ 63]---> Sorter-cost: 270 Base: 3 1.74 c ---[ 62]---> BDD-cost: 34 1.74 c ---[ 61]---> Sorter-cost: 270 Base: 3 1.74 c ---[ 60]---> Sorter-cost: 172 Base: 2 1.74 c ---[ 59]---> BDD-cost: 34 1.74 c ---[ 58]---> Sorter-cost: 232 Base: 7 1.74 c ---[ 57]---> Sorter-cost: 232 Base: 7 1.74 c ---[ 56]---> Sorter-cost: 178 Base: 2 1.74 c ---[ 55]---> Sorter-cost: 270 Base: 3 1.74 c ---[ 54]---> Sorter-cost: 177 Base: 2 1.74 c ---[ 53]---> Sorter-cost: 264 Base: 2 1.74 c ---[ 52]---> Sorter-cost: 261 Base: 3 1.74 c ---[ 51]---> BDD-cost: 43 1.74 c ---[ 50]---> BDD-cost: 34 1.74 c ---[ 49]---> Sorter-cost: 264 Base: 2 1.75 c ---[ 48]---> Sorter-cost: 292 Base: 3 1.75 c ---[ 47]---> Sorter-cost: 270 Base: 3 1.75 c ---[ 46]---> Sorter-cost: 292 Base: 3 1.75 c ---[ 45]---> Sorter-cost: 292 Base: 3 1.75 c ---[ 44]---> BDD-cost: 34 1.75 c ---[ 43]---> Sorter-cost: 176 Base: 2 1.75 c ---[ 42]---> Sorter-cost: 292 Base: 3 1.75 c ---[ 41]---> Sorter-cost: 172 Base: 2 1.75 c ---[ 40]---> BDD-cost: 34 1.75 c ---[ 39]---> Sorter-cost: 232 Base: 7 1.75 c ---[ 38]---> Sorter-cost: 232 Base: 7 1.75 c ---[ 37]---> Sorter-cost: 178 Base: 2 1.75 c ---[ 36]---> Sorter-cost: 292 Base: 3 1.75 c ---[ 35]---> Sorter-cost: 264 Base: 2 1.76 c ---[ 34]---> Sorter-cost: 231 Base: 7 1.76 c ---[ 33]---> BDD-cost: 43 1.76 c ---[ 32]---> Sorter-cost: 177 Base: 2 1.76 c ---[ 31]---> BDD-cost: 34 1.76 c ---[ 30]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 29]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 28]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 27]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 26]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 25]---> BDD-cost: 34 1.76 c ---[ 24]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 23]---> Sorter-cost: 172 Base: 2 1.76 c ---[ 22]---> BDD-cost: 34 1.76 c ---[ 21]---> BDD-cost: 22 1.76 c ---[ 20]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 19]---> Sorter-cost: 232 Base: 7 1.76 c ---[ 18]---> Sorter-cost: 178 Base: 2 1.77 c ---[ 17]---> Sorter-cost: 232 Base: 7 1.77 c ---[ 16]---> Sorter-cost: 232 Base: 7 1.77 c ---[ 15]---> Sorter-cost: 261 Base: 3 1.77 c ---[ 14]---> BDD-cost: 43 1.77 c ---[ 13]---> BDD-cost: 34 1.77 c ---[ 12]---> Sorter-cost: 264 Base: 2 1.77 c ---[ 11]---> Sorter-cost: 292 Base: 3 1.77 c ---[ 10]---> Sorter-cost: 177 Base: 2 1.77 c ---[ 9]---> Sorter-cost: 270 Base: 3 1.77 c ---[ 8]---> Sorter-cost: 181 Base: 2 2 2 1.77 c ---[ 7]---> Sorter-cost: 240 Base: 7 1.77 c ---[ 6]---> BDD-cost: 34 1.77 c ---[ 5]---> Sorter-cost: 240 Base: 7 1.77 c ---[ 4]---> Sorter-cost: 172 Base: 2 1.78 c ---[ 3]---> BDD-cost: 34 1.78 c ---[ 2]---> Sorter-cost: 232 Base: 7 1.78 c ---[ 1]---> Sorter-cost: 232 Base: 7 1.78 c ---[ 0]---> Sorter-cost: 178 Base: 2 1.89 c ==================================[MINISAT+]================================== 1.89 c | Conflicts | Original | Learnt | Progress | 1.89 c | | Clauses Literals | Max Clauses Literals LPC | | 1.89 c ============================================================================== 1.89 c | 0 | 113627 282294 | 37875 0 0 nan | 0.000 % | 2.00 c | 100 | 113506 282021 | 41662 81 250 3.1 | 8.596 % | 2.06 c ============================================================================== 2.06 c [1mFound solution: 201[0m 2.06 o 201 2.12 c ---[ 0]---> Adder-cost: 8648 maxlim: 4130 bits: 13/13 13.79 c ==================================[MINISAT+]================================== 13.79 c | Conflicts | Original | Learnt | Progress | 13.79 c | | Clauses Literals | Max Clauses Literals LPC | | 13.79 c ============================================================================== 13.79 c | 159 | 173909 497793 | 57969 137 552 4.0 | 8.596 % | 13.89 c | 259 | 173909 497793 | 63765 237 1262 5.3 | 7.515 % | 13.96 c | 409 | 173909 497793 | 70142 387 2424 6.3 | 7.515 % | 14.21 c | 634 | 173851 497593 | 77156 604 3811 6.3 | 7.531 % | 14.41 c | 971 | 173851 497593 | 84872 941 8370 8.9 | 7.531 % | 14.54 c | 1477 | 173851 497593 | 93359 1447 15410 10.6 | 7.531 % | 14.84 c | 2240 | 173789 497454 | 102695 2206 27440 12.4 | 7.555 % | 15.26 c | 3385 | 173789 497454 | 112965 3351 45203 13.5 | 7.555 % | 16.10 c | 5097 | 173654 497067 | 124261 5048 69004 13.7 | 7.600 % | 17.58 c | 7659 | 173634 497012 | 136687 7606 127740 16.8 | 7.606 % | 20.64 c | 11503 | 173576 496871 | 150356 11442 426760 37.3 | 7.629 % | 25.44 c | 17269 | 173508 496718 | 165392 17199 722910 42.0 | 7.656 % | 25.99 c ============================================================================== 25.99 c [1mFound solution: 78[0m 25.99 o 78 26.05 c ---[ 0]---> Adder-cost: 0 maxlim: 4253 bits: 13/13 38.42 c ==================================[MINISAT+]================================== 38.42 c | Conflicts | Original | Learnt | Progress | 38.42 c | | Clauses Literals | Max Clauses Literals LPC | | 38.42 c ============================================================================== 38.42 c | 17750 | 173464 496537 | 57821 17669 733616 41.5 | 7.656 % | 38.55 c | 17850 | 173464 496537 | 63603 17769 737058 41.5 | 7.676 % | 38.75 c | 18001 | 173464 496537 | 69963 17920 739220 41.3 | 7.676 % | 39.08 c | 18226 | 173464 496537 | 76959 18145 746500 41.1 | 7.676 % | 39.57 c | 18565 | 173382 496328 | 84655 18457 751553 40.7 | 7.708 % | 40.23 c | 19071 | 173169 495845 | 93121 18928 763149 40.3 | 7.798 % | 40.87 c | 19830 | 173062 495554 | 102433 19670 778833 39.6 | 7.834 % | 41.84 c | 20969 | 172662 494595 | 112676 20772 799300 38.5 | 8.003 % | 43.18 c | 22679 | 172603 494411 | 123944 22471 857731 38.2 | 8.023 % | 45.15 c | 25242 | 172562 494311 | 136338 25031 994457 39.7 | 8.038 % | 48.92 c | 29087 | 172447 494008 | 149972 28857 1172615 40.6 | 8.075 % | 55.97 c | 34857 | 172447 494008 | 164970 34627 1775545 51.3 | 8.075 % | 62.14 c ============================================================================== 62.15 c [1mFound solution: 58[0m 62.15 o 58 62.21 c ---[ 0]---> Adder-cost: 0 maxlim: 4273 bits: 13/13 74.54 c ==================================[MINISAT+]================================== 74.54 c | Conflicts | Original | Learnt | Progress | 74.54 c | | Clauses Literals | Max Clauses Literals LPC | | 74.54 c ============================================================================== 74.54 c | 42763 | 172011 492979 | 57337 42470 2464892 58.0 | 8.075 % | 74.64 c | 42863 | 172011 492979 | 63070 42570 2469770 58.0 | 8.261 % | 74.75 c | 43013 | 172011 492979 | 69377 42720 2479214 58.0 | 8.261 % | 74.99 c | 43240 | 172011 492979 | 76315 42947 2490452 58.0 | 8.261 % | 75.37 c | 43577 | 172011 492979 | 83947 43284 2507692 57.9 | 8.261 % | 75.96 c | 44083 | 172011 492979 | 92341 43790 2534393 57.9 | 8.261 % | 76.89 c | 44842 | 172011 492979 | 101575 44549 2607813 58.5 | 8.261 % | 77.52 c | 45983 | 172011 492979 | 111733 45690 2740377 60.0 | 8.261 % | 79.17 c | 47691 | 171962 492814 | 122906 47383 2838868 59.9 | 8.273 % | 82.13 c | 50259 | 171897 492581 | 135197 49933 2984723 59.8 | 8.287 % | 86.21 c | 54104 | 171628 491740 | 148717 53723 3265461 60.8 | 8.366 % | 91.94 c ============================================================================== 91.94 c [1mFound solution: 55[0m 91.94 o 55 92.00 c ---[ 0]---> Adder-cost: 0 maxlim: 4276 bits: 13/13 104.38 c ==================================[MINISAT+]================================== 104.38 c | Conflicts | Original | Learnt | Progress | 104.38 c | | Clauses Literals | Max Clauses Literals LPC | | 104.38 c ============================================================================== 104.38 c | 58562 | 171614 491702 | 57204 58178 3491209 60.0 | 8.366 % | 104.58 c | 58662 | 171599 491669 | 62924 58277 3493233 59.9 | 8.379 % | 104.85 c | 58813 | 171542 491540 | 69216 58423 3497758 59.9 | 8.403 % | 105.21 c | 59038 | 171542 491540 | 76138 58648 3506219 59.8 | 8.403 % | 105.64 c | 59376 | 171379 491113 | 83752 58969 3534714 59.9 | 8.463 % | 106.17 c | 59884 | 171371 491083 | 92127 59475 3570131 60.0 | 8.465 % | 107.21 c | 60643 | 171362 491052 | 101340 60229 3602695 59.8 | 8.466 % | 108.81 c | 61784 | 171239 490659 | 111474 61327 3681844 60.0 | 8.504 % | 110.92 c | 63493 | 171204 490569 | 122621 63014 3805701 60.4 | 8.516 % | 113.34 c ============================================================================== 113.34 c [1mFound solution: 54[0m 113.34 o 54 113.40 c ---[ 0]---> Adder-cost: 0 maxlim: 4277 bits: 13/13 125.78 c ==================================[MINISAT+]================================== 125.78 c | Conflicts | Original | Learnt | Progress | 125.78 c | | Clauses Literals | Max Clauses Literals LPC | | 125.78 c ============================================================================== 125.78 c | 64769 | 171205 490576 | 57068 64290 3984815 62.0 | 8.516 % | 125.99 c | 64869 | 171205 490576 | 62774 23384 894628 38.3 | 8.517 % | 126.15 c | 65019 | 171205 490576 | 69052 23534 905001 38.5 | 8.517 % | 126.34 c | 65245 | 171205 490576 | 75957 23760 915503 38.5 | 8.517 % | 126.73 c | 65582 | 171196 490545 | 83553 24095 931995 38.7 | 8.519 % | 127.29 c | 66089 | 171173 490466 | 91908 24598 954469 38.8 | 8.525 % | 128.15 c | 66848 | 171164 490435 | 101099 25354 1001008 39.5 | 8.526 % | 129.03 c | 67987 | 171164 490435 | 111209 26493 1088532 41.1 | 8.526 % | 130.20 c | 69695 | 171120 490320 | 122330 28198 1249253 44.3 | 8.541 % | 132.00 c | 72257 | 171098 490264 | 134563 30757 1548501 50.3 | 8.549 % | 136.55 c | 76101 | 170775 489410 | 148019 34538 1800486 52.1 | 8.672 % | 140.46 c | 81867 | 170717 489259 | 162821 40297 2473805 61.4 | 8.691 % | 148.54 c | 90517 | 170672 489104 | 179103 48934 3475669 71.0 | 8.699 % | 163.75 c | 103491 | 170597 488893 | 197014 61894 5081275 82.1 | 8.720 % | 171.39 c ============================================================================== 171.39 c [1mFound solution: 48[0m 171.39 o 48 171.46 c ---[ 0]---> Adder-cost: 0 maxlim: 4283 bits: 13/13 183.95 c ==================================[MINISAT+]================================== 183.95 c | Conflicts | Original | Learnt | Progress | 183.95 c | | Clauses Literals | Max Clauses Literals LPC | | 183.95 c ============================================================================== 183.95 c | 110575 | 170475 488556 | 56825 68958 5921304 85.9 | 8.720 % | 184.17 c | 110676 | 170475 488556 | 62507 23167 1607939 69.4 | 8.768 % | 184.32 c | 110827 | 170475 488556 | 68758 23318 1617924 69.4 | 8.768 % | 184.52 c | 111052 | 170475 488556 | 75634 23543 1647314 70.0 | 8.768 % | 184.75 c | 111389 | 170475 488556 | 83197 23880 1669543 69.9 | 8.768 % | 185.25 c | 111895 | 170475 488556 | 91517 24386 1709183 70.1 | 8.768 % | 185.87 c | 112654 | 170475 488556 | 100668 25145 1781444 70.8 | 8.768 % | 186.75 c | 113794 | 170406 488399 | 110735 26282 1891987 72.0 | 8.799 % | 188.03 c | 115502 | 170406 488399 | 121809 27990 2084290 74.5 | 8.799 % | 191.28 c | 118065 | 170336 488184 | 133990 30532 2455359 80.4 | 8.819 % | 196.80 c | 121911 | 170336 488184 | 147389 34378 3077058 89.5 | 8.819 % | 202.43 c | 127679 | 170305 488103 | 162128 40108 3780953 94.3 | 8.831 % | 211.20 c | 136330 | 170079 487538 | 178341 48733 4868841 99.9 | 8.922 % | 225.25 c | 149304 | 170012 487357 | 196175 61701 6638172 107.6 | 8.946 % | 249.73 c | 168767 | 169951 487144 | 215792 81128 9395191 115.8 | 8.958 % | 291.12 c | 197960 | 169875 486925 | 237372 110308 13217075 119.8 | 8.987 % | 378.02 c | 241749 | 169677 486424 | 261109 154047 19489424 126.5 | 9.068 % | 449.45 c ============================================================================== 449.45 c [1mFound solution: 42[0m 449.45 o 42 449.53 c ---[ 0]---> Adder-cost: 0 maxlim: 4289 bits: 13/13 463.36 c ==================================[MINISAT+]================================== 463.36 c | Conflicts | Original | Learnt | Progress | 463.36 c | | Clauses Literals | Max Clauses Literals LPC | | 463.36 c ============================================================================== 463.36 c | 273904 | 169421 485659 | 56473 180932 23046981 127.4 | 9.068 % | 464.50 c | 274006 | 169388 485583 | 62120 24670 1887151 76.5 | 9.177 % | 464.72 c | 274156 | 169388 485583 | 68332 24820 1889805 76.1 | 9.177 % | 464.92 c | 274383 | 169388 485583 | 75165 25047 1913600 76.4 | 9.177 % | 465.22 c | 274723 | 169388 485583 | 82682 25387 1956095 77.1 | 9.177 % | 465.64 c | 275231 | 169388 485583 | 90950 25895 2007644 77.5 | 9.177 % | 466.19 c | 275991 | 169388 485583 | 100045 26655 2078261 78.0 | 9.177 % | 467.52 c | 277131 | 169388 485583 | 110049 27795 2226768 80.1 | 9.177 % | 469.70 c | 278839 | 169388 485583 | 121054 29503 2436977 82.6 | 9.177 % | 471.88 c | 281403 | 169388 485583 | 133160 32067 2752089 85.8 | 9.177 % | 475.95 c | 285248 | 169313 485403 | 146476 35903 3091864 86.1 | 9.207 % | 481.29 c | 291016 | 169293 485357 | 161124 41670 3869724 92.9 | 9.214 % | 489.68 c | 299665 | 169267 485298 | 177236 50318 4907970 97.5 | 9.225 % | 505.04 c | 312639 | 169235 485225 | 194960 63291 6689997 105.7 | 9.240 % | 532.52 c | 332102 | 169203 485129 | 214456 82747 9239813 111.7 | 9.252 % | 576.30 c | 361294 | 169181 485078 | 235901 111936 13205834 118.0 | 9.262 % | 664.86 c | 405083 | 169120 484938 | 259491 155721 20267882 130.2 | 9.289 % | 836.74 c | 470768 | 168945 484461 | 285441 221370 29298231 132.3 | 9.349 % | 850.62 c ============================================================================== 850.62 c [1mFound solution: 40[0m 850.62 o 40 850.70 c ---[ 0]---> Adder-cost: 0 maxlim: 4291 bits: 13/13 865.55 c ==================================[MINISAT+]================================== 865.55 c | Conflicts | Original | Learnt | Progress | 865.55 c | | Clauses Literals | Max Clauses Literals LPC | | 865.55 c ============================================================================== 865.55 c | 475378 | 168720 483934 | 56240 225971 29940864 132.5 | 9.349 % | 867.41 c | 475480 | 168700 483890 | 61864 27081 2182523 80.6 | 9.468 % | 867.60 c | 475631 | 168700 483890 | 68050 27232 2185697 80.3 | 9.468 % | 868.02 c | 475856 | 168700 483890 | 74855 27457 2196655 80.0 | 9.468 % | 868.54 c | 476194 | 168631 483713 | 82340 27787 2219766 79.9 | 9.492 % | 869.07 c | 476702 | 168631 483713 | 90575 28295 2255351 79.7 | 9.492 % | 869.79 c | 477461 | 168598 483637 | 99632 29053 2327905 80.1 | 9.508 % | 870.93 c | 478601 | 168598 483637 | 109595 30193 2460683 81.5 | 9.508 % | 873.36 c | 480312 | 168598 483637 | 120555 31904 2680772 84.0 | 9.508 % | 875.84 c | 482876 | 168598 483637 | 132610 34468 2962701 86.0 | 9.508 % | 879.64 c | 486720 | 168537 483475 | 145872 38297 3358752 87.7 | 9.532 % | 886.43 c | 492486 | 168537 483475 | 160459 44063 4048369 91.9 | 9.532 % | 895.87 c | 501138 | 168537 483475 | 176505 52715 5192379 98.5 | 9.532 % | 913.43 c | 514113 | 168491 483369 | 194155 65687 6929743 105.5 | 9.553 % | 944.68 c | 533575 | 168417 483199 | 213571 85147 9503729 111.6 | 9.585 % | 949.53 c ============================================================================== 949.53 c [1mFound solution: 39[0m 949.53 o 39 949.61 c ---[ 0]---> Adder-cost: 0 maxlim: 4292 bits: 13/13 962.85 c ==================================[MINISAT+]================================== 962.85 c | Conflicts | Original | Learnt | Progress | 962.85 c | | Clauses Literals | Max Clauses Literals LPC | | 962.85 c ============================================================================== 962.85 c | 536131 | 168419 483208 | 56139 87703 9763965 111.3 | 9.585 % | 963.27 c | 536231 | 168360 483074 | 61752 23243 1786591 76.9 | 9.612 % | 963.45 c | 536381 | 168360 483074 | 67928 23393 1788347 76.4 | 9.612 % | 963.72 c | 536606 | 168351 483043 | 74721 23611 1790448 75.8 | 9.613 % | 964.07 c | 536943 | 168351 483043 | 82193 23948 1804451 75.3 | 9.613 % | 964.60 c | 537450 | 168317 482966 | 90412 24454 1847754 75.6 | 9.628 % | 965.21 c | 538213 | 168317 482966 | 99453 25217 1945180 77.1 | 9.628 % | 966.50 c | 539353 | 168317 482966 | 109399 26357 2080050 78.9 | 9.628 % | 968.02 c | 541061 | 168317 482966 | 120338 28065 2296626 81.8 | 9.628 % | 971.37 c | 543624 | 168306 482939 | 132372 30627 2691419 87.9 | 9.634 % | 975.32 c | 547469 | 168306 482939 | 145610 34472 3073042 89.1 | 9.634 % | 982.29 c | 553235 | 168297 482908 | 160171 40235 3910645 97.2 | 9.636 % | 993.87 c | 561885 | 168278 482854 | 176188 48882 5151799 105.4 | 9.642 % | 1007.22 c | 574860 | 168243 482773 | 193807 61855 6988846 113.0 | 9.658 % | 1038.17 c | 594321 | 168234 482742 | 213187 81312 9697425 119.3 | 9.660 % | 1096.62 c | 623516 | 168085 482396 | 234506 110497 13396063 121.2 | 9.723 % | 1187.08 c | 667308 | 168021 482210 | 257957 154279 19796338 128.3 | 9.744 % | 1372.17 c | 732993 | 167859 481827 | 283752 219957 28493925 129.5 | 9.817 % | 1656.18 c | 831519 | 167493 480893 | 312128 48472 4729877 97.6 | 9.957 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s SATISFIABLE 1801.19 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 1801.19 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 1801.19 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1801.19 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1801.19 v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 1801.19 v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 -x6693 -x6694 1801.19 v -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 1801.19 v -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 1801.19 v -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 1801.19 v -x7046 -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 1801.19 v -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 1801.19 v -x7380 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 1801.19 v -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x8011 -x8012 -x8013 1801.19 v -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 1801.19 v -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 1801.19 v -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 1801.19 v -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1801.19 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1801.19 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 1801.19 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 1801.19 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1801.19 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1801.19 v -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1801.19 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 1801.19 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1801.19 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1801.19 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 1801.19 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1801.19 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1801.19 v -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1801.19 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 1801.19 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1801.19 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 1801.19 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1801.19 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 1801.19 v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 1801.19 v -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1801.19 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1801.19 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1801.19 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 1801.19 v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1801.19 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1801.19 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1801.19 v -x5066 -x5067 -x5068 -x5069 -x5070 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 1801.19 v -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 1801.19 v -x5400 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1801.19 v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 1801.19 v -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 1801.19 v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 1801.19 v -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 1801.19 v -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 1801.19 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 1801.19 v -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 1801.19 v -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 1801.19 v -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 1801.19 v -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 1801.19 v -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 1801.19 v -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 1801.19 v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 1801.19 v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 1801.19 v -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 1801.19 v -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 1801.19 v -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 1801.19 v -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 1801.19 v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 1801.19 v -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 1801.19 v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 1801.19 v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1801.19 v -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 1801.19 v -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 1801.19 v -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 1801.19 v -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 1801.19 v -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 1801.19 v -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 1801.19 v -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 1801.19 v -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 1801.19 v -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 1801.19 v -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 1801.19 v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 1801.19 v -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 1801.19 v -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 1801.19 v -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 1801.19 v -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 1801.19 v -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 1801.19 v -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 1801.19 v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 1801.19 v -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 1801.19 v -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 1801.19 v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 1801.19 v -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 1801.19 v -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 1801.19 v -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 1801.19 v -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 1801.19 v -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 1801.19 v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 1801.19 v -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 1801.19 v -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 1801.19 v -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 1801.19 v -x7261 x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 1801.19 v -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 1801.19 v -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 1801.19 v -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 1801.19 v -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 1801.19 v -x7346 -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 1801.19 v -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 1801.19 v -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 1801.19 v -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 1801.19 v -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 1801.19 v -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 1801.19 v -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 1801.19 v -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 1801.19 v -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 1801.19 v -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 1801.19 v -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 1801.19 v -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 1801.19 v -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 1801.19 v -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 1801.19 v -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 1801.19 v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 1801.19 v -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 1801.19 v -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7711 1801.19 v -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 1801.19 v -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 1801.19 v -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 1801.19 v -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 1801.19 v -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 1801.19 v -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 1801.19 v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 1801.19 v -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 1801.19 v -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 1801.19 v -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 1801.19 v -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 1801.19 v -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 1801.19 v -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 1801.19 v -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 1801.19 v -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 1801.19 v -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 1801.19 v -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 1801.19 v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 1801.19 v -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 1801.19 v -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 1801.19 v -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 1801.19 v -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 1801.19 v -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 1801.19 v -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 1801.19 v -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 1801.19 v -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 1801.19 v -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 1801.19 v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 1801.19 v -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 1801.19 v -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 1801.19 v -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 1801.19 v -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 1801.19 v -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 1801.19 v -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 1801.19 v -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 1801.19 v -x8337 -x8338 -x8339 -x8340 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 1801.19 v -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 1801.19 v -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 1801.19 v -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 1801.19 v -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 1801.19 v -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 1801.19 v -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 1801.19 v -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 1801.19 v -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 1801.19 v -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 1801.19 v -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 1801.19 v -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 1801.19 v -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 1801.19 v -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 1801.19 v -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 1801.19 v -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 1801.19 v -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 1801.19 v -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x91 -x92 -x93 1801.19 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 1801.19 v -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 1801.19 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 1801.19 v -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1801.19 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 1801.19 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1801.19 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 1801.19 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 1801.19 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 1801.19 v -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 1801.19 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 1801.19 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 1801.19 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 1801.19 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1801.19 v -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1801.19 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1801.19 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 1801.19 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 1801.19 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1801.19 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1801.19 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 1801.19 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1801.19 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1801.19 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 1801.19 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 1801.19 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1801.19 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 1801.19 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1801.19 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1801.19 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 1801.19 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1801.19 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 1801.19 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1801.19 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1801.19 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1801.19 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1801.19 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 1801.19 v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1801.19 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 1801.19 v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 1801.19 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1801.19 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1801.19 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1801.19 v -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1801.19 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1801.19 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1801.19 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1801.19 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1801.19 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1801.19 v -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1801.19 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1801.19 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1801.19 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1801.19 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1801.19 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1801.19 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1801.19 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1801.19 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1801.19 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1801.19 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1801.19 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 1801.19 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1801.19 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1801.19 v -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 1801.19 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1801.19 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 1801.19 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 1801.19 v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 1801.19 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 1801.19 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1801.19 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 1801.19 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1801.19 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1801.19 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 1801.19 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1801.19 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1801.19 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1801.19 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 1801.19 v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1801.19 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 1801.19 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1801.19 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1801.19 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 1801.19 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 1801.19 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1801.19 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1801.19 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1801.19 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1801.19 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1801.19 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1801.19 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1801.19 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1801.19 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1801.19 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 1801.19 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1801.19 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 1801.19 v -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1801.19 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1801.19 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1801.19 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1801.19 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1801.19 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1801.19 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1801.19 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1801.19 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1801.19 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1801.19 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1801.19 v -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1801.19 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1801.19 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1801.19 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1801.19 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1801.19 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1801.19 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 1801.19 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1801.19 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1801.19 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1801.19 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 1801.19 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1801.19 v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1801.19 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1801.19 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1801.19 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1801.19 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1801.19 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1801.19 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1801.19 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1801.19 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 1801.19 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1801.19 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1801.19 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1801.19 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1801.19 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1801.19 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1801.19 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1801.19 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1801.19 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1801.19 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1801.19 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1801.19 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1801.19 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1801.19 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1801.19 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1801.19 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1801.19 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1801.19 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1801.19 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1801.19 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1801.19 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1801.19 v -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 1801.19 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 1801.19 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 1801.19 v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1801.19 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 1801.19 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1801.19 v -x3161 -x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1801.19 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1801.19 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1801.19 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 1801.19 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1801.19 v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 1801.19 v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1801.19 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 1801.19 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1801.19 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1801.19 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1801.19 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 1801.19 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 1801.19 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1801.19 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1801.19 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1801.19 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1801.19 v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 1801.19 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 1801.19 v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1801.19 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 1801.19 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 1801.19 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 1801.19 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1801.19 v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1801.19 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1801.19 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1801.19 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1801.19 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1801.19 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1801.19 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1801.19 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1801.19 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1801.19 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1801.19 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1801.19 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1801.19 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1801.19 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1801.19 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1801.19 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1801.19 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1801.19 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1801.19 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1801.19 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1801.19 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1801.19 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1801.19 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1801.19 v -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1801.19 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1801.19 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1801.19 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 1801.19 v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 1801.19 v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 1801.19 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 1801.19 v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 -x4215 1801.19 v -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 1801.19 v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 1801.19 v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 1801.19 v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 1801.19 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1801.19 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 1801.19 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 1801.19 v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1801.19 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1801.19 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 1801.19 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1801.19 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 1801.19 v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1801.19 v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 1801.19 v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 1801.19 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 1801.19 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 1801.19 v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 1801.19 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1801.19 v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 1801.19 v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 1801.19 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1801.19 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 1801.19 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1801.19 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1801.19 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1801.19 v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 1801.19 v -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1801.19 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 1801.19 v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1801.19 v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 1801.19 v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 1801.19 v -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 1801.19 v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 1801.19 v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 1801.19 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 1801.19 v -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 1801.19 v -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 1801.19 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 1801.19 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 1801.19 v -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 1801.19 v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1801.19 v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 1801.19 v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 1801.19 v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 1801.19 v x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1801.19 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1801.19 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1801.19 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1801.19 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1801.19 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1801.19 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1801.19 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1801.19 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1801.19 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1801.19 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1801.19 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1801.19 v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 1801.19 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1801.19 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1801.19 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1801.19 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1801.19 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 1801.19 v -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 1801.19 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 1801.19 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 1801.19 v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 1801.19 v -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 1801.19 v -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 1801.19 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 1801.19 v -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 1801.19 v -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 1801.19 v -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 1801.19 v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 1801.19 v -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 1801.19 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 1801.19 v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 1801.19 v -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 1801.19 v -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 1801.19 v -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 1801.19 v -x5696 -x5697 -x5698 -x5699 -x5700 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 1801.19 v -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 1801.19 v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 1801.19 v -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 1801.19 v -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 1801.19 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 1801.19 v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1801.19 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1801.19 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1801.19 v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 1801.19 v -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 1801.19 v -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 1801.19 v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 1801.19 v -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 1801.19 v -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 1801.19 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 1801.19 v -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 1801.19 v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 1801.19 v -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 1801.19 v -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 1801.19 v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 1801.19 v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 1801.19 v -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 1801.19 v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 1801.19 v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 1801.19 v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 1801.19 v -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 1801.19 v -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1801.19 v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 1801.19 v -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 1801.19 v -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 1801.19 v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 1801.19 v -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 1801.19 v -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x8671 -x8672 -x8783 1801.19 v -x8883 -x8894 -x8905 -x8916 -x8927 -x8938 -x8949 -x8673 -x8684 -x8695 -x8706 -x8717 x8728 -x8739 -x8750 -x8761 -x8772 1801.19 v -x8784 -x8795 -x8806 -x8817 -x8828 -x8839 -x8850 -x8861 -x8872 -x8882 -x8884 -x8885 -x8886 x8887 -x8888 -x8889 x8890 -x8891 1801.19 v -x8892 -x8893 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8906 -x8907 -x8908 -x8909 -x8910 1801.19 v -x8911 -x8912 x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8928 -x8929 1801.19 v -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 x8937 -x8939 -x8940 -x8941 -x8942 -x8943 x8944 -x8945 -x8946 -x8947 -x8948 1801.19 v -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 1801.19 v -x8681 -x8682 -x8683 x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8696 -x8697 -x8698 -x8699 1801.19 v -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8707 -x8708 -x8709 x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8718 1801.19 v x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 1801.19 v -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 x8746 -x8747 -x8748 -x8749 -x8751 x8752 x8753 -x8754 -x8755 -x8756 1801.19 v -x8757 -x8758 -x8759 -x8760 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8773 -x8774 -x8775 1801.19 v x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 1801.19 v -x8796 x8797 -x8798 x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8807 -x8808 -x8809 -x8810 x8811 -x8812 -x8813 -x8814 1801.19 v -x8815 -x8816 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8829 -x8830 -x8831 -x8832 -x8833 1801.19 v -x8834 -x8835 -x8836 -x8837 -x8838 x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 1801.19 v -x8853 -x8854 -x8855 x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 x8871 1801.19 v -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881
OK 39
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-34927-1149251237 -o ROOT/results/node38/solver-34927-1149251237 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/34927-1149251237/instance-34927-1149251237.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1675384/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=1180 CPUtime=0 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 137 0 0 0 0 0 0 0 19 0 1 0 190789973 1208320 122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 295 122 67 215 0 77 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1658680/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=18444 CPUtime=9.99 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 4603 0 0 0 997 2 0 0 25 0 1 0 190789973 18886656 4282 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 4611 4282 111 215 0 4393 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 18444 [startup+20.01 s] /proc/loadavg: 0.94 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1639864/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=38724 CPUtime=19.99 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 10500 0 0 0 1995 4 0 0 25 0 1 0 190789973 39653376 8983 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 9681 8983 124 215 0 9463 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 38724 [startup+30.016 s] /proc/loadavg: 0.95 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1637112/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=41436 CPUtime=30 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 11302 0 0 0 2995 5 0 0 25 0 1 0 190789973 42430464 9677 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 10359 9677 124 215 0 10141 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 41436 [startup+40.0219 s] /proc/loadavg: 0.96 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1637368/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=41104 CPUtime=40 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 11551 0 0 0 3995 5 0 0 25 0 1 0 190789973 42090496 9615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 10276 9615 124 215 0 10058 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 41104 [startup+50.0278 s] /proc/loadavg: 0.96 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1635128/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=43364 CPUtime=50 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 12099 0 0 0 4994 6 0 0 25 0 1 0 190789973 44404736 10163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 10841 10163 124 215 0 10623 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 43364 [startup+60.0338 s] /proc/loadavg: 0.97 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1630072/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=48364 CPUtime=60 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 13361 0 0 0 5993 7 0 0 25 0 1 0 190789973 49524736 11425 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581204 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 12091 11425 124 215 0 11873 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48364 [startup+70.0397 s] /proc/loadavg: 0.97 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1628472/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=50028 CPUtime=70 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 13868 0 0 0 6993 7 0 0 25 0 1 0 190789973 51228672 11824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005323 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 12507 11824 124 215 0 12289 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 50028 [startup+80.0457 s] /proc/loadavg: 0.98 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1627768/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=50684 CPUtime=80.01 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 14354 0 0 0 7993 8 0 0 25 0 1 0 190789973 51900416 11998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 12671 11998 124 215 0 12453 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 50684 [startup+90.0516 s] /proc/loadavg: 0.98 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1625272/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=53304 CPUtime=90.01 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 14991 0 0 0 8992 9 0 0 25 0 1 0 190789973 54583296 12635 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 13326 12635 124 215 0 13108 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 53304 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1623672/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=54784 CPUtime=100.01 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 15508 0 0 0 9992 9 0 0 25 0 1 0 190789973 56098816 13032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530499 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 13696 13032 124 215 0 13478 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 54784 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1623672/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=54872 CPUtime=110.02 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 15841 0 0 0 10992 10 0 0 25 0 1 0 190789973 56188928 13032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 13718 13032 124 215 0 13500 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 54872 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1621304/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=57200 CPUtime=120.02 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16539 0 0 0 11991 11 0 0 25 0 1 0 190789973 58572800 13611 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 14300 13611 124 215 0 14082 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 57200 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1621944/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=56380 CPUtime=130.02 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16674 0 0 0 12991 11 0 0 25 0 1 0 190789973 57733120 13413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573857 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 14095 13413 124 215 0 13877 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 56380 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1621944/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=56380 CPUtime=140.02 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16674 0 0 0 13991 11 0 0 25 0 1 0 190789973 57733120 13413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 14095 13413 124 215 0 13877 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 56380 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1621944/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=56380 CPUtime=150.03 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16674 0 0 0 14992 11 0 0 25 0 1 0 190789973 57733120 13413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 14095 13413 124 215 0 13877 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 56380 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1619896/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=58612 CPUtime=160.02 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 17232 0 0 0 15991 11 0 0 25 0 1 0 190789973 60018688 13971 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 14653 13971 124 215 0 14435 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 58612 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1614584/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=63984 CPUtime=170.03 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 18557 0 0 0 16990 13 0 0 25 0 1 0 190789973 65519616 15296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 15996 15296 124 215 0 15778 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 63984 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1612536/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=65992 CPUtime=180.03 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 19160 0 0 0 17990 13 0 0 25 0 1 0 190789973 67575808 15800 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012160 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 16498 15800 124 215 0 16280 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 65992 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1613240/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=65020 CPUtime=190.03 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 19241 0 0 0 18990 13 0 0 25 0 1 0 190789973 66580480 15578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574127 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 16255 15578 124 215 0 16037 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 65020 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1613240/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=65020 CPUtime=200.03 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 19241 0 0 0 19990 13 0 0 25 0 1 0 190789973 66580480 15578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 16255 15578 124 215 0 16037 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 65020 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4676 /proc/meminfo: memFree=1613240/2055920 swapFree=4181196/4192956 ################ # More data... # ################ [pid=4676] ppid=4674 vsize=209488 CPUtime=1781.47 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178089 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 209488 [startup+1783.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1782.47 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178189 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 209488 [startup+1784.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1783.48 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178290 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 209488 [startup+1785.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1784.48 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178390 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 209488 [startup+1786.11 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1785.49 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178491 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581022 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 209488 [startup+1787.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1786.49 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178591 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 209488 [startup+1788.12 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1787.49 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178691 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 209488 [startup+1789.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1788.5 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178792 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 209488 [startup+1790.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1789.5 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178892 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580789 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 209488 [startup+1791.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1790.51 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178993 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 209488 [startup+1792.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1791.51 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179093 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574102 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 209488 [startup+1793.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1792.52 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179194 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 209488 [startup+1794.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1793.52 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179294 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 209488 [startup+1795.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1794.53 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179395 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 209488 [startup+1796.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1795.53 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179495 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 209488 [startup+1797.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1796.54 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179596 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 209488 [startup+1798.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1797.54 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179696 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 209488 [startup+1799.18 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1798.55 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179797 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 209488 [startup+1800.18 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1799.55 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179897 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 209488 [startup+1801.19 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1800.55 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179997 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 209488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4678 /proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956 [pid=4676] ppid=4674 vsize=209488 CPUtime=1800.56 /proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179998 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4676/statm: 52372 51655 124 215 0 52154 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 209488 Sending SIGTERM to -4676 Sleeping 2 seconds Child status: 10 Real time (s): 1801.23 CPU time (s): 1800.6 CPU user time (s): 1799.99 CPU system time (s): 0.617906 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 209488
Begin job on node38 on Fri Jun 2 12:27:17 UTC 2006 FILE ID= 34927-1149251237 PBS_JOBID= 298099 BENCH NAME= ROOT/tmp/node38/34927-1149251237/instance-34927-1149251237.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/34927-1149251237/instance-34927-1149251237.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-34927-1149251237 -o ROOT/results/node38/solver-34927-1149251237 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/34927-1149251237/instance-34927-1149251237.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= eacfeaf84791543db8ee3be1e77f11f6 RANDOM SEED= 302128136 /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.267 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.267 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: 1675592 kB Buffers: 21408 kB Cached: 288968 kB SwapCached: 3512 kB Active: 33920 kB Inactive: 285220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1675592 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14904 kB Slab: 47124 kB Committed_AS: 257612 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Fri Jun 2 12:57:18 UTC 2006