Trace number 40013

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/05OPT313 85.825 85.8813

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
MD5SUMd237957d2db9f550f313e8cfb724f264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark1.56476
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 313
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 381
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527695
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527695
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	313

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/node77/watcher-40013-1149353235 -o ROOT/results/node77/solver-40013-1149353235 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/40013-1149353235/instance-40013-1149353235.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.98 3/67 9669
/proc/meminfo: memFree=1370592/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=4672 CPUtime=0
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 138 0 0 0 0 0 0 0 19 0 1 0 200962704 4784128 120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1426656 0 0 4096 0 0 0 0 17 1 0 0
/proc/9669/statm: 1168 123 103 55 0 46 0

[startup+10.002 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1353256/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=22204 CPUtime=9.98
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 4741 0 0 0 995 3 0 0 25 0 1 0 200962704 22736896 4637 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9669/statm: 5551 4637 294 55 0 4442 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22204

[startup+20.0082 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1352176/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=23260 CPUtime=19.98
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 5016 0 0 0 1994 4 0 0 25 0 1 0 200962704 23818240 4910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9669/statm: 5815 4910 294 55 0 4706 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 23260

[startup+30.0144 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1342256/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=33072 CPUtime=29.98
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 7529 0 0 0 2992 6 0 0 25 0 1 0 200962704 33865728 7383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9669/statm: 8268 7383 294 55 0 7159 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 33072

[startup+40.0207 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1340080/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=35244 CPUtime=39.97
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 8061 0 0 0 3991 6 0 0 25 0 1 0 200962704 36089856 7910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9669/statm: 8811 7910 294 55 0 7702 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 35244

[startup+50.0269 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1319920/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=55492 CPUtime=49.98
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 13110 0 0 0 4989 9 0 0 25 0 1 0 200962704 56823808 12949 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9669/statm: 13873 12949 294 55 0 12764 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 55492

[startup+60.0332 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1315440/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=59928 CPUtime=59.98
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 14220 0 0 0 5989 9 0 0 25 0 1 0 200962704 61366272 14059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9669/statm: 14982 14059 294 55 0 13873 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 59928

[startup+70.0394 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1315504/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=59868 CPUtime=69.98
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 14222 0 0 0 6989 9 0 0 25 0 1 0 200962704 61304832 14057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9669/statm: 14967 14057 294 55 0 13858 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 59868

[startup+80.0456 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 9669
/proc/meminfo: memFree=1315120/2055892 swapFree=4085336/4096564
[pid=9669] ppid=9667 vsize=59896 CPUtime=79.99
/proc/9669/stat : 9669 (bsolo) R 9667 9669 9623 0 -1 0 38754 0 0 0 7979 20 0 0 25 0 1 0 200962704 61333504 14224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9669/statm: 14974 14224 425 55 0 13865 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 59896

Child status: 30
Real time (s): 85.8813
CPU time (s): 85.825
CPU user time (s): 85.562
CPU system time (s): 0.26296
CPU usage (%): 99.9344
Max. virtual memory (cumulated for all children) (Kb): 59928

Launcher Data (download as text)

Begin job on node77 on Sat Jun  3 16:47:15 UTC 2006


FILE ID= 40013-1149353235

PBS_JOBID= 311114

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d237957d2db9f550f313e8cfb724f264

RANDOM SEED= 97443309


/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.238
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	: 6006.16
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.238
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1370864 kB
Buffers:         40540 kB
Cached:         575004 kB
SwapCached:       2644 kB
Active:         118404 kB
Inactive:       506008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1370864 kB
SwapTotal:     4096564 kB
SwapFree:      4085336 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          16132 kB
Slab:            47292 kB
Committed_AS:   333772 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node77 on Sat Jun  3 16:48:41 UTC 2006