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

OK	18978750

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node38/watcher-35668-1149303735 -o ROOT/results/node38/solver-35668-1149303735 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/35668-1149303735/instance-35668-1149303735.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.05 1.01 0.98 3/64 10218
/proc/meminfo: memFree=1599512/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=1048 CPUtime=0
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 114 0 0 0 0 0 0 0 19 0 1 0 196039822 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 262 99 67 215 0 44 0

[startup+10.0025 s]
/proc/loadavg: 1.05 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1582056/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=20044 CPUtime=9.97
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 4679 0 0 0 994 3 0 0 25 0 1 0 196039822 20525056 4466 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 5011 4466 124 215 0 4793 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 20044

[startup+20.0084 s]
/proc/loadavg: 1.04 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1581672/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=20676 CPUtime=20
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 4817 0 0 0 1997 3 0 0 25 0 1 0 196039822 21172224 4604 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588790 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 5169 4604 124 215 0 4951 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 20676

[startup+30.0374 s]
/proc/loadavg: 1.03 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1581224/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=21104 CPUtime=30
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 4929 0 0 0 2997 3 0 0 25 0 1 0 196039822 21610496 4716 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 5276 4716 124 215 0 5058 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21104

[startup+40.0433 s]
/proc/loadavg: 1.03 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1579240/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=23156 CPUtime=40
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 5438 0 0 0 3996 4 0 0 25 0 1 0 196039822 23711744 5225 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 5789 5225 124 215 0 5571 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 23156

[startup+50.0493 s]
/proc/loadavg: 1.02 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1578344/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=24076 CPUtime=50.01
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 5668 0 0 0 4996 5 0 0 25 0 1 0 196039822 24653824 5455 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 6019 5455 124 215 0 5801 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 24076

[startup+60.0552 s]
/proc/loadavg: 1.02 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1577896/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=24472 CPUtime=60.01
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 5778 0 0 0 5996 5 0 0 25 0 1 0 196039822 25059328 5565 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 6118 5565 124 215 0 5900 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 24472

[startup+70.0612 s]
/proc/loadavg: 1.02 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1576232/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=26176 CPUtime=70.02
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 6205 0 0 0 6996 6 0 0 25 0 1 0 196039822 26804224 5992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 6544 5992 124 215 0 6326 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 26176

[startup+80.0671 s]
/proc/loadavg: 1.01 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1575144/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=27232 CPUtime=80.01
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 6464 0 0 0 7995 6 0 0 25 0 1 0 196039822 27885568 6251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 6808 6251 124 215 0 6590 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 27232

[startup+90.073 s]
/proc/loadavg: 1.01 1.01 0.98 2/64 10218
/proc/meminfo: memFree=1574376/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=28020 CPUtime=90.02
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 6678 0 0 0 8995 7 0 0 25 0 1 0 196039822 28692480 6465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 7005 6465 124 215 0 6787 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 28020

[startup+100.079 s]
/proc/loadavg: 1.01 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1573352/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=29248 CPUtime=100.02
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 6932 0 0 0 9995 7 0 0 25 0 1 0 196039822 29949952 6719 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581147 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 7312 6719 124 215 0 7094 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 29248

[startup+110.085 s]
/proc/loadavg: 1.01 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1568360/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=34252 CPUtime=110.02
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 8194 0 0 0 10994 8 0 0 25 0 1 0 196039822 35074048 7981 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 8563 7981 124 215 0 8345 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 34252

[startup+120.091 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1559720/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=42944 CPUtime=120.03
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 10342 0 0 0 11993 10 0 0 25 0 1 0 196039822 43974656 10129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 10736 10129 124 215 0 10518 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 42944

[startup+130.097 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1554728/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=47940 CPUtime=130.03
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 11603 0 0 0 12992 11 0 0 25 0 1 0 196039822 49090560 11390 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 11985 11390 124 215 0 11767 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 47940

[startup+140.103 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1548520/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=53984 CPUtime=140.03
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 13141 0 0 0 13990 13 0 0 25 0 1 0 196039822 55279616 12928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 13496 12928 124 215 0 13278 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 53984

[startup+150.109 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1542632/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=59784 CPUtime=150.03
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 14607 0 0 0 14989 14 0 0 25 0 1 0 196039822 61218816 14394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 14946 14394 124 215 0 14728 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 59784

[startup+160.115 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1539048/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=63752 CPUtime=160.04
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 15508 0 0 0 15988 16 0 0 25 0 1 0 196039822 65282048 15295 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 15938 15295 124 215 0 15720 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 63752

[startup+170.121 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1513768/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=90828 CPUtime=170.04
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 23119 0 0 0 16985 19 0 0 25 0 1 0 196039822 93007872 21605 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 22707 21605 124 215 0 22489 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 90828

[startup+180.127 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1513704/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=90828 CPUtime=180.04
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 23122 0 0 0 17985 19 0 0 25 0 1 0 196039822 93007872 21608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 22707 21608 124 215 0 22489 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 90828

[startup+190.132 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1513704/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=90828 CPUtime=190.05
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 23130 0 0 0 18986 19 0 0 25 0 1 0 196039822 93007872 21616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580473 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 22707 21616 124 215 0 22489 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 90828

[startup+200.139 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1513704/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=90828 CPUtime=200.05
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 23130 0 0 0 19986 19 0 0 25 0 1 0 196039822 93007872 21616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 22707 21616 124 215 0 22489 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 90828

[startup+210.146 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1513704/2055920 swapFree=4181196/4192956

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

[pid=10218] ppid=10216 vsize=330244 CPUtime=1781.56
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83181 0 0 0 178079 77 0 0 25 0 1 0 196039822 338169856 81449 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82561 81449 124 215 0 82343 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 330244

[startup+1783.21 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273704/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=330380 CPUtime=1782.57
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83223 0 0 0 178180 77 0 0 25 0 1 0 196039822 338309120 81491 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82595 81491 124 215 0 82377 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 330380

[startup+1784.22 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273640/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=330512 CPUtime=1783.57
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83235 0 0 0 178280 77 0 0 25 0 1 0 196039822 338444288 81503 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82628 81503 124 215 0 82410 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 330512

[startup+1785.22 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273576/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=330512 CPUtime=1784.58
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83251 0 0 0 178381 77 0 0 25 0 1 0 196039822 338444288 81519 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82628 81519 124 215 0 82410 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 330512

[startup+1786.23 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273512/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=330512 CPUtime=1785.58
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83263 0 0 0 178481 77 0 0 25 0 1 0 196039822 338444288 81531 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579844 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82628 81531 124 215 0 82410 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 330512

[startup+1787.23 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273448/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=330644 CPUtime=1786.59
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83285 0 0 0 178582 77 0 0 25 0 1 0 196039822 338579456 81553 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82661 81553 124 215 0 82443 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 330644

[startup+1788.24 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273320/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=330776 CPUtime=1787.59
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83319 0 0 0 178682 77 0 0 25 0 1 0 196039822 338714624 81587 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82694 81587 124 215 0 82476 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 330776

[startup+1789.24 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273192/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=330908 CPUtime=1788.59
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83353 0 0 0 178782 77 0 0 25 0 1 0 196039822 338849792 81621 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82727 81621 124 215 0 82509 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 330908

[startup+1790.25 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1273000/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=331172 CPUtime=1789.6
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83399 0 0 0 178883 77 0 0 25 0 1 0 196039822 339120128 81667 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82793 81667 124 215 0 82575 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 331172

[startup+1791.25 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1272744/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=331304 CPUtime=1790.6
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83460 0 0 0 178983 77 0 0 25 0 1 0 196039822 339255296 81728 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82826 81728 124 215 0 82608 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 331304

[startup+1792.26 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1272680/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=331436 CPUtime=1791.61
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83476 0 0 0 179084 77 0 0 25 0 1 0 196039822 339390464 81744 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82859 81744 124 215 0 82641 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 331436

[startup+1793.26 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1272488/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=331568 CPUtime=1792.61
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83517 0 0 0 179184 77 0 0 25 0 1 0 196039822 339525632 81785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82892 81785 124 215 0 82674 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 331568

[startup+1794.27 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1272296/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=331832 CPUtime=1793.62
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83565 0 0 0 179285 77 0 0 25 0 1 0 196039822 339795968 81833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82958 81833 124 215 0 82740 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 331832

[startup+1795.27 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1272104/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=331964 CPUtime=1794.62
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83627 0 0 0 179385 77 0 0 25 0 1 0 196039822 339931136 81895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 82991 81895 124 215 0 82773 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 331964

[startup+1796.28 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1271848/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=332224 CPUtime=1795.63
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83692 0 0 0 179486 77 0 0 25 0 1 0 196039822 340197376 81960 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574540 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 83056 81960 124 215 0 82838 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 332224

[startup+1797.28 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1271464/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=332616 CPUtime=1796.64
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83783 0 0 0 179586 78 0 0 25 0 1 0 196039822 340598784 82051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 83154 82051 124 215 0 82936 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 332616

[startup+1798.29 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1271144/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=333012 CPUtime=1797.64
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83866 0 0 0 179686 78 0 0 25 0 1 0 196039822 341004288 82134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 83253 82134 124 215 0 83035 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 333012

[startup+1799.29 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1270632/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=333408 CPUtime=1798.64
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 83982 0 0 0 179786 78 0 0 25 0 1 0 196039822 341409792 82250 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 83352 82250 124 215 0 83134 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 333408

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1270312/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=333804 CPUtime=1799.65
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 84073 0 0 0 179887 78 0 0 25 0 1 0 196039822 341815296 82341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 83451 82341 124 215 0 83233 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 333804

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1270120/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=333932 CPUtime=1800.65
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 84114 0 0 0 179987 78 0 0 25 0 1 0 196039822 341946368 82382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580848 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 83483 82382 124 215 0 83265 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 333932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10218
/proc/meminfo: memFree=1270120/2055920 swapFree=4181196/4192956
[pid=10218] ppid=10216 vsize=333932 CPUtime=1800.66
/proc/10218/stat : 10218 (minisat+) R 10216 10218 10172 0 -1 4194304 84114 0 0 0 179988 78 0 0 25 0 1 0 196039822 341946368 82382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10218/statm: 83483 82382 124 215 0 83265 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 333932

Sending SIGTERM to -10218
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.37
CPU time (s): 1800.72
CPU user time (s): 1799.88
CPU system time (s): 0.839872
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (Kb): 333932

Begin job on node38 on Sat Jun  3 03:02:15 UTC 2006


FILE ID= 35668-1149303735

PBS_JOBID= 307505

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-ran8x32.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/35668-1149303735/instance-35668-1149303735.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-35668-1149303735 -o ROOT/results/node38/solver-35668-1149303735 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/35668-1149303735/instance-35668-1149303735.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  cbc794920cb33f20cfa2472a22fd5e8b

RANDOM SEED= 843286431


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1599720 kB
Buffers:         28560 kB
Cached:         357160 kB
SwapCached:       3512 kB
Active:          56172 kB
Inactive:       338320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599720 kB
SwapTotal:     4192956 kB
SwapFree:      4181196 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14904 kB
Slab:            47684 kB
Committed_AS:   293632 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node38 on Sat Jun  3 03:32:17 UTC 2006