Trace number 353897

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)24052299 1800.13 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM24310f50398f30cad58c742db29765ce
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6593540
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6593540
Optimality of the best value was proved NO
Number of variables8060
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
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 1599918681646
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 1599918681646
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.29/0.39	c Converting 332 PB-constraints to clauses...
0.29/0.39	c   -- Unit propagations: (none)
0.69/0.73	c   -- Detecting intervals from adjacent constraints: ####################################
0.69/0.74	c   -- Clauses(.)/Splits(s): (none)
0.69/0.74	c ---[ 330]---> Adder-cost: 688   maxlim: 456678   bits: 19/19
0.69/0.80	c ---[ 328]---> Adder-cost: 686   maxlim: 418790   bits: 19/19
0.79/0.85	c ---[ 326]---> Adder-cost: 686   maxlim: 420838   bits: 19/19
0.89/0.91	c ---[ 324]---> Adder-cost: 686   maxlim: 424934   bits: 19/19
0.89/0.97	c ---[ 322]---> Adder-cost: 686   maxlim: 429030   bits: 19/19
1.00/1.02	c ---[ 320]---> Adder-cost: 688   maxlim: 472038   bits: 19/19
1.00/1.08	c ---[ 318]---> Adder-cost: 672   maxlim: 308198   bits: 19/19
1.09/1.13	c ---[ 316]---> Adder-cost: 688   maxlim: 460774   bits: 19/19
1.09/1.19	c ---[ 314]---> Adder-cost: 686   maxlim: 432102   bits: 19/19
1.19/1.25	c ---[ 312]---> Adder-cost: 688   maxlim: 454630   bits: 19/19
1.29/1.30	c ---[ 310]---> Adder-cost: 270   maxlim: 289782   bits: 19/19
1.29/1.33	c ---[ 308]---> Sorter-cost: 2738     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.29/1.35	c ---[ 306]---> Adder-cost: 270   maxlim: 281590   bits: 19/19
1.29/1.37	c ---[ 304]---> Sorter-cost: 3052     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.29/1.40	c ---[ 302]---> Sorter-cost: 2522     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.39/1.41	c ---[ 300]---> Sorter-cost: 2522     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.39/1.43	c ---[ 298]---> Adder-cost: 270   maxlim: 283638   bits: 19/19
1.39/1.46	c ---[ 296]---> Sorter-cost: 2306     Base: 2 2 2 2 2 2 2 2 2 2 2
1.39/1.47	c ---[ 294]---> Sorter-cost: 2738     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.39/1.49	c ---[ 292]---> Sorter-cost: 2738     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.51	c ---[ 290]---> Adder-cost: 270   maxlim: 280566   bits: 19/19
1.49/1.54	c ---[ 288]---> Sorter-cost: 2738     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.56	c ---[ 286]---> Sorter-cost: 2738     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.49/1.58	c ---[ 284]---> Sorter-cost: 2522     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.60	c ---[ 282]---> Adder-cost: 270   maxlim: 294902   bits: 19/19
1.59/1.62	c ---[ 280]---> Sorter-cost: 3052     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.65	c ---[ 278]---> Sorter-cost: 2522     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.67	c ---[ 276]---> Sorter-cost: 2522     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.59/1.69	c ---[ 274]---> Sorter-cost: 2306     Base: 2 2 2 2 2 2 2 2 2 2 2
1.69/1.71	c ---[ 272]---> Sorter-cost: 2738     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.69/1.73	c ---[ 270]---> Sorter-cost: 2738     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
1.69/1.75	c ---[ 268]---> Adder-cost: 270   maxlim: 291830   bits: 19/19
1.69/1.77	c ---[ 266]---> Sorter-cost: 2306     Base: 2 2 2 2 2 2 2 2 2 2 2
1.69/1.79	c ---[ 264]---> Sorter-cost: 2522     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.79/1.81	c ---[ 262]---> Sorter-cost: 2306     Base: 2 2 2 2 2 2 2 2 2 2 2
1.79/1.82	c ---[ 260]---> Sorter-cost: 2522     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1.79/1.84	c ---[ 259]---> BDD-cost:   20
1.79/1.84	c ---[ 258]---> BDD-cost:   15
1.79/1.84	c ---[ 257]---> BDD-cost:   20
1.79/1.84	c ---[ 256]---> BDD-cost:   20
1.79/1.84	c ---[ 255]---> BDD-cost:   14
1.79/1.84	c ---[ 254]---> BDD-cost:   15
1.79/1.84	c ---[ 253]---> BDD-cost:   14
1.79/1.84	c ---[ 252]---> BDD-cost:   20
1.79/1.84	c ---[ 251]---> BDD-cost:   15
1.79/1.84	c ---[ 250]---> BDD-cost:   17
1.79/1.84	c ---[ 249]---> BDD-cost:   17
1.79/1.84	c ---[ 248]---> BDD-cost:   18
1.79/1.84	c ---[ 247]---> BDD-cost:   20
1.79/1.84	c ---[ 246]---> BDD-cost:   19
1.79/1.84	c ---[ 245]---> BDD-cost:   14
1.79/1.84	c ---[ 244]---> BDD-cost:   15
1.79/1.84	c ---[ 243]---> BDD-cost:   13
1.79/1.85	c ---[ 242]---> BDD-cost:   16
1.79/1.85	c ---[ 241]---> BDD-cost:   20
1.79/1.85	c ---[ 240]---> BDD-cost:   20
1.79/1.85	c ---[ 239]---> BDD-cost:   14
1.79/1.85	c ---[ 238]---> BDD-cost:   15
1.79/1.85	c ---[ 237]---> BDD-cost:   20
1.79/1.85	c ---[ 236]---> BDD-cost:   13
1.79/1.85	c ---[ 235]---> BDD-cost:   14
1.79/1.85	c ---[ 234]---> BDD-cost:   15
1.79/1.85	c ---[ 233]---> BDD-cost:   15
1.79/1.85	c ---[ 232]---> BDD-cost:   20
1.79/1.85	c ---[ 231]---> BDD-cost:   18
1.79/1.85	c ---[ 230]---> BDD-cost:   15
1.79/1.85	c ---[ 229]---> BDD-cost:   16
1.79/1.85	c ---[ 228]---> BDD-cost:   20
1.79/1.85	c ---[ 227]---> BDD-cost:   14
1.79/1.85	c ---[ 226]---> BDD-cost:   15
1.79/1.85	c ---[ 225]---> BDD-cost:   14
1.79/1.85	c ---[ 224]---> BDD-cost:   15
1.79/1.85	c ---[ 223]---> BDD-cost:   20
1.79/1.85	c ---[ 222]---> BDD-cost:   15
1.79/1.85	c ---[ 221]---> BDD-cost:   17
1.79/1.85	c ---[ 220]---> BDD-cost:   17
1.79/1.85	c ---[ 219]---> BDD-cost:   18
1.79/1.85	c ---[ 218]---> BDD-cost:   20
1.79/1.85	c ---[ 217]---> BDD-cost:   14
1.79/1.85	c ---[ 216]---> BDD-cost:   15
1.79/1.85	c ---[ 215]---> BDD-cost:   13
1.79/1.85	c ---[ 214]---> BDD-cost:   16
1.79/1.85	c ---[ 213]---> BDD-cost:   20
1.79/1.85	c ---[ 212]---> BDD-cost:   20
1.79/1.85	c ---[ 211]---> BDD-cost:   22
1.79/1.85	c ---[ 210]---> BDD-cost:   14
1.79/1.85	c ---[ 209]---> BDD-cost:   15
1.79/1.85	c ---[ 208]---> BDD-cost:   20
1.79/1.85	c ---[ 207]---> BDD-cost:   13
1.79/1.85	c ---[ 206]---> BDD-cost:   15
1.79/1.85	c ---[ 205]---> BDD-cost:   15
1.79/1.85	c ---[ 204]---> BDD-cost:   19
1.79/1.85	c ---[ 203]---> BDD-cost:   18
1.79/1.85	c ---[ 202]---> BDD-cost:   13
1.79/1.85	c ---[ 201]---> BDD-cost:   15
1.79/1.85	c ---[ 200]---> BDD-cost:   16
1.79/1.85	c ---[ 199]---> BDD-cost:   22
1.79/1.85	c ---[ 198]---> BDD-cost:   14
1.79/1.85	c ---[ 197]---> BDD-cost:   15
1.79/1.85	c ---[ 196]---> BDD-cost:   14
1.79/1.85	c ---[ 195]---> BDD-cost:   18
1.79/1.85	c ---[ 194]---> BDD-cost:   15
1.79/1.85	c ---[ 193]---> BDD-cost:   18
1.79/1.86	c ---[ 192]---> BDD-cost:   17
1.79/1.86	c ---[ 191]---> BDD-cost:   15
1.79/1.86	c ---[ 190]---> BDD-cost:   18
1.79/1.86	c ---[ 189]---> BDD-cost:   18
1.79/1.86	c ---[ 188]---> BDD-cost:   14
1.79/1.86	c ---[ 187]---> BDD-cost:   15
1.79/1.86	c ---[ 186]---> BDD-cost:   13
1.79/1.86	c ---[ 185]---> BDD-cost:   16
1.79/1.86	c ---[ 184]---> BDD-cost:   18
1.79/1.86	c ---[ 183]---> BDD-cost:   18
1.79/1.86	c ---[ 182]---> BDD-cost:   14
1.79/1.86	c ---[ 181]---> BDD-cost:   15
1.79/1.86	c ---[ 180]---> BDD-cost:   15
1.79/1.86	c ---[ 179]---> BDD-cost:   18
1.79/1.86	c ---[ 178]---> BDD-cost:   13
1.79/1.86	c ---[ 177]---> BDD-cost:   15
1.79/1.86	c ---[ 176]---> BDD-cost:   15
1.79/1.86	c ---[ 175]---> BDD-cost:   18
1.79/1.86	c ---[ 174]---> BDD-cost:   18
1.79/1.86	c ---[ 173]---> BDD-cost:   15
1.79/1.86	c ---[ 172]---> BDD-cost:   18
1.79/1.86	c ---[ 171]---> BDD-cost:   18
1.79/1.86	c ---[ 170]---> BDD-cost:   14
1.79/1.86	c ---[ 169]---> BDD-cost:   19
1.79/1.86	c ---[ 168]---> BDD-cost:   15
1.79/1.86	c ---[ 167]---> BDD-cost:   14
1.79/1.86	c ---[ 166]---> BDD-cost:   20
1.79/1.86	c ---[ 165]---> BDD-cost:   15
1.79/1.86	c ---[ 164]---> BDD-cost:   17
1.79/1.86	c ---[ 163]---> BDD-cost:   17
1.79/1.86	c ---[ 162]---> BDD-cost:   18
1.79/1.86	c ---[ 161]---> BDD-cost:   20
1.79/1.86	c ---[ 160]---> BDD-cost:   14
1.79/1.86	c ---[ 159]---> BDD-cost:   15
1.79/1.86	c ---[ 158]---> BDD-cost:   18
1.79/1.86	c ---[ 157]---> BDD-cost:   13
1.79/1.86	c ---[ 156]---> BDD-cost:   16
1.79/1.86	c ---[ 155]---> BDD-cost:   20
1.79/1.86	c ---[ 154]---> BDD-cost:   21
1.79/1.86	c ---[ 153]---> BDD-cost:   14
1.79/1.86	c ---[ 152]---> BDD-cost:   15
1.79/1.86	c ---[ 151]---> BDD-cost:   20
1.79/1.86	c ---[ 150]---> BDD-cost:   13
1.79/1.86	c ---[ 149]---> BDD-cost:   15
1.79/1.86	c ---[ 148]---> BDD-cost:   15
1.79/1.86	c ---[ 147]---> BDD-cost:   17
1.79/1.86	c ---[ 146]---> BDD-cost:   15
1.79/1.86	c ---[ 145]---> BDD-cost:   19
1.79/1.86	c ---[ 144]---> BDD-cost:   18
1.79/1.86	c ---[ 143]---> BDD-cost:   15
1.79/1.87	c ---[ 142]---> BDD-cost:   16
1.79/1.87	c ---[ 141]---> BDD-cost:   22
1.79/1.87	c ---[ 140]---> BDD-cost:   14
1.79/1.87	c ---[ 139]---> BDD-cost:   15
1.79/1.87	c ---[ 138]---> BDD-cost:   14
1.79/1.87	c ---[ 137]---> BDD-cost:   19
1.79/1.87	c ---[ 136]---> BDD-cost:   15
1.79/1.87	c ---[ 135]---> BDD-cost:   16
1.79/1.87	c ---[ 134]---> BDD-cost:   17
1.79/1.87	c ---[ 133]---> BDD-cost:   17
1.79/1.87	c ---[ 132]---> BDD-cost:   18
1.79/1.87	c ---[ 131]---> BDD-cost:   19
1.79/1.87	c ---[ 130]---> BDD-cost:   14
1.79/1.87	c ---[ 129]---> BDD-cost:   15
1.79/1.87	c ---[ 128]---> BDD-cost:   13
1.79/1.87	c ---[ 127]---> BDD-cost:   16
1.79/1.87	c ---[ 126]---> BDD-cost:   19
1.79/1.87	c ---[ 125]---> BDD-cost:   19
1.79/1.87	c ---[ 124]---> BDD-cost:   22
1.79/1.87	c ---[ 123]---> BDD-cost:   14
1.79/1.87	c ---[ 122]---> BDD-cost:   15
1.79/1.87	c ---[ 121]---> BDD-cost:   19
1.79/1.87	c ---[ 120]---> BDD-cost:   13
1.79/1.87	c ---[ 119]---> BDD-cost:   15
1.79/1.87	c ---[ 118]---> BDD-cost:   15
1.79/1.87	c ---[ 117]---> BDD-cost:   19
1.79/1.87	c ---[ 116]---> BDD-cost:   18
1.79/1.87	c ---[ 115]---> BDD-cost:   15
1.79/1.87	c ---[ 114]---> BDD-cost:   16
1.79/1.87	c ---[ 113]---> BDD-cost:   14
1.79/1.87	c ---[ 112]---> BDD-cost:   19
1.79/1.87	c ---[ 111]---> BDD-cost:   14
1.79/1.87	c ---[ 110]---> BDD-cost:   15
1.79/1.87	c ---[ 109]---> BDD-cost:   14
1.79/1.87	c ---[ 108]---> BDD-cost:   20
1.79/1.87	c ---[ 107]---> BDD-cost:   15
1.79/1.87	c ---[ 106]---> BDD-cost:   17
1.79/1.87	c ---[ 105]---> BDD-cost:   17
1.79/1.87	c ---[ 104]---> BDD-cost:   18
1.79/1.87	c ---[ 103]---> BDD-cost:   20
1.79/1.87	c ---[ 102]---> BDD-cost:   15
1.79/1.87	c ---[ 101]---> BDD-cost:   14
1.79/1.87	c ---[ 100]---> BDD-cost:   15
1.79/1.87	c ---[  99]---> BDD-cost:   13
1.79/1.87	c ---[  98]---> BDD-cost:   16
1.79/1.87	c ---[  97]---> BDD-cost:   20
1.79/1.87	c ---[  96]---> BDD-cost:   19
1.79/1.87	c ---[  95]---> BDD-cost:   14
1.79/1.87	c ---[  94]---> BDD-cost:   15
1.79/1.87	c ---[  93]---> BDD-cost:   20
1.79/1.88	c ---[  92]---> BDD-cost:   13
1.79/1.88	c ---[  91]---> BDD-cost:   14
1.79/1.88	c ---[  90]---> BDD-cost:   15
1.79/1.88	c ---[  89]---> BDD-cost:   15
1.79/1.88	c ---[  88]---> BDD-cost:   19
1.79/1.88	c ---[  87]---> BDD-cost:   18
1.79/1.88	c ---[  86]---> BDD-cost:   15
1.79/1.88	c ---[  85]---> BDD-cost:   16
1.79/1.88	c ---[  84]---> BDD-cost:   22
1.79/1.88	c ---[  83]---> BDD-cost:   14
1.79/1.88	c ---[  82]---> BDD-cost:   15
1.79/1.88	c ---[  81]---> BDD-cost:   14
1.79/1.88	c ---[  80]---> BDD-cost:   20
1.79/1.88	c ---[  79]---> BDD-cost:   15
1.79/1.88	c ---[  78]---> BDD-cost:   17
1.79/1.88	c ---[  77]---> BDD-cost:   17
1.79/1.88	c ---[  76]---> BDD-cost:   17
1.79/1.88	c ---[  75]---> BDD-cost:   18
1.79/1.88	c ---[  74]---> BDD-cost:   20
1.79/1.88	c ---[  73]---> BDD-cost:   14
1.79/1.88	c ---[  72]---> BDD-cost:   15
1.79/1.88	c ---[  71]---> BDD-cost:   13
1.79/1.88	c ---[  70]---> BDD-cost:   16
1.79/1.88	c ---[  69]---> BDD-cost:   20
1.79/1.88	c ---[  68]---> BDD-cost:   20
1.79/1.88	c ---[  67]---> BDD-cost:   14
1.79/1.88	c ---[  66]---> BDD-cost:   15
1.79/1.88	c ---[  65]---> BDD-cost:   18
1.79/1.88	c ---[  64]---> BDD-cost:   20
1.79/1.88	c ---[  63]---> BDD-cost:   13
1.79/1.88	c ---[  62]---> BDD-cost:   15
1.79/1.88	c ---[  61]---> BDD-cost:   15
1.79/1.88	c ---[  60]---> BDD-cost:   19
1.79/1.88	c ---[  59]---> BDD-cost:   18
1.79/1.88	c ---[  58]---> BDD-cost:   15
1.79/1.88	c ---[  57]---> BDD-cost:   16
1.79/1.88	c ---[  56]---> BDD-cost:   20
1.79/1.88	c ---[  55]---> BDD-cost:   14
1.79/1.88	c ---[  54]---> BDD-cost:   20
1.79/1.88	c ---[  53]---> BDD-cost:   15
1.79/1.88	c ---[  52]---> BDD-cost:   14
1.79/1.88	c ---[  51]---> BDD-cost:   20
1.79/1.88	c ---[  50]---> BDD-cost:   15
1.79/1.88	c ---[  49]---> BDD-cost:   17
1.79/1.88	c ---[  48]---> BDD-cost:   17
1.79/1.88	c ---[  47]---> BDD-cost:   18
1.79/1.88	c ---[  46]---> BDD-cost:   20
1.79/1.88	c ---[  45]---> BDD-cost:   14
1.79/1.88	c ---[  44]---> BDD-cost:   15
1.79/1.89	c ---[  43]---> BDD-cost:   14
1.79/1.89	c ---[  42]---> BDD-cost:   13
1.79/1.89	c ---[  41]---> BDD-cost:   16
1.79/1.89	c ---[  40]---> BDD-cost:   20
1.79/1.89	c ---[  39]---> BDD-cost:   20
1.79/1.89	c ---[  38]---> BDD-cost:   14
1.79/1.89	c ---[  37]---> BDD-cost:   15
1.79/1.89	c ---[  36]---> BDD-cost:   20
1.79/1.89	c ---[  35]---> BDD-cost:   13
1.79/1.89	c ---[  34]---> BDD-cost:   15
1.79/1.89	c ---[  33]---> BDD-cost:   15
1.79/1.89	c ---[  32]---> BDD-cost:   15
1.79/1.89	c ---[  31]---> BDD-cost:   20
1.79/1.89	c ---[  30]---> BDD-cost:   18
1.79/1.89	c ---[  29]---> BDD-cost:   15
1.79/1.89	c ---[  28]---> BDD-cost:   16
1.79/1.89	c ---[  27]---> BDD-cost:   20
1.79/1.89	c ---[  26]---> BDD-cost:   14
1.79/1.89	c ---[  25]---> BDD-cost:   15
1.79/1.89	c ---[  24]---> BDD-cost:   14
1.79/1.89	c ---[  23]---> BDD-cost:   20
1.79/1.89	c ---[  22]---> BDD-cost:   15
1.79/1.89	c ---[  21]---> BDD-cost:   13
1.79/1.89	c ---[  20]---> BDD-cost:   17
1.79/1.89	c ---[  19]---> BDD-cost:   17
1.79/1.89	c ---[  18]---> BDD-cost:   18
1.79/1.89	c ---[  17]---> BDD-cost:   20
1.79/1.89	c ---[  16]---> BDD-cost:   14
1.79/1.89	c ---[  15]---> BDD-cost:   15
1.79/1.89	c ---[  14]---> BDD-cost:   13
1.79/1.89	c ---[  13]---> BDD-cost:   16
1.79/1.89	c ---[  12]---> BDD-cost:   20
1.79/1.89	c ---[  11]---> BDD-cost:   20
1.79/1.89	c ---[  10]---> BDD-cost:   16
1.79/1.89	c ---[   9]---> BDD-cost:   14
1.79/1.89	c ---[   8]---> BDD-cost:   15
1.79/1.89	c ---[   7]---> BDD-cost:   20
1.79/1.89	c ---[   6]---> BDD-cost:   13
1.79/1.89	c ---[   5]---> BDD-cost:   15
1.79/1.89	c ---[   4]---> BDD-cost:   15
1.79/1.89	c ---[   3]---> BDD-cost:   20
1.79/1.89	c ---[   2]---> BDD-cost:   18
1.79/1.89	c ---[   1]---> BDD-cost:   15
1.79/1.89	c ---[   0]---> BDD-cost:   16
1.99/2.09	c ==================================[MINISAT+]==================================
1.99/2.09	c | Conflicts | Original         | Learnt                           | Progress |
1.99/2.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.99/2.09	c ==============================================================================
1.99/2.09	c |         0 |  201399   543727 |   67133       0        0     nan |  0.000 % |
2.10/2.10	c |       100 |  201399   543727 |   73846     100      438     4.4 |  9.424 % |
2.10/2.15	c |       252 |  201255   543392 |   81230     249     1044     4.2 |  9.492 % |
2.20/2.23	c |       477 |  200773   542283 |   89354     451     2151     4.8 |  9.706 % |
2.29/2.32	c |       817 |  200698   542092 |   98289     789     3832     4.9 |  9.736 % |
2.49/2.54	c |      1324 |  200431   541406 |  108118    1283     6394     5.0 |  9.849 % |
2.79/2.80	c |      2083 |  199984   540378 |  118930    2013     9738     4.8 | 10.061 % |
3.30/3.31	c |      3222 |  199245   538687 |  130823    3131    15088     4.8 | 10.427 % |
3.79/3.87	c |      4930 |  198577   537127 |  143905    4801    23355     4.9 | 10.759 % |
4.88/4.91	c |      7493 |  197614   534895 |  158296    7295    35467     4.9 | 11.204 % |
6.88/6.94	c |     11337 |  196697   532713 |  174125   11090    54544     4.9 | 11.634 % |
10.69/10.78	c |     17104 |  194703   528028 |  191538   16736    83448     5.0 | 12.556 % |
17.99/18.00	c |     25755 |  192721   523379 |  210692   25254   127176     5.0 | 13.496 % |
33.58/33.64	c |     38729 |  189353   515298 |  231761   37971   196828     5.2 | 15.116 % |
50.18/50.21	c |     58190 |  186901   509561 |  254937   57107   437525     7.7 | 16.321 % |
73.37/73.48	c |     87382 |  185975   507314 |  280431   86111  1171154    13.6 | 16.762 % |
111.96/112.01	c |    131171 |  184439   503340 |  308474  129649  1953146    15.1 | 17.450 % |
153.25/153.31	c |    196857 |  183900   501895 |  339321  195244  4100815    21.0 | 17.674 % |
161.35/161.48	c ==============================================================================
161.35/161.48	c Found solution: 45137502
161.35/161.48	o 45137502
161.45/161.56	c ---[   0]---> Adder-cost: 13711   maxlim: 24563664   bits: 26/25
165.55/165.60	c ==================================[MINISAT+]==================================
165.55/165.60	c | Conflicts | Original         | Learnt                           | Progress |
165.55/165.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
165.55/165.60	c ==============================================================================
165.55/165.60	c |    213596 |  279599   843953 |   93199  211941  4764180    22.5 | 17.674 % |
166.05/166.11	c |    213696 |  279599   843953 |  102518   37197   591382    15.9 | 14.652 % |
166.25/166.37	c |    213846 |  279583   843916 |  112770   37346   592070    15.9 | 14.660 % |
166.55/166.66	c |    214071 |  279557   843856 |  124047   37567   593093    15.8 | 14.670 % |
167.15/167.26	c |    214408 |  279557   843856 |  136452   37904   594833    15.7 | 14.670 % |
167.85/167.96	c |    214914 |  279433   843564 |  150097   38405   597317    15.6 | 14.724 % |
168.85/168.92	c |    215673 |  279332   843329 |  165107   39154   601725    15.4 | 14.768 % |
170.45/170.51	c |    216812 |  279174   842965 |  181618   40277   607573    15.1 | 14.833 % |
172.75/172.81	c |    218520 |  279079   842732 |  199780   41971   617159    14.7 | 14.867 % |
175.95/176.08	c |    221082 |  278990   842530 |  219758   44523   632551    14.2 | 14.903 % |
180.74/180.85	c |    224926 |  278636   841703 |  241734   48320   663672    13.7 | 15.049 % |
188.44/188.57	c |    230692 |  278629   841687 |  265907   54085   715840    13.2 | 15.053 % |
194.44/194.52	c |    239341 |  278591   841592 |  292498   62726  1314087    20.9 | 15.068 % |
206.44/206.50	c |    252315 |  278540   841473 |  321748   75689  1589005    21.0 | 15.089 % |
222.74/222.87	c |    271776 |  278206   840665 |  353923   95112  2127924    22.4 | 15.222 % |
241.84/241.91	c ==============================================================================
241.84/241.91	c Found solution: 43690507
241.84/241.91	o 43690507
241.84/241.99	c ---[   0]---> Adder-cost: 0   maxlim: 26010659   bits: 26/25
245.73/245.85	c ==================================[MINISAT+]==================================
245.73/245.85	c | Conflicts | Original         | Learnt                           | Progress |
245.73/245.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
245.73/245.85	c ==============================================================================
245.73/245.85	c |    294254 |  278150   840604 |   92716  117578  2633914    22.4 | 15.222 % |
246.03/246.17	c |    294355 |  278125   840546 |  101987   36038   408900    11.3 | 15.266 % |
246.34/246.41	c |    294505 |  278120   840535 |  112186   36186   409567    11.3 | 15.269 % |
246.53/246.63	c |    294730 |  278100   840489 |  123404   36409   410957    11.3 | 15.276 % |
246.93/247.10	c |    295067 |  278084   840437 |  135745   36742   412695    11.2 | 15.280 % |
247.83/247.98	c |    295573 |  278065   840387 |  149320   37245   415249    11.1 | 15.287 % |
249.03/249.13	c |    296332 |  278060   840375 |  164252   38003   419282    11.0 | 15.289 % |
250.74/250.87	c |    297471 |  277842   839864 |  180677   39122   425973    10.9 | 15.384 % |
252.94/253.06	c |    299179 |  277795   839755 |  198744   40827   436088    10.7 | 15.403 % |
256.24/256.38	c |    301741 |  277795   839755 |  218619   43389   455449    10.5 | 15.403 % |
261.23/261.39	c |    305586 |  277667   839465 |  240481   47215   491401    10.4 | 15.452 % |
266.73/266.83	c |    311352 |  277566   839227 |  264529   52971   580489    11.0 | 15.494 % |
271.63/271.74	c |    320001 |  277561   839214 |  290982   61619   848415    13.8 | 15.497 % |
286.32/286.44	c |    332975 |  277459   838970 |  320080   74577  1017068    13.6 | 15.539 % |
308.32/308.41	c |    352436 |  277384   838783 |  352088   94027  1291435    13.7 | 15.567 % |
323.81/323.95	c |    381628 |  277310   838608 |  387297  123204  2440576    19.8 | 15.594 % |
364.31/364.47	c |    425417 |  276978   837735 |  426027  166961  3245855    19.4 | 15.719 % |
462.69/462.82	c |    491102 |  276978   837735 |  468630  232646 17903604    77.0 | 15.719 % |
479.18/479.35	c ==============================================================================
479.18/479.35	c Found solution: 43362968
479.18/479.35	o 43362968
479.28/479.42	c ---[   0]---> Adder-cost: 0   maxlim: 26338198   bits: 26/25
482.99/483.14	c ==================================[MINISAT+]==================================
482.99/483.14	c | Conflicts | Original         | Learnt                           | Progress |
482.99/483.14	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
482.99/483.14	c ==============================================================================
482.99/483.14	c |    507444 |  276961   837894 |   92320  248982 18438065    74.1 | 15.719 % |
483.79/483.93	c |    507544 |  276886   837717 |  101552   42643   560568    13.1 | 15.778 % |
483.99/484.19	c |    507694 |  276875   837690 |  111707   42791   561254    13.1 | 15.783 % |
484.49/484.62	c |    507919 |  276818   837557 |  122877   43010   562339    13.1 | 15.809 % |
484.99/485.18	c |    508256 |  276698   837264 |  135165   43333   563898    13.0 | 15.856 % |
486.09/486.20	c |    508763 |  276669   837198 |  148682   43826   566358    12.9 | 15.867 % |
487.09/487.27	c |    509522 |  276632   837110 |  163550   44581   573233    12.9 | 15.884 % |
488.78/488.97	c |    510661 |  276632   837110 |  179905   45720   579436    12.7 | 15.884 % |
491.78/492.00	c |    512369 |  276632   837110 |  197896   47428   588829    12.4 | 15.884 % |
496.38/496.55	c |    514931 |  276610   837059 |  217685   49988   603609    12.1 | 15.893 % |
501.58/501.73	c |    518775 |  276604   837045 |  239454   53831   637697    11.8 | 15.897 % |
511.08/511.27	c |    524541 |  276454   836687 |  263399   59577   677036    11.4 | 15.966 % |
522.28/522.41	c |    533190 |  276409   836571 |  289739   68220   810869    11.9 | 15.984 % |
533.57/533.70	c |    546164 |  276375   836484 |  318713   81187  1014070    12.5 | 15.999 % |
549.37/549.54	c |    565625 |  276269   836233 |  350585  100611  1374775    13.7 | 16.040 % |
568.36/568.57	c |    594817 |  276153   835937 |  385643  129793  2178385    16.8 | 16.086 % |
599.05/599.28	c |    638609 |  276103   835821 |  424207  173579  3808398    21.9 | 16.107 % |
630.75/630.94	c ==============================================================================
630.75/630.94	c Found solution: 39845043
630.75/630.94	o 39845043
630.85/631.01	c ---[   0]---> Adder-cost: 0   maxlim: 29856123   bits: 26/25
634.46/634.63	c ==================================[MINISAT+]==================================
634.46/634.63	c | Conflicts | Original         | Learnt                           | Progress |
634.46/634.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
634.46/634.63	c ==============================================================================
634.46/634.63	c |    684411 |  276122   836041 |   92040  219381  7998122    36.5 | 16.107 % |
635.15/635.34	c |    684512 |  276122   836041 |  101244   40519  1449725    35.8 | 16.119 % |
635.35/635.52	c |    684662 |  276122   836041 |  111368   40669  1450568    35.7 | 16.119 % |
635.75/635.92	c |    684887 |  276122   836041 |  122505   40894  1452159    35.5 | 16.119 % |
636.15/636.36	c |    685224 |  276122   836041 |  134755   41231  1454395    35.3 | 16.119 % |
636.66/636.85	c |    685730 |  276122   836041 |  148231   41737  1458684    34.9 | 16.119 % |
637.55/637.76	c |    686490 |  276122   836041 |  163054   42497  1463977    34.4 | 16.119 % |
638.65/638.89	c |    687629 |  276122   836041 |  179359   43636  1472298    33.7 | 16.119 % |
640.45/640.65	c |    689337 |  276108   836008 |  197295   45341  1490076    32.9 | 16.126 % |
643.15/643.30	c |    691899 |  276108   836008 |  217025   47903  1510743    31.5 | 16.126 % |
647.65/647.80	c |    695743 |  276038   835847 |  238728   51739  1545012    29.9 | 16.157 % |
654.55/654.74	c |    701510 |  276032   835833 |  262600   57505  1688821    29.4 | 16.160 % |
666.04/666.24	c |    710159 |  275987   835728 |  288860   66140  1763390    26.7 | 16.180 % |
681.64/681.84	c |    723133 |  275810   835317 |  317747   79087  1923257    24.3 | 16.254 % |
708.83/709.09	c |    742594 |  275804   835297 |  349521   98547  2125353    21.6 | 16.255 % |
734.42/734.64	c |    771788 |  275764   835202 |  384473  127732  2656671    20.8 | 16.273 % |
760.83/761.02	c |    815577 |  275705   835064 |  422921  171515  4422002    25.8 | 16.299 % |
837.10/837.38	c |    881263 |  275682   835000 |  465213  237199 10779451    45.4 | 16.308 % |
868.51/868.78	c ==============================================================================
868.51/868.78	c Found solution: 31281088
868.51/868.78	o 31281088
868.60/868.85	c ---[   0]---> Adder-cost: 2   maxlim: 38420078   bits: 27/26
872.30/872.51	c ==================================[MINISAT+]==================================
872.30/872.51	c | Conflicts | Original         | Learnt                           | Progress |
872.30/872.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
872.30/872.51	c ==============================================================================
872.30/872.51	c |    938617 |  275711   835301 |   91903  294553 14218339    48.3 | 16.308 % |
873.50/873.74	c |    938717 |  275711   835301 |  101093   38568  1290324    33.5 | 16.322 % |
873.70/873.96	c |    938867 |  275711   835301 |  111202   38718  1290950    33.3 | 16.322 % |
874.21/874.43	c |    939092 |  275707   835292 |  122322   38942  1291948    33.2 | 16.325 % |
875.00/875.26	c |    939429 |  275701   835278 |  134555   39278  1293435    32.9 | 16.327 % |
875.90/876.10	c |    939935 |  275673   835213 |  148010   39779  1296059    32.6 | 16.340 % |
877.20/877.48	c |    940694 |  275673   835213 |  162811   40538  1300039    32.1 | 16.340 % |
879.30/879.54	c |    941834 |  275673   835213 |  179092   41678  1306671    31.4 | 16.340 % |
882.60/882.88	c |    943542 |  275673   835213 |  197002   43386  1315967    30.3 | 16.340 % |
887.50/887.75	c |    946104 |  275632   835120 |  216702   45939  1330813    29.0 | 16.356 % |
894.30/894.58	c |    949948 |  275598   835043 |  238372   49780  1355114    27.2 | 16.368 % |
902.19/902.43	c |    955714 |  275550   834934 |  262209   55538  1399777    25.2 | 16.386 % |
916.59/916.89	c |    964363 |  275512   834846 |  288430   64179  1466601    22.9 | 16.402 % |
928.79/929.08	c |    977337 |  275512   834846 |  317274   77153  1780317    23.1 | 16.402 % |
946.89/947.17	c |    996798 |  275411   834609 |  349001   96596  2243280    23.2 | 16.445 % |
961.78/962.05	c |   1025990 |  275411   834609 |  383901  125788  3983881    31.7 | 16.445 % |
974.57/974.89	c ==============================================================================
974.57/974.89	c Found solution: 28008990
974.57/974.89	o 28008990
974.67/974.95	c ---[   0]---> Adder-cost: 0   maxlim: 41692176   bits: 27/26
978.27/978.50	c ==================================[MINISAT+]==================================
978.27/978.50	c | Conflicts | Original         | Learnt                           | Progress |
978.27/978.50	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
978.27/978.50	c ==============================================================================
978.27/978.50	c |   1040386 |  275402   834702 |   91800  140182  4320128    30.8 | 16.445 % |
978.68/978.95	c |   1040486 |  275402   834702 |  100980   42680   355842     8.3 | 16.462 % |
978.97/979.20	c |   1040636 |  275402   834702 |  111078   42830   356586     8.3 | 16.462 % |
979.47/979.75	c |   1040861 |  275379   834648 |  122185   43054   357498     8.3 | 16.473 % |
980.27/980.55	c |   1041198 |  275361   834606 |  134404   43387   359095     8.3 | 16.483 % |
981.17/981.43	c |   1041704 |  275357   834597 |  147844   43892   361780     8.2 | 16.484 % |
982.27/982.59	c |   1042463 |  275349   834578 |  162629   44649   366361     8.2 | 16.488 % |
984.28/984.51	c |   1043602 |  275319   834510 |  178892   45782   372738     8.1 | 16.500 % |
987.68/987.98	c |   1045310 |  275319   834510 |  196781   47490   382162     8.0 | 16.500 % |
990.98/991.23	c |   1047872 |  275319   834510 |  216459   50052   406220     8.1 | 16.500 % |
996.68/996.94	c |   1051717 |  275261   834376 |  238105   53889   460973     8.6 | 16.523 % |
1003.67/1003.95	c |   1057484 |  275243   834334 |  261916   59653   523199     8.8 | 16.532 % |
1013.17/1013.49	c |   1066133 |  275243   834334 |  288107   68302   641130     9.4 | 16.532 % |
1026.27/1026.54	c |   1079107 |  275234   834313 |  316918   81274   843255    10.4 | 16.537 % |
1044.32/1044.68	c |   1098569 |  275206   834222 |  348610  100729  1112822    11.0 | 16.544 % |
1061.48/1061.85	c |   1127761 |  275206   834222 |  383471  129921  2966468    22.8 | 16.544 % |
1092.88/1093.33	c |   1171554 |  275196   834199 |  421818  173711  4994943    28.8 | 16.549 % |
1160.43/1161.00	c |   1237238 |  275169   834126 |  464000  239389  9931065    41.5 | 16.557 % |
1248.31/1248.85	c |   1335764 |  275150   834072 |  510400  337906 16505082    48.8 | 16.562 % |
1406.47/1407.10	c |   1483553 |  275144   834058 |  561440  485693 26273813    54.1 | 16.565 % |
1422.46/1423.07	c ==============================================================================
1422.46/1423.07	c Found solution: 24052299
1422.46/1423.07	o 24052299
1422.56/1423.15	c ---[   0]---> Adder-cost: 0   maxlim: 45648867   bits: 27/26
1426.46/1427.03	c ==================================[MINISAT+]==================================
1426.46/1427.03	c | Conflicts | Original         | Learnt                           | Progress |
1426.46/1427.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1426.46/1427.03	c ==============================================================================
1426.46/1427.03	c |   1500353 |  275163   834261 |   91721  502493 27297285    54.3 | 16.565 % |
1428.16/1428.72	c |   1500453 |  275157   834247 |  100893   42723  1001355    23.4 | 16.579 % |
1428.36/1428.95	c |   1500603 |  275157   834247 |  110982   42873  1002063    23.4 | 16.579 % |
1428.66/1429.29	c |   1500828 |  275157   834247 |  122080   43098  1003217    23.3 | 16.579 % |
1429.36/1429.91	c |   1501165 |  275157   834247 |  134288   43435  1004763    23.1 | 16.579 % |
1430.16/1430.74	c |   1501671 |  275157   834247 |  147717   43941  1007202    22.9 | 16.579 % |
1431.26/1431.85	c |   1502431 |  275147   834224 |  162489   44700  1011013    22.6 | 16.584 % |
1433.06/1433.65	c |   1503570 |  275141   834210 |  178738   45838  1017192    22.2 | 16.588 % |
1435.76/1436.39	c |   1505278 |  275108   834132 |  196612   47540  1027184    21.6 | 16.602 % |
1438.76/1439.32	c |   1507840 |  275108   834132 |  216273   50102  1048975    20.9 | 16.602 % |
1443.56/1444.19	c |   1511684 |  275108   834132 |  237900   53946  1077604    20.0 | 16.602 % |
1452.05/1452.68	c |   1517450 |  275108   834132 |  261690   59712  1122952    18.8 | 16.602 % |
1462.56/1463.15	c |   1526099 |  275082   834071 |  287859   68357  1207261    17.7 | 16.613 % |
1477.26/1477.81	c |   1539073 |  275058   833989 |  316645   81326  1356462    16.7 | 16.618 % |
1500.15/1500.74	c |   1558534 |  275016   833890 |  348310  100777  1780028    17.7 | 16.637 % |
1529.84/1530.40	c |   1587726 |  275016   833890 |  383141  129969  2819901    21.7 | 16.637 % |
1558.93/1559.52	c |   1631516 |  275009   833870 |  421455  173758  4966864    28.6 | 16.639 % |
1616.03/1616.65	c |   1697202 |  275009   833870 |  463601  239444  9508658    39.7 | 16.639 % |
1722.10/1722.75	c |   1795729 |  275000   833850 |  509961  337969 16375833    48.5 | 16.643 % |
1800.09/1800.71	c 
1800.09/1800.71	c *** TERMINATED ***
1800.09/1800.71	s SATISFIABLE
1800.09/1800.71	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.71	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.09/1800.71	v -x55 -x56 -x57 -x58 -x59 -x60 x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 x3370 x3371 -x3372 x3373 -x3374
1800.09/1800.71	v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x5491
1800.09/1800.71	v x5492 x5493 x5494 x5495 x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509
1800.09/1800.71	v -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5821 x5822 x5823 -x5824 -x5825 x5826 -x5827
1800.09/1800.71	v x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844
1800.09/1800.71	v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x6151 x6152 x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162
1800.09/1800.71	v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179
1800.09/1800.71	v -x6180 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496
1800.09/1800.71	v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6811 -x6812 -x6813
1800.09/1800.71	v -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830
1800.09/1800.71	v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 x7141 x7142 x7143 -x7144 -x7145 -x7146 -x7147 x7148
1800.09/1800.71	v -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165
1800.09/1800.71	v -x7166 -x7167 -x7168 -x7169 -x7170 x7471 x7472 x7473 -x7474 -x7475 x7476 -x7477 x7478 -x7479 -x7480 -x7481 -x7482 -x7483
1800.09/1800.71	v -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500
1800.09/1800.71	v x61 x62 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
1800.09/1800.71	v -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
1800.09/1800.71	v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x721 x722 x723 x724 x725 x726 -x727 -x728 x729 x730
1800.09/1800.71	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051
1800.09/1800.71	v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068
1800.09/1800.71	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1381 x1382 x1383 x1384 x1385 x1386
1800.09/1800.71	v -x1387 -x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404
1800.09/1800.71	v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1800.09/1800.71	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738
1800.09/1800.71	v -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
1800.09/1800.71	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2371 x2372 -x2373
1800.09/1800.71	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
1800.09/1800.71	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2701 x2702 x2703 x2704 x2705 x2706 -x2707 -x2708
1800.09/1800.71	v -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
1800.09/1800.71	v -x2726 -x2727 -x2728 -x2729 -x2730 x3031 x3032 x3033 x3034 x3035 -x3036 x3037 -x3038 x3039 -x3040 -x3041 x3042 -x3043 -x3044
1800.09/1800.71	v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3391
1800.09/1800.71	v x3392 x3393 -x3394 x3395 x3396 -x3397 -x3398 x3399 x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409
1800.09/1800.71	v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726
1800.09/1800.71	v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743
1800.09/1800.71	v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x4051 x4052 -x4053 -x4054 x4055 x4056 -x4057 -x4058 -x4059 -x4060 -x4061
1800.09/1800.71	v -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078
1800.09/1800.71	v -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395
1800.09/1800.71	v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4711 x4712 x4713
1800.09/1800.71	v -x4714 -x4715 -x4716 x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731
1800.09/1800.71	v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x5041 x5042 x5043 -x5044 -x5045 x5046 x5047 -x5048 x5049
1800.09/1800.71	v -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066
1800.09/1800.71	v -x5067 -x5068 -x5069 -x5070 -x5371 x5372 -x5373 x5374 -x5375 x5376 -x5377 -x5378 x5379 x5380 -x5381 -x5382 -x5383 -x5384
1800.09/1800.71	v x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401
1800.09/1800.71	v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418
1800.09/1800.71	v -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 x5433 x5434 x5435 x5436
1800.09/1800.71	v -x5437 x5438 x5439 x5440 x5441 x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454
1800.09/1800.71	v -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 x5463 x5464 x5465 x5466 x5467 x5468 -x5469 x5470 -x5471 -x5472 -x5473
1800.09/1800.71	v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490
1800.09/1800.71	v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537
1800.09/1800.71	v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 x5552 x5553 -x5554 -x5555
1800.09/1800.71	v x5556 x5557 -x5558 x5559 x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573
1800.09/1800.71	v -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590
1800.09/1800.71	v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607
1800.09/1800.71	v -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624
1800.09/1800.71	v -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641
1800.09/1800.71	v -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658
1800.09/1800.71	v -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675
1800.09/1800.71	v -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692
1800.09/1800.71	v -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709
1800.09/1800.71	v -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726
1800.09/1800.71	v -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743
1800.09/1800.71	v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760
1800.09/1800.71	v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777
1800.09/1800.71	v -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794
1800.09/1800.71	v -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811
1800.09/1800.71	v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858
1800.09/1800.71	v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875
1800.09/1800.71	v -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892
1800.09/1800.71	v -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909
1800.09/1800.71	v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926
1800.09/1800.71	v -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 x5942 x5943 -x5944
1800.09/1800.71	v -x5945 x5946 -x5947 x5948 x5949 x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962
1800.09/1800.71	v -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 x5972 x5973 x5974 x5975 -x5976 x5977 -x5978 -x5979 x5980
1800.09/1800.71	v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997
1800.09/1800.71	v -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014
1800.09/1800.71	v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031
1800.09/1800.71	v -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048
1800.09/1800.71	v -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065
1800.09/1800.71	v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082
1800.09/1800.71	v -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 x6097 -x6098 -x6099
1800.09/1800.71	v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116
1800.09/1800.71	v -x6117 -x6118 -x6119 -x6120 -x6121 x6122 x6123 x6124 -x6125 x6126 x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134
1800.09/1800.71	v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6181
1800.09/1800.71	v -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198
1800.09/1800.71	v -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215
1800.09/1800.71	v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232
1800.09/1800.71	v -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 -x6242 -x6243 x6244 x6245 -x6246 -x6247 x6248 x6249 -x6250
1800.09/1800.71	v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267
1800.09/1800.71	v -x6268 -x6269 -x6270 x6271 -x6272 -x6273 x6274 -x6275 -x6276 x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285
1800.09/1800.71	v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 x6302 -x6303
1800.09/1800.71	v -x6304 x6305 x6306 x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321
1800.09/1800.71	v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 x6332 x6333 x6334 x6335 x6336 x6337 x6338 x6339 -x6340
1800.09/1800.71	v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357
1800.09/1800.71	v -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374
1800.09/1800.71	v -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391
1800.09/1800.71	v x6392 x6393 -x6394 -x6395 x6396 x6397 x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409
1800.09/1800.71	v -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 x6422 x6423 -x6424 -x6425 x6426 x6427
1800.09/1800.71	v x6428 x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445
1800.09/1800.71	v -x6446 -x6447 -x6448 -x6449 -x6450 x6451 x6452 x6453 x6454 x6455 x6456 x6457 x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464
1800.09/1800.71	v -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6511
1800.09/1800.71	v -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528
1800.09/1800.71	v -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545
1800.09/1800.71	v -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562
1800.09/1800.71	v -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579
1800.09/1800.71	v -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596
1800.09/1800.71	v -x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614
1800.09/1800.71	v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631
1800.09/1800.71	v x6632 x6633 -x6634 -x6635 x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649
1800.09/1800.71	v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 x6662 x6663 -x6664 -x6665 x6666 x6667
1800.09/1800.71	v -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684
1800.09/1800.71	v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701
1800.09/1800.71	v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718
1800.09/1800.71	v -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735
1800.09/1800.71	v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752
1800.09/1800.71	v -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 x6764 -x6765 -x6766 -x6767 -x6768 -x6769
1800.09/1800.71	v -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786
1800.09/1800.71	v -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803
1800.09/1800.71	v -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6841 -x6842 -x6843 -x6844 -x6845 x6846 -x6847 -x6848 -x6849 -x6850
1800.09/1800.71	v -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867
1800.09/1800.71	v -x6868 -x6869 -x6870 x6871 x6872 x6873 -x6874 x6875 -x6876 x6877 x6878 x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885
1800.09/1800.71	v -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 x6902
1800.09/1800.71	v x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920
1800.09/1800.71	v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937
1800.09/1800.71	v -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954
1800.09/1800.71	v -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 x6961 x6962 x6963 -x6964 x6965 x6966 x6967 -x6968 -x6969 x6970 -x6971 -x6972
1800.09/1800.71	v -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989
1800.09/1800.71	v -x6990 x6991 x6992 x6993 x6994 x6995 x6996 x6997 -x6998 -x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008
1800.09/1800.71	v -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025
1800.09/1800.71	v x7026 -x7027 x7028 x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043
1800.09/1800.71	v -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 x7055 -x7056 -x7057 -x7058 -x7059 -x7060
1800.09/1800.71	v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077
1800.09/1800.71	v -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094
1800.09/1800.71	v -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111
1800.09/1800.71	v -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128
1800.09/1800.71	v -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7171 -x7172 -x7173 -x7174 -x7175
1800.09/1800.71	v -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192
1800.09/1800.71	v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 x7202 x7203 x7204 x7205 x7206 -x7207 x7208 -x7209 -x7210
1800.09/1800.71	v x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228
1800.09/1800.71	v -x7229 -x7230 -x7231 -x7232 x7233 -x7234 -x7235 -x7236 -x7237 x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246
1800.09/1800.71	v -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 x7262 x7263 -x7264
1800.09/1800.71	v x7265 x7266 -x7267 x7268 x7269 x7270 x7271 x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282
1800.09/1800.71	v -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 x7292 x7293 x7294 -x7295 -x7296 -x7297 x7298 -x7299 -x7300
1800.09/1800.71	v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317
1800.09/1800.71	v -x7318 -x7319 -x7320 x7321 x7322 x7323 x7324 -x7325 x7326 x7327 -x7328 x7329 x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336
1800.09/1800.71	v -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353
1800.09/1800.71	v -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370
1800.09/1800.71	v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 x7384 x7385 x7386 x7387 x7388
1800.09/1800.71	v x7389 -x7390 x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406
1800.09/1800.71	v -x7407 -x7408 -x7409 -x7410 x7411 x7412 x7413 x7414 -x7415 -x7416 x7417 x7418 -x7419 x7420 -x7421 -x7422 x7423 x7424 -x7425
1800.09/1800.71	v -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442
1800.09/1800.71	v -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459
1800.09/1800.71	v -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506
1800.09/1800.71	v -x7507 -x7508 -x7509 x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523
1800.09/1800.71	v -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540
1800.09/1800.71	v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557
1800.09/1800.71	v -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574
1800.09/1800.71	v -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 x7591
1800.09/1800.71	v -x7592 x7593 x7594 x7595 x7596 x7597 x7598 x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610
1800.09/1800.71	v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627
1800.09/1800.71	v -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644
1800.09/1800.71	v -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661
1800.09/1800.71	v -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678
1800.09/1800.71	v -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695
1800.09/1800.71	v -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712
1800.09/1800.71	v -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729
1800.09/1800.71	v -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 x7741 x7742 x7743 x7744 x7745 x7746 -x7747
1800.09/1800.71	v -x7748 -x7749 x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764
1800.09/1800.71	v -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781
1800.09/1800.71	v -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798
1800.09/1800.71	v -x7799 -x7800 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1800.09/1800.71	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
1800.09/1800.71	v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152
1800.09/1800.71	v x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173
1800.09/1800.71	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
1800.09/1800.71	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.09/1800.71	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1800.09/1800.71	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.09/1800.71	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.09/1800.71	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.09/1800.71	v -x300 x301 -x302 x303 x304 x305 x306 -x307 -x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1800.09/1800.71	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 x336 -x337 -x338 x339 -x340 -x341 -x342 -x343
1800.09/1800.71	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 x364
1800.09/1800.71	v x365 x366 x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385
1800.09/1800.71	v -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436
1800.09/1800.71	v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
1800.09/1800.71	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
1800.09/1800.71	v -x479 -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.09/1800.71	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.09/1800.71	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.09/1800.71	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.09/1800.71	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.09/1800.71	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.09/1800.71	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.09/1800.71	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.09/1800.71	v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.09/1800.71	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.09/1800.71	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1800.09/1800.71	v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
1800.09/1800.71	v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783
1800.09/1800.71	v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804
1800.09/1800.71	v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 x817 x818 -x819 x820 -x821 -x822 -x823 -x824 x825 -x826
1800.09/1800.71	v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847
1800.09/1800.71	v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868
1800.09/1800.71	v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889
1800.09/1800.71	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
1800.09/1800.71	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931
1800.09/1800.71	v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
1800.09/1800.71	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 x964 x965 x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974
1800.09/1800.71	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1800.09/1800.71	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1800.09/1800.71	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1800.09/1800.71	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.09/1800.71	v -x1048 -x1049 -x1050 x1081 x1082 -x1083 x1084 x1085 x1086 x1087 -x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096
1800.09/1800.71	v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113
1800.09/1800.71	v x1114 x1115 x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131
1800.09/1800.71	v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
1800.09/1800.71	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
1800.09/1800.71	v -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 x1174 x1175 x1176 -x1177 -x1178 x1179 x1180 -x1181 -x1182 -x1183 -x1184
1800.09/1800.71	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201
1800.09/1800.71	v x1202 -x1203 x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1800.09/1800.71	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237
1800.09/1800.71	v -x1238 x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
1800.09/1800.71	v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 x1264 -x1265 x1266 x1267 x1268 x1269 x1270 x1271 -x1272 -x1273 -x1274
1800.09/1800.71	v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
1800.09/1800.71	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
1800.09/1800.71	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
1800.09/1800.71	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342
1800.09/1800.71	v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359
1800.09/1800.71	v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376
1800.09/1800.71	v -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
1800.09/1800.71	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1800.09/1800.71	v -x1441 -x1442 x1443 -x1444 -x1445 -x1446 x1447 -x1448 x1449 x1450 -x1451 x1452 -x1453 x1454 x1455 -x1456 -x1457 -x1458
1800.09/1800.71	v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 -x1473 x1474 -x1475 -x1476
1800.09/1800.71	v -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493
1800.09/1800.71	v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 x1504 x1505 -x1506 -x1507 x1508 -x1509 x1510 -x1511
1800.09/1800.71	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528
1800.09/1800.71	v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545
1800.09/1800.71	v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562
1800.09/1800.71	v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579
1800.09/1800.71	v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596
1800.09/1800.71	v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613
1800.09/1800.71	v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 x1623 -x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631
1800.09/1800.71	v -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648
1800.09/1800.71	v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
1800.09/1800.71	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 x1683
1800.09/1800.71	v x1684 x1685 -x1686 x1687 x1688 x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701
1800.09/1800.71	v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1741 x1742 -x1743 x1744 x1745 -x1746 -x1747 x1748 -x1749
1800.09/1800.71	v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
1800.09/1800.71	v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783
1800.09/1800.71	v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
1800.09/1800.71	v -x1801 -x1802 x1803 -x1804 x1805 x1806 x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818
1800.09/1800.71	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 x1834 x1835 x1836
1800.09/1800.71	v x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
1800.09/1800.71	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871
1800.09/1800.71	v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888
1800.09/1800.71	v -x1889 -x1890 -x1891 x1892 x1893 -x1894 x1895 x1896 x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1800.09/1800.71	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924
1800.09/1800.71	v x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.09/1800.71	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1800.09/1800.71	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.09/1800.71	v -x1977 -x1978 -x1979 -x1980 x1981 x1982 x1983 -x1984 -x1985 -x1986 x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1800.09/1800.71	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011
1800.09/1800.71	v x2012 x2013 x2014 x2015 x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1800.09/1800.71	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
1800.09/1800.71	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
1800.09/1800.71	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 x2104 -x2105 x2106 x2107 x2108 -x2109 -x2110 -x2111
1800.09/1800.71	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1800.09/1800.71	v -x2129 -x2130 -x2131 x2132 x2133 x2134 -x2135 -x2136 x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146
1800.09/1800.71	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 x2163 -x2164
1800.09/1800.71	v x2165 -x2166 x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182
1800.09/1800.71	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1800.09/1800.71	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216
1800.09/1800.71	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233
1800.09/1800.71	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1800.09/1800.71	v -x2251 x2252 -x2253 x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1800.09/1800.71	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
1800.09/1800.71	v -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302
1800.09/1800.71	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319
1800.09/1800.71	v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1800.09/1800.71	v -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354
1800.09/1800.71	v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401
1800.09/1800.71	v -x2402 -x2403 x2404 -x2405 -x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419
1800.09/1800.71	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
1800.09/1800.71	v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453
1800.09/1800.71	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1800.09/1800.71	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1800.09/1800.71	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.09/1800.71	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521
1800.09/1800.71	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
1800.09/1800.71	v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 -x2555 -x2556
1800.09/1800.71	v x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574
1800.09/1800.71	v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592
1800.09/1800.71	v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.09/1800.71	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626
1800.09/1800.71	v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643
1800.09/1800.71	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1800.09/1800.71	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 x2673 -x2674 -x2675 -x2676 x2677 -x2678
1800.09/1800.71	v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
1800.09/1800.71	v -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1800.09/1800.71	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759
1800.09/1800.71	v -x2760 x2761 -x2762 x2763 x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777
1800.09/1800.71	v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 -x2793 -x2794 -x2795
1800.09/1800.71	v x2796 -x2797 -x2798 x2799 x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813
1800.09/1800.71	v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
1800.09/1800.71	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847
1800.09/1800.71	v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864
1800.09/1800.71	v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881
1800.09/1800.71	v -x2882 x2883 x2884 x2885 x2886 x2887 x2888 -x2889 x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
1800.09/1800.71	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918
1800.09/1800.71	v -x2919 -x2920 -x2921 x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936
1800.09/1800.71	v -x2937 -x2938 -x2939 -x2940 x2941 -x2942 x2943 x2944 -x2945 -x2946 -x2947 x2948 -x2949 x2950 x2951 x2952 -x2953 -x2954
1800.09/1800.71	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971
1800.09/1800.71	v x2972 -x2973 -x2974 -x2975 x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989
1800.09/1800.71	v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 x3002 -x3003 -x3004 x3005 x3006 x3007
1800.09/1800.71	v x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025
1800.09/1800.71	v -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072
1800.09/1800.71	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089
1800.09/1800.71	v -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106
1800.09/1800.71	v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123
1800.09/1800.71	v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
1800.09/1800.71	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157
1800.09/1800.71	v -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175
1800.09/1800.71	v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193
1800.09/1800.71	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
1800.09/1800.71	v x3211 -x3212 -x3213 x3214 x3215 -x3216 x3217 x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228
1800.09/1800.71	v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 x3241 -x3242 -x3243 -x3244 -x3245
1800.09/1800.71	v x3246 x3247 x3248 x3249 -x3250 x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263
1800.09/1800.71	v -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
1800.09/1800.71	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297
1800.09/1800.71	v -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314
1800.09/1800.71	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331
1800.09/1800.71	v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348
1800.09/1800.71	v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3421 -x3422 -x3423 -x3424 -x3425
1800.09/1800.71	v x3426 x3427 x3428 x3429 x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443
1800.09/1800.71	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 x3452 -x3453 x3454 x3455 -x3456 x3457 x3458 x3459 x3460 x3461 -x3462
1800.09/1800.71	v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479
1800.09/1800.71	v -x3480 x3481 -x3482 -x3483 x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497
1800.09/1800.71	v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514
1800.09/1800.71	v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531
1800.09/1800.71	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 x3546 x3547 -x3548 -x3549
1800.09/1800.71	v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566
1800.09/1800.71	v -x3567 -x3568 -x3569 -x3570 x3571 x3572 -x3573 -x3574 -x3575 x3576 x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584
1800.09/1800.71	v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601
1800.09/1800.71	v -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618
1800.09/1800.71	v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635
1800.09/1800.71	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652
1800.09/1800.71	v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669
1800.09/1800.71	v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
1800.09/1800.71	v -x3687 -x3688 -x3689 -x3690 x3691 -x3692 x3693 x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704
1800.09/1800.71	v -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751
1800.09/1800.71	v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768
1800.09/1800.71	v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 x3784 -x3785
1800.09/1800.71	v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802
1800.09/1800.71	v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
1800.09/1800.71	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836
1800.09/1800.71	v -x3837 -x3838 -x3839 -x3840 x3841 -x3842 x3843 x3844 x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854
1800.09/1800.71	v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871
1800.09/1800.71	v -x3872 x3873 x3874 -x3875 x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889
1800.09/1800.71	v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
1800.09/1800.71	v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923
1800.09/1800.71	v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 x3932 x3933 x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941
1800.09/1800.71	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958
1800.09/1800.71	v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975
1800.09/1800.71	v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992
1800.09/1800.71	v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009
1800.09/1800.71	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 x4022 -x4023 x4024 -x4025 -x4026 -x4027
1800.09/1800.71	v -x4028 -x4029 x4030 -x4031 -x4032 -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045
1800.09/1800.71	v -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092
1800.09/1800.71	v -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109
1800.09/1800.71	v -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126
1800.09/1800.71	v -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143
1800.09/1800.71	v x4144 x4145 -x4146 -x4147 x4148 x4149 x4150 -x4151 x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161
1800.09/1800.71	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179
1800.09/1800.71	v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196
1800.09/1800.71	v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213
1800.09/1800.71	v -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
1800.09/1800.71	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247
1800.09/1800.71	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 -x4264
1800.09/1800.71	v x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282
1800.09/1800.71	v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299
1800.09/1800.71	v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316
1800.09/1800.71	v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 x4332 -x4333 -x4334
1800.09/1800.71	v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351
1800.09/1800.71	v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368
1800.09/1800.71	v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 x4411 -x4412 x4413 x4414 x4415 x4416
1800.09/1800.71	v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433
1800.09/1800.71	v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 x4442 x4443 -x4444 x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451
1800.09/1800.71	v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468
1800.09/1800.71	v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485
1800.09/1800.71	v -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502
1800.09/1800.71	v -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519
1800.09/1800.71	v -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536
1800.09/1800.71	v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553
1800.09/1800.71	v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 x4567 x4568 x4569 -x4570 x4571
1800.09/1800.71	v x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589
1800.09/1800.71	v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606
1800.09/1800.71	v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623
1800.09/1800.71	v x4624 -x4625 -x4626 -x4627 -x4628 x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641
1800.09/1800.71	v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658
1800.09/1800.71	v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675
1800.09/1800.71	v -x4676 -x4677 -x4678 -x4679 -x4680 x4681 x4682 x4683 x4684 x4685 -x4686 x4687 -x4688 -x4689 x4690 x4691 x4692 x4693 -x4694
1800.09/1800.71	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741
1800.09/1800.71	v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758
1800.09/1800.71	v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775
1800.09/1800.71	v -x4776 x4777 x4778 x4779 x4780 x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793
1800.09/1800.71	v -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 x4802 -x4803 x4804 -x4805 -x4806 x4807 -x4808 x4809 -x4810 -x4811
1800.09/1800.71	v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828
1800.09/1800.71	v -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 x4836 x4837 -x4838 x4839 -x4840 x4841 -x4842 x4843 -x4844 -x4845 -x4846
1800.09/1800.71	v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863
1800.09/1800.71	v -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880
1800.09/1800.71	v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897
1800.09/1800.71	v -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914
1800.09/1800.71	v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931
1800.09/1800.71	v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948
1800.09/1800.71	v -x4949 -x4950 x4951 x4952 -x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966
1800.09/1800.71	v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983
1800.09/1800.71	v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
1800.09/1800.71	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 x5015 x5016 x5017 x5018
1800.09/1800.71	v x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1800.09/1800.71	v -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082
1800.09/1800.71	v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099
1800.09/1800.71	v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116
1800.09/1800.71	v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133
1800.09/1800.71	v -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150
1800.09/1800.71	v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 x5168
1800.09/1800.71	v x5169 x5170 x5171 x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186
1800.09/1800.71	v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203
1800.09/1800.71	v -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220
1800.09/1800.71	v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237
1800.09/1800.71	v -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 x5252 -x5253 -x5254 -x5255
1800.09/1800.71	v -x5256 -x5257 -x5258 -x5259 x5260 x5261 x5262 x5263 -x5264 x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273
1800.09/1800.71	v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 -x5284 x5285 x5286 x5287 -x5288 -x5289 -x5290 -x5291
1800.09/1800.71	v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
1800.09/1800.71	v -x5309 -x5310 -x5311 x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 x5321 -x5322 x5323 -x5324 -x5325 -x5326
1800.09/1800.71	v -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 x5342 -x5343 -x5344
1800.09/1800.71	v -x5345 -x5346 -x5347 -x5348 x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362
1800.09/1800.71	v -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x7801 -x7802 x7913 x7984 x7995 x8006 -x8017 -x8028 x8039 x8050
1800.09/1800.71	v x7803 -x7814 x7825 -x7836 x7847 -x7858 x7869 x7880 x7891 x7902 x7914 -x7925 x7936 -x7947 x7958 x7969 x7980 -x7981 x7982
1800.09/1800.71	v x7983 -x7985 x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7996 -x7997 -x7998 x7999 x8000 -x8001 -x8002
1800.09/1800.71	v -x8003 x8004 x8005 -x8007 -x8008 x8009 x8010 x8011 x8012 -x8013 x8014 x8015 x8016 -x8018 -x8019 -x8020 x8021 x8022 x8023
1800.09/1800.71	v -x8024 -x8025 x8026 -x8027 x8029 x8030 x8031 -x8032 x8033 x8034 x8035 x8036 -x8037 -x8038 -x8040 x8041 x8042 x8043 x8044
1800.09/1800.71	v x8045 -x8046 x8047 x8048 -x8049 x8051 -x8052 -x8053 x8054 -x8055 -x8056 -x8057 -x8058 x8059 x8060 -x7804 -x7805 x7806 -x7807
1800.09/1800.71	v -x7808 -x7809 -x7810 x7811 x7812 x7813 -x7815 -x7816 x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7826 -x7827
1800.09/1800.71	v x7828 -x7829 -x7830 -x7831 -x7832 x7833 -x7834 x7835 x7837 x7838 -x7839 x7840 x7841 x7842 x7843 -x7844 -x7845 -x7846 -x7848
1800.09/1800.71	v x7849 x7850 x7851 -x7852 -x7853 -x7854 x7855 -x7856 x7857 x7859 -x7860 x7861 x7862 -x7863 x7864 x7865 -x7866 x7867 x7868
1800.09/1800.71	v -x7870 x7871 x7872 x7873 -x7874 -x7875 x7876 x7877 -x7878 x7879 x7881 -x7882 -x7883 -x7884 -x7885 x7886 x7887 x7888 -x7889
1800.09/1800.71	v x7890 -x7892 x7893 x7894 -x7895 -x7896 x7897 x7898 x7899 x7900 x7901 -x7903 -x7904 -x7905 x7906 x7907 x7908 x7909 -x7910
1800.09/1800.71	v x7911 -x7912 x7915 x7916 x7917 x7918 x7919 x7920 x7921 -x7922 -x7923 x7924 -x7926 x7927 -x7928 x7929 x7930 -x7931 x7932
1800.09/1800.71	v -x7933 -x7934 x7935 x7937 x7938 x7939 x7940 -x7941 -x7942 x7943 -x7944 x7945 -x7946 x7948 x7949 -x7950 x7951 -x7952 x7953
1800.09/1800.71	v -x7954 x7955 -x7956 x7957 -x7959 x7960 x7961 x7962 -x7963 -x7964 x7965 x7966 -x7967 x7968 -x7970 -x7971 -x7972 x7973 -x7974
1800.09/1800.71	v -x7975 x7976 x7977 x7978 x7979

Verifier Data (download as text)

OK	24052299

Conversion Script Data (download as text)

/tmp/evaluation/353897-1176687829/instance-353897-1176687829.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/node30/watcher-353897-1176687829 -o ROOT/results/node30/solver-353897-1176687829 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353897-1176687829/minisat+ /tmp/evaluation/353897-1176687829/instance-353897-1176687829.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: 1.02 1.17 1.17 3/77 32296
/proc/meminfo: memFree=1912392/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=1180 CPUtime=0
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 116698615 1208320 129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 295 129 67 215 0 77 0

[startup+0.0269291 s]
/proc/loadavg: 1.02 1.17 1.17 3/77 32296
/proc/meminfo: memFree=1912392/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=2276 CPUtime=0.02
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 385 0 0 0 2 0 0 0 18 0 1 0 116698615 2330624 370 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 569 370 67 215 0 351 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2276

[startup+0.101932 s]
/proc/loadavg: 1.02 1.17 1.17 3/77 32296
/proc/meminfo: memFree=1912392/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=2676 CPUtime=0.09
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 508 0 0 0 9 0 0 0 18 0 1 0 116698615 2740224 493 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134623777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 669 493 75 215 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2676

[startup+0.301945 s]
/proc/loadavg: 1.02 1.17 1.17 3/77 32296
/proc/meminfo: memFree=1912392/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=3344 CPUtime=0.29
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 670 0 0 0 29 0 0 0 19 0 1 0 116698615 3424256 655 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 836 655 75 215 0 618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3344

[startup+0.701969 s]
/proc/loadavg: 1.02 1.17 1.17 3/77 32296
/proc/meminfo: memFree=1912392/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=4112 CPUtime=0.69
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 886 0 0 0 69 0 0 0 23 0 1 0 116698615 4210688 871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005882 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 1028 871 83 215 0 810 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4112

[startup+1.50202 s]
/proc/loadavg: 1.02 1.16 1.17 2/78 32297
/proc/meminfo: memFree=1909056/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=5040 CPUtime=1.49
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 1222 0 0 0 149 0 0 0 25 0 1 0 116698615 5160960 1117 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 1260 1117 107 215 0 1042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5040

[startup+3.10112 s]
/proc/loadavg: 1.02 1.16 1.17 2/78 32297
/proc/meminfo: memFree=1895616/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=19668 CPUtime=3.09
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 4580 0 0 0 307 2 0 0 25 0 1 0 116698615 20140032 4375 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 4917 4375 124 215 0 4699 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19668

[startup+6.30132 s]
/proc/loadavg: 1.02 1.16 1.17 2/78 32297
/proc/meminfo: memFree=1894544/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=20236 CPUtime=6.28
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 4750 0 0 0 626 2 0 0 25 0 1 0 116698615 20721664 4545 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 5059 4545 124 215 0 4841 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20236

[startup+12.7017 s]
/proc/loadavg: 1.02 1.16 1.16 2/78 32297
/proc/meminfo: memFree=1893920/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=21016 CPUtime=12.69
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 4917 0 0 0 1266 3 0 0 25 0 1 0 116698615 21520384 4712 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588686 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 5254 4712 124 215 0 5036 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21016

[startup+25.5015 s]
/proc/loadavg: 1.01 1.15 1.16 2/78 32297
/proc/meminfo: memFree=1893280/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=21708 CPUtime=25.48
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 5113 0 0 0 2545 3 0 0 25 0 1 0 116698615 22228992 4908 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 5427 4908 124 215 0 5209 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21708

[startup+51.1011 s]
/proc/loadavg: 1.01 1.14 1.16 2/78 32297
/proc/meminfo: memFree=1891296/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=23892 CPUtime=51.08
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 5644 0 0 0 5104 4 0 0 25 0 1 0 116698615 24465408 5439 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 5973 5439 124 215 0 5755 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23892

[startup+102.305 s]
/proc/loadavg: 1.00 1.11 1.15 2/78 32297
/proc/meminfo: memFree=1883296/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=31944 CPUtime=102.27
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 7644 0 0 0 10221 6 0 0 25 0 1 0 116698615 32710656 7439 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588592 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 7986 7439 124 215 0 7768 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31944

[startup+162.302 s]
/proc/loadavg: 1.06 1.11 1.14 2/78 32297
/proc/meminfo: memFree=1867104/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=51464 CPUtime=162.25
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 12848 0 0 0 16216 9 0 0 25 0 1 0 116698615 52699136 12325 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 12866 12325 124 215 0 12648 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51464

[startup+222.302 s]
/proc/loadavg: 1.02 1.08 1.13 2/78 32297
/proc/meminfo: memFree=1842016/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=74712 CPUtime=222.24
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 19200 0 0 0 22210 14 0 0 25 0 1 0 116698615 76505088 17688 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 18678 17688 124 215 0 18460 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 74712

[startup+282.301 s]
/proc/loadavg: 1.00 1.07 1.12 2/78 32297
/proc/meminfo: memFree=1841632/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=74844 CPUtime=282.22
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 19418 0 0 0 28208 14 0 0 25 0 1 0 116698615 76640256 17762 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 18711 17762 124 215 0 18493 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 74844

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.11 2/78 32297
/proc/meminfo: memFree=1841568/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=74844 CPUtime=342.22
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 19418 0 0 0 34207 15 0 0 25 0 1 0 116698615 76640256 17762 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 18711 17762 124 215 0 18493 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 74844

[startup+402.302 s]
/proc/loadavg: 1.00 1.04 1.09 2/78 32297
/proc/meminfo: memFree=1815712/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=101184 CPUtime=402.2
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 26004 0 0 0 40200 20 0 0 25 0 1 0 116698615 103612416 24348 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 25296 24348 124 215 0 25078 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 101184

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.09 2/78 32297
/proc/meminfo: memFree=1785376/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=131092 CPUtime=462.19
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 33483 0 0 0 46191 28 0 0 25 0 1 0 116698615 134238208 31827 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 32773 31827 124 215 0 32555 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 131092

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.08 2/78 32297
/proc/meminfo: memFree=1780256/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=522.17
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 34952 0 0 0 52188 29 0 0 25 0 1 0 116698615 138956800 33026 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33026 124 215 0 33707 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 135700

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.07 2/78 32297
/proc/meminfo: memFree=1780192/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=582.16
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 34952 0 0 0 58187 29 0 0 25 0 1 0 116698615 138956800 33026 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576145 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33026 124 215 0 33707 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 135700

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.07 2/78 32297
/proc/meminfo: memFree=1780064/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=642.15
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 34954 0 0 0 64185 30 0 0 25 0 1 0 116698615 138956800 33028 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581530 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33028 124 215 0 33707 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 135700


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/78 32297
/proc/meminfo: memFree=1779552/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=882.1
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 35001 0 0 0 88178 32 0 0 25 0 1 0 116698615 138956800 33075 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33075 124 215 0 33707 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 135700

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 32297
/proc/meminfo: memFree=1779488/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=942.08
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 35001 0 0 0 94176 32 0 0 25 0 1 0 116698615 138956800 33075 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33075 124 215 0 33707 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 135700

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 32297
/proc/meminfo: memFree=1779424/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=1002.07
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 35002 0 0 0 100174 33 0 0 25 0 1 0 116698615 138956800 33076 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33076 124 215 0 33707 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 135700

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/84 32435
/proc/meminfo: memFree=1777632/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=1061.97
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 35002 0 0 0 106164 33 0 0 25 0 1 0 116698615 138956800 33076 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33076 124 215 0 33707 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 135700

[startup+1122.3 s]
/proc/loadavg: 1.05 1.01 1.03 2/78 437
/proc/meminfo: memFree=1744280/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=1121.83
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 35002 0 0 0 112145 38 0 0 25 0 1 0 116698615 138956800 33076 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33076 124 215 0 33707 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 135700

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.02 2/78 437
/proc/meminfo: memFree=1744472/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=135700 CPUtime=1181.82
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 35002 0 0 0 118143 39 0 0 25 0 1 0 116698615 138956800 33076 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 33925 33076 124 215 0 33707 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 135700

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 437
/proc/meminfo: memFree=1744408/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=136308 CPUtime=1241.8
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 35034 0 0 0 124141 39 0 0 25 0 1 0 116698615 139579392 33108 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 34077 33108 124 215 0 33859 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 136308

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 437
/proc/meminfo: memFree=1723864/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=156612 CPUtime=1301.8
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 40162 0 0 0 130135 45 0 0 25 0 1 0 116698615 160370688 38236 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 39153 38236 124 215 0 38935 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 156612

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1709080/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=171220 CPUtime=1361.78
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 43845 0 0 0 136128 50 0 0 25 0 1 0 116698615 175329280 41919 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 42805 41919 124 215 0 42587 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 171220

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1695200/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=185644 CPUtime=1421.77
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 47273 0 0 0 142123 54 0 0 25 0 1 0 116698615 190099456 45347 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46411 45347 124 215 0 46193 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 185644

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1693152/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1481.75
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 148120 55 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 187548

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1693088/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1541.74
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 154119 55 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 187548

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1693088/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1601.73
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 160117 56 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 187548

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1693024/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1661.71
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 166115 56 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 187548

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1692896/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1721.7
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 172113 57 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 187548

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1692768/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1781.69
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 178112 57 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572757 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 187548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1692704/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1800.09
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 179952 57 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 187548

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 437
/proc/meminfo: memFree=1692704/2055920 swapFree=4169844/4192956
[pid=32296] ppid=32294 vsize=187548 CPUtime=1800.09
/proc/32296/stat : 32296 (minisat+) R 32294 32296 25301 0 -1 4194304 48051 0 0 0 179952 57 0 0 25 0 1 0 116698615 192049152 45852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/32296/statm: 46887 45852 124 215 0 46669 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 187548

Child status: 10
Real time (s): 1800.75
CPU time (s): 1800.13
CPU user time (s): 1799.53
CPU system time (s): 0.608907
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 187716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.608907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 37356

runsolver used 2.05969 second user time and 4.49632 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Apr 16 01:43:49 UTC 2007

IDJOB= 353897
IDBENCH= 2288
IDSOLVER= 156
FILE ID= node30/353897-1176687829

PBS_JOBID= 4559973

Free space on /tmp= 66531 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-ran10x26.opb
COMMAND LINE= /tmp/evaluation/353897-1176687829/minisat+ /tmp/evaluation/353897-1176687829/instance-353897-1176687829.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node30/convwatcher-353897-1176687829 -o ROOT/results/node30/conversion-353897-1176687829 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353897-1176687829/instance-353897-1176687829.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  24310f50398f30cad58c742db29765ce

RANDOM SEED= 40460026

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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:       1912864 kB
Buffers:         30524 kB
Cached:          25784 kB
SwapCached:       2036 kB
Active:          64000 kB
Inactive:        21008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1912864 kB
SwapTotal:     4192956 kB
SwapFree:      4169844 kB
Dirty:            2804 kB
Writeback:           0 kB
Mapped:          35992 kB
Slab:            43576 kB
Committed_AS:  2742216 kB
PageTables:       1792 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= 66531 MiB

End job on node30 on Mon Apr 16 02:13:52 UTC 2007