0.00/0.00	c Parsing PB file...
0.29/0.39	c Converting 356 PB-constraints to clauses...
0.29/0.39	c   -- Unit propagations: (none)
0.89/0.98	c   -- Detecting intervals from adjacent constraints: #################################################
0.89/0.99	c   -- Clauses(.)/Splits(s): (none)
0.89/0.99	c ---[ 354]---> Adder-cost: 1146   maxlim: 629717   bits: 20/20
0.99/1.08	c ---[ 352]---> Adder-cost: 1146   maxlim: 674773   bits: 20/20
1.09/1.18	c ---[ 350]---> Adder-cost: 1138   maxlim: 631765   bits: 20/20
1.19/1.27	c ---[ 348]---> Adder-cost: 1146   maxlim: 745429   bits: 20/20
1.29/1.36	c ---[ 346]---> Adder-cost: 1070   maxlim: 304085   bits: 19/19
1.39/1.44	c ---[ 344]---> Adder-cost: 1146   maxlim: 675797   bits: 20/20
1.49/1.53	c ---[ 342]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.55	c ---[ 340]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.56	c ---[ 338]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.57	c ---[ 336]---> Sorter-cost: 1260     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.58	c ---[ 334]---> Sorter-cost: 1260     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.59	c ---[ 332]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.60	c ---[ 330]---> Sorter-cost:  954     Base: 2 2 2 2 2 2 2 2 2 2 2
1.59/1.61	c ---[ 328]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.62	c ---[ 326]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.64	c ---[ 324]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.65	c ---[ 322]---> Sorter-cost:  954     Base: 2 2 2 2 2 2 2 2 2 2 2
1.59/1.66	c ---[ 320]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.67	c ---[ 318]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.68	c ---[ 316]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.70	c ---[ 314]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.68/1.71	c ---[ 312]---> Sorter-cost:  954     Base: 2 2 2 2 2 2 2 2 2 2 2
1.68/1.72	c ---[ 310]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.68/1.73	c ---[ 308]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.68/1.74	c ---[ 306]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.68/1.75	c ---[ 304]---> Sorter-cost:  954     Base: 2 2 2 2 2 2 2 2 2 2 2
1.68/1.76	c ---[ 302]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.68/1.77	c ---[ 300]---> Sorter-cost: 1260     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.68/1.78	c ---[ 298]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.68/1.79	c ---[ 296]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.80	c ---[ 294]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.81	c ---[ 292]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.82	c ---[ 290]---> Sorter-cost:  866     Base: 2 2 2 2 2 2 2 2 2 2
1.78/1.83	c ---[ 288]---> Sorter-cost:  954     Base: 2 2 2 2 2 2 2 2 2 2 2
1.78/1.84	c ---[ 286]---> Sorter-cost: 1260     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.85	c ---[ 284]---> Sorter-cost:  954     Base: 2 2 2 2 2 2 2 2 2 2 2
1.78/1.86	c ---[ 282]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.88	c ---[ 280]---> Sorter-cost: 1260     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.78/1.90	c ---[ 278]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.89/1.91	c ---[ 276]---> Sorter-cost:  866     Base: 2 2 2 2 2 2 2 2 2 2
1.89/1.92	c ---[ 274]---> Sorter-cost: 1260     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.89/1.93	c ---[ 272]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.89/1.94	c ---[ 270]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.89/1.95	c ---[ 268]---> Sorter-cost:  954     Base: 2 2 2 2 2 2 2 2 2 2 2
1.89/1.96	c ---[ 266]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.89/1.97	c ---[ 264]---> Sorter-cost: 1309     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.89/1.99	c ---[ 262]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.99/2.00	c ---[ 260]---> Sorter-cost: 1042     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.99/2.01	c ---[ 258]---> Sorter-cost: 1176     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.99/2.02	c ---[ 257]---> BDD-cost:   15
1.99/2.02	c ---[ 256]---> BDD-cost:   15
1.99/2.02	c ---[ 255]---> BDD-cost:   17
1.99/2.02	c ---[ 254]---> BDD-cost:   14
1.99/2.02	c ---[ 253]---> BDD-cost:   18
1.99/2.02	c ---[ 252]---> BDD-cost:   20
1.99/2.02	c ---[ 251]---> BDD-cost:   17
1.99/2.02	c ---[ 250]---> BDD-cost:   13
1.99/2.02	c ---[ 249]---> BDD-cost:   15
1.99/2.02	c ---[ 248]---> BDD-cost:   20
1.99/2.02	c ---[ 247]---> BDD-cost:   15
1.99/2.02	c ---[ 246]---> BDD-cost:   13
1.99/2.02	c ---[ 245]---> BDD-cost:   18
1.99/2.03	c ---[ 244]---> BDD-cost:   20
1.99/2.03	c ---[ 243]---> BDD-cost:   15
1.99/2.03	c ---[ 242]---> BDD-cost:   16
1.99/2.03	c ---[ 241]---> BDD-cost:   14
1.99/2.03	c ---[ 240]---> BDD-cost:   18
1.99/2.03	c ---[ 239]---> BDD-cost:   20
1.99/2.03	c ---[ 238]---> BDD-cost:   15
1.99/2.03	c ---[ 237]---> BDD-cost:   14
1.99/2.03	c ---[ 236]---> BDD-cost:   15
1.99/2.03	c ---[ 235]---> BDD-cost:   12
1.99/2.03	c ---[ 234]---> BDD-cost:   14
1.99/2.03	c ---[ 233]---> BDD-cost:   16
1.99/2.03	c ---[ 232]---> BDD-cost:   20
1.99/2.03	c ---[ 231]---> BDD-cost:   13
1.99/2.03	c ---[ 230]---> BDD-cost:   17
1.99/2.03	c ---[ 229]---> BDD-cost:   20
1.99/2.03	c ---[ 228]---> BDD-cost:   20
1.99/2.03	c ---[ 227]---> BDD-cost:   12
1.99/2.03	c ---[ 226]---> BDD-cost:   18
1.99/2.03	c ---[ 225]---> BDD-cost:   17
1.99/2.03	c ---[ 224]---> BDD-cost:   14
1.99/2.03	c ---[ 223]---> BDD-cost:   15
1.99/2.03	c ---[ 222]---> BDD-cost:   15
1.99/2.03	c ---[ 221]---> BDD-cost:   15
1.99/2.03	c ---[ 220]---> BDD-cost:   16
1.99/2.03	c ---[ 219]---> BDD-cost:   14
1.99/2.03	c ---[ 218]---> BDD-cost:   20
1.99/2.03	c ---[ 217]---> BDD-cost:   17
1.99/2.03	c ---[ 216]---> BDD-cost:   17
1.99/2.03	c ---[ 215]---> BDD-cost:   14
1.99/2.03	c ---[ 214]---> BDD-cost:   14
1.99/2.03	c ---[ 213]---> BDD-cost:   15
1.99/2.03	c ---[ 212]---> BDD-cost:   17
1.99/2.03	c ---[ 211]---> BDD-cost:   14
1.99/2.03	c ---[ 210]---> BDD-cost:   20
1.99/2.03	c ---[ 209]---> BDD-cost:   16
1.99/2.03	c ---[ 208]---> BDD-cost:   15
1.99/2.03	c ---[ 207]---> BDD-cost:   14
1.99/2.03	c ---[ 206]---> BDD-cost:   18
1.99/2.03	c ---[ 205]---> BDD-cost:   22
1.99/2.03	c ---[ 204]---> BDD-cost:   17
1.99/2.03	c ---[ 203]---> BDD-cost:   13
1.99/2.03	c ---[ 202]---> BDD-cost:   15
1.99/2.03	c ---[ 201]---> BDD-cost:   18
1.99/2.03	c ---[ 200]---> BDD-cost:   18
1.99/2.03	c ---[ 199]---> BDD-cost:   15
1.99/2.03	c ---[ 198]---> BDD-cost:   13
1.99/2.03	c ---[ 197]---> BDD-cost:   18
1.99/2.03	c ---[ 196]---> BDD-cost:   15
1.99/2.03	c ---[ 195]---> BDD-cost:   16
1.99/2.04	c ---[ 194]---> BDD-cost:   14
1.99/2.04	c ---[ 193]---> BDD-cost:   18
1.99/2.04	c ---[ 192]---> BDD-cost:   20
1.99/2.04	c ---[ 191]---> BDD-cost:   15
1.99/2.04	c ---[ 190]---> BDD-cost:   14
1.99/2.04	c ---[ 189]---> BDD-cost:   22
1.99/2.04	c ---[ 188]---> BDD-cost:   15
1.99/2.04	c ---[ 187]---> BDD-cost:   12
1.99/2.04	c ---[ 186]---> BDD-cost:   14
1.99/2.04	c ---[ 185]---> BDD-cost:   20
1.99/2.04	c ---[ 184]---> BDD-cost:   13
1.99/2.04	c ---[ 183]---> BDD-cost:   17
1.99/2.04	c ---[ 182]---> BDD-cost:   20
1.99/2.04	c ---[ 181]---> BDD-cost:   22
1.99/2.04	c ---[ 180]---> BDD-cost:   12
1.99/2.04	c ---[ 179]---> BDD-cost:   18
1.99/2.04	c ---[ 178]---> BDD-cost:   17
1.99/2.04	c ---[ 177]---> BDD-cost:   17
1.99/2.04	c ---[ 176]---> BDD-cost:   14
1.99/2.04	c ---[ 175]---> BDD-cost:   16
1.99/2.04	c ---[ 174]---> BDD-cost:   15
1.99/2.04	c ---[ 173]---> BDD-cost:   16
1.99/2.04	c ---[ 172]---> BDD-cost:   14
1.99/2.04	c ---[ 171]---> BDD-cost:   16
1.99/2.04	c ---[ 170]---> BDD-cost:   16
1.99/2.04	c ---[ 169]---> BDD-cost:   16
1.99/2.04	c ---[ 168]---> BDD-cost:   14
1.99/2.04	c ---[ 167]---> BDD-cost:   13
1.99/2.04	c ---[ 166]---> BDD-cost:   14
1.99/2.04	c ---[ 165]---> BDD-cost:   16
1.99/2.04	c ---[ 164]---> BDD-cost:   16
1.99/2.04	c ---[ 163]---> BDD-cost:   16
1.99/2.04	c ---[ 162]---> BDD-cost:   16
1.99/2.04	c ---[ 161]---> BDD-cost:   15
1.99/2.04	c ---[ 160]---> BDD-cost:   14
1.99/2.04	c ---[ 159]---> BDD-cost:   16
1.99/2.04	c ---[ 158]---> BDD-cost:   16
1.99/2.04	c ---[ 157]---> BDD-cost:   16
1.99/2.04	c ---[ 156]---> BDD-cost:   15
1.99/2.04	c ---[ 155]---> BDD-cost:   13
1.99/2.04	c ---[ 154]---> BDD-cost:   16
1.99/2.04	c ---[ 153]---> BDD-cost:   16
1.99/2.04	c ---[ 152]---> BDD-cost:   15
1.99/2.04	c ---[ 151]---> BDD-cost:   13
1.99/2.04	c ---[ 150]---> BDD-cost:   16
1.99/2.04	c ---[ 149]---> BDD-cost:   15
1.99/2.04	c ---[ 148]---> BDD-cost:   16
1.99/2.04	c ---[ 147]---> BDD-cost:   14
1.99/2.04	c ---[ 146]---> BDD-cost:   16
1.99/2.04	c ---[ 145]---> BDD-cost:   16
1.99/2.04	c ---[ 144]---> BDD-cost:   22
1.99/2.04	c ---[ 143]---> BDD-cost:   16
1.99/2.05	c ---[ 142]---> BDD-cost:   16
1.99/2.05	c ---[ 141]---> BDD-cost:   14
1.99/2.05	c ---[ 140]---> BDD-cost:   15
1.99/2.05	c ---[ 139]---> BDD-cost:   12
1.99/2.05	c ---[ 138]---> BDD-cost:   14
1.99/2.05	c ---[ 137]---> BDD-cost:   16
1.99/2.05	c ---[ 136]---> BDD-cost:   13
1.99/2.05	c ---[ 135]---> BDD-cost:   16
1.99/2.05	c ---[ 134]---> BDD-cost:   16
1.99/2.05	c ---[ 133]---> BDD-cost:   15
1.99/2.05	c ---[ 132]---> BDD-cost:   16
1.99/2.05	c ---[ 131]---> BDD-cost:   12
1.99/2.05	c ---[ 130]---> BDD-cost:   16
1.99/2.05	c ---[ 129]---> BDD-cost:   16
1.99/2.05	c ---[ 128]---> BDD-cost:   14
1.99/2.05	c ---[ 127]---> BDD-cost:   15
1.99/2.05	c ---[ 126]---> BDD-cost:   15
1.99/2.05	c ---[ 125]---> BDD-cost:   16
1.99/2.05	c ---[ 124]---> BDD-cost:   14
1.99/2.05	c ---[ 123]---> BDD-cost:   20
1.99/2.05	c ---[ 122]---> BDD-cost:   13
1.99/2.05	c ---[ 121]---> BDD-cost:   17
1.99/2.05	c ---[ 120]---> BDD-cost:   17
1.99/2.05	c ---[ 119]---> BDD-cost:   14
1.99/2.05	c ---[ 118]---> BDD-cost:   14
1.99/2.05	c ---[ 117]---> BDD-cost:   15
1.99/2.05	c ---[ 116]---> BDD-cost:   17
1.99/2.05	c ---[ 115]---> BDD-cost:   20
1.99/2.05	c ---[ 114]---> BDD-cost:   16
1.99/2.05	c ---[ 113]---> BDD-cost:   15
1.99/2.05	c ---[ 112]---> BDD-cost:   14
1.99/2.05	c ---[ 111]---> BDD-cost:   18
1.99/2.05	c ---[ 110]---> BDD-cost:   18
1.99/2.05	c ---[ 109]---> BDD-cost:   22
1.99/2.05	c ---[ 108]---> BDD-cost:   17
1.99/2.05	c ---[ 107]---> BDD-cost:   13
1.99/2.05	c ---[ 106]---> BDD-cost:   15
1.99/2.05	c ---[ 105]---> BDD-cost:   22
1.99/2.05	c ---[ 104]---> BDD-cost:   15
1.99/2.05	c ---[ 103]---> BDD-cost:   13
1.99/2.05	c ---[ 102]---> BDD-cost:   18
1.99/2.05	c ---[ 101]---> BDD-cost:   15
1.99/2.05	c ---[ 100]---> BDD-cost:   15
1.99/2.05	c ---[  99]---> BDD-cost:   16
1.99/2.05	c ---[  98]---> BDD-cost:   14
1.99/2.05	c ---[  97]---> BDD-cost:   18
1.99/2.05	c ---[  96]---> BDD-cost:   20
1.99/2.05	c ---[  95]---> BDD-cost:   15
1.99/2.05	c ---[  94]---> BDD-cost:   14
1.99/2.05	c ---[  93]---> BDD-cost:   15
1.99/2.05	c ---[  92]---> BDD-cost:   12
1.99/2.05	c ---[  91]---> BDD-cost:   14
1.99/2.05	c ---[  90]---> BDD-cost:   20
1.99/2.06	c ---[  89]---> BDD-cost:   16
1.99/2.06	c ---[  88]---> BDD-cost:   13
1.99/2.06	c ---[  87]---> BDD-cost:   17
1.99/2.06	c ---[  86]---> BDD-cost:   20
1.99/2.06	c ---[  85]---> BDD-cost:   22
1.99/2.06	c ---[  84]---> BDD-cost:   12
1.99/2.06	c ---[  83]---> BDD-cost:   18
1.99/2.06	c ---[  82]---> BDD-cost:   17
1.99/2.06	c ---[  81]---> BDD-cost:   14
1.99/2.06	c ---[  80]---> BDD-cost:   14
1.99/2.06	c ---[  79]---> BDD-cost:   18
1.99/2.06	c ---[  78]---> BDD-cost:   20
1.99/2.06	c ---[  77]---> BDD-cost:   15
1.99/2.06	c ---[  76]---> BDD-cost:   14
1.99/2.06	c ---[  75]---> BDD-cost:   14
1.99/2.06	c ---[  74]---> BDD-cost:   15
1.99/2.06	c ---[  73]---> BDD-cost:   12
1.99/2.06	c ---[  72]---> BDD-cost:   14
1.99/2.06	c ---[  71]---> BDD-cost:   20
1.99/2.06	c ---[  70]---> BDD-cost:   13
1.99/2.06	c ---[  69]---> BDD-cost:   17
1.99/2.06	c ---[  68]---> BDD-cost:   20
1.99/2.06	c ---[  67]---> BDD-cost:   22
1.99/2.06	c ---[  66]---> BDD-cost:   12
1.99/2.06	c ---[  65]---> BDD-cost:   20
1.99/2.06	c ---[  64]---> BDD-cost:   18
1.99/2.06	c ---[  63]---> BDD-cost:   17
1.99/2.06	c ---[  62]---> BDD-cost:   14
1.99/2.06	c ---[  61]---> BDD-cost:   15
1.99/2.06	c ---[  60]---> BDD-cost:   15
1.99/2.06	c ---[  59]---> BDD-cost:   16
1.99/2.06	c ---[  58]---> BDD-cost:   14
1.99/2.06	c ---[  57]---> BDD-cost:   20
1.99/2.06	c ---[  56]---> BDD-cost:   17
1.99/2.06	c ---[  55]---> BDD-cost:   17
1.99/2.06	c ---[  54]---> BDD-cost:   17
1.99/2.06	c ---[  53]---> BDD-cost:   14
1.99/2.06	c ---[  52]---> BDD-cost:   14
1.99/2.06	c ---[  51]---> BDD-cost:   15
1.99/2.06	c ---[  50]---> BDD-cost:   17
1.99/2.06	c ---[  49]---> BDD-cost:   20
1.99/2.06	c ---[  48]---> BDD-cost:   16
1.99/2.06	c ---[  47]---> BDD-cost:   15
1.99/2.06	c ---[  46]---> BDD-cost:   14
1.99/2.06	c ---[  45]---> BDD-cost:   18
1.99/2.06	c ---[  44]---> BDD-cost:   22
1.99/2.06	c ---[  43]---> BDD-cost:   17
1.99/2.06	c ---[  42]---> BDD-cost:   17
1.99/2.06	c ---[  41]---> BDD-cost:   13
1.99/2.06	c ---[  40]---> BDD-cost:   15
1.99/2.06	c ---[  39]---> BDD-cost:   22
1.99/2.07	c ---[  38]---> BDD-cost:   15
1.99/2.07	c ---[  37]---> BDD-cost:   13
1.99/2.07	c ---[  36]---> BDD-cost:   18
1.99/2.07	c ---[  35]---> BDD-cost:   15
1.99/2.07	c ---[  34]---> BDD-cost:   16
1.99/2.07	c ---[  33]---> BDD-cost:   14
1.99/2.07	c ---[  32]---> BDD-cost:   14
1.99/2.07	c ---[  31]---> BDD-cost:   18
1.99/2.07	c ---[  30]---> BDD-cost:   20
1.99/2.07	c ---[  29]---> BDD-cost:   15
1.99/2.07	c ---[  28]---> BDD-cost:   14
1.99/2.07	c ---[  27]---> BDD-cost:   15
1.99/2.07	c ---[  26]---> BDD-cost:   12
1.99/2.07	c ---[  25]---> BDD-cost:   14
1.99/2.07	c ---[  24]---> BDD-cost:   20
1.99/2.07	c ---[  23]---> BDD-cost:   13
1.99/2.07	c ---[  22]---> BDD-cost:   17
1.99/2.07	c ---[  21]---> BDD-cost:   14
1.99/2.07	c ---[  20]---> BDD-cost:   20
1.99/2.07	c ---[  19]---> BDD-cost:   22
1.99/2.07	c ---[  18]---> BDD-cost:   12
1.99/2.07	c ---[  17]---> BDD-cost:   18
1.99/2.07	c ---[  16]---> BDD-cost:   17
1.99/2.07	c ---[  15]---> BDD-cost:   14
1.99/2.07	c ---[  14]---> BDD-cost:   15
1.99/2.07	c ---[  13]---> BDD-cost:   15
1.99/2.07	c ---[  12]---> BDD-cost:   16
1.99/2.07	c ---[  11]---> BDD-cost:   14
1.99/2.07	c ---[  10]---> BDD-cost:   15
1.99/2.07	c ---[   9]---> BDD-cost:   20
1.99/2.07	c ---[   8]---> BDD-cost:   17
1.99/2.07	c ---[   7]---> BDD-cost:   20
1.99/2.07	c ---[   6]---> BDD-cost:   14
1.99/2.07	c ---[   5]---> BDD-cost:   14
1.99/2.07	c ---[   4]---> BDD-cost:   15
1.99/2.07	c ---[   3]---> BDD-cost:   17
1.99/2.07	c ---[   2]---> BDD-cost:   20
1.99/2.07	c ---[   1]---> BDD-cost:   16
1.99/2.07	c ---[   0]---> BDD-cost:   15
2.19/2.24	c ==================================[MINISAT+]==================================
2.19/2.24	c | Conflicts | Original         | Learnt                           | Progress |
2.19/2.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.19/2.24	c ==============================================================================
2.19/2.24	c |         0 |  172022   462734 |   57340       0        0     nan |  0.000 % |
2.29/2.34	c |       100 |  171839   462227 |   63074      75      267     3.6 | 11.567 % |
2.39/2.41	c |       250 |  171625   461736 |   69381     215      722     3.4 | 11.667 % |
2.49/2.56	c |       475 |  171422   461100 |   76319     417     1449     3.5 | 11.751 % |
2.89/2.90	c |       812 |  171117   460259 |   83951     737     2704     3.7 | 11.878 % |
3.19/3.27	c |      1318 |  170968   459787 |   92346    1224     4530     3.7 | 11.931 % |
3.89/3.91	c |      2077 |  170579   458888 |  101581    1961     7214     3.7 | 12.133 % |
5.28/5.37	c |      3216 |  169969   457351 |  111739    3058    11147     3.6 | 12.423 % |
7.69/7.78	c |      4924 |  169289   455770 |  122913    4724    17322     3.7 | 12.773 % |
10.99/11.02	c |      7486 |  168764   454566 |  135204    7250    27207     3.8 | 13.062 % |
16.09/16.19	c |     11331 |  167989   452805 |  148725   11047    43339     3.9 | 13.482 % |
24.59/24.63	c |     17097 |  167244   451073 |  163597   16759    70081     4.2 | 13.878 % |
37.08/37.18	c |     25746 |  165824   447768 |  179957   25315   116066     4.6 | 14.638 % |
52.07/52.19	c |     38720 |  165227   446367 |  197953   38234   229007     6.0 | 14.967 % |
64.67/64.79	c |     58181 |  164299   444096 |  217748   57576   670649    11.6 | 15.438 % |
77.97/78.02	c |     87374 |  164006   443421 |  239523   86736  1729574    19.9 | 15.597 % |
83.66/83.75	c ==============================================================================
83.66/83.75	c Found solution: 45222998
83.66/83.75	o 45222998
83.76/83.82	c ---[   0]---> Adder-cost: 13121   maxlim: 22685173   bits: 26/25
87.36/87.44	c ==================================[MINISAT+]==================================
87.36/87.44	c | Conflicts | Original         | Learnt                           | Progress |
87.36/87.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
87.36/87.44	c ==============================================================================
87.36/87.44	c |    105047 |  255648   770848 |   85216  104403  2434749    23.3 | 15.597 % |
87.56/87.68	c |    105147 |  255648   770848 |   93737   25344   531975    21.0 | 12.714 % |
87.86/87.90	c |    105298 |  255648   770848 |  103111   25495   532590    20.9 | 12.714 % |
88.16/88.29	c |    105523 |  255624   770793 |  113422   25715   533778    20.8 | 12.725 % |
88.76/88.83	c |    105860 |  255608   770756 |  124764   26051   535899    20.6 | 12.734 % |
90.06/90.12	c |    106366 |  255446   770367 |  137241   26542   538045    20.3 | 12.801 % |
91.56/91.67	c |    107127 |  255344   770132 |  150965   27289   541623    19.8 | 12.847 % |
93.96/94.03	c |    108266 |  255319   770074 |  166061   28426   547383    19.3 | 12.858 % |
96.56/96.69	c |    109974 |  255099   769561 |  182668   30104   557292    18.5 | 12.954 % |
100.36/100.48	c |    112536 |  254935   769182 |  200934   32644   574199    17.6 | 13.027 % |
106.66/106.79	c |    116380 |  254901   769099 |  221028   36481   602368    16.5 | 13.042 % |
111.75/111.83	c |    122146 |  254831   768939 |  243131   42239   710725    16.8 | 13.077 % |
118.75/118.86	c |    130795 |  254663   768555 |  267444   50864  1035951    20.4 | 13.157 % |
126.25/126.40	c |    143769 |  254606   768416 |  294188   63832  1984446    31.1 | 13.180 % |
135.55/135.64	c |    163235 |  254581   768356 |  323607   83294  3021934    36.3 | 13.190 % |
145.94/146.08	c |    192428 |  254581   768356 |  355968  112487  4337761    38.6 | 13.190 % |
171.34/171.45	c |    236217 |  254272   767607 |  391565  156238  6275224    40.2 | 13.328 % |
178.74/178.85	c ==============================================================================
178.74/178.85	c Found solution: 35948065
178.74/178.85	o 35948065
178.84/178.92	c ---[   0]---> Adder-cost: 0   maxlim: 31960106   bits: 26/25
182.33/182.42	c ==================================[MINISAT+]==================================
182.33/182.42	c | Conflicts | Original         | Learnt                           | Progress |
182.33/182.42	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
182.33/182.42	c ==============================================================================
182.33/182.42	c |    245721 |  254239   767736 |   84746  165734  6902005    41.6 | 13.328 % |
182.83/182.95	c |    245823 |  254239   767736 |   93220   25699   829604    32.3 | 13.378 % |
183.03/183.15	c |    245973 |  254235   767727 |  102542   25848   830278    32.1 | 13.381 % |
183.43/183.54	c |    246198 |  254235   767727 |  112796   26073   831542    31.9 | 13.381 % |
183.83/183.99	c |    246535 |  254203   767655 |  124076   26407   833083    31.5 | 13.395 % |
184.53/184.62	c |    247041 |  254176   767594 |  136484   26911   835622    31.1 | 13.407 % |
185.33/185.42	c |    247800 |  254176   767594 |  150132   27670   839187    30.3 | 13.407 % |
186.73/186.88	c |    248939 |  254172   767585 |  165145   28808   845365    29.3 | 13.408 % |
188.83/188.95	c |    250647 |  254085   767384 |  181660   30504   856353    28.1 | 13.444 % |
192.13/192.28	c |    253209 |  254075   767361 |  199826   33064   873337    26.4 | 13.450 % |
194.43/194.58	c |    257057 |  254055   767315 |  219809   36910   932109    25.3 | 13.460 % |
202.24/202.37	c |    262823 |  254040   767279 |  241790   42672   978453    22.9 | 13.468 % |
211.93/212.08	c |    271472 |  253979   767139 |  265969   51316  1091216    21.3 | 13.493 % |
218.63/218.73	c |    284446 |  253979   767139 |  292566   64290  1454802    22.6 | 13.493 % |
228.92/229.05	c |    303907 |  253901   766961 |  321822   83740  1888522    22.6 | 13.525 % |
259.32/259.46	c |    333099 |  253901   766961 |  354005  112932  9343925    82.7 | 13.525 % |
288.61/288.79	c |    376889 |  253816   766768 |  389405  156715 13614742    86.9 | 13.561 % |
336.09/336.26	c |    442575 |  253808   766750 |  428346  222399 19905424    89.5 | 13.565 % |
396.37/396.50	c |    541111 |  253763   766647 |  471180  320933 27467021    85.6 | 13.584 % |
516.13/516.35	c |    688900 |  253578   766217 |  518298  468696 36817866    78.6 | 13.667 % |
905.02/905.38	c |    910583 |  253491   766017 |  570128  146393 12200982    83.3 | 13.710 % |
1800.00/1800.71	c 
1800.00/1800.71	c *** TERMINATED ***
1800.00/1800.71	s SATISFIABLE
1800.00/1800.71	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.00/1800.71	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 -x56
1800.00/1800.71	v -x57 -x58 -x59 -x60 -x3361 x3362 x3363 -x3364 x3365 -x3366 x3367 x3368 x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376
1800.00/1800.71	v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x5431 x5432 x5433 x5434
1800.00/1800.71	v -x5435 x5436 -x5437 -x5438 x5439 x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452
1800.00/1800.71	v -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5761 x5762 -x5763 -x5764 -x5765 -x5766 x5767 x5768 x5769 -x5770
1800.00/1800.71	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787
1800.00/1800.71	v -x5788 -x5789 -x5790 -x6091 -x6092 -x6093 x6094 x6095 x6096 x6097 x6098 x6099 -x6100 -x6101 -x6102 -x6103 x6104 -x6105
1800.00/1800.71	v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6421 -x6422
1800.00/1800.71	v x6423 x6424 -x6425 x6426 -x6427 x6428 x6429 -x6430 x6431 x6432 x6433 x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441
1800.00/1800.71	v -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6751 -x6752 x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759
1800.00/1800.71	v -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776
1800.00/1800.71	v -x6777 -x6778 -x6779 -x6780 x7081 -x7082 -x7083 -x7084 x7085 x7086 x7087 x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094
1800.00/1800.71	v -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7411
1800.00/1800.71	v x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 x7420 x7421 x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429
1800.00/1800.71	v -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x61 x62 -x63 x64 x65 -x66 -x67 -x68 x69 -x70
1800.00/1800.71	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 x393 x394 x395
1800.00/1800.71	v -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.00/1800.71	v -x417 -x418 -x419 -x420 x721 x722 -x723 -x724 x725 x726 x727 x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738
1800.00/1800.71	v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 x1052 -x1053 x1054 x1055 -x1056 x1057 -x1058
1800.00/1800.71	v x1059 x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.00/1800.71	v -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393
1800.00/1800.71	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
1800.00/1800.71	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727
1800.00/1800.71	v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 x2044
1800.00/1800.71	v -x2045 x2046 x2047 x2048 x2049 x2050 x2051 x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1800.00/1800.71	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 x2374 x2375 x2376 x2377 x2378 x2379 x2380 x2381 -x2382
1800.00/1800.71	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399
1800.00/1800.71	v -x2400 -x2701 x2702 -x2703 -x2704 x2705 -x2706 x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717
1800.00/1800.71	v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x3031 -x3032 x3033 -x3034 x3035
1800.00/1800.71	v -x3036 -x3037 -x3038 -x3039 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1800.00/1800.71	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3391 x3392 x3393 x3394 -x3395 -x3396 x3397 -x3398 x3399 -x3400 -x3401
1800.00/1800.71	v -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418
1800.00/1800.71	v -x3419 -x3420 -x3721 -x3722 x3723 x3724 x3725 x3726 x3727 -x3728 x3729 x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736
1800.00/1800.71	v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 x4052 x4053 x4054
1800.00/1800.71	v x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071
1800.00/1800.71	v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 x4385 x4386 -x4387 x4388 -x4389
1800.00/1800.71	v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406
1800.00/1800.71	v -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 x4713 -x4714 -x4715 x4716 x4717 -x4718 -x4719 x4720 x4721 -x4722 -x4723 -x4724
1800.00/1800.71	v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041
1800.00/1800.71	v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058
1800.00/1800.71	v -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5311 x5312 x5313 x5314 x5315 x5316
1800.00/1800.71	v x5317 x5318 x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334
1800.00/1800.71	v -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 x5346 -x5347 x5348 x5349 -x5350 x5351 -x5352
1800.00/1800.71	v -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369
1800.00/1800.71	v -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 x5382 x5383 x5384 -x5385 -x5386 -x5387
1800.00/1800.71	v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 x5404 -x5405
1800.00/1800.71	v x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422
1800.00/1800.71	v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5461 -x5462 -x5463 x5464 -x5465 x5466 -x5467 x5468 x5469 x5470
1800.00/1800.71	v x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487
1800.00/1800.71	v -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 -x5503 -x5504
1800.00/1800.71	v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521
1800.00/1800.71	v -x5522 x5523 -x5524 x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539
1800.00/1800.71	v -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 -x5553 -x5554 x5555 -x5556 x5557
1800.00/1800.71	v -x5558 x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575
1800.00/1800.71	v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 x5584 x5585 -x5586 x5587 x5588 -x5589 x5590 -x5591 -x5592 -x5593
1800.00/1800.71	v -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610
1800.00/1800.71	v x5611 -x5612 -x5613 -x5614 x5615 -x5616 x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628
1800.00/1800.71	v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 x5644 x5645 x5646
1800.00/1800.71	v x5647 x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664
1800.00/1800.71	v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681
1800.00/1800.71	v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698
1800.00/1800.71	v -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 x5707 x5708 x5709 x5710 -x5711 -x5712 x5713 x5714 x5715 -x5716 -x5717
1800.00/1800.71	v -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734
1800.00/1800.71	v x5735 x5736 x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752
1800.00/1800.71	v -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799
1800.00/1800.71	v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816
1800.00/1800.71	v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833
1800.00/1800.71	v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850
1800.00/1800.71	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867
1800.00/1800.71	v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884
1800.00/1800.71	v -x5885 -x5886 -x5887 -x5888 x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902
1800.00/1800.71	v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919
1800.00/1800.71	v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936
1800.00/1800.71	v -x5937 -x5938 -x5939 -x5940 x5941 -x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 -x5951 -x5952 -x5953 -x5954
1800.00/1800.71	v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971
1800.00/1800.71	v -x5972 -x5973 x5974 -x5975 x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989
1800.00/1800.71	v -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 x6004 -x6005 -x6006
1800.00/1800.71	v -x6007 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024
1800.00/1800.71	v -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041
1800.00/1800.71	v -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058
1800.00/1800.71	v -x6059 -x6060 -x6061 -x6062 -x6063 x6064 x6065 -x6066 -x6067 -x6068 x6069 x6070 x6071 -x6072 x6073 x6074 -x6075 -x6076
1800.00/1800.71	v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6121 -x6122 -x6123
1800.00/1800.71	v x6124 x6125 -x6126 x6127 x6128 -x6129 -x6130 x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141
1800.00/1800.71	v -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 x6153 x6154 -x6155 -x6156 x6157 -x6158 -x6159
1800.00/1800.71	v -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176
1800.00/1800.71	v -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193
1800.00/1800.71	v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210
1800.00/1800.71	v -x6211 -x6212 -x6213 -x6214 -x6215 x6216 x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228
1800.00/1800.71	v -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 x6244 -x6245 -x6246
1800.00/1800.71	v x6247 x6248 -x6249 -x6250 x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264
1800.00/1800.71	v -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 -x6281 x6282
1800.00/1800.71	v -x6283 x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299
1800.00/1800.71	v -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316
1800.00/1800.71	v -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333
1800.00/1800.71	v -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351
1800.00/1800.71	v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 x6361 -x6362 -x6363 -x6364 -x6365 -x6366 x6367 -x6368 -x6369
1800.00/1800.71	v x6370 x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387
1800.00/1800.71	v -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 x6397 x6398 x6399 x6400 x6401 x6402 -x6403 -x6404 x6405 -x6406
1800.00/1800.71	v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6451 -x6452 x6453 x6454
1800.00/1800.71	v x6455 -x6456 x6457 x6458 x6459 x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472
1800.00/1800.71	v -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 x6483 -x6484 x6485 -x6486 -x6487 -x6488 x6489 -x6490
1800.00/1800.71	v x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507
1800.00/1800.71	v -x6508 -x6509 -x6510 x6511 x6512 -x6513 x6514 -x6515 -x6516 x6517 -x6518 -x6519 x6520 -x6521 x6522 -x6523 -x6524 -x6525
1800.00/1800.71	v -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542
1800.00/1800.71	v -x6543 -x6544 x6545 -x6546 -x6547 -x6548 x6549 -x6550 x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560
1800.00/1800.71	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 x6573 x6574 x6575 x6576 x6577 -x6578
1800.00/1800.71	v -x6579 x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595
1800.00/1800.71	v -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 x6603 -x6604 -x6605 -x6606 -x6607 -x6608 x6609 -x6610 -x6611 -x6612 -x6613
1800.00/1800.71	v -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630
1800.00/1800.71	v -x6631 -x6632 -x6633 x6634 x6635 x6636 x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648
1800.00/1800.71	v -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665
1800.00/1800.71	v -x6666 x6667 -x6668 -x6669 -x6670 x6671 x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683
1800.00/1800.71	v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 -x6701
1800.00/1800.71	v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718
1800.00/1800.71	v -x6719 -x6720 x6721 x6722 x6723 -x6724 x6725 x6726 x6727 x6728 x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737
1800.00/1800.71	v -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6781 -x6782 -x6783 -x6784
1800.00/1800.71	v -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801
1800.00/1800.71	v -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818
1800.00/1800.71	v -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835
1800.00/1800.71	v -x6836 -x6837 -x6838 -x6839 -x6840 x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 x6849 -x6850 -x6851 -x6852 x6853
1800.00/1800.71	v -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870
1800.00/1800.71	v -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888
1800.00/1800.71	v -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905
1800.00/1800.71	v -x6906 -x6907 -x6908 -x6909 -x6910 x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922
1800.00/1800.71	v -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939
1800.00/1800.71	v -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956
1800.00/1800.71	v -x6957 -x6958 -x6959 -x6960 x6961 x6962 x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 -x6971 -x6972 -x6973 -x6974
1800.00/1800.71	v -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991
1800.00/1800.71	v -x6992 x6993 -x6994 x6995 x6996 -x6997 -x6998 x6999 -x7000 x7001 -x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009
1800.00/1800.71	v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 x7021 -x7022 -x7023 x7024 -x7025 x7026 -x7027
1800.00/1800.71	v -x7028 x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044
1800.00/1800.71	v -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 x7054 x7055 x7056 x7057 x7058 -x7059 x7060 -x7061 -x7062
1800.00/1800.71	v x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079
1800.00/1800.71	v -x7080 x7111 -x7112 x7113 x7114 -x7115 -x7116 -x7117 x7118 -x7119 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 -x7126 -x7127
1800.00/1800.71	v -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144
1800.00/1800.71	v -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161
1800.00/1800.71	v -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 x7172 -x7173 -x7174 -x7175 x7176 -x7177 -x7178 -x7179
1800.00/1800.71	v -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196
1800.00/1800.71	v -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 x7205 x7206 -x7207 -x7208 -x7209 x7210 -x7211 x7212 x7213 -x7214
1800.00/1800.71	v -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231
1800.00/1800.71	v -x7232 -x7233 -x7234 x7235 x7236 x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249
1800.00/1800.71	v -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 x7263 x7264 -x7265 -x7266 x7267
1800.00/1800.71	v x7268 -x7269 -x7270 x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285
1800.00/1800.71	v -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302
1800.00/1800.71	v -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319
1800.00/1800.71	v -x7320 -x7321 -x7322 x7323 x7324 -x7325 -x7326 -x7327 -x7328 x7329 x7330 x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337
1800.00/1800.71	v -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354
1800.00/1800.71	v -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371
1800.00/1800.71	v -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 x7381 x7382 x7383 x7384 -x7385 x7386 x7387 x7388 x7389 x7390
1800.00/1800.71	v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407
1800.00/1800.71	v -x7408 -x7409 -x7410 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454
1800.00/1800.71	v -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471
1800.00/1800.71	v x7472 -x7473 x7474 x7475 x7476 x7477 x7478 x7479 x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490
1800.00/1800.71	v -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 x7502 x7503 x7504 -x7505 -x7506 -x7507 -x7508
1800.00/1800.71	v x7509 x7510 -x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526
1800.00/1800.71	v -x7527 -x7528 -x7529 -x7530 x7531 -x7532 x7533 -x7534 x7535 -x7536 -x7537 -x7538 x7539 x7540 -x7541 -x7542 -x7543 -x7544
1800.00/1800.71	v -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561
1800.00/1800.71	v -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578
1800.00/1800.71	v -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 x7591 -x7592 x7593 -x7594 -x7595 x7596
1800.00/1800.71	v x7597 x7598 x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614
1800.00/1800.71	v -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631
1800.00/1800.71	v -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648
1800.00/1800.71	v -x7649 -x7650 -x7651 x7652 x7653 x7654 x7655 -x7656 x7657 -x7658 x7659 x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 -x7667
1800.00/1800.71	v -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684
1800.00/1800.71	v -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701
1800.00/1800.71	v -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718
1800.00/1800.71	v -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735
1800.00/1800.71	v -x7736 -x7737 -x7738 -x7739 -x7740 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.00/1800.71	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 x125 x126 -x127
1800.00/1800.71	v -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.00/1800.71	v -x149 -x150 x151 x152 -x153 -x154 -x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1800.00/1800.71	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 x184 x185 x186 x187 -x188 -x189 x190 -x191 -x192
1800.00/1800.71	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.00/1800.71	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.00/1800.71	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 x250 -x251 -x252 -x253 -x254 -x255
1800.00/1800.71	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 -x274 x275 -x276
1800.00/1800.71	v x277 -x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.00/1800.71	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1800.00/1800.71	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 x335 x336 x337 -x338 x339 -x340
1800.00/1800.71	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1800.00/1800.71	v x362 -x363 x364 -x365 x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.00/1800.71	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 x422 -x423 -x424 x425 -x426 -x427 x428 -x429 x430 -x431 -x432 -x433 -x434
1800.00/1800.71	v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 x454 x455
1800.00/1800.71	v x456 x457 x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.00/1800.71	v -x478 -x479 -x480 -x481 x482 -x483 -x484 x485 x486 -x487 -x488 x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499
1800.00/1800.71	v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 x519 -x520
1800.00/1800.71	v x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541
1800.00/1800.71	v x542 -x543 -x544 x545 x546 -x547 x548 x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.00/1800.71	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 -x576 x577 x578 x579 x580 -x581 -x582 -x583 -x584 -x585
1800.00/1800.71	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.00/1800.71	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.00/1800.71	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.00/1800.71	v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 x665 -x666 x667 x668 -x669
1800.00/1800.71	v x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.00/1800.71	v -x691 x692 x693 x694 -x695 -x696 -x697 -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1800.00/1800.71	v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 x753 -x754 -x755 x756 x757 x758 x759 x760 -x761 -x762 -x763 -x764
1800.00/1800.71	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1800.00/1800.71	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.00/1800.71	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 x815 x816 x817 x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828
1800.00/1800.71	v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 x843 x844 -x845 -x846 -x847 x848 x849 -x850
1800.00/1800.71	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871
1800.00/1800.71	v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892
1800.00/1800.71	v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 x903 -x904 -x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913
1800.00/1800.71	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934
1800.00/1800.71	v -x935 -x936 x937 -x938 x939 x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955
1800.00/1800.71	v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 x970 x971 -x972 -x973 -x974 -x975 -x976
1800.00/1800.71	v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997
1800.00/1800.71	v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1800.00/1800.71	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032
1800.00/1800.71	v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049
1800.00/1800.71	v -x1050 -x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
1800.00/1800.71	v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114
1800.00/1800.71	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131
1800.00/1800.71	v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149
1800.00/1800.71	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1800.00/1800.71	v -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1800.00/1800.71	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201
1800.00/1800.71	v -x1202 -x1203 x1204 x1205 x1206 x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1800.00/1800.71	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 x1234 -x1235 x1236 -x1237
1800.00/1800.71	v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1800.00/1800.71	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1800.00/1800.71	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
1800.00/1800.71	v -x1290 x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307
1800.00/1800.71	v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324
1800.00/1800.71	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
1800.00/1800.71	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359
1800.00/1800.71	v -x1360 -x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377
1800.00/1800.71	v -x1378 -x1379 -x1380 -x1411 x1412 x1413 x1414 x1415 x1416 -x1417 -x1418 x1419 -x1420 -x1421 x1422 x1423 -x1424 -x1425 -x1426
1800.00/1800.71	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 x1443 -x1444
1800.00/1800.71	v -x1445 -x1446 -x1447 -x1448 x1449 -x1450 x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462
1800.00/1800.71	v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480
1800.00/1800.71	v x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.00/1800.71	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.00/1800.71	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532
1800.00/1800.71	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.00/1800.71	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.00/1800.71	v -x1567 x1568 x1569 x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1800.00/1800.71	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 x1594 -x1595 x1596 -x1597 x1598 -x1599 x1600 x1601 -x1602
1800.00/1800.71	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1800.00/1800.71	v -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1800.00/1800.71	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654
1800.00/1800.71	v x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672
1800.00/1800.71	v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689
1800.00/1800.71	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1800.00/1800.71	v -x1707 -x1708 -x1709 -x1710 -x1741 x1742 x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 x1751 -x1752 -x1753 -x1754
1800.00/1800.71	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1800.00/1800.71	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1800.00/1800.71	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 -x1804 -x1805 x1806
1800.00/1800.71	v -x1807 x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
1800.00/1800.71	v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 x1833 x1834 -x1835 x1836 -x1837 x1838 -x1839 x1840 -x1841 -x1842
1800.00/1800.71	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1800.00/1800.71	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
1800.00/1800.71	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894
1800.00/1800.71	v -x1895 x1896 -x1897 x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912
1800.00/1800.71	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 -x1927 x1928 -x1929 -x1930
1800.00/1800.71	v x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947
1800.00/1800.71	v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965
1800.00/1800.71	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
1800.00/1800.71	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1800.00/1800.71	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.00/1800.71	v -x2017 -x2018 x2019 x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1800.00/1800.71	v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081
1800.00/1800.71	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1800.00/1800.71	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.00/1800.71	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132
1800.00/1800.71	v -x2133 -x2134 -x2135 -x2136 -x2137 x2138 x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1800.00/1800.71	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.00/1800.71	v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184
1800.00/1800.71	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202
1800.00/1800.71	v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
1800.00/1800.71	v -x2220 -x2221 -x2222 -x2223 x2224 x2225 x2226 x2227 x2228 -x2229 x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1800.00/1800.71	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 x2253 x2254 -x2255
1800.00/1800.71	v -x2256 -x2257 x2258 x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273
1800.00/1800.71	v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291
1800.00/1800.71	v -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308
1800.00/1800.71	v -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326
1800.00/1800.71	v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 x2343 x2344
1800.00/1800.71	v -x2345 -x2346 -x2347 x2348 -x2349 x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1800.00/1800.71	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 x2408 -x2409 -x2410
1800.00/1800.71	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1800.00/1800.71	v -x2428 -x2429 -x2430 x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.00/1800.71	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1800.00/1800.71	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
1800.00/1800.71	v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 x2494 -x2495 -x2496 -x2497
1800.00/1800.71	v -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514
1800.00/1800.71	v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532
1800.00/1800.71	v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549
1800.00/1800.71	v -x2550 -x2551 -x2552 x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567
1800.00/1800.71	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
1800.00/1800.71	v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601
1800.00/1800.71	v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619
1800.00/1800.71	v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636
1800.00/1800.71	v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653
1800.00/1800.71	v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
1800.00/1800.71	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687
1800.00/1800.71	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734
1800.00/1800.71	v -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751
1800.00/1800.71	v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768
1800.00/1800.71	v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785
1800.00/1800.71	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802
1800.00/1800.71	v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1800.00/1800.71	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836
1800.00/1800.71	v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853
1800.00/1800.71	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1800.00/1800.71	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887
1800.00/1800.71	v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904
1800.00/1800.71	v -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921
1800.00/1800.71	v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938
1800.00/1800.71	v -x2939 -x2940 x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956
1800.00/1800.71	v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973
1800.00/1800.71	v -x2974 x2975 -x2976 -x2977 -x2978 x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991
1800.00/1800.71	v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 x3003 x3004 -x3005 -x3006 -x3007 -x3008 x3009
1800.00/1800.71	v x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026
1800.00/1800.71	v -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 x3064 x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074
1800.00/1800.71	v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091
1800.00/1800.71	v -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109
1800.00/1800.71	v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 x3124 -x3125 -x3126 -x3127
1800.00/1800.71	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144
1800.00/1800.71	v -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161
1800.00/1800.71	v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178
1800.00/1800.71	v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195
1800.00/1800.71	v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212
1800.00/1800.71	v -x3213 x3214 -x3215 -x3216 -x3217 -x3218 x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
1800.00/1800.71	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 x3244 -x3245 -x3246 -x3247 -x3248
1800.00/1800.71	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265
1800.00/1800.71	v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282
1800.00/1800.71	v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
1800.00/1800.71	v -x3300 -x3301 -x3302 x3303 x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1800.00/1800.71	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 x3334 -x3335
1800.00/1800.71	v x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352
1800.00/1800.71	v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429
1800.00/1800.71	v -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446
1800.00/1800.71	v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463
1800.00/1800.71	v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1800.00/1800.71	v -x3481 -x3482 -x3483 x3484 x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498
1800.00/1800.71	v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515
1800.00/1800.71	v -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532
1800.00/1800.71	v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549
1800.00/1800.71	v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566
1800.00/1800.71	v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584
1800.00/1800.71	v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601
1800.00/1800.71	v -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618
1800.00/1800.71	v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635
1800.00/1800.71	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652
1800.00/1800.71	v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 x3666 -x3667 -x3668 -x3669 -x3670
1800.00/1800.71	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687
1800.00/1800.71	v -x3688 -x3689 -x3690 -x3691 x3692 x3693 x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
1800.00/1800.71	v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752
1800.00/1800.71	v x3753 x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
1800.00/1800.71	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787
1800.00/1800.71	v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804
1800.00/1800.71	v -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821
1800.00/1800.71	v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838
1800.00/1800.71	v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855
1800.00/1800.71	v -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872
1800.00/1800.71	v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889
1800.00/1800.71	v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 x3905 x3906 -x3907
1800.00/1800.71	v -x3908 x3909 x3910 -x3911 x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925
1800.00/1800.71	v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 x3938 -x3939 x3940 x3941 -x3942 -x3943
1800.00/1800.71	v -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
1800.00/1800.71	v x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 x3970 x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978
1800.00/1800.71	v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995
1800.00/1800.71	v x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013
1800.00/1800.71	v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 x4026 -x4027 -x4028 x4029 -x4030 x4031
1800.00/1800.71	v x4032 x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049
1800.00/1800.71	v -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096
1800.00/1800.71	v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113
1800.00/1800.71	v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130
1800.00/1800.71	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147
1800.00/1800.71	v -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164
1800.00/1800.71	v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181
1800.00/1800.71	v x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198
1800.00/1800.71	v -x4199 -x4200 x4201 -x4202 -x4203 x4204 x4205 -x4206 -x4207 -x4208 -x4209 x4210 x4211 x4212 -x4213 -x4214 -x4215 -x4216
1800.00/1800.71	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233
1800.00/1800.71	v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251
1800.00/1800.71	v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 x4263 x4264 x4265 x4266 x4267 -x4268 -x4269
1800.00/1800.71	v x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287
1800.00/1800.71	v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
1800.00/1800.71	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 x4321
1800.00/1800.71	v -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339
1800.00/1800.71	v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356
1800.00/1800.71	v -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373
1800.00/1800.71	v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 x4419 x4420 x4421
1800.00/1800.71	v x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439
1800.00/1800.71	v -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 x4447 x4448 x4449 x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457
1800.00/1800.71	v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474
1800.00/1800.71	v x4475 x4476 x4477 x4478 x4479 x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492
1800.00/1800.71	v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509
1800.00/1800.71	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1800.00/1800.71	v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 x4536 x4537 x4538 x4539 x4540 x4541 -x4542 -x4543 -x4544
1800.00/1800.71	v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561
1800.00/1800.71	v -x4562 -x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 x4570 -x4571 x4572 x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579
1800.00/1800.71	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 x4594 x4595 x4596 x4597
1800.00/1800.71	v x4598 x4599 x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615
1800.00/1800.71	v -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 x4623 -x4624 -x4625 x4626 x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633
1800.00/1800.71	v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650
1800.00/1800.71	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667
1800.00/1800.71	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684
1800.00/1800.71	v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701
1800.00/1800.71	v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4741 -x4742 x4743 -x4744 -x4745 x4746 x4747 x4748 x4749
1800.00/1800.71	v x4750 x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767
1800.00/1800.71	v -x4768 -x4769 -x4770 -x4771 x4772 x4773 x4774 x4775 -x4776 x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785
1800.00/1800.71	v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802
1800.00/1800.71	v x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820
1800.00/1800.71	v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 x4833 x4834 x4835 -x4836 -x4837 -x4838
1800.00/1800.71	v -x4839 -x4840 x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856
1800.00/1800.71	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 -x4868 x4869 x4870 -x4871 x4872 -x4873 -x4874
1800.00/1800.71	v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891
1800.00/1800.71	v -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908
1800.00/1800.71	v -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925
1800.00/1800.71	v -x4926 -x4927 -x4928 -x4929 -x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942
1800.00/1800.71	v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 x4957 x4958 -x4959 -x4960
1800.00/1800.71	v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977
1800.00/1800.71	v -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994
1800.00/1800.71	v -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011
1800.00/1800.71	v -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028
1800.00/1800.71	v -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075
1800.00/1800.71	v -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092
1800.00/1800.71	v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 x5105 x5106 x5107 x5108 x5109 x5110
1800.00/1800.71	v x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127
1800.00/1800.71	v -x5128 -x5129 -x5130 x5131 -x5132 -x5133 x5134 x5135 x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 x5143 x5144 -x5145
1800.00/1800.71	v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162
1800.00/1800.71	v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179
1800.00/1800.71	v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 -x5192 x5193 -x5194 x5195 x5196 -x5197
1800.00/1800.71	v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214
1800.00/1800.71	v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231
1800.00/1800.71	v -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248
1800.00/1800.71	v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 x5257 x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266
1800.00/1800.71	v -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 x5284
1800.00/1800.71	v -x5285 x5286 -x5287 -x5288 x5289 x5290 x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302
1800.00/1800.71	v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x7741 x7742 x7853 x7922 x7933 x7944 x7955 x7966 x7977 x7988 x7743
1800.00/1800.71	v x7754 x7765 x7776 -x7787 -x7798 x7809 x7820 x7831 x7842 x7854 x7865 x7876 x7887 x7898 -x7909 x7918 x7919 x7920 x7921 x7923
1800.00/1800.71	v x7924 x7925 x7926 x7927 x7928 x7929 -x7930 x7931 x7932 -x7934 x7935 -x7936 x7937 -x7938 x7939 x7940 x7941 -x7942 x7943 x7945
1800.00/1800.71	v x7946 -x7947 x7948 x7949 x7950 -x7951 x7952 x7953 x7954 x7956 x7957 x7958 x7959 x7960 x7961 x7962 x7963 x7964 x7965 -x7967
1800.00/1800.71	v -x7968 x7969 x7970 x7971 -x7972 x7973 x7974 x7975 x7976 x7978 -x7979 x7980 x7981 x7982 x7983 -x7984 x7985 -x7986 x7987 -x7989
1800.00/1800.71	v x7990 x7991 x7992 -x7993 x7994 -x7995 x7996 -x7997 -x7998 -x7744 x7745 x7746 x7747 -x7748 x7749 x7750 -x7751 x7752 x7753
1800.00/1800.71	v x7755 x7756 x7757 x7758 x7759 x7760 -x7761 x7762 x7763 x7764 x7766 -x7767 x7768 x7769 -x7770 x7771 x7772 x7773 -x7774 x7775
1800.00/1800.71	v x7777 x7778 x7779 x7780 x7781 x7782 x7783 x7784 -x7785 x7786 x7788 x7789 x7790 -x7791 x7792 x7793 x7794 x7795 x7796 -x7797
1800.00/1800.71	v x7799 x7800 x7801 x7802 -x7803 x7804 x7805 x7806 -x7807 x7808 x7810 x7811 x7812 -x7813 x7814 x7815 x7816 x7817 x7818 x7819
1800.00/1800.71	v x7821 x7822 -x7823 x7824 x7825 x7826 -x7827 x7828 -x7829 -x7830 x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 x7839 x7840
1800.00/1800.71	v x7841 x7843 x7844 x7845 -x7846 -x7847 x7848 x7849 -x7850 x7851 x7852 -x7855 x7856 x7857 x7858 x7859 x7860 x7861 -x7862 x7863
1800.00/1800.71	v x7864 x7866 x7867 x7868 x7869 -x7870 x7871 x7872 x7873 x7874 x7875 -x7877 -x7878 -x7879 x7880 x7881 x7882 x7883 -x7884 x7885
1800.00/1800.71	v -x7886 x7888 x7889 x7890 -x7891 x7892 x7893 x7894 x7895 -x7896 -x7897 x7899 x7900 x7901 x7902 x7903 -x7904 x7905 x7906 -x7907
1800.00/1800.71	v -x7908 -x7910 x7911 x7912 -x7913 x7914 -x7915 x7916 x7917

OK	35948065

/tmp/evaluation/353867-1176687429/instance-353867-1176687429.opb is already a linear file

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node19/watcher-353867-1176687429 -o ROOT/results/node19/solver-353867-1176687429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353867-1176687429/minisat+ /tmp/evaluation/353867-1176687429/instance-353867-1176687429.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.91 0.95 0.96 2/77 28281
/proc/meminfo: memFree=1778568/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=1180 CPUtime=0
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 116660357 1208320 129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 295 129 67 215 0 77 0

[startup+0.0620789 s]
/proc/loadavg: 0.91 0.95 0.96 2/77 28281
/proc/meminfo: memFree=1778568/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=2676 CPUtime=0.05
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 510 0 0 0 5 0 0 0 18 0 1 0 116660357 2740224 495 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808996 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 669 495 75 215 0 451 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2676

[startup+0.101084 s]
/proc/loadavg: 0.91 0.95 0.96 2/77 28281
/proc/meminfo: memFree=1778568/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=2808 CPUtime=0.09
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 116660357 2875392 523 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 702 523 75 215 0 484 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2808

[startup+0.301105 s]
/proc/loadavg: 0.91 0.95 0.96 2/77 28281
/proc/meminfo: memFree=1778568/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=3352 CPUtime=0.29
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 669 0 0 0 29 0 0 0 19 0 1 0 116660357 3432448 654 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 838 654 75 215 0 620 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3352

[startup+0.701149 s]
/proc/loadavg: 0.91 0.95 0.96 2/77 28281
/proc/meminfo: memFree=1778568/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=4100 CPUtime=0.69
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 886 0 0 0 69 0 0 0 23 0 1 0 116660357 4198400 871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005815 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 1025 871 83 215 0 807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4100

[startup+1.50124 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 28282
/proc/meminfo: memFree=1775296/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=4780 CPUtime=1.49
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 1124 0 0 0 149 0 0 0 25 0 1 0 116660357 4894720 1062 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012080 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 1195 1062 106 215 0 977 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4780

[startup+3.10141 s]
/proc/loadavg: 0.92 0.95 0.96 3/78 28282
/proc/meminfo: memFree=1771584/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=16952 CPUtime=3.09
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 4113 0 0 0 307 2 0 0 25 0 1 0 116660357 17358848 3912 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573663 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 4238 3912 124 215 0 4020 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16952

[startup+6.30175 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 28282
/proc/meminfo: memFree=1762880/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=17216 CPUtime=6.28
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 4187 0 0 0 626 2 0 0 25 0 1 0 116660357 17629184 3986 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 4304 3986 124 215 0 4086 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17216

[startup+12.7024 s]
/proc/loadavg: 0.93 0.96 0.96 2/78 28282
/proc/meminfo: memFree=1762496/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=17640 CPUtime=12.69
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 4293 0 0 0 1266 3 0 0 25 0 1 0 116660357 18063360 4092 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 4410 4092 124 215 0 4192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17640

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 28284
/proc/meminfo: memFree=1762048/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=18168 CPUtime=25.48
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 4431 0 0 0 2545 3 0 0 25 0 1 0 116660357 18604032 4230 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588790 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 4542 4230 124 215 0 4324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18168

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 28284
/proc/meminfo: memFree=1760832/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=19516 CPUtime=51.07
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 4768 0 0 0 5104 3 0 0 25 0 1 0 116660357 19984384 4567 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588715 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 4879 4567 124 215 0 4661 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19516

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 28284
/proc/meminfo: memFree=1725696/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=58196 CPUtime=102.26
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 14813 0 0 0 10217 9 0 0 25 0 1 0 116660357 59592704 13296 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 14549 13296 124 215 0 14331 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58196

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1712896/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=71236 CPUtime=162.24
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 18131 0 0 0 16211 13 0 0 25 0 1 0 116660357 72945664 16614 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 17809 16614 124 215 0 17591 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 71236

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1701568/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=82256 CPUtime=222.23
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 21136 0 0 0 22206 17 0 0 25 0 1 0 116660357 84230144 19339 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588910 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 20564 19339 124 215 0 20346 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 82256

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1679360/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=104924 CPUtime=282.21
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 26809 0 0 0 28199 22 0 0 25 0 1 0 116660357 107442176 25012 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 26231 25012 124 215 0 26013 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 104924

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1644096/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=139816 CPUtime=342.19
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 35503 0 0 0 34189 30 0 0 25 0 1 0 116660357 143171584 33706 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 34954 33706 124 215 0 34736 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 139816

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1612352/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=172076 CPUtime=402.17
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 43466 0 0 0 40180 37 0 0 25 0 1 0 116660357 176205824 41669 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 43019 41669 124 215 0 42801 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 172076

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1589120/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=195000 CPUtime=462.15
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 49257 0 0 0 46172 43 0 0 25 0 1 0 116660357 199680000 47460 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 48750 47460 124 215 0 48532 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 195000

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1568384/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=216264 CPUtime=522.14
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 54423 0 0 0 52165 49 0 0 25 0 1 0 116660357 221454336 52626 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 54066 52626 124 215 0 53848 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 216264

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1554304/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=230076 CPUtime=582.11
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 57899 0 0 0 58158 53 0 0 25 0 1 0 116660357 235597824 56102 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 57519 56102 124 215 0 57301 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 230076

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1541440/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=242680 CPUtime=642.1
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 61087 0 0 0 64153 57 0 0 25 0 1 0 116660357 248504320 59290 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 60670 59290 124 215 0 60452 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 242680


################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1529024/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=882.03
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64171 0 0 0 88140 63 0 0 25 0 1 0 116660357 261144576 62374 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62374 124 215 0 63538 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 255024

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1529024/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=942.02
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64173 0 0 0 94138 64 0 0 25 0 1 0 116660357 261144576 62376 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62376 124 215 0 63538 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 255024

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1529024/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=1002
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64173 0 0 0 100136 64 0 0 25 0 1 0 116660357 261144576 62376 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62376 124 215 0 63538 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 255024

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1529024/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=1061.98
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64173 0 0 0 106134 64 0 0 25 0 1 0 116660357 261144576 62376 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62376 124 215 0 63538 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 255024

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1529024/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=1121.97
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64173 0 0 0 112132 65 0 0 25 0 1 0 116660357 261144576 62376 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62376 124 215 0 63538 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 255024

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 3/78 28284
/proc/meminfo: memFree=1528960/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=1181.94
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64174 0 0 0 118129 65 0 0 25 0 1 0 116660357 261144576 62377 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62377 124 215 0 63538 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 255024

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1529024/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=1241.93
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64174 0 0 0 124127 66 0 0 25 0 1 0 116660357 261144576 62377 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62377 124 215 0 63538 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 255024

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 28284
/proc/meminfo: memFree=1528960/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=1301.91
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64174 0 0 0 130125 66 0 0 25 0 1 0 116660357 261144576 62377 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62377 124 215 0 63538 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 255024

[startup+1362.3 s]
/proc/loadavg: 1.07 0.99 0.96 2/78 28284
/proc/meminfo: memFree=1528896/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=255024 CPUtime=1361.9
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 64174 0 0 0 136123 67 0 0 25 0 1 0 116660357 261144576 62377 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 63756 62377 124 215 0 63538 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 255024

[startup+1422.31 s]
/proc/loadavg: 1.02 0.99 0.96 2/78 28284
/proc/meminfo: memFree=1520640/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=263324 CPUtime=1421.88
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 66250 0 0 0 142120 68 0 0 25 0 1 0 116660357 269643776 64453 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 65831 64453 124 215 0 65613 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 263324

[startup+1482.3 s]
/proc/loadavg: 1.01 0.99 0.96 2/84 28458
/proc/meminfo: memFree=1503552/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=279292 CPUtime=1481.77
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 70249 0 0 0 148104 73 0 0 25 0 1 0 116660357 285995008 68452 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 69823 68452 124 215 0 69605 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 279292

[startup+1542.3 s]
/proc/loadavg: 1.17 1.06 0.99 2/78 28892
/proc/meminfo: memFree=1461248/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=295448 CPUtime=1541.67
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 74282 0 0 0 154084 83 0 0 25 0 1 0 116660357 302538752 72485 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 73862 72485 124 215 0 73644 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 295448

[startup+1602.3 s]
/proc/loadavg: 1.07 1.05 0.99 2/78 28892
/proc/meminfo: memFree=1446336/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=310568 CPUtime=1601.65
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 78057 0 0 0 160078 87 0 0 25 0 1 0 116660357 318021632 76260 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 77642 76260 124 215 0 77424 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 310568

[startup+1662.3 s]
/proc/loadavg: 1.02 1.03 0.99 2/78 28892
/proc/meminfo: memFree=1431808/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=324912 CPUtime=1661.63
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 81629 0 0 0 166072 91 0 0 25 0 1 0 116660357 332709888 79832 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 81228 79832 124 215 0 81010 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 324912

[startup+1722.3 s]
/proc/loadavg: 1.01 1.03 0.99 2/78 28892
/proc/meminfo: memFree=1418496/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=338308 CPUtime=1721.62
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 84976 0 0 0 172068 94 0 0 25 0 1 0 116660357 346427392 83179 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580970 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 84577 83179 124 215 0 84359 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 338308

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 0.99 2/78 28892
/proc/meminfo: memFree=1406016/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=350772 CPUtime=1781.6
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 88101 0 0 0 178063 97 0 0 25 0 1 0 116660357 359190528 86304 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 87693 86304 124 215 0 87475 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 350772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.02 0.99 2/78 28892
/proc/meminfo: memFree=1402176/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=354584 CPUtime=1800
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 89051 0 0 0 179902 98 0 0 25 0 1 0 116660357 363094016 87254 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 88646 87254 124 215 0 88428 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 354584

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 1.00 1.02 0.99 2/78 28892
/proc/meminfo: memFree=1402176/2055920 swapFree=4159528/4192956
[pid=28281] ppid=28279 vsize=354584 CPUtime=1800
/proc/28281/stat : 28281 (minisat+) R 28279 28281 26722 0 -1 4194304 89051 0 0 0 179902 98 0 0 25 0 1 0 116660357 363094016 87254 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28281/statm: 88646 87254 124 215 0 88428 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 354584

Child status: 10
Real time (s): 1800.77
CPU time (s): 1800.07
CPU user time (s): 1799.03
CPU system time (s): 1.04084
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 354584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.04084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89053
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= 10
involuntary context switches= 9159

runsolver used 2.22266 second user time and 4.20136 second system time

The end

Begin job on node19 on Mon Apr 16 01:37:10 UTC 2007

IDJOB= 353867
IDBENCH= 2282
IDSOLVER= 156
FILE ID= node19/353867-1176687429

PBS_JOBID= 4559397

Free space on /tmp= 66505 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-ran6x43.opb
COMMAND LINE= /tmp/evaluation/353867-1176687429/minisat+ /tmp/evaluation/353867-1176687429/instance-353867-1176687429.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-353867-1176687429 -o ROOT/results/node19/conversion-353867-1176687429 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353867-1176687429/instance-353867-1176687429.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-353867-1176687429 -o ROOT/results/node19/solver-353867-1176687429 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/353867-1176687429/minisat+ /tmp/evaluation/353867-1176687429/instance-353867-1176687429.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  9dd7506c46c3c26c10ff03753daf5d0f

RANDOM SEED= 607271683

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1779104 kB
Buffers:         35540 kB
Cached:         160544 kB
SwapCached:       2204 kB
Active:         142208 kB
Inactive:        83104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779104 kB
SwapTotal:     4192956 kB
SwapFree:      4159528 kB
Dirty:            2756 kB
Writeback:           0 kB
Mapped:          37284 kB
Slab:            37036 kB
Committed_AS:  2923400 kB
PageTables:       1796 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= 66505 MiB

End job on node19 on Mon Apr 16 02:07:13 UTC 2007