Trace number 354110

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
bsolo 3.0.16SAT (TO)1421312000000000 1800.17 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
MD5SUM5868d211ef96ddb724291c5e77360715
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1268736000000000
Best CPU time to get the best result obtained on this benchmark1800.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1167360000000000
Optimality of the best value was proved NO
Number of variables13215
Total number of constraints2587
Number of constraints which are clauses2586
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10632
Number of terms in the objective function 13215
Biggest coefficient in the objective function 2048000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 24419328000000000
Number of bits of the sum of numbers in the objective function 55
Biggest number in a constraint 2048000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 24419328000000000
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	1421312000000000

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-354110-1176694709 -o ROOT/results/node67/solver-354110-1176694709 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354110-1176694709/instance-354110-1176694709.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 16157
/proc/meminfo: memFree=1845488/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=19548 CPUtime=0
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 335 0 3 0 0 0 0 0 18 0 1 0 145460434 20017152 306 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 4887 307 276 324 0 3956 0

[startup+0.038569 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 16157
/proc/meminfo: memFree=1845488/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=13712 CPUtime=0.02
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 649 0 3 0 2 0 0 0 18 0 1 0 145460434 14041088 620 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 3428 620 344 324 0 2222 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13712

[startup+0.101581 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 16157
/proc/meminfo: memFree=1845488/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=6648 CPUtime=0.08
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 910 0 3 0 8 0 0 0 18 0 1 0 145460434 6807552 881 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 1662 881 427 324 0 456 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6648

[startup+0.301616 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 16157
/proc/meminfo: memFree=1845488/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=8740 CPUtime=0.28
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 1937 0 3 0 27 1 0 0 19 0 1 0 145460434 8949760 1529 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 2185 1529 307 324 0 1254 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8740

[startup+0.701689 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 16157
/proc/meminfo: memFree=1845488/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=8740 CPUtime=0.68
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 1940 0 3 0 66 2 0 0 22 0 1 0 145460434 8949760 1532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 2185 1532 307 324 0 1254 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8740

[startup+1.50184 s]
/proc/loadavg: 0.92 0.99 0.99 2/65 16158
/proc/meminfo: memFree=1839720/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=8796 CPUtime=1.49
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 1988 0 3 0 145 4 0 0 25 0 1 0 145460434 9007104 1564 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 2199 1564 307 324 0 1268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8796

[startup+3.10113 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 16158
/proc/meminfo: memFree=1839400/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=11892 CPUtime=3.08
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 2784 0 3 0 300 8 0 0 25 0 1 0 145460434 12177408 2356 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 2973 2356 312 324 0 2042 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11892

[startup+6.30172 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 16158
/proc/meminfo: memFree=1828520/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=22644 CPUtime=6.28
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 5465 0 3 0 616 12 0 0 25 0 1 0 145460434 23187456 5032 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 5661 5032 312 324 0 4730 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22644

[startup+12.7019 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 16158
/proc/meminfo: memFree=1800168/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=49884 CPUtime=12.68
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 12296 0 3 0 1251 17 0 0 25 0 1 0 145460434 51081216 11863 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 12471 11863 312 324 0 11540 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49884

[startup+25.5012 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 16158
/proc/meminfo: memFree=1747368/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=101736 CPUtime=25.47
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 25238 0 3 0 2522 25 0 0 25 0 1 0 145460434 104177664 24805 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 25434 24805 312 324 0 24503 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 101736

[startup+51.1019 s]
/proc/loadavg: 0.96 0.99 0.99 2/65 16158
/proc/meminfo: memFree=1650984/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=199048 CPUtime=51.06
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 49564 0 3 0 5066 40 0 0 25 0 1 0 145460434 203825152 49131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 49762 49131 312 324 0 48831 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 199048

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/65 16160
/proc/meminfo: memFree=1466152/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=381912 CPUtime=102.25
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 95288 0 3 0 10156 69 0 0 25 0 1 0 145460434 391077888 94850 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 95478 94850 312 324 0 94547 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 381912

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=1315176/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=532048 CPUtime=162.23
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 132979 0 3 0 16127 96 0 0 25 0 1 0 145460434 544817152 132376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 133012 132376 312 324 0 132081 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 532048

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=1315240/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=532048 CPUtime=222.2
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 132979 0 3 0 22114 106 0 0 25 0 1 0 145460434 544817152 132376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 133012 132376 312 324 0 132081 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 532048

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=1315368/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=531900 CPUtime=282.18
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 132979 0 3 0 28098 120 0 0 25 0 1 0 145460434 544665600 132339 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 132975 132339 312 324 0 132044 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 531900

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=1315368/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=531900 CPUtime=342.17
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 132979 0 3 0 34091 126 0 0 25 0 1 0 145460434 544665600 132339 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 132975 132339 312 324 0 132044 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 531900

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=1216424/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=631536 CPUtime=402.15
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 157900 0 3 0 40071 144 0 0 25 0 1 0 145460434 646692864 157260 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 157884 157260 312 324 0 156953 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 631536

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=1086376/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=761268 CPUtime=462.13
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 190326 0 3 0 46048 165 0 0 25 0 1 0 145460434 779538432 189686 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 190317 189686 312 324 0 189386 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 761268

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=986280/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=861272 CPUtime=522.11
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 215334 0 3 0 52029 182 0 0 25 0 1 0 145460434 881942528 214694 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 215318 214694 312 324 0 214387 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 861272

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=928552/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=918376 CPUtime=582.09
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 229624 0 3 0 58018 191 0 0 25 0 1 0 145460434 940417024 228984 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 229594 228984 312 324 0 228663 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 918376

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923560/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922756 CPUtime=642.07
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230806 0 3 0 64006 201 0 0 25 0 1 0 145460434 944902144 230079 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230689 230079 312 324 0 229758 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 922756


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923432/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922756 CPUtime=822
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230806 0 3 0 81984 216 0 0 25 0 1 0 145460434 944902144 230079 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230689 230079 312 324 0 229758 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 922756

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923432/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922756 CPUtime=881.98
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230806 0 3 0 87980 218 0 0 25 0 1 0 145460434 944902144 230079 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230689 230079 312 324 0 229758 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 922756

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923432/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922676 CPUtime=941.96
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230807 0 3 0 93975 221 0 0 25 0 1 0 145460434 944820224 230062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230669 230062 312 324 0 229738 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 922676

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923432/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922676 CPUtime=1001.95
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230807 0 3 0 99971 224 0 0 25 0 1 0 145460434 944820224 230062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230669 230062 312 324 0 229738 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 922676

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923496/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922676 CPUtime=1061.93
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230807 0 3 0 105966 227 0 0 25 0 1 0 145460434 944820224 230062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230669 230062 312 324 0 229738 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 922676

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923496/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922676 CPUtime=1121.9
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230807 0 3 0 111961 229 0 0 25 0 1 0 145460434 944820224 230062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230669 230062 312 324 0 229738 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 922676

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923496/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922676 CPUtime=1181.88
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230807 0 3 0 117954 234 0 0 25 0 1 0 145460434 944820224 230062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230669 230062 312 324 0 229738 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 922676

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923432/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922676 CPUtime=1241.87
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230807 0 3 0 123949 238 0 0 25 0 1 0 145460434 944820224 230062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230669 230062 312 324 0 229738 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 922676

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16160
/proc/meminfo: memFree=923368/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=922676 CPUtime=1301.85
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 230807 0 3 0 129944 241 0 0 25 0 1 0 145460434 944820224 230062 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 230669 230062 312 324 0 229738 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 922676

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/71 16234
/proc/meminfo: memFree=879464/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=966600 CPUtime=1361.79
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 241780 0 3 0 135929 250 0 0 25 0 1 0 145460434 989798400 241035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 241650 241035 312 324 0 240719 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 966600

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=805160/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=1040672 CPUtime=1421.72
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 260289 0 3 0 141907 265 0 0 25 0 1 0 145460434 1065648128 259544 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 260168 259544 312 324 0 259237 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1040672

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=782952/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=1062496 CPUtime=1481.69
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 265858 0 3 0 147900 269 0 0 25 0 1 0 145460434 1087995904 265010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 265624 265010 312 324 0 264693 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1062496

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=782952/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=1062496 CPUtime=1541.67
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 265858 0 3 0 153896 271 0 0 25 0 1 0 145460434 1087995904 265010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 265624 265010 312 324 0 264693 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1062496

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=783016/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=1062496 CPUtime=1601.65
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 265858 0 3 0 159890 275 0 0 25 0 1 0 145460434 1087995904 265010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 265624 265010 312 324 0 264693 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1062496

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=783016/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=1062496 CPUtime=1661.63
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 265858 0 3 0 165886 277 0 0 25 0 1 0 145460434 1087995904 265010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 265624 265010 312 324 0 264693 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1062496

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=783016/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=1062496 CPUtime=1721.61
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 265858 0 3 0 171883 278 0 0 25 0 1 0 145460434 1087995904 265010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 265624 265010 312 324 0 264693 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1062496

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=783016/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=1062496 CPUtime=1781.59
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194304 265858 0 3 0 177879 280 0 0 25 0 1 0 145460434 1087995904 265010 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 265624 265010 312 324 0 264693 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1062496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 16358
/proc/meminfo: memFree=1290600/2055920 swapFree=4183964/4192956
[pid=16157] ppid=16155 vsize=0 CPUtime=1800.08
/proc/16157/stat : 16157 (bsolo3.0.16) R 16155 16157 15742 0 -1 4194308 265859 0 3 0 179719 289 0 0 17 0 1 0 145460434 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16157/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.17
CPU user time (s): 1797.2
CPU system time (s): 2.97355
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 1062908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.2
system time used= 2.97355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265859
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1630

runsolver used 1.17482 second user time and 3.82142 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Apr 16 03:38:29 UTC 2007

IDJOB= 354110
IDBENCH= 2346
IDSOLVER= 163
FILE ID= node67/354110-1176694709

PBS_JOBID= 4560009

Free space on /tmp= 66542 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354110-1176694709/instance-354110-1176694709.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-354110-1176694709 -o ROOT/results/node67/solver-354110-1176694709 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354110-1176694709/instance-354110-1176694709.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  5868d211ef96ddb724291c5e77360715

RANDOM SEED= 635876323

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1845896 kB
Buffers:         11396 kB
Cached:         129916 kB
SwapCached:       3460 kB
Active:          65340 kB
Inactive:        86520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845896 kB
SwapTotal:     4192956 kB
SwapFree:      4183964 kB
Dirty:            5484 kB
Writeback:           0 kB
Mapped:          16204 kB
Slab:            44072 kB
Committed_AS:   208264 kB
PageTables:       1456 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= 66542 MiB

End job on node67 on Mon Apr 16 04:08:32 UTC 2007