Trace number 34927

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)39 1800.6 1801.23

General information on the benchmark

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

Verifier Data (download as text)

OK	39

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1675384/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=1180 CPUtime=0
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 137 0 0 0 0 0 0 0 19 0 1 0 190789973 1208320 122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 295 122 67 215 0 77 0

[startup+10.0031 s]
/proc/loadavg: 0.93 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1658680/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=18444 CPUtime=9.99
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 4603 0 0 0 997 2 0 0 25 0 1 0 190789973 18886656 4282 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 4611 4282 111 215 0 4393 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 18444

[startup+20.01 s]
/proc/loadavg: 0.94 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1639864/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=38724 CPUtime=19.99
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 10500 0 0 0 1995 4 0 0 25 0 1 0 190789973 39653376 8983 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 9681 8983 124 215 0 9463 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 38724

[startup+30.016 s]
/proc/loadavg: 0.95 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1637112/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=41436 CPUtime=30
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 11302 0 0 0 2995 5 0 0 25 0 1 0 190789973 42430464 9677 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012073 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 10359 9677 124 215 0 10141 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 41436

[startup+40.0219 s]
/proc/loadavg: 0.96 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1637368/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=41104 CPUtime=40
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 11551 0 0 0 3995 5 0 0 25 0 1 0 190789973 42090496 9615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 10276 9615 124 215 0 10058 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 41104

[startup+50.0278 s]
/proc/loadavg: 0.96 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1635128/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=43364 CPUtime=50
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 12099 0 0 0 4994 6 0 0 25 0 1 0 190789973 44404736 10163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 10841 10163 124 215 0 10623 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 43364

[startup+60.0338 s]
/proc/loadavg: 0.97 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1630072/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=48364 CPUtime=60
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 13361 0 0 0 5993 7 0 0 25 0 1 0 190789973 49524736 11425 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581204 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 12091 11425 124 215 0 11873 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 48364

[startup+70.0397 s]
/proc/loadavg: 0.97 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1628472/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=50028 CPUtime=70
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 13868 0 0 0 6993 7 0 0 25 0 1 0 190789973 51228672 11824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005323 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 12507 11824 124 215 0 12289 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 50028

[startup+80.0457 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1627768/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=50684 CPUtime=80.01
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 14354 0 0 0 7993 8 0 0 25 0 1 0 190789973 51900416 11998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 12671 11998 124 215 0 12453 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50684

[startup+90.0516 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1625272/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=53304 CPUtime=90.01
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 14991 0 0 0 8992 9 0 0 25 0 1 0 190789973 54583296 12635 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 13326 12635 124 215 0 13108 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 53304

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1623672/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=54784 CPUtime=100.01
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 15508 0 0 0 9992 9 0 0 25 0 1 0 190789973 56098816 13032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530499 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 13696 13032 124 215 0 13478 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 54784

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1623672/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=54872 CPUtime=110.02
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 15841 0 0 0 10992 10 0 0 25 0 1 0 190789973 56188928 13032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 13718 13032 124 215 0 13500 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 54872

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1621304/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=57200 CPUtime=120.02
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16539 0 0 0 11991 11 0 0 25 0 1 0 190789973 58572800 13611 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 14300 13611 124 215 0 14082 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 57200

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1621944/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=56380 CPUtime=130.02
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16674 0 0 0 12991 11 0 0 25 0 1 0 190789973 57733120 13413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573857 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 14095 13413 124 215 0 13877 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 56380

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1621944/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=56380 CPUtime=140.02
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16674 0 0 0 13991 11 0 0 25 0 1 0 190789973 57733120 13413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 14095 13413 124 215 0 13877 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 56380

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1621944/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=56380 CPUtime=150.03
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 16674 0 0 0 14992 11 0 0 25 0 1 0 190789973 57733120 13413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 14095 13413 124 215 0 13877 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 56380

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1619896/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=58612 CPUtime=160.02
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 17232 0 0 0 15991 11 0 0 25 0 1 0 190789973 60018688 13971 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 14653 13971 124 215 0 14435 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 58612

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1614584/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=63984 CPUtime=170.03
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 18557 0 0 0 16990 13 0 0 25 0 1 0 190789973 65519616 15296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 15996 15296 124 215 0 15778 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 63984

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1612536/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=65992 CPUtime=180.03
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 19160 0 0 0 17990 13 0 0 25 0 1 0 190789973 67575808 15800 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012160 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 16498 15800 124 215 0 16280 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 65992

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1613240/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=65020 CPUtime=190.03
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 19241 0 0 0 18990 13 0 0 25 0 1 0 190789973 66580480 15578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574127 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 16255 15578 124 215 0 16037 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 65020

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1613240/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=65020 CPUtime=200.03
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 19241 0 0 0 19990 13 0 0 25 0 1 0 190789973 66580480 15578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 16255 15578 124 215 0 16037 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 65020

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 4676
/proc/meminfo: memFree=1613240/2055920 swapFree=4181196/4192956

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

[pid=4676] ppid=4674 vsize=209488 CPUtime=1781.47
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178089 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 209488

[startup+1783.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1782.47
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178189 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 209488

[startup+1784.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1783.48
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178290 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 209488

[startup+1785.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1784.48
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178390 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 209488

[startup+1786.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1785.49
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178491 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581022 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 209488

[startup+1787.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1786.49
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178591 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 209488

[startup+1788.12 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1787.49
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178691 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 209488

[startup+1789.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1788.5
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178792 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 209488

[startup+1790.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1789.5
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178892 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580789 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 209488

[startup+1791.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1790.51
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 178993 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 209488

[startup+1792.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1791.51
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179093 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574102 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 209488

[startup+1793.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1792.52
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179194 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 209488

[startup+1794.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1793.52
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179294 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 209488

[startup+1795.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1794.53
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179395 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 209488

[startup+1796.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1795.53
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179495 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 209488

[startup+1797.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1796.54
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179596 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 209488

[startup+1798.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1797.54
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179696 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 209488

[startup+1799.18 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1798.55
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179797 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 209488

[startup+1800.18 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1799.55
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179897 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 209488

[startup+1801.19 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1800.55
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179997 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 209488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4678
/proc/meminfo: memFree=1468728/2055920 swapFree=4181196/4192956
[pid=4676] ppid=4674 vsize=209488 CPUtime=1800.56
/proc/4676/stat : 4676 (minisat+) R 4674 4676 4630 0 -1 4194304 56101 0 0 0 179998 58 0 0 25 0 1 0 190789973 214515712 51655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4676/statm: 52372 51655 124 215 0 52154 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 209488

Sending SIGTERM to -4676
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.23
CPU time (s): 1800.6
CPU user time (s): 1799.99
CPU system time (s): 0.617906
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (Kb): 209488

Launcher Data (download as text)

Begin job on node38 on Fri Jun  2 12:27:17 UTC 2006


FILE ID= 34927-1149251237

PBS_JOBID= 298099

BENCH NAME= ROOT/tmp/node38/34927-1149251237/instance-34927-1149251237.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/34927-1149251237/instance-34927-1149251237.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-34927-1149251237 -o ROOT/results/node38/solver-34927-1149251237 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node38/34927-1149251237/instance-34927-1149251237.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  eacfeaf84791543db8ee3be1e77f11f6

RANDOM SEED= 302128136


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1675592 kB
Buffers:         21408 kB
Cached:         288968 kB
SwapCached:       3512 kB
Active:          33920 kB
Inactive:       285220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1675592 kB
SwapTotal:     4192956 kB
SwapFree:      4181196 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14904 kB
Slab:            47124 kB
Committed_AS:   257612 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node38 on Fri Jun  2 12:57:18 UTC 2006