Trace number 36513

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.4SAT0 1782.77 1783.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
MD5SUMba437a46cdfe6ecad707b12b94061ac9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-20
Best CPU time to get the best result obtained on this benchmark1800.8
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -20
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 3344
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 531132
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 15548
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 531582
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data (download as text)

OK	0

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/node43/watcher-36513-1149342146 -o ROOT/results/node43/solver-36513-1149342146 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node43/36513-1149342146/instance-36513-1149342146.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1825160/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=2280 CPUtime=0
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 199881329 2334720 131 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4160225184 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 570 142 120 16 0 11 0

[startup+10.0021 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1812368/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=15508 CPUtime=9.99
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 3438 0 0 0 998 1 0 0 25 0 1 0 199881329 15880192 3409 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 3877 3409 206 16 0 3318 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 15508

[startup+20.008 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1810640/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=17316 CPUtime=19.99
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 3895 0 0 0 1998 1 0 0 25 0 1 0 199881329 17731584 3866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 4329 3866 206 16 0 3770 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 17316

[startup+30.0139 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1809424/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=18616 CPUtime=30
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 4211 0 0 0 2998 2 0 0 25 0 1 0 199881329 19062784 4182 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 4654 4182 206 16 0 4095 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 18616

[startup+40.0197 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1807824/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=20216 CPUtime=40
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 4612 0 0 0 3998 2 0 0 25 0 1 0 199881329 20701184 4583 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 5054 4583 206 16 0 4495 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 20216

[startup+50.0266 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1806544/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=21560 CPUtime=50.01
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 4934 0 0 0 4998 3 0 0 25 0 1 0 199881329 22077440 4904 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 5390 4904 206 16 0 4831 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 21560

[startup+60.0315 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1805264/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=22788 CPUtime=60.01
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 5263 0 0 0 5998 3 0 0 25 0 1 0 199881329 23334912 5216 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 5697 5216 206 16 0 5138 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 22788

[startup+70.0374 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1804368/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=23756 CPUtime=70.01
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 5514 0 0 0 6998 3 0 0 25 0 1 0 199881329 24326144 5464 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 5939 5464 206 16 0 5380 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 23756

[startup+80.0432 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1803152/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=24820 CPUtime=80.01
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 5864 0 0 0 7998 3 0 0 25 0 1 0 199881329 25415680 5756 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 6205 5756 206 16 0 5646 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 24820

[startup+90.0491 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1802064/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=26000 CPUtime=90.01
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 6139 0 0 0 8998 3 0 0 25 0 1 0 199881329 26624000 6026 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 6500 6026 206 16 0 5941 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 26000

[startup+100.055 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1800976/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=27108 CPUtime=100.02
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 6509 0 0 0 9998 4 0 0 25 0 1 0 199881329 27758592 6301 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 6777 6301 206 16 0 6218 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 27108

[startup+110.061 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1799952/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=28180 CPUtime=110.03
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 6793 0 0 0 10999 4 0 0 25 0 1 0 199881329 28856320 6564 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7045 6564 206 16 0 6486 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 28180

[startup+120.066 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798736/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29272 CPUtime=120.03
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7149 0 0 0 11999 4 0 0 25 0 1 0 199881329 29974528 6865 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7318 6865 206 16 0 6759 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 29272

[startup+130.072 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798160/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29784 CPUtime=130.02
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7297 0 0 0 12998 4 0 0 25 0 1 0 199881329 30498816 6990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7446 6990 206 16 0 6887 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 29784

[startup+140.078 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798160/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29784 CPUtime=140.03
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7297 0 0 0 13998 5 0 0 25 0 1 0 199881329 30498816 6990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7446 6990 206 16 0 6887 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 29784

[startup+150.083 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798224/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29784 CPUtime=150.03
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7297 0 0 0 14998 5 0 0 25 0 1 0 199881329 30498816 6990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7446 6990 206 16 0 6887 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 29784

[startup+160.089 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798224/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29784 CPUtime=160.04
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7302 0 0 0 15999 5 0 0 25 0 1 0 199881329 30498816 6995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7446 6995 206 16 0 6887 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 29784

[startup+170.096 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798224/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29784 CPUtime=170.04
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7302 0 0 0 16999 5 0 0 25 0 1 0 199881329 30498816 6995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7446 6995 206 16 0 6887 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 29784

[startup+180.101 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798224/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29784 CPUtime=180.05
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7302 0 0 0 17999 6 0 0 25 0 1 0 199881329 30498816 6995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7446 6995 206 16 0 6887 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 29784

[startup+190.107 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1798224/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=29784 CPUtime=190.05
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7302 0 0 0 18999 6 0 0 25 0 1 0 199881329 30498816 6995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7446 6995 206 16 0 6887 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 29784

[startup+200.113 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1797712/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=30252 CPUtime=200.05
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 7446 0 0 0 19999 6 0 0 25 0 1 0 199881329 30978048 7114 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 7563 7114 206 16 0 7004 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 30252

[startup+210.119 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 8612
/proc/meminfo: memFree=1797712/2055920 swapFree=4180880/4192956

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

/proc/8612/statm: 24309 23833 206 16 0 23750 0
Current children cumulated CPU time (s) 1590.43
Current children cumulated vsize (Kb) 97236

[startup+1600.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1729048/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=98544 CPUtime=1600.43
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 26066 0 0 0 160013 30 0 0 25 0 1 0 199881329 100909056 24147 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 24636 24147 206 16 0 24077 0
Current children cumulated CPU time (s) 1600.43
Current children cumulated vsize (Kb) 98544

[startup+1610.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1727512/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=99936 CPUtime=1610.43
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 26476 0 0 0 161013 30 0 0 25 0 1 0 199881329 102334464 24525 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 24984 24525 206 16 0 24425 0
Current children cumulated CPU time (s) 1610.43
Current children cumulated vsize (Kb) 99936

[startup+1620.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1726296/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=101228 CPUtime=1620.44
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 26792 0 0 0 162013 31 0 0 25 0 1 0 199881329 103657472 24827 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 25307 24827 206 16 0 24748 0
Current children cumulated CPU time (s) 1620.44
Current children cumulated vsize (Kb) 101228

[startup+1630.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1724888/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=102624 CPUtime=1630.44
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 27174 0 0 0 163013 31 0 0 25 0 1 0 199881329 105086976 25179 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 25656 25179 206 16 0 25097 0
Current children cumulated CPU time (s) 1630.44
Current children cumulated vsize (Kb) 102624

[startup+1640.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1723416/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=104040 CPUtime=1640.44
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 27540 0 0 0 164013 31 0 0 25 0 1 0 199881329 106536960 25540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 26010 25540 206 16 0 25451 0
Current children cumulated CPU time (s) 1640.44
Current children cumulated vsize (Kb) 104040

[startup+1650.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1722136/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=105356 CPUtime=1650.45
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 27887 0 0 0 165013 32 0 0 25 0 1 0 199881329 107884544 25861 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 26339 25861 206 16 0 25780 0
Current children cumulated CPU time (s) 1650.45
Current children cumulated vsize (Kb) 105356

[startup+1660.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1720792/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=106664 CPUtime=1660.45
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 28250 0 0 0 166013 32 0 0 25 0 1 0 199881329 109223936 26193 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 26666 26193 206 16 0 26107 0
Current children cumulated CPU time (s) 1660.45
Current children cumulated vsize (Kb) 106664

[startup+1670.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1719768/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=107844 CPUtime=1670.46
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 28530 0 0 0 167013 33 0 0 25 0 1 0 199881329 110432256 26472 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 26961 26472 206 16 0 26402 0
Current children cumulated CPU time (s) 1670.46
Current children cumulated vsize (Kb) 107844

[startup+1680.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1718296/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=109200 CPUtime=1680.46
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 28892 0 0 0 168013 33 0 0 25 0 1 0 199881329 111820800 26832 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27300 26832 206 16 0 26741 0
Current children cumulated CPU time (s) 1680.46
Current children cumulated vsize (Kb) 109200

[startup+1690.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717464/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1690.46
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29113 0 0 0 169013 33 0 0 25 0 1 0 199881329 112791552 27052 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27052 206 16 0 26978 0
Current children cumulated CPU time (s) 1690.46
Current children cumulated vsize (Kb) 110148

[startup+1700.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1700.46
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29113 0 0 0 170013 33 0 0 25 0 1 0 199881329 112791552 27052 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27052 206 16 0 26978 0
Current children cumulated CPU time (s) 1700.46
Current children cumulated vsize (Kb) 110148

[startup+1711 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1710.46
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29113 0 0 0 171013 33 0 0 25 0 1 0 199881329 112791552 27052 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27052 206 16 0 26978 0
Current children cumulated CPU time (s) 1710.46
Current children cumulated vsize (Kb) 110148

[startup+1721 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1720.48
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29114 0 0 0 172014 34 0 0 25 0 1 0 199881329 112791552 27053 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27053 206 16 0 26978 0
Current children cumulated CPU time (s) 1720.48
Current children cumulated vsize (Kb) 110148

[startup+1731.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1730.48
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29114 0 0 0 173014 34 0 0 25 0 1 0 199881329 112791552 27053 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27053 206 16 0 26978 0
Current children cumulated CPU time (s) 1730.48
Current children cumulated vsize (Kb) 110148

[startup+1741.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1740.48
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29115 0 0 0 174014 34 0 0 25 0 1 0 199881329 112791552 27054 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27054 206 16 0 26978 0
Current children cumulated CPU time (s) 1740.48
Current children cumulated vsize (Kb) 110148

[startup+1751.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1750.48
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29115 0 0 0 175014 34 0 0 25 0 1 0 199881329 112791552 27054 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27054 206 16 0 26978 0
Current children cumulated CPU time (s) 1750.48
Current children cumulated vsize (Kb) 110148

[startup+1761.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1760.49
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29115 0 0 0 176015 34 0 0 25 0 1 0 199881329 112791552 27054 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27054 206 16 0 26978 0
Current children cumulated CPU time (s) 1760.49
Current children cumulated vsize (Kb) 110148

[startup+1771.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1770.49
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29116 0 0 0 177015 34 0 0 25 0 1 0 199881329 112791552 27055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27055 206 16 0 26978 0
Current children cumulated CPU time (s) 1770.49
Current children cumulated vsize (Kb) 110148

[startup+1781.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1780.49
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29116 0 0 0 178015 34 0 0 25 0 1 0 199881329 112791552 27055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27055 206 16 0 26978 0
Current children cumulated CPU time (s) 1780.49
Current children cumulated vsize (Kb) 110148

[startup+1782.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1781.49
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29116 0 0 0 178115 34 0 0 25 0 1 0 199881329 112791552 27055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27055 206 16 0 26978 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 110148

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8807
/proc/meminfo: memFree=1717400/2055920 swapFree=4180880/4192956
[pid=8612] ppid=8610 vsize=110148 CPUtime=1782.5
/proc/8612/stat : 8612 (Pueblo) R 8610 8612 8566 0 -1 4194304 29116 0 0 0 178216 34 0 0 25 0 1 0 199881329 112791552 27055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/8612/statm: 27537 27055 206 16 0 26978 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (Kb) 110148

Child status: 10
Real time (s): 1783.31
CPU time (s): 1782.77
CPU user time (s): 1782.4
CPU system time (s): 0.364944
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (Kb): 110148

Launcher Data (download as text)

Begin job on node43 on Sat Jun  3 13:42:26 UTC 2006


FILE ID= 36513-1149342146

PBS_JOBID= 310468

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  ba437a46cdfe6ecad707b12b94061ac9

RANDOM SEED= 271751008


/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.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1825368 kB
Buffers:         18340 kB
Cached:         154360 kB
SwapCached:       3760 kB
Active:          35636 kB
Inactive:       145728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825368 kB
SwapTotal:     4192956 kB
SwapFree:      4180880 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14888 kB
Slab:            35172 kB
Committed_AS:   324372 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node43 on Sat Jun  3 14:12:09 UTC 2006