Trace number 36305

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.4SAT-29 1782.91 1783.49

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-fit1d.opb
MD5SUMcffbae99cf8c83f8877355cc201cf8bf
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-251
Best CPU time to get the best result obtained on this benchmark1800.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -251
Optimality of the best value was proved NO
Number of variables11514
Total number of constraints1050
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1050
Minimum length of a constraint11
Maximum length of a constraint11514
Number of terms in the objective function 11514
Biggest coefficient in the objective function 2949120
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 462466666
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 3870720
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 580921206
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-29

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-36305-1149322366 -o ROOT/results/node29/solver-36305-1149322366 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node29/36305-1149322366/instance-36305-1149322366.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 19600
/proc/meminfo: memFree=1845424/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=1104 CPUtime=0
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 55 0 0 0 0 0 0 0 18 0 1 0 197900163 1130496 39 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 276 41 32 16 0 8 0

[startup+10.0015 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 19600
/proc/meminfo: memFree=1834488/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=13600 CPUtime=9.99
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 2960 0 0 0 998 1 0 0 25 0 1 0 197900163 13926400 2931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 3400 2931 206 16 0 2841 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13600

[startup+20.0069 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1832056/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=16040 CPUtime=19.99
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 3569 0 0 0 1997 2 0 0 25 0 1 0 197900163 16424960 3540 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 4010 3540 206 16 0 3451 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 16040

[startup+30.0123 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1830200/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=17928 CPUtime=29.99
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 4042 0 0 0 2997 2 0 0 25 0 1 0 197900163 18358272 4013 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 4482 4013 206 16 0 3923 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 17928

[startup+40.0178 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1828920/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=19236 CPUtime=39.99
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 4369 0 0 0 3997 2 0 0 25 0 1 0 197900163 19697664 4340 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 4809 4340 206 16 0 4250 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 19236

[startup+50.0232 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1827576/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=20616 CPUtime=49.99
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 4714 0 0 0 4997 2 0 0 25 0 1 0 197900163 21110784 4685 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 5154 4685 206 16 0 4595 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 20616

[startup+60.0286 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1826424/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=21740 CPUtime=60
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 5006 0 0 0 5997 3 0 0 25 0 1 0 197900163 22261760 4977 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 5435 4977 206 16 0 4876 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 21740

[startup+70.034 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1825336/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=22816 CPUtime=70
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 5263 0 0 0 6997 3 0 0 25 0 1 0 197900163 23363584 5234 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 5704 5234 206 16 0 5145 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 22816

[startup+80.0394 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1824120/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=23984 CPUtime=80
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 5567 0 0 0 7997 3 0 0 25 0 1 0 197900163 24559616 5538 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 5996 5538 206 16 0 5437 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 23984

[startup+90.0449 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1823096/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=25148 CPUtime=90
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 5847 0 0 0 8997 3 0 0 25 0 1 0 197900163 25751552 5818 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 6287 5818 206 16 0 5728 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 25148

[startup+100.05 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1821752/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=26448 CPUtime=100
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 6171 0 0 0 9997 3 0 0 25 0 1 0 197900163 27082752 6142 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 6612 6142 206 16 0 6053 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 26448

[startup+110.057 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 19600
/proc/meminfo: memFree=1820536/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=27660 CPUtime=110.01
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 6475 0 0 0 10998 3 0 0 25 0 1 0 197900163 28323840 6446 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 6915 6446 206 16 0 6356 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 27660

[startup+120.063 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1819384/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=28828 CPUtime=120.02
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 6755 0 0 0 11998 4 0 0 25 0 1 0 197900163 29519872 6726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 7207 6726 206 16 0 6648 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 28828

[startup+130.069 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1818168/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=29992 CPUtime=130.02
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7059 0 0 0 12998 4 0 0 25 0 1 0 197900163 30711808 7030 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 7498 7030 206 16 0 6939 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 29992

[startup+140.075 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816952/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=31252 CPUtime=140.02
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7373 0 0 0 13998 4 0 0 25 0 1 0 197900163 32002048 7344 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 7813 7344 206 16 0 7254 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 31252

[startup+150.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816184/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=32008 CPUtime=150.03
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7563 0 0 0 14998 5 0 0 25 0 1 0 197900163 32776192 7534 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 8002 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 32008

[startup+160.086 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816120/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=32008 CPUtime=160.03
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7563 0 0 0 15998 5 0 0 25 0 1 0 197900163 32776192 7534 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 8002 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 32008

[startup+170.092 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816120/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=32008 CPUtime=170.03
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7563 0 0 0 16998 5 0 0 25 0 1 0 197900163 32776192 7534 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 8002 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 32008

[startup+180.098 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816120/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=32008 CPUtime=180.03
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7563 0 0 0 17998 5 0 0 25 0 1 0 197900163 32776192 7534 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 8002 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 32008

[startup+190.103 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816120/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=32008 CPUtime=190.04
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7563 0 0 0 18999 5 0 0 25 0 1 0 197900163 32776192 7534 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 8002 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 32008

[startup+200.108 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816120/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=32008 CPUtime=200.04
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 7563 0 0 0 19999 5 0 0 25 0 1 0 197900163 32776192 7534 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 8002 7534 206 16 0 7443 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 32008

[startup+210.114 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19600
/proc/meminfo: memFree=1816120/2055920 swapFree=4181376/4192956

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

/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1590.39
Current children cumulated vsize (Kb) 85136

[startup+1600.92 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762680/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1600.4
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 160028 12 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1600.4
Current children cumulated vsize (Kb) 85136

[startup+1610.92 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762680/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1610.4
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 161028 12 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1610.4
Current children cumulated vsize (Kb) 85136

[startup+1620.93 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1620.4
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 162028 12 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1620.4
Current children cumulated vsize (Kb) 85136

[startup+1630.94 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1630.41
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 163028 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1630.41
Current children cumulated vsize (Kb) 85136

[startup+1640.94 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1640.41
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 164028 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1640.41
Current children cumulated vsize (Kb) 85136

[startup+1650.95 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1650.41
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 165028 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1650.41
Current children cumulated vsize (Kb) 85136

[startup+1660.95 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1660.42
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 166029 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (Kb) 85136

[startup+1670.96 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1670.42
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 167029 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1670.42
Current children cumulated vsize (Kb) 85136

[startup+1680.96 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1680.42
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 168029 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1680.42
Current children cumulated vsize (Kb) 85136

[startup+1690.97 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762680/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1690.42
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 169029 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1690.42
Current children cumulated vsize (Kb) 85136

[startup+1700.97 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762680/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1700.42
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 170029 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1700.42
Current children cumulated vsize (Kb) 85136

[startup+1710.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762680/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1710.42
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 171029 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1710.42
Current children cumulated vsize (Kb) 85136

[startup+1720.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1720.43
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 172030 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1720.43
Current children cumulated vsize (Kb) 85136

[startup+1730.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1762616/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=85136 CPUtime=1730.43
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 20992 0 0 0 173030 13 0 0 25 0 1 0 197900163 87179264 20829 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517727 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21284 20829 206 16 0 20725 0
Current children cumulated CPU time (s) 1730.43
Current children cumulated vsize (Kb) 85136

[startup+1740.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1761528/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=86224 CPUtime=1740.43
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 21264 0 0 0 174030 13 0 0 25 0 1 0 197900163 88293376 21094 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21556 21094 206 16 0 20997 0
Current children cumulated CPU time (s) 1740.43
Current children cumulated vsize (Kb) 86224

[startup+1751 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1760184/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=87592 CPUtime=1750.44
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 21612 0 0 0 175030 14 0 0 25 0 1 0 197900163 89694208 21438 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 21898 21438 206 16 0 21339 0
Current children cumulated CPU time (s) 1750.44
Current children cumulated vsize (Kb) 87592

[startup+1761.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1758072/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=89820 CPUtime=1760.44
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 22198 0 0 0 176030 14 0 0 25 0 1 0 197900163 91975680 21959 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 22455 21959 206 16 0 21896 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 89820

[startup+1771.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1754936/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=92896 CPUtime=1770.43
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 23010 0 0 0 177029 14 0 0 25 0 1 0 197900163 95125504 22742 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 23224 22742 206 16 0 22665 0
Current children cumulated CPU time (s) 1770.43
Current children cumulated vsize (Kb) 92896

[startup+1781.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1752568/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=95320 CPUtime=1780.44
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 23617 0 0 0 178029 15 0 0 25 0 1 0 197900163 97607680 23334 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 23830 23334 206 16 0 23271 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (Kb) 95320

[startup+1782.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1752312/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=95456 CPUtime=1781.45
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 23681 0 0 0 178130 15 0 0 25 0 1 0 197900163 97746944 23397 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 23864 23397 206 16 0 23305 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 95456

[startup+1783.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 19602
/proc/meminfo: memFree=1752056/2055920 swapFree=4181376/4192956
[pid=19600] ppid=19598 vsize=95708 CPUtime=1782.45
/proc/19600/stat : 19600 (Pueblo) R 19598 19600 19554 0 -1 4194304 23752 0 0 0 178230 15 0 0 25 0 1 0 197900163 98004992 23455 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/19600/statm: 23927 23455 206 16 0 23368 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 95708

Child status: 10
Real time (s): 1783.49
CPU time (s): 1782.91
CPU user time (s): 1782.74
CPU system time (s): 0.169974
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (Kb): 95708

Launcher Data (download as text)

Begin job on node29 on Sat Jun  3 08:12:46 UTC 2006


FILE ID= 36305-1149322366

PBS_JOBID= 309409

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  cffbae99cf8c83f8877355cc201cf8bf

RANDOM SEED= 157491435


/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.259
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.259
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:       1845632 kB
Buffers:         19200 kB
Cached:         128184 kB
SwapCached:       3236 kB
Active:          17600 kB
Inactive:       138452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845632 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            40196 kB
Committed_AS:   337788 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node29 on Sat Jun  3 08:42:29 UTC 2006