Trace number 4434883

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-02OPT3437313 697.14 698.876

General information on the benchmark

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

Verifier Data 

OK	3437313

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: 63931 MiB (60880 MiB free)
  memory of node 1: 64510 MiB (60348 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=853911, runsolver pid=853908

[startup+0.102017 s]*
/proc/loadavg: 4.10 3.86 2.92 5/261 853912
/proc/meminfo: memFree=124087416/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=72472 memory=60700 CPUtime=0.1 cores=5,7
/proc/853911/stat : 853911 (fscip) R 853908 853911 853275 0 -1 4194304 12929 0 0 0 8 2 0 0 20 0 1 0 165443264 74211328 15175 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 18118 15175 2622 3032 0 14518 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72472 KiB
Current children cumulated memory: 60700 KiB

[startup+0.205537 s]*
/proc/loadavg: 4.10 3.86 2.92 5/261 853912
/proc/meminfo: memFree=124072932/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=86764 memory=75432 CPUtime=0.2 cores=5,7
/proc/853911/stat : 853911 (fscip) R 853908 853911 853275 0 -1 4194304 18767 0 0 0 17 3 0 0 20 0 1 0 165443264 88846336 18858 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 21691 18858 2750 3032 0 18091 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86764 KiB
Current children cumulated memory: 75432 KiB

[startup+0.305518 s]*
/proc/loadavg: 4.10 3.86 2.92 5/261 853912
/proc/meminfo: memFree=124071776/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=87408 memory=75960 CPUtime=0.3 cores=5,7
/proc/853911/stat : 853911 (fscip) R 853908 853911 853275 0 -1 4194304 18923 0 0 0 27 3 0 0 20 0 1 0 165443264 89505792 18990 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 21852 18990 2750 3032 0 18252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87408 KiB
Current children cumulated memory: 75960 KiB

[startup+0.701019 s]
/proc/loadavg: 4.10 3.86 2.92 5/263 853914
/proc/meminfo: memFree=124010376/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=209496 memory=163268 CPUtime=0.67 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 44200 0 0 0 61 6 0 0 20 0 3 0 165443264 214523904 40817 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 52374 40817 2830 3032 0 47706 0
[pid=853911/tid=853913] ppid=853908 vsize=209496 memory=5528 CPUtime=0.28 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 17880 0 0 0 26 2 0 0 20 0 3 0 165443302 214523904 40817 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=209496 memory=2305 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165443306 214523904 40817 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 209496 KiB
Current children cumulated memory: 163268 KiB

[startup+1.50102 s]
/proc/loadavg: 4.10 3.86 2.92 5/263 853914
/proc/meminfo: memFree=123977452/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=275032 memory=172224 CPUtime=1.47 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 47716 0 0 0 140 7 0 0 20 0 3 0 165443264 281632768 43056 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 68758 43056 2910 3032 0 50162 0
[pid=853911/tid=853913] ppid=853908 vsize=275032 memory=2305 CPUtime=1.07 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 21396 0 0 0 105 2 0 0 20 0 3 0 165443302 281632768 43056 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=275032 memory=0 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165443306 281632768 43056 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 172224 KiB

[startup+3.10549 s]
/proc/loadavg: 4.10 3.86 2.92 5/263 853914
/proc/meminfo: memFree=123973768/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=275032 memory=174856 CPUtime=3.06 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 54700 0 0 0 298 8 0 0 20 0 3 0 165443264 281632768 43714 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 68758 43714 2910 3032 0 50767 0
[pid=853911/tid=853913] ppid=853908 vsize=275032 memory=0 CPUtime=2.66 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 28373 0 0 0 263 3 0 0 20 0 3 0 165443302 281632768 43714 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=275032 memory=0 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 165443306 281632768 43714 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 174856 KiB

[startup+6.30025 s]
/proc/loadavg: 4.18 3.88 2.93 5/263 853914
/proc/meminfo: memFree=123966240/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=275032 memory=183352 CPUtime=6.25 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 67371 0 0 0 616 9 0 0 20 0 3 0 165443264 281632768 45838 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 68758 45838 2910 3032 0 52983 0
[pid=853911/tid=853913] ppid=853908 vsize=275032 memory=176188 CPUtime=5.85 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 41044 0 0 0 581 4 0 0 20 0 3 0 165443302 281632768 45838 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=275032 memory=172244 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 165443306 281632768 45838 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 183352 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 3.89 2.94 5/263 853916
/proc/meminfo: memFree=123912544/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=275032 memory=197192 CPUtime=12.63 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 88328 0 0 0 1253 10 0 0 20 0 3 0 165443264 281632768 49298 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 68758 49298 2910 3032 0 56532 0
[pid=853911/tid=853913] ppid=853908 vsize=275032 memory=180496 CPUtime=12.24 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 61988 0 0 0 1218 6 0 0 20 0 3 0 165443302 281632768 49298 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=275032 memory=-6728775219397442404 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 165443306 281632768 49298 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 197192 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 3.91 2.96 5/263 853917
/proc/meminfo: memFree=123887036/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=275032 memory=221276 CPUtime=25.4 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 113032 0 0 0 2527 13 0 0 20 0 3 0 165443264 281632768 55319 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 68758 55319 2942 3032 0 62476 0
[pid=853911/tid=853913] ppid=853908 vsize=275032 memory=197392 CPUtime=25 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 86683 0 0 0 2492 8 0 0 20 0 3 0 165443302 281632768 55319 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=275032 memory=197392 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 165443306 281632768 55319 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 275032 KiB
Current children cumulated memory: 221276 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 3.92 2.99 5/264 853924
/proc/meminfo: memFree=123855532/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=239704 CPUtime=50.94 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 157330 0 0 0 5078 16 0 0 20 0 3 0 165443264 348741632 59926 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 59926 2942 3032 0 67424 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=221472 CPUtime=50.54 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 130937 0 0 0 5043 11 0 0 20 0 3 0 165443302 348741632 59926 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=13072 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 59926 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 239704 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.96 3.05 5/267 854105
/proc/meminfo: memFree=123853356/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=239980 CPUtime=102.01 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 187183 0 0 0 10183 18 0 0 20 0 3 0 165443264 348741632 59995 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 59995 2990 3032 0 67424 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=5516 CPUtime=101.61 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 160671 0 0 0 10148 13 0 0 20 0 3 0 165443302 348741632 59995 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=11444 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 59995 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 239980 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.00 3.13 5/267 854116
/proc/meminfo: memFree=123845408/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=240136 CPUtime=161.86 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 217948 0 0 0 16166 20 0 0 20 0 3 0 165443264 348741632 60034 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 60034 2990 3032 0 67424 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=240120 CPUtime=161.45 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 189348 0 0 0 16130 15 0 0 20 0 3 0 165443302 348741632 60034 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=11444 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 60034 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 240136 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.01 3.19 5/269 854184
/proc/meminfo: memFree=123839040/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=246448 CPUtime=221.69 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 235737 0 0 0 22148 21 0 0 20 0 3 0 165443264 348741632 61612 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 61612 3310 3032 0 67424 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=241368 CPUtime=221.28 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 206355 0 0 0 22112 16 0 0 20 0 3 0 165443302 348741632 61612 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=13072 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 61612 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0

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

/proc/853911/statm: 85142 72667 3310 3032 0 77186 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=264864 CPUtime=520.55 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 228462 0 0 0 52037 18 0 0 20 0 3 0 165443302 348741632 72667 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=288800 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 72667 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 520.97 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 290668 KiB

[startup+582.3 s]
/proc/loadavg: 4.11 4.10 3.51 5/262 854295
/proc/meminfo: memFree=123779232/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=292216 CPUtime=580.83 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 260649 0 0 0 58059 24 0 0 20 0 3 0 165443264 348741632 73054 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 73054 3310 3032 0 77314 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=292196 CPUtime=580.41 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 231110 0 0 0 58023 18 0 0 20 0 3 0 165443302 348741632 73054 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=11444 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 92 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 73054 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 580.83 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 292216 KiB

[startup+642.3 s]
/proc/loadavg: 4.13 4.11 3.56 5/262 854305
/proc/meminfo: memFree=123742312/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=293700 CPUtime=640.69 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 267289 0 0 0 64044 25 0 0 20 0 3 0 165443264 348741632 73425 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 73425 3310 3032 0 78001 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=292216 CPUtime=640.26 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 237732 0 0 0 64007 19 0 0 20 0 3 0 165443302 348741632 73425 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=293700 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 73425 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 640.69 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 293700 KiB

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

# cumulated CPU time of all completed processes:  user=696.869 s, system=0.271222 s

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

[startup+665.6 s]
/proc/loadavg: 4.16 4.11 3.57 5/262 854311
/proc/meminfo: memFree=123736616/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=298760 CPUtime=663.93 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 270262 0 0 0 66368 25 0 0 20 0 3 0 165443264 348741632 74690 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74690 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=292216 CPUtime=663.5 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 240697 0 0 0 66331 19 0 0 20 0 3 0 165443302 348741632 74690 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=11444 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74690 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 663.93 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 298760 KiB

[startup+678.4 s]
/proc/loadavg: 4.14 4.11 3.58 5/262 854314
/proc/meminfo: memFree=123728304/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=299024 CPUtime=676.71 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 275868 0 0 0 67645 26 0 0 20 0 3 0 165443264 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74756 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=294316 CPUtime=676.28 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 246298 0 0 0 67608 20 0 0 20 0 3 0 165443302 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=41700 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 676.71 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 299024 KiB

[startup+691.2 s]
/proc/loadavg: 4.11 4.10 3.58 5/262 854315
/proc/meminfo: memFree=123728980/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=299024 CPUtime=689.47 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 275993 0 0 0 68921 26 0 0 20 0 3 0 165443264 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74756 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=16076 CPUtime=689.04 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 246421 0 0 0 68884 20 0 0 20 0 3 0 165443302 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=293700 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 689.47 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 299024 KiB

[startup+694.4 s]
/proc/loadavg: 4.10 4.10 3.59 5/262 854315
/proc/meminfo: memFree=123728980/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=299024 CPUtime=692.67 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 276017 0 0 0 69241 26 0 0 20 0 3 0 165443264 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74756 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=5516 CPUtime=692.24 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 246445 0 0 0 69204 20 0 0 20 0 3 0 165443302 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=41700 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 692.67 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 299024 KiB

[startup+696 s]*
/proc/loadavg: 4.10 4.10 3.59 5/262 854315
/proc/meminfo: memFree=123728972/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=299024 CPUtime=694.27 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 276022 0 0 0 69401 26 0 0 20 0 3 0 165443264 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74756 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=6720663263878856558 CPUtime=693.84 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 246448 0 0 0 69364 20 0 0 20 0 3 0 165443302 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=3364 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 694.27 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 299024 KiB

[startup+697.6 s]
/proc/loadavg: 4.10 4.10 3.59 5/262 854315
/proc/meminfo: memFree=123728972/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=299024 CPUtime=695.86 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 276035 0 0 0 69560 26 0 0 20 0 3 0 165443264 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74756 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=11444 CPUtime=695.43 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 246461 0 0 0 69523 20 0 0 20 0 3 0 165443302 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=299024 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 695.86 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 299024 KiB

[startup+698.4 s]
/proc/loadavg: 4.10 4.10 3.59 5/262 854317
/proc/meminfo: memFree=123728940/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=299024 CPUtime=696.66 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 276051 0 0 0 69640 26 0 0 20 0 3 0 165443264 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74756 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=299024 CPUtime=696.23 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 246477 0 0 0 69603 20 0 0 20 0 3 0 165443302 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=16076 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 696.66 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 299024 KiB

[startup+698.8 s]
/proc/loadavg: 4.10 4.10 3.59 5/262 854317
/proc/meminfo: memFree=123728940/131524600 swapFree=131071996/131071996
[pid=853911] ppid=853908 vsize=340568 memory=299024 CPUtime=697.05 cores=5,7
/proc/853911/stat : 853911 (fscip) S 853908 853911 853275 0 -1 1077936128 276055 0 0 0 69679 26 0 0 20 0 3 0 165443264 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
/proc/853911/statm: 85142 74756 3310 3032 0 79105 0
[pid=853911/tid=853913] ppid=853908 vsize=340568 memory=17840 CPUtime=696.62 cores=5,7
/proc/853911/task/853913/stat : 853913 (fscip) R 853908 853911 853275 0 -1 4194368 246481 0 0 0 69642 20 0 0 20 0 3 0 165443302 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
[pid=853911/tid=853914] ppid=853908 vsize=340568 memory=1322 CPUtime=0 cores=5,7
/proc/853911/task/853914/stat : 853914 (fscip) S 853908 853911 853275 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 165443306 348741632 74756 134679101440 4194304 16613245 140720319126384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140720319128597 140720319128713 140720319128713 140720319135728 0
Current children cumulated CPU time: 697.05 s
Current children cumulated vsize: 340568 KiB
Current children cumulated memory: 299024 KiB

Child status: 0

Real time (s): 698.876
CPU time (s): 697.14
CPU user time (s): 696.869
CPU system time (s): 0.271222
CPU usage (%): 99.7515
Max. virtual memory (cumulated for all children) (KiB): 340568
Max. memory (cumulated for all children) (KiB): 299024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 696.869
system time used= 0.271222
maximum resident set size= 299028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277886
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= 1354
involuntary context switches= 381


# summary of solver processes directly reported to runsolver:
#   pid: 853911
#   total CPU time (s): 697.14
#   total CPU user time (s): 696.869
#   total CPU system time (s): 0.271222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38253 second user time and 3.28754 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-16 14:26:37
IDJOB=4434883
IDBENCH=155624
IDSOLVER=3064
FILE ID=nodeC024/4434883-1721132783
RUNJOBID= nodeC024-1721132097-853288
SLURM_JOB_ID= 7505702
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.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-4434883-1721132783/watcher-4434883-1721132783 -o /tmp/evaluation-result-4434883-1721132783/solver-4434883-1721132783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853288 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434883-1721132783.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=335770998

nodeC024.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		: 3674.596
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	: 6999.60
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		: 3676.950
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	: 7007.08
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		: 3599.984
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	: 6999.60
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.381
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	: 7007.08
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		: 3674.632
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	: 6999.60
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		: 3678.138
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	: 7007.08
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		: 3600.241
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	: 6999.60
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		: 3665.045
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124138036 kB
MemAvailable:   128554060 kB
Buffers:          413248 kB
Cached:          4789676 kB
SwapCached:            0 kB
Active:           733060 kB
Inactive:        5948148 kB
Active(anon):       1564 kB
Inactive(anon):  1514804 kB
Active(file):     731496 kB
Inactive(file):  4433344 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28700 kB
Writeback:             0 kB
AnonPages:       1476628 kB
Mapped:           143076 kB
Shmem:             37720 kB
KReclaimable:     181664 kB
Slab:             297768 kB
SReclaimable:     181664 kB
SUnreclaim:       116104 kB
KernelStack:        4236 kB
PageTables:        11924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1365088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1103872 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:      240340 kB
DirectMap2M:    23650304 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC024 at 2024-07-16 14:38:16