Trace number 357173

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
oree 0.1.2 alphaSAT (MO)571 1076.51 1076.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUM9d611ad786b3505d4cca46af1ba2bc6d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark116
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables10772
Total number of constraints12051
Number of constraints which are clauses10247
Number of constraints which are cardinality constraints (but not clauses)1804
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 10772
Biggest coefficient in the objective function 5356
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 30986
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5356
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 30986
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	571

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-357173-1176989958 -o ROOT/results/node3/solver-357173-1176989958 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357173-1176989958/instance-357173-1176989958.opb mod 

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.92 0.98 0.96 3/77 14714
/proc/meminfo: memFree=1349600/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1620 CPUtime=0
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 175033535 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 405 175 126 317 0 84 0

[startup+0.092226 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 14714
/proc/meminfo: memFree=1349600/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=3392 CPUtime=0.08
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 651 0 0 0 8 0 0 0 18 0 1 0 175033535 3473408 600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 848 600 131 317 0 527 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3392

[startup+0.101226 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 14714
/proc/meminfo: memFree=1349600/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=3524 CPUtime=0.09
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 699 0 0 0 9 0 0 0 18 0 1 0 175033535 3608576 648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 881 648 131 317 0 560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3524

[startup+0.301259 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 14714
/proc/meminfo: memFree=1349600/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=6836 CPUtime=0.29
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 1520 0 0 0 29 0 0 0 20 0 1 0 175033535 7000064 1469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 1709 1469 138 317 0 1388 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6836

[startup+0.701323 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 14714
/proc/meminfo: memFree=1349600/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=6836 CPUtime=0.69
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 1527 0 0 0 69 0 0 0 24 0 1 0 175033535 7000064 1476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 1709 1476 138 317 0 1388 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6836

[startup+1.50145 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 14715
/proc/meminfo: memFree=1341976/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=13596 CPUtime=1.49
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 3202 0 0 0 149 0 0 0 25 0 1 0 175033535 13922304 2988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 3399 2988 170 317 0 3078 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13596

[startup+3.10171 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 14715
/proc/meminfo: memFree=1333656/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=23540 CPUtime=3.09
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 5621 0 0 0 308 1 0 0 25 0 1 0 175033535 24104960 5275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 5885 5275 170 317 0 5564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23540

[startup+6.30123 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 14715
/proc/meminfo: memFree=1316632/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=41380 CPUtime=6.29
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 9998 0 0 0 626 3 0 0 25 0 1 0 175033535 42373120 9351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 10345 9351 170 317 0 10024 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41380

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 14715
/proc/meminfo: memFree=1283992/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=74964 CPUtime=12.69
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 18198 0 0 0 1264 5 0 0 25 0 1 0 175033535 76763136 17057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 18741 17057 170 317 0 18420 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74964

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.96 2/78 14715
/proc/meminfo: memFree=1229016/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=132976 CPUtime=25.48
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 32266 0 0 0 2538 10 0 0 25 0 1 0 175033535 136167424 30353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 33244 30353 170 317 0 32923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 132976

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.96 2/78 14715
/proc/meminfo: memFree=1149592/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=220312 CPUtime=51.07
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 53357 0 0 0 5091 16 0 0 25 0 1 0 175033535 225599488 50315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 55078 50315 170 317 0 54757 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 220312

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.96 2/78 14715
/proc/meminfo: memFree=1012376/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=379276 CPUtime=102.26
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 89448 0 0 0 10196 30 0 0 25 0 1 0 175033535 388378624 84250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 94819 84250 170 317 0 94498 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 379276

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 14715
/proc/meminfo: memFree=886936/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=507256 CPUtime=162.24
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 123134 0 0 0 16180 44 0 0 25 0 1 0 175033535 519430144 115805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 126814 115805 170 317 0 126493 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 507256

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 14715
/proc/meminfo: memFree=716824/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=720292 CPUtime=222.22
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 167759 0 0 0 22161 61 0 0 25 0 1 0 175033535 737579008 158006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 180073 158006 170 317 0 179752 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 720292

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 14715
/proc/meminfo: memFree=621528/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=816508 CPUtime=282.2
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 193811 0 0 0 28149 71 0 0 25 0 1 0 175033535 836104192 181983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 204127 181983 170 317 0 203806 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 816508

[startup+342.302 s]
/proc/loadavg: 1.06 1.00 0.97 2/78 14715
/proc/meminfo: memFree=544152/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=894044 CPUtime=342.17
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 214343 0 0 0 34137 80 0 0 25 0 1 0 175033535 915501056 201082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 223511 201082 170 317 0 223190 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 894044

[startup+402.301 s]
/proc/loadavg: 1.08 1.02 0.97 3/78 14715
/proc/meminfo: memFree=473944/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=965672 CPUtime=402.15
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 233428 0 0 0 40126 89 0 0 25 0 1 0 175033535 988848128 218799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 241418 218799 170 317 0 241097 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 965672

[startup+462.301 s]
/proc/loadavg: 1.03 1.01 0.97 2/78 14715
/proc/meminfo: memFree=395672/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1044088 CPUtime=462.13
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 254533 0 0 0 46114 99 0 0 25 0 1 0 175033535 1069146112 238164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 261022 238164 170 317 0 260701 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1044088

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 0.97 2/78 14715
/proc/meminfo: memFree=342040/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1100072 CPUtime=522.11
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 268970 0 0 0 52105 106 0 0 25 0 1 0 175033535 1126473728 251664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 275018 251664 170 317 0 274697 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1100072

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=180376/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1355072 CPUtime=582.09
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 310571 0 0 0 58088 121 0 0 25 0 1 0 175033535 1387593728 291922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 338768 291922 170 317 0 338447 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1355072

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=93080/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1438792 CPUtime=642.07
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 334367 0 0 0 64078 129 0 0 25 0 1 0 175033535 1473323008 313526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 359698 313526 170 317 0 359377 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1438792

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=59800/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1474876 CPUtime=702.05
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 343382 0 0 0 70072 133 0 0 25 0 1 0 175033535 1510273024 321811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 368719 321811 170 317 0 368398 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 1474876

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=15256/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1528800 CPUtime=762.03
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 358011 0 0 0 76064 139 0 0 25 0 1 0 175033535 1565491200 335276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 382200 335276 170 317 0 381879 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 1528800

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=16088/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1578292 CPUtime=822.01
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 371331 0 0 0 82056 145 0 0 25 0 1 0 175033535 1616171008 347723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 394573 347723 170 317 0 394252 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1578292

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=16152/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1633296 CPUtime=881.98
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 385952 0 0 0 88047 151 0 0 25 0 1 0 175033535 1672495104 361294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 408324 361294 170 317 0 408003 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1633296

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=16216/2055920 swapFree=4140660/4192956
[pid=14714] ppid=14712 vsize=1705076 CPUtime=941.96
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 405173 0 0 0 94036 160 0 0 25 0 1 0 175033535 1745997824 378850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 426269 378850 170 317 0 425948 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 1705076

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=15832/2055920 swapFree=4140688/4192956
[pid=14714] ppid=14712 vsize=1773932 CPUtime=1001.94
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 423683 0 0 0 100026 168 0 0 25 0 1 0 175033535 1816506368 395712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 443483 395712 170 317 0 443162 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1773932

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=15000/2055920 swapFree=4140688/4192956
[pid=14714] ppid=14712 vsize=1832044 CPUtime=1061.92
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 439526 0 0 0 106018 174 0 0 25 0 1 0 175033535 1876013056 410278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 458011 410278 170 317 0 457690 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1832044



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1076.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=14936/2055920 swapFree=4140688/4192956
[pid=14714] ppid=14712 vsize=1843328 CPUtime=1075.92
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 442155 0 0 0 107417 175 0 0 25 0 1 0 175033535 1887567872 412769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 460832 412769 170 317 0 460511 0
Current children cumulated CPU time (s) 1075.92
Current children cumulated vsize (KiB) 1843328

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1076.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14715
/proc/meminfo: memFree=14936/2055920 swapFree=4140688/4192956
[pid=14714] ppid=14712 vsize=1843424 CPUtime=1076.21
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194304 442183 0 0 0 107446 175 0 0 25 0 1 0 175033535 1887666176 412797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 460856 412797 170 317 0 460535 0
Current children cumulated CPU time (s) 1076.21
Current children cumulated vsize (KiB) 1843424

[startup+1076.8 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 14716
/proc/meminfo: memFree=1121360/2055920 swapFree=4140688/4192956
[pid=14714] ppid=14712 vsize=0 CPUtime=1076.42
/proc/14714/stat : 14714 (oree) R 14712 14714 14612 0 -1 4194308 442199 0 0 0 107449 193 0 0 25 0 1 0 175033535 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14714/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1076.42
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1076.89
CPU time (s): 1076.51
CPU user time (s): 1074.49
CPU system time (s): 2.02169
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 1843488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1074.49
system time used= 2.02169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442199
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= 10
involuntary context switches= 22277

runsolver used 1.2788 second user time and 2.6096 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Thu Apr 19 13:39:18 UTC 2007

IDJOB= 357173
IDBENCH= 2224
IDSOLVER= 172
FILE ID= node3/357173-1176989958

PBS_JOBID= 4630443

Free space on /tmp= 66357 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= oree /tmp/evaluation/357173-1176989958/instance-357173-1176989958.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-357173-1176989958 -o ROOT/results/node3/solver-357173-1176989958 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357173-1176989958/instance-357173-1176989958.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9d611ad786b3505d4cca46af1ba2bc6d

RANDOM SEED= 537843202

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1350008 kB
Buffers:         38596 kB
Cached:         600768 kB
SwapCached:      15204 kB
Active:         219500 kB
Inactive:       442788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1350008 kB
SwapTotal:     4192956 kB
SwapFree:      4140660 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          29892 kB
Slab:            29104 kB
Committed_AS:  5298604 kB
PageTables:       1780 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= 66357 MiB

End job on node3 on Thu Apr 19 13:57:17 UTC 2007