Trace number 351280

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT0 1783.19 1783.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
MD5SUMba437a46cdfe6ecad707b12b94061ac9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1783.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -20
Optimality of the best value was proved NO
Number of variables11514
Total number of constraints1050
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1050
Minimum length of a constraint11
Maximum length of a constraint11514
Number of terms in the objective function 11514
Biggest coefficient in the objective function 3344
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 531132
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 15548
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 531582
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/351280-1176593680/instance-351280-1176593680.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node19/watcher-351280-1176593680 -o ROOT/results/node19/solver-351280-1176593680 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351280-1176593680/instance-351280-1176593680.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 2834
/proc/meminfo: memFree=1601536/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=2552 CPUtime=0
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 107285445 2613248 232 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 638 232 193 16 0 77 0

[startup+0.0388781 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 2834
/proc/meminfo: memFree=1601536/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=3484 CPUtime=0.03
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 501 0 0 0 3 0 0 0 18 0 1 0 107285445 3567616 471 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 871 471 193 16 0 310 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3484

[startup+0.101886 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 2834
/proc/meminfo: memFree=1601536/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=4148 CPUtime=0.09
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 659 0 0 0 9 0 0 0 18 0 1 0 107285445 4247552 629 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 1037 629 199 16 0 476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.301907 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 2834
/proc/meminfo: memFree=1601536/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=5084 CPUtime=0.29
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 900 0 0 0 29 0 0 0 19 0 1 0 107285445 5206016 870 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 1271 870 199 16 0 710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5084

[startup+0.701951 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 2834
/proc/meminfo: memFree=1601536/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=11576 CPUtime=0.69
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 2439 0 0 0 68 1 0 0 22 0 1 0 107285445 11853824 2409 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532827 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 2894 2409 204 16 0 2333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11576

[startup+1.50104 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 2835
/proc/meminfo: memFree=1591168/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=13208 CPUtime=1.49
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 2842 0 0 0 148 1 0 0 25 0 1 0 107285445 13524992 2812 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134530518 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 3302 2812 206 16 0 2741 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13208

[startup+3.10121 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 2835
/proc/meminfo: memFree=1591040/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=13292 CPUtime=3.09
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 2892 0 0 0 308 1 0 0 25 0 1 0 107285445 13611008 2862 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 3323 2862 206 16 0 2762 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13292

[startup+6.30156 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 2835
/proc/meminfo: memFree=1588864/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=15140 CPUtime=6.29
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 3343 0 0 0 628 1 0 0 25 0 1 0 107285445 15503360 3313 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 3785 3313 206 16 0 3224 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15140

[startup+12.7023 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 2835
/proc/meminfo: memFree=1588104/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=16168 CPUtime=12.68
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 3596 0 0 0 1267 1 0 0 25 0 1 0 107285445 16556032 3566 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 4042 3566 206 16 0 3481 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16168

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 2835
/proc/meminfo: memFree=1586312/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=17804 CPUtime=25.48
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 4016 0 0 0 2546 2 0 0 25 0 1 0 107285445 18231296 3986 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 4451 3986 206 16 0 3890 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17804

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 2835
/proc/meminfo: memFree=1582984/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=21156 CPUtime=51.07
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 4861 0 0 0 5104 3 0 0 25 0 1 0 107285445 21663744 4831 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 5289 4831 206 16 0 4728 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21156

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 2835
/proc/meminfo: memFree=1577672/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=26552 CPUtime=102.26
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 6305 0 0 0 10222 4 0 0 25 0 1 0 107285445 27189248 6150 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 6638 6150 206 16 0 6077 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26552

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2837
/proc/meminfo: memFree=1574080/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=29764 CPUtime=162.25
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 7291 0 0 0 16218 7 0 0 25 0 1 0 107285445 30478336 6983 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 7441 6983 206 16 0 6880 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29764

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 2837
/proc/meminfo: memFree=1573832/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=30232 CPUtime=222.23
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 7440 0 0 0 22214 9 0 0 25 0 1 0 107285445 30957568 7107 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 7558 7107 206 16 0 6997 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30232

[startup+282.302 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1573832/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=30232 CPUtime=282.22
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 7440 0 0 0 28212 10 0 0 25 0 1 0 107285445 30957568 7107 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 7558 7107 206 16 0 6997 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 30232

[startup+342.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1567176/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=36888 CPUtime=342.19
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 9843 0 0 0 34208 11 0 0 25 0 1 0 107285445 37773312 8770 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 9222 8770 206 16 0 8661 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 36888

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1567176/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=36888 CPUtime=402.18
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 9844 0 0 0 40206 12 0 0 25 0 1 0 107285445 37773312 8771 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 9222 8771 206 16 0 8661 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 36888

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1567176/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=36888 CPUtime=462.16
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 9844 0 0 0 46203 13 0 0 25 0 1 0 107285445 37773312 8771 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 9222 8771 206 16 0 8661 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 36888

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1564744/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=39392 CPUtime=522.15
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 10463 0 0 0 52201 14 0 0 25 0 1 0 107285445 40337408 9389 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 9848 9389 206 16 0 9287 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 39392

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1560520/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=43544 CPUtime=582.13
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 11506 0 0 0 58198 15 0 0 25 0 1 0 107285445 44589056 10431 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 10886 10431 206 16 0 10325 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 43544

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1558408/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=45456 CPUtime=642.12
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 12156 0 0 0 64194 18 0 0 25 0 1 0 107285445 46546944 10913 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 11364 10913 206 16 0 10803 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 45456


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

/proc/meminfo: memFree=1533640/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=70456 CPUtime=882.06
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 18530 0 0 0 88181 25 0 0 25 0 1 0 107285445 72146944 17138 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 17614 17138 206 16 0 17053 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 70456

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1532168/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=71860 CPUtime=942.04
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 18897 0 0 0 94178 26 0 0 25 0 1 0 107285445 73584640 17502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 17965 17502 206 16 0 17404 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 71860

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1532168/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=71860 CPUtime=1002.02
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 18897 0 0 0 100176 26 0 0 25 0 1 0 107285445 73584640 17502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 17965 17502 206 16 0 17404 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 71860

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1532232/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=71860 CPUtime=1062.01
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 18897 0 0 0 106174 27 0 0 25 0 1 0 107285445 73584640 17502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 17965 17502 206 16 0 17404 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 71860

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1532232/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=71860 CPUtime=1121.99
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 18898 0 0 0 112172 27 0 0 25 0 1 0 107285445 73584640 17503 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 17965 17503 206 16 0 17404 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 71860

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1524872/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=79356 CPUtime=1181.98
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 20984 0 0 0 118169 29 0 0 25 0 1 0 107285445 81260544 19373 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 19839 19373 206 16 0 19278 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 79356

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1517256/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=87096 CPUtime=1241.96
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 22985 0 0 0 124166 30 0 0 25 0 1 0 107285445 89186304 21295 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 21774 21295 206 16 0 21213 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 87096

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1514824/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=89196 CPUtime=1301.95
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 23549 0 0 0 130164 31 0 0 25 0 1 0 107285445 91336704 21835 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 22299 21835 206 16 0 21738 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 89196

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 3/78 2837
/proc/meminfo: memFree=1514824/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=89196 CPUtime=1361.94
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 23549 0 0 0 136162 32 0 0 25 0 1 0 107285445 91336704 21835 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 22299 21835 206 16 0 21738 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 89196

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1514824/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=89196 CPUtime=1421.92
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 23553 0 0 0 142159 33 0 0 25 0 1 0 107285445 91336704 21839 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 22299 21839 206 16 0 21738 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 89196

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1514824/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=89196 CPUtime=1481.9
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 23553 0 0 0 148157 33 0 0 25 0 1 0 107285445 91336704 21839 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 22299 21839 206 16 0 21738 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 89196

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2837
/proc/meminfo: memFree=1514824/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=89196 CPUtime=1541.89
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 23553 0 0 0 154154 35 0 0 25 0 1 0 107285445 91336704 21839 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 22299 21839 206 16 0 21738 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 89196

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/84 2953
/proc/meminfo: memFree=1513480/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=89196 CPUtime=1601.81
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 23553 0 0 0 160145 36 0 0 25 0 1 0 107285445 91336704 21839 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 22299 21839 206 16 0 21738 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 89196

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 3035
/proc/meminfo: memFree=1511368/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=92424 CPUtime=1661.76
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 24442 0 0 0 166138 38 0 0 25 0 1 0 107285445 94642176 22652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 23106 22652 206 16 0 22545 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 92424

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 3035
/proc/meminfo: memFree=1503816/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=100212 CPUtime=1721.74
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 26528 0 0 0 172134 40 0 0 25 0 1 0 107285445 102617088 24576 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 25053 24576 206 16 0 24492 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 100212

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 3035
/proc/meminfo: memFree=1496456/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=107384 CPUtime=1781.73
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 28440 0 0 0 178131 42 0 0 25 0 1 0 107285445 109961216 26381 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 26846 26381 206 16 0 26285 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 107384

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 3035
/proc/meminfo: memFree=1496392/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=107604 CPUtime=1782.54
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 28469 0 0 0 178212 42 0 0 25 0 1 0 107285445 110186496 26410 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 26901 26410 206 16 0 26340 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (KiB) 107604

[startup+1783.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 3035
/proc/meminfo: memFree=1496392/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=107680 CPUtime=1782.93
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 28487 0 0 0 178251 42 0 0 25 0 1 0 107285445 110264320 26428 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 26920 26428 206 16 0 26359 0
Current children cumulated CPU time (s) 1782.93
Current children cumulated vsize (KiB) 107680

[startup+1783.7 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 3035
/proc/meminfo: memFree=1496392/2055920 swapFree=4159528/4192956
[pid=2834] ppid=2832 vsize=107680 CPUtime=1783.13
/proc/2834/stat : 2834 (Pueblo) R 2832 2834 2437 0 -1 4194304 28487 0 0 0 178271 42 0 0 25 0 1 0 107285445 110264320 26428 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2834/statm: 26920 26428 206 16 0 26359 0
Current children cumulated CPU time (s) 1783.13
Current children cumulated vsize (KiB) 107680

Child status: 10
Real time (s): 1783.75
CPU time (s): 1783.19
CPU user time (s): 1782.75
CPU system time (s): 0.439933
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 107680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.75
system time used= 0.439933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 1598

runsolver used 2.07468 second user time and 4.35034 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Apr 14 23:34:41 UTC 2007

IDJOB= 351280
IDBENCH= 1715
IDSOLVER= 165
FILE ID= node19/351280-1176593680

PBS_JOBID= 4556804

Free space on /tmp= 66541 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
COMMAND LINE= Pueblo /tmp/evaluation/351280-1176593680/instance-351280-1176593680.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-351280-1176593680 -o ROOT/results/node19/conversion-351280-1176593680 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351280-1176593680/instance-351280-1176593680.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-351280-1176593680 -o ROOT/results/node19/solver-351280-1176593680 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/351280-1176593680/instance-351280-1176593680.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  ba437a46cdfe6ecad707b12b94061ac9

RANDOM SEED= 495926030

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.213
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.213
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:       1602080 kB
Buffers:         37248 kB
Cached:         338376 kB
SwapCached:       2864 kB
Active:         130444 kB
Inactive:       268632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1602080 kB
SwapTotal:     4192956 kB
SwapFree:      4159528 kB
Dirty:            3960 kB
Writeback:           0 kB
Mapped:          30864 kB
Slab:            40260 kB
Committed_AS:  2769596 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66541 MiB

End job on node19 on Sun Apr 15 00:04:25 UTC 2007