Trace number 353962

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)16044650 1800.12 1800.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
MD5SUM041d40ba01d992f8c3bb358df2c9aea9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2191362
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2191362
Optimality of the best value was proved NO
Number of variables8959
Total number of constraints323
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints323
Minimum length of a constraint31
Maximum length of a constraint510
Number of terms in the objective function 8959
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1612776422946
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1612776422946
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	16044650

Conversion Script Data (download as text)

/tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node43/watcher-353962-1176689576 -o ROOT/results/node43/solver-353962-1176689576 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353962-1176689576/minisat+ /tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8503
/proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=1180 CPUtime=0
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 116869405 1208320 129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 295 129 67 215 0 77 0

[startup+0.026331 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8503
/proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=2276 CPUtime=0.02
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 381 0 0 0 2 0 0 0 18 0 1 0 116869405 2330624 366 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 569 366 67 215 0 351 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2276

[startup+0.101337 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8503
/proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=2860 CPUtime=0.09
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 552 0 0 0 9 0 0 0 18 0 1 0 116869405 2928640 537 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 715 537 75 215 0 497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2860

[startup+0.301355 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8503
/proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=3516 CPUtime=0.29
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 718 0 0 0 29 0 0 0 19 0 1 0 116869405 3600384 703 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 879 703 75 215 0 661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3516

[startup+0.701389 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8503
/proc/meminfo: memFree=1689144/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=4416 CPUtime=0.69
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 999 0 0 0 69 0 0 0 22 0 1 0 116869405 4521984 931 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 1104 931 87 215 0 886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4416

[startup+1.50247 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1685232/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=4904 CPUtime=1.49
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 1171 0 0 0 149 0 0 0 25 0 1 0 116869405 5021696 1091 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 1226 1091 106 215 0 1008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4904

[startup+3.1016 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1680496/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=10972 CPUtime=3.09
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2659 0 0 0 309 0 0 0 25 0 1 0 116869405 11235328 2532 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 2743 2532 123 215 0 2525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10972

[startup+6.30189 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1678904/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=11236 CPUtime=6.29
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2732 0 0 0 629 0 0 0 25 0 1 0 116869405 11505664 2605 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 2809 2605 123 215 0 2591 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11236

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1678656/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=11500 CPUtime=12.68
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2795 0 0 0 1268 0 0 0 25 0 1 0 116869405 11776000 2668 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573300 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 2875 2668 123 215 0 2657 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11500

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1678080/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=12028 CPUtime=25.49
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 2947 0 0 0 2548 1 0 0 25 0 1 0 116869405 12316672 2820 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 3007 2820 123 215 0 2789 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12028

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1644800/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=45428 CPUtime=51.08
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 11285 0 0 0 5103 5 0 0 25 0 1 0 116869405 46518272 11158 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 11357 11158 123 215 0 11139 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45428

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1640384/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=49920 CPUtime=102.27
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 12377 0 0 0 10221 6 0 0 25 0 1 0 116869405 51118080 12250 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 12480 12250 123 215 0 12262 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49920

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1624512/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=66016 CPUtime=162.25
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 16329 0 0 0 16216 9 0 0 25 0 1 0 116869405 67600384 16202 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587961 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 16504 16202 123 215 0 16286 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66016

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1624512/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=66016 CPUtime=222.24
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 16330 0 0 0 22215 9 0 0 25 0 1 0 116869405 67600384 16203 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 16504 16203 123 215 0 16286 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 66016

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1624448/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=66016 CPUtime=282.22
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 16344 0 0 0 28213 9 0 0 25 0 1 0 116869405 67600384 16217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 16504 16217 123 215 0 16286 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 66016

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1618176/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=72120 CPUtime=342.21
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 17913 0 0 0 34210 11 0 0 25 0 1 0 116869405 73850880 17786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 18030 17786 123 215 0 17812 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 72120

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1618176/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=72120 CPUtime=402.2
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 17913 0 0 0 40209 11 0 0 25 0 1 0 116869405 73850880 17786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 18030 17786 123 215 0 17812 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 72120

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1606400/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=83868 CPUtime=462.18
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 20842 0 0 0 46204 14 0 0 25 0 1 0 116869405 85880832 20715 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588047 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 20967 20715 123 215 0 20749 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 83868

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1606400/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=83868 CPUtime=522.17
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 20842 0 0 0 52203 14 0 0 25 0 1 0 116869405 85880832 20715 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 20967 20715 123 215 0 20749 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 83868

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1585792/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=104840 CPUtime=582.15
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 26071 0 0 0 58196 19 0 0 25 0 1 0 116869405 107356160 25944 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 26210 25944 123 215 0 25992 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 104840

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1561600/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=128776 CPUtime=642.15
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 32032 0 0 0 64189 26 0 0 25 0 1 0 116869405 131866624 31905 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 32194 31905 123 215 0 31976 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 128776


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8504
/proc/meminfo: memFree=1521920/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=168512 CPUtime=882.08
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 41938 0 0 0 88173 35 0 0 25 0 1 0 116869405 172556288 41811 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 42128 41811 123 215 0 41910 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 168512

[startup+942.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 8504
/proc/meminfo: memFree=1489216/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=201332 CPUtime=942.07
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 50165 0 0 0 94164 43 0 0 25 0 1 0 116869405 206163968 50038 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 50333 50038 123 215 0 50115 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 201332

[startup+1002.3 s]
/proc/loadavg: 1.09 1.02 1.00 2/65 8504
/proc/meminfo: memFree=1466624/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=223720 CPUtime=1002.05
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 55715 0 0 0 100158 47 0 0 25 0 1 0 116869405 229089280 55588 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 55930 55588 123 215 0 55712 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 223720

[startup+1062.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 8504
/proc/meminfo: memFree=1426368/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=263724 CPUtime=1062.04
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 106148 56 0 0 25 0 1 0 116869405 270053376 65634 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 65931 65634 123 215 0 65713 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 263724

[startup+1122.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8504
/proc/meminfo: memFree=1426368/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=263724 CPUtime=1122.02
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 112146 56 0 0 25 0 1 0 116869405 270053376 65634 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 65931 65634 123 215 0 65713 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 263724

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 8504
/proc/meminfo: memFree=1426368/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=263684 CPUtime=1182.01
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 118145 56 0 0 25 0 1 0 116869405 270012416 65625 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572994 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 65921 65625 123 215 0 65703 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 263684

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8504
/proc/meminfo: memFree=1426304/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=263684 CPUtime=1241.99
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 65761 0 0 0 124143 56 0 0 25 0 1 0 116869405 270012416 65625 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 65921 65625 123 215 0 65703 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 263684

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8504
/proc/meminfo: memFree=1413696/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=278616 CPUtime=1301.99
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69653 0 0 0 130141 58 0 0 25 0 1 0 116869405 285302784 68774 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69654 68774 123 215 0 69436 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 278616

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8504
/proc/meminfo: memFree=1413696/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=278616 CPUtime=1361.97
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69653 0 0 0 136139 58 0 0 25 0 1 0 116869405 285302784 68774 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69654 68774 123 215 0 69436 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 278616

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8504
/proc/meminfo: memFree=1413696/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=278616 CPUtime=1421.95
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69653 0 0 0 142137 58 0 0 25 0 1 0 116869405 285302784 68774 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588875 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69654 68774 123 215 0 69436 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 278616

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8504
/proc/meminfo: memFree=1413504/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=278616 CPUtime=1481.94
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69696 0 0 0 148135 59 0 0 25 0 1 0 116869405 285302784 68817 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69654 68817 123 215 0 69436 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 278616

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8506
/proc/meminfo: memFree=1413312/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=278616 CPUtime=1541.92
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69698 0 0 0 154133 59 0 0 25 0 1 0 116869405 285302784 68819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69654 68819 123 215 0 69436 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 278616

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8506
/proc/meminfo: memFree=1413376/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=279028 CPUtime=1601.9
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69717 0 0 0 160131 59 0 0 25 0 1 0 116869405 285724672 68789 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69757 68789 123 215 0 69539 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 279028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8506
/proc/meminfo: memFree=1413376/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=279028 CPUtime=1661.89
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69717 0 0 0 166130 59 0 0 25 0 1 0 116869405 285724672 68789 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69757 68789 123 215 0 69539 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 279028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8506
/proc/meminfo: memFree=1413376/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=279028 CPUtime=1721.87
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 172128 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69757 68791 123 215 0 69539 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 279028

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8506
/proc/meminfo: memFree=1413440/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=279028 CPUtime=1781.86
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 178127 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69757 68791 123 215 0 69539 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 279028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8506
/proc/meminfo: memFree=1413440/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=279028 CPUtime=1800.06
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 179947 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69757 68791 123 215 0 69539 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 279028

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8506
/proc/meminfo: memFree=1413440/2055920 swapFree=4191892/4192956
[pid=8503] ppid=8501 vsize=279028 CPUtime=1800.06
/proc/8503/stat : 8503 (minisat+) R 8501 8503 25877 0 -1 4194304 69719 0 0 0 179947 59 0 0 25 0 1 0 116869405 285724672 68791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8503/statm: 69757 68791 123 215 0 69539 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 279028

Child status: 10
Real time (s): 1800.56
CPU time (s): 1800.12
CPU user time (s): 1799.47
CPU system time (s): 0.642902
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 279224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.642902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 2109

runsolver used 1.39579 second user time and 3.55146 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Mon Apr 16 02:12:56 UTC 2007

IDJOB= 353962
IDBENCH= 2302
IDSOLVER= 156
FILE ID= node43/353962-1176689576

PBS_JOBID= 4559984

Free space on /tmp= 66551 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
COMMAND LINE= /tmp/evaluation/353962-1176689576/minisat+ /tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-353962-1176689576 -o ROOT/results/node43/conversion-353962-1176689576 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353962-1176689576/instance-353962-1176689576.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  041d40ba01d992f8c3bb358df2c9aea9

RANDOM SEED= 318482476

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1689552 kB
Buffers:         58732 kB
Cached:         216740 kB
SwapCached:        268 kB
Active:         119384 kB
Inactive:       175428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1689552 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2844 kB
Writeback:           0 kB
Mapped:          27372 kB
Slab:            57584 kB
Committed_AS:  1489388 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66551 MiB

End job on node43 on Mon Apr 16 02:42:59 UTC 2007