Trace number 4464214

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
FiberSCIP 2024-07-30OPT3892789 737.579 739.345

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
MD5SUMf134d089c54411466f2bcbd6371e604a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3892789
Best CPU time to get the best result obtained on this benchmark737.579
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 171879616
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 85431562646
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 171879616
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 85431562646
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	3892789

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60789 MiB free)
  memory of node 1: 64473 MiB (61689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464214-1722382228/watcher-4464214-1722382228 -o /tmp/evaluation-result-4464214-1722382228/solver-4464214-1722382228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464214-1722382228.opb -qsol -t 3600 -sth 1 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32693, runsolver pid=32690

[startup+0.100711 s]*
/proc/loadavg: 4.05 4.10 4.07 5/267 32694
/proc/meminfo: memFree=125367432/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=72488 memory=60736 CPUtime=0.1 cores=4,6
/proc/32693/stat : 32693 (fscip) R 32690 32693 30194 0 -1 4194304 12960 0 0 0 9 1 0 0 20 0 1 0 4822978 74227712 15184 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 18122 15184 2630 3035 0 14518 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72488 KiB
Current children cumulated memory: 60736 KiB

[startup+0.205602 s]*
/proc/loadavg: 4.05 4.10 4.07 5/267 32694
/proc/meminfo: memFree=125352956/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=86780 memory=75532 CPUtime=0.2 cores=4,6
/proc/32693/stat : 32693 (fscip) R 32690 32693 30194 0 -1 4194304 18771 0 0 0 18 2 0 0 20 0 1 0 4822978 88862720 18883 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 21695 18883 2774 3035 0 18091 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86780 KiB
Current children cumulated memory: 75532 KiB

[startup+0.3055 s]*
/proc/loadavg: 4.05 4.10 4.07 5/267 32694
/proc/meminfo: memFree=125352136/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=87424 memory=76060 CPUtime=0.3 cores=4,6
/proc/32693/stat : 32693 (fscip) R 32690 32693 30194 0 -1 4194304 18927 0 0 0 28 2 0 0 20 0 1 0 4822978 89522176 19015 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 21856 19015 2774 3035 0 18252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87424 KiB
Current children cumulated memory: 76060 KiB

[startup+0.700714 s]
/proc/loadavg: 4.05 4.10 4.07 5/269 32696
/proc/meminfo: memFree=125290768/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=209512 memory=163364 CPUtime=0.67 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 44202 0 0 0 62 5 0 0 20 0 3 0 4822978 214540288 40841 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 52378 40841 2854 3035 0 47706 0
[pid=32693/tid=32695] ppid=32690 vsize=209512 memory=1952 CPUtime=0.28 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 17881 0 0 0 26 2 0 0 20 0 3 0 4823015 214540288 40841 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=209512 memory=2369 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4823019 214540288 40841 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 209512 KiB
Current children cumulated memory: 163364 KiB

[startup+1.50071 s]
/proc/loadavg: 4.05 4.10 4.07 5/269 32696
/proc/meminfo: memFree=125254704/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=275048 memory=172148 CPUtime=1.47 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 47667 0 0 0 141 6 0 0 20 0 3 0 4822978 281649152 43037 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 68762 43037 2950 3035 0 50070 0
[pid=32693/tid=32695] ppid=32690 vsize=275048 memory=2369 CPUtime=1.07 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 21346 0 0 0 105 2 0 0 20 0 3 0 4823015 281649152 43037 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=275048 memory=0 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4823019 281649152 43037 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 172148 KiB

[startup+3.10534 s]
/proc/loadavg: 4.05 4.10 4.07 5/268 32696
/proc/meminfo: memFree=125227172/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=275048 memory=185272 CPUtime=3.06 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 57255 0 0 0 300 6 0 0 20 0 3 0 4822978 281649152 46318 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 68762 46318 2950 3035 0 53637 0
[pid=32693/tid=32695] ppid=32690 vsize=275048 memory=0 CPUtime=2.67 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 30932 0 0 0 264 3 0 0 20 0 3 0 4823015 281649152 46318 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=275048 memory=0 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4823019 281649152 46318 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 185272 KiB

[startup+6.30018 s]
/proc/loadavg: 4.04 4.10 4.07 5/268 32697
/proc/meminfo: memFree=125213676/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=275048 memory=194796 CPUtime=6.25 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 70999 0 0 0 618 7 0 0 20 0 3 0 4822978 281649152 48699 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 68762 48699 2950 3035 0 56504 0
[pid=32693/tid=32695] ppid=32690 vsize=275048 memory=0 CPUtime=5.86 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 44676 0 0 0 582 4 0 0 20 0 3 0 4823015 281649152 48699 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=275048 memory=186304 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4823019 281649152 48699 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 194796 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.10 4.07 5/267 32697
/proc/meminfo: memFree=125183236/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=275048 memory=202400 CPUtime=12.64 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 92193 0 0 0 1255 9 0 0 20 0 3 0 4822978 281649152 50600 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 68762 50600 2950 3035 0 58836 0
[pid=32693/tid=32695] ppid=32690 vsize=275048 memory=0 CPUtime=12.24 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 65860 0 0 0 1219 5 0 0 20 0 3 0 4823015 281649152 50600 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=275048 memory=12680 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4823019 281649152 50600 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 202400 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.08 5/267 32701
/proc/meminfo: memFree=125121056/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=230924 CPUtime=25.41 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 116166 0 0 0 2530 11 0 0 20 0 3 0 4822978 348758016 57731 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 57731 2982 3035 0 66016 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=203412 CPUtime=25.02 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 89824 0 0 0 2494 8 0 0 20 0 3 0 4823015 348758016 57731 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=12680 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 57731 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 230924 KiB

[startup+51.105 s]
/proc/loadavg: 4.07 4.10 4.07 5/267 32704
/proc/meminfo: memFree=125094956/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=231128 CPUtime=50.95 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 152710 0 0 0 5082 13 0 0 20 0 3 0 4822978 348758016 57782 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 57782 2982 3035 0 66016 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=231128 CPUtime=50.56 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 126314 0 0 0 5046 10 0 0 20 0 3 0 4823015 348758016 57782 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=-7235713967909332599 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 57782 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 231128 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/268 32714
/proc/meminfo: memFree=124979700/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=243928 CPUtime=102.03 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 187231 0 0 0 10188 15 0 0 20 0 3 0 4822978 348758016 60982 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 60982 3030 3035 0 69294 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=243928 CPUtime=101.64 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 160705 0 0 0 10152 12 0 0 20 0 3 0 4823015 348758016 60982 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=-7235713967909332599 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 60982 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 243928 KiB

[startup+162.3 s]
/proc/loadavg: 4.37 4.16 4.10 5/268 32724
/proc/meminfo: memFree=124841676/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=244124 CPUtime=161.89 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 223570 0 0 0 16172 17 0 0 20 0 3 0 4822978 348758016 61031 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 61031 3030 3035 0 69294 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=244084 CPUtime=161.49 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 194746 0 0 0 16135 14 0 0 20 0 3 0 4823015 348758016 61031 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=244072 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 61031 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 244124 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.19 4.11 5/266 32734
/proc/meminfo: memFree=124775124/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=244228 CPUtime=221.76 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 244944 0 0 0 22158 18 0 0 20 0 3 0 4822978 348758016 61057 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 61057 3030 3035 0 69294 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=244072 CPUtime=221.35 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 215029 0 0 0 22120 15 0 0 20 0 3 0 4823015 348758016 61057 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=12340 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 61057 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0

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

/proc/32693/statm: 85146 72474 3334 3035 0 75736 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=289896 CPUtime=580.5 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 262318 0 0 0 58031 19 0 0 20 0 3 0 4823015 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=289896 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 95 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 580.92 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 289896 KiB

[startup+642.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 32815
/proc/meminfo: memFree=124156384/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=289896 CPUtime=640.77 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 294709 0 0 0 64054 23 0 0 20 0 3 0 4822978 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72474 3334 3035 0 75736 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=289896 CPUtime=640.35 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 264541 0 0 0 64016 19 0 0 20 0 3 0 4823015 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=12340 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 99 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 640.77 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 289896 KiB

[startup+702.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/265 32825
/proc/meminfo: memFree=124124972/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=289896 CPUtime=700.63 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 296645 0 0 0 70039 24 0 0 20 0 3 0 4822978 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72474 3334 3035 0 75736 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=289896 CPUtime=700.2 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 266435 0 0 0 70000 20 0 0 20 0 3 0 4823015 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=289896 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 103 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72474 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 700.63 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 289896 KiB

[startup+739.345 s]
# the end of solver process 32693 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=737.326 s, system=0.252402 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+716.8 s]
/proc/loadavg: 4.49 4.21 4.12 5/265 32828
/proc/meminfo: memFree=124040060/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291844 CPUtime=715.09 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 298175 0 0 0 71485 24 0 0 20 0 3 0 4822978 348758016 72961 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72961 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=12340 CPUtime=714.66 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 267965 0 0 0 71446 20 0 0 20 0 3 0 4823015 348758016 72961 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=289896 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 103 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72961 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 715.09 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291844 KiB

[startup+729.6 s]
/proc/loadavg: 4.41 4.21 4.12 5/265 32830
/proc/meminfo: memFree=124032856/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291940 CPUtime=727.85 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 299153 0 0 0 72761 24 0 0 20 0 3 0 4822978 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72985 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=12680 CPUtime=727.42 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 268922 0 0 0 72722 20 0 0 20 0 3 0 4823015 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=72263 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 727.85 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291940 KiB

[startup+736 s]*
/proc/loadavg: 4.35 4.20 4.12 5/265 32832
/proc/meminfo: memFree=124028292/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291940 CPUtime=734.24 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 299235 0 0 0 73400 24 0 0 20 0 3 0 4822978 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72985 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=4696 CPUtime=733.81 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 269004 0 0 0 73361 20 0 0 20 0 3 0 4823015 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=291940 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 734.24 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291940 KiB

[startup+737.6 s]
/proc/loadavg: 4.35 4.20 4.12 5/265 32832
/proc/meminfo: memFree=124026136/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291940 CPUtime=735.83 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 299256 0 0 0 73559 24 0 0 20 0 3 0 4822978 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72985 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=291940 CPUtime=735.4 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 269025 0 0 0 73520 20 0 0 20 0 3 0 4823015 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=12340 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 735.83 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291940 KiB

[startup+738.4 s]
/proc/loadavg: 4.35 4.20 4.12 5/265 32832
/proc/meminfo: memFree=124025484/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291940 CPUtime=736.62 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 299257 0 0 0 73638 24 0 0 20 0 3 0 4822978 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72985 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=12680 CPUtime=736.19 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 269026 0 0 0 73599 20 0 0 20 0 3 0 4823015 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=291940 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 736.62 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291940 KiB

[startup+738.8 s]
/proc/loadavg: 4.35 4.20 4.12 5/265 32832
/proc/meminfo: memFree=124025484/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291940 CPUtime=737.02 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 299258 0 0 0 73678 24 0 0 20 0 3 0 4822978 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72985 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=-7235713967909332599 CPUtime=736.59 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 269027 0 0 0 73639 20 0 0 20 0 3 0 4823015 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=429 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 737.02 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291940 KiB

[startup+739.2 s]
/proc/loadavg: 4.35 4.20 4.12 5/265 32832
/proc/meminfo: memFree=124025316/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291940 CPUtime=737.42 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 299270 0 0 0 73718 24 0 0 20 0 3 0 4822978 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72985 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=291940 CPUtime=736.99 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 269039 0 0 0 73679 20 0 0 20 0 3 0 4823015 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=291940 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 737.42 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291940 KiB

[startup+739.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/265 32832
/proc/meminfo: memFree=124025316/131524600 swapFree=131071996/131071996
[pid=32693] ppid=32690 vsize=340584 memory=291940 CPUtime=737.52 cores=4,6
/proc/32693/stat : 32693 (fscip) S 32690 32693 30194 0 -1 1077936128 299272 0 0 0 73728 24 0 0 20 0 3 0 4822978 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
/proc/32693/statm: 85146 72985 3334 3035 0 76492 0
[pid=32693/tid=32695] ppid=32690 vsize=340584 memory=291940 CPUtime=737.09 cores=4,6
/proc/32693/task/32695/stat : 32695 (fscip) R 32690 32693 30194 0 -1 4194368 269041 0 0 0 73689 20 0 0 20 0 3 0 4823015 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
[pid=32693/tid=32696] ppid=32690 vsize=340584 memory=291940 CPUtime=0 cores=4,6
/proc/32693/task/32696/stat : 32696 (fscip) S 32690 32693 30194 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4823019 348758016 72985 134679101440 4194304 16623229 140724790209040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45346816 140724790215702 140724790215818 140724790215818 140724790222832 0
Current children cumulated CPU time: 737.52 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 291940 KiB

Child status: 0

Real time (s): 739.345
CPU time (s): 737.579
CPU user time (s): 737.326
CPU system time (s): 0.252402
CPU usage (%): 99.761
Max. virtual memory (cumulated for all children) (KiB): 340584
Max. memory (cumulated for all children) (KiB): 291940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 737.326
system time used= 0.252402
maximum resident set size= 291940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1649
involuntary context switches= 320


# summary of solver processes directly reported to runsolver:
#   pid: 32693
#   total CPU time (s): 737.579
#   total CPU user time (s): 737.326
#   total CPU system time (s): 0.252402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38007 second user time and 3.11619 second system time

The end

Launcher Data

Begin job on nodeC026 at 2024-07-31 01:30:28
IDJOB=4464214
IDBENCH=155609
IDSOLVER=3092
FILE ID=nodeC026/4464214-1722382228
RUNJOBID= nodeC026-1722378594-30205
SLURM_JOB_ID= 8249849
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464214-1722382228/watcher-4464214-1722382228 -o /tmp/evaluation-result-4464214-1722382228/solver-4464214-1722382228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464214-1722382228.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=1390683433

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.593
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3690.108
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.308
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.478
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3650.142
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3690.117
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.455
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.520
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125418420 kB
MemAvailable:   129454120 kB
Buffers:           95492 kB
Cached:          4757556 kB
SwapCached:            0 kB
Active:           266448 kB
Inactive:        5326152 kB
Active(anon):       1496 kB
Inactive(anon):   759396 kB
Active(file):     264952 kB
Inactive(file):  4566756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29292 kB
Writeback:             0 kB
AnonPages:        739612 kB
Mapped:           124660 kB
Shmem:             21336 kB
KReclaimable:      87628 kB
Slab:             172196 kB
SReclaimable:      87628 kB
SUnreclaim:        84568 kB
KernelStack:        4288 kB
PageTables:        10660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     887392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    16345088 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC026 at 2024-07-31 01:42:47