Trace number 33837

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
PB-smodels 1.28SAT (TO)770 1800.02 1800.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
MD5SUMac375eafd62b8d1010f2c1559ff8989d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark572
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 547
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 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 13215
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 19888
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	770

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

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node1/watcher-33837-1154025721 -o ROOT/results/node1/solver-33837-1154025721 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node1/33837-1154025721/instance-33837-1154025721.opb 850554332 ROOT/tmp/node1/33837-1154025721 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 12602
/proc/meminfo: memFree=1611792/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5260 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) R 12600 12602 12553 0 -1 4194304 71 0 0 0 0 0 0 0 19 0 1 0 149433780 5386240 52 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259350602608 0 0 4096 0 0 0 0 17 1 0 0
/proc/12602/statm: 1303 57 41 169 0 14 0

[startup+10.0027 s]
/proc/loadavg: 1.07 1.02 1.00 2/68 12607
/proc/meminfo: memFree=1605416/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=6.59
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1444 0 0 0 659 0 0 0 25 0 1 0 149433782 7454720 1408 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531065 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1408 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (Kb) 42532

[startup+20.0096 s]
/proc/loadavg: 1.06 1.02 1.00 2/68 12607
/proc/meminfo: memFree=1605544/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=16.59
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1444 0 0 0 1659 0 0 0 25 0 1 0 149433782 7454720 1408 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520966 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1408 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 20.51
Current children cumulated vsize (Kb) 42532

[startup+30.0166 s]
/proc/loadavg: 1.05 1.01 1.00 2/68 12607
/proc/meminfo: memFree=1605608/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=26.6
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1445 0 0 0 2660 0 0 0 25 0 1 0 149433782 7454720 1409 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1409 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 30.52
Current children cumulated vsize (Kb) 42532

[startup+40.0236 s]
/proc/loadavg: 1.04 1.01 1.00 2/68 12607
/proc/meminfo: memFree=1605608/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=36.61
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1446 0 0 0 3660 1 0 0 25 0 1 0 149433782 7454720 1410 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1410 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 40.53
Current children cumulated vsize (Kb) 42532

[startup+50.0306 s]
/proc/loadavg: 1.04 1.01 1.00 2/68 12607
/proc/meminfo: memFree=1605672/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=46.61
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1447 0 0 0 4660 1 0 0 25 0 1 0 149433782 7454720 1411 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1411 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (Kb) 42532

[startup+60.0375 s]
/proc/loadavg: 1.03 1.01 1.00 2/68 12607
/proc/meminfo: memFree=1605672/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=56.61
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1447 0 0 0 5660 1 0 0 25 0 1 0 149433782 7454720 1411 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521388 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1411 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 60.53
Current children cumulated vsize (Kb) 42532

[startup+70.0445 s]
/proc/loadavg: 1.02 1.01 1.00 2/68 12607
/proc/meminfo: memFree=1605672/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=66.61
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1448 0 0 0 6660 1 0 0 25 0 1 0 149433782 7454720 1412 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555216 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1412 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 70.53
Current children cumulated vsize (Kb) 42532

[startup+80.0515 s]
/proc/loadavg: 1.02 1.01 1.00 2/68 12607
/proc/meminfo: memFree=1605672/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=76.62
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1449 0 0 0 7661 1 0 0 25 0 1 0 149433782 7454720 1413 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555230 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1413 210 20 0 1257 0
[pid=12607] ppid=12604 vsize=12268 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149433782 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 80.54
Current children cumulated vsize (Kb) 42532

[startup+90.0584 s]
/proc/loadavg: 1.02 1.01 1.00 2/68 12607
/proc/meminfo: memFree=1605672/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=86.62
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1452 0 0 0 8661 1 0 0 25 0 1 0 149433782 7454720 1416 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 178904 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521326 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1792.98
Current children cumulated vsize (Kb) 43060

[startup+1794.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1790.06
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179004 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531424 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1793.98
Current children cumulated vsize (Kb) 43060

[startup+1795.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1791.07
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179105 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1794.99
Current children cumulated vsize (Kb) 43060

[startup+1796.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1792.07
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179205 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520649 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1795.99
Current children cumulated vsize (Kb) 43060

[startup+1797.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1793.08
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179306 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555230 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (Kb) 43060

[startup+1798.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1794.08
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179406 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534208 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (Kb) 43060

[startup+1799.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1795.09
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179507 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (Kb) 43060

[startup+1800.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1796.09
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179607 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533089 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (Kb) 43060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12805
/proc/meminfo: memFree=1604712/2055920 swapFree=4183100/4192956
[pid=12602] ppid=12600 vsize=5360 CPUtime=0
/proc/12602/stat : 12602 (runpbsmodels) S 12600 12602 12553 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149433780 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12602/statm: 1340 234 195 169 0 51 0
[pid=12603] ppid=12602 vsize=12268 CPUtime=0
/proc/12603/stat : 12603 (pbsmodels-v1.28) S 12602 12602 12553 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149433781 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12603/statm: 3067 383 293 3 0 167 0
[pid=12604] ppid=12603 vsize=5356 CPUtime=3.92
/proc/12604/stat : 12604 (sh) S 12603 12602 12553 0 -1 4194304 311 1648 0 0 0 0 391 1 16 0 1 0 149433781 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12604/statm: 1339 227 188 169 0 50 0
[pid=12606] ppid=12604 vsize=7280 CPUtime=1796.1
/proc/12606/stat : 12606 (smodels) R 12604 12602 12553 0 -1 4194304 1469 0 0 0 179608 2 0 0 25 0 1 0 149433782 7454720 1433 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521388 0 0 4096 0 0 0 0 17 1 0 0
/proc/12606/statm: 1820 1433 212 20 0 1257 0
[pid=12607] ppid=12604 vsize=12796 CPUtime=0
/proc/12607/stat : 12607 (pbout.pl) S 12604 12602 12553 0 -1 4194304 577 0 0 0 0 0 0 0 17 0 1 0 149433782 13103104 536 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12607/statm: 3199 536 333 3 0 299 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (Kb) 43060

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

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 12602 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=1999
CPU time returned by wait4() is 0.002998
while last known CPU time is 1800.02

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1800.29
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.03
CPU usage (%): 99.9852
Max. virtual memory (cumulated for all children) (Kb): 43060
The end

Launcher Data (download as text)

Begin job on node1 on Thu Jul 27 18:42:01 UTC 2006


FILE ID= 33837-1154025721

PBS_JOBID= 880779

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node1/33837-1154025721/instance-33837-1154025721.opb 850554332  ROOT/tmp/node1/33837-1154025721
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-33837-1154025721 -o ROOT/results/node1/solver-33837-1154025721 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node1/33837-1154025721/instance-33837-1154025721.opb 850554332  ROOT/tmp/node1/33837-1154025721

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  ac375eafd62b8d1010f2c1559ff8989d

RANDOM SEED= 850554332

TIMEOUT= 1800 seconds


/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.281
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.281
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:       1612000 kB
Buffers:         33296 kB
Cached:         351060 kB
SwapCached:       3652 kB
Active:         215404 kB
Inactive:       177508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1612000 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14600 kB
Slab:            37012 kB
Committed_AS:   629992 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node1 on Thu Jul 27 19:12:01 UTC 2006