Trace number 37455

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
Pueblo 1.3SAT-29 1783.82 1785.02

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-fit1d.opb
MD5SUMcffbae99cf8c83f8877355cc201cf8bf
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-251
Best CPU time to get the best result obtained on this benchmark1800.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -251
Optimality of the best value was proved NO
Number of variables11514
Total number of constraints1050
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 constraints1050
Minimum length of a constraint11
Maximum length of a constraint11514
Number of terms in the objective function 11514
Biggest coefficient in the objective function 2949120
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 462466666
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 3870720
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 580921206
Number of bits of the biggest sum of numbers30
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 Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.74	c starting to Solve
0.74	c #variables read: 11514 - #constraints read: 1052
1.62	o 58007886
1540.12	o 58007872
1658.29	o 58007857
1784.99	c total time              : 1784.05 s
1784.99	s SATISFIABLE
1784.99	v -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11
1784.99	v -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1784.99	v -x21 -x22 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x23 -x24 -x25 -x26 -x27 -x28 -x29
1784.99	v -x30 -x31 -x32 -x33 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x34 -x35 -x36 -x37 -x38
1784.99	v -x39 -x40 -x41 -x42 -x43 -x44 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x45 -x46 -x47
1784.99	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x56
1784.99	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202
1784.99	v -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212
1784.99	v -x7213 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222
1784.99	v -x7223 -x7224 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232
1784.99	v -x7233 -x7234 -x7235 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x7236 -x7237 -x7238 -x7239 -x7240
1784.99	v -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x7247 -x7248
1784.99	v -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
1784.99	v -x132 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x133 -x134 -x135 -x136 -x137 -x138
1784.99	v -x139 -x140 -x141 -x142 -x143 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x144 -x145
1784.99	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289
1784.99	v -x7290 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297
1784.99	v -x7298 -x7299 -x7300 -x7301 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x7302 -x7303 -x7304 -x7305
1784.99	v -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x7313
1784.99	v -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196
1784.99	v -x197 -x198 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x199 -x200 -x201 -x202 -x203
1784.99	v -x204 -x205 -x206 -x207 -x208 -x209 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x210
1784.99	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354
1784.99	v -x7355 -x7356 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362
1784.99	v -x7363 -x7364 -x7365 -x7366 -x7367 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x7368 -x7369 -x7370
1784.99	v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1784.99	v -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1784.99	v -x261 -x262 -x263 -x264 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x265 -x266 -x267
1784.99	v -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411
1784.99	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419
1784.99	v -x7420 -x7421 -x7422 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x7423 -x7424 -x7425 -x7426 -x7427
1784.99	v -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x7434 -x7435
1784.99	v -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1784.99	v -x319 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x320 -x321 -x322 -x323 -x324 -x325
1784.99	v -x326 -x327 -x328 -x329 -x330 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x331 -x332
1784.99	v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476
1784.99	v -x7477 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484
1784.99	v -x7485 -x7486 -x7487 -x7488 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x7489 -x7490 -x7491 -x7492
1784.99	v -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x7500
1784.99	v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1784.99	v -x384 -x385 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x386 -x387 -x388 -x389 -x390
1784.99	v -x391 -x392 -x393 -x394 -x395 -x396 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x397
1784.99	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541
1784.99	v -x7542 -x7543 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549
1784.99	v -x7550 -x7551 -x7552 -x7553 -x7554 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x7555 -x7556 -x7557
1784.99	v -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1784.99	v -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x441 -x442 -x443 -x444 -x445 -x446 -x447
1784.99	v -x448 -x449 -x450 -x451 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x452 -x453 -x454
1784.99	v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598
1784.99	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606
1784.99	v -x7607 -x7608 -x7609 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x7610 -x7611 -x7612 -x7613 -x7614
1784.99	v -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x7621 -x7622
1784.99	v -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1784.99	v -x506 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x507 -x508 -x509 -x510 -x511 -x512
1784.99	v -x513 -x514 -x515 -x516 -x517 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x518 -x519
1784.99	v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663
1784.99	v -x7664 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671
1784.99	v -x7672 -x7673 -x7674 -x7675 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x7676 -x7677 -x7678 -x7679
1784.99	v -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x7687
1784.99	v -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1784.99	v -x571 -x572 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x573 -x574 -x575 -x576 -x577
1784.99	v -x578 -x579 -x580 -x581 -x582 -x583 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x584
1784.99	v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728
1784.99	v -x7729 -x7730 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736
1784.99	v -x7737 -x7738 -x7739 -x7740 -x7741 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x7742 -x7743 -x7744
1784.99	v -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1784.99	v -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x628 -x629 -x630 -x631 -x632 -x633 -x634
1784.99	v -x635 -x636 -x637 -x638 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x639 -x640 -x641
1784.99	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785
1784.99	v x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793
1784.99	v -x7794 -x7795 -x7796 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x7797 -x7798 -x7799 -x7800 -x7801
1784.99	v -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x7808 -x7809
1784.99	v -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1784.99	v -x693 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x694 -x695 -x696 -x697 -x698 -x699
1784.99	v -x700 -x701 -x702 -x703 -x704 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x705 -x706
1784.99	v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850
1784.99	v -x7851 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858
1784.99	v -x7859 -x7860 -x7861 -x7862 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x7863 -x7864 -x7865 -x7866
1784.99	v -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x7874
1784.99	v -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1784.99	v -x758 -x759 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x760 -x761 -x762 -x763 -x764
1784.99	v -x765 -x766 -x767 -x768 -x769 -x770 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x771
1784.99	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915
1784.99	v -x7916 -x7917 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923
1784.99	v -x7924 -x7925 -x7926 -x7927 -x7928 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x7929 -x7930 -x7931
1784.99	v -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1784.99	v -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1784.99	v -x822 -x823 -x824 -x825 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x826 -x827 -x828
1784.99	v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972
1784.99	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980
1784.99	v -x7981 -x7982 -x7983 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x7984 -x7985 -x7986 -x7987 -x7988
1784.99	v -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x7995 -x7996
1784.99	v -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1784.99	v -x880 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x881 -x882 -x883 -x884 -x885 -x886
1784.99	v -x887 -x888 -x889 -x890 -x891 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x892 -x893
1784.99	v -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037
1784.99	v -x8038 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045
1784.99	v -x8046 -x8047 -x8048 -x8049 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x8050 -x8051 -x8052 -x8053
1784.99	v -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x8061
1784.99	v -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1784.99	v -x945 -x946 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x947 -x948 -x949 -x950 -x951
1784.99	v -x952 -x953 -x954 -x955 -x956 -x957 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x958
1784.99	v -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102
1784.99	v -x8103 -x8104 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110
1784.99	v -x8111 -x8112 -x8113 -x8114 -x8115 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x8116 -x8117 -x8118
1784.99	v -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001
1784.99	v -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1784.99	v -x1008 -x1009 -x1010 -x1011 -x1012 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x1013
1784.99	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155
1784.99	v -x8156 -x8157 -x8158 -x8159 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x8160 -x8161
1784.99	v -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042
1784.99	v -x1043 -x1044 -x1045 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x1046 -x1047 -x1048
1784.99	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190
1784.99	v -x8191 -x8192 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x8193 -x8194 -x8195 -x8196
1784.99	v -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1784.99	v -x1078 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x1079 -x1080 -x1081 -x1082 -x1083
1784.99	v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225
1784.99	v -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231
1784.99	v -x8232 -x8233 -x8234 -x8235 -x8236 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x8237
1784.99	v -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118
1784.99	v -x1119 -x1120 -x1121 -x1122 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x1123 -x1124
1784.99	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266
1784.99	v -x8267 -x8268 -x8269 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x8270 -x8271 -x8272
1784.99	v -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153
1784.99	v -x1154 -x1155 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x1156 -x1157 -x1158 -x1159
1784.99	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301
1784.99	v -x8302 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x8303 -x8304 -x8305 -x8306 -x8307
1784.99	v -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1784.99	v -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1784.99	v -x1195 -x1196 -x1197 -x1198 -x1199 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x1200
1784.99	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342
1784.99	v -x8343 -x8344 -x8345 -x8346 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x8347 -x8348
1784.99	v -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229
1784.99	v -x1230 -x1231 -x1232 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x1233 -x1234 -x1235
1784.99	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377
1784.99	v -x8378 -x8379 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x8380 -x8381 -x8382 -x8383
1784.99	v -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1784.99	v -x1265 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x1266 -x1267 -x1268 -x1269 -x1270
1784.99	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412
1784.99	v -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418
1784.99	v -x8419 -x8420 -x8421 -x8422 -x8423 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x8424
1784.99	v -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305
1784.99	v -x1306 -x1307 -x1308 -x1309 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x1310 -x1311
1784.99	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453
1784.99	v -x8454 -x8455 -x8456 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x8457 -x8458 -x8459
1784.99	v -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
1784.99	v -x1341 -x1342 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x1343 -x1344 -x1345 -x1346
1784.99	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488
1784.99	v -x8489 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x8490 -x8491 -x8492 -x8493 -x8494
1784.99	v -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
1784.99	v -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1784.99	v -x1382 -x1383 -x1384 -x1385 -x1386 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x1387
1784.99	v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529
1784.99	v -x8530 -x8531 -x8532 -x8533 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x8534 -x8535
1784.99	v -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
1784.99	v -x1417 -x1418 -x1419 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x1420 -x1421 -x1422
1784.99	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564
1784.99	v -x8565 -x8566 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x8567 -x8568 -x8569 -x8570
1784.99	v -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1784.99	v -x1452 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x1453 -x1454 -x1455 -x1456 -x1457
1784.99	v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599
1784.99	v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605
1784.99	v -x8606 -x8607 -x8608 -x8609 -x8610 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x8611
1784.99	v -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492
1784.99	v -x1493 -x1494 -x1495 -x1496 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x1497 -x1498
1784.99	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640
1784.99	v -x8641 -x8642 -x8643 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x8644 -x8645 -x8646
1784.99	v -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
1784.99	v -x1528 -x1529 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x1530 -x1531 -x1532 -x1533
1784.99	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675
1784.99	v -x8676 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x8677 -x8678 -x8679 -x8680 -x8681
1784.99	v -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562
1784.99	v -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
1784.99	v -x1569 -x1570 -x1571 -x1572 -x1573 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x1574
1784.99	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716
1784.99	v -x8717 -x8718 -x8719 -x8720 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x8721 -x8722
1784.99	v -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1784.99	v -x1604 -x1605 -x1606 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x1607 -x1608 -x1609
1784.99	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751
1784.99	v -x8752 -x8753 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x8754 -x8755 -x8756 -x8757
1784.99	v -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1784.99	v -x1639 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x1640 -x1641 -x1642 -x1643 -x1644
1784.99	v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786
1784.99	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792
1784.99	v -x8793 -x8794 -x8795 -x8796 -x8797 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x8798
1784.99	v -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1784.99	v -x1680 -x1681 -x1682 -x1683 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x1684 -x1685
1784.99	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827
1784.99	v -x8828 -x8829 -x8830 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x8831 -x8832 -x8833
1784.99	v -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714
1784.99	v -x1715 -x1716 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x1717 -x1718 -x1719 -x1720
1784.99	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862
1784.99	v -x8863 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x8864 -x8865 -x8866 -x8867 -x8868
1784.99	v -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749
1784.99	v -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1784.99	v -x1756 -x1757 -x1758 -x1759 -x1760 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x1761
1784.99	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903
1784.99	v -x8904 -x8905 -x8906 -x8907 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x8908 -x8909
1784.99	v -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1784.99	v -x1791 -x1792 -x1793 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x1794 -x1795 -x1796
1784.99	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938
1784.99	v -x8939 -x8940 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x8941 -x8942 -x8943 -x8944
1784.99	v -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1784.99	v -x1826 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x1827 -x1828 -x1829 -x1830 -x1831
1784.99	v -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973
1784.99	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979
1784.99	v -x8980 -x8981 -x8982 -x8983 -x8984 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x8985
1784.99	v -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1784.99	v -x1867 -x1868 -x1869 -x1870 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x1871 -x1872
1784.99	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014
1784.99	v -x9015 -x9016 -x9017 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x9018 -x9019 -x9020
1784.99	v -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901
1784.99	v -x1902 -x1903 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x1904 -x1905 -x1906 -x1907
1784.99	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049
1784.99	v -x9050 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x9051 -x9052 -x9053 -x9054 -x9055
1784.99	v -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1784.99	v -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1784.99	v -x1943 -x1944 -x1945 -x1946 -x1947 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x1948
1784.99	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090
1784.99	v -x9091 -x9092 -x9093 -x9094 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x9095 -x9096
1784.99	v -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977
1784.99	v -x1978 -x1979 -x1980 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x1981 -x1982 -x1983
1784.99	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125
1784.99	v -x9126 -x9127 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x9128 -x9129 -x9130 -x9131
1784.99	v -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012
1784.99	v -x2013 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x2014 -x2015 -x2016 -x2017 -x2018
1784.99	v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160
1784.99	v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166
1784.99	v -x9167 -x9168 -x9169 -x9170 -x9171 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x9172
1784.99	v -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
1784.99	v -x2054 -x2055 -x2056 -x2057 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x2058 -x2059
1784.99	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201
1784.99	v -x9202 -x9203 -x9204 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x9205 -x9206 -x9207
1784.99	v -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1784.99	v -x2089 -x2090 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x2091 -x2092 -x2093 -x2094
1784.99	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236
1784.99	v -x9237 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x9238 -x9239 -x9240 -x9241 -x9242
1784.99	v -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123
1784.99	v -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129
1784.99	v -x2130 -x2131 -x2132 -x2133 -x2134 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x2135
1784.99	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277
1784.99	v -x9278 -x9279 -x9280 -x9281 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x9282 -x9283
1784.99	v -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164
1784.99	v -x2165 -x2166 -x2167 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x2168 -x2169 -x2170
1784.99	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312
1784.99	v -x9313 -x9314 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x9315 -x9316 -x9317 -x9318
1784.99	v -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1784.99	v -x2200 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x2201 -x2202 -x2203 -x2204 -x2205
1784.99	v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347
1784.99	v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353
1784.99	v -x9354 -x9355 -x9356 -x9357 -x9358 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x9359
1784.99	v -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
1784.99	v -x2241 -x2242 -x2243 -x2244 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 x2245 -x2246
1784.99	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388
1784.99	v -x9389 -x9390 -x9391 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x9392 -x9393 -x9394
1784.99	v -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275
1784.99	v -x2276 -x2277 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x2278 -x2279 -x2280 -x2281
1784.99	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423
1784.99	v -x9424 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x9425 -x9426 -x9427 -x9428 -x9429
1784.99	v -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
1784.99	v -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1784.99	v -x2317 -x2318 -x2319 -x2320 -x2321 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x2322
1784.99	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464
1784.99	v -x9465 -x9466 -x9467 -x9468 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x9469 -x9470
1784.99	v -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351
1784.99	v -x2352 -x2353 -x2354 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x2355 -x2356 -x2357
1784.99	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499
1784.99	v -x9500 -x9501 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x9502 -x9503 -x9504 -x9505
1784.99	v -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386
1784.99	v -x2387 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x2388 -x2389 -x2390 -x2391 -x2392
1784.99	v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534
1784.99	v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540
1784.99	v -x9541 -x9542 -x9543 -x9544 -x9545 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x9546
1784.99	v -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1784.99	v -x2428 -x2429 -x2430 -x2431 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x2432 -x2433
1784.99	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575
1784.99	v -x9576 -x9577 -x9578 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x9579 -x9580 -x9581
1784.99	v -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1784.99	v -x2463 -x2464 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x2465 -x2466 -x2467 -x2468
1784.99	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610
1784.99	v -x9611 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x9612 -x9613 -x9614 -x9615 -x9616
1784.99	v -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497
1784.99	v -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503
1784.99	v -x2504 -x2505 -x2506 -x2507 -x2508 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x2509
1784.99	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651
1784.99	v -x9652 -x9653 -x9654 -x9655 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x9656 -x9657
1784.99	v -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
1784.99	v -x2539 -x2540 -x2541 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x2542 -x2543 -x2544
1784.99	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686
1784.99	v -x9687 -x9688 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x9689 -x9690 -x9691 -x9692
1784.99	v -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573
1784.99	v -x2574 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x2575 -x2576 -x2577 -x2578 -x2579
1784.99	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721
1784.99	v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727
1784.99	v -x9728 -x9729 -x9730 -x9731 -x9732 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x9733
1784.99	v -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614
1784.99	v -x2615 -x2616 -x2617 -x2618 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x2619 -x2620
1784.99	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762
1784.99	v -x9763 -x9764 -x9765 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x9766 -x9767 -x9768
1784.99	v -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649
1784.99	v -x2650 -x2651 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x2652 -x2653 -x2654 -x2655
1784.99	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797
1784.99	v -x9798 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x9799 -x9800 -x9801 -x9802 -x9803
1784.99	v -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684
1784.99	v -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
1784.99	v -x2691 -x2692 -x2693 -x2694 -x2695 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x2696
1784.99	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838
1784.99	v -x9839 -x9840 -x9841 -x9842 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x9843 -x9844
1784.99	v -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
1784.99	v -x2726 -x2727 -x2728 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x2729 -x2730 -x2731
1784.99	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873
1784.99	v -x9874 -x9875 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x9876 -x9877 -x9878 -x9879
1784.99	v -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1784.99	v -x2761 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x2762 -x2763 -x2764 -x2765 -x2766
1784.99	v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908
1784.99	v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914
1784.99	v -x9915 -x9916 -x9917 -x9918 -x9919 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x9920
1784.99	v -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801
1784.99	v -x2802 -x2803 -x2804 -x2805 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x2806 -x2807
1784.99	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949
1784.99	v -x9950 -x9951 -x9952 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x9953 -x9954 -x9955
1784.99	v -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836
1784.99	v -x2837 -x2838 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x2839 -x2840 -x2841 -x2842
1784.99	v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984
1784.99	v -x9985 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x9986 -x9987 -x9988 -x9989 -x9990
1784.99	v -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871
1784.99	v -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x2872 -x2873 -x2874 -x2875 -x2876
1784.99	v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017
1784.99	v -x10018 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x10019 -x10020 -x10021 -x10022
1784.99	v -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902
1784.99	v -x2903 -x2904 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x2905 -x2906
1784.99	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047
1784.99	v -x10048 -x10049 -x10050 -x10051 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x10052
1784.99	v -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932
1784.99	v -x2933 -x2934 -x2935 -x2936 -x2937 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073
1784.99	v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x10074 -x10075 -x10076 -x10077 -x10078
1784.99	v -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958
1784.99	v -x2959 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x2960 -x2961 -x2962
1784.99	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103
1784.99	v -x10104 -x10105 -x10106 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x10107 -x10108
1784.99	v -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988
1784.99	v -x2989 -x2990 -x2991 -x2992 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128
1784.99	v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x10129 -x10130 -x10131 -x10132 -x10133
1784.99	v -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013
1784.99	v -x3014 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x3015 -x3016 -x3017
1784.99	v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158
1784.99	v -x10159 -x10160 -x10161 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x10162 -x10163
1784.99	v -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043
1784.99	v -x3044 -x3045 -x3046 -x3047 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183
1784.99	v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x10184 -x10185 -x10186 -x10187 -x10188
1784.99	v -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068
1784.99	v -x3069 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x3070 -x3071 -x3072
1784.99	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213
1784.99	v -x10214 -x10215 -x10216 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x10217 -x10218
1784.99	v -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098
1784.99	v -x3099 -x3100 -x3101 -x3102 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238
1784.99	v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x10239 -x10240 -x10241 -x10242 -x10243
1784.99	v -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123
1784.99	v -x3124 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x3125 -x3126 -x3127
1784.99	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268
1784.99	v -x10269 -x10270 -x10271 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x10272 -x10273
1784.99	v -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153
1784.99	v -x3154 -x3155 -x3156 -x3157 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293
1784.99	v -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x10294 -x10295 -x10296 -x10297 -x10298
1784.99	v -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178
1784.99	v -x3179 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x3180 -x3181 -x3182
1784.99	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323
1784.99	v -x10324 -x10325 -x10326 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x10327 -x10328
1784.99	v -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208
1784.99	v -x3209 -x3210 -x3211 -x3212 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348
1784.99	v -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x10349 -x10350 -x10351 -x10352 -x10353
1784.99	v -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1784.99	v -x3234 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x3235 -x3236 -x3237
1784.99	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378
1784.99	v -x10379 -x10380 -x10381 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x10382 -x10383
1784.99	v -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263
1784.99	v -x3264 -x3265 -x3266 -x3267 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403
1784.99	v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x10404 -x10405 -x10406 -x10407 -x10408
1784.99	v -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1784.99	v -x3289 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x3290 -x3291 -x3292
1784.99	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433
1784.99	v -x10434 -x10435 -x10436 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x10437 -x10438
1784.99	v -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
1784.99	v -x3319 -x3320 -x3321 -x3322 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458
1784.99	v -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x10459 -x10460 -x10461 -x10462 -x10463
1784.99	v -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343
1784.99	v -x3344 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x3345 -x3346 -x3347
1784.99	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488
1784.99	v -x10489 -x10490 -x10491 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x10492 -x10493
1784.99	v -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373
1784.99	v -x3374 -x3375 -x3376 -x3377 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513
1784.99	v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x10514 -x10515 -x10516 -x10517 -x10518
1784.99	v -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398
1784.99	v -x3399 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x3400 -x3401 -x3402
1784.99	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543
1784.99	v -x10544 -x10545 -x10546 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x10547 -x10548
1784.99	v -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428
1784.99	v -x3429 -x3430 -x3431 -x3432 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568
1784.99	v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x10569 -x10570 -x10571 -x10572 -x10573
1784.99	v -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
1784.99	v -x3454 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x3455 -x3456 -x3457
1784.99	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598
1784.99	v -x10599 -x10600 -x10601 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x10602 -x10603
1784.99	v -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483
1784.99	v -x3484 -x3485 -x3486 -x3487 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623
1784.99	v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x10624 -x10625 -x10626 -x10627 -x10628
1784.99	v -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508
1784.99	v -x3509 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x3510 -x3511 -x3512
1784.99	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653
1784.99	v -x10654 -x10655 -x10656 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x10657 -x10658
1784.99	v -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538
1784.99	v -x3539 -x3540 -x3541 -x3542 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678
1784.99	v -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x10679 -x10680 -x10681 -x10682 -x10683
1784.99	v -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563
1784.99	v -x3564 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x3565 -x3566 -x3567
1784.99	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708
1784.99	v -x10709 -x10710 -x10711 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x10712 -x10713
1784.99	v -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593
1784.99	v -x3594 -x3595 -x3596 -x3597 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733
1784.99	v x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739
1784.99	v -x10740 -x10741 -x10742 -x10743 -x10744 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619
1784.99	v -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x3620 -x3621 -x3622 -x3623
1784.99	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764
1784.99	v -x10765 -x10766 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x10767 -x10768 -x10769
1784.99	v -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649
1784.99	v -x3650 -x3651 -x3652 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x3653
1784.99	v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794
1784.99	v -x10795 -x10796 -x10797 -x10798 -x10799 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1784.99	v -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x3675 -x3676 -x3677 -x3678
1784.99	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819
1784.99	v -x10820 -x10821 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x10822 -x10823 -x10824
1784.99	v -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704
1784.99	v -x3705 -x3706 -x3707 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x3708
1784.99	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849
1784.99	v -x10850 -x10851 -x10852 -x10853 -x10854 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729
1784.99	v -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x3730 -x3731 -x3732 -x3733
1784.99	v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874
1784.99	v -x10875 -x10876 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x10877 -x10878 -x10879
1784.99	v -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
1784.99	v -x3760 -x3761 -x3762 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x3763
1784.99	v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904
1784.99	v -x10905 -x10906 -x10907 -x10908 -x10909 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784
1784.99	v -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x3785 -x3786 -x3787 -x3788
1784.99	v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929
1784.99	v -x10930 -x10931 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x10932 -x10933 -x10934
1784.99	v -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
1784.99	v -x3815 -x3816 -x3817 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x3818
1784.99	v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959
1784.99	v -x10960 -x10961 -x10962 -x10963 -x10964 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839
1784.99	v -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x3840 -x3841 -x3842 -x3843
1784.99	v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984
1784.99	v -x10985 -x10986 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x10987 -x10988 -x10989
1784.99	v -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869
1784.99	v -x3870 -x3871 -x3872 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x3873
1784.99	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014
1784.99	v -x11015 -x11016 -x11017 -x11018 -x11019 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894
1784.99	v -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x3895 -x3896 -x3897 -x3898
1784.99	v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039
1784.99	v -x11040 -x11041 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x11042 -x11043 -x11044
1784.99	v -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924
1784.99	v -x3925 -x3926 -x3927 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x3928
1784.99	v -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069
1784.99	v -x11070 -x11071 -x11072 -x11073 -x11074 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949
1784.99	v -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x3950 -x3951 -x3952 -x3953
1784.99	v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094
1784.99	v -x11095 -x11096 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x11097 -x11098 -x11099
1784.99	v -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979
1784.99	v -x3980 -x3981 -x3982 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x3983
1784.99	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124
1784.99	v -x11125 -x11126 -x11127 -x11128 -x11129 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004
1784.99	v -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x4005 -x4006 -x4007 -x4008
1784.99	v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149
1784.99	v -x11150 -x11151 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x11152 -x11153 -x11154
1784.99	v -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1784.99	v -x4035 -x4036 -x4037 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x4038
1784.99	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179
1784.99	v -x11180 -x11181 -x11182 -x11183 -x11184 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059
1784.99	v -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x4060 -x4061 -x4062 -x4063
1784.99	v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204
1784.99	v -x11205 -x11206 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x11207 -x11208 -x11209
1784.99	v -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089
1784.99	v -x4090 -x4091 -x4092 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x4093
1784.99	v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234
1784.99	v -x11235 -x11236 -x11237 -x11238 -x11239 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114
1784.99	v -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x4115 -x4116 -x4117 -x4118
1784.99	v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259
1784.99	v -x11260 -x11261 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x11262 -x11263 -x11264
1784.99	v -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144
1784.99	v -x4145 -x4146 -x4147 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x4148
1784.99	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289
1784.99	v -x11290 -x11291 -x11292 -x11293 -x11294 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169
1784.99	v -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x4170 -x4171 -x4172 -x4173
1784.99	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314
1784.99	v -x11315 -x11316 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x11317 -x11318 -x11319
1784.99	v -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
1784.99	v -x4200 -x4201 -x4202 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x4203
1784.99	v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344
1784.99	v -x11345 -x11346 -x11347 -x11348 -x11349 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224
1784.99	v -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x4225 -x4226 -x4227 -x4228
1784.99	v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369
1784.99	v -x11370 -x11371 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x11372 -x11373 -x11374
1784.99	v -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254
1784.99	v -x4255 -x4256 -x4257 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 x4258 -x4259
1784.99	v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400
1784.99	v -x11401 -x11402 -x11403 -x11404 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x11405
1784.99	v -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285
1784.99	v -x4286 -x4287 -x4288 -x4289 -x4290 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426
1784.99	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x11427 -x11428 -x11429 -x11430 -x11431
1784.99	v -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311
1784.99	v -x4312 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x4313 -x4314 -x4315
1784.99	v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456
1784.99	v -x11457 -x11458 -x11459 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x11460 -x11461
1784.99	v -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341
1784.99	v -x4342 -x4343 -x4344 -x4345 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481
1784.99	v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x11482 -x11483 -x11484 -x11485 -x11486
1784.99	v -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366
1784.99	v -x4367 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x4368 -x4369 -x4370
1784.99	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511
1784.99	v -x11512 -x11513 -x11514 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392
1784.99	v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409
1784.99	v -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426
1784.99	v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443
1784.99	v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
1784.99	v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477
1784.99	v -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494
1784.99	v -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511
1784.99	v -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528
1784.99	v -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545
1784.99	v -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562
1784.99	v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579
1784.99	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596
1784.99	v -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613
1784.99	v -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
1784.99	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647
1784.99	v -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664
1784.99	v -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681
1784.99	v -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698
1784.99	v -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715
1784.99	v -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732
1784.99	v -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749
1784.99	v -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766
1784.99	v -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783
1784.99	v -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800
1784.99	v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817
1784.99	v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834
1784.99	v -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851
1784.99	v -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868
1784.99	v -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885
1784.99	v -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902
1784.99	v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919
1784.99	v -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936
1784.99	v -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953
1784.99	v -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970
1784.99	v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987
1784.99	v -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004
1784.99	v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021
1784.99	v -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038
1784.99	v -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055
1784.99	v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072
1784.99	v -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089
1784.99	v -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106
1784.99	v -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123
1784.99	v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140
1784.99	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157
1784.99	v -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174
1784.99	v -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191
1784.99	v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208
1784.99	v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225
1784.99	v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242
1784.99	v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259
1784.99	v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276
1784.99	v -x5277 x5278 x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294
1784.99	v -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311
1784.99	v -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328
1784.99	v -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345
1784.99	v -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362
1784.99	v -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379
1784.99	v -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396
1784.99	v -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413
1784.99	v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430
1784.99	v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447
1784.99	v -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464
1784.99	v -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481
1784.99	v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498
1784.99	v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515
1784.99	v -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532
1784.99	v -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549
1784.99	v -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566
1784.99	v -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583
1784.99	v -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600
1784.99	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617
1784.99	v -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634
1784.99	v -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651
1784.99	v -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668
1784.99	v -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685
1784.99	v -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702
1784.99	v -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719
1784.99	v -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736
1784.99	v -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753
1784.99	v -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770
1784.99	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787
1784.99	v -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804
1784.99	v -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821
1784.99	v -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838
1784.99	v -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855
1784.99	v -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872
1784.99	v -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889
1784.99	v -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906
1784.99	v -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923
1784.99	v -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940
1784.99	v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957
1784.99	v -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974
1784.99	v -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991
1784.99	v -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008
1784.99	v -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025
1784.99	v -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042
1784.99	v -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059
1784.99	v -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076
1784.99	v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093
1784.99	v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110
1784.99	v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127
1784.99	v -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144
1784.99	v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161
1784.99	v -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178
1784.99	v -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195
1784.99	v -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212
1784.99	v -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229
1784.99	v -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246
1784.99	v -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263
1784.99	v -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280
1784.99	v -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297
1784.99	v -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314
1784.99	v -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331
1784.99	v -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348
1784.99	v -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365
1784.99	v -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382
1784.99	v -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399
1784.99	v -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416
1784.99	v -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433
1784.99	v -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450
1784.99	v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467
1784.99	v -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484
1784.99	v -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501
1784.99	v -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518
1784.99	v -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535
1784.99	v -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552
1784.99	v -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569
1784.99	v -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586
1784.99	v -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603
1784.99	v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620
1784.99	v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637
1784.99	v -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654
1784.99	v -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671
1784.99	v -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688
1784.99	v -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705
1784.99	v -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722
1784.99	v -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739
1784.99	v -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756
1784.99	v -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773
1784.99	v -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790
1784.99	v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807
1784.99	v -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824
1784.99	v -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841
1784.99	v -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858
1784.99	v -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875
1784.99	v -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892
1784.99	v -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909
1784.99	v -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926
1784.99	v -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943
1784.99	v -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960
1784.99	v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977
1784.99	v -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994
1784.99	v -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011
1784.99	v -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028
1784.99	v -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045
1784.99	v -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062
1784.99	v -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079
1784.99	v -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096
1784.99	v -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113
1784.99	v -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125

Verifier Data (download as text)

OK	-29

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/node80/watcher-37455-1149322369 -o ROOT/results/node80/solver-37455-1149322369 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node80/37455-1149322369/instance-37455-1149322369.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1551616/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=2576 CPUtime=0
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 261 0 0 0 0 0 0 0 19 0 1 0 197875422 2637824 233 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11874743 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 644 233 191 16 0 84 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1540680/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=13772 CPUtime=10
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 3001 0 0 0 998 2 0 0 25 0 1 0 197875422 14102528 2973 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 3443 2973 206 16 0 2883 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 13772

[startup+20.0085 s]
/proc/loadavg: 0.94 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1538184/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=16268 CPUtime=19.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 3637 0 0 0 1996 2 0 0 25 0 1 0 197875422 16658432 3609 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 4067 3609 206 16 0 3507 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 16268

[startup+30.0146 s]
/proc/loadavg: 0.95 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1536328/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=18200 CPUtime=29.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 4119 0 0 0 2996 2 0 0 25 0 1 0 197875422 18636800 4091 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 4550 4091 206 16 0 3990 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 18200

[startup+40.0206 s]
/proc/loadavg: 0.95 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1534920/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=19688 CPUtime=39.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 4480 0 0 0 3996 2 0 0 25 0 1 0 197875422 20160512 4452 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 4922 4452 206 16 0 4362 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 19688

[startup+50.0267 s]
/proc/loadavg: 0.96 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1533704/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=20892 CPUtime=49.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 4792 0 0 0 4996 2 0 0 25 0 1 0 197875422 21393408 4764 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 5223 4764 206 16 0 4663 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 20892

[startup+60.0328 s]
/proc/loadavg: 0.97 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1532552/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=22148 CPUtime=59.99
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 5083 0 0 0 5996 3 0 0 25 0 1 0 197875422 22679552 5055 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 5537 5055 206 16 0 4977 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 22148

[startup+70.0388 s]
/proc/loadavg: 0.97 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1531208/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=23404 CPUtime=69.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 5409 0 0 0 6995 3 0 0 25 0 1 0 197875422 23965696 5381 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 5851 5381 206 16 0 5291 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 23404

[startup+80.0459 s]
/proc/loadavg: 0.98 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1529928/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=24660 CPUtime=79.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 5723 0 0 0 7995 3 0 0 25 0 1 0 197875422 25251840 5695 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6562/statm: 6165 5695 206 16 0 5605 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 24660

[startup+90.052 s]
/proc/loadavg: 0.98 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1528520/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=26004 CPUtime=89.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 6070 0 0 0 8995 3 0 0 25 0 1 0 197875422 26628096 6042 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 6501 6042 206 16 0 5941 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 26004

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1527304/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=27260 CPUtime=99.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 6384 0 0 0 9995 3 0 0 25 0 1 0 197875422 27914240 6356 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 6815 6356 206 16 0 6255 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 27260

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1525896/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=28608 CPUtime=109.97
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 6721 0 0 0 10994 3 0 0 25 0 1 0 197875422 29294592 6693 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 7152 6693 206 16 0 6592 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28608

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1524936/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=29684 CPUtime=119.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 6979 0 0 0 11994 4 0 0 25 0 1 0 197875422 30396416 6951 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 7421 6951 206 16 0 6861 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 29684

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1523336/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=31164 CPUtime=129.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7361 0 0 0 12994 4 0 0 25 0 1 0 197875422 31911936 7333 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517896 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 7791 7333 206 16 0 7231 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 31164

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522568/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=32012 CPUtime=139.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7562 0 0 0 13994 4 0 0 25 0 1 0 197875422 32780288 7534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 8003 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 32012

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522568/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=32012 CPUtime=149.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7562 0 0 0 14994 4 0 0 25 0 1 0 197875422 32780288 7534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 8003 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 32012

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522568/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=32012 CPUtime=159.98
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7562 0 0 0 15994 4 0 0 25 0 1 0 197875422 32780288 7534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 8003 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 32012

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522568/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=32012 CPUtime=169.97
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7562 0 0 0 16993 4 0 0 25 0 1 0 197875422 32780288 7534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/6562/statm: 8003 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 32012

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522568/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=32012 CPUtime=179.97
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7562 0 0 0 17993 4 0 0 25 0 1 0 197875422 32780288 7534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 8003 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 32012

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522568/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=32012 CPUtime=189.97
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7562 0 0 0 18993 4 0 0 25 0 1 0 197875422 32780288 7534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 8003 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 32012

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522568/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=32012 CPUtime=199.97
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 7562 0 0 0 19993 4 0 0 25 0 1 0 197875422 32780288 7534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 8003 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 32012

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1522504/2055888 swapFree=4085432/4096564

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

/proc/6562/statm: 21250 20794 206 16 0 20690 0
Current children cumulated CPU time (s) 1569.88
Current children cumulated vsize (Kb) 85000

[startup+1580.96 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1468936/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=85000 CPUtime=1579.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 20845 0 0 0 157976 12 0 0 25 0 1 0 197875422 87040000 20794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 21250 20794 206 16 0 20690 0
Current children cumulated CPU time (s) 1579.88
Current children cumulated vsize (Kb) 85000

[startup+1590.97 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6562
/proc/meminfo: memFree=1468936/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=85000 CPUtime=1589.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 20845 0 0 0 158976 12 0 0 25 0 1 0 197875422 87040000 20794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517887 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 21250 20794 206 16 0 20690 0
Current children cumulated CPU time (s) 1589.88
Current children cumulated vsize (Kb) 85000

[startup+1600.97 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1468680/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=85000 CPUtime=1599.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 20845 0 0 0 159976 12 0 0 25 0 1 0 197875422 87040000 20794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 21250 20794 206 16 0 20690 0
Current children cumulated CPU time (s) 1599.88
Current children cumulated vsize (Kb) 85000

[startup+1610.98 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1468680/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=85000 CPUtime=1609.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 20845 0 0 0 160976 12 0 0 25 0 1 0 197875422 87040000 20794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 21250 20794 206 16 0 20690 0
Current children cumulated CPU time (s) 1609.88
Current children cumulated vsize (Kb) 85000

[startup+1620.99 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1468680/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=85000 CPUtime=1619.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 20845 0 0 0 161976 12 0 0 25 0 1 0 197875422 87040000 20794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 21250 20794 206 16 0 20690 0
Current children cumulated CPU time (s) 1619.88
Current children cumulated vsize (Kb) 85000

[startup+1630.99 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1467528/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=86376 CPUtime=1629.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 21185 0 0 0 162976 12 0 0 25 0 1 0 197875422 88449024 21134 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 21594 21134 206 16 0 21034 0
Current children cumulated CPU time (s) 1629.88
Current children cumulated vsize (Kb) 86376

[startup+1641 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1465736/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=88456 CPUtime=1639.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 21680 0 0 0 163975 13 0 0 25 0 1 0 197875422 90578944 21627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 22114 21627 206 16 0 21554 0
Current children cumulated CPU time (s) 1639.88
Current children cumulated vsize (Kb) 88456

[startup+1651.01 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1462664/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=91504 CPUtime=1649.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 22441 0 0 0 164976 13 0 0 25 0 1 0 197875422 93700096 22383 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 22876 22383 206 16 0 22316 0
Current children cumulated CPU time (s) 1649.89
Current children cumulated vsize (Kb) 91504

[startup+1661.01 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1460104/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=93976 CPUtime=1659.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 23088 0 0 0 165975 13 0 0 25 0 1 0 197875422 96231424 23026 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 23494 23026 206 16 0 22934 0
Current children cumulated CPU time (s) 1659.88
Current children cumulated vsize (Kb) 93976

[startup+1671.02 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1457800/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=96368 CPUtime=1669.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 23677 0 0 0 166975 13 0 0 25 0 1 0 197875422 98680832 23611 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 24092 23611 206 16 0 23532 0
Current children cumulated CPU time (s) 1669.88
Current children cumulated vsize (Kb) 96368

[startup+1681.02 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1455944/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=98204 CPUtime=1679.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 24122 0 0 0 167975 14 0 0 25 0 1 0 197875422 100560896 24048 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 24551 24048 206 16 0 23991 0
Current children cumulated CPU time (s) 1679.89
Current children cumulated vsize (Kb) 98204

[startup+1691.03 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1453896/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=100160 CPUtime=1689.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 24641 0 0 0 168975 14 0 0 25 0 1 0 197875422 102563840 24558 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6562/statm: 25040 24558 206 16 0 24480 0
Current children cumulated CPU time (s) 1689.89
Current children cumulated vsize (Kb) 100160

[startup+1701.03 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1451656/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=102456 CPUtime=1699.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 25211 0 0 0 169974 14 0 0 25 0 1 0 197875422 104914944 25124 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517896 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 25614 25124 206 16 0 25054 0
Current children cumulated CPU time (s) 1699.88
Current children cumulated vsize (Kb) 102456

[startup+1711.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1449416/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=104688 CPUtime=1709.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 25793 0 0 0 170974 14 0 0 25 0 1 0 197875422 107200512 25700 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 26172 25700 206 16 0 25612 0
Current children cumulated CPU time (s) 1709.88
Current children cumulated vsize (Kb) 104688

[startup+1721.05 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1447688/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=106484 CPUtime=1719.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 26213 0 0 0 171974 14 0 0 25 0 1 0 197875422 109039616 26119 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 26621 26119 206 16 0 26061 0
Current children cumulated CPU time (s) 1719.88
Current children cumulated vsize (Kb) 106484

[startup+1731.05 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1445576/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=108496 CPUtime=1729.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 26740 0 0 0 172974 15 0 0 25 0 1 0 197875422 111099904 26645 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 27124 26645 206 16 0 26564 0
Current children cumulated CPU time (s) 1729.89
Current children cumulated vsize (Kb) 108496

[startup+1741.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1443016/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=111108 CPUtime=1739.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 27394 0 0 0 173974 15 0 0 25 0 1 0 197875422 113774592 27290 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 27777 27290 206 16 0 27217 0
Current children cumulated CPU time (s) 1739.89
Current children cumulated vsize (Kb) 111108

[startup+1751.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1440072/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=114072 CPUtime=1749.88
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 28123 0 0 0 174973 15 0 0 25 0 1 0 197875422 116809728 28012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 28518 28012 206 16 0 27958 0
Current children cumulated CPU time (s) 1749.88
Current children cumulated vsize (Kb) 114072

[startup+1761.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1437256/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=116848 CPUtime=1759.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 28830 0 0 0 175973 16 0 0 25 0 1 0 197875422 119652352 28713 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 29212 28713 206 16 0 28652 0
Current children cumulated CPU time (s) 1759.89
Current children cumulated vsize (Kb) 116848

[startup+1771.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1435528/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=118612 CPUtime=1769.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 29265 0 0 0 176973 16 0 0 25 0 1 0 197875422 121458688 29141 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 29653 29141 206 16 0 29093 0
Current children cumulated CPU time (s) 1769.89
Current children cumulated vsize (Kb) 118612

[startup+1781.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 6564
/proc/meminfo: memFree=1433544/2055888 swapFree=4085432/4096564
[pid=6562] ppid=6560 vsize=120648 CPUtime=1779.89
/proc/6562/stat : 6562 (Pueblo13) R 6560 6562 6516 0 -1 4194304 29760 0 0 0 177973 16 0 0 25 0 1 0 197875422 123543552 29635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 0 0 0
/proc/6562/statm: 30162 29635 206 16 0 29602 0
Current children cumulated CPU time (s) 1779.89
Current children cumulated vsize (Kb) 120648

Child status: 10
Real time (s): 1785.02
CPU time (s): 1783.82
CPU user time (s): 1783.63
CPU system time (s): 0.186971
CPU usage (%): 99.9327
Max. virtual memory (cumulated for all children) (Kb): 120648

Launcher Data (download as text)

Begin job on node80 on Sat Jun  3 08:12:49 UTC 2006


FILE ID= 37455-1149322369

PBS_JOBID= 309410

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node80/37455-1149322369/instance-37455-1149322369.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node80/watcher-37455-1149322369 -o ROOT/results/node80/solver-37455-1149322369 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node80/37455-1149322369/instance-37455-1149322369.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  cffbae99cf8c83f8877355cc201cf8bf

RANDOM SEED= 129433258


/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.264
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	: 6006.16
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.264
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1551888 kB
Buffers:         12848 kB
Cached:         427668 kB
SwapCached:       2436 kB
Active:          37140 kB
Inactive:       412152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1551888 kB
SwapTotal:     4096564 kB
SwapFree:      4085432 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          16648 kB
Slab:            41408 kB
Committed_AS:   358024 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Sat Jun  3 08:42:34 UTC 2006