Trace number 40594

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 2006/05SAT (TO)1167360000000000 1800.95 1801.39

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

Verifier Data (download as text)

OK	1167360000000000

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node69/watcher-40594-1149307299 -o ROOT/results/node69/solver-40594-1149307299 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40594-1149307299/instance-40594-1149307299.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.90 2/64 20759
/proc/meminfo: memFree=1791396/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=4664 CPUtime=0
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 119 0 0 0 0 0 0 0 18 0 1 0 196400038 4775936 101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11956312 0 0 4096 0 0 0 0 17 1 0 0
/proc/20759/statm: 1166 109 90 55 0 46 0

[startup+10.0026 s]
/proc/loadavg: 0.87 0.94 0.90 2/64 20759
/proc/meminfo: memFree=1772084/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=24300 CPUtime=9.98
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 5225 0 0 0 996 2 0 0 25 0 1 0 196400038 24883200 5132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 6075 5132 296 55 0 4967 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 24300

[startup+20.0084 s]
/proc/loadavg: 0.89 0.94 0.90 2/64 20759
/proc/meminfo: memFree=1771124/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=25360 CPUtime=19.98
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 5471 0 0 0 1996 2 0 0 25 0 1 0 196400038 25968640 5378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 6340 5378 296 55 0 5232 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 25360

[startup+30.0143 s]
/proc/loadavg: 0.90 0.94 0.90 2/64 20759
/proc/meminfo: memFree=1433524/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=370224 CPUtime=29.99
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 89924 0 0 0 2958 41 0 0 25 0 1 0 196400038 379109376 89630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 92556 89630 296 55 0 91448 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 370224

[startup+40.0202 s]
/proc/loadavg: 0.92 0.94 0.90 2/64 20759
/proc/meminfo: memFree=1422516/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=380828 CPUtime=39.99
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 92654 0 0 0 3957 42 0 0 25 0 1 0 196400038 389967872 92360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134650003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 95207 92360 296 55 0 94099 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 380828

[startup+50.026 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 20759
/proc/meminfo: memFree=1412084/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=391040 CPUtime=49.99
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 95257 0 0 0 4955 44 0 0 25 0 1 0 196400038 400424960 94963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 97760 94963 296 55 0 96652 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 391040

[startup+60.0319 s]
/proc/loadavg: 0.94 0.95 0.90 2/64 20759
/proc/meminfo: memFree=1388084/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=415856 CPUtime=60
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 101259 0 0 0 5953 47 0 0 25 0 1 0 196400038 425836544 100965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 103964 100965 296 55 0 102856 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 415856

[startup+70.0378 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 20759
/proc/meminfo: memFree=1376052/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=428344 CPUtime=70
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 104254 0 0 0 6952 48 0 0 25 0 1 0 196400038 438624256 103960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649609 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 107086 103960 296 55 0 105978 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 428344

[startup+80.0436 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 20759
/proc/meminfo: memFree=1335028/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=469360 CPUtime=80
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 114497 0 0 0 7948 52 0 0 25 0 1 0 196400038 480624640 114203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535133 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 117340 114203 296 55 0 116232 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 469360

[startup+90.0485 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 20759
/proc/meminfo: memFree=1289716/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=514380 CPUtime=90.01
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 125795 0 0 0 8943 58 0 0 25 0 1 0 196400038 526725120 125501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 128595 125501 296 55 0 127487 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 514380

[startup+100.053 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 20759
/proc/meminfo: memFree=1231924/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=572376 CPUtime=100.01
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 140306 0 0 0 9937 64 0 0 25 0 1 0 196400038 586113024 140012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 143094 140012 296 55 0 141986 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 572376

[startup+110.059 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 20759
/proc/meminfo: memFree=1184756/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=619564 CPUtime=110.01
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 151989 0 0 0 10932 69 0 0 25 0 1 0 196400038 634433536 151695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 154891 151695 296 55 0 153783 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 619564

[startup+120.065 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 20759
/proc/meminfo: memFree=1098356/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=715856 CPUtime=120.01
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 173544 0 0 0 11924 77 0 0 25 0 1 0 196400038 733036544 173250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 178964 173250 296 55 0 177856 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 715856

[startup+130.071 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 20759
/proc/meminfo: memFree=620660/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1250732 CPUtime=130.02
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 294196 0 0 0 12880 122 0 0 25 0 1 0 196400038 1280749568 292487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 312683 292487 296 55 0 311575 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 1250732

[startup+140.077 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 20759
/proc/meminfo: memFree=611892/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1259840 CPUtime=140.02
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 296315 0 0 0 13879 123 0 0 25 0 1 0 196400038 1290076160 294588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 314960 294588 297 55 0 313852 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 1259840

[startup+150.083 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 20759
/proc/meminfo: memFree=611892/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1259840 CPUtime=150.03
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 296315 0 0 0 14880 123 0 0 25 0 1 0 196400038 1290076160 294588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 314960 294588 297 55 0 313852 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 1259840

[startup+160.089 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20759
/proc/meminfo: memFree=611892/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1259840 CPUtime=160.03
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 296315 0 0 0 15880 123 0 0 25 0 1 0 196400038 1290076160 294588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649139 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 314960 294588 297 55 0 313852 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 1259840

[startup+170.094 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20759
/proc/meminfo: memFree=593588/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1259840 CPUtime=170.03
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 300946 0 0 0 16878 125 0 0 25 0 1 0 196400038 1290076160 299165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 314960 299165 297 55 0 313852 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 1259840

[startup+180.1 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20759
/proc/meminfo: memFree=593204/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1259840 CPUtime=180.04
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 301061 0 0 0 17879 125 0 0 25 0 1 0 196400038 1290076160 299280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 314960 299280 297 55 0 313852 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 1259840

[startup+190.106 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20759
/proc/meminfo: memFree=592820/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1259840 CPUtime=190.04
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 301148 0 0 0 18879 125 0 0 25 0 1 0 196400038 1290076160 299367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 314960 299367 297 55 0 313852 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 1259840

[startup+200.112 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20759
/proc/meminfo: memFree=592372/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1259840 CPUtime=200.04
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 301252 0 0 0 19879 125 0 0 25 0 1 0 196400038 1290076160 299471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 314960 299471 297 55 0 313852 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 1259840

[startup+210.118 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20759
/proc/meminfo: memFree=592244/2055920 swapFree=4182216/4192956

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

[pid=20759] ppid=20757 vsize=1671088 CPUtime=1781.58
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 177968 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 1671088

[startup+1783.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1782.58
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178068 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695698 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 1671088

[startup+1784.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1783.59
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178169 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134648009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 1671088

[startup+1785.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1784.59
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178269 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 1671088

[startup+1786.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1785.6
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178370 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 1671088

[startup+1787.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1786.6
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178470 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (Kb) 1671088

[startup+1788.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1787.61
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178571 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12386977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1787.61
Current children cumulated vsize (Kb) 1671088

[startup+1789.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1788.61
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178671 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 1671088

[startup+1790.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1789.62
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178772 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 1671088

[startup+1791.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1790.62
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178872 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 1671088

[startup+1792.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1791.63
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 178973 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 1671088

[startup+1793.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1792.63
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179073 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 1671088

[startup+1794.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1793.63
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179173 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 1671088

[startup+1795.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1794.64
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179274 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (Kb) 1671088

[startup+1796.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1795.64
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179374 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 1671088

[startup+1797.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1796.65
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179475 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (Kb) 1671088

[startup+1798.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1797.65
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179575 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12385832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 1671088

[startup+1799.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1798.66
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179676 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (Kb) 1671088

[startup+1800.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1799.66
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179776 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134648009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 1671088

[startup+1801.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1800.67
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179877 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (Kb) 1671088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20759
/proc/meminfo: memFree=165556/2055920 swapFree=4182216/4192956
[pid=20759] ppid=20757 vsize=1671088 CPUtime=1800.67
/proc/20759/stat : 20759 (bsolo) R 20757 20759 20713 0 -1 0 418857 0 0 0 179877 190 0 0 25 0 1 0 196400038 1711194112 405944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20759/statm: 417772 405944 297 55 0 416664 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (Kb) 1671088

Sending SIGTERM to -20759
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.39
CPU time (s): 1800.95
CPU user time (s): 1798.78
CPU system time (s): 2.16167
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (Kb): 1671304

Launcher Data (download as text)

Begin job on node69 on Sat Jun  3 04:01:40 UTC 2006


FILE ID= 40594-1149307299

PBS_JOBID= 307688

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= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40594-1149307299/instance-40594-1149307299.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-40594-1149307299 -o ROOT/results/node69/solver-40594-1149307299 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40594-1149307299/instance-40594-1149307299.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  5868d211ef96ddb724291c5e77360715

RANDOM SEED= 461609132


/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:      2055920 kB
MemFree:       1791604 kB
Buffers:         27436 kB
Cached:         166820 kB
SwapCached:       2468 kB
Active:          71504 kB
Inactive:       131504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1791604 kB
SwapTotal:     4192956 kB
SwapFree:      4182216 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15444 kB
Slab:            47236 kB
Committed_AS:   323828 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node69 on Sat Jun  3 04:31:42 UTC 2006