Trace number 37663

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.3SAT0 1782.92 1783.61

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.91 2/64 27584
/proc/meminfo: memFree=1632224/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=964 CPUtime=0
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 199879576 987136 35 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 10924836 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 276 38 29 16 0 8 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.95 0.91 2/64 27584
/proc/meminfo: memFree=1619424/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=15508 CPUtime=9.99
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 3438 0 0 0 998 1 0 0 25 0 1 0 199879576 15880192 3409 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 3877 3409 206 16 0 3318 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 15508

[startup+20.0074 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1617632/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=17316 CPUtime=19.99
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 3895 0 0 0 1998 1 0 0 25 0 1 0 199879576 17731584 3866 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 4329 3866 206 16 0 3770 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 17316

[startup+30.0131 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1616352/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=18616 CPUtime=30
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 4211 0 0 0 2998 2 0 0 25 0 1 0 199879576 19062784 4182 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 4654 4182 206 16 0 4095 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 18616

[startup+40.0187 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1614816/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=20216 CPUtime=39.99
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 4612 0 0 0 3997 2 0 0 25 0 1 0 199879576 20701184 4583 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 5054 4583 206 16 0 4495 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 20216

[startup+50.0243 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1613536/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=21560 CPUtime=49.99
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 4934 0 0 0 4997 2 0 0 25 0 1 0 199879576 22077440 4904 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 5390 4904 206 16 0 4831 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 21560

[startup+60.03 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1612256/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=22788 CPUtime=60
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 5246 0 0 0 5997 3 0 0 25 0 1 0 199879576 23334912 5216 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 5697 5216 206 16 0 5138 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 22788

[startup+70.0356 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1611296/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=23756 CPUtime=70
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 5494 0 0 0 6997 3 0 0 25 0 1 0 199879576 24326144 5464 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 5939 5464 206 16 0 5380 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 23756

[startup+80.0412 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1610208/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=24800 CPUtime=80
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 5769 0 0 0 7997 3 0 0 25 0 1 0 199879576 25395200 5736 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 6200 5736 206 16 0 5641 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 24800

[startup+90.0469 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1609056/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=25980 CPUtime=90.01
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 6055 0 0 0 8998 3 0 0 25 0 1 0 199879576 26603520 6021 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 6495 6021 206 16 0 5936 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 25980

[startup+100.052 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1607968/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=27088 CPUtime=100.01
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 6332 0 0 0 9998 3 0 0 25 0 1 0 199879576 27738112 6296 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 6772 6296 206 16 0 6213 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 27088

[startup+110.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 27584
/proc/meminfo: memFree=1606944/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=28108 CPUtime=110.01
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 6592 0 0 0 10998 3 0 0 25 0 1 0 199879576 28782592 6554 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7027 6554 206 16 0 6468 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 28108

[startup+120.064 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605728/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29236 CPUtime=120.01
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 6897 0 0 0 11998 3 0 0 25 0 1 0 199879576 29937664 6857 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7309 6857 206 16 0 6750 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 29236

[startup+130.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605088/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29748 CPUtime=130.02
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7045 0 0 0 12998 4 0 0 25 0 1 0 199879576 30461952 6983 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7437 6983 206 16 0 6878 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 29748

[startup+140.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605088/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29748 CPUtime=140.01
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7045 0 0 0 13997 4 0 0 25 0 1 0 199879576 30461952 6983 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7437 6983 206 16 0 6878 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 29748

[startup+150.082 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605088/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29748 CPUtime=150.02
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7045 0 0 0 14998 4 0 0 25 0 1 0 199879576 30461952 6983 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7437 6983 206 16 0 6878 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 29748

[startup+160.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605088/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29748 CPUtime=160.02
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7049 0 0 0 15998 4 0 0 25 0 1 0 199879576 30461952 6987 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7437 6987 206 16 0 6878 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 29748

[startup+170.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605088/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29748 CPUtime=170.02
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7049 0 0 0 16998 4 0 0 25 0 1 0 199879576 30461952 6987 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7437 6987 206 16 0 6878 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 29748

[startup+180.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605088/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29748 CPUtime=180.02
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7049 0 0 0 17998 4 0 0 25 0 1 0 199879576 30461952 6987 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7437 6987 206 16 0 6878 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 29748

[startup+190.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1605088/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=29748 CPUtime=190.03
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7049 0 0 0 18999 4 0 0 25 0 1 0 199879576 30461952 6987 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7437 6987 206 16 0 6878 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 29748

[startup+200.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1604640/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=30232 CPUtime=200.04
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 7173 0 0 0 19999 5 0 0 25 0 1 0 199879576 30957568 7108 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 7558 7108 206 16 0 6999 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 30232

[startup+210.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27584
/proc/meminfo: memFree=1604640/2055920 swapFree=4181424/4192956

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

/proc/27584/statm: 24283 23816 206 16 0 23724 0
Current children cumulated CPU time (s) 1590.28
Current children cumulated vsize (Kb) 97132

[startup+1600.92 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1535848/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=98380 CPUtime=1600.29
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 24534 0 0 0 160005 24 0 0 25 0 1 0 199879576 100741120 24134 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 24595 24134 206 16 0 24036 0
Current children cumulated CPU time (s) 1600.29
Current children cumulated vsize (Kb) 98380

[startup+1610.92 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1534312/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=100040 CPUtime=1610.29
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 24910 0 0 0 161005 24 0 0 25 0 1 0 199879576 102440960 24509 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 25010 24509 206 16 0 24451 0
Current children cumulated CPU time (s) 1610.29
Current children cumulated vsize (Kb) 100040

[startup+1620.93 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1533224/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=101284 CPUtime=1620.28
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 25241 0 0 0 162004 24 0 0 25 0 1 0 199879576 103714816 24839 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 25321 24839 206 16 0 24762 0
Current children cumulated CPU time (s) 1620.28
Current children cumulated vsize (Kb) 101284

[startup+1630.93 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1531752/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=102740 CPUtime=1630.29
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 25593 0 0 0 163004 25 0 0 25 0 1 0 199879576 105205760 25191 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 25685 25191 206 16 0 25126 0
Current children cumulated CPU time (s) 1630.29
Current children cumulated vsize (Kb) 102740

[startup+1640.94 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1530408/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=104016 CPUtime=1640.29
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 25942 0 0 0 164004 25 0 0 25 0 1 0 199879576 106512384 25539 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 26004 25539 206 16 0 25445 0
Current children cumulated CPU time (s) 1640.29
Current children cumulated vsize (Kb) 104016

[startup+1650.95 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1529064/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=105332 CPUtime=1650.29
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 26269 0 0 0 165004 25 0 0 25 0 1 0 199879576 107859968 25866 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 26333 25866 206 16 0 25774 0
Current children cumulated CPU time (s) 1650.29
Current children cumulated vsize (Kb) 105332

[startup+1660.95 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1527720/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=106780 CPUtime=1660.3
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 26602 0 0 0 166004 26 0 0 25 0 1 0 199879576 109342720 26198 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 26695 26198 206 16 0 26136 0
Current children cumulated CPU time (s) 1660.3
Current children cumulated vsize (Kb) 106780

[startup+1670.96 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1526568/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=107820 CPUtime=1670.3
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 26881 0 0 0 167004 26 0 0 25 0 1 0 199879576 110407680 26476 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 26955 26476 206 16 0 26396 0
Current children cumulated CPU time (s) 1670.3
Current children cumulated vsize (Kb) 107820

[startup+1680.96 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1525160/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=109296 CPUtime=1680.3
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27243 0 0 0 168004 26 0 0 25 0 1 0 199879576 111919104 26837 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27324 26837 206 16 0 26765 0
Current children cumulated CPU time (s) 1680.3
Current children cumulated vsize (Kb) 109296

[startup+1690.97 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524328/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1690.31
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27445 0 0 0 169004 27 0 0 25 0 1 0 199879576 112685056 27039 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27039 206 16 0 26952 0
Current children cumulated CPU time (s) 1690.31
Current children cumulated vsize (Kb) 110044

[startup+1700.97 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524328/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1700.31
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27445 0 0 0 170004 27 0 0 25 0 1 0 199879576 112685056 27039 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27039 206 16 0 26952 0
Current children cumulated CPU time (s) 1700.31
Current children cumulated vsize (Kb) 110044

[startup+1710.98 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524328/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1710.31
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27445 0 0 0 171004 27 0 0 25 0 1 0 199879576 112685056 27039 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27039 206 16 0 26952 0
Current children cumulated CPU time (s) 1710.31
Current children cumulated vsize (Kb) 110044

[startup+1720.98 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524264/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1720.31
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27446 0 0 0 172004 27 0 0 25 0 1 0 199879576 112685056 27040 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27040 206 16 0 26952 0
Current children cumulated CPU time (s) 1720.31
Current children cumulated vsize (Kb) 110044

[startup+1730.99 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524264/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1730.31
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27446 0 0 0 173004 27 0 0 25 0 1 0 199879576 112685056 27040 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27040 206 16 0 26952 0
Current children cumulated CPU time (s) 1730.31
Current children cumulated vsize (Kb) 110044

[startup+1741 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524264/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1740.31
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27446 0 0 0 174004 27 0 0 25 0 1 0 199879576 112685056 27040 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27040 206 16 0 26952 0
Current children cumulated CPU time (s) 1740.31
Current children cumulated vsize (Kb) 110044

[startup+1751 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524264/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1750.31
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27446 0 0 0 175004 27 0 0 25 0 1 0 199879576 112685056 27040 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27040 206 16 0 26952 0
Current children cumulated CPU time (s) 1750.31
Current children cumulated vsize (Kb) 110044

[startup+1761.01 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 27779
/proc/meminfo: memFree=1524264/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1760.32
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27446 0 0 0 176005 27 0 0 25 0 1 0 199879576 112685056 27040 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27040 206 16 0 26952 0
Current children cumulated CPU time (s) 1760.32
Current children cumulated vsize (Kb) 110044

[startup+1771.01 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524200/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1770.32
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27455 0 0 0 177005 27 0 0 25 0 1 0 199879576 112685056 27049 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27049 206 16 0 26952 0
Current children cumulated CPU time (s) 1770.32
Current children cumulated vsize (Kb) 110044

[startup+1781.02 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524200/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1780.33
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27455 0 0 0 178005 28 0 0 25 0 1 0 199879576 112685056 27049 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27049 206 16 0 26952 0
Current children cumulated CPU time (s) 1780.33
Current children cumulated vsize (Kb) 110044

[startup+1782.02 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524200/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1781.33
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27455 0 0 0 178105 28 0 0 25 0 1 0 199879576 112685056 27049 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27049 206 16 0 26952 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 110044

[startup+1783.03 s]
/proc/loadavg: 1.00 1.00 0.93 2/64 27779
/proc/meminfo: memFree=1524200/2055920 swapFree=4181424/4192956
[pid=27584] ppid=27582 vsize=110044 CPUtime=1782.34
/proc/27584/stat : 27584 (Pueblo13) R 27582 27584 27538 0 -1 4194304 27455 0 0 0 178206 28 0 0 25 0 1 0 199879576 112685056 27049 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27584/statm: 27511 27049 206 16 0 26952 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (Kb) 110044

Child status: 10
Real time (s): 1783.61
CPU time (s): 1782.92
CPU user time (s): 1782.62
CPU system time (s): 0.299954
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (Kb): 110044

Launcher Data (download as text)

Begin job on node3 on Sat Jun  3 13:42:59 UTC 2006


FILE ID= 37663-1149342178

PBS_JOBID= 310475

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/Pueblo13 ROOT/tmp/node3/37663-1149342178/instance-37663-1149342178.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-37663-1149342178 -o ROOT/results/node3/solver-37663-1149342178 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node3/37663-1149342178/instance-37663-1149342178.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  ba437a46cdfe6ecad707b12b94061ac9

RANDOM SEED= 80077203


/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.261
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.261
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:       1632432 kB
Buffers:         10448 kB
Cached:         347096 kB
SwapCached:       3128 kB
Active:          39044 kB
Inactive:       327140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1632432 kB
SwapTotal:     4192956 kB
SwapFree:      4181424 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            43384 kB
Committed_AS:   302812 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 node3 on Sat Jun  3 14:12:42 UTC 2006