Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 16044650 | 1800.12 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb |
MD5SUM | 041d40ba01d992f8c3bb358df2c9aea9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2191362 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2191362 |
Optimality of the best value was proved | NO |
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 | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1612776422946 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1612776422946 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.39/0.43 c Converting 357 PB-constraints to clauses... 0.39/0.43 c -- Unit propagations: (none) 0.59/0.69 c -- Detecting intervals from adjacent constraints: ################################## 0.59/0.69 c -- Clauses(.)/Splits(s): (none) 0.59/0.69 c ---[ 355]---> Adder-cost: 434 maxlim: 225263 bits: 18/18 0.69/0.73 c ---[ 353]---> Adder-cost: 406 maxlim: 124911 bits: 17/17 0.69/0.76 c ---[ 351]---> Adder-cost: 434 maxlim: 223215 bits: 18/18 0.79/0.80 c ---[ 349]---> Adder-cost: 434 maxlim: 227311 bits: 18/18 0.79/0.83 c ---[ 347]---> Adder-cost: 456 maxlim: 372719 bits: 19/19 0.79/0.87 c ---[ 345]---> Adder-cost: 434 maxlim: 228335 bits: 18/18 0.89/0.91 c ---[ 343]---> Adder-cost: 434 maxlim: 229359 bits: 18/18 0.89/0.95 c ---[ 341]---> Adder-cost: 456 maxlim: 372719 bits: 19/19 0.89/0.99 c ---[ 339]---> Adder-cost: 458 maxlim: 431087 bits: 19/19 0.99/1.03 c ---[ 337]---> Adder-cost: 456 maxlim: 377839 bits: 19/19 0.99/1.07 c ---[ 335]---> Adder-cost: 456 maxlim: 375791 bits: 19/19 1.09/1.11 c ---[ 333]---> Adder-cost: 434 maxlim: 222191 bits: 18/18 1.09/1.15 c ---[ 331]---> Adder-cost: 458 maxlim: 434159 bits: 19/19 1.09/1.19 c ---[ 329]---> Adder-cost: 456 maxlim: 373743 bits: 19/19 1.19/1.23 c ---[ 327]---> Adder-cost: 456 maxlim: 381935 bits: 19/19 1.19/1.26 c ---[ 325]---> Adder-cost: 406 maxlim: 125935 bits: 17/17 1.29/1.30 c ---[ 323]---> Adder-cost: 406 maxlim: 126959 bits: 17/17 1.29/1.33 c ---[ 321]---> Adder-cost: 454 maxlim: 367599 bits: 19/19 1.29/1.37 c ---[ 319]---> Adder-cost: 416 maxlim: 133103 bits: 18/18 1.39/1.40 c ---[ 317]---> Adder-cost: 438 maxlim: 245743 bits: 18/18 1.39/1.44 c ---[ 315]---> Adder-cost: 416 maxlim: 135151 bits: 18/18 1.39/1.48 c ---[ 313]---> Adder-cost: 438 maxlim: 238575 bits: 18/18 1.49/1.51 c ---[ 311]---> Adder-cost: 454 maxlim: 368623 bits: 19/19 1.49/1.55 c ---[ 309]---> Adder-cost: 438 maxlim: 241647 bits: 18/18 1.49/1.59 c ---[ 307]---> Adder-cost: 458 maxlim: 416751 bits: 19/19 1.59/1.63 c ---[ 305]---> Adder-cost: 454 maxlim: 365551 bits: 19/19 1.59/1.67 c ---[ 303]---> Adder-cost: 384 maxlim: 66543 bits: 17/17 1.69/1.70 c ---[ 301]---> Adder-cost: 454 maxlim: 364527 bits: 19/19 1.69/1.74 c ---[ 299]---> Adder-cost: 454 maxlim: 358383 bits: 19/19 1.69/1.78 c ---[ 297]---> Adder-cost: 454 maxlim: 361455 bits: 19/19 1.79/1.82 c ---[ 295]---> Adder-cost: 458 maxlim: 413679 bits: 19/19 1.79/1.86 c ---[ 293]---> Adder-cost: 454 maxlim: 354287 bits: 19/19 1.89/1.90 c ---[ 291]---> Adder-cost: 384 maxlim: 66543 bits: 17/17 1.89/1.93 c ---[ 289]---> Adder-cost: 454 maxlim: 355311 bits: 19/19 1.89/1.97 c ---[ 288]---> BDD-cost: 16 1.89/1.97 c ---[ 287]---> BDD-cost: 15 1.89/1.97 c ---[ 286]---> BDD-cost: 15 1.89/1.97 c ---[ 285]---> BDD-cost: 17 1.89/1.97 c ---[ 284]---> BDD-cost: 20 1.89/1.97 c ---[ 283]---> BDD-cost: 20 1.89/1.97 c ---[ 282]---> BDD-cost: 15 1.89/1.97 c ---[ 281]---> BDD-cost: 14 1.89/1.97 c ---[ 280]---> BDD-cost: 18 1.89/1.97 c ---[ 279]---> BDD-cost: 19 1.89/1.97 c ---[ 278]---> BDD-cost: 20 1.89/1.97 c ---[ 277]---> BDD-cost: 20 1.89/1.97 c ---[ 276]---> BDD-cost: 20 1.89/1.97 c ---[ 275]---> BDD-cost: 14 1.89/1.97 c ---[ 274]---> BDD-cost: 14 1.89/1.97 c ---[ 273]---> BDD-cost: 20 1.89/1.97 c ---[ 272]---> BDD-cost: 15 1.89/1.97 c ---[ 271]---> BDD-cost: 14 1.89/1.97 c ---[ 270]---> BDD-cost: 18 1.89/1.97 c ---[ 269]---> BDD-cost: 16 1.89/1.98 c ---[ 268]---> BDD-cost: 16 1.89/1.98 c ---[ 267]---> BDD-cost: 20 1.89/1.98 c ---[ 266]---> BDD-cost: 20 1.89/1.98 c ---[ 265]---> BDD-cost: 20 1.89/1.98 c ---[ 264]---> BDD-cost: 16 1.89/1.98 c ---[ 263]---> BDD-cost: 15 1.89/1.98 c ---[ 262]---> BDD-cost: 14 1.89/1.98 c ---[ 261]---> BDD-cost: 20 1.89/1.98 c ---[ 260]---> BDD-cost: 20 1.89/1.98 c ---[ 259]---> BDD-cost: 20 1.89/1.98 c ---[ 258]---> BDD-cost: 20 1.89/1.98 c ---[ 257]---> BDD-cost: 20 1.89/1.98 c ---[ 256]---> BDD-cost: 14 1.89/1.98 c ---[ 255]---> BDD-cost: 20 1.89/1.98 c ---[ 254]---> BDD-cost: 15 1.89/1.98 c ---[ 253]---> BDD-cost: 16 1.89/1.98 c ---[ 252]---> BDD-cost: 14 1.89/1.98 c ---[ 251]---> BDD-cost: 18 1.89/1.98 c ---[ 250]---> BDD-cost: 16 1.89/1.98 c ---[ 249]---> BDD-cost: 16 1.89/1.98 c ---[ 248]---> BDD-cost: 20 1.89/1.98 c ---[ 247]---> BDD-cost: 20 1.89/1.98 c ---[ 246]---> BDD-cost: 16 1.89/1.98 c ---[ 245]---> BDD-cost: 16 1.89/1.98 c ---[ 244]---> BDD-cost: 14 1.89/1.98 c ---[ 243]---> BDD-cost: 16 1.89/1.98 c ---[ 242]---> BDD-cost: 16 1.89/1.98 c ---[ 241]---> BDD-cost: 16 1.89/1.98 c ---[ 240]---> BDD-cost: 16 1.89/1.98 c ---[ 239]---> BDD-cost: 16 1.89/1.98 c ---[ 238]---> BDD-cost: 16 1.89/1.98 c ---[ 237]---> BDD-cost: 14 1.89/1.98 c ---[ 236]---> BDD-cost: 16 1.89/1.98 c ---[ 235]---> BDD-cost: 16 1.89/1.98 c ---[ 234]---> BDD-cost: 14 1.89/1.98 c ---[ 233]---> BDD-cost: 16 1.89/1.98 c ---[ 232]---> BDD-cost: 16 1.89/1.98 c ---[ 231]---> BDD-cost: 16 1.89/1.98 c ---[ 230]---> BDD-cost: 16 1.89/1.98 c ---[ 229]---> BDD-cost: 16 1.89/1.98 c ---[ 228]---> BDD-cost: 16 1.89/1.98 c ---[ 227]---> BDD-cost: 14 1.89/1.98 c ---[ 226]---> BDD-cost: 14 1.89/1.98 c ---[ 225]---> BDD-cost: 14 1.89/1.98 c ---[ 224]---> BDD-cost: 14 1.89/1.98 c ---[ 223]---> BDD-cost: 14 1.89/1.98 c ---[ 222]---> BDD-cost: 14 1.89/1.98 c ---[ 221]---> BDD-cost: 14 1.89/1.98 c ---[ 220]---> BDD-cost: 16 1.89/1.98 c ---[ 219]---> BDD-cost: 14 1.89/1.98 c ---[ 218]---> BDD-cost: 14 1.89/1.99 c ---[ 217]---> BDD-cost: 14 1.89/1.99 c ---[ 216]---> BDD-cost: 14 1.89/1.99 c ---[ 215]---> BDD-cost: 14 1.89/1.99 c ---[ 214]---> BDD-cost: 14 1.89/1.99 c ---[ 213]---> BDD-cost: 14 1.89/1.99 c ---[ 212]---> BDD-cost: 14 1.89/1.99 c ---[ 211]---> BDD-cost: 14 1.89/1.99 c ---[ 210]---> BDD-cost: 14 1.89/1.99 c ---[ 209]---> BDD-cost: 15 1.89/1.99 c ---[ 208]---> BDD-cost: 17 1.89/1.99 c ---[ 207]---> BDD-cost: 15 1.89/1.99 c ---[ 206]---> BDD-cost: 14 1.89/1.99 c ---[ 205]---> BDD-cost: 17 1.89/1.99 c ---[ 204]---> BDD-cost: 17 1.89/1.99 c ---[ 203]---> BDD-cost: 17 1.89/1.99 c ---[ 202]---> BDD-cost: 17 1.89/1.99 c ---[ 201]---> BDD-cost: 17 1.89/1.99 c ---[ 200]---> BDD-cost: 14 1.89/1.99 c ---[ 199]---> BDD-cost: 17 1.89/1.99 c ---[ 198]---> BDD-cost: 15 1.89/1.99 c ---[ 197]---> BDD-cost: 15 1.89/1.99 c ---[ 196]---> BDD-cost: 14 1.89/1.99 c ---[ 195]---> BDD-cost: 17 1.89/1.99 c ---[ 194]---> BDD-cost: 17 1.89/1.99 c ---[ 193]---> BDD-cost: 16 1.89/1.99 c ---[ 192]---> BDD-cost: 17 1.89/1.99 c ---[ 191]---> BDD-cost: 17 1.89/1.99 c ---[ 190]---> BDD-cost: 17 1.89/1.99 c ---[ 189]---> BDD-cost: 15 1.89/1.99 c ---[ 188]---> BDD-cost: 14 1.89/1.99 c ---[ 187]---> BDD-cost: 14 1.89/1.99 c ---[ 186]---> BDD-cost: 17 1.89/1.99 c ---[ 185]---> BDD-cost: 17 1.89/1.99 c ---[ 184]---> BDD-cost: 17 1.89/1.99 c ---[ 183]---> BDD-cost: 17 1.89/1.99 c ---[ 182]---> BDD-cost: 17 1.89/1.99 c ---[ 181]---> BDD-cost: 14 1.89/1.99 c ---[ 180]---> BDD-cost: 17 1.89/1.99 c ---[ 179]---> BDD-cost: 15 1.89/1.99 c ---[ 178]---> BDD-cost: 14 1.89/1.99 c ---[ 177]---> BDD-cost: 17 1.89/1.99 c ---[ 176]---> BDD-cost: 14 1.89/1.99 c ---[ 175]---> BDD-cost: 15 1.89/1.99 c ---[ 174]---> BDD-cost: 17 1.89/1.99 c ---[ 173]---> BDD-cost: 17 1.89/1.99 c ---[ 172]---> BDD-cost: 17 1.89/1.99 c ---[ 171]---> BDD-cost: 17 1.89/1.99 c ---[ 170]---> BDD-cost: 20 1.89/1.99 c ---[ 169]---> BDD-cost: 15 1.89/1.99 c ---[ 168]---> BDD-cost: 14 1.89/1.99 c ---[ 167]---> BDD-cost: 18 1.89/2.00 c ---[ 166]---> BDD-cost: 19 1.89/2.00 c ---[ 165]---> BDD-cost: 20 1.89/2.00 c ---[ 164]---> BDD-cost: 15 1.89/2.00 c ---[ 163]---> BDD-cost: 18 1.89/2.00 c ---[ 162]---> BDD-cost: 18 1.89/2.00 c ---[ 161]---> BDD-cost: 14 1.89/2.00 c ---[ 160]---> BDD-cost: 18 1.89/2.00 c ---[ 159]---> BDD-cost: 15 1.99/2.00 c ---[ 158]---> BDD-cost: 14 1.99/2.00 c ---[ 157]---> BDD-cost: 18 1.99/2.00 c ---[ 156]---> BDD-cost: 16 1.99/2.00 c ---[ 155]---> BDD-cost: 16 1.99/2.00 c ---[ 154]---> BDD-cost: 18 1.99/2.00 c ---[ 153]---> BDD-cost: 15 1.99/2.00 c ---[ 152]---> BDD-cost: 20 1.99/2.00 c ---[ 151]---> BDD-cost: 18 1.99/2.00 c ---[ 150]---> BDD-cost: 15 1.99/2.00 c ---[ 149]---> BDD-cost: 14 1.99/2.00 c ---[ 148]---> BDD-cost: 18 1.99/2.00 c ---[ 147]---> BDD-cost: 18 1.99/2.00 c ---[ 146]---> BDD-cost: 18 1.99/2.00 c ---[ 145]---> BDD-cost: 18 1.99/2.00 c ---[ 144]---> BDD-cost: 18 1.99/2.00 c ---[ 143]---> BDD-cost: 14 1.99/2.00 c ---[ 142]---> BDD-cost: 15 1.99/2.00 c ---[ 141]---> BDD-cost: 18 1.99/2.00 c ---[ 140]---> BDD-cost: 15 1.99/2.00 c ---[ 139]---> BDD-cost: 14 1.99/2.00 c ---[ 138]---> BDD-cost: 18 1.99/2.00 c ---[ 137]---> BDD-cost: 18 1.99/2.00 c ---[ 136]---> BDD-cost: 18 1.99/2.00 c ---[ 135]---> BDD-cost: 18 1.99/2.00 c ---[ 134]---> BDD-cost: 18 1.99/2.00 c ---[ 133]---> BDD-cost: 15 1.99/2.00 c ---[ 132]---> BDD-cost: 15 1.99/2.00 c ---[ 131]---> BDD-cost: 15 1.99/2.00 c ---[ 130]---> BDD-cost: 14 1.99/2.00 c ---[ 129]---> BDD-cost: 15 1.99/2.00 c ---[ 128]---> BDD-cost: 15 1.99/2.00 c ---[ 127]---> BDD-cost: 15 1.99/2.00 c ---[ 126]---> BDD-cost: 15 1.99/2.00 c ---[ 125]---> BDD-cost: 15 1.99/2.00 c ---[ 124]---> BDD-cost: 14 1.99/2.00 c ---[ 123]---> BDD-cost: 15 1.99/2.00 c ---[ 122]---> BDD-cost: 15 1.99/2.00 c ---[ 121]---> BDD-cost: 14 1.99/2.00 c ---[ 120]---> BDD-cost: 14 1.99/2.00 c ---[ 119]---> BDD-cost: 15 1.99/2.00 c ---[ 118]---> BDD-cost: 15 1.99/2.00 c ---[ 117]---> BDD-cost: 15 1.99/2.01 c ---[ 116]---> BDD-cost: 15 1.99/2.01 c ---[ 115]---> BDD-cost: 15 1.99/2.01 c ---[ 114]---> BDD-cost: 20 1.99/2.01 c ---[ 113]---> BDD-cost: 15 1.99/2.01 c ---[ 112]---> BDD-cost: 14 1.99/2.01 c ---[ 111]---> BDD-cost: 18 1.99/2.01 c ---[ 110]---> BDD-cost: 19 1.99/2.01 c ---[ 109]---> BDD-cost: 15 1.99/2.01 c ---[ 108]---> BDD-cost: 20 1.99/2.01 c ---[ 107]---> BDD-cost: 18 1.99/2.01 c ---[ 106]---> BDD-cost: 18 1.99/2.01 c ---[ 105]---> BDD-cost: 14 1.99/2.01 c ---[ 104]---> BDD-cost: 18 1.99/2.01 c ---[ 103]---> BDD-cost: 15 1.99/2.01 c ---[ 102]---> BDD-cost: 14 1.99/2.01 c ---[ 101]---> BDD-cost: 18 1.99/2.01 c ---[ 100]---> BDD-cost: 16 1.99/2.01 c ---[ 99]---> BDD-cost: 16 1.99/2.01 c ---[ 98]---> BDD-cost: 15 1.99/2.01 c ---[ 97]---> BDD-cost: 18 1.99/2.01 c ---[ 96]---> BDD-cost: 20 1.99/2.01 c ---[ 95]---> BDD-cost: 20 1.99/2.01 c ---[ 94]---> BDD-cost: 15 1.99/2.01 c ---[ 93]---> BDD-cost: 14 1.99/2.01 c ---[ 92]---> BDD-cost: 18 1.99/2.01 c ---[ 91]---> BDD-cost: 19 1.99/2.01 c ---[ 90]---> BDD-cost: 20 1.99/2.01 c ---[ 89]---> BDD-cost: 22 1.99/2.01 c ---[ 88]---> BDD-cost: 19 1.99/2.01 c ---[ 87]---> BDD-cost: 14 1.99/2.01 c ---[ 86]---> BDD-cost: 14 1.99/2.01 c ---[ 85]---> BDD-cost: 20 1.99/2.01 c ---[ 84]---> BDD-cost: 15 1.99/2.01 c ---[ 83]---> BDD-cost: 14 1.99/2.01 c ---[ 82]---> BDD-cost: 18 1.99/2.01 c ---[ 81]---> BDD-cost: 16 1.99/2.01 c ---[ 80]---> BDD-cost: 16 1.99/2.01 c ---[ 79]---> BDD-cost: 22 1.99/2.01 c ---[ 78]---> BDD-cost: 20 1.99/2.01 c ---[ 77]---> BDD-cost: 15 1.99/2.01 c ---[ 76]---> BDD-cost: 16 1.99/2.01 c ---[ 75]---> BDD-cost: 15 1.99/2.01 c ---[ 74]---> BDD-cost: 15 1.99/2.01 c ---[ 73]---> BDD-cost: 15 1.99/2.01 c ---[ 72]---> BDD-cost: 15 1.99/2.01 c ---[ 71]---> BDD-cost: 20 1.99/2.01 c ---[ 70]---> BDD-cost: 15 1.99/2.01 c ---[ 69]---> BDD-cost: 14 1.99/2.01 c ---[ 68]---> BDD-cost: 18 1.99/2.02 c ---[ 67]---> BDD-cost: 20 1.99/2.02 c ---[ 66]---> BDD-cost: 20 1.99/2.02 c ---[ 65]---> BDD-cost: 16 1.99/2.02 c ---[ 64]---> BDD-cost: 20 1.99/2.02 c ---[ 63]---> BDD-cost: 20 1.99/2.02 c ---[ 62]---> BDD-cost: 14 1.99/2.02 c ---[ 61]---> BDD-cost: 20 1.99/2.02 c ---[ 60]---> BDD-cost: 15 1.99/2.02 c ---[ 59]---> BDD-cost: 14 1.99/2.02 c ---[ 58]---> BDD-cost: 18 1.99/2.02 c ---[ 57]---> BDD-cost: 16 1.99/2.02 c ---[ 56]---> BDD-cost: 16 1.99/2.02 c ---[ 55]---> BDD-cost: 20 1.99/2.02 c ---[ 54]---> BDD-cost: 16 1.99/2.02 c ---[ 53]---> BDD-cost: 20 1.99/2.02 c ---[ 52]---> BDD-cost: 20 1.99/2.02 c ---[ 51]---> BDD-cost: 15 1.99/2.02 c ---[ 50]---> BDD-cost: 14 1.99/2.02 c ---[ 49]---> BDD-cost: 18 1.99/2.02 c ---[ 48]---> BDD-cost: 20 1.99/2.02 c ---[ 47]---> BDD-cost: 20 1.99/2.02 c ---[ 46]---> BDD-cost: 20 1.99/2.02 c ---[ 45]---> BDD-cost: 20 1.99/2.02 c ---[ 44]---> BDD-cost: 14 1.99/2.02 c ---[ 43]---> BDD-cost: 16 1.99/2.02 c ---[ 42]---> BDD-cost: 20 1.99/2.02 c ---[ 41]---> BDD-cost: 15 1.99/2.02 c ---[ 40]---> BDD-cost: 14 1.99/2.02 c ---[ 39]---> BDD-cost: 18 1.99/2.02 c ---[ 38]---> BDD-cost: 16 1.99/2.02 c ---[ 37]---> BDD-cost: 16 1.99/2.02 c ---[ 36]---> BDD-cost: 20 1.99/2.02 c ---[ 35]---> BDD-cost: 20 1.99/2.02 c ---[ 34]---> BDD-cost: 18 1.99/2.02 c ---[ 33]---> BDD-cost: 15 1.99/2.02 c ---[ 32]---> BDD-cost: 16 1.99/2.02 c ---[ 31]---> BDD-cost: 14 1.99/2.02 c ---[ 30]---> BDD-cost: 18 1.99/2.02 c ---[ 29]---> BDD-cost: 18 1.99/2.02 c ---[ 28]---> BDD-cost: 18 1.99/2.02 c ---[ 27]---> BDD-cost: 18 1.99/2.02 c ---[ 26]---> BDD-cost: 18 1.99/2.02 c ---[ 25]---> BDD-cost: 14 1.99/2.02 c ---[ 24]---> BDD-cost: 18 1.99/2.02 c ---[ 23]---> BDD-cost: 15 1.99/2.02 c ---[ 22]---> BDD-cost: 14 1.99/2.02 c ---[ 21]---> BDD-cost: 14 1.99/2.02 c ---[ 20]---> BDD-cost: 18 1.99/2.03 c ---[ 19]---> BDD-cost: 18 1.99/2.03 c ---[ 18]---> BDD-cost: 16 1.99/2.03 c ---[ 17]---> BDD-cost: 18 1.99/2.03 c ---[ 16]---> BDD-cost: 18 1.99/2.03 c ---[ 15]---> BDD-cost: 20 1.99/2.03 c ---[ 14]---> BDD-cost: 15 1.99/2.03 c ---[ 13]---> BDD-cost: 14 1.99/2.03 c ---[ 12]---> BDD-cost: 18 1.99/2.03 c ---[ 11]---> BDD-cost: 19 1.99/2.03 c ---[ 10]---> BDD-cost: 16 1.99/2.03 c ---[ 9]---> BDD-cost: 20 1.99/2.03 c ---[ 8]---> BDD-cost: 17 1.99/2.03 c ---[ 7]---> BDD-cost: 19 1.99/2.03 c ---[ 6]---> BDD-cost: 14 1.99/2.03 c ---[ 5]---> BDD-cost: 20 1.99/2.03 c ---[ 4]---> BDD-cost: 15 1.99/2.03 c ---[ 3]---> BDD-cost: 14 1.99/2.03 c ---[ 2]---> BDD-cost: 18 1.99/2.03 c ---[ 1]---> BDD-cost: 16 1.99/2.03 c ---[ 0]---> BDD-cost: 16 2.09/2.12 c ==================================[MINISAT+]================================== 2.09/2.12 c | Conflicts | Original | Learnt | Progress | 2.09/2.12 c | | Clauses Literals | Max Clauses Literals LPC | | 2.09/2.12 c ============================================================================== 2.09/2.12 c | 0 | 107120 373762 | 35706 0 0 nan | 0.000 % | 2.09/2.15 c | 100 | 107100 373698 | 39276 97 294 3.0 | 24.108 % | 2.19/2.20 c | 250 | 107028 373454 | 43204 240 734 3.1 | 24.154 % | 2.19/2.27 c | 475 | 106953 373203 | 47524 456 1409 3.1 | 24.209 % | 2.39/2.45 c | 812 | 106790 372654 | 52277 775 2429 3.1 | 24.321 % | 2.79/2.85 c | 1318 | 106452 371492 | 57504 1236 3949 3.2 | 24.545 % | 3.49/3.54 c | 2077 | 106112 370344 | 63255 1953 6262 3.2 | 24.770 % | 5.09/5.12 c | 3216 | 105544 368374 | 69580 3004 9729 3.2 | 25.149 % | 7.98/8.01 c | 4924 | 105009 366565 | 76538 4651 15690 3.4 | 25.517 % | 11.78/11.86 c | 7486 | 104718 365580 | 84192 7175 25679 3.6 | 25.714 % | 17.50/17.58 c | 11331 | 104664 365400 | 92612 11013 42539 3.9 | 25.749 % | 24.09/24.18 c | 17097 | 104655 365371 | 101873 16778 75481 4.5 | 25.757 % | 27.18/27.24 c | 25746 | 104647 365345 | 112060 25426 220907 8.7 | 25.761 % | 28.38/28.45 c | 38720 | 104647 365345 | 123266 38400 577326 15.0 | 25.761 % | 32.09/32.16 c | 58182 | 104647 365345 | 135593 57862 1113303 19.2 | 25.761 % | 36.39/36.43 c | 87375 | 104622 365260 | 149152 87051 2616975 30.1 | 25.776 % | 48.68/48.74 c | 131165 | 104391 364461 | 164068 130808 7183223 54.9 | 25.927 % | 88.17/88.24 c | 196849 | 104045 363277 | 180474 51454 1171711 22.8 | 26.175 % | 127.76/127.87 c | 295375 | 103774 362344 | 198522 149945 7411888 49.4 | 26.368 % | 193.24/193.38 c | 443164 | 103578 361664 | 218374 103061 4269302 41.4 | 26.511 % | 285.32/285.40 c | 664848 | 103310 360772 | 240212 127704 4047362 31.7 | 26.709 % | 426.60/426.77 c | 997374 | 103004 359762 | 264233 238982 11736812 49.1 | 26.937 % | 994.16/994.46 c | 1496162 | 102824 359178 | 290656 233924 46553570 199.0 | 27.073 % | 1249.99/1250.33 c ============================================================================== 1249.99/1250.34 c [1mFound solution: 17255847[0m 1249.99/1250.34 o 17255847 1250.09/1250.40 c ---[ 0]---> Adder-cost: 13958 maxlim: 26497147 bits: 26/25 1253.49/1253.88 c ==================================[MINISAT+]================================== 1253.49/1253.88 c | Conflicts | Original | Learnt | Progress | 1253.49/1253.88 c | | Clauses Literals | Max Clauses Literals LPC | | 1253.49/1253.88 c ============================================================================== 1253.49/1253.88 c | 2050705 | 200327 707464 | 66775 222206 6473249 29.1 | 27.073 % | 1254.09/1254.43 c | 2050805 | 200327 707464 | 73452 25907 317457 12.3 | 17.631 % | 1254.29/1254.64 c | 2050955 | 200327 707464 | 80797 26057 318022 12.2 | 17.631 % | 1254.80/1255.13 c | 2051180 | 200327 707464 | 88877 26282 319109 12.1 | 17.631 % | 1255.59/1255.93 c | 2051517 | 200318 707435 | 97765 26618 320519 12.0 | 17.636 % | 1256.79/1257.10 c | 2052023 | 200318 707435 | 107541 27124 323116 11.9 | 17.636 % | 1258.29/1258.64 c | 2052782 | 200318 707435 | 118295 27883 327012 11.7 | 17.636 % | 1260.39/1260.74 c | 2053921 | 200318 707435 | 130125 29022 333611 11.5 | 17.636 % | 1262.69/1263.07 c | 2055629 | 200295 707356 | 143138 30727 344234 11.2 | 17.646 % | 1265.29/1265.61 c | 2058191 | 200295 707356 | 157451 33289 364793 11.0 | 17.646 % | 1269.89/1270.26 c | 2062036 | 200295 707356 | 173197 37134 393154 10.6 | 17.646 % | 1274.19/1274.53 c | 2067802 | 200295 707356 | 190516 42900 497701 11.6 | 17.646 % | 1281.89/1282.25 c | 2076452 | 200295 707356 | 209568 51550 603487 11.7 | 17.646 % | 1288.38/1288.76 c | 2089426 | 200279 707304 | 230525 64521 999852 15.5 | 17.654 % | 1306.18/1306.51 c | 2108889 | 200220 707113 | 253577 83977 1245236 14.8 | 17.684 % | 1329.48/1329.85 c | 2138081 | 200195 707032 | 278935 113163 2001747 17.7 | 17.696 % | 1356.77/1357.12 c | 2181870 | 200153 706890 | 306829 156945 4690378 29.9 | 17.714 % | 1407.45/1407.85 c | 2247555 | 199956 706235 | 337512 222602 8241768 37.0 | 17.807 % | 1422.05/1422.44 c ============================================================================== 1422.05/1422.44 c [1mFound solution: 16619311[0m 1422.05/1422.44 o 16619311 1422.15/1422.51 c ---[ 0]---> Adder-cost: 0 maxlim: 27133683 bits: 26/25 1425.35/1425.75 c ==================================[MINISAT+]================================== 1425.35/1425.75 c | Conflicts | Original | Learnt | Progress | 1425.35/1425.75 c | | Clauses Literals | Max Clauses Literals LPC | | 1425.35/1425.75 c ============================================================================== 1425.35/1425.75 c | 2263289 | 199970 706429 | 66656 238332 8634147 36.2 | 17.807 % | 1425.95/1426.37 c | 2263389 | 199970 706429 | 73321 32709 408293 12.5 | 17.832 % | 1426.25/1426.64 c | 2263540 | 199970 706429 | 80653 32860 409515 12.5 | 17.832 % | 1426.65/1427.02 c | 2263765 | 199970 706429 | 88719 33085 410997 12.4 | 17.832 % | 1427.25/1427.63 c | 2264102 | 199970 706429 | 97591 33422 412975 12.4 | 17.832 % | 1428.05/1428.41 c | 2264609 | 199970 706429 | 107350 33929 415628 12.2 | 17.832 % | 1428.65/1429.08 c | 2265368 | 199947 706350 | 118085 34685 419586 12.1 | 17.842 % | 1429.75/1430.12 c | 2266507 | 199947 706350 | 129893 35824 425308 11.9 | 17.842 % | 1431.05/1431.49 c | 2268215 | 199947 706350 | 142883 37532 435289 11.6 | 17.842 % | 1432.95/1433.38 c | 2270777 | 199908 706217 | 157171 40087 460998 11.5 | 17.857 % | 1435.54/1435.96 c | 2274621 | 199908 706217 | 172888 43931 496868 11.3 | 17.857 % | 1439.34/1439.71 c | 2280387 | 199908 706217 | 190177 49697 561464 11.3 | 17.857 % | 1444.45/1444.89 c | 2289036 | 199908 706217 | 209195 58346 691270 11.8 | 17.857 % | 1451.15/1451.58 c | 2302010 | 199867 706078 | 230114 71312 1327654 18.6 | 17.875 % | 1460.25/1460.70 c | 2321471 | 199860 706051 | 253126 90772 2022551 22.3 | 17.877 % | 1475.85/1476.22 c | 2350663 | 199860 706051 | 278438 119964 3624107 30.2 | 17.877 % | 1493.94/1494.31 c | 2394453 | 199860 706051 | 306282 163754 6613270 40.4 | 17.877 % | 1514.33/1514.76 c | 2460138 | 199860 706051 | 336910 229439 11311362 49.3 | 17.877 % | 1560.12/1560.57 c ============================================================================== 1560.12/1560.57 c [1mFound solution: 16078248[0m 1560.12/1560.57 o 16078248 1560.22/1560.63 c ---[ 0]---> Adder-cost: 0 maxlim: 27674746 bits: 26/25 1563.51/1563.92 c ==================================[MINISAT+]================================== 1563.51/1563.92 c | Conflicts | Original | Learnt | Progress | 1563.51/1563.92 c | | Clauses Literals | Max Clauses Literals LPC | | 1563.51/1563.92 c ============================================================================== 1563.51/1563.92 c | 2557477 | 199883 706288 | 66627 326776 18147501 55.5 | 17.877 % | 1564.61/1565.05 c | 2557577 | 199883 706288 | 73289 31239 316729 10.1 | 17.902 % | 1564.82/1565.24 c | 2557727 | 199883 706288 | 80618 31389 317442 10.1 | 17.902 % | 1565.11/1565.59 c | 2557952 | 199883 706288 | 88680 31614 318667 10.1 | 17.902 % | 1565.51/1565.94 c | 2558289 | 199883 706288 | 97548 31951 320232 10.0 | 17.902 % | 1566.02/1566.43 c | 2558795 | 199883 706288 | 107303 32457 323223 10.0 | 17.902 % | 1566.61/1567.08 c | 2559554 | 199883 706288 | 118033 33216 327655 9.9 | 17.902 % | 1567.61/1568.01 c | 2560695 | 199883 706288 | 129837 34357 335934 9.8 | 17.902 % | 1568.81/1569.28 c | 2562403 | 199883 706288 | 142820 36065 350300 9.7 | 17.902 % | 1570.42/1570.89 c | 2564965 | 199883 706288 | 157102 38627 378404 9.8 | 17.902 % | 1572.62/1573.03 c | 2568809 | 199883 706288 | 172813 42471 439788 10.4 | 17.902 % | 1575.61/1576.04 c | 2574575 | 199867 706236 | 190094 48234 537862 11.2 | 17.909 % | 1580.21/1580.61 c | 2583224 | 199867 706236 | 209104 56883 1284672 22.6 | 17.909 % | 1587.21/1587.68 c | 2596199 | 199867 706236 | 230014 69858 1612408 23.1 | 17.909 % | 1600.90/1601.38 c | 2615660 | 199867 706236 | 253015 89319 4425820 49.6 | 17.909 % | 1613.80/1614.21 c | 2644852 | 199867 706236 | 278317 118511 5520549 46.6 | 17.909 % | 1630.20/1630.67 c | 2688641 | 199867 706236 | 306149 162300 7514687 46.3 | 17.909 % | 1665.89/1666.32 c | 2754325 | 199861 706219 | 336764 227982 11247479 49.3 | 17.912 % | 1696.68/1697.13 c ============================================================================== 1696.68/1697.13 c [1mFound solution: 16044650[0m 1696.68/1697.13 o 16044650 1696.68/1697.19 c ---[ 0]---> Adder-cost: 0 maxlim: 27708344 bits: 26/25 1699.98/1700.47 c ==================================[MINISAT+]================================== 1699.98/1700.47 c | Conflicts | Original | Learnt | Progress | 1699.98/1700.47 c | | Clauses Literals | Max Clauses Literals LPC | | 1699.98/1700.47 c ============================================================================== 1699.98/1700.47 c | 2808037 | 199879 706439 | 66626 281694 12364549 43.9 | 17.912 % | 1700.78/1701.23 c | 2808137 | 199879 706439 | 73288 25512 392766 15.4 | 17.932 % | 1700.88/1701.38 c | 2808289 | 199879 706439 | 80617 25664 393396 15.3 | 17.932 % | 1701.18/1701.66 c | 2808514 | 199879 706439 | 88679 25889 394618 15.2 | 17.932 % | 1701.48/1701.99 c | 2808851 | 199879 706439 | 97547 26226 396491 15.1 | 17.932 % | 1702.18/1702.61 c | 2809358 | 199879 706439 | 107301 26733 399968 15.0 | 17.932 % | 1703.08/1703.52 c | 2810117 | 199879 706439 | 118032 27492 403861 14.7 | 17.932 % | 1704.58/1705.08 c | 2811256 | 199879 706439 | 129835 28631 409027 14.3 | 17.932 % | 1706.48/1706.90 c | 2812964 | 199879 706439 | 142818 30339 416865 13.7 | 17.932 % | 1708.68/1709.15 c | 2815527 | 199879 706439 | 157100 32902 432153 13.1 | 17.932 % | 1711.38/1711.83 c | 2819371 | 199879 706439 | 172810 36746 463618 12.6 | 17.932 % | 1715.07/1715.58 c | 2825137 | 199879 706439 | 190091 42512 540956 12.7 | 17.932 % | 1720.67/1721.15 c | 2833786 | 199879 706439 | 209100 51161 682425 13.3 | 17.932 % | 1726.87/1727.38 c | 2846764 | 199879 706439 | 230011 64139 1070230 16.7 | 17.932 % | 1737.67/1738.18 c | 2866225 | 199879 706439 | 253012 83600 1467370 17.6 | 17.932 % | 1745.97/1746.43 c | 2895418 | 199879 706439 | 278313 112793 2505469 22.2 | 17.932 % | 1760.26/1760.73 c | 2939207 | 199879 706439 | 306144 156582 4982964 31.8 | 17.932 % | 1781.56/1782.05 c | 3004891 | 199879 706439 | 336759 222266 8550114 38.5 | 17.932 % | 1800.06/1800.50 c 1800.06/1800.50 c *** TERMINATED *** 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 v -x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.06/1800.50 v -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.06/1800.50 v -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1800.06/1800.50 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6361 1800.06/1800.50 v -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 1800.06/1800.50 v -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 -x6693 -x6694 x6695 1800.06/1800.50 v x6696 x6697 -x6698 x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 1800.06/1800.50 v -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 x7022 -x7023 -x7024 -x7025 x7026 x7027 -x7028 x7029 -x7030 -x7031 1800.06/1800.50 v -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 1800.06/1800.50 v -x7049 -x7050 x7351 -x7352 -x7353 -x7354 -x7355 x7356 x7357 -x7358 x7359 -x7360 -x7361 x7362 -x7363 -x7364 -x7365 -x7366 1800.06/1800.50 v -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7681 -x7682 x7683 1800.06/1800.50 v x7684 x7685 x7686 x7687 -x7688 -x7689 x7690 x7691 x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 1800.06/1800.50 v -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x8011 -x8012 -x8013 -x8014 x8015 -x8016 -x8017 -x8018 1800.06/1800.50 v -x8019 x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 1800.06/1800.50 v -x8036 -x8037 -x8038 -x8039 -x8040 x8341 x8342 x8343 x8344 x8345 x8346 x8347 x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 1800.06/1800.50 v -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x61 -x62 1800.06/1800.50 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 1800.06/1800.50 v -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 1800.06/1800.50 v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x721 -x722 x723 x724 -x725 -x726 x727 -x728 -x729 -x730 1800.06/1800.50 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x1051 1800.06/1800.50 v x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 1800.06/1800.50 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 1800.06/1800.50 v -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.06/1800.50 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 x1713 -x1714 x1715 -x1716 x1717 -x1718 x1719 -x1720 -x1721 1800.06/1800.50 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.06/1800.50 v -x1739 -x1740 x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1800.06/1800.50 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 1800.06/1800.50 v x2374 x2375 x2376 x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.06/1800.50 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 1800.06/1800.50 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1800.06/1800.50 v -x2726 -x2727 -x2728 -x2729 -x2730 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 1800.06/1800.50 v -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 1800.06/1800.50 v -x3060 -x3391 -x3392 x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.06/1800.50 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 x3722 x3723 x3724 x3725 1800.06/1800.50 v -x3726 -x3727 x3728 -x3729 x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1800.06/1800.50 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 x4052 x4053 x4054 -x4055 -x4056 -x4057 x4058 -x4059 -x4060 -x4061 1800.06/1800.50 v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1800.06/1800.50 v -x4079 -x4080 -x4381 -x4382 -x4383 x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 1800.06/1800.50 v -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 x4713 1800.06/1800.50 v x4714 x4715 -x4716 x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 1800.06/1800.50 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.06/1800.50 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1800.06/1800.50 v -x5066 -x5067 -x5068 -x5069 -x5070 -x5371 x5372 -x5373 x5374 -x5375 x5376 -x5377 x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1800.06/1800.50 v -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 1800.06/1800.50 v -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 1800.06/1800.50 v -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 1800.06/1800.50 v -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 1800.06/1800.50 v -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6331 -x6332 x6333 x6334 -x6335 -x6336 x6337 -x6338 x6339 1800.06/1800.50 v x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 1800.06/1800.50 v -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 x6393 -x6394 -x6395 x6396 -x6397 -x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 1800.06/1800.50 v -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 1800.06/1800.50 v -x6422 -x6423 x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 1800.06/1800.50 v -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 x6453 x6454 x6455 -x6456 x6457 1800.06/1800.50 v -x6458 x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 1800.06/1800.50 v -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6484 -x6485 x6486 -x6487 -x6488 x6489 x6490 -x6491 -x6492 -x6493 1800.06/1800.50 v -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 1800.06/1800.50 v x6511 x6512 x6513 x6514 x6515 x6516 x6517 -x6518 x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 1800.06/1800.50 v -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 x6541 -x6542 -x6543 -x6544 -x6545 x6546 x6547 1800.06/1800.50 v -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 1800.06/1800.50 v -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 1800.06/1800.50 v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 1800.06/1800.50 v -x6599 -x6600 -x6601 x6602 x6603 -x6604 x6605 -x6606 -x6607 -x6608 -x6609 x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 1800.06/1800.50 v -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 x6632 x6633 x6634 1800.06/1800.50 v x6635 x6636 x6637 x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 1800.06/1800.50 v -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 x6662 x6663 x6664 x6665 x6666 x6667 x6668 -x6669 -x6670 -x6671 1800.06/1800.50 v x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 1800.06/1800.50 v -x6689 -x6690 x6721 x6722 x6723 x6724 x6725 x6726 -x6727 x6728 x6729 x6730 x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 1800.06/1800.50 v -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 x6752 x6753 x6754 x6755 1800.06/1800.50 v x6756 -x6757 x6758 -x6759 x6760 x6761 x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 1800.06/1800.50 v -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 x6781 -x6782 x6783 x6784 x6785 x6786 -x6787 x6788 -x6789 x6790 -x6791 1800.06/1800.50 v -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 1800.06/1800.50 v -x6809 -x6810 x6811 x6812 x6813 x6814 x6815 x6816 x6817 x6818 x6819 -x6820 x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 1800.06/1800.50 v -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 1800.06/1800.50 v -x6845 -x6846 -x6847 x6848 x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 1800.06/1800.50 v -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 x6877 x6878 x6879 -x6880 1800.06/1800.50 v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 1800.06/1800.50 v -x6898 -x6899 -x6900 x6901 x6902 x6903 x6904 x6905 x6906 x6907 x6908 -x6909 x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 1800.06/1800.50 v -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 x6931 x6932 x6933 x6934 1800.06/1800.50 v x6935 -x6936 x6937 x6938 -x6939 x6940 x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 1800.06/1800.50 v -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 x6965 x6966 x6967 x6968 -x6969 x6970 1800.06/1800.50 v x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 1800.06/1800.50 v -x6988 -x6989 -x6990 -x6991 -x6992 x6993 -x6994 x6995 x6996 x6997 -x6998 -x6999 x7000 x7001 -x7002 -x7003 -x7004 -x7005 1800.06/1800.50 v -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 x7051 -x7052 1800.06/1800.50 v -x7053 -x7054 x7055 -x7056 x7057 x7058 -x7059 -x7060 -x7061 x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 1800.06/1800.50 v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 x7085 x7086 x7087 x7088 1800.06/1800.50 v x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 1800.06/1800.50 v -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 1800.06/1800.50 v -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 1800.06/1800.50 v -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 x7148 x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 1800.06/1800.50 v -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 1800.06/1800.50 v -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 1800.06/1800.50 v -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 x7202 -x7203 -x7204 -x7205 x7206 -x7207 -x7208 -x7209 1800.06/1800.50 v -x7210 x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 1800.06/1800.50 v -x7227 -x7228 -x7229 -x7230 -x7231 x7232 x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 x7240 x7241 -x7242 -x7243 -x7244 1800.06/1800.50 v -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 1800.06/1800.50 v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 x7270 -x7271 -x7272 -x7273 -x7274 x7275 -x7276 -x7277 -x7278 -x7279 1800.06/1800.50 v -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 x7293 -x7294 -x7295 -x7296 1800.06/1800.50 v -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 1800.06/1800.50 v -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 1800.06/1800.50 v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 1800.06/1800.50 v -x7348 -x7349 -x7350 x7381 x7382 x7383 x7384 x7385 x7386 x7387 x7388 x7389 x7390 -x7391 x7392 -x7393 -x7394 -x7395 -x7396 1800.06/1800.50 v -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 1800.06/1800.50 v -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 1800.06/1800.50 v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 x7442 -x7443 -x7444 -x7445 -x7446 -x7447 1800.06/1800.50 v -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 1800.06/1800.50 v -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 x7472 x7473 x7474 -x7475 -x7476 x7477 -x7478 -x7479 -x7480 -x7481 -x7482 1800.06/1800.50 v -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 1800.06/1800.50 v -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 1800.06/1800.50 v -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 x7533 1800.06/1800.50 v -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 1800.06/1800.50 v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 x7564 -x7565 -x7566 -x7567 1800.06/1800.50 v -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 1800.06/1800.50 v -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 x7594 -x7595 -x7596 -x7597 -x7598 -x7599 x7600 -x7601 -x7602 1800.06/1800.50 v -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 1800.06/1800.50 v -x7620 x7621 x7622 x7623 x7624 x7625 x7626 x7627 x7628 -x7629 -x7630 -x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 1800.06/1800.50 v -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 x7651 x7652 -x7653 x7654 x7655 -x7656 1800.06/1800.50 v x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 1800.06/1800.50 v -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 x7717 -x7718 -x7719 -x7720 1800.06/1800.50 v -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 1800.06/1800.50 v -x7738 -x7739 -x7740 x7741 x7742 x7743 x7744 -x7745 x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 1800.06/1800.50 v -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 x7772 x7773 1800.06/1800.50 v x7774 x7775 x7776 x7777 -x7778 -x7779 -x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 1800.06/1800.50 v -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 x7801 x7802 x7803 x7804 x7805 x7806 x7807 -x7808 -x7809 1800.06/1800.50 v -x7810 -x7811 x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 1800.06/1800.50 v -x7827 -x7828 -x7829 -x7830 x7831 x7832 x7833 x7834 x7835 x7836 x7837 x7838 x7839 -x7840 -x7841 x7842 -x7843 -x7844 -x7845 1800.06/1800.50 v -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 x7861 x7862 x7863 1800.06/1800.50 v x7864 x7865 -x7866 x7867 x7868 -x7869 -x7870 -x7871 x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 1800.06/1800.50 v -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 x7891 x7892 x7893 x7894 x7895 -x7896 x7897 -x7898 -x7899 1800.06/1800.50 v -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 1800.06/1800.50 v -x7917 -x7918 -x7919 -x7920 x7921 x7922 x7923 x7924 x7925 x7926 x7927 x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 1800.06/1800.50 v -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 1800.06/1800.50 v x7953 x7954 x7955 x7956 x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 1800.06/1800.50 v -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 x7982 x7983 -x7984 -x7985 -x7986 x7987 -x7988 1800.06/1800.50 v -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 1800.06/1800.50 v -x8006 -x8007 -x8008 -x8009 -x8010 x8041 x8042 x8043 x8044 x8045 x8046 x8047 x8048 -x8049 x8050 -x8051 -x8052 -x8053 -x8054 1800.06/1800.50 v -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 x8071 1800.06/1800.50 v x8072 x8073 x8074 x8075 -x8076 x8077 x8078 -x8079 x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 1800.06/1800.50 v -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 x8101 x8102 x8103 x8104 x8105 -x8106 x8107 1800.06/1800.50 v -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 1800.06/1800.50 v -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 x8131 x8132 x8133 x8134 x8135 x8136 x8137 x8138 -x8139 -x8140 x8141 -x8142 -x8143 1800.06/1800.50 v -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 1800.06/1800.50 v x8161 x8162 x8163 x8164 x8165 x8166 x8167 x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 1800.06/1800.50 v -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 -x8192 x8193 x8194 x8195 x8196 x8197 1800.06/1800.50 v x8198 x8199 x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 1800.06/1800.50 v -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 x8223 x8224 -x8225 x8226 x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 1800.06/1800.50 v -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 1800.06/1800.50 v -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 1800.06/1800.50 v -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 x8282 x8283 x8284 x8285 1800.06/1800.50 v -x8286 -x8287 x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 1800.06/1800.50 v -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 x8311 x8312 x8313 x8314 x8315 x8316 x8317 x8318 -x8319 x8320 x8321 1800.06/1800.50 v -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 1800.06/1800.50 v -x8339 -x8340 x8371 x8372 x8373 x8374 x8375 x8376 -x8377 x8378 x8379 x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 1800.06/1800.50 v -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 x8401 x8402 x8403 x8404 x8405 1800.06/1800.50 v x8406 -x8407 x8408 -x8409 x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 1800.06/1800.50 v -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 x8431 x8432 x8433 x8434 x8435 x8436 -x8437 -x8438 x8439 -x8440 x8441 -x8442 1800.06/1800.50 v x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 1800.06/1800.50 v -x8460 x8461 x8462 x8463 x8464 x8465 x8466 x8467 -x8468 x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 1800.06/1800.50 v -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 x8491 x8492 x8493 x8494 x8495 x8496 1800.06/1800.50 v x8497 x8498 x8499 x8500 x8501 x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 1800.06/1800.50 v -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 x8527 -x8528 -x8529 -x8530 x8531 -x8532 1800.06/1800.50 v -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 1800.06/1800.50 v -x8550 -x8551 -x8552 -x8553 -x8554 x8555 x8556 x8557 -x8558 x8559 x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 1800.06/1800.50 v -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 x8581 x8582 x8583 x8584 x8585 1800.06/1800.50 v x8586 x8587 -x8588 -x8589 x8590 x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 1800.06/1800.50 v -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 x8611 x8612 x8613 x8614 x8615 -x8616 -x8617 -x8618 -x8619 -x8620 x8621 1800.06/1800.50 v x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 1800.06/1800.50 v -x8639 -x8640 -x8641 x8642 -x8643 x8644 -x8645 x8646 -x8647 -x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 1800.06/1800.50 v -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 x91 x92 x93 x94 x95 -x96 1800.06/1800.50 v x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.06/1800.50 v -x119 -x120 -x121 -x122 -x123 x124 -x125 x126 -x127 x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 1800.06/1800.50 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 x156 x157 x158 -x159 x160 -x161 -x162 1800.06/1800.50 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 1800.06/1800.50 v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 1800.06/1800.50 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1800.06/1800.50 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 1800.06/1800.50 v x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 1800.06/1800.50 v -x268 -x269 -x270 -x271 -x272 x273 -x274 x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 1800.06/1800.50 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 x303 -x304 -x305 -x306 x307 x308 -x309 1800.06/1800.50 v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1800.06/1800.50 v x331 -x332 -x333 x334 -x335 x336 x337 x338 x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 1800.06/1800.50 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 x367 x368 x369 -x370 x371 -x372 -x373 -x374 1800.06/1800.50 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 1800.06/1800.50 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.06/1800.50 v -x447 -x448 -x449 -x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.06/1800.50 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1800.06/1800.50 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1800.06/1800.50 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1800.06/1800.50 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544 -x545 -x546 x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.06/1800.50 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 1800.06/1800.50 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.06/1800.50 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.06/1800.50 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 x636 -x637 x638 -x639 1800.06/1800.50 v -x640 -x641 x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1800.06/1800.50 v -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 1800.06/1800.50 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 -x700 -x701 -x702 -x703 1800.06/1800.50 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 1800.06/1800.50 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1800.06/1800.50 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1800.06/1800.50 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 1800.06/1800.50 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1800.06/1800.50 v -x839 -x840 -x841 x842 -x843 x844 x845 x846 x847 -x848 -x849 -x850 x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.06/1800.50 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 -x874 -x875 x876 x877 x878 x879 -x880 -x881 x882 1800.06/1800.50 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 x903 1800.06/1800.50 v -x904 -x905 x906 x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.06/1800.50 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 x934 x935 x936 x937 x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 1800.06/1800.50 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 1800.06/1800.50 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.06/1800.50 v -x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1800.06/1800.50 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.06/1800.50 v -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 1800.06/1800.50 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 1800.06/1800.50 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.06/1800.50 v -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 -x1115 x1116 x1117 x1118 -x1119 -x1120 -x1121 x1122 x1123 -x1124 -x1125 -x1126 1800.06/1800.50 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 -x1144 1800.06/1800.50 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.06/1800.50 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.06/1800.50 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.06/1800.50 v -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 x1203 x1204 x1205 x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.06/1800.50 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1800.06/1800.50 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.06/1800.50 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 x1264 x1265 1800.06/1800.50 v x1266 x1267 x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.06/1800.50 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 1800.06/1800.50 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.06/1800.50 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.06/1800.50 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.06/1800.50 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1800.06/1800.50 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 x1412 x1413 -x1414 x1415 x1416 x1417 1800.06/1800.50 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1800.06/1800.50 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 x1449 -x1450 -x1451 -x1452 1800.06/1800.50 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.06/1800.50 v -x1470 -x1471 -x1472 -x1473 x1474 x1475 x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 1800.06/1800.50 v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 x1504 x1505 1800.06/1800.50 v x1506 x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.06/1800.50 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.06/1800.50 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.06/1800.50 v -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 1800.06/1800.50 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 1800.06/1800.50 v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1800.06/1800.50 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1800.06/1800.50 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 1800.06/1800.50 v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 x1653 x1654 x1655 -x1656 x1657 x1658 -x1659 -x1660 -x1661 -x1662 1800.06/1800.50 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1800.06/1800.50 v -x1680 -x1681 x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.06/1800.50 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 1800.06/1800.50 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.06/1800.50 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 x1773 x1774 x1775 x1776 x1777 -x1778 -x1779 1800.06/1800.50 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.06/1800.50 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 1800.06/1800.50 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 1800.06/1800.50 v -x1832 -x1833 -x1834 x1835 x1836 x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1800.06/1800.50 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1800.06/1800.50 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1800.06/1800.50 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1800.06/1800.50 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.06/1800.50 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1800.06/1800.50 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1800.06/1800.50 v x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.06/1800.50 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 1800.06/1800.50 v -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1800.06/1800.50 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 1800.06/1800.50 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1800.06/1800.50 v -x2040 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.06/1800.50 v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 1800.06/1800.50 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 1800.06/1800.50 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 x2134 -x2135 x2136 -x2137 x2138 -x2139 1800.06/1800.50 v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 1800.06/1800.50 v -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 1800.06/1800.50 v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1800.06/1800.50 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.06/1800.50 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 x2222 x2223 x2224 -x2225 1800.06/1800.50 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1800.06/1800.50 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.06/1800.50 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1800.06/1800.50 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1800.06/1800.50 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1800.06/1800.50 v -x2311 -x2312 x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.06/1800.50 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 1800.06/1800.50 v -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1800.06/1800.50 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 x2404 x2405 x2406 x2407 x2408 -x2409 -x2410 1800.06/1800.50 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1800.06/1800.50 v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.06/1800.50 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1800.06/1800.50 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.06/1800.50 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.06/1800.50 v -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1800.06/1800.50 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 x2524 -x2525 x2526 x2527 -x2528 x2529 -x2530 -x2531 1800.06/1800.50 v x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.06/1800.50 v -x2549 -x2550 x2551 x2552 x2553 x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1800.06/1800.50 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 x2583 x2584 1800.06/1800.50 v -x2585 x2586 x2587 x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 1800.06/1800.50 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 x2612 x2613 -x2614 -x2615 x2616 x2617 x2618 x2619 -x2620 1800.06/1800.50 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.06/1800.50 v -x2638 -x2639 -x2640 -x2641 x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.06/1800.50 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 x2673 1800.06/1800.50 v x2674 x2675 x2676 x2677 x2678 x2679 x2680 x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.06/1800.50 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 x2739 -x2740 1800.06/1800.50 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1800.06/1800.50 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.06/1800.50 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 1800.06/1800.50 v x2792 x2793 x2794 -x2795 x2796 x2797 x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1800.06/1800.50 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 x2823 x2824 x2825 -x2826 -x2827 1800.06/1800.50 v x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.06/1800.50 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854 -x2855 -x2856 x2857 x2858 -x2859 x2860 -x2861 -x2862 1800.06/1800.50 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.06/1800.50 v -x2880 x2881 x2882 x2883 x2884 x2885 x2886 x2887 x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.06/1800.50 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 x2913 -x2914 -x2915 x2916 1800.06/1800.50 v -x2917 -x2918 x2919 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.06/1800.50 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 x2944 x2945 x2946 x2947 x2948 -x2949 -x2950 -x2951 x2952 1800.06/1800.50 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1800.06/1800.50 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1800.06/1800.50 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 1800.06/1800.50 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1800.06/1800.50 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1800.06/1800.50 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.06/1800.50 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 x3092 -x3093 x3094 x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 1800.06/1800.50 v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.06/1800.50 v -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1800.06/1800.50 v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 -x3153 -x3154 1800.06/1800.50 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1800.06/1800.50 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 1800.06/1800.50 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1800.06/1800.50 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1800.06/1800.50 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.06/1800.50 v x3241 x3242 x3243 x3244 x3245 x3246 x3247 x3248 x3249 -x3250 -x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 1800.06/1800.50 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 1800.06/1800.50 v -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.06/1800.50 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1800.06/1800.50 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 1800.06/1800.50 v -x3328 -x3329 -x3330 x3331 x3332 x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 1800.06/1800.50 v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 -x3422 1800.06/1800.50 v x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 1800.06/1800.50 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1800.06/1800.50 v -x3457 x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 1800.06/1800.50 v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 x3482 x3483 x3484 -x3485 x3486 x3487 x3488 -x3489 -x3490 -x3491 -x3492 1800.06/1800.50 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1800.06/1800.50 v -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 1800.06/1800.50 v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 -x3543 x3544 x3545 1800.06/1800.50 v x3546 x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.06/1800.50 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.06/1800.50 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.06/1800.50 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.06/1800.50 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1800.06/1800.50 v -x3632 -x3633 -x3634 x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 1800.06/1800.50 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 x3663 x3664 x3665 x3666 -x3667 1800.06/1800.50 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 1800.06/1800.50 v -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 x3692 -x3693 x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 1800.06/1800.50 v -x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 1800.06/1800.50 v -x3720 -x3751 x3752 x3753 x3754 x3755 x3756 -x3757 -x3758 x3759 x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.06/1800.50 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 x3783 x3784 x3785 1800.06/1800.50 v x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 1800.06/1800.50 v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 1800.06/1800.50 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 1800.06/1800.50 v -x3838 -x3839 -x3840 x3841 x3842 x3843 x3844 x3845 x3846 x3847 x3848 x3849 -x3850 x3851 x3852 -x3853 -x3854 -x3855 -x3856 1800.06/1800.50 v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 1800.06/1800.50 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1800.06/1800.50 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 x3907 1800.06/1800.50 v -x3908 -x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 1800.06/1800.50 v -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 x3932 x3933 x3934 x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 1800.06/1800.50 v -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 1800.06/1800.50 v -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 1800.06/1800.50 v -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 1800.06/1800.50 v -x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 1800.06/1800.50 v -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 x4022 x4023 x4024 x4025 x4026 x4027 -x4028 -x4029 1800.06/1800.50 v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1800.06/1800.50 v -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 1800.06/1800.50 v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 1800.06/1800.50 v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 x4117 x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 1800.06/1800.50 v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 1800.06/1800.50 v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.06/1800.50 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 1800.06/1800.50 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1800.06/1800.50 v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 x4208 -x4209 -x4210 -x4211 -x4212 -x4213 1800.06/1800.50 v -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1800.06/1800.50 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4242 -x4243 -x4244 -x4245 -x4246 -x4247 1800.06/1800.50 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 1800.06/1800.50 v -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 1800.06/1800.50 v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 1800.06/1800.50 v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 1800.06/1800.50 v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 x4332 1800.06/1800.50 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 1800.06/1800.50 v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 1800.06/1800.50 v -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 x4411 -x4412 -x4413 1800.06/1800.50 v x4414 x4415 x4416 -x4417 x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 1800.06/1800.50 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 1800.06/1800.50 v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 1800.06/1800.50 v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 1800.06/1800.50 v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1800.06/1800.50 v -x4500 x4501 x4502 x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 1800.06/1800.50 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 1800.06/1800.50 v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 1800.06/1800.50 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1800.06/1800.50 v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 1800.06/1800.50 v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 x4601 -x4602 -x4603 1800.06/1800.50 v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1800.06/1800.50 v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 1800.06/1800.50 v -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 1800.06/1800.50 v x4656 x4657 x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 1800.06/1800.50 v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 1800.06/1800.50 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 1800.06/1800.50 v -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.06/1800.50 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.06/1800.50 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 1800.06/1800.50 v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 1800.06/1800.50 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 1800.06/1800.50 v -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 1800.06/1800.50 v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1800.06/1800.50 v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 1800.06/1800.50 v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1800.06/1800.50 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1800.06/1800.50 v -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 1800.06/1800.50 v -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 1800.06/1800.50 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 x4952 -x4953 x4954 x4955 x4956 x4957 x4958 x4959 -x4960 -x4961 1800.06/1800.50 v -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 1800.06/1800.50 v -x4979 -x4980 -x4981 -x4982 -x4983 x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 1800.06/1800.50 v -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 1800.06/1800.50 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 1800.06/1800.50 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5071 -x5072 x5073 x5074 x5075 -x5076 -x5077 1800.06/1800.50 v -x5078 x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 1800.06/1800.50 v -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 1800.06/1800.50 v -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 1800.06/1800.50 v -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 -x5145 -x5146 1800.06/1800.50 v -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 1800.06/1800.50 v -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1800.06/1800.50 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 1800.06/1800.50 v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 1800.06/1800.50 v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 x5226 x5227 x5228 -x5229 -x5230 x5231 x5232 1800.06/1800.50 v -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 1800.06/1800.50 v -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 1800.06/1800.50 v -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 1800.06/1800.50 v -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 1800.06/1800.50 v -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 1800.06/1800.50 v -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 1800.06/1800.50 v -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 x5347 -x5348 -x5349 x5350 x5351 -x5352 -x5353 1800.06/1800.50 v -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 1800.06/1800.50 v -x5401 -x5402 -x5403 x5404 -x5405 -x5406 x5407 -x5408 -x5409 x5410 x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.06/1800.50 v -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 -x5435 1800.06/1800.50 v -x5436 -x5437 -x5438 -x5439 x5440 -x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 1800.06/1800.50 v -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 x5471 1800.06/1800.50 v x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 1800.06/1800.50 v -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 -x5505 1800.06/1800.50 v -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 x5522 x5523 1800.06/1800.50 v x5524 x5525 x5526 x5527 x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 1800.06/1800.50 v -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 x5552 -x5553 -x5554 x5555 x5556 -x5557 -x5558 -x5559 1800.06/1800.50 v -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 1800.06/1800.50 v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 1800.06/1800.50 v -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 x5611 1800.06/1800.50 v x5612 x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 1800.06/1800.50 v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 x5644 -x5645 -x5646 -x5647 1800.06/1800.50 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1800.06/1800.50 v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 x5681 1800.06/1800.50 v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 1800.06/1800.50 v -x5699 -x5700 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 x5743 -x5744 -x5745 -x5746 1800.06/1800.50 v -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 1800.06/1800.50 v -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 1800.06/1800.50 v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 -x5792 -x5793 x5794 -x5795 x5796 x5797 -x5798 1800.06/1800.50 v -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 1800.06/1800.50 v -x5816 -x5817 -x5818 -x5819 -x5820 x5821 x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 1800.06/1800.50 v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1800.06/1800.50 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1800.06/1800.50 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 1800.06/1800.50 v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 1800.06/1800.50 v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 x5913 -x5914 -x5915 x5916 -x5917 x5918 -x5919 -x5920 1800.06/1800.50 v x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 1800.06/1800.50 v -x5938 -x5939 -x5940 x5941 x5942 x5943 x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 1800.06/1800.50 v -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 x5972 x5973 1800.06/1800.50 v x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 1800.06/1800.50 v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 -x6002 x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 1800.06/1800.50 v -x6010 -x6011 x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 1800.06/1800.50 v -x6027 -x6028 -x6029 -x6030 x6061 -x6062 -x6063 x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 1800.06/1800.50 v -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6091 1800.06/1800.50 v x6092 x6093 x6094 x6095 x6096 x6097 x6098 x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 1800.06/1800.50 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 1800.06/1800.50 v -x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 1800.06/1800.50 v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 1800.06/1800.50 v -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 1800.06/1800.50 v -x6179 -x6180 x6181 x6182 x6183 x6184 x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 1800.06/1800.50 v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 x6212 x6213 x6214 1800.06/1800.50 v -x6215 x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 1800.06/1800.50 v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 1800.06/1800.50 v -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 1800.06/1800.50 v -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 x6275 x6276 -x6277 -x6278 -x6279 -x6280 x6281 -x6282 x6283 1800.06/1800.50 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1800.06/1800.50 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 1800.06/1800.50 v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x8671 x8672 x8783 -x8883 x8894 1800.06/1800.50 v x8905 x8916 x8927 x8938 x8949 x8673 -x8684 x8695 x8706 x8717 x8728 x8739 x8750 x8761 x8772 x8784 x8795 x8806 x8817 x8828 1800.06/1800.50 v x8839 x8850 x8861 -x8872 x8882 x8884 x8885 x8886 x8887 x8888 x8889 x8890 x8891 x8892 x8893 x8895 x8896 x8897 x8898 x8899 1800.06/1800.50 v x8900 x8901 x8902 x8903 x8904 x8906 x8907 -x8908 x8909 x8910 x8911 x8912 x8913 x8914 x8915 x8917 x8918 x8919 x8920 -x8921 1800.06/1800.50 v x8922 x8923 x8924 x8925 x8926 x8928 x8929 x8930 x8931 x8932 x8933 x8934 x8935 x8936 x8937 x8939 x8940 x8941 x8942 x8943 x8944 1800.06/1800.50 v x8945 x8946 x8947 x8948 x8950 x8951 x8952 x8953 x8954 x8955 x8956 x8957 x8958 x8959 x8674 x8675 x8676 -x8677 -x8678 x8679 1800.06/1800.50 v x8680 x8681 x8682 x8683 -x8685 x8686 x8687 x8688 x8689 x8690 x8691 x8692 x8693 x8694 x8696 -x8697 x8698 x8699 x8700 x8701 1800.06/1800.50 v x8702 x8703 x8704 x8705 x8707 x8708 x8709 -x8710 x8711 x8712 x8713 x8714 x8715 -x8716 x8718 x8719 x8720 x8721 x8722 x8723 1800.06/1800.50 v x8724 -x8725 x8726 x8727 x8729 x8730 x8731 x8732 -x8733 -x8734 x8735 x8736 x8737 x8738 x8740 -x8741 x8742 x8743 x8744 x8745 1800.06/1800.50 v x8746 x8747 x8748 x8749 x8751 x8752 x8753 x8754 x8755 x8756 x8757 x8758 x8759 x8760 x8762 x8763 x8764 x8765 x8766 x8767 x8768 1800.06/1800.50 v x8769 x8770 x8771 x8773 x8774 x8775 x8776 x8777 -x8778 x8779 x8780 -x8781 x8782 x8785 x8786 x8787 x8788 x8789 x8790 -x8791 1800.06/1800.50 v x8792 x8793 x8794 x8796 x8797 x8798 x8799 x8800 x8801 x8802 -x8803 x8804 x8805 x8807 x8808 x8809 x8810 x8811 x8812 -x8813 1800.06/1800.50 v -x8814 x8815 -x8816 x8818 x8819 x8820 x8821 x8822 -x8823 x8824 x8825 x8826 x8827 x8829 -x8830 -x8831 -x8832 x8833 x8834 1800.06/1800.50 v x8835 x8836 x8837 x8838 x8840 -x8841 x8842 x8843 -x8844 x8845 x8846 -x8847 -x8848 x8849 x8851 x8852 x8853 x8854 x8855 x8856 1800.06/1800.50 v x8857 x8858 x8859 x8860 x8862 x8863 x8864 x8865 -x8866 x8867 x8868 x8869 x8870 x8871 x8873 x8874 x8875 -x8876 x8877 x8878 1800.06/1800.50 v x8879 x8880 x8881
OK 16044650
/tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-353962-1176689576 -o ROOT/results/node43/solver-353962-1176689576 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353962-1176689576/minisat+ /tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8503 /proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=1180 CPUtime=0 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 116869405 1208320 129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 295 129 67 215 0 77 0 [startup+0.026331 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8503 /proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=2276 CPUtime=0.02 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 381 0 0 0 2 0 0 0 18 0 1 0 116869405 2330624 366 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 569 366 67 215 0 351 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2276 [startup+0.101337 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8503 /proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=2860 CPUtime=0.09 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 552 0 0 0 9 0 0 0 18 0 1 0 116869405 2928640 537 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 715 537 75 215 0 497 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2860 [startup+0.301355 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8503 /proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=3516 CPUtime=0.29 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 718 0 0 0 29 0 0 0 19 0 1 0 116869405 3600384 703 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 879 703 75 215 0 661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3516 [startup+0.701389 s] /proc/loadavg: 0.92 0.98 0.99 3/64 8503 /proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=4416 CPUtime=0.69 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 999 0 0 0 69 0 0 0 22 0 1 0 116869405 4521984 931 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 1104 931 87 215 0 886 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4416 [startup+1.50247 s] /proc/loadavg: 0.92 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1685232/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=4904 CPUtime=1.49 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 1171 0 0 0 149 0 0 0 25 0 1 0 116869405 5021696 1091 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 1226 1091 106 215 0 1008 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4904 [startup+3.1016 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1680496/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=10972 CPUtime=3.09 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2659 0 0 0 309 0 0 0 25 0 1 0 116869405 11235328 2532 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 2743 2532 123 215 0 2525 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10972 [startup+6.30189 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1678904/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=11236 CPUtime=6.29 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2732 0 0 0 629 0 0 0 25 0 1 0 116869405 11505664 2605 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 2809 2605 123 215 0 2591 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11236 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1678656/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=11500 CPUtime=12.68 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2795 0 0 0 1268 0 0 0 25 0 1 0 116869405 11776000 2668 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573300 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 2875 2668 123 215 0 2657 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11500 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1678080/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=12028 CPUtime=25.49 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2947 0 0 0 2548 1 0 0 25 0 1 0 116869405 12316672 2820 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 3007 2820 123 215 0 2789 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12028 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1644800/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=45428 CPUtime=51.08 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 11285 0 0 0 5103 5 0 0 25 0 1 0 116869405 46518272 11158 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 11357 11158 123 215 0 11139 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45428 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1640384/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=49920 CPUtime=102.27 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 12377 0 0 0 10221 6 0 0 25 0 1 0 116869405 51118080 12250 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 12480 12250 123 215 0 12262 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49920 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1624512/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=66016 CPUtime=162.25 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 16329 0 0 0 16216 9 0 0 25 0 1 0 116869405 67600384 16202 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587961 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 16504 16202 123 215 0 16286 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 66016 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1624512/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=66016 CPUtime=222.24 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 16330 0 0 0 22215 9 0 0 25 0 1 0 116869405 67600384 16203 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 16504 16203 123 215 0 16286 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 66016 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1624448/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=66016 CPUtime=282.22 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 16344 0 0 0 28213 9 0 0 25 0 1 0 116869405 67600384 16217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 16504 16217 123 215 0 16286 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 66016 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1618176/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=72120 CPUtime=342.21 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 17913 0 0 0 34210 11 0 0 25 0 1 0 116869405 73850880 17786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 18030 17786 123 215 0 17812 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 72120 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1618176/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=72120 CPUtime=402.2 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 17913 0 0 0 40209 11 0 0 25 0 1 0 116869405 73850880 17786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 18030 17786 123 215 0 17812 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 72120 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1606400/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=83868 CPUtime=462.18 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 20842 0 0 0 46204 14 0 0 25 0 1 0 116869405 85880832 20715 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588047 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 20967 20715 123 215 0 20749 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 83868 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1606400/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=83868 CPUtime=522.17 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 20842 0 0 0 52203 14 0 0 25 0 1 0 116869405 85880832 20715 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 20967 20715 123 215 0 20749 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 83868 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1585792/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=104840 CPUtime=582.15 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 26071 0 0 0 58196 19 0 0 25 0 1 0 116869405 107356160 25944 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 26210 25944 123 215 0 25992 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 104840 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1561600/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=128776 CPUtime=642.15 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 32032 0 0 0 64189 26 0 0 25 0 1 0 116869405 131866624 31905 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 32194 31905 123 215 0 31976 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 128776 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8504 /proc/meminfo: memFree=1521920/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=168512 CPUtime=882.08 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 41938 0 0 0 88173 35 0 0 25 0 1 0 116869405 172556288 41811 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 42128 41811 123 215 0 41910 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 168512 [startup+942.301 s] /proc/loadavg: 1.07 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1489216/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=201332 CPUtime=942.07 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 50165 0 0 0 94164 43 0 0 25 0 1 0 116869405 206163968 50038 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 50333 50038 123 215 0 50115 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 201332 [startup+1002.3 s] /proc/loadavg: 1.09 1.02 1.00 2/65 8504 /proc/meminfo: memFree=1466624/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=223720 CPUtime=1002.05 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 55715 0 0 0 100158 47 0 0 25 0 1 0 116869405 229089280 55588 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 55930 55588 123 215 0 55712 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 223720 [startup+1062.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 8504 /proc/meminfo: memFree=1426368/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=263724 CPUtime=1062.04 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 106148 56 0 0 25 0 1 0 116869405 270053376 65634 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 65931 65634 123 215 0 65713 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 263724 [startup+1122.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 8504 /proc/meminfo: memFree=1426368/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=263724 CPUtime=1122.02 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 112146 56 0 0 25 0 1 0 116869405 270053376 65634 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 65931 65634 123 215 0 65713 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 263724 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 8504 /proc/meminfo: memFree=1426368/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=263684 CPUtime=1182.01 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 118145 56 0 0 25 0 1 0 116869405 270012416 65625 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572994 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 65921 65625 123 215 0 65703 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 263684 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8504 /proc/meminfo: memFree=1426304/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=263684 CPUtime=1241.99 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 124143 56 0 0 25 0 1 0 116869405 270012416 65625 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 65921 65625 123 215 0 65703 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 263684 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1413696/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=278616 CPUtime=1301.99 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69653 0 0 0 130141 58 0 0 25 0 1 0 116869405 285302784 68774 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69654 68774 123 215 0 69436 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 278616 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1413696/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=278616 CPUtime=1361.97 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69653 0 0 0 136139 58 0 0 25 0 1 0 116869405 285302784 68774 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69654 68774 123 215 0 69436 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 278616 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1413696/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=278616 CPUtime=1421.95 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69653 0 0 0 142137 58 0 0 25 0 1 0 116869405 285302784 68774 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588875 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69654 68774 123 215 0 69436 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 278616 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1413504/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=278616 CPUtime=1481.94 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69696 0 0 0 148135 59 0 0 25 0 1 0 116869405 285302784 68817 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69654 68817 123 215 0 69436 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 278616 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8506 /proc/meminfo: memFree=1413312/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=278616 CPUtime=1541.92 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69698 0 0 0 154133 59 0 0 25 0 1 0 116869405 285302784 68819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69654 68819 123 215 0 69436 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 278616 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8506 /proc/meminfo: memFree=1413376/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=279028 CPUtime=1601.9 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69717 0 0 0 160131 59 0 0 25 0 1 0 116869405 285724672 68789 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69757 68789 123 215 0 69539 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 279028 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8506 /proc/meminfo: memFree=1413376/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=279028 CPUtime=1661.89 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69717 0 0 0 166130 59 0 0 25 0 1 0 116869405 285724672 68789 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69757 68789 123 215 0 69539 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 279028 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8506 /proc/meminfo: memFree=1413376/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=279028 CPUtime=1721.87 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 172128 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69757 68791 123 215 0 69539 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 279028 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8506 /proc/meminfo: memFree=1413440/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=279028 CPUtime=1781.86 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 178127 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69757 68791 123 215 0 69539 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 279028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8506 /proc/meminfo: memFree=1413440/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=279028 CPUtime=1800.06 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 179947 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69757 68791 123 215 0 69539 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 279028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8506 /proc/meminfo: memFree=1413440/2055920 swapFree=4191892/4192956 [pid=8503] ppid=8501 vsize=279028 CPUtime=1800.06 /proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 179947 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8503/statm: 69757 68791 123 215 0 69539 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 279028 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800.12 CPU user time (s): 1799.47 CPU system time (s): 0.642902 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 279224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.642902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69721 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 2109 runsolver used 1.39579 second user time and 3.55146 second system time The end
Begin job on node43 on Mon Apr 16 02:12:56 UTC 2007 IDJOB= 353962 IDBENCH= 2302 IDSOLVER= 156 FILE ID= node43/353962-1176689576 PBS_JOBID= 4559984 Free space on /tmp= 66551 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb COMMAND LINE= /tmp/evaluation/353962-1176689576/minisat+ /tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-353962-1176689576 -o ROOT/results/node43/conversion-353962-1176689576 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-353962-1176689576 -o ROOT/results/node43/solver-353962-1176689576 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353962-1176689576/minisat+ /tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9 RANDOM SEED= 318482476 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 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.218 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: 1689552 kB Buffers: 58732 kB Cached: 216740 kB SwapCached: 268 kB Active: 119384 kB Inactive: 175428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1689552 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 2844 kB Writeback: 0 kB Mapped: 27372 kB Slab: 57584 kB Committed_AS: 1489388 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66551 MiB End job on node43 on Mon Apr 16 02:42:59 UTC 2007