Trace number 357282

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 (TO)1437696000000000 1800.63 1801.46

General information on the benchmark

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

Verifier Data (download as text)

OK	1437696000000000

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-357282-1176993351 -o ROOT/results/node10/solver-357282-1176993351 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357282-1176993351/instance-357282-1176993351.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: 1.00 1.00 0.96 3/77 30464
/proc/meminfo: memFree=1727240/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=1468 CPUtime=0
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175372621 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 367 160 127 317 0 46 0

[startup+0.0230141 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 30464
/proc/meminfo: memFree=1727240/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=1752 CPUtime=0.02
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 237 0 0 0 2 0 0 0 18 0 1 0 175372621 1794048 219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 438 219 127 317 0 117 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1752

[startup+0.10103 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 30464
/proc/meminfo: memFree=1727240/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=2836 CPUtime=0.09
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 554 0 0 0 9 0 0 0 18 0 1 0 175372621 2904064 503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 709 503 130 317 0 388 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.301073 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 30464
/proc/meminfo: memFree=1727240/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=7368 CPUtime=0.29
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 1698 0 0 0 29 0 0 0 19 0 1 0 175372621 7544832 1614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 1842 1614 137 317 0 1521 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7368

[startup+0.701158 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 30464
/proc/meminfo: memFree=1727240/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=8292 CPUtime=0.69
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 1936 0 0 0 69 0 0 0 23 0 1 0 175372621 8491008 1852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 2073 1852 138 317 0 1752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8292

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1720256/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=8292 CPUtime=1.49
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 1936 0 0 0 149 0 0 0 25 0 1 0 175372621 8491008 1852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 2073 1852 138 317 0 1752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8292

[startup+3.10168 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1720128/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=9360 CPUtime=3.09
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 2193 0 0 0 309 0 0 0 25 0 1 0 175372621 9584640 2109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 2340 2109 170 317 0 2019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9360

[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1712768/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=20376 CPUtime=6.29
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 4963 0 0 0 627 2 0 0 25 0 1 0 175372621 20865024 4879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 5094 4879 170 317 0 4773 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20376

[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1688000/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=41900 CPUtime=12.69
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 10327 0 0 0 1264 5 0 0 25 0 1 0 175372621 42905600 10243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 10475 10243 170 317 0 10154 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41900

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1655872/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=72828 CPUtime=25.48
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 18064 0 0 0 2538 10 0 0 25 0 1 0 175372621 74575872 17980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712882 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 18207 17980 170 317 0 17886 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72828

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1613248/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=118708 CPUtime=51.07
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 28738 0 0 0 5092 15 0 0 25 0 1 0 175372621 121556992 28654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 29677 28654 170 317 0 29356 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118708

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1560896/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=167540 CPUtime=102.26
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 41691 0 0 0 10202 24 0 0 25 0 1 0 175372621 171560960 41571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 41885 41571 170 317 0 41564 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 167540

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 30465
/proc/meminfo: memFree=1504320/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=232264 CPUtime=162.23
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 55883 0 0 0 16193 30 0 0 25 0 1 0 175372621 237838336 55763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 58066 55763 170 317 0 57745 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 232264

[startup+222.302 s]
/proc/loadavg: 1.19 1.05 0.97 2/78 30465
/proc/meminfo: memFree=1465792/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=267836 CPUtime=222.21
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 65397 0 0 0 22186 35 0 0 25 0 1 0 175372621 274264064 65277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 66959 65277 170 317 0 66638 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 267836

[startup+282.302 s]
/proc/loadavg: 1.12 1.05 0.98 2/78 30465
/proc/meminfo: memFree=1431744/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=298980 CPUtime=282.18
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 73969 0 0 0 28179 39 0 0 25 0 1 0 175372621 306155520 73849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 74745 73849 170 317 0 74424 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 298980

[startup+342.302 s]
/proc/loadavg: 1.10 1.06 0.98 2/78 30465
/proc/meminfo: memFree=1403328/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=325760 CPUtime=342.16
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 81043 0 0 0 34173 43 0 0 25 0 1 0 175372621 333578240 80852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 81440 80852 170 317 0 81119 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 325760

[startup+402.302 s]
/proc/loadavg: 1.08 1.06 0.99 2/78 30465
/proc/meminfo: memFree=1352512/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=401128 CPUtime=402.13
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 94187 0 0 0 40166 47 0 0 25 0 1 0 175372621 410755072 93996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 100282 93996 170 317 0 99961 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 401128

[startup+462.302 s]
/proc/loadavg: 1.03 1.05 0.99 2/78 30465
/proc/meminfo: memFree=1325760/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=423924 CPUtime=462.1
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 100361 0 0 0 46159 51 0 0 25 0 1 0 175372621 434098176 100170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 105981 100170 170 317 0 105660 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 423924

[startup+522.301 s]
/proc/loadavg: 1.01 1.03 0.99 2/78 30465
/proc/meminfo: memFree=1303360/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=445580 CPUtime=522.09
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 106078 0 0 0 52154 55 0 0 25 0 1 0 175372621 456273920 105887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 111395 105887 170 317 0 111074 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 445580

[startup+582.301 s]
/proc/loadavg: 1.00 1.03 0.99 2/78 30465
/proc/meminfo: memFree=1279168/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=468684 CPUtime=582.06
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 111967 0 0 0 58148 58 0 0 25 0 1 0 175372621 479932416 111776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 117171 111776 170 317 0 116850 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 468684

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 0.99 2/78 30465
/proc/meminfo: memFree=1258688/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=487276 CPUtime=642.04
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 117039 0 0 0 64144 60 0 0 25 0 1 0 175372621 498970624 116848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 121819 116848 170 317 0 121498 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 487276


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

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1165056/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=574008 CPUtime=941.92
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 140407 0 0 0 94119 73 0 0 25 0 1 0 175372621 587784192 140216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 143502 140216 170 317 0 143181 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 574008

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1148032/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=589244 CPUtime=1001.89
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 144606 0 0 0 100113 76 0 0 25 0 1 0 175372621 603385856 144415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 147311 144415 170 317 0 146990 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 589244

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1131072/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=604576 CPUtime=1061.87
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 148907 0 0 0 106108 79 0 0 25 0 1 0 175372621 619085824 148716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 151144 148716 170 317 0 150823 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 604576

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1114752/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=619652 CPUtime=1121.84
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 152920 0 0 0 112103 81 0 0 25 0 1 0 175372621 634523648 152729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 154913 152729 170 317 0 154592 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 619652

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1100160/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=632676 CPUtime=1181.82
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 156567 0 0 0 118099 83 0 0 25 0 1 0 175372621 647860224 156376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 158169 156376 170 317 0 157848 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 632676

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1089408/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=643200 CPUtime=1241.79
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 159228 0 0 0 124094 85 0 0 25 0 1 0 175372621 658636800 159037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 160800 159037 170 317 0 160479 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 643200

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1074560/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=656236 CPUtime=1301.77
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 162890 0 0 0 130090 87 0 0 25 0 1 0 175372621 671985664 162699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 164059 162699 170 317 0 163738 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 656236

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1034560/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=768300 CPUtime=1361.74
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 185509 0 0 0 136080 94 0 0 25 0 1 0 175372621 786739200 172646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 192075 172646 170 317 0 191754 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 768300

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1019584/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=780596 CPUtime=1421.73
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 189201 0 0 0 142076 97 0 0 25 0 1 0 175372621 799330304 176338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 195149 176338 170 317 0 194828 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 780596

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30465
/proc/meminfo: memFree=1005248/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=792456 CPUtime=1481.69
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 192787 0 0 0 148071 98 0 0 25 0 1 0 175372621 811474944 179924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 198114 179924 170 317 0 197793 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 792456

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/84 30629
/proc/meminfo: memFree=990912/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=805132 CPUtime=1541.6
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 195999 0 0 0 154059 101 0 0 25 0 1 0 175372621 824455168 183136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 201283 183136 170 317 0 200962 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 805132

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30663
/proc/meminfo: memFree=978112/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=817376 CPUtime=1601.54
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 199637 0 0 0 160052 102 0 0 25 0 1 0 175372621 836993024 186633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 204344 186633 170 317 0 204023 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 817376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30663
/proc/meminfo: memFree=963072/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=829720 CPUtime=1661.52
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 203353 0 0 0 166048 104 0 0 25 0 1 0 175372621 849633280 190349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 207430 190349 170 317 0 207109 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 829720

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30663
/proc/meminfo: memFree=951872/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=840972 CPUtime=1721.5
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 206180 0 0 0 172044 106 0 0 25 0 1 0 175372621 861155328 193176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 210243 193176 170 317 0 209922 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 840972

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30663
/proc/meminfo: memFree=938368/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=851868 CPUtime=1781.48
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 209517 0 0 0 178040 108 0 0 25 0 1 0 175372621 872312832 196513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 212967 196513 170 317 0 212646 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 851868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30663
/proc/meminfo: memFree=934912/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=855196 CPUtime=1800.07
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 210347 0 0 0 179899 108 0 0 25 0 1 0 175372621 875720704 197343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 213799 197343 170 317 0 213478 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 855196

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

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

[startup+1801.01 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30663
/proc/meminfo: memFree=934912/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=855196 CPUtime=1800.17
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194304 210347 0 0 0 179909 108 0 0 25 0 1 0 175372621 875720704 197343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 213799 197343 170 317 0 213478 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 855196

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30663
/proc/meminfo: memFree=934912/2055920 swapFree=4152380/4192956
[pid=30464] ppid=30462 vsize=0 CPUtime=1800.56
/proc/30464/stat : 30464 (oree) R 30462 30464 30076 0 -1 4194308 210379 0 0 0 179940 116 0 0 25 0 1 0 175372621 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30464/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.46
CPU time (s): 1800.63
CPU user time (s): 1799.41
CPU system time (s): 1.21981
CPU usage (%): 99.954
Max. virtual memory (cumulated for all children) (KiB): 855196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 1.21981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210379
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= 8189

runsolver used 2.10368 second user time and 4.40733 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Thu Apr 19 14:35:51 UTC 2007

IDJOB= 357282
IDBENCH= 2346
IDSOLVER= 172
FILE ID= node10/357282-1176993351

PBS_JOBID= 4630430

Free space on /tmp= 66268 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
COMMAND LINE= oree /tmp/evaluation/357282-1176993351/instance-357282-1176993351.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-357282-1176993351 -o ROOT/results/node10/solver-357282-1176993351 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357282-1176993351/instance-357282-1176993351.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5868d211ef96ddb724291c5e77360715

RANDOM SEED= 845725899

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1727584 kB
Buffers:         23596 kB
Cached:         226516 kB
SwapCached:       8560 kB
Active:          61084 kB
Inactive:       211912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727584 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:            2436 kB
Writeback:           0 kB
Mapped:          30172 kB
Slab:            40920 kB
Committed_AS:  3566680 kB
PageTables:       1708 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= 66268 MiB

End job on node10 on Thu Apr 19 15:05:54 UTC 2007