Trace number 351956

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT-219 1782.91 1783.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-11560
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-219

Conversion Script Data (download as text)

/tmp/evaluation/351956-1176618413/instance-351956-1176618413.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 14845
/proc/meminfo: memFree=1538616/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=2552 CPUtime=0
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 109756841 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 638 232 193 16 0 77 0

[startup+0.102168 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 14845
/proc/meminfo: memFree=1538616/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=4284 CPUtime=0.09
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 109756841 4386816 663 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 1071 663 199 16 0 510 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4284

[startup+0.201188 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 14845
/proc/meminfo: memFree=1538616/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=5084 CPUtime=0.19
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 894 0 0 0 19 0 0 0 18 0 1 0 109756841 5206016 864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 1271 864 199 16 0 710 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5084

[startup+0.301209 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 14845
/proc/meminfo: memFree=1538616/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=7880 CPUtime=0.29
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 1498 0 0 0 29 0 0 0 19 0 1 0 109756841 8069120 1468 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 1970 1468 204 16 0 1409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7880

[startup+0.70129 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 14845
/proc/meminfo: memFree=1538616/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=9748 CPUtime=0.69
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 1950 0 0 0 69 0 0 0 23 0 1 0 109756841 9981952 1920 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134530564 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 2437 1920 206 16 0 1876 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9748

[startup+1.50146 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 14846
/proc/meminfo: memFree=1531568/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=9940 CPUtime=1.49
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 1983 0 0 0 149 0 0 0 25 0 1 0 109756841 10178560 1953 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 2485 1953 206 16 0 1924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9940

[startup+3.10178 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 14846
/proc/meminfo: memFree=1530928/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=10400 CPUtime=3.09
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 2199 0 0 0 309 0 0 0 25 0 1 0 109756841 10649600 2115 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134530564 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 2600 2115 206 16 0 2039 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10400

[startup+6.30144 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 14846
/proc/meminfo: memFree=1529968/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=11840 CPUtime=6.28
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 2580 0 0 0 628 0 0 0 25 0 1 0 109756841 12124160 2413 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522695 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 2960 2413 206 16 0 2399 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11840

[startup+12.7018 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 14846
/proc/meminfo: memFree=1526768/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=14884 CPUtime=12.68
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 3591 0 0 0 1267 1 0 0 25 0 1 0 109756841 15241216 3174 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 3721 3174 206 16 0 3160 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14884

[startup+25.5014 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 14846
/proc/meminfo: memFree=1520112/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=21232 CPUtime=25.48
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 5706 0 0 0 2546 2 0 0 25 0 1 0 109756841 21741568 4767 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 5308 4767 206 16 0 4747 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21232

[startup+51.1016 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 14846
/proc/meminfo: memFree=1516080/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=21300 CPUtime=51.07
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 10484 0 0 0 5102 5 0 0 25 0 1 0 109756841 21811200 4829 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 5325 4829 206 16 0 4764 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21300

[startup+102.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 14846
/proc/meminfo: memFree=1512752/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=28276 CPUtime=102.26
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 20644 0 0 0 10215 11 0 0 25 0 1 0 109756841 28954624 6588 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 7069 6588 206 16 0 6508 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28276

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14846
/proc/meminfo: memFree=1505008/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=36668 CPUtime=162.23
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 32848 0 0 0 16205 18 0 0 25 0 1 0 109756841 37548032 8620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 9167 8620 206 16 0 8606 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36668

[startup+222.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1496624/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=44492 CPUtime=222.22
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 45308 0 0 0 22198 24 0 0 25 0 1 0 109756841 45559808 10630 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 11123 10630 206 16 0 10562 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 44492

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1483184/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=58324 CPUtime=282.18
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 58618 0 0 0 28187 31 0 0 25 0 1 0 109756841 59723776 14080 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 14581 14080 206 16 0 14020 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 58324

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1469808/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=71240 CPUtime=342.17
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 71242 0 0 0 34181 36 0 0 25 0 1 0 109756841 72949760 17316 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 17810 17316 206 16 0 17249 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 71240

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1455600/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=85820 CPUtime=402.14
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 84779 0 0 0 40171 43 0 0 25 0 1 0 109756841 87879680 20973 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519114 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 21455 20973 206 16 0 20894 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 85820

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1440880/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=100324 CPUtime=462.12
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 97613 0 0 0 46164 48 0 0 25 0 1 0 109756841 102731776 24582 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 25081 24582 206 16 0 24520 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 100324

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1429040/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=112524 CPUtime=522.1
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 110650 0 0 0 52156 54 0 0 25 0 1 0 109756841 115224576 27608 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 28131 27608 206 16 0 27570 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 112524

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1410480/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=130672 CPUtime=582.08
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 123599 0 0 0 58147 61 0 0 25 0 1 0 109756841 133808128 32173 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 32668 32173 206 16 0 32107 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 130672

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14846
/proc/meminfo: memFree=1405168/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=136292 CPUtime=642.06
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 136576 0 0 0 64140 66 0 0 25 0 1 0 109756841 139563008 33592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519068 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 34073 33592 206 16 0 33512 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 136292


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

/proc/meminfo: memFree=1336944/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=204008 CPUtime=941.95
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 199351 0 0 0 94102 93 0 0 25 0 1 0 109756841 208904192 50510 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 51002 50510 206 16 0 50441 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 204008

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1317808/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=222724 CPUtime=1001.93
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 211912 0 0 0 100092 101 0 0 25 0 1 0 109756841 228069376 55200 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517599 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 55681 55200 206 16 0 55120 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 222724

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1294704/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=246456 CPUtime=1061.91
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 224328 0 0 0 106083 108 0 0 25 0 1 0 109756841 252370944 61096 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 61614 61096 206 16 0 61053 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 246456

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1280304/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=260272 CPUtime=1121.89
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 236458 0 0 0 112076 113 0 0 25 0 1 0 109756841 266518528 64582 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 65068 64582 206 16 0 64507 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 260272

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 14848
/proc/meminfo: memFree=1274864/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=265392 CPUtime=1181.87
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239152 0 0 0 118072 115 0 0 25 0 1 0 109756841 271761408 65862 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 66348 65862 206 16 0 65787 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 265392

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1274864/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=265180 CPUtime=1241.84
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239152 0 0 0 124069 115 0 0 25 0 1 0 109756841 271544320 65809 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 66295 65809 206 16 0 65734 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 265180

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1274864/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=265180 CPUtime=1301.82
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 130067 115 0 0 25 0 1 0 109756841 271544320 65810 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 66295 65810 206 16 0 65734 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 265180

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1274992/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=264968 CPUtime=1361.81
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 136065 116 0 0 25 0 1 0 109756841 271327232 65757 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 66242 65757 206 16 0 65681 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 264968

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1275248/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=264756 CPUtime=1421.78
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 142062 116 0 0 25 0 1 0 109756841 271110144 65704 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 66189 65704 206 16 0 65628 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 264756

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1275888/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=264120 CPUtime=1481.76
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 148059 117 0 0 25 0 1 0 109756841 270458880 65545 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 66030 65545 206 16 0 65469 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 264120

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 14848
/proc/meminfo: memFree=1276720/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=263272 CPUtime=1541.74
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 154057 117 0 0 25 0 1 0 109756841 269590528 65333 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 65818 65333 206 16 0 65257 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 263272

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1277680/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=262212 CPUtime=1601.72
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 160054 118 0 0 25 0 1 0 109756841 268505088 65068 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 65553 65068 206 16 0 64992 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 262212

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1278256/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=261576 CPUtime=1661.69
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 166051 118 0 0 25 0 1 0 109756841 267853824 64909 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 65394 64909 206 16 0 64833 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 261576

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1279536/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=260304 CPUtime=1721.68
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 172049 119 0 0 25 0 1 0 109756841 266551296 64591 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 65076 64591 206 16 0 64515 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 260304

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1279984/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=259668 CPUtime=1781.65
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 178046 119 0 0 25 0 1 0 109756841 265900032 64432 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 64917 64432 206 16 0 64356 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 259668

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

[startup+1782.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1279984/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=259668 CPUtime=1781.75
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 178056 119 0 0 25 0 1 0 109756841 265900032 64432 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 64917 64432 206 16 0 64356 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 259668

[startup+1783.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1279984/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=259668 CPUtime=1782.56
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 178137 119 0 0 25 0 1 0 109756841 265900032 64432 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 64917 64432 206 16 0 64356 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (KiB) 259668

[startup+1783.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1279984/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=259668 CPUtime=1782.75
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 178156 119 0 0 25 0 1 0 109756841 265900032 64432 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 64917 64432 206 16 0 64356 0
Current children cumulated CPU time (s) 1782.75
Current children cumulated vsize (KiB) 259668

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14848
/proc/meminfo: memFree=1279984/2055920 swapFree=4150160/4192956
[pid=14845] ppid=14843 vsize=259668 CPUtime=1782.85
/proc/14845/stat : 14845 (Pueblo) R 14843 14845 13852 0 -1 4194304 239153 0 0 0 178166 119 0 0 25 0 1 0 109756841 265900032 64432 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523652 0 0 4096 0 0 0 0 17 1 0 0
/proc/14845/statm: 64917 64432 206 16 0 64356 0
Current children cumulated CPU time (s) 1782.85
Current children cumulated vsize (KiB) 259668

Child status: 10
Real time (s): 1783.55
CPU time (s): 1782.91
CPU user time (s): 1781.67
CPU system time (s): 1.24081
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 270144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.67
system time used= 1.24081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239160
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= 15
involuntary context switches= 2398

runsolver used 2.25266 second user time and 4.20536 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sun Apr 15 06:26:53 UTC 2007

IDJOB= 351956
IDBENCH= 1869
IDSOLVER= 165
FILE ID= node33/351956-1176618413

PBS_JOBID= 4557024

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= Pueblo /tmp/evaluation/351956-1176618413/instance-351956-1176618413.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-351956-1176618413 -o ROOT/results/node33/conversion-351956-1176618413 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351956-1176618413/instance-351956-1176618413.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  6fc83a536fe9a582c06bbccccc09c709

RANDOM SEED= 129724159

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1539024 kB
Buffers:         59364 kB
Cached:         193688 kB
SwapCached:       2356 kB
Active:         138500 kB
Inactive:       280636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1539024 kB
SwapTotal:     4192956 kB
SwapFree:      4150160 kB
Dirty:            2916 kB
Writeback:           0 kB
Mapped:         162136 kB
Slab:            82992 kB
Committed_AS:  1346988 kB
PageTables:       1992 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= 66562 MiB

End job on node33 on Sun Apr 15 06:56:37 UTC 2007