Trace number 39758

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05OPT3905 84.4872 84.6279

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-air02.opb
MD5SUM3f00532e02ccc246cb25b1a4f0a837d4
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3905
Best CPU time to get the best result obtained on this benchmark0.821874
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3905
Optimality of the best value was proved YES
Number of variables6774
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint3729
Number of terms in the objective function 6774
Biggest coefficient in the objective function 4804
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 6613094
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 4804
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 6613094
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.10	c INFO: OSL Context initialized.
0.51	c Initial problem consists of 6774 variables and 100 constraints.
0.55	c No problem reductions applied in OPT. instance.
0.55	c	preprocess terminated. Elapsed time: 0.45
0.55	c After prepocess the problem consists of 6774 variables and 100 constraints.
0.55	c Initial Lower Bound: 0
0.63	c Sol. found (all assignments made)...
0.63	o 235947
0.63	c NEW SOLUTION FOUND: 235947 @ 0.529
0.63	c Sol. found (all assignments made)...
0.63	o 226466
0.63	c NEW SOLUTION FOUND: 226466 @ 0.531
0.63	c Sol. found (all assignments made)...
0.63	c Sol. found (all assignments made)...
0.63	o 217758
0.63	c NEW SOLUTION FOUND: 217758 @ 0.532
0.64	c Sol. found (all assignments made)...
0.64	c Sol. found (all assignments made)...
0.64	o 213793
0.64	c NEW SOLUTION FOUND: 213793 @ 0.538
0.64	c Sol. found (all assignments made)...
0.64	c Sol. found (all assignments made)...
0.64	o 205085
0.64	c NEW SOLUTION FOUND: 205085 @ 0.54
0.64	c Sol. found (all assignments made)...
0.64	c Sol. found (all assignments made)...
0.64	o 204674
0.64	c NEW SOLUTION FOUND: 204674 @ 0.545
0.67	c Sol. found (all assignments made)...
0.67	c Sol. found (all assignments made)...
0.67	o 196054
0.67	c NEW SOLUTION FOUND: 196054 @ 0.573
0.68	c Sol. found (all assignments made)...
0.68	c Sol. found (all assignments made)...
0.68	o 195643
0.68	c NEW SOLUTION FOUND: 195643 @ 0.579
0.71	c Sol. found (all assignments made)...
0.71	c Sol. found (all assignments made)...
0.71	o 195529
0.71	c NEW SOLUTION FOUND: 195529 @ 0.617
0.74	c Sol. found (all assignments made)...
0.74	c Sol. found (all assignments made)...
0.74	o 186909
0.74	c NEW SOLUTION FOUND: 186909 @ 0.645
0.75	c Sol. found (all assignments made)...
0.75	c Sol. found (all assignments made)...
0.75	o 186498
0.75	c NEW SOLUTION FOUND: 186498 @ 0.651
0.78	c Sol. found (all assignments made)...
0.78	c Sol. found (all assignments made)...
0.81	c Sol. found (all assignments made)...
0.81	c Sol. found (all assignments made)...
1.04	c Sol. found (all assignments made)...
1.04	c Sol. found (all assignments made)...
1.04	c Sol. found (all assignments made)...
1.04	c Sol. found (all assignments made)...
1.05	c Sol. found (all assignments made)...
1.05	c Sol. found (all assignments made)...
1.06	c Sol. found (all assignments made)...
1.06	c Sol. found (all assignments made)...
1.16	c Sol. found (all assignments made)...
1.16	c Sol. found (all assignments made)...
1.16	o 178319
1.16	c NEW SOLUTION FOUND: 178319 @ 1.065
1.18	c Sol. found (all assignments made)...
1.18	c Sol. found (all assignments made)...
1.18	o 177875
1.18	c NEW SOLUTION FOUND: 177875 @ 1.079
1.27	c Sol. found (all assignments made)...
1.27	c Sol. found (all assignments made)...
1.27	c Sol. found (all assignments made)...
1.27	c Sol. found (all assignments made)...
1.38	c Sol. found (all assignments made)...
1.38	c Sol. found (all assignments made)...
1.38	o 177765
1.38	c NEW SOLUTION FOUND: 177765 @ 1.286
1.39	c Sol. found (all assignments made)...
1.39	c Sol. found (all assignments made)...
1.39	o 177354
1.39	c NEW SOLUTION FOUND: 177354 @ 1.292
1.42	c Sol. found (all assignments made)...
1.42	c Sol. found (all assignments made)...
1.43	c Sol. found (all assignments made)...
1.43	c Sol. found (all assignments made)...
1.67	c Sol. found (all assignments made)...
1.67	c Sol. found (all assignments made)...
1.68	c Sol. found (all assignments made)...
1.68	c Sol. found (all assignments made)...
1.69	c Sol. found (all assignments made)...
1.69	c Sol. found (all assignments made)...
1.69	c Sol. found (all assignments made)...
1.69	c Sol. found (all assignments made)...
1.80	c Sol. found (all assignments made)...
1.80	c Sol. found (all assignments made)...
1.80	o 169175
1.80	c NEW SOLUTION FOUND: 169175 @ 1.704
1.82	c Sol. found (all assignments made)...
1.82	c Sol. found (all assignments made)...
1.82	o 168731
1.82	c NEW SOLUTION FOUND: 168731 @ 1.718
1.91	c Sol. found (all assignments made)...
1.91	c Sol. found (all assignments made)...
1.92	c Sol. found (all assignments made)...
1.92	c Sol. found (all assignments made)...
2.02	c Sol. found (all assignments made)...
2.02	c Sol. found (all assignments made)...
2.03	c Sol. found (all assignments made)...
2.03	c Sol. found (all assignments made)...
2.11	c Sol. found (all assignments made)...
2.11	c Sol. found (all assignments made)...
2.20	c Sol. found (all assignments made)...
2.21	c Sol. found (all assignments made)...
2.21	c Sol. found (all assignments made)...
2.22	c Sol. found (all assignments made)...
2.29	c Sol. found (all assignments made)...
2.33	c Sol. found (all assignments made)...
2.34	c Sol. found (all assignments made)...
2.34	c Sol. found (all assignments made)...
2.42	c Sol. found (all assignments made)...
2.42	c Sol. found (all assignments made)...
2.42	o 168389
2.42	c NEW SOLUTION FOUND: 168389 @ 2.318
2.42	c Sol. found (all assignments made)...
2.42	c Sol. found (all assignments made)...
2.42	o 167978
2.42	c NEW SOLUTION FOUND: 167978 @ 2.324
2.43	c Sol. found (all assignments made)...
2.43	c Sol. found (all assignments made)...
2.48	c Sol. found (all assignments made)...
2.48	c Sol. found (all assignments made)...
2.49	c Sol. found (all assignments made)...
2.49	c Sol. found (all assignments made)...
2.51	c Sol. found (all assignments made)...
2.51	c Sol. found (all assignments made)...
2.51	c Sol. found (all assignments made)...
2.51	c Sol. found (all assignments made)...
2.55	c Sol. found (all assignments made)...
2.56	c Sol. found (all assignments made)...
2.57	c Sol. found (all assignments made)...
2.57	c Sol. found (all assignments made)...
2.57	c Sol. found (all assignments made)...
2.84	c Sol. found (all assignments made)...
2.84	c Sol. found (all assignments made)...
2.88	c Sol. found (all assignments made)...
2.88	c Sol. found (all assignments made)...
2.98	c Sol. found (all assignments made)...
2.99	c Sol. found (all assignments made)...
3.13	c Restart #1 #Var: 6774 LB: 0 @ 3.03
3.79	c Sol. found (all assignments made)...
3.80	c Sol. found (all assignments made)...
3.83	c Sol. found (all assignments made)...
3.87	c Sol. found (all assignments made)...
3.88	c Sol. found (all assignments made)...
3.91	c Sol. found (all assignments made)...
4.19	c Sol. found (all assignments made)...
4.19	c Sol. found (all assignments made)...
4.22	c Sol. found (all assignments made)...
4.22	c Sol. found (all assignments made)...
4.22	c Sol. found (all assignments made)...
4.22	c Sol. found (all assignments made)...
4.26	c Sol. found (all assignments made)...
4.26	c Sol. found (all assignments made)...
4.26	c Sol. found (all assignments made)...
4.28	c Sol. found (all assignments made)...
4.29	c Sol. found (all assignments made)...
4.29	c Sol. found (all assignments made)...
4.89	c Restart #2 #Var: 6774 LB: 0 @ 4.79
5.64	c Sol. found (all assignments made)...
5.64	c Sol. found (all assignments made)...
5.66	c Sol. found (all assignments made)...
5.66	c Sol. found (all assignments made)...
5.73	c Sol. found (all assignments made)...
5.73	c Sol. found (all assignments made)...
5.73	o 160358
5.73	c NEW SOLUTION FOUND: 160358 @ 5.629
5.73	c Sol. found (all assignments made)...
5.73	c Sol. found (all assignments made)...
5.73	o 159914
5.73	c NEW SOLUTION FOUND: 159914 @ 5.635
5.83	c Sol. found (all assignments made)...
5.83	c Sol. found (all assignments made)...
5.84	c Sol. found (all assignments made)...
5.84	c Sol. found (all assignments made)...
6.12	c Sol. found (all assignments made)...
6.12	c Sol. found (all assignments made)...
6.13	c Sol. found (all assignments made)...
6.13	c Sol. found (all assignments made)...
6.13	o 159611
6.13	c NEW SOLUTION FOUND: 159611 @ 6.027
6.17	c Sol. found (all assignments made)...
6.17	c Sol. found (all assignments made)...
6.18	c Sol. found (all assignments made)...
6.18	c Sol. found (all assignments made)...
6.26	c Sol. found (all assignments made)...
6.26	c Sol. found (all assignments made)...
6.26	c Sol. found (all assignments made)...
6.26	c Sol. found (all assignments made)...
6.43	c Sol. found (all assignments made)...
6.43	c Sol. found (all assignments made)...
6.44	c Sol. found (all assignments made)...
6.44	c Sol. found (all assignments made)...
6.44	o 159206
6.44	c NEW SOLUTION FOUND: 159206 @ 6.338
6.45	c Sol. found (all assignments made)...
6.45	c Sol. found (all assignments made)...
6.46	c Sol. found (all assignments made)...
6.46	c Sol. found (all assignments made)...
6.58	c Sol. found (all assignments made)...
6.58	c Sol. found (all assignments made)...
6.59	c Sol. found (all assignments made)...
6.59	c Sol. found (all assignments made)...
6.59	o 159104
6.59	c NEW SOLUTION FOUND: 159104 @ 6.488
6.60	c Sol. found (all assignments made)...
6.60	c Sol. found (all assignments made)...
6.61	c Sol. found (all assignments made)...
6.61	c Sol. found (all assignments made)...
6.69	c Sol. found (all assignments made)...
6.69	c Sol. found (all assignments made)...
6.75	c Sol. found (all assignments made)...
6.75	c Sol. found (all assignments made)...
6.78	c Sol. found (all assignments made)...
6.78	c Sol. found (all assignments made)...
6.78	o 151027
6.78	c NEW SOLUTION FOUND: 151027 @ 6.674
6.78	c Sol. found (all assignments made)...
6.78	c Sol. found (all assignments made)...
6.78	o 150583
6.78	c NEW SOLUTION FOUND: 150583 @ 6.681
6.81	c Sol. found (all assignments made)...
6.81	c Sol. found (all assignments made)...
6.81	c Sol. found (all assignments made)...
6.81	c Sol. found (all assignments made)...
6.81	o 150481
6.81	c NEW SOLUTION FOUND: 150481 @ 6.711
6.90	c Sol. found (all assignments made)...
6.90	c Sol. found (all assignments made)...
6.95	c Sol. found (all assignments made)...
6.95	c Sol. found (all assignments made)...
6.96	c Sol. found (all assignments made)...
7.00	c Sol. found (all assignments made)...
7.00	c Sol. found (all assignments made)...
7.01	c Sol. found (all assignments made)...
7.02	c Sol. found (all assignments made)...
7.05	c Sol. found (all assignments made)...
7.08	c Sol. found (all assignments made)...
7.09	c Sol. found (all assignments made)...
7.09	c Sol. found (all assignments made)...
7.10	c Sol. found (all assignments made)...
7.12	c Sol. found (all assignments made)...
7.22	c Sol. found (all assignments made)...
7.23	c Sol. found (all assignments made)...
7.24	c Sol. found (all assignments made)...
7.25	c Sol. found (all assignments made)...
7.31	c Sol. found (all assignments made)...
7.32	c Sol. found (all assignments made)...
7.32	c Sol. found (all assignments made)...
7.33	c Sol. found (all assignments made)...
7.34	c Sol. found (all assignments made)...
7.34	c Sol. found (all assignments made)...
7.51	c Sol. found (all assignments made)...
7.52	c Sol. found (all assignments made)...
7.52	c Sol. found (all assignments made)...
7.52	o 150077
7.52	c NEW SOLUTION FOUND: 150077 @ 7.419
7.53	c Sol. found (all assignments made)...
7.53	c Sol. found (all assignments made)...
7.54	c Sol. found (all assignments made)...
7.54	o 149975
7.54	c NEW SOLUTION FOUND: 149975 @ 7.436
7.57	c Sol. found (all assignments made)...
7.58	c Sol. found (all assignments made)...
7.58	c Sol. found (all assignments made)...
7.62	c Sol. found (all assignments made)...
7.63	c Sol. found (all assignments made)...
7.63	c Sol. found (all assignments made)...
7.64	c Sol. found (all assignments made)...
7.64	c Sol. found (all assignments made)...
7.64	c Sol. found (all assignments made)...
7.64	o 149918
7.64	c NEW SOLUTION FOUND: 149918 @ 7.542
7.67	c Sol. found (all assignments made)...
7.67	c Sol. found (all assignments made)...
7.67	c Sol. found (all assignments made)...
7.67	c Sol. found (all assignments made)...
7.67	o 149728
7.67	c NEW SOLUTION FOUND: 149728 @ 7.572
7.69	c Sol. found (all assignments made)...
7.69	c Sol. found (all assignments made)...
7.69	c Sol. found (all assignments made)...
7.69	c Sol. found (all assignments made)...
7.72	c Sol. found (all assignments made)...
7.93	c Sol. found (all assignments made)...
7.95	c Sol. found (all assignments made)...
8.08	c Sol. found (all assignments made)...
8.12	c Sol. found (all assignments made)...
8.45	c Sol. found (all assignments made)...
8.45	c Sol. found (all assignments made)...
8.51	c Sol. found (all assignments made)...
8.51	c Sol. found (all assignments made)...
8.52	c Sol. found (all assignments made)...
8.52	c Sol. found (all assignments made)...
8.57	c Sol. found (all assignments made)...
8.58	c Sol. found (all assignments made)...
8.58	c Sol. found (all assignments made)...
8.59	c Sol. found (all assignments made)...
8.66	c Sol. found (all assignments made)...
8.73	c Sol. found (all assignments made)...
8.76	c Sol. found (all assignments made)...
8.76	c Sol. found (all assignments made)...
8.77	c Sol. found (all assignments made)...
8.77	c Sol. found (all assignments made)...
8.77	o 149714
8.77	c NEW SOLUTION FOUND: 149714 @ 8.665
8.80	c Sol. found (all assignments made)...
8.96	c Sol. found (all assignments made)...
8.96	c Sol. found (all assignments made)...
8.97	c Sol. found (all assignments made)...
8.97	c Sol. found (all assignments made)...
8.97	o 149638
8.97	c NEW SOLUTION FOUND: 149638 @ 8.866
9.09	c Sol. found (all assignments made)...
9.09	c Sol. found (all assignments made)...
9.09	o 149533
9.09	c NEW SOLUTION FOUND: 149533 @ 8.991
9.10	c Sol. found (all assignments made)...
9.10	c Sol. found (all assignments made)...
9.48	c Sol. found (all assignments made)...
9.49	c Sol. found (all assignments made)...
9.52	c Sol. found (all assignments made)...
9.58	c Sol. found (all assignments made)...
9.58	c Sol. found (all assignments made)...
9.58	c Sol. found (all assignments made)...
9.72	c Sol. found (all assignments made)...
9.73	c Sol. found (all assignments made)...
9.74	c Sol. found (all assignments made)...
9.75	c Sol. found (all assignments made)...
9.79	c Sol. found (all assignments made)...
9.80	c Sol. found (all assignments made)...
9.88	c Sol. found (all assignments made)...
9.88	c Sol. found (all assignments made)...
9.89	c Sol. found (all assignments made)...
9.90	c Sol. found (all assignments made)...
9.90	c Sol. found (all assignments made)...
9.90	c Sol. found (all assignments made)...
9.95	c Sol. found (all assignments made)...
9.96	c Sol. found (all assignments made)...
9.99	c Sol. found (all assignments made)...
10.00	c Sol. found (all assignments made)...
10.06	c Sol. found (all assignments made)...
10.07	c Sol. found (all assignments made)...
10.08	c Sol. found (all assignments made)...
10.08	c Sol. found (all assignments made)...
10.10	c Sol. found (all assignments made)...
10.11	c Sol. found (all assignments made)...
10.15	c Sol. found (all assignments made)...
10.19	c Sol. found (all assignments made)...
10.73	c Sol. found (all assignments made)...
10.77	c Sol. found (all assignments made)...
10.79	c Sol. found (all assignments made)...
10.91	c Sol. found (all assignments made)...
10.95	c Sol. found (all assignments made)...
10.96	c Sol. found (all assignments made)...
11.12	c Sol. found (all assignments made)...
11.12	c Sol. found (all assignments made)...
11.19	c Sol. found (all assignments made)...
11.19	c Sol. found (all assignments made)...
11.23	c Sol. found (all assignments made)...
11.23	c Sol. found (all assignments made)...
11.32	c Sol. found (all assignments made)...
11.33	c Sol. found (all assignments made)...
11.51	c Sol. found (all assignments made)...
11.52	c Sol. found (all assignments made)...
11.54	c Sol. found (all assignments made)...
11.54	c Sol. found (all assignments made)...
11.57	c Sol. found (all assignments made)...
11.57	c Sol. found (all assignments made)...
11.60	c Sol. found (all assignments made)...
11.60	c Sol. found (all assignments made)...
11.78	c Sol. found (all assignments made)...
11.78	c Sol. found (all assignments made)...
11.87	c Sol. found (all assignments made)...
11.87	o 145828
11.87	c NEW SOLUTION FOUND: 145828 @ 11.758
11.89	c Sol. found (all assignments made)...
11.89	o 142121
11.89	c NEW SOLUTION FOUND: 142121 @ 11.786
11.89	c Sol. found (all assignments made)...
11.96	c Sol. found (all assignments made)...
11.96	o 141010
11.96	c NEW SOLUTION FOUND: 141010 @ 11.849
11.96	c Sol. found (all assignments made)...
12.14	c Sol. found (all assignments made)...
12.14	o 140853
12.14	c NEW SOLUTION FOUND: 140853 @ 12.036
12.14	c Sol. found (all assignments made)...
12.17	c Sol. found (all assignments made)...
12.17	o 140834
12.17	c NEW SOLUTION FOUND: 140834 @ 12.059
12.17	c Sol. found (all assignments made)...
12.18	c Sol. found (all assignments made)...
12.18	c Sol. found (all assignments made)...
12.22	c Sol. found (all assignments made)...
12.22	c Sol. found (all assignments made)...
12.23	c Sol. found (all assignments made)...
12.23	c Sol. found (all assignments made)...
12.23	o 140744
12.23	c NEW SOLUTION FOUND: 140744 @ 12.124
12.25	c Sol. found (all assignments made)...
12.25	c Sol. found (all assignments made)...
12.25	o 140573
12.25	c NEW SOLUTION FOUND: 140573 @ 12.146
12.26	c Sol. found (all assignments made)...
12.47	c Sol. found (all assignments made)...
12.47	c Sol. found (all assignments made)...
12.48	c Sol. found (all assignments made)...
12.49	c Sol. found (all assignments made)...
12.53	c Sol. found (all assignments made)...
12.53	c Sol. found (all assignments made)...
12.54	c Sol. found (all assignments made)...
12.57	c Sol. found (all assignments made)...
12.60	c Sol. found (all assignments made)...
12.61	c Sol. found (all assignments made)...
12.62	c Sol. found (all assignments made)...
12.67	c Sol. found (all assignments made)...
12.67	c Sol. found (all assignments made)...
12.68	c Sol. found (all assignments made)...
12.68	c Sol. found (all assignments made)...
12.68	c Sol. found (all assignments made)...
12.73	c Sol. found (all assignments made)...
12.73	o 140497
12.73	c NEW SOLUTION FOUND: 140497 @ 12.622
12.73	c Sol. found (all assignments made)...
12.74	c Sol. found (all assignments made)...
12.74	c Sol. found (all assignments made)...
12.75	c Sol. found (all assignments made)...
12.75	c Sol. found (all assignments made)...
12.75	o 140392
12.75	c NEW SOLUTION FOUND: 140392 @ 12.638
13.01	c Sol. found (all assignments made)...
13.06	c Sol. found (all assignments made)...
13.69	c Sol. found (all assignments made)...
13.72	c Sol. found (all assignments made)...
14.04	c Sol. found (all assignments made)...
14.21	c Sol. found (all assignments made)...
14.29	c Sol. found (all assignments made)...
14.42	c Sol. found (all assignments made)...
14.44	c Sol. found (all assignments made)...
14.46	c Sol. found (all assignments made)...
14.65	c Sol. found (all assignments made)...
14.67	c Sol. found (all assignments made)...
14.77	c Sol. found (all assignments made)...
14.78	c Sol. found (all assignments made)...
14.87	c Sol. found (all assignments made)...
15.07	c Sol. found (all assignments made)...
15.10	c Sol. found (all assignments made)...
15.12	c Sol. found (all assignments made)...
15.15	c Sol. found (all assignments made)...
15.16	c Sol. found (all assignments made)...
15.31	c Sol. found (all assignments made)...
15.31	c Sol. found (all assignments made)...
15.34	c Sol. found (all assignments made)...
15.34	c Sol. found (all assignments made)...
15.34	c Sol. found (all assignments made)...
15.34	c Sol. found (all assignments made)...
15.47	c Sol. found (all assignments made)...
15.48	c Sol. found (all assignments made)...
15.51	c Sol. found (all assignments made)...
15.51	c Sol. found (all assignments made)...
15.52	c Sol. found (all assignments made)...
15.52	c Sol. found (all assignments made)...
15.53	c Sol. found (all assignments made)...
15.53	c Sol. found (all assignments made)...
15.65	c Sol. found (all assignments made)...
15.74	c Sol. found (all assignments made)...
15.81	c Sol. found (all assignments made)...
15.82	c Sol. found (all assignments made)...
15.83	c Sol. found (all assignments made)...
15.91	c Sol. found (all assignments made)...
15.91	c Sol. found (all assignments made)...
15.91	c Sol. found (all assignments made)...
15.94	c Sol. found (all assignments made)...
15.94	c Sol. found (all assignments made)...
15.94	o 140340
15.94	c NEW SOLUTION FOUND: 140340 @ 15.831
15.95	c Sol. found (all assignments made)...
15.95	c Sol. found (all assignments made)...
16.39	c Sol. found (all assignments made)...
16.42	c Sol. found (all assignments made)...
16.59	c Sol. found (all assignments made)...
16.60	c Sol. found (all assignments made)...
16.68	c Sol. found (all assignments made)...
16.80	c Sol. found (all assignments made)...
16.80	c Sol. found (all assignments made)...
16.82	c Sol. found (all assignments made)...
16.82	c Sol. found (all assignments made)...
16.82	c Sol. found (all assignments made)...
16.82	c Sol. found (all assignments made)...
16.97	c Sol. found (all assignments made)...
17.02	c Sol. found (all assignments made)...
17.15	c Sol. found (all assignments made)...
17.16	c Sol. found (all assignments made)...
17.16	c Sol. found (all assignments made)...
17.24	c Sol. found (all assignments made)...
17.31	c Sol. found (all assignments made)...
17.40	c Sol. found (all assignments made)...
17.56	c Sol. found (all assignments made)...
17.57	c Sol. found (all assignments made)...
17.57	c Sol. found (all assignments made)...
17.65	c Sol. found (all assignments made)...
17.67	c Sol. found (all assignments made)...
17.67	c Sol. found (all assignments made)...
17.67	c Sol. found (all assignments made)...
17.67	c Sol. found (all assignments made)...
17.69	c Sol. found (all assignments made)...
17.69	c Sol. found (all assignments made)...
17.69	c Sol. found (all assignments made)...
17.69	c Sol. found (all assignments made)...
17.73	c Sol. found (all assignments made)...
17.73	c Sol. found (all assignments made)...
17.74	c Sol. found (all assignments made)...
17.74	c Sol. found (all assignments made)...
17.74	o 140264
17.74	c NEW SOLUTION FOUND: 140264 @ 17.632
17.76	c Sol. found (all assignments made)...
17.76	c Sol. found (all assignments made)...
17.77	c Sol. found (all assignments made)...
17.77	c Sol. found (all assignments made)...
17.77	o 140159
17.77	c NEW SOLUTION FOUND: 140159 @ 17.659
17.84	c Sol. found (all assignments made)...
17.86	c Sol. found (all assignments made)...
17.89	c Sol. found (all assignments made)...
17.90	c Sol. found (all assignments made)...
17.93	c Sol. found (all assignments made)...
17.96	c Sol. found (all assignments made)...
18.07	c Sol. found (all assignments made)...
18.09	c Sol. found (all assignments made)...
18.09	c Sol. found (all assignments made)...
18.11	c Sol. found (all assignments made)...
18.12	c Sol. found (all assignments made)...
18.21	c Sol. found (all assignments made)...
18.22	c Sol. found (all assignments made)...
18.23	c Sol. found (all assignments made)...
18.23	c Sol. found (all assignments made)...
18.29	c Sol. found (all assignments made)...
18.29	o 135343
18.29	c NEW SOLUTION FOUND: 135343 @ 18.185
18.30	c Sol. found (all assignments made)...
18.35	c Sol. found (all assignments made)...
18.35	c Sol. found (all assignments made)...
18.37	c Sol. found (all assignments made)...
18.37	c Sol. found (all assignments made)...
18.45	c Sol. found (all assignments made)...
18.45	c Sol. found (all assignments made)...
18.46	c Sol. found (all assignments made)...
18.50	c Sol. found (all assignments made)...
18.50	o 135267
18.50	c NEW SOLUTION FOUND: 135267 @ 18.388
18.50	c Sol. found (all assignments made)...
18.52	c Sol. found (all assignments made)...
18.52	o 135162
18.52	c NEW SOLUTION FOUND: 135162 @ 18.413
18.52	c Sol. found (all assignments made)...
18.57	c Sol. found (all assignments made)...
18.58	c Sol. found (all assignments made)...
18.59	c Sol. found (all assignments made)...
18.59	c Sol. found (all assignments made)...
18.65	c Sol. found (all assignments made)...
18.65	c Sol. found (all assignments made)...
18.65	c Sol. found (all assignments made)...
18.69	c Sol. found (all assignments made)...
18.69	o 135077
18.69	c NEW SOLUTION FOUND: 135077 @ 18.582
18.69	c Sol. found (all assignments made)...
18.71	c Sol. found (all assignments made)...
18.71	c Sol. found (all assignments made)...
18.71	o 134972
18.71	c NEW SOLUTION FOUND: 134972 @ 18.602
18.71	c Sol. found (all assignments made)...
18.71	c Sol. found (all assignments made)...
18.71	o 134906
18.71	c NEW SOLUTION FOUND: 134906 @ 18.603
18.73	c Sol. found (all assignments made)...
18.73	c Sol. found (all assignments made)...
18.75	c Sol. found (all assignments made)...
18.75	c Sol. found (all assignments made)...
18.75	c Sol. found (all assignments made)...
18.75	c Sol. found (all assignments made)...
18.77	c Sol. found (all assignments made)...
18.77	c Sol. found (all assignments made)...
18.77	o 134830
18.77	c NEW SOLUTION FOUND: 134830 @ 18.656
18.77	c Sol. found (all assignments made)...
18.77	o 134725
18.77	c NEW SOLUTION FOUND: 134725 @ 18.66
18.77	c Sol. found (all assignments made)...
18.87	c Sol. found (all assignments made)...
18.89	c Sol. found (all assignments made)...
18.93	c Sol. found (all assignments made)...
18.97	c Sol. found (all assignments made)...
18.98	c Sol. found (all assignments made)...
19.02	c Sol. found (all assignments made)...
19.04	c Sol. found (all assignments made)...
19.21	c Sol. found (all assignments made)...
19.22	c Sol. found (all assignments made)...
19.25	c Sol. found (all assignments made)...
19.26	c Sol. found (all assignments made)...
19.29	c Sol. found (all assignments made)...
19.31	c Sol. found (all assignments made)...
19.44	c Sol. found (all assignments made)...
19.45	c Sol. found (all assignments made)...
19.46	c Sol. found (all assignments made)...
19.47	c Sol. found (all assignments made)...
19.49	c Sol. found (all assignments made)...
19.49	c Sol. found (all assignments made)...
19.60	c Sol. found (all assignments made)...
19.61	c Sol. found (all assignments made)...
19.61	o 131636
19.61	c NEW SOLUTION FOUND: 131636 @ 19.499
19.62	c Sol. found (all assignments made)...
19.62	c Sol. found (all assignments made)...
20.76	c Sol. found (all assignments made)...
20.76	c Sol. found (all assignments made)...
20.79	c Sol. found (all assignments made)...
20.80	c Sol. found (all assignments made)...
20.81	c Sol. found (all assignments made)...
20.90	c Sol. found (all assignments made)...
20.90	c Sol. found (all assignments made)...
20.92	c Sol. found (all assignments made)...
20.92	c Sol. found (all assignments made)...
20.99	c Sol. found (all assignments made)...
21.00	c Sol. found (all assignments made)...
21.00	o 131560
21.00	c NEW SOLUTION FOUND: 131560 @ 20.887
21.00	c Sol. found (all assignments made)...
21.05	c Sol. found (all assignments made)...
21.05	c Sol. found (all assignments made)...
21.05	c Sol. found (all assignments made)...
21.05	o 131455
21.05	c NEW SOLUTION FOUND: 131455 @ 20.941
21.12	c Sol. found (all assignments made)...
21.12	c Sol. found (all assignments made)...
21.15	c Sol. found (all assignments made)...
21.16	c Sol. found (all assignments made)...
21.16	c Sol. found (all assignments made)...
21.24	c Sol. found (all assignments made)...
21.24	c Sol. found (all assignments made)...
21.25	c Sol. found (all assignments made)...
21.26	c Sol. found (all assignments made)...
21.31	c Sol. found (all assignments made)...
21.31	c Sol. found (all assignments made)...
21.31	o 131403
21.31	c NEW SOLUTION FOUND: 131403 @ 21.201
21.32	c Sol. found (all assignments made)...
21.36	c Sol. found (all assignments made)...
21.36	c Sol. found (all assignments made)...
21.36	o 131298
21.36	c NEW SOLUTION FOUND: 131298 @ 21.247
21.36	c Sol. found (all assignments made)...
21.37	c Sol. found (all assignments made)...
21.37	c Sol. found (all assignments made)...
21.37	o 131213
21.37	c NEW SOLUTION FOUND: 131213 @ 21.259
21.37	c Sol. found (all assignments made)...
21.37	c Sol. found (all assignments made)...
21.41	c Sol. found (all assignments made)...
21.41	c Sol. found (all assignments made)...
21.41	c Sol. found (all assignments made)...
21.45	c Sol. found (all assignments made)...
21.46	c Sol. found (all assignments made)...
21.46	c Sol. found (all assignments made)...
21.46	o 131199
21.46	c NEW SOLUTION FOUND: 131199 @ 21.347
21.48	c Sol. found (all assignments made)...
21.48	o 131123
21.48	c NEW SOLUTION FOUND: 131123 @ 21.37
21.49	c Sol. found (all assignments made)...
21.50	c Sol. found (all assignments made)...
21.50	c Sol. found (all assignments made)...
21.50	c Sol. found (all assignments made)...
21.50	c Sol. found (all assignments made)...
21.50	o 131018
21.50	c NEW SOLUTION FOUND: 131018 @ 21.385
22.22	c Sol. found (all assignments made)...
22.22	c Sol. found (all assignments made)...
24.92	c Restart #3 #Var: 6774 LB: 0 @ 24.805
29.63	c Restart #4 #Var: 6774 LB: 0 @ 29.51
29.78	c Sol. found (all assignments made)...
29.78	o 15727
29.78	c NEW SOLUTION FOUND: 15727 @ 29.666
29.78	c Sol. found (all assignments made)...
29.79	c Sol. found (all assignments made)...
29.79	c Sol. found (all assignments made)...
29.79	o 15664
29.79	c NEW SOLUTION FOUND: 15664 @ 29.674
29.81	c Sol. found (all assignments made)...
29.81	o 15450
29.81	c NEW SOLUTION FOUND: 15450 @ 29.699
29.81	c Sol. found (all assignments made)...
29.86	c Sol. found (all assignments made)...
29.86	c Sol. found (all assignments made)...
29.86	o 15375
29.86	c NEW SOLUTION FOUND: 15375 @ 29.745
29.91	c Sol. found (all assignments made)...
29.91	c Sol. found (all assignments made)...
29.96	c Sol. found (all assignments made)...
29.97	c Sol. found (all assignments made)...
29.99	c Sol. found (all assignments made)...
29.99	c Sol. found (all assignments made)...
30.01	c Sol. found (all assignments made)...
30.01	c Sol. found (all assignments made)...
30.05	c Sol. found (all assignments made)...
30.05	c Sol. found (all assignments made)...
30.06	c Sol. found (all assignments made)...
30.06	c Sol. found (all assignments made)...
30.06	c Sol. found (all assignments made)...
30.06	o 15359
30.06	c NEW SOLUTION FOUND: 15359 @ 29.947
30.08	c Sol. found (all assignments made)...
30.08	o 14443
30.08	c NEW SOLUTION FOUND: 14443 @ 29.965
30.08	c Sol. found (all assignments made)...
30.11	c Sol. found (all assignments made)...
30.12	c Sol. found (all assignments made)...
30.12	c Sol. found (all assignments made)...
30.14	c Sol. found (all assignments made)...
30.14	c Sol. found (all assignments made)...
30.22	c Sol. found (all assignments made)...
30.25	c Sol. found (all assignments made)...
30.27	c Sol. found (all assignments made)...
30.30	c Sol. found (all assignments made)...
30.32	c Sol. found (all assignments made)...
30.45	c Sol. found (all assignments made)...
30.46	c Sol. found (all assignments made)...
30.49	c Sol. found (all assignments made)...
30.51	c Sol. found (all assignments made)...
30.52	c Sol. found (all assignments made)...
30.58	c Sol. found (all assignments made)...
30.60	c Sol. found (all assignments made)...
30.70	c Sol. found (all assignments made)...
30.70	c Sol. found (all assignments made)...
30.73	c Sol. found (all assignments made)...
30.77	c Sol. found (all assignments made)...
30.77	c Sol. found (all assignments made)...
30.79	c Sol. found (all assignments made)...
30.80	c Sol. found (all assignments made)...
30.80	c Sol. found (all assignments made)...
30.82	c Sol. found (all assignments made)...
30.83	c Sol. found (all assignments made)...
30.85	c Sol. found (all assignments made)...
30.86	c Sol. found (all assignments made)...
30.86	c Sol. found (all assignments made)...
30.92	c Sol. found (all assignments made)...
30.92	c Sol. found (all assignments made)...
30.99	c Sol. found (all assignments made)...
30.99	c Sol. found (all assignments made)...
31.00	c Sol. found (all assignments made)...
31.01	c Sol. found (all assignments made)...
31.02	c Sol. found (all assignments made)...
31.57	c Sol. found (all assignments made)...
31.61	c Sol. found (all assignments made)...
31.65	c Sol. found (all assignments made)...
31.81	c Sol. found (all assignments made)...
31.81	c Sol. found (all assignments made)...
31.83	c Sol. found (all assignments made)...
31.83	c Sol. found (all assignments made)...
31.83	c Sol. found (all assignments made)...
31.84	c Sol. found (all assignments made)...
31.84	c Sol. found (all assignments made)...
31.85	c Sol. found (all assignments made)...
31.85	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	c Sol. found (all assignments made)...
31.86	o 14264
31.86	c NEW SOLUTION FOUND: 14264 @ 31.748
31.88	c Sol. found (all assignments made)...
31.88	c Sol. found (all assignments made)...
31.90	c Sol. found (all assignments made)...
31.90	c Sol. found (all assignments made)...
31.90	c Sol. found (all assignments made)...
31.93	c Sol. found (all assignments made)...
31.93	c Sol. found (all assignments made)...
31.98	c Sol. found (all assignments made)...
31.99	c Sol. found (all assignments made)...
32.02	c Sol. found (all assignments made)...
32.03	c Sol. found (all assignments made)...
32.03	c Sol. found (all assignments made)...
32.05	c Sol. found (all assignments made)...
32.05	c Sol. found (all assignments made)...
32.05	c Sol. found (all assignments made)...
32.10	c Sol. found (all assignments made)...
32.15	c Sol. found (all assignments made)...
32.16	c Sol. found (all assignments made)...
32.18	c Sol. found (all assignments made)...
32.22	c Sol. found (all assignments made)...
32.27	c Sol. found (all assignments made)...
32.27	c Sol. found (all assignments made)...
32.27	c Sol. found (all assignments made)...
32.27	c Sol. found (all assignments made)...
32.39	c Sol. found (all assignments made)...
32.39	c Sol. found (all assignments made)...
32.39	c Sol. found (all assignments made)...
32.39	c Sol. found (all assignments made)...
32.45	c Sol. found (all assignments made)...
32.49	c Sol. found (all assignments made)...
32.52	c Sol. found (all assignments made)...
32.67	c Sol. found (all assignments made)...
32.67	c Sol. found (all assignments made)...
32.67	c Sol. found (all assignments made)...
32.67	o 13957
32.67	c NEW SOLUTION FOUND: 13957 @ 32.551
32.67	c Sol. found (all assignments made)...
32.67	c Sol. found (all assignments made)...
32.67	o 13809
32.67	c NEW SOLUTION FOUND: 13809 @ 32.559
32.68	c Sol. found (all assignments made)...
32.74	c Sol. found (all assignments made)...
32.75	c Sol. found (all assignments made)...
32.75	o 13616
32.75	c NEW SOLUTION FOUND: 13616 @ 32.634
32.75	c Sol. found (all assignments made)...
32.75	c Sol. found (all assignments made)...
32.75	c Sol. found (all assignments made)...
32.75	o 13003
32.75	c NEW SOLUTION FOUND: 13003 @ 32.639
32.80	c Sol. found (all assignments made)...
32.83	c Sol. found (all assignments made)...
32.91	c Sol. found (all assignments made)...
33.21	c Sol. found (all assignments made)...
33.22	c Sol. found (all assignments made)...
33.22	c Sol. found (all assignments made)...
33.61	c Sol. found (all assignments made)...
33.61	c Sol. found (all assignments made)...
33.62	c Sol. found (all assignments made)...
33.65	c Sol. found (all assignments made)...
33.73	c Sol. found (all assignments made)...
33.79	c Restart #5 #Var: 6774 LB: 0 @ 33.672
33.97	c Sol. found (all assignments made)...
33.98	c Sol. found (all assignments made)...
33.98	o 7171
33.98	c NEW SOLUTION FOUND: 7171 @ 33.858
33.98	c Sol. found (all assignments made)...
33.98	c Sol. found (all assignments made)...
33.98	c Sol. found (all assignments made)...
34.00	c Sol. found (all assignments made)...
34.00	c Sol. found (all assignments made)...
34.00	c Sol. found (all assignments made)...
34.00	c Sol. found (all assignments made)...
34.00	o 7066
34.00	c NEW SOLUTION FOUND: 7066 @ 33.885
40.80	c Sol. found (all assignments made)...
41.15	c Sol. found (all assignments made)...
41.16	c Sol. found (all assignments made)...
41.50	c Restart #6 #Var: 6774 LB: 0 @ 41.377
41.56	c Sol. found (all assignments made)...
41.56	o 5793
41.56	c NEW SOLUTION FOUND: 5793 @ 41.446
41.57	c Sol. found (all assignments made)...
41.57	c Sol. found (all assignments made)...
41.57	o 5688
41.57	c NEW SOLUTION FOUND: 5688 @ 41.448
41.57	c Sol. found (all assignments made)...
41.60	c Sol. found (all assignments made)...
41.60	c Sol. found (all assignments made)...
41.64	c Sol. found (all assignments made)...
41.64	c Sol. found (all assignments made)...
41.64	c Sol. found (all assignments made)...
41.64	o 5668
41.64	c NEW SOLUTION FOUND: 5668 @ 41.524
41.64	c Sol. found (all assignments made)...
41.66	c Sol. found (all assignments made)...
41.66	o 5000
41.66	c NEW SOLUTION FOUND: 5000 @ 41.545
41.67	c Sol. found (all assignments made)...
41.67	c Sol. found (all assignments made)...
41.67	c Sol. found (all assignments made)...
41.67	o 4895
41.67	c NEW SOLUTION FOUND: 4895 @ 41.547
41.73	c Sol. found (all assignments made)...
41.73	o 4775
41.73	c NEW SOLUTION FOUND: 4775 @ 41.613
41.73	c Sol. found (all assignments made)...
41.80	c Sol. found (all assignments made)...
41.80	c Sol. found (all assignments made)...
41.80	c Sol. found (all assignments made)...
41.80	c Sol. found (all assignments made)...
42.58	c Sol. found (all assignments made)...
42.58	c Sol. found (all assignments made)...
43.09	c Restart #7 #Var: 6774 LB: 0 @ 42.972
61.03	c Restart #8 #Var: 6774 LB: 0 @ 60.902
65.95	c Restart #9 #Var: 6773 LB: 0 @ 65.826
76.94	c Restart #10 #Var: 6773 LB: 0 @ 76.807
80.89	c Sol. found (all assignments made)...
80.99	c Sol. found (all assignments made)...
83.89	c CHANGE to LPR mode... 	UB: 4775	MIS: 1568	LPR: 3905 (0.32175)	Diff: 0.40154
83.89	c Restart #0 #Var: 6772 LB: 0 @ 83.753
84.01	o 3905
84.01	c NEW SOLUTION FOUND: 3905 @ 83.873
84.61	s OPTIMUM FOUND
84.61	c Cost: 3905
84.61	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
84.61	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
84.61	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
84.61	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
84.61	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
84.61	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
84.61	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
84.61	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
84.61	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
84.61	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
84.61	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
84.61	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
84.61	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
84.61	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
84.61	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
84.61	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
84.61	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
84.61	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
84.61	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
84.61	v -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
84.61	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
84.61	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
84.61	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
84.61	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
84.61	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
84.61	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
84.61	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
84.61	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
84.61	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
84.61	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
84.61	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
84.61	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
84.61	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
84.61	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
84.61	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
84.61	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
84.61	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
84.61	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
84.61	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
84.61	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
84.61	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
84.61	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
84.61	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
84.61	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
84.61	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
84.61	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
84.61	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
84.61	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
84.61	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
84.61	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
84.61	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
84.61	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
84.61	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
84.61	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
84.61	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
84.61	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
84.61	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
84.61	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
84.61	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
84.61	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
84.61	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
84.61	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
84.61	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
84.61	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
84.61	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
84.61	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
84.61	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
84.61	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
84.61	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
84.61	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
84.61	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
84.61	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
84.61	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
84.61	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
84.61	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
84.61	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
84.61	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
84.61	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
84.61	v -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
84.61	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
84.61	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
84.61	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
84.61	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
84.61	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
84.61	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
84.61	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
84.61	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
84.61	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
84.61	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
84.61	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736
84.61	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
84.61	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
84.61	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
84.61	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
84.61	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
84.61	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
84.61	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
84.61	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
84.61	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
84.61	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
84.61	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923
84.61	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
84.61	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
84.61	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974
84.61	v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991
84.61	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
84.61	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
84.61	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
84.61	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
84.61	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
84.61	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
84.61	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
84.61	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
84.61	v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
84.61	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161
84.61	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178
84.61	v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
84.61	v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212
84.61	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229
84.61	v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
84.61	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
84.61	v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
84.61	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
84.61	v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
84.61	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
84.61	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
84.61	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
84.61	v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382
84.61	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399
84.61	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416
84.61	v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
84.61	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
84.61	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
84.61	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
84.61	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
84.61	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
84.61	v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
84.61	v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
84.61	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
84.61	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586
84.61	v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
84.61	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
84.61	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
84.61	v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
84.61	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671
84.61	v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
84.61	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
84.61	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
84.61	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
84.61	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
84.61	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773
84.61	v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
84.61	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807
84.61	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824
84.61	v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
84.61	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
84.61	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
84.61	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
84.61	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909
84.61	v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
84.61	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
84.61	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
84.61	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
84.61	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
84.61	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
84.61	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
84.61	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
84.61	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
84.61	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
84.61	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
84.61	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
84.61	v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
84.61	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147
84.61	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164
84.61	v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181
84.61	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198
84.61	v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
84.61	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232
84.61	v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
84.61	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266
84.61	v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283
84.61	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
84.61	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
84.61	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
84.61	v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351
84.61	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
84.61	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
84.61	v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
84.61	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419
84.61	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
84.61	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
84.61	v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
84.61	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
84.61	v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504
84.61	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521
84.61	v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538
84.61	v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555
84.61	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572
84.61	v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589
84.61	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606
84.61	v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623
84.61	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
84.61	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
84.61	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
84.61	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
84.61	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
84.61	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
84.61	v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742
84.61	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
84.61	v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776
84.61	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
84.61	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
84.61	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
84.61	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
84.61	v x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
84.61	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
84.61	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
84.61	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912
84.61	v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
84.61	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946
84.61	v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
84.61	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
84.61	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997
84.61	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014
84.61	v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031
84.61	v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
84.61	v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
84.61	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082
84.61	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
84.61	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
84.61	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
84.61	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
84.61	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
84.61	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184
84.61	v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201
84.61	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
84.61	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235
84.61	v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252
84.61	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269
84.61	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
84.61	v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303
84.61	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
84.61	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
84.61	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354
84.61	v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
84.61	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
84.61	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405
84.61	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422
84.61	v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439
84.61	v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456
84.61	v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473
84.61	v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
84.61	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507
84.61	v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524
84.61	v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
84.61	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
84.61	v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
84.61	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592
84.61	v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
84.61	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626
84.61	v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643
84.61	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
84.61	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677
84.61	v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694
84.61	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711
84.61	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728
84.61	v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745
84.61	v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762
84.61	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779
84.61	v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796
84.61	v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813
84.61	v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
84.61	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847
84.61	v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864
84.61	v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881
84.61	v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898
84.61	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
84.61	v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932
84.61	v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949
84.61	v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966
84.61	v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983
84.61	v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
84.61	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017
84.61	v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034
84.61	v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051
84.61	v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068
84.61	v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085
84.61	v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102
84.61	v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119
84.61	v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136
84.61	v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153
84.61	v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170
84.61	v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187
84.61	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204
84.61	v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221
84.61	v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238
84.61	v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255
84.61	v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272
84.61	v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289
84.61	v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306
84.61	v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323
84.61	v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340
84.61	v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357
84.61	v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374
84.61	v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391
84.61	v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408
84.61	v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425
84.61	v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442
84.61	v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459
84.61	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476
84.61	v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493
84.61	v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510
84.61	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527
84.61	v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544
84.61	v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561
84.61	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578
84.61	v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595
84.61	v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612
84.61	v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629
84.61	v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646
84.61	v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663
84.61	v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
84.61	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697
84.61	v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714
84.61	v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731
84.61	v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748
84.61	v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765
84.61	v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782
84.61	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799
84.61	v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816
84.61	v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833
84.61	v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850
84.61	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867
84.61	v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884
84.61	v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901
84.61	v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918
84.61	v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935
84.61	v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952
84.61	v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969
84.61	v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986
84.61	v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003
84.61	v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020
84.61	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037
84.61	v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054
84.61	v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071
84.61	v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088
84.61	v -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105
84.61	v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122
84.61	v -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139
84.61	v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156
84.61	v -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173
84.61	v -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190
84.61	v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207
84.61	v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224
84.61	v -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241
84.61	v -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258
84.61	v -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275
84.61	v -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292
84.61	v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309
84.61	v -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326
84.61	v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343
84.61	v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
84.61	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377
84.61	v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394
84.61	v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411
84.61	v -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428
84.61	v -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445
84.61	v -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462
84.61	v -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479
84.61	v -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496
84.61	v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513
84.61	v -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530
84.61	v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547
84.61	v -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564
84.61	v -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581
84.61	v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598
84.61	v -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615
84.61	v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632
84.61	v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649
84.61	v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666
84.61	v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683
84.61	v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700
84.61	v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717
84.61	v -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734
84.61	v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751
84.61	v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768
84.61	v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774
84.61	c Exit Code: 30
84.61	c Total time: 84.478 s

Verifier Data (download as text)

OK	3905

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1843376/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=3224 CPUtime=0
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 56 0 0 0 0 0 0 0 18 0 1 0 197912388 3301376 39 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7619492 0 0 4096 0 0 0 0 17 1 0 0
/proc/31422/statm: 841 43 32 55 0 40 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1826096/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=22040 CPUtime=9.89
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 4729 0 0 0 986 3 0 0 25 0 1 0 197912388 22568960 4624 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 5510 4624 297 55 0 4402 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 22040

[startup+20.0096 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1825008/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=23116 CPUtime=19.89
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 5011 0 0 0 1985 4 0 0 25 0 1 0 197912388 23670784 4899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 5779 4899 297 55 0 4671 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 23116

[startup+30.0158 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1819824/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=28308 CPUtime=29.89
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 6356 0 0 0 2985 4 0 0 25 0 1 0 197912388 28987392 6188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 7077 6188 297 55 0 5969 0
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 28308

[startup+40.022 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1815600/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=32368 CPUtime=39.89
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 7405 0 0 0 3984 5 0 0 25 0 1 0 197912388 33144832 7213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 8092 7213 297 55 0 6984 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 32368

[startup+50.0282 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1812912/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=35132 CPUtime=49.9
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 8097 0 0 0 4984 6 0 0 25 0 1 0 197912388 35975168 7902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 8783 7902 297 55 0 7675 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 35132

[startup+60.0344 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1810160/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=37956 CPUtime=59.91
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 8796 0 0 0 5984 7 0 0 25 0 1 0 197912388 38866944 8601 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 9489 8601 297 55 0 8381 0
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 37956

[startup+70.0406 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1808944/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=39292 CPUtime=69.91
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 9104 0 0 0 6984 7 0 0 25 0 1 0 197912388 40235008 8909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 9823 8909 297 55 0 8715 0
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 39292

[startup+80.0468 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31422
/proc/meminfo: memFree=1808944/2055920 swapFree=4181488/4192956
[pid=31422] ppid=31420 vsize=39292 CPUtime=79.91
/proc/31422/stat : 31422 (bsolo) R 31420 31422 31376 0 -1 0 9104 0 0 0 7984 7 0 0 25 0 1 0 197912388 40235008 8909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31422/statm: 9823 8909 297 55 0 8715 0
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 39292

Child status: 30
Real time (s): 84.6279
CPU time (s): 84.4872
CPU user time (s): 84.2852
CPU system time (s): 0.201969
CPU usage (%): 99.8336
Max. virtual memory (cumulated for all children) (Kb): 39292

Launcher Data (download as text)

Begin job on node20 on Sat Jun  3 08:14:53 UTC 2006


FILE ID= 39758-1149322493

PBS_JOBID= 309432

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/39758-1149322493/instance-39758-1149322493.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-39758-1149322493 -o ROOT/results/node20/solver-39758-1149322493 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node20/39758-1149322493/instance-39758-1149322493.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  3f00532e02ccc246cb25b1a4f0a837d4

RANDOM SEED= 373958473


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1843584 kB
Buffers:         10588 kB
Cached:         132092 kB
SwapCached:       3180 kB
Active:          27560 kB
Inactive:       123884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843584 kB
SwapTotal:     4192956 kB
SwapFree:      4181488 kB
Dirty:             216 kB
Writeback:           0 kB
Mapped:          14772 kB
Slab:            46944 kB
Committed_AS:   323056 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node20 on Sat Jun  3 08:16:18 UTC 2006