Trace number 433193

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.17SAT (TO)1421312000000000 1800.27 1800.79

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	1421312000000000

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-433193-1177956099 -o ROOT/results/node6/solver-433193-1177956099 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433193-1177956099/instance-433193-1177956099.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.79 0.92 0.89 3/83 2869
/proc/meminfo: memFree=1850112/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=12836 CPUtime=0
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 271647577 13144064 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 3209 332 279 324 0 2004 0

[startup+0.044166 s]
/proc/loadavg: 0.79 0.92 0.89 3/83 2869
/proc/meminfo: memFree=1850112/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=6256 CPUtime=0.03
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 738 0 0 0 3 0 0 0 18 0 1 0 271647577 6406144 708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 1564 708 359 324 0 359 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6256

[startup+0.101171 s]
/proc/loadavg: 0.79 0.92 0.89 3/83 2869
/proc/meminfo: memFree=1850112/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=6648 CPUtime=0.09
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 928 0 0 0 9 0 0 0 18 0 1 0 271647577 6807552 898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 1662 898 432 324 0 457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6648

[startup+0.301194 s]
/proc/loadavg: 0.79 0.92 0.89 3/83 2869
/proc/meminfo: memFree=1850112/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=8740 CPUtime=0.29
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 1936 0 0 0 28 1 0 0 19 0 1 0 271647577 8949760 1527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 2185 1527 305 324 0 1255 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8740

[startup+0.701241 s]
/proc/loadavg: 0.79 0.92 0.89 3/83 2869
/proc/meminfo: memFree=1850112/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=8740 CPUtime=0.69
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 1939 0 0 0 67 2 0 0 23 0 1 0 271647577 8949760 1530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 2185 1530 305 324 0 1255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8740

[startup+1.50134 s]
/proc/loadavg: 0.79 0.92 0.89 2/84 2870
/proc/meminfo: memFree=1845112/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=8796 CPUtime=1.49
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 1987 0 0 0 147 2 0 0 25 0 1 0 271647577 9007104 1562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 2199 1562 305 324 0 1269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8796

[startup+3.10152 s]
/proc/loadavg: 0.79 0.92 0.89 2/84 2872
/proc/meminfo: memFree=1844856/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=12280 CPUtime=3.08
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 2873 0 0 0 305 3 0 0 25 0 1 0 271647577 12574720 2444 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 3070 2444 310 324 0 2140 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12280

[startup+6.3019 s]
/proc/loadavg: 0.81 0.92 0.89 2/84 2874
/proc/meminfo: memFree=1833144/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=23276 CPUtime=6.28
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 5634 0 0 0 624 4 0 0 25 0 1 0 271647577 23834624 5200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 5819 5200 310 324 0 4889 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23276

[startup+12.7016 s]
/proc/loadavg: 0.82 0.93 0.90 2/84 2878
/proc/meminfo: memFree=1805176/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=50884 CPUtime=12.68
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 12526 0 0 0 1260 8 0 0 25 0 1 0 271647577 52105216 12092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 12721 12092 310 324 0 11791 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50884

[startup+25.5011 s]
/proc/loadavg: 0.86 0.93 0.90 2/78 2900
/proc/meminfo: memFree=1753448/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=102232 CPUtime=25.46
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 25358 0 0 0 2530 16 0 0 25 0 1 0 271647577 104685568 24924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 25558 24924 310 324 0 24628 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 102232

[startup+51.1011 s]
/proc/loadavg: 0.91 0.93 0.90 2/78 2900
/proc/meminfo: memFree=1656680/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=199924 CPUtime=51.05
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 49783 0 0 0 5077 28 0 0 25 0 1 0 271647577 204722176 49349 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 49981 49349 310 324 0 49051 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 199924

[startup+102.305 s]
/proc/loadavg: 0.96 0.94 0.90 2/78 2900
/proc/meminfo: memFree=1471912/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=382800 CPUtime=102.24
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 95503 0 0 0 10173 51 0 0 25 0 1 0 271647577 391987200 95064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 95700 95064 310 324 0 94770 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 382800

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.91 2/78 2900
/proc/meminfo: memFree=1321768/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=532048 CPUtime=162.21
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 132978 0 0 0 16149 72 0 0 25 0 1 0 271647577 544817152 132374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 133012 132374 310 324 0 132082 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 532048

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.91 2/78 2900
/proc/meminfo: memFree=1321768/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=532048 CPUtime=222.2
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 132978 0 0 0 22147 73 0 0 25 0 1 0 271647577 544817152 132374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 133012 132374 310 324 0 132082 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 532048

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.91 2/78 2900
/proc/meminfo: memFree=1321896/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=531900 CPUtime=282.18
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 132978 0 0 0 28145 73 0 0 25 0 1 0 271647577 544665600 132337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 132975 132337 310 324 0 132045 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 531900

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=1321896/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=531900 CPUtime=342.17
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 132978 0 0 0 34143 74 0 0 25 0 1 0 271647577 544665600 132337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 132975 132337 310 324 0 132045 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 531900

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=1221800/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=632948 CPUtime=402.15
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 158253 0 0 0 40127 88 0 0 25 0 1 0 271647577 648138752 157612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 158237 157612 310 324 0 157307 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 632948

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=1090600/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=763532 CPUtime=462.13
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 190896 0 0 0 46105 108 0 0 25 0 1 0 271647577 781856768 190255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 190883 190255 310 324 0 189953 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 763532

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=991656/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=862932 CPUtime=522.12
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 215759 0 0 0 52090 122 0 0 25 0 1 0 271647577 883642368 215118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 215733 215118 310 324 0 214803 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 862932

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=934120/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=919500 CPUtime=582.1
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 229884 0 0 0 58081 129 0 0 25 0 1 0 271647577 941568000 229243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 229875 229243 310 324 0 228945 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 919500

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930344/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922756 CPUtime=642.09
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230805 0 0 0 64079 130 0 0 25 0 1 0 271647577 944902144 230077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230689 230077 310 324 0 229759 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 922756


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930344/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922756 CPUtime=882.03
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230805 0 0 0 88070 133 0 0 25 0 1 0 271647577 944902144 230077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230689 230077 310 324 0 229759 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 922756

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930408/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922676 CPUtime=942
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230806 0 0 0 94067 133 0 0 25 0 1 0 271647577 944820224 230060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230669 230060 310 324 0 229739 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 922676

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930408/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922676 CPUtime=1001.99
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230806 0 0 0 100065 134 0 0 25 0 1 0 271647577 944820224 230060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230669 230060 310 324 0 229739 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 922676

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930408/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922676 CPUtime=1061.97
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230806 0 0 0 106063 134 0 0 25 0 1 0 271647577 944820224 230060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2629362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230669 230060 310 324 0 229739 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 922676

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930472/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922676 CPUtime=1121.96
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230806 0 0 0 112061 135 0 0 25 0 1 0 271647577 944820224 230060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230669 230060 310 324 0 229739 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 922676

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930472/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922676 CPUtime=1181.94
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230806 0 0 0 118059 135 0 0 25 0 1 0 271647577 944820224 230060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230669 230060 310 324 0 229739 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 922676

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=930472/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922676 CPUtime=1241.93
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230806 0 0 0 124057 136 0 0 25 0 1 0 271647577 944820224 230060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230669 230060 310 324 0 229739 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 922676

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 2900
/proc/meminfo: memFree=930472/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=922676 CPUtime=1301.91
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 230806 0 0 0 130055 136 0 0 25 0 1 0 271647577 944820224 230060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 230669 230060 310 324 0 229739 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 922676

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=883432/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=970392 CPUtime=1361.89
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 242720 0 0 0 136045 144 0 0 25 0 1 0 271647577 993681408 241974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 242598 241974 310 324 0 241668 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 970392

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=808296/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1044860 CPUtime=1421.89
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 261337 0 0 0 142031 158 0 0 25 0 1 0 271647577 1069936640 260591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 261215 260591 310 324 0 260285 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1044860

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790248/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1062496 CPUtime=1481.87
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 265857 0 0 0 148026 161 0 0 25 0 1 0 271647577 1087995904 265008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 265624 265008 310 324 0 264694 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1062496

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790248/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1062496 CPUtime=1541.85
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 265857 0 0 0 154024 161 0 0 25 0 1 0 271647577 1087995904 265008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 265624 265008 310 324 0 264694 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1062496

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790312/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1062496 CPUtime=1601.83
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 265857 0 0 0 160021 162 0 0 25 0 1 0 271647577 1087995904 265008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 265624 265008 310 324 0 264694 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1062496

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790312/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1062496 CPUtime=1661.81
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 265857 0 0 0 166019 162 0 0 25 0 1 0 271647577 1087995904 265008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2305140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 265624 265008 310 324 0 264694 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1062496

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790312/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1062496 CPUtime=1721.8
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 265857 0 0 0 172017 163 0 0 25 0 1 0 271647577 1087995904 265008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 265624 265008 310 324 0 264694 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1062496

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790312/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1062496 CPUtime=1781.78
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 265857 0 0 0 178015 163 0 0 25 0 1 0 271647577 1087995904 265008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 265624 265008 310 324 0 264694 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1062496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790312/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=1062496 CPUtime=1800.09
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194304 265857 0 0 0 179845 164 0 0 25 0 1 0 271647577 1087995904 265008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 265624 265008 310 324 0 264694 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1062496

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2900
/proc/meminfo: memFree=790312/2055924 swapFree=4143484/4192956
[pid=2869] ppid=2867 vsize=0 CPUtime=1800.18
/proc/2869/stat : 2869 (bsolo3.0.17) R 2867 2869 2804 0 -1 4194308 265861 0 0 0 179845 173 0 0 25 0 1 0 271647577 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/2869/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.79
CPU time (s): 1800.27
CPU user time (s): 1798.46
CPU system time (s): 1.80872
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1062908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.46
system time used= 1.80872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 36905

runsolver used 1.39079 second user time and 3.91341 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Mon Apr 30 18:01:39 UTC 2007

IDJOB= 433193
IDBENCH= 2346
IDSOLVER= 199
FILE ID= node6/433193-1177956099

PBS_JOBID= 4727735

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/433193-1177956099/instance-433193-1177956099.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-433193-1177956099 -o ROOT/results/node6/solver-433193-1177956099 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433193-1177956099/instance-433193-1177956099.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  5868d211ef96ddb724291c5e77360715

RANDOM SEED= 551911398

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:      2055924 kB
MemFree:       1850712 kB
Buffers:         34636 kB
Cached:          98180 kB
SwapCached:      17056 kB
Active:          59492 kB
Inactive:       100144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1850712 kB
SwapTotal:     4192956 kB
SwapFree:      4143484 kB
Dirty:            7916 kB
Writeback:           0 kB
Mapped:          31092 kB
Slab:            30812 kB
Committed_AS:  7230968 kB
PageTables:       2028 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= 66557 MiB

End job on node6 on Mon Apr 30 18:31:42 UTC 2007