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

OK	22365823

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/node5/watcher-35661-1149303393 -o ROOT/results/node5/solver-35661-1149303393 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node5/35661-1149303393/instance-35661-1149303393.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1735832/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=1180 CPUtime=0
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 122 0 0 0 0 0 0 0 19 0 1 0 195942982 1208320 107 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 295 108 67 215 0 77 0

[startup+10.0027 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1726680/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=10708 CPUtime=9.99
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 2519 0 0 0 998 1 0 0 25 0 1 0 195942982 10964992 2410 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134589149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 2677 2410 123 215 0 2459 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 10708

[startup+20.0086 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1725400/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=12088 CPUtime=19.99
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 2864 0 0 0 1998 1 0 0 25 0 1 0 195942982 12378112 2755 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 3022 2755 123 215 0 2804 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12088

[startup+30.0146 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1719384/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=18128 CPUtime=30
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 4359 0 0 0 2998 2 0 0 25 0 1 0 195942982 18563072 4250 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 4532 4250 123 215 0 4314 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 18128

[startup+40.0205 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1714584/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=22864 CPUtime=40
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 5575 0 0 0 3997 3 0 0 25 0 1 0 195942982 23412736 5466 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134577392 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 5716 5466 123 215 0 5498 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22864

[startup+50.0265 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1709720/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=27792 CPUtime=50
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 6791 0 0 0 4997 3 0 0 25 0 1 0 195942982 28459008 6682 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 6948 6682 123 215 0 6730 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 27792

[startup+60.0324 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=34264 CPUtime=60
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 5996 4 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 8566 8244 123 215 0 8348 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 34264

[startup+70.0384 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=34264 CPUtime=70.01
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 6996 5 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 8566 8244 123 215 0 8348 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 34264

[startup+80.0443 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=34264 CPUtime=80.01
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 7996 5 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 8566 8244 123 215 0 8348 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 34264

[startup+90.0503 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1703448/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=34264 CPUtime=90.01
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 8353 0 0 0 8996 5 0 0 25 0 1 0 195942982 35086336 8244 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 8566 8244 123 215 0 8348 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 34264

[startup+100.056 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1697880/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=39828 CPUtime=100.01
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 9743 0 0 0 9995 6 0 0 25 0 1 0 195942982 40783872 9634 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 9957 9634 123 215 0 9739 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 39828

[startup+110.062 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1694680/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=43048 CPUtime=110.02
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 10539 0 0 0 10995 7 0 0 25 0 1 0 195942982 44081152 10430 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 10762 10430 123 215 0 10544 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 43048

[startup+120.068 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1692760/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=44900 CPUtime=120.02
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11035 0 0 0 11994 8 0 0 25 0 1 0 195942982 45977600 10926 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 11225 10926 123 215 0 11007 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 44900

[startup+130.074 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=47668 CPUtime=130.02
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11715 0 0 0 12994 8 0 0 25 0 1 0 195942982 48812032 11606 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 11917 11606 123 215 0 11699 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 47668

[startup+140.08 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=47668 CPUtime=140.02
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11715 0 0 0 13994 8 0 0 25 0 1 0 195942982 48812032 11606 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581014 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 11917 11606 123 215 0 11699 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 47668

[startup+150.086 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=47668 CPUtime=150.02
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11715 0 0 0 14994 8 0 0 25 0 1 0 195942982 48812032 11606 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 11917 11606 123 215 0 11699 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 47668

[startup+160.092 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=47668 CPUtime=160.03
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11716 0 0 0 15995 8 0 0 25 0 1 0 195942982 48812032 11607 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 11917 11607 123 215 0 11699 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 47668

[startup+170.098 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1690008/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=47668 CPUtime=170.03
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 11716 0 0 0 16995 8 0 0 25 0 1 0 195942982 48812032 11607 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 11917 11607 123 215 0 11699 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 47668

[startup+180.104 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1687832/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=49780 CPUtime=180.03
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 12268 0 0 0 17995 8 0 0 25 0 1 0 195942982 50974720 12159 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 12445 12159 123 215 0 12227 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 49780

[startup+190.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1674776/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=62844 CPUtime=190.03
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 15525 0 0 0 18991 12 0 0 25 0 1 0 195942982 64352256 15416 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 15711 15416 123 215 0 15493 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 62844

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1674776/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=62844 CPUtime=200.04
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 15525 0 0 0 19992 12 0 0 25 0 1 0 195942982 64352256 15416 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 15711 15416 123 215 0 15493 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 62844

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1611
/proc/meminfo: memFree=1674776/2055920 swapFree=4180904/4192956

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

[pid=1611] ppid=1609 vsize=154176 CPUtime=1781.39
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178102 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 154176

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1782.39
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178202 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 154176

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1783.39
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178302 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134572784 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1783.39
Current children cumulated vsize (Kb) 154176

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1784.4
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178403 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 154176

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1785.4
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178503 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134585912 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (Kb) 154176

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1786.41
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178604 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 154176

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1787.41
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178704 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 154176

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1788.42
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178805 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 154176

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1789.42
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 178905 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 154176

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1790.42
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179005 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (Kb) 154176

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1791.43
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179106 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 154176

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1792.43
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179206 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1792.43
Current children cumulated vsize (Kb) 154176

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1793.44
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179307 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 154176

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1794.44
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179407 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (Kb) 154176

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1795.45
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179508 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 154176

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1796.45
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179608 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 154176

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1797.46
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179709 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 154176

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1798.46
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179809 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1798.46
Current children cumulated vsize (Kb) 154176

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1799.47
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 179910 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 154176

[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1800.47
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 180010 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (Kb) 154176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 1814
/proc/meminfo: memFree=1585248/2055920 swapFree=4180904/4192956
[pid=1611] ppid=1609 vsize=154176 CPUtime=1800.48
/proc/1611/stat : 1611 (minisat+) R 1609 1611 1565 0 -1 4194304 39016 0 0 0 180011 37 0 0 25 0 1 0 195942982 157876224 37666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1611/statm: 38544 37666 123 215 0 38326 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 154176

Sending SIGTERM to -1611
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.22
CPU time (s): 1800.51
CPU user time (s): 1800.11
CPU system time (s): 0.398939
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (Kb): 154176

Begin job on node5 on Sat Jun  3 02:56:33 UTC 2006


FILE ID= 35661-1149303393

PBS_JOBID= 307479

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  334ff12347ae763156f4e4389dfec521

RANDOM SEED= 719170443


/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.279
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.279
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:       1736040 kB
Buffers:         25908 kB
Cached:         229132 kB
SwapCached:       3904 kB
Active:          54380 kB
Inactive:       209588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1736040 kB
SwapTotal:     4192956 kB
SwapFree:      4180904 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14944 kB
Slab:            41904 kB
Committed_AS:   276880 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node5 on Sat Jun  3 03:26:34 UTC 2006