Trace number 40130

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/05SAT8704 1800.27 1800.76

General information on the benchmark

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

Verifier Data (download as text)

OK	8704

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 5641
/proc/meminfo: memFree=1806368/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=4924 CPUtime=0
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 260 0 0 0 0 0 0 0 18 0 1 0 202970110 5042176 231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134559389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 1231 239 153 55 0 123 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 5641
/proc/meminfo: memFree=1779144/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=32076 CPUtime=9.98
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 7207 0 0 0 978 20 0 0 25 0 1 0 202970110 32845824 7122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607237 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 8019 7122 296 55 0 6911 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 32076

[startup+20.0095 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 5641
/proc/meminfo: memFree=1769992/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=41288 CPUtime=19.98
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 9498 0 0 0 1969 29 0 0 25 0 1 0 202970110 42278912 9413 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 10322 9413 296 55 0 9214 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 41288

[startup+30.0165 s]
/proc/loadavg: 1.10 1.02 1.00 2/64 5641
/proc/meminfo: memFree=1765960/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=45240 CPUtime=29.99
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 10503 0 0 0 2961 38 0 0 25 0 1 0 202970110 46325760 10418 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 11310 10418 296 55 0 10202 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 45240

[startup+40.0224 s]
/proc/loadavg: 1.08 1.02 1.00 2/64 5641
/proc/meminfo: memFree=1760200/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=51088 CPUtime=39.99
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 11948 0 0 0 3955 44 0 0 25 0 1 0 202970110 52314112 11863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 12772 11863 297 55 0 11664 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 51088

[startup+50.0284 s]
/proc/loadavg: 1.07 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1755400/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=56004 CPUtime=49.97
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 13367 0 0 0 4949 48 0 0 25 0 1 0 202970110 57348096 13068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 14001 13068 297 55 0 12893 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 56004

[startup+60.0343 s]
/proc/loadavg: 1.06 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1755400/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=56004 CPUtime=59.97
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 13367 0 0 0 5946 51 0 0 25 0 1 0 202970110 57348096 13068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 14001 13068 297 55 0 12893 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 56004

[startup+70.0403 s]
/proc/loadavg: 1.05 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1755400/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=56004 CPUtime=69.97
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 13367 0 0 0 6941 56 0 0 25 0 1 0 202970110 57348096 13068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 14001 13068 297 55 0 12893 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 56004

[startup+80.0462 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1750344/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=60924 CPUtime=79.98
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 14905 0 0 0 7937 61 0 0 25 0 1 0 202970110 62386176 14327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7360179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 15231 14327 297 55 0 14123 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 60924

[startup+90.0522 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1750216/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=60800 CPUtime=89.98
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 15074 0 0 0 8936 62 0 0 25 0 1 0 202970110 62259200 14307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 15200 14307 297 55 0 14092 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 60800

[startup+100.057 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1750216/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=60800 CPUtime=99.99
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 15074 0 0 0 9932 67 0 0 25 0 1 0 202970110 62259200 14307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 15200 14307 297 55 0 14092 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 60800

[startup+110.063 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1749128/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=62180 CPUtime=109.99
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 15540 0 0 0 10926 73 0 0 25 0 1 0 202970110 63672320 14623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 15545 14623 297 55 0 14437 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 62180

[startup+120.069 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1746888/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=64452 CPUtime=119.99
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 16236 0 0 0 11925 74 0 0 25 0 1 0 202970110 65998848 15194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157988140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16113 15194 297 55 0 15005 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 64452

[startup+130.075 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1744200/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=130
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 28815 0 0 0 12920 80 0 0 25 0 1 0 202970110 68280320 15937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15937 432 55 0 15562 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 66680

[startup+140.081 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 5641
/proc/meminfo: memFree=1744200/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=140
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 36631 0 0 0 13917 83 0 0 25 0 1 0 202970110 68280320 15937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15937 432 55 0 15562 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 66680

[startup+150.087 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 5641
/proc/meminfo: memFree=1743880/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=67540 CPUtime=150.01
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 44327 0 0 0 14915 86 0 0 25 0 1 0 202970110 69160960 16069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16885 16069 432 55 0 15777 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 67540

[startup+160.092 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 5641
/proc/meminfo: memFree=1744200/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=160
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 51812 0 0 0 15911 89 0 0 25 0 1 0 202970110 68280320 15938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15938 433 55 0 15562 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 66680

[startup+170.098 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 5641
/proc/meminfo: memFree=1744264/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=170.01
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 59648 0 0 0 16908 93 0 0 25 0 1 0 202970110 68280320 15938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158588486 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15938 433 55 0 15562 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 66680

[startup+180.104 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5641
/proc/meminfo: memFree=1744200/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=180.01
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 67016 0 0 0 17905 96 0 0 25 0 1 0 202970110 68280320 15938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15938 433 55 0 15562 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 66680

[startup+190.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5641
/proc/meminfo: memFree=1744200/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=190.02
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 74829 0 0 0 18903 99 0 0 25 0 1 0 202970110 68280320 15938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15938 433 55 0 15562 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 66680

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5641
/proc/meminfo: memFree=1744200/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=200.02
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 82650 0 0 0 19899 103 0 0 25 0 1 0 202970110 68280320 15938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15938 433 55 0 15562 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 66680

[startup+210.122 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5641
/proc/meminfo: memFree=1744136/2055920 swapFree=4181448/4192956

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

/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1760.63
Current children cumulated vsize (Kb) 66680

[startup+1771.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1770.64
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1268010 0 0 0 176403 661 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536031 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1770.64
Current children cumulated vsize (Kb) 66680

[startup+1781.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1780.64
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1275681 0 0 0 177400 664 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1780.64
Current children cumulated vsize (Kb) 66680

[startup+1782.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742408/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=67352 CPUtime=1781.65
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1276197 0 0 0 177500 665 0 0 25 0 1 0 202970110 68968448 16009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160211734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16838 16009 435 55 0 15730 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (Kb) 67352

[startup+1783.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1782.65
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1277022 0 0 0 177600 665 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (Kb) 66680

[startup+1784.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1783.66
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1277918 0 0 0 177700 666 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1783.66
Current children cumulated vsize (Kb) 66680

[startup+1785.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742216/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=67532 CPUtime=1784.66
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1278678 0 0 0 177800 666 0 0 25 0 1 0 202970110 69152768 16049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16883 16049 435 55 0 15775 0
Current children cumulated CPU time (s) 1784.66
Current children cumulated vsize (Kb) 67532

[startup+1786.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1785.66
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1279260 0 0 0 177900 666 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (Kb) 66680

[startup+1787.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1786.66
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1280154 0 0 0 178000 666 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1786.66
Current children cumulated vsize (Kb) 66680

[startup+1788.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742152/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=67532 CPUtime=1787.68
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1280925 0 0 0 178101 667 0 0 25 0 1 0 202970110 69152768 16058 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16883 16058 435 55 0 15775 0
Current children cumulated CPU time (s) 1787.68
Current children cumulated vsize (Kb) 67532

[startup+1789.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1788.68
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1281500 0 0 0 178201 667 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1788.68
Current children cumulated vsize (Kb) 66680

[startup+1790.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1789.68
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1282394 0 0 0 178301 667 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536031 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1789.68
Current children cumulated vsize (Kb) 66680

[startup+1791.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1790.69
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1283289 0 0 0 178401 668 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1790.69
Current children cumulated vsize (Kb) 66680

[startup+1792.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742152/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=67532 CPUtime=1791.69
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1284054 0 0 0 178501 668 0 0 25 0 1 0 202970110 69152768 16055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16883 16055 435 55 0 15775 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (Kb) 67532

[startup+1793.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1792.7
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1284631 0 0 0 178601 669 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1792.7
Current children cumulated vsize (Kb) 66680

[startup+1794.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1793.7
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1285528 0 0 0 178701 669 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1793.7
Current children cumulated vsize (Kb) 66680

[startup+1795.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742152/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=67532 CPUtime=1794.7
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1286304 0 0 0 178801 669 0 0 25 0 1 0 202970110 69152768 16064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16883 16064 435 55 0 15775 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (Kb) 67532

[startup+1796.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1795.71
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1286877 0 0 0 178901 670 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (Kb) 66680

[startup+1797.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742472/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1796.71
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1287773 0 0 0 179001 670 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (Kb) 66680

[startup+1798.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742152/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=67532 CPUtime=1797.71
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1288550 0 0 0 179101 670 0 0 25 0 1 0 202970110 69152768 16067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160349913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16883 16067 435 55 0 15775 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (Kb) 67532

[startup+1799.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742408/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1798.73
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1289116 0 0 0 179202 671 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (Kb) 66680

[startup+1800.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5643
/proc/meminfo: memFree=1742408/2055920 swapFree=4181448/4192956
[pid=5641] ppid=5639 vsize=66680 CPUtime=1799.73
/proc/5641/stat : 5641 (bsolo) R 5639 5641 5594 0 -1 0 1290036 0 0 0 179302 671 0 0 25 0 1 0 202970110 68280320 15940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5641/statm: 16670 15940 435 55 0 15562 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (Kb) 66680

Child status: 10
Real time (s): 1800.76
CPU time (s): 1800.27
CPU user time (s): 1793.54
CPU system time (s): 6.72898
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 67540

Launcher Data (download as text)

Begin job on node14 on Sat Jun  3 22:17:54 UTC 2006


FILE ID= 40130-1149373074

PBS_JOBID= 312299

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40130-1149373074/instance-40130-1149373074.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-40130-1149373074 -o ROOT/results/node14/solver-40130-1149373074 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node14/40130-1149373074/instance-40130-1149373074.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2b9af9044591fd3eb9f5def12c800cff

RANDOM SEED= 128887459


/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.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1806576 kB
Buffers:         16100 kB
Cached:         171112 kB
SwapCached:       3188 kB
Active:          36836 kB
Inactive:       159088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806576 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            39384 kB
Committed_AS:   363480 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Sat Jun  3 22:47:55 UTC 2006