Trace number 40126

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/05SAT-4985 1800.04 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-8205
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
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.82	c Initial problem consists of 12596 variables and 15189 constraints.
0.95	c No problem reductions applied in OPT. instance.
0.95	c	preprocess terminated. Elapsed time: 0.948
0.95	c After prepocess the problem consists of 12596 variables and 15189 constraints.
0.95	c Initial Lower Bound: -11139
2.04	c Restart #1 #Var: 12596 LB: -11139 @ 2.04
5.21	c Restart #2 #Var: 12596 LB: -11139 @ 5.207
7.24	c Restart #3 #Var: 12596 LB: -11139 @ 7.23
10.49	c Restart #4 #Var: 12596 LB: -11139 @ 10.482
19.40	c Restart #5 #Var: 12596 LB: -11139 @ 19.385
32.29	c Restart #6 #Var: 12596 LB: -11139 @ 32.233
43.24	c Restart #7 #Var: 12594 LB: -11139 @ 43.125
51.72	c Sol. found (all assignments made)...
51.72	o -1790
51.72	c NEW SOLUTION FOUND: -1790 @ 51.591
51.72	c Sol. found (all assignments made)...
51.72	o -1910
51.72	c NEW SOLUTION FOUND: -1910 @ 51.594
51.72	c Sol. found (all assignments made)...
51.72	o -1990
51.72	c NEW SOLUTION FOUND: -1990 @ 51.597
51.73	c Sol. found (all assignments made)...
51.73	o -2070
51.73	c NEW SOLUTION FOUND: -2070 @ 51.601
51.73	c Sol. found (all assignments made)...
51.73	o -2110
51.73	c NEW SOLUTION FOUND: -2110 @ 51.606
51.73	c Sol. found (all assignments made)...
51.73	o -2190
51.73	c NEW SOLUTION FOUND: -2190 @ 51.609
51.74	c Sol. found (all assignments made)...
51.74	o -2230
51.74	c NEW SOLUTION FOUND: -2230 @ 51.619
51.75	c Sol. found (all assignments made)...
51.75	o -2310
51.75	c NEW SOLUTION FOUND: -2310 @ 51.623
51.76	c Sol. found (all assignments made)...
51.76	o -2318
51.76	c NEW SOLUTION FOUND: -2318 @ 51.637
51.77	c Sol. found (all assignments made)...
51.77	o -2358
51.77	c NEW SOLUTION FOUND: -2358 @ 51.647
51.78	c Sol. found (all assignments made)...
51.78	o -2438
51.78	c NEW SOLUTION FOUND: -2438 @ 51.651
51.79	c Sol. found (all assignments made)...
51.79	o -2498
51.79	c NEW SOLUTION FOUND: -2498 @ 51.669
51.81	c Sol. found (all assignments made)...
51.81	o -2538
51.81	c NEW SOLUTION FOUND: -2538 @ 51.686
51.84	c Sol. found (all assignments made)...
51.84	o -2578
51.84	c NEW SOLUTION FOUND: -2578 @ 51.715
51.86	c Sol. found (all assignments made)...
51.86	o -2598
51.86	c NEW SOLUTION FOUND: -2598 @ 51.732
51.86	c Sol. found (all assignments made)...
51.86	o -2638
51.86	c NEW SOLUTION FOUND: -2638 @ 51.736
51.89	c Sol. found (all assignments made)...
51.89	o -2678
51.89	c NEW SOLUTION FOUND: -2678 @ 51.76
51.91	c Sol. found (all assignments made)...
51.91	o -2718
51.91	c NEW SOLUTION FOUND: -2718 @ 51.786
51.95	c Sol. found (all assignments made)...
51.95	o -2748
51.95	c NEW SOLUTION FOUND: -2748 @ 51.829
51.96	c Sol. found (all assignments made)...
51.96	o -2788
51.96	c NEW SOLUTION FOUND: -2788 @ 51.836
52.04	c Sol. found (all assignments made)...
52.04	o -2828
52.04	c NEW SOLUTION FOUND: -2828 @ 51.91
52.12	c Sol. found (all assignments made)...
52.12	o -2858
52.12	c NEW SOLUTION FOUND: -2858 @ 51.999
52.14	c Sol. found (all assignments made)...
52.14	o -2898
52.14	c NEW SOLUTION FOUND: -2898 @ 52.018
52.38	c Sol. found (all assignments made)...
52.38	o -2918
52.38	c NEW SOLUTION FOUND: -2918 @ 52.259
52.41	c Sol. found (all assignments made)...
52.41	o -2958
52.41	c NEW SOLUTION FOUND: -2958 @ 52.288
52.79	c Sol. found (all assignments made)...
52.79	o -2978
52.79	c NEW SOLUTION FOUND: -2978 @ 52.668
52.91	c Sol. found (all assignments made)...
52.91	o -3018
52.91	c NEW SOLUTION FOUND: -3018 @ 52.779
53.46	c Restart #8 #Var: 12593 LB: -11139 @ 53.334
61.79	c Restart #9 #Var: 12590 LB: -11139 @ 61.658
69.86	c Restart #10 #Var: 12587 LB: -11139 @ 69.729
79.28	c Restart #11 #Var: 12587 LB: -11139 @ 79.151
1522.04	c CHANGE to MIS mode... 	UB: -3018	MIS: -11139	LPR: -10811 (357.75)	Diff: 1.0303
1522.04	c Restart #0 #Var: 12587 LB: -11139 @ 1521.5
1524.26	c Restart #1 #Var: 12587 LB: -11139 @ 1523.7
1527.15	c Restart #2 #Var: 12587 LB: -11139 @ 1526.6
1531.79	c Restart #3 #Var: 12586 LB: -11139 @ 1531.2
1542.47	c Restart #4 #Var: 12578 LB: -11139 @ 1541.9
1563.37	c Restart #5 #Var: 12541 LB: -11139 @ 1562.8
1580.09	c Restart #6 #Var: 12541 LB: -11139 @ 1579.5
1594.97	c Restart #7 #Var: 12541 LB: -11139 @ 1594.4
1623.56	c Restart #8 #Var: 12536 LB: -11139 @ 1623
1640.79	c Restart #9 #Var: 12536 LB: -11139 @ 1640.2
1643.86	c Restart #10 #Var: 12535 LB: -11139 @ 1643.3
1687.20	c Restart #11 #Var: 12515 LB: -11139 @ 1686.6
1706.50	c Sol. found (all assignments made)...
1706.50	o -3128
1706.50	c NEW SOLUTION FOUND: -3128 @ 1705.9
1706.50	c Sol. found (all assignments made)...
1706.50	o -3148
1706.50	c NEW SOLUTION FOUND: -3148 @ 1705.9
1706.51	c Sol. found (all assignments made)...
1706.51	o -3268
1706.51	c NEW SOLUTION FOUND: -3268 @ 1705.9
1706.51	c Sol. found (all assignments made)...
1706.51	o -3288
1706.51	c NEW SOLUTION FOUND: -3288 @ 1705.9
1706.51	c Sol. found (all assignments made)...
1706.51	o -3338
1706.51	c NEW SOLUTION FOUND: -3338 @ 1705.9
1706.52	c Sol. found (all assignments made)...
1706.52	o -3358
1706.52	c NEW SOLUTION FOUND: -3358 @ 1705.9
1706.52	c Sol. found (all assignments made)...
1706.52	o -3373
1706.52	c NEW SOLUTION FOUND: -3373 @ 1705.9
1717.86	c Sol. found (all assignments made)...
1717.86	o -3457
1717.86	c NEW SOLUTION FOUND: -3457 @ 1717.2
1717.86	c Sol. found (all assignments made)...
1717.86	c Sol. found (all assignments made)...
1717.86	o -3557
1717.86	c NEW SOLUTION FOUND: -3557 @ 1717.3
1717.86	c Sol. found (all assignments made)...
1717.86	c Sol. found (all assignments made)...
1717.86	o -3607
1717.86	c NEW SOLUTION FOUND: -3607 @ 1717.3
1717.86	c Sol. found (all assignments made)...
1717.86	o -3657
1717.86	c NEW SOLUTION FOUND: -3657 @ 1717.3
1717.87	c Sol. found (all assignments made)...
1717.87	o -3717
1717.87	c NEW SOLUTION FOUND: -3717 @ 1717.3
1717.87	c Sol. found (all assignments made)...
1717.87	o -3727
1717.87	c NEW SOLUTION FOUND: -3727 @ 1717.3
1717.87	c Sol. found (all assignments made)...
1717.87	o -3757
1717.88	c NEW SOLUTION FOUND: -3757 @ 1717.3
1717.88	c Sol. found (all assignments made)...
1717.88	o -3782
1717.88	c NEW SOLUTION FOUND: -3782 @ 1717.3
1717.89	c Sol. found (all assignments made)...
1717.89	o -3797
1717.89	c NEW SOLUTION FOUND: -3797 @ 1717.3
1717.90	c Sol. found (all assignments made)...
1717.90	o -3807
1717.90	c NEW SOLUTION FOUND: -3807 @ 1717.3
1717.90	c Sol. found (all assignments made)...
1717.90	o -3822
1717.90	c NEW SOLUTION FOUND: -3822 @ 1717.3
1717.91	c Sol. found (all assignments made)...
1717.91	o -3837
1717.91	c NEW SOLUTION FOUND: -3837 @ 1717.3
1717.91	c Sol. found (all assignments made)...
1717.91	o -3897
1717.91	c NEW SOLUTION FOUND: -3897 @ 1717.3
1717.92	c Sol. found (all assignments made)...
1717.92	o -3917
1717.92	c NEW SOLUTION FOUND: -3917 @ 1717.3
1717.93	c Sol. found (all assignments made)...
1717.93	o -3947
1717.93	c NEW SOLUTION FOUND: -3947 @ 1717.3
1717.93	c Sol. found (all assignments made)...
1717.93	o -3957
1717.93	c NEW SOLUTION FOUND: -3957 @ 1717.3
1717.94	c Sol. found (all assignments made)...
1717.94	o -3967
1717.94	c NEW SOLUTION FOUND: -3967 @ 1717.3
1717.95	c Sol. found (all assignments made)...
1717.95	o -3972
1717.95	c NEW SOLUTION FOUND: -3972 @ 1717.3
1718.82	c Sol. found (all assignments made)...
1718.82	o -3981
1718.82	c NEW SOLUTION FOUND: -3981 @ 1718.2
1718.82	c Sol. found (all assignments made)...
1718.82	o -4001
1718.82	c NEW SOLUTION FOUND: -4001 @ 1718.2
1718.84	c Sol. found (all assignments made)...
1718.84	o -4026
1718.84	c NEW SOLUTION FOUND: -4026 @ 1718.2
1718.88	c Sol. found (all assignments made)...
1718.88	o -4031
1718.88	c NEW SOLUTION FOUND: -4031 @ 1718.3
1718.91	c Sol. found (all assignments made)...
1718.91	o -4036
1718.91	c NEW SOLUTION FOUND: -4036 @ 1718.3
1718.98	c Sol. found (all assignments made)...
1718.98	o -4041
1718.98	c NEW SOLUTION FOUND: -4041 @ 1718.4
1719.24	c Sol. found (all assignments made)...
1719.24	o -4046
1719.24	c NEW SOLUTION FOUND: -4046 @ 1718.6
1719.31	c Sol. found (all assignments made)...
1719.31	o -4051
1719.31	c NEW SOLUTION FOUND: -4051 @ 1718.7
1719.37	c Sol. found (all assignments made)...
1719.37	o -4056
1719.37	c NEW SOLUTION FOUND: -4056 @ 1718.8
1719.42	c Sol. found (all assignments made)...
1719.42	o -4061
1719.42	c NEW SOLUTION FOUND: -4061 @ 1718.8
1719.45	c Sol. found (all assignments made)...
1719.45	o -4066
1719.45	c NEW SOLUTION FOUND: -4066 @ 1718.8
1719.50	c Sol. found (all assignments made)...
1719.50	o -4071
1719.50	c NEW SOLUTION FOUND: -4071 @ 1718.9
1719.56	c Sol. found (all assignments made)...
1719.56	o -4076
1719.56	c NEW SOLUTION FOUND: -4076 @ 1718.9
1719.60	c Sol. found (all assignments made)...
1719.61	o -4096
1719.61	c NEW SOLUTION FOUND: -4096 @ 1719
1719.66	c Sol. found (all assignments made)...
1719.66	o -4101
1719.66	c NEW SOLUTION FOUND: -4101 @ 1719
1719.70	c Sol. found (all assignments made)...
1719.70	o -4106
1719.70	c NEW SOLUTION FOUND: -4106 @ 1719.1
1719.76	c Sol. found (all assignments made)...
1719.76	o -4111
1719.76	c NEW SOLUTION FOUND: -4111 @ 1719.1
1719.81	c Sol. found (all assignments made)...
1719.81	o -4116
1719.81	c NEW SOLUTION FOUND: -4116 @ 1719.2
1719.89	c Sol. found (all assignments made)...
1719.89	o -4121
1719.89	c NEW SOLUTION FOUND: -4121 @ 1719.3
1719.96	c Sol. found (all assignments made)...
1719.96	o -4131
1719.96	c NEW SOLUTION FOUND: -4131 @ 1719.4
1720.08	c Sol. found (all assignments made)...
1720.08	o -4136
1720.08	c NEW SOLUTION FOUND: -4136 @ 1719.5
1720.16	c Sol. found (all assignments made)...
1720.16	o -4146
1720.16	c NEW SOLUTION FOUND: -4146 @ 1719.6
1720.24	c Sol. found (all assignments made)...
1720.24	o -4156
1720.24	c NEW SOLUTION FOUND: -4156 @ 1719.6
1720.30	c Sol. found (all assignments made)...
1720.30	o -4166
1720.30	c NEW SOLUTION FOUND: -4166 @ 1719.7
1720.38	c Sol. found (all assignments made)...
1720.38	o -4171
1720.38	c NEW SOLUTION FOUND: -4171 @ 1719.8
1720.48	c Sol. found (all assignments made)...
1720.48	o -4181
1720.48	c NEW SOLUTION FOUND: -4181 @ 1719.9
1720.56	c Sol. found (all assignments made)...
1720.56	o -4186
1720.56	c NEW SOLUTION FOUND: -4186 @ 1720
1720.66	c Sol. found (all assignments made)...
1720.66	o -4188
1720.66	c NEW SOLUTION FOUND: -4188 @ 1720
1720.72	c Sol. found (all assignments made)...
1720.72	o -4198
1720.72	c NEW SOLUTION FOUND: -4198 @ 1720.1
1720.81	c Sol. found (all assignments made)...
1720.81	o -4208
1720.81	c NEW SOLUTION FOUND: -4208 @ 1720.2
1720.89	c Sol. found (all assignments made)...
1720.89	o -4213
1720.89	c NEW SOLUTION FOUND: -4213 @ 1720.3
1721.00	c Sol. found (all assignments made)...
1721.00	o -4234
1721.00	c NEW SOLUTION FOUND: -4234 @ 1720.4
1721.04	c Sol. found (all assignments made)...
1721.04	o -4254
1721.04	c NEW SOLUTION FOUND: -4254 @ 1720.4
1721.10	c Sol. found (all assignments made)...
1721.10	o -4264
1721.10	c NEW SOLUTION FOUND: -4264 @ 1720.5
1721.16	c Sol. found (all assignments made)...
1721.16	o -4274
1721.16	c NEW SOLUTION FOUND: -4274 @ 1720.5
1721.24	c Sol. found (all assignments made)...
1721.24	o -4294
1721.24	c NEW SOLUTION FOUND: -4294 @ 1720.6
1721.33	c Sol. found (all assignments made)...
1721.33	o -4304
1721.33	c NEW SOLUTION FOUND: -4304 @ 1720.7
1721.42	c Sol. found (all assignments made)...
1721.42	o -4309
1721.42	c NEW SOLUTION FOUND: -4309 @ 1720.8
1721.51	c Sol. found (all assignments made)...
1721.51	o -4314
1721.51	c NEW SOLUTION FOUND: -4314 @ 1720.9
1721.60	c Sol. found (all assignments made)...
1721.60	o -4318
1721.60	c NEW SOLUTION FOUND: -4318 @ 1721
1721.66	c Sol. found (all assignments made)...
1721.67	o -4328
1721.67	c NEW SOLUTION FOUND: -4328 @ 1721.1
1721.74	c Sol. found (all assignments made)...
1721.74	o -4333
1721.74	c NEW SOLUTION FOUND: -4333 @ 1721.1
1721.81	c Sol. found (all assignments made)...
1721.81	o -4338
1721.81	c NEW SOLUTION FOUND: -4338 @ 1721.2
1721.88	c Sol. found (all assignments made)...
1721.88	o -4339
1721.88	c NEW SOLUTION FOUND: -4339 @ 1721.3
1721.94	c Sol. found (all assignments made)...
1721.94	o -4359
1721.94	c NEW SOLUTION FOUND: -4359 @ 1721.3
1722.01	c Sol. found (all assignments made)...
1722.01	o -4364
1722.01	c NEW SOLUTION FOUND: -4364 @ 1721.4
1722.06	c Sol. found (all assignments made)...
1722.06	o -4374
1722.06	c NEW SOLUTION FOUND: -4374 @ 1721.5
1722.13	c Sol. found (all assignments made)...
1722.13	o -4384
1722.13	c NEW SOLUTION FOUND: -4384 @ 1721.5
1722.19	c Sol. found (all assignments made)...
1722.19	o -4389
1722.19	c NEW SOLUTION FOUND: -4389 @ 1721.6
1722.25	c Sol. found (all assignments made)...
1722.25	o -4399
1722.25	c NEW SOLUTION FOUND: -4399 @ 1721.6
1722.31	c Sol. found (all assignments made)...
1722.31	o -4414
1722.31	c NEW SOLUTION FOUND: -4414 @ 1721.7
1722.38	c Sol. found (all assignments made)...
1722.38	o -4424
1722.38	c NEW SOLUTION FOUND: -4424 @ 1721.8
1722.45	c Sol. found (all assignments made)...
1722.45	o -4429
1722.45	c NEW SOLUTION FOUND: -4429 @ 1721.8
1722.52	c Sol. found (all assignments made)...
1722.52	o -4434
1722.52	c NEW SOLUTION FOUND: -4434 @ 1721.9
1722.60	c Sol. found (all assignments made)...
1722.60	o -4438
1722.60	c NEW SOLUTION FOUND: -4438 @ 1722
1722.67	c Sol. found (all assignments made)...
1722.67	o -4439
1722.67	c NEW SOLUTION FOUND: -4439 @ 1722.1
1722.74	c Sol. found (all assignments made)...
1722.74	o -4459
1722.74	c NEW SOLUTION FOUND: -4459 @ 1722.1
1722.81	c Sol. found (all assignments made)...
1722.81	o -4464
1722.81	c NEW SOLUTION FOUND: -4464 @ 1722.2
1722.87	c Sol. found (all assignments made)...
1722.87	o -4474
1722.87	c NEW SOLUTION FOUND: -4474 @ 1722.3
1722.94	c Sol. found (all assignments made)...
1722.94	o -4484
1722.94	c NEW SOLUTION FOUND: -4484 @ 1722.3
1723.01	c Sol. found (all assignments made)...
1723.01	o -4489
1723.01	c NEW SOLUTION FOUND: -4489 @ 1722.4
1723.09	c Sol. found (all assignments made)...
1723.09	o -4499
1723.09	c NEW SOLUTION FOUND: -4499 @ 1722.5
1723.15	c Sol. found (all assignments made)...
1723.15	o -4514
1723.15	c NEW SOLUTION FOUND: -4514 @ 1722.5
1723.23	c Sol. found (all assignments made)...
1723.23	o -4524
1723.23	c NEW SOLUTION FOUND: -4524 @ 1722.6
1723.30	c Sol. found (all assignments made)...
1723.30	o -4529
1723.30	c NEW SOLUTION FOUND: -4529 @ 1722.7
1723.37	c Sol. found (all assignments made)...
1723.37	o -4534
1723.37	c NEW SOLUTION FOUND: -4534 @ 1722.8
1723.49	c Sol. found (all assignments made)...
1723.49	o -4538
1723.49	c NEW SOLUTION FOUND: -4538 @ 1722.9
1723.57	c Sol. found (all assignments made)...
1723.57	o -4539
1723.57	c NEW SOLUTION FOUND: -4539 @ 1723
1723.63	c Sol. found (all assignments made)...
1723.63	o -4559
1723.63	c NEW SOLUTION FOUND: -4559 @ 1723
1723.71	c Sol. found (all assignments made)...
1723.71	o -4564
1723.71	c NEW SOLUTION FOUND: -4564 @ 1723.1
1723.77	c Sol. found (all assignments made)...
1723.77	o -4574
1723.77	c NEW SOLUTION FOUND: -4574 @ 1723.2
1723.84	c Sol. found (all assignments made)...
1723.84	o -4584
1723.84	c NEW SOLUTION FOUND: -4584 @ 1723.2
1723.91	c Sol. found (all assignments made)...
1723.91	o -4589
1723.91	c NEW SOLUTION FOUND: -4589 @ 1723.3
1723.99	c Sol. found (all assignments made)...
1723.99	o -4594
1723.99	c NEW SOLUTION FOUND: -4594 @ 1723.4
1724.07	c Sol. found (all assignments made)...
1724.07	o -4604
1724.07	c NEW SOLUTION FOUND: -4604 @ 1723.5
1724.13	c Sol. found (all assignments made)...
1724.13	o -4619
1724.13	c NEW SOLUTION FOUND: -4619 @ 1723.5
1724.21	c Sol. found (all assignments made)...
1724.21	o -4629
1724.21	c NEW SOLUTION FOUND: -4629 @ 1723.6
1724.27	c Sol. found (all assignments made)...
1724.27	o -4634
1724.27	c NEW SOLUTION FOUND: -4634 @ 1723.7
1724.46	c Sol. found (all assignments made)...
1724.46	o -4638
1724.46	c NEW SOLUTION FOUND: -4638 @ 1723.8
1724.57	c Sol. found (all assignments made)...
1724.57	o -4639
1724.57	c NEW SOLUTION FOUND: -4639 @ 1724
1724.64	c Sol. found (all assignments made)...
1724.64	o -4659
1724.64	c NEW SOLUTION FOUND: -4659 @ 1724
1724.73	c Sol. found (all assignments made)...
1724.73	o -4664
1724.73	c NEW SOLUTION FOUND: -4664 @ 1724.1
1724.81	c Sol. found (all assignments made)...
1724.81	o -4674
1724.81	c NEW SOLUTION FOUND: -4674 @ 1724.2
1724.88	c Sol. found (all assignments made)...
1724.88	o -4679
1724.88	c NEW SOLUTION FOUND: -4679 @ 1724.3
1724.96	c Sol. found (all assignments made)...
1724.96	o -4689
1724.96	c NEW SOLUTION FOUND: -4689 @ 1724.3
1725.07	c Sol. found (all assignments made)...
1725.07	o -4694
1725.07	c NEW SOLUTION FOUND: -4694 @ 1724.5
1725.15	c Sol. found (all assignments made)...
1725.15	o -4699
1725.15	c NEW SOLUTION FOUND: -4699 @ 1724.5
1725.22	c Sol. found (all assignments made)...
1725.22	o -4709
1725.22	c NEW SOLUTION FOUND: -4709 @ 1724.6
1725.29	c Sol. found (all assignments made)...
1725.29	o -4724
1725.29	c NEW SOLUTION FOUND: -4724 @ 1724.7
1725.38	c Sol. found (all assignments made)...
1725.38	o -4729
1725.38	c NEW SOLUTION FOUND: -4729 @ 1724.8
1725.46	c Sol. found (all assignments made)...
1725.46	o -4734
1725.46	c NEW SOLUTION FOUND: -4734 @ 1724.8
1728.82	c Sol. found (all assignments made)...
1728.82	o -4772
1728.82	c NEW SOLUTION FOUND: -4772 @ 1728.2
1728.82	c Sol. found (all assignments made)...
1728.82	o -4792
1728.82	c NEW SOLUTION FOUND: -4792 @ 1728.2
1728.82	c Sol. found (all assignments made)...
1728.82	o -4832
1728.82	c NEW SOLUTION FOUND: -4832 @ 1728.2
1728.89	c Sol. found (all assignments made)...
1728.89	o -4837
1728.89	c NEW SOLUTION FOUND: -4837 @ 1728.3
1728.92	c Sol. found (all assignments made)...
1728.92	o -4842
1728.92	c NEW SOLUTION FOUND: -4842 @ 1728.3
1728.95	c Sol. found (all assignments made)...
1728.95	o -4847
1728.95	c NEW SOLUTION FOUND: -4847 @ 1728.3
1728.98	c Sol. found (all assignments made)...
1728.98	o -4852
1728.98	c NEW SOLUTION FOUND: -4852 @ 1728.4
1729.01	c Sol. found (all assignments made)...
1729.02	o -4862
1729.02	c NEW SOLUTION FOUND: -4862 @ 1728.4
1729.05	c Sol. found (all assignments made)...
1729.05	o -4872
1729.05	c NEW SOLUTION FOUND: -4872 @ 1728.4
1729.18	c Sol. found (all assignments made)...
1729.18	o -4892
1729.18	c NEW SOLUTION FOUND: -4892 @ 1728.6
1769.32	c Sol. found (all assignments made)...
1769.32	o -4895
1769.32	c NEW SOLUTION FOUND: -4895 @ 1768.7
1769.32	c Sol. found (all assignments made)...
1769.32	c Sol. found (all assignments made)...
1769.32	o -4935
1769.32	c NEW SOLUTION FOUND: -4935 @ 1768.7
1769.33	c Sol. found (all assignments made)...
1769.33	o -4965
1769.33	c NEW SOLUTION FOUND: -4965 @ 1768.7
1769.34	c Sol. found (all assignments made)...
1769.34	o -4980
1769.34	c NEW SOLUTION FOUND: -4980 @ 1768.7
1769.35	c Sol. found (all assignments made)...
1769.35	o -4985
1769.35	c NEW SOLUTION FOUND: -4985 @ 1768.7
1800.65	s SATISFIABLE
1800.65	c Cost: -4985
1800.65	v x1 x3190 x4609 x5720 -x6862 x8018 x9166 x10315 x11456 x2 x1143 x2043 -x2186 x2321 x2452 x2592 x2742 x2901 x3039 x3191 x3362
1800.65	v x3512 x3661 x3813 -x3955 -x4112 -x4271 x4387 -x4498 x4610 x4721 x4832 x4943 x5054 x5165 x5276 x5387 x5498 x5609 -x5721 x5832
1800.65	v x5943 -x6054 -x6055 -x6056 -x6057 -x6058 -x6169 -x6170 x6171 -x6172 -x6173 -x6284 -x6285 -x6286 -x6287 -x6288 -x6399 x6400
1800.65	v -x6401 -x6402 -x6403 x6514 -x6515 x6516 -x6517 -x6518 -x6519 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6746 -x6747 -x6748
1800.65	v x6749 -x6750 -x6751 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x7096
1800.65	v -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7330 -x7331 -x7332 -x7333
1800.65	v -x7334 -x7335 -x7336 -x7447 -x7448 -x7449 -x7450 -x7561 -x7562 -x7563 -x7564 -x7675 -x7676 -x7677 -x7678 -x7789 -x7790
1800.65	v -x7791 -x7792 -x7903 -x7904 -x7905 -x7906 x7907 -x8019 -x8020 -x8021 -x8022 -x8023 -x8134 -x8135 -x8136 x8137 -x8138 -x8249
1800.65	v -x8250 -x8251 -x8252 -x8253 -x8364 -x8365 -x8366 -x8367 -x8368 -x8479 -x8480 x8481 -x8482 -x8483 -x8594 -x8595 -x8596
1800.65	v -x8597 -x8598 -x8709 -x8710 -x8711 -x8712 -x8713 -x8824 -x8825 -x8826 -x8827 x8938 x8939 -x8940 -x8941 -x9052 -x9053 -x9054
1800.65	v -x9055 -x9167 -x9168 -x9169 -x9170 -x9281 -x9282 x9283 -x9284 -x9285 -x9396 -x9397 -x9398 -x9399 -x9400 -x9511 -x9512
1800.65	v x9513 -x9514 -x9515 -x9626 -x9627 -x9628 -x9629 x9630 -x9741 x9742 -x9743 -x9744 -x9745 -x9856 -x9857 -x9858 -x9859 -x9860
1800.65	v x9971 x9972 -x9973 -x9974 -x9975 -x10086 -x10087 -x10088 -x10089 -x10090 -x10201 -x10202 -x10203 -x10204 -x10316 -x10317
1800.65	v -x10318 -x10319 -x10430 -x10431 -x10432 -x10433 -x10544 x10545 -x10546 -x10547 -x10658 -x10659 -x10660 -x10661 -x10772
1800.65	v -x10773 -x10774 -x10775 -x10886 -x10887 -x10888 -x10889 -x11000 -x11001 -x11002 -x11003 -x11114 -x11115 -x11116 x11117
1800.65	v -x11228 -x11229 -x11230 -x11231 -x11342 -x11343 -x11344 -x11345 -x11457 -x11458 -x11459 -x11460 -x11571 -x11572 -x11573
1800.65	v -x11574 -x11685 -x11686 -x11687 -x11688 -x11799 -x11800 -x11801 -x11802 -x11913 -x11914 -x11915 -x11916 -x12027 -x12028
1800.65	v -x12029 -x12030 -x12141 -x12142 -x12143 -x12144 -x12255 -x12256 -x12257 -x12258 -x12369 -x12370 -x12371 -x12372 x12483
1800.65	v x12484 -x12485 -x12486 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 x232 -x233 -x234 -x345 -x346 -x347 -x348 -x459 -x460
1800.65	v -x461 -x462 x573 x574 -x575 -x576 -x687 -x688 -x689 -x690 -x801 -x802 -x803 -x804 -x915 -x916 -x917 -x918 -x1029 -x1030 x1031
1800.65	v -x1032 -x1144 -x1145 -x1146 -x1147 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1490
1800.65	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1722 -x1723 -x1724 -x1725 -x1726 -x1837
1800.65	v -x1838 -x1839 -x1840 -x1841 -x1952 -x1953 -x1954 x1955 -x1956 -x2011 -x2012 -x2013 -x2014 -x2015 -x2026 -x2027 -x2028
1800.65	v -x2029 -x2030 -x2031 -x2032 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067
1800.65	v -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2095 x2096 x2097 -x2108 -x2109 -x2110 -x2121 -x2122 -x2123 -x2134 -x2135
1800.65	v -x2136 -x2147 -x2148 -x2149 -x2160 -x2161 -x2162 -x2173 -x2174 -x2175 -x2187 -x2188 -x2189 -x2200 -x2201 -x2202 -x2213
1800.65	v -x2214 -x2215 -x2226 -x2227 -x2228 -x2239 -x2240 -x2241 -x2252 -x2253 -x2254 -x2255 -x2266 -x2267 -x2268 -x2269 -x2280
1800.65	v -x2281 -x2282 -x2283 -x2294 -x2295 -x2296 -x2297 -x2308 -x2309 -x2310 x2322 -x2323 -x2324 -x2335 -x2336 -x2337 -x2348
1800.65	v -x2349 -x2350 -x2361 -x2362 -x2363 -x2374 -x2375 -x2376 -x2387 -x2388 -x2389 -x2400 -x2401 -x2402 -x2413 -x2414 -x2415
1800.65	v -x2426 -x2427 -x2428 -x2439 -x2440 -x2441 -x2453 -x2454 -x2455 x2466 -x2467 -x2468 -x2479 -x2480 -x2481 -x2492 -x2493
1800.65	v -x2494 -x2505 -x2506 -x2507 -x2518 -x2519 -x2520 -x2521 -x2522 x2533 -x2534 x2535 -x2536 -x2537 -x2548 -x2549 -x2550 -x2551
1800.65	v x2552 -x2563 -x2564 -x2565 -x2566 -x2567 x2578 x2579 -x2580 -x2581 -x2593 -x2594 -x2595 -x2596 -x2607 -x2608 x2609 -x2610
1800.65	v -x2621 -x2622 -x2623 -x2624 -x2635 -x2636 -x2637 -x2638 -x2649 -x2650 -x2651 -x2652 -x2663 -x2664 -x2665 x2666 -x2677
1800.65	v -x2678 -x2679 -x2680 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714
1800.65	v -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2760 -x2761 -x2762
1800.65	v -x2763 -x2764 x2765 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2808 -x2809 -x2810
1800.65	v -x2811 -x2812 -x2813 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2856 -x2857
1800.65	v x2858 -x2859 -x2860 -x2861 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2888 x2889 -x2890 -x2902 -x2903 -x2904 -x2915 -x2916
1800.65	v -x2917 -x2928 -x2929 -x2930 -x2941 -x2942 -x2943 -x2944 -x2955 -x2956 -x2957 -x2958 -x2969 -x2970 -x2971 -x2972 -x2983
1800.65	v -x2984 -x2985 -x2986 -x2997 -x2998 -x2999 -x3000 -x3011 -x3012 -x3013 -x3014 x3025 x3026 -x3027 x3028 -x3040 -x3041 -x3042
1800.65	v -x3043 x3054 x3055 -x3056 -x3057 -x3068 -x3069 -x3070 -x3071 -x3082 x3083 x3084 -x3085 -x3096 -x3097 -x3098 -x3099 -x3110
1800.65	v -x3111 x3112 x3113 -x3114 x3125 x3126 -x3127 -x3128 -x3129 x3130 -x3141 -x3142 x3143 -x3144 x3145 -x3156 x3157 x3158 -x3159
1800.65	v -x3160 -x3161 x3162 x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 x3192 -x3193 x3194 x3195 x3196 x3197 -x3198 x3209 x3210
1800.65	v -x3211 -x3212 -x3213 -x3214 x3215 -x3226 x3227 x3228 -x3229 -x3230 -x3231 x3232 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
1800.65	v x3249 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 x3266 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3294 -x3295 -x3296
1800.65	v x3297 -x3298 -x3299 x3300 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 x3317 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 x3345
1800.65	v x3346 x3347 -x3348 -x3349 -x3350 x3351 x3391 x3392 -x3393 x3394 -x3395 x3406 x3407 x3408 x3409 -x3410 x3421 x3422 x3423
1800.65	v -x3424 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3451 -x3452 -x3453 -x3454 -x3455 -x3466 -x3467 -x3468 -x3469 -x3470
1800.65	v -x3481 -x3482 -x3483 -x3484 -x3485 x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3513 -x3514 -x3515 -x3516 -x3517 -x3528 x3529
1800.65	v x3530 -x3531 x3532 x3543 -x3544 -x3545 -x3546 x3547 x3558 x3559 -x3560 x3561 -x3562 -x3573 -x3574 x3575 x3576 -x3587 -x3588
1800.65	v x3589 -x3590 x3591 x3602 x3603 x3604 x3605 -x3606 x3617 x3618 x3619 -x3620 -x3631 -x3632 x3633 x3634 x3635 -x3636 -x3647
1800.65	v -x3648 -x3649 x3650 x3662 x3663 x3664 -x3665 -x3666 x3677 x3678 x3679 -x3680 x3691 -x3692 -x3693 x3694 -x3705 -x3706 x3707
1800.65	v x3708 x3709 -x3710 x3721 x3722 x3723 -x3724 x3725 x3736 x3737 x3738 -x3739 x3740 -x3751 x3752 -x3753 x3754 x3755 -x3766
1800.65	v x3767 x3768 x3769 x3770 -x3771 x3782 -x3783 x3784 x3785 x3786 -x3787 -x3798 x3799 -x3800 x3801 x3802 -x3814 x3815 x3816
1800.65	v x3817 x3818 -x3829 -x3830 -x3831 -x3832 -x3833 x3834 -x3923 -x3924 -x3925 x3926 -x3927 x3928 -x3939 -x3940 -x3941 x3942
1800.65	v -x3943 x3944 x3956 -x3957 x3958 x3959 -x3960 x3961 -x3972 -x3973 x3974 x3975 -x3976 x3977 x3988 -x3989 -x3990 x3991 x3992
1800.65	v -x4003 -x4004 x4005 -x4006 x4007 x4008 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
1800.65	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4067 x4068 x4069 -x4070 x4071 -x4082 -x4083 -x4084 -x4085 -x4086 -x4097 x4098
1800.65	v x4099 -x4100 x4101 -x4113 x4114 x4115 -x4116 x4117 x4128 -x4129 x4130 x4131 x4132 x4143 x4144 -x4145 -x4146 -x4147 x4148
1800.65	v x4159 x4160 -x4161 x4162 x4163 -x4174 x4175 x4176 -x4177 -x4178 -x4179 x4180 -x4191 -x4192 -x4193 x4194 x4195 x4196 -x4207
1800.65	v -x4208 x4209 x4210 -x4211 x4212 -x4223 -x4224 -x4225 x4226 -x4227 x4228 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4255
1800.65	v -x4256 -x4257 x4258 -x4259 x4260 -x4272 x4273 x4274 x4275 -x4276 x4277 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977
1800.65	v -x1978 -x1979 x1980 x1981 -x1982 x1983 x1984 x1985 x1986 -x1987 x1988 x1989 x1990 -x1991 -x1992 x1993 x1994 x1995 x1996
1800.65	v -x1997 -x1998 -x1999 x2000 -x2001 x2002 -x3698 -x3701 -x3702 -x3703 -x3704 -x6378 -x6383 -x6389 -x6393 -x6397 -x6424 -x6428
1800.65	v -x6431 -x6504 -x6508 -x6512 -x6603 -x6716 -x12032 -x12039 -x12047 x12216 -x12223 -x12229 -x12235 -x1331 -x1339 -x1348
1800.65	v -x1686 -x1695 -x1704 -x6407 -x6434 -x6523 -x6607 -x6720 -x11987 -x12055 -x12240 -x1357 x1712 -x6411 -x6438 -x6527 -x6612
1800.65	v -x6725 -x11995 -x12062 -x12246 -x675 -x1366 -x1719 -x6292 -x6441 -x6533 -x6616 -x6729 -x12002 -x12070 -x12251 -x683 -x1381
1800.65	v -x1732 -x6444 -x6538 -x6621 -x6733 -x12010 -x12260 -x695 -x1389 -x1741 -x6293 -x6544 -x6625 -x6738 -x12018 -x12078 -x12085
1800.65	v -x12264 -x703 -x1398 -x1750 -x12025 -x6548 -x6637 -x6743 -x12093 -x12267 -x710 -x1407 -x1758 -x6838 -x12037 -x12045 -x6642
1800.65	v -x6755 -x12101 -x12271 -x717 -x1416 -x1766 -x3711 -x3712 -x3713 -x3714 -x6648 -x6760 -x12109 -x12274 x725 -x1425 -x1774
1800.65	v -x6652 -x6766 -x6843 -x12052 -x12116 -x12277 -x732 -x1433 -x1781 -x6847 -x6875 -x12060 -x12124 -x12280 -x739 -x1441 -x1788
1800.65	v -x6787 -x6878 -x12068 -x12132 -x12284 -x743 -x1449 -x1792 -x6882 -x12076 -x12139 -x12288 -x748 x1456 -x1797 -x6788 -x12083
1800.65	v -x12151 -x12293 -x752 -x1463 -x1801 -x12091 -x12159 -x12297 -x756 -x1467 -x1806 -x12099 -x12166 -x12301 -x761 -x1472
1800.65	v -x1810 -x12106 -x12174 -x12306 -x874 -x1476 -x1966 -x12114 -x12183 -x12310 -x1481 -x3715 -x3716 -x3717 -x3718 -x12122
1800.65	v -x12192 -x12315 -x1485 -x12129 -x12199 -x12319 -x1675 -x12137 -x12206 -x12323 -x12149 -x12213 -x12328 -x12157 -x12219
1800.65	v -x12332 -x12164 -x12226 -x12337 -x12172 -x12232 -x12341 -x12181 -x12238 -x12345 -x12190 -x12243 -x12350 -x12198 -x12249
1800.65	v -x12354 x3719 -x3720 -x3726 x3727 -x11028 -x12253 -x12359 -x11030 -x12262 -x3022 -x3081 -x3092 -x3103 -x3441 -x3446 -x3456
1800.65	v -x2993 -x3004 -x3015 -x3425 -x3430 -x3115 -x7709 -x7715 -x7720 -x7726 -x8312 -x8317 -x8324 -x8345 -x8351 -x9911 -x9917
1800.65	v -x9922 -x9928 -x10409 -x10418 -x10428 -x10442 -x10474 -x10485 -x10496 -x10584 -x10594 -x10604 -x7731 -x8329 -x8358 -x9933
1800.65	v -x10452 -x10507 -x10613 -x7737 -x8025 -x8336 -x8370 -x9939 -x10462 -x10517 -x10623 -x7742 -x8031 -x8377 -x9944 -x10472
1800.65	v -x10527 -x10633 -x7748 -x8037 -x8341 -x8385 -x9950 -x10483 -x10537 -x10643 -x3728 -x3729 -x3730 -x3731 -x3732 -x7753
1800.65	v -x8040 -x8348 -x8393 -x9955 -x10494 -x10551 -x10653 -x7759 -x8043 -x8355 -x8400 -x9961 -x10505 -x10561 -x10667 -x7764
1800.65	v -x8045 -x8361 -x8408 -x9966 -x10515 -x10571 -x10677 x7770 -x8374 -x8416 -x9977 -x10525 -x10580 -x10687 -x7775 -x8049
1800.65	v -x8382 -x8423 -x9982 -x10535 -x10590 -x10697 -x7780 -x8053 -x8389 -x8430 -x9986 -x10549 -x10600 -x10707 -x7784 -x8056
1800.65	v -x8397 -x8437 -x9991 -x10558 -x10610 -x10718 -x1329 -x1685 -x7788 -x8405 -x8444 -x9995 -x10568 -x10620 x10729 -x1338
1800.65	v -x1694 -x7797 -x8412 -x8451 -x10000 -x10578 -x10630 -x10740 -x1347 -x1703 -x7801 -x8420 -x10004 -x10588 -x10640 -x10751
1800.65	v -x1356 -x1710 -x3733 -x3734 -x3735 -x3741 -x3742 -x7806 -x8427 -x8458 -x10008 -x10598 -x10650 -x10762 -x674 -x1365 -x1718
1800.65	v -x7810 -x8434 -x8464 -x10013 -x10608 -x10664 -x10777 -x682 -x1373 x1731 -x7847 -x7851 -x7853 -x10050 -x10054 -x10056
1800.65	v -x10712 -x10723 -x10734 -x10745 -x10784 -x10795 -x10900 -x10910 -x10920 -x686 -x698 -x754 -x759 -x876 -x1324 -x1333 -x1342
1800.65	v -x1350 -x1384 -x1393 -x1465 -x1470 -x1474 -x1680 -x1688 -x1697 -x1735 -x1744 -x1803 -x1808 -x1969 -x10859 -x10870 -x10881
1800.65	v -x10927 -x10937 -x10947 -x11010 -x11016 -x11020 -x6373 -x6379 -x6384 -x6395 -x6405 -x6409 -x11990 -x12000 -x12008 -x12015
1800.65	v -x6413 -x11998 -x12023 -x11988 -x12006 -x12013 -x12035 -x12043 -x7653 -x12173 -x12182 -x12191 -x12214 -x12220 -x12227
1800.65	v -x12236 -x12241 -x12247 -x7712 -x7767 -x3743 -x3744 -x3745 -x3746 -x7620 -x7679 -x7690 -x7734 -x7745 -x7793 -x7804 -x7848
1800.65	v -x7881 -x7941 -x7996 -x7859 -x8046 -x7908 -x7974 -x8024 -x8068 -x8139 -x8183 -x8227 -x7963 -x8112 -x8265 -x6575 -x6586
1800.65	v -x6608 -x6647 -x6669 -x6724 -x6774 -x6447 -x6451 -x6454 -x6456 -x6457 -x6460 -x6461 -x6463 -x100 -x102 -x104 -x107 -x109
1800.65	v -x111 -x122 -x129 -x6702 -x6464 -x6466 -x113 -x115 -x138 -x6469 -x124 -x126 -x147 -x6495 -x133 -x135 -x156 -x141 -x144 -x164
1800.65	v -x150 -x152 -x173 -x3695 -x3747 -x3748 -x159 -x161 -x182 -x4420 -x4423 -x168 -x170 -x190 -x4425 -x4427 -x177 -x179 -x197
1800.65	v -x4429 -x4431 -x6885 -x6887 -x184 -x186 -x205 -x4434 x4436 -x6889 -x192 -x194 -x213 -x4438 -x4440 -x6890 -x200 -x202 -x221
1800.65	v -x4444 -x207 -x210 -x228 -x4446 -x215 -x217 -x240 -x4733 -x224 -x225 -x248 -x236 -x237 -x254 -x3749 -x3750 -x3756 -x9938
1800.65	v -x243 -x244 -x261 -x9976 -x251 -x252 -x267 -x258 -x259 -x274 -x9723 -x9725 -x264 -x265 -x281 -x5389 -x9727 -x9729 -x271
1800.65	v -x272 -x287 -x5394 -x9732 -x9734 -x277 -x278 -x294 -x5384 -x5385 -x5400 -x9736 -x9738 -x284 -x285 -x300 -x5391 -x5392 -x5405
1800.65	v -x9740 -x9748 -x291 -x292 -x307 -x5396 -x5397 -x5411 -x9750 -x9752 -x298 -x314 -x5402 -x5403 -x5416 -x9755 -x297 -x305
1800.65	v -x320 -x3757 -x3758 -x5407 -x5408 -x5422 -x9754 -x304 -x310 -x311 -x327 -x5413 -x5414 -x5427 -x6004 -x9759 -x317 -x318
1800.65	v -x333 -x5418 -x5419 -x5431 -x6009 -x9866 -x324 -x325 -x339 -x5424 -x5425 -x5436 -x6001 -x6002 -x6015 -x331 -x344 -x8353
1800.65	v -x5429 -x5564 -x6006 -x6007 -x6020 -x330 -x337 -x667 -x5434 -x6012 -x6013 -x6025 -x342 -x6017 -x6018 -x6029 -x6023 -x6157
1800.65	v -x4403 -x9606 -x9608 -x9609 -x9610 -x354 -x362 -x373 -x384 -x395 -x422 -x434 -x446 -x458 -x479 -x491 -x503 -x515 -x4406
1800.65	v -x9616 -x475 -x527 -x3759 -x3760 -x3761 -x3762 -x539 -x4409 x4413 -x4416 -x9621 -x9625 -x9762 -x9765 -x9769 -x9795 -x407
1800.65	v -x419 -x431 -x487 -x499 -x511 -x552 -x563 -x578 -x4419 -x9773 -x9800 -x443 -x523 -x587 -x4459 -x9777 -x9805 -x455 -x535
1800.65	v -x596 -x9781 -x9809 -x471 -x547 -x604 -x9785 -x9814 -x483 -x558 -x611 -x9673 -x9818 -x495 -x569 -x617 -x9792 -x9821 -x508
1800.65	v -x583 -x624 -x9797 -x520 -x593 -x630 -x9803 -x9826 -x532 -x601 -x636 -x3763 -x3764 -x3765 -x9807 -x9830 -x544 -x607 -x640
1800.65	v -x9811 -x9833 -x555 -x614 -x646 -x9816 -x9838 -x566 -x620 -x650 -x9820 -x9842 -x581 -x627 -x655 -x9847 -x591 -x633 -x659
1800.65	v -x9824 -x9851 -x96 -x638 -x663 -x9716 -x9828 -x98 -x644 -x2892 -x2897 -x2907 -x2913 -x2922 -x2933 -x2936 -x2939 -x2947
1800.65	v -x3138 -x3150 -x3165 -x3180 -x3183 -x3200 -x3208 -x3222 -x3537 -x3542 -x3553 -x3236 -x2927 x2951 -x2959 -x2963 -x3136
1800.65	v -x3148 -x3163 -x3188 -x3205 -x3219 -x3242 -x3253 -x3257 -x3535 -x3539 -x3564 -x3570 -x3580 x3772 -x3773 x3774 -x3171 -x3233
1800.65	v -x3268 -x3550 -x3586 -x3186 -x3239 -x3271 -x3556 x3596 -x3203 -x3251 -x3274 -x3567 -x3600 -x3255 -x3415 -x3577 -x3608
1800.65	v -x7856 -x7858 -x7861 -x7863 -x7865 -x8541 -x8546 -x8563 -x8568 -x8574 -x10059 -x10061 -x10063 -x10066 -x10068 -x11036
1800.65	v -x11052 -x11064 -x11076 -x11088 -x7867 -x7869 -x8553 -x8559 -x8580 -x8585 -x10070 -x10072 -x11047 -x11060 -x11100 -x11112
1800.65	v -x7872 -x7874 -x7876 -x8565 -x8571 -x8577 -x8590 -x8603 -x10074 -x10077 -x10079 -x11033 -x11044 -x11072 -x11084 -x11096
1800.65	v -x11128 -x11141 -x11153 -x7878 -x8582 -x8611 -x10081 -x11108 -x11165 -x7880 -x8617 -x10083 -x11056 -x11124 -x11177 -x7883
1800.65	v -x8624 -x10085 -x11068 -x11080 -x11136 -x11189 -x3775 -x3776 -x3777 -x7885 -x8600 -x8631 -x10093 -x11093 -x11148 -x11201
1800.65	v -x7887 -x7889 -x8607 -x8614 -x8646 x10095 -x10097 -x11105 -x11121 -x11160 -x11172 -x11213 -x11225 -x7891 -x8620 -x8653
1800.65	v -x11185 -x11241 -x7894 -x8628 -x8661 -x10099 -x11133 -x11197 -x11252 -x7896 -x8636 -x8669 -x10101 -x10104 -x11145 -x11157
1800.65	v -x11263 -x7898 -x8642 -x8675 -x10106 -x11169 -x11209 -x11274 -x7900 -x8650 -x8682 -x10108 -x11181 -x11221 -x11285 -x7902
1800.65	v -x8658 -x8690 -x10110 -x11193 -x11237 -x11296 -x8666 -x8695 -x11205 -x11248 -x11259 -x11306 -x8672 -x11218 -x11270 -x11315
1800.65	v -x8680 -x8702 -x11234 -x11281 -x11324 -x8686 -x8715 -x11245 -x11292 -x11333 -x8693 -x8722 -x11256 -x11302 -x11341 -x8729
1800.65	v -x11267 -x11312 -x11354 -x8700 -x8735 -x11278 -x11321 -x11363 -x8706 -x8743 -x11289 -x11329 -x11372 -x1497 -x8719 -x8726
1800.65	v -x8732 -x8751 -x8759 -x8766 -x11300 -x11310 -x11318 -x11338 -x11351 -x11360 -x11382 -x11391 -x11399 -x8740 -x8774 -x11327
1800.65	v -x11369 -x11408 -x8748 -x8781 -x11336 -x11378 -x11417 -x8755 -x8786 -x11349 -x11387 -x11426 -x3689 -x3699 -x8763 -x8790
1800.65	v -x11358 -x11396 -x11435 -x8771 -x8794 -x11366 -x11405 -x11442 -x8777 -x11376 -x11414 -x11450 -x8784 -x8798 -x11422 -x11463
1800.65	v -x2344 -x2353 -x2360 -x2370 -x2372 -x2381 -x2383 -x2386 -x2394 -x2397 -x2408 -x2419 -x2392 -x2405 -x2430 -x2403 -x2416
1800.65	v -x2438 -x2766 -x2411 -x2424 -x2449 -x2768 -x2782 -x2422 -x2435 -x2461 -x2770 -x2786 -x2433 -x2446 -x2472 -x2790 -x2801
1800.65	v -x3697 x2444 -x2458 -x2483 -x2805 -x2456 -x2469 -x2491 -x2815 -x2464 -x2477 -x2501 -x2475 -x2488 -x2511 -x2486 -x2498
1800.65	v -x2523 -x2496 -x2508 -x2530 -x2503 -x2515 -x2541 -x2513 -x2527 -x2547 -x2525 -x2538 -x2557 -x2544 -x2561 -x5024 -x9185
1800.65	v -x9191 -x9199 -x9207 -x9210 -x9214 -x9219 -x9228 -x5133 x9223 -x9234 -x5116 -x5119 -x5129 -x5144 -x5156 -x9231 -x9239
1800.65	v -x9243 -x9252 -x5126 -x5140 -x5169 -x9247 -x9261 -x5137 -x5151 -x5181 -x9256 -x9269 -x5148 -x5163 -x5193 -x9265 -x9278
1800.65	v -x5160 -x5176 -x5205 -x9274 -x9292 -x5173 -x5189 -x5217 -x9288 -x9301 -x5185 -x5201 -x5229 -x9296 -x9309 -x5197 -x5213
1800.65	v -x5241 -x9305 -x9317 -x5209 -x5225 -x5253 -x9313 -x9325 -x5222 -x5237 -x5266 -x5797 -x9321 -x9333 -x5234 -x5249 -x5278
1800.65	v -x5830 -x9328 -x9340 -x5246 -x5261 -x5289 -x5818 -x5841 -x9336 -x9348 -x5258 -x5272 -x5300 -x5815 -x5827 -x5852 -x9344
1800.65	v -x9356 -x5269 -x5284 -x5311 -x5824 -x5838 -x5863 -x9351 -x9364 -x5281 -x5295 -x5322 -x5835 -x5848 -x5873 -x9359 -x5292
1800.65	v -x5306 -x5331 -x5845 -x5859 -x5883 -x9367 -x9370 -x5303 -x5317 -x5341 -x5856 -x5869 -x5892 -x9373 -x9378 -x5314 -x5327
1800.65	v -x5350 -x5879 -x5898 -x9381 -x9386 -x5337 -x5357 -x5887 -x9389 -x9392 -x9405 -x9425 -x9430 -x9442 -x9446 -x9450 -x9453
1800.65	v -x1265 -x9457 -x9465 -x1316 -x8163 -x9462 -x9469 -x9474 -x9476 -x9480 -x9483 -x9490 -x1272 -x1273 -x8165 -x9486 -x9494
1800.65	v -x8160 -x8164 -x8166 -x8167 -x8168 -x8169 -x8170 -x8206 -x8209 -x8223 -x9492 -x9496 -x9501 -x9503 -x9505 -x9507 -x9517
1800.65	v -x8212 -x8217 -x8229 -x9509 -x9520 -x8215 -x8221 -x8234 -x9519 x9524 -x11749 -x8220 -x8226 -x8239 -x9522 -x9529 -x12381
1800.65	v -x8225 -x8232 -x8244 -x9526 -x9533 -x12374 -x12388 -x8231 -x8237 -x8255 -x9531 -x9537 -x12367 -x12379 -x12397 -x7945
1800.65	v -x8236 x8242 -x8260 -x9535 -x9542 -x10148 -x12377 -x12405 -x7946 -x8241 -x8247 -x8264 -x9540 -x9546 -x10149 -x12383 -x12386
1800.65	v -x12414 -x12393 -x7947 -x8246 -x8269 -x9544 -x10150 -x12391 -x12423 -x8258 -x9551 -x7948 -x7949 -x12402 -x8257 -x8273
1800.65	v -x9548 -x12433 -x10151 -x7950 -x8262 -x9556 -x12411 -x8275 -x9554 -x10152 -x12400 -x12409 -x12443 -x7951 -x8267 -x9562
1800.65	v -x12420 -x9559 -x10153 -x12418 -x12453 -x7953 -x8271 -x9566 -x12430 -x9564 -x10154 -x12427 -x12462 -x9572 -x7954 -x12440
1800.65	v -x3778 -x9569 -x9577 -x10155 -x12437 -x12449 -x12470 -x7955 -x9575 -x9581 -x10156 -x12447 -x12458 -x12479 -x9154 -x9586
1800.65	v -x10158 -x12457 -x12467 -x12491 -x7956 -x9584 -x9590 -x10159 -x12466 -x12499 -x7959 -x9589 -x10162 -x12475 -x12476 -x12489
1800.65	v -x12506 -x7962 -x9594 -x10165 -x12488 -x12496 -x12514 -x7966 -x9598 -x10169 -x12495 -x12504 -x12522 -x3779 -x3780 -x3781
1800.65	v -x3788 -x7969 -x9165 x10172 -x12503 -x12512 -x12529 -x7972 -x10175 -x12511 -x12519 -x12537 -x7976 -x10178 -x12518 -x12527
1800.65	v -x12545 -x7979 -x10182 -x12526 -x12535 -x12552 -x7982 -x10185 -x12534 -x12543 -x12560 -x7986 -x10188 -x12541 -x12550
1800.65	v -x12568 -x7989 -x10192 -x12549 -x12558 -x12576 -x8013 -x10220 -x12557 -x12566 -x12583 -x12565 -x12573 -x12591 -x12572
1800.65	v -x12581 -x9 -x3789 -x3790 -x3791 -x3792 -x12580 -x12589 -x16 -x12588 -x12596 -x24 -x12595 -x14 -x32 -x13 -x22 -x39 -x21
1800.65	v -x30 -x47 -x28 -x37 -x55 -x36 -x45 -x63 -x44 -x53 -x70 -x52 -x60 -x77 -x59 -x68 -x83 -x3793 -x3794 -x3795 -x3796 -x67 -x75 -x90
1800.65	v -x81 -x94 -x11217 -x11254 -x11287 -x11320 -x11357 -x11390 -x11423 -x11461 -x11494 -x3797 -x3803 -x3804 -x3805 -x3845
1800.65	v -x3846 x3847 -x3858 -x3859 -x3860 x3871 -x3872 x3873 x3884 -x3885 x3886 x3897 -x3898 x3899 x3910 x3911 -x3912 -x3806 -x3807
1800.65	v -x3808 -x3809 -x3810 -x3811 -x3812 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3835 -x3836
1800.65	v -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x5332 -x5388 -x5443 -x5499 -x5554 -x5610 -x5665 -x5722 -x5777
1800.65	v -x5833 -x5888 -x5944 -x5988 x6032 -x6059 -x6619 -x6680 -x6735 -x6785 -x6829 x6880 -x6924 -x6986 -x7041 -x7103 -x7147 -x7191
1800.65	v -x7242 -x7286 -x7337 -x7381 -x7425 -x7598 -x7664 -x7723 -x7778 -x7837 -x7892 -x7952 -x8007 -x8057 x8101 -x8150 -x8194
1800.65	v -x8238 -x8276 -x8309 -x8331 x8676 -x8714 -x8747 -x8780 -x8813 -x8850 -x8883 -x8916 -x8953 -x8986 -x9019 -x9056 -x9089
1800.65	v -x9122 -x9155 -x9193 -x9226 -x9259 -x9297 -x9330 -x9363 -x9385 -x3848 -x3849 -x393 -x426 -x463 -x496 -x529 -x551 x588 -x621
1800.65	v -x654 -x691 -x724 -x735 -x2351 -x2358 -x2368 -x2379 -x2390 -x2398 -x2409 -x2420 -x2431 x2442 -x2450 -x2462 -x2473 -x2484
1800.65	v -x2495 -x2502 -x2512 -x2524 -x2531 -x2542 -x2553 -x2558 -x2562 -x2569 -x2784 -x2788 -x2798 -x2802 -x2806 -x2816 -x2820
1800.65	v -x2830 -x2833 x2836 -x2839 -x2848 -x2851 -x2854 -x2855 -x2895 -x2905 -x2911 -x2920 -x2926 -x2934 -x2937 -x2940 -x2948
1800.65	v x2952 -x2960 -x2964 x3001 -x3008 -x3019 -x3030 -x3036 -x3047 -x3053 -x3064 -x3075 -x3086 -x3093 -x3104 -x3116 -x3123 -x3133
1800.65	v -x3426 -x3431 -x3442 x3447 -x3457 -x3462 -x3471 -x3476 -x3486 -x3491 -x3502 -x3507 -x3518 -x3523 -x3526 -x3696 -x3700
1800.65	v -x3870 -x3877 x3881 -x3888 -x3892 -x3896 -x3903 -x3908 -x3914 -x3994 -x3998 -x4002 -x4012 x4016 -x4026 -x4030 -x4034 -x4043
1800.65	v -x3850 -x3851 -x3852 -x3853 -x4087 -x4091 -x4095 -x4104 x4108 -x4118 -x4122 -x4126 -x4134 -x4173 -x4184 -x4188 -x4198
1800.65	v -x4202 x4206 -x4216 -x4220 -x4229 -x4349 -x4352 -x4356 -x4359 -x4362 -x4366 -x4370 -x4374 x4379 -x4382 -x4385 -x4390 -x4393
1800.65	v -x4396 -x4398 -x3363 -x3364 x3365 x3366 -x4424 -x4428 -x4433 x4437 -x4441 -x4445 -x4447 -x3377 -x3378 x3379 x3380 -x4462
1800.65	v -x4466 -x4469 x4472 -x4475 -x4479 -x4481 -x5123 -x5134 -x5145 -x5157 -x5170 -x5182 -x5194 -x5206 -x5218 -x5230 -x5242
1800.65	v -x5255 -x5267 -x5279 -x5290 -x5301 -x5312 -x5323 -x5333 x5342 -x5351 -x5822 -x5831 -x5842 -x5853 x5864 -x5874 -x5884 -x5893
1800.65	v -x5900 -x5905 -x5911 -x5916 -x5920 -x5924 -x5927 -x5929 -x6038 -x6047 -x6061 -x6069 -x6077 -x6085 -x6091 -x6097 x6102
1800.65	v -x6108 -x6113 -x6119 -x6124 -x6376 -x6382 -x6387 -x6392 -x6396 -x6406 x6410 -x6414 -x6417 -x6419 -x6422 -x6425 -x6429
1800.65	v -x6432 -x6435 -x6439 -x6442 -x6445 -x6446 -x6580 -x6582 -x6584 -x6587 -x6589 -x6591 -x6593 -x6595 -x6598 -x6599 -x3854
1800.65	v -x3855 -x3856 -x6684 -x6686 -x6688 -x6690 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6842 -x6846 -x6850 -x6853 -x6855
1800.65	v -x6857 -x6859 -x6861 -x6871 -x6873 -x6876 -x6879 -x6883 -x6884 -x6905 -x6907 -x6909 x6910 -x6922 -x6925 -x6927 -x6928
1800.65	v -x6940 -x6942 x6944 -x6945 -x6955 x6958 -x6960 -x6962 -x7254 -x7259 -x7265 -x7270 -x7274 -x7280 -x7285 -x7292 -x7300 -x7306
1800.65	v -x7313 -x7320 -x7327 -x7342 -x7350 -x7357 -x7365 x7373 -x7380 -x7388 -x7396 -x7404 -x7411 -x7419 -x7427 -x7434 -x7442
1800.65	v -x7454 -x7461 -x7469 -x7476 -x7481 -x7486 -x7490 -x7494 -x7499 -x7503 -x7594 x7600 -x7605 -x7611 -x7615 -x7619 -x7623
1800.65	v -x7626 -x7630 -x7635 -x7639 -x7666 x7670 -x7674 -x7683 -x7687 -x7692 -x7696 -x7700 -x7705 -x7710 -x7716 -x7721 -x7727
1800.65	v -x7732 -x7738 -x7743 -x7749 -x7754 -x7760 -x7765 -x7771 -x8076 -x8082 -x8087 -x8093 -x8098 x8104 -x8109 -x8115 -x8120
1800.65	v -x8126 -x8131 -x8142 -x8146 -x8151 -x8155 -x8157 -x8158 -x3857 -x3861 -x3862 -x9176 -x9183 -x9188 -x9196 -x9203 x9211
1800.65	v -x9220 -x9229 -x9235 -x9244 -x9253 -x9262 -x9271 -x9279 -x9293 -x9302 -x9310 -x9318 -x9326 -x9334 -x9342 -x9349 -x9357
1800.65	v -x9365 -x9371 -x9379 -x9387 -x9393 -x9406 -x9414 -x9421 -x9428 -x9435 -x9439 -x9447 -x9454 -x9460 -x9466 -x9472 -x9477
1800.65	v -x9484 -x9871 -x9876 -x9880 -x9885 -x9889 -x9893 -x9898 x9902 -x9907 -x9912 -x9918 -x9923 -x9929 -x9934 -x9940 -x9945
1800.65	v -x9951 -x9956 -x9962 -x9967 -x9978 -x11993 -x12001 -x12009 -x12017 -x12024 -x12036 -x12044 -x12051 -x12059 -x12067 -x12074
1800.65	v -x12082 -x12090 -x12098 -x12105 -x12113 -x12121 -x12128 -x12136 -x12148 -x12155 -x12163 -x12171 -x12180 -x12188 -x12197
1800.65	v -x12205 -x12212 x12218 -x12225 -x12231 -x12237 -x12242 -x12248 -x12252 -x12261 -x12265 -x12268 -x12272 -x12275 -x12278
1800.65	v -x12282 -x12285 -x12289 -x12294 -x12298 -x12302 -x12307 -x12311 -x12316 -x12320 -x12324 -x12329 -x12333 -x12338 -x12342
1800.65	v -x12346 -x12351 -x12355 -x12360 -x12362 -x844 -x846 -x848 -x851 -x853 -x855 x857 -x859 -x862 -x864 -x866 -x868 -x870 -x873
1800.65	v -x875 -x1165 -x1172 -x1178 -x1184 -x1188 -x1193 -x1197 -x1201 -x1206 -x1209 -x1213 -x1218 -x1222 -x1227 -x1231 -x1234
1800.65	v -x1238 -x1241 -x1244 -x1248 -x1251 -x1254 -x1257 -x1268 -x1271 -x1630 -x1632 -x1635 -x1637 -x1639 -x1641 -x1643 -x1646
1800.65	v -x1648 -x1650 -x1652 -x1654 -x1657 -x1659 x1661 -x1663 -x1665 -x1668 -x1670 -x1672 -x1674 -x1676 -x1923 -x1925 -x1927
1800.65	v x1929 -x1932 -x1934 -x1936 -x1938 -x1940 -x1943 -x1945 -x1947 -x1949 -x1951 -x1959 -x1961 -x1963 -x1965 -x1967 -x4443
1800.65	v -x4476 -x4510 -x4543 -x4576 -x4611 -x4644 x4677 -x4688 -x4955 -x5188 -x6070 x6218 -x6251 -x6289 -x6322 -x6355 -x6388 -x6426
1800.65	v -x6459 -x6492 -x6531 -x7576 -x8205 -x8320 -x8380 -x8413 -x8446 -x8484 x8517 -x8550 -x8583 -x8621 -x8632 -x3863 -x3864
1800.65	v -x3865 x9516 -x9549 -x9582 -x9615 -x9653 -x9686 -x9719 -x9757 -x9823 -x9861 -x9894 -x9905 -x10434 -x10798 -x11059 -x11092
1800.65	v -x11129 -x11162 -x11173 -x11994 -x62 -x106 -x143 x187 -x235 -x279 -x334 -x1380 -x1457 -x1540 -x1623 -x1700 -x1782 x1864
1800.65	v -x1941 -x2006 -x2016 -x2020 -x2024 -x2035 -x2039 -x2570 -x2606 -x2615 -x2619 -x2627 -x2631 x2639 -x2643 -x2647 -x2655
1800.65	v -x2966 -x2968 -x2975 -x2978 -x2981 -x2988 x2991 x3369 -x3373 -x3381 -x3385 -x3389 -x3398 -x3402 -x3411 -x3417 -x3651 -x3654
1800.65	v x3657 -x3660 -x3669 -x3672 -x3675 -x3683 -x3688 -x3866 x3931 -x3934 -x3937 -x3946 -x3949 -x3969 -x3978 x3981 -x3984 -x4044
1800.65	v -x4063 -x4066 x4074 -x4077 -x4135 -x4154 x4157 -x4165 -x4168 -x4230 -x4278 -x4308 -x4314 -x4319 -x4325 -x4329 x4334 -x4338
1800.65	v -x4344 -x4375 -x4397 -x4400 -x4401 -x4404 -x4407 x4411 -x4414 -x4417 -x4418 -x4482 -x4485 -x4489 x4492 -x4495 -x4500 -x4501
1800.65	v -x4514 -x4519 -x4621 -x4626 -x4630 -x4635 -x4639 -x4643 -x4648 -x4652 -x4657 x4661 -x4662 -x4981 -x5012 -x5535 -x5558
1800.65	v -x5566 -x5568 -x5592 -x5596 -x5601 -x5605 x5611 -x5615 -x5619 -x5624 -x5625 -x5760 -x5791 -x5954 -x5973 -x5978 -x5979
1800.65	v -x5981 -x5984 -x5987 -x5991 -x5994 -x5997 -x5998 x6134 -x6153 -x6159 -x6168 -x6278 -x6283 x6319 -x6325 -x6330 -x6336 -x6341
1800.65	v -x6346 -x6350 -x6353 -x6357 -x6360 -x6363 -x6368 -x6369 -x6493 -x6539 -x6545 -x6559 -x6562 -x6566 -x6569 -x6572 -x6576
1800.65	v -x6577 -x6643 -x6649 -x6663 -x6666 -x6670 -x6673 -x6676 -x6679 -x6681 -x6710 -x6778 -x6783 -x6810 -x6814 -x6819 -x6822
1800.65	v -x6825 -x6828 -x6832 -x6835 -x6836 -x6894 -x6898 x6901 -x6911 -x6916 -x6919 -x6929 x6933 -x6937 x6947 -x6951 -x6952 -x6961
1800.65	v -x7016 -x7020 -x7023 -x7026 -x7029 -x7033 -x7036 -x7039 -x7043 -x7046 -x7049 -x7053 -x7056 -x7059 -x7062 -x7066 -x7069
1800.65	v x7073 -x7078 -x7082 -x7087 -x7091 -x7095 -x7107 -x7108 -x7478 -x7502 -x7513 -x7527 -x7555 -x7641 x7645 -x7648 -x7651 -x7655
1800.65	v -x7658 -x7659 -x7661 x7957 -x7960 -x7964 -x7967 -x7970 -x7973 -x7977 -x7983 -x7987 -x7988 -x8171 -x8175 -x8178 -x8181
1800.65	v -x8185 x8188 -x8191 -x8195 -x8198 -x8201 -x8202 -x8807 -x9150 -x9164 -x9611 -x9617 -x9622 -x9632 -x9637 x9643 -x9648 -x9654
1800.65	v -x9659 -x9663 -x9669 -x9674 -x9680 -x9685 -x9696 -x9702 -x9707 -x9712 -x9717 -x9718 -x9867 -x10160 -x10163 -x10166 x10170
1800.65	v -x10173 -x10176 -x10180 -x10186 -x10189 -x10191 -x11735 -x11743 -x11752 -x11761 -x11770 -x11779 -x11787 -x11796 -x11809
1800.65	v -x11818 -x11827 -x11835 x11844 -x11852 -x11860 -x11866 -x11873 -x11879 -x11885 -x11890 -x11895 -x11899 -x11904 -x11908
1800.65	v -x11921 -x11925 -x11930 -x11934 -x11938 -x11943 -x11947 -x11952 -x11956 -x11960 -x11965 -x11969 -x11974 -x11978 -x11982
1800.65	v -x11984 -x88 -x706 -x817 -x819 x821 -x823 -x825 -x828 -x830 -x836 -x840 -x841 -x886 -x1276 -x1278 -x1280 -x1282 -x1284 -x1287
1800.65	v -x1289 -x1291 -x1293 -x1298 -x1300 -x1302 -x1304 -x1306 -x1309 -x1310 -x1321 -x1368 -x1428 -x1580 -x1582 -x1585 -x1587
1800.65	v -x1590 -x1593 -x1597 x1600 -x1613 -x1616 -x1619 -x1622 -x1626 -x1627 -x1677 -x1753 -x1887 -x1889 -x1891 x1893 -x1895 -x1899
1800.65	v -x1902 -x1905 -x1909 -x1915 -x1918 -x1920 -x9790 -x4342 -x7980 -x9691 -x10183 -x11912 -x833 -x1295 -x1603 -x1912 -x3867
1800.65	v -x3868 -x3869 -x3874 -x3875 -x3876 -x3878 -x3879 x3880 -x3882 -x3883 -x3887 -x3889 -x3890 -x3891 -x3893 -x3894 -x3895
1800.65	v -x3900 -x3901 -x3902 -x3904 -x3905 -x3906 -x3907 -x3909 -x3913 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 x3922
1800.65	v x3929 x3930 -x3932 -x3933 -x3935 -x3936 -x3938 -x3945 -x3947 -x3948 -x3950 -x3951 -x3952 -x3953 -x3954 -x3962 -x3963 -x3964
1800.65	v -x3965 -x3966 -x3967 -x3968 x3970 x3971 x3979 -x3980 -x3982 -x3983 -x3985 -x3986 -x3987 -x3993 -x3995 -x3996 -x3997 -x3999
1800.65	v -x4000 -x4001 -x4009 -x4010 -x4011 -x4013 -x4014 x4015 -x4017 -x4018 -x4025 -x4027 -x4028 -x4029 -x4031 -x4032 -x4033
1800.65	v -x4041 -x4042 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4064 x4065 x4072 -x4073
1800.65	v -x4075 -x4076 -x4078 -x4079 -x4080 -x4081 -x4088 -x4089 -x4090 -x4092 -x4093 -x4094 -x4096 -x4102 -x4103 -x4105 -x4106
1800.65	v x4107 -x4109 -x4110 -x4111 -x4119 -x4120 -x4121 -x4123 -x4124 -x4125 -x4127 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140
1800.65	v -x4141 -x4142 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 -x4158 x4164 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172
1800.65	v -x4181 -x4182 -x4183 -x4185 -x4186 -x4187 -x4189 -x4190 -x4197 -x4199 -x4200 -x4201 -x4203 -x4204 x4205 -x4213 -x4214
1800.65	v -x4215 -x4217 -x4218 -x4219 -x4221 -x4222 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4245 -x4246 -x4247
1800.65	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
1800.65	v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296
1800.65	v -x4297 -x4298 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4309 -x4311 -x4312 -x4313 -x4315 -x4316 -x4317
1800.65	v -x4318 -x4320 -x4322 -x4323 -x4324 -x4326 -x4327 -x4328 -x4330 -x4331 -x4333 -x4335 x4336 -x4337 -x4339 -x4340 -x4341
1800.65	v -x4345 -x4346 -x4347 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4358 -x4360 -x4361 -x4363 -x4364 -x4367 -x4368 -x4369
1800.65	v -x4371 -x4372 -x4373 x4377 -x4378 x4380 -x4381 x4383 -x4384 -x4386 x4389 -x4391 -x4392 -x4394 -x4395 -x4402 -x4405 -x4408
1800.65	v -x4412 -x4415 -x4422 -x4426 -x4430 -x4435 -x4439 -x4442 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4455 -x4456 -x4457
1800.65	v -x4458 -x4460 -x4461 -x4463 -x4464 -x4467 -x4468 -x4470 x4471 -x4473 -x4474 -x4477 -x4478 -x4480 -x4483 -x4484 -x4486
1800.65	v -x4488 -x4490 -x4491 -x4493 x4494 -x4496 -x4497 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512
1800.65	v x4513 -x4515 -x4516 -x4517 -x4518 -x4520 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533
1800.65	v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551
1800.65	v -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570
1800.65	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4588 -x4589
1800.65	v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607
1800.65	v -x4608 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4631
1800.65	v -x4632 -x4634 -x4636 -x4637 -x4638 -x4640 -x4641 -x4642 -x4645 -x4646 -x4647 x4649 x4650 -x4651 x4653 -x4654 -x4656 x4658
1800.65	v -x4659 -x4660 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4678 -x4679
1800.65	v -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697
1800.65	v -x4698 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716
1800.65	v -x4717 -x4718 -x4719 -x4720 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4734 -x4735 -x4736
1800.65	v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754
1800.65	v -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773
1800.65	v -x4774 -x4775 -x4776 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4789 -x4790 -x4791 -x4792
1800.65	v -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811
1800.65	v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829
1800.65	v -x4830 -x4831 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4845 -x4846 -x4847 -x4848 -x4849
1800.65	v -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4867 -x4868
1800.65	v -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886
1800.65	v -x4887 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905
1800.65	v -x4906 -x4907 -x4908 -x4909 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924
1800.65	v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942
1800.65	v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962
1800.65	v -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4982
1800.65	v -x4983 -x4984 -x4985 -x4986 -x4987 -x4989 x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x5000 -x5001 -x5002
1800.65	v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5011 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5022
1800.65	v -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041
1800.65	v -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061
1800.65	v -x5062 -x5063 -x5064 -x5065 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080
1800.65	v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098
1800.65	v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5111 -x5112 -x5113 -x5114 -x5115 -x5117 -x5118
1800.65	v -x5120 -x5122 -x5124 -x5125 -x5127 -x5128 -x5130 -x5131 -x5135 -x5136 -x5138 -x5139 -x5141 -x5142 -x5146 -x5147 -x5149
1800.65	v -x5150 -x5152 -x5153 -x5155 -x5158 -x5159 -x5161 -x5162 -x5164 -x5167 -x5168 -x5171 -x5172 -x5174 -x5175 -x5178 -x5179
1800.65	v -x5180 -x5183 -x5184 -x5186 -x5187 -x5190 -x5191 -x5192 -x5195 -x5196 -x5198 -x5200 -x5202 -x5203 -x5204 -x5207 -x5208
1800.65	v -x5211 -x5212 -x5214 -x5215 -x5216 -x5219 -x5220 -x5223 -x5224 -x5226 -x5227 -x5228 -x5231 -x5233 -x5235 -x5236 -x5238
1800.65	v -x5239 -x5240 -x5244 -x5245 -x5247 -x5248 -x5250 -x5251 -x5252 -x5256 -x5257 -x5259 -x5260 -x5262 -x5263 -x5264 -x5268
1800.65	v -x5270 -x5271 -x5273 -x5274 -x5275 -x5280 -x5282 -x5283 -x5285 -x5286 -x5287 -x5291 -x5293 -x5294 -x5296 -x5297 -x5298
1800.65	v -x5302 -x5304 -x5305 -x5307 -x5308 -x5309 -x5313 -x5315 -x5316 -x5318 -x5319 -x5320 -x5324 -x5325 -x5326 -x5328 -x5329
1800.65	v -x5330 -x5334 -x5335 -x5336 x5338 -x5339 -x5340 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5352 -x5353 -x5355 -x5356 -x5358
1800.65	v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377
1800.65	v -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5386 -x5390 -x5393 -x5395 -x5398 -x5401 -x5404 -x5406 -x5409 -x5412 -x5415
1800.65	v -x5417 -x5420 -x5423 -x5426 -x5428 -x5430 -x5433 -x5435 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5445 -x5446
1800.65	v -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464
1800.65	v -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483
1800.65	v -x5484 -x5485 -x5486 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5500 -x5501 -x5502 -x5503
1800.65	v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5522
1800.65	v -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5533 -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541
1800.65	v -x5542 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5555 -x5556 -x5557 -x5559 -x5560 -x5561
1800.65	v -x5562 -x5563 -x5567 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583
1800.65	v -x5584 -x5585 -x5586 -x5588 -x5589 -x5590 -x5591 -x5593 -x5594 -x5595 x5597 -x5599 x5600 x5602 -x5603 -x5604 x5606 -x5607
1800.65	v -x5608 -x5612 -x5613 -x5614 -x5616 -x5617 -x5618 -x5620 -x5622 -x5623 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633
1800.65	v -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651
1800.65	v -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670
1800.65	v -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689
1800.65	v -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707
1800.65	v -x5708 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728
1800.65	v -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747
1800.65	v -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767
1800.65	v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785
1800.65	v -x5786 -x5787 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5798 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806
1800.65	v -x5807 -x5808 -x5809 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5819 -x5820 -x5823 -x5825 -x5826 -x5828 -x5829 -x5834
1800.65	v -x5836 -x5837 -x5839 -x5840 -x5843 -x5846 -x5847 -x5849 -x5850 -x5851 -x5854 -x5857 -x5858 -x5860 x5861 -x5862 -x5865
1800.65	v -x5867 -x5868 -x5870 -x5871 -x5872 -x5875 -x5876 -x5878 -x5880 -x5881 -x5882 -x5885 -x5886 -x5889 -x5890 -x5891 -x5894
1800.65	v -x5895 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5906 -x5907 -x5908 -x5909 -x5912 -x5913 -x5914 -x5915 -x5917 -x5918
1800.65	v -x5919 -x5922 -x5923 -x5925 -x5926 -x5928 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941
1800.65	v -x5942 -x5945 -x5946 x5947 x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963
1800.65	v -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5974 -x5975 -x5976 -x5980 -x5982 -x5983 -x5985 -x5986 -x5989
1800.65	v -x5990 -x5992 -x5993 -x5995 -x5996 -x6000 -x6003 -x6005 -x6008 -x6011 -x6014 -x6016 -x6019 -x6022 -x6024 -x6026 -x6027
1800.65	v -x6028 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6048 -x6049
1800.65	v -x6050 -x6051 -x6052 -x6053 -x6060 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6071 -x6072 -x6073 -x6074 -x6075
1800.65	v -x6076 -x6078 -x6079 -x6080 -x6082 -x6083 -x6084 -x6086 -x6087 -x6088 -x6089 -x6090 -x6093 -x6094 -x6095 -x6096 -x6098
1800.65	v -x6099 x6100 -x6101 -x6104 -x6105 x6106 -x6107 -x6109 -x6110 x6111 -x6112 -x6115 -x6116 x6117 -x6118 -x6120 -x6121 x6122
1800.65	v -x6123 -x6126 -x6127 x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6135 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144
1800.65	v -x6145 -x6146 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166
1800.65	v -x6167 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191
1800.65	v -x6192 -x6193 -x6194 -x6195 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6208 -x6209 -x6210
1800.65	v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6219 x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6230
1800.65	v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248
1800.65	v -x6249 -x6250 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267
1800.65	v -x6268 -x6269 -x6270 -x6271 -x6272 -x6274 -x6275 -x6276 -x6277 -x6279 -x6280 -x6281 -x6282 -x6290 -x6291 -x6294 -x6295
1800.65	v -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314
1800.65	v -x6315 -x6316 -x6317 -x6318 -x6320 -x6321 x6323 -x6324 -x6326 -x6327 -x6328 -x6329 -x6331 -x6332 -x6334 -x6335 -x6337
1800.65	v -x6338 -x6339 -x6340 -x6342 -x6343 -x6345 -x6347 -x6348 -x6349 -x6351 -x6352 -x6354 -x6356 -x6358 -x6359 -x6361 -x6362
1800.65	v -x6364 -x6365 -x6367 -x6370 -x6371 -x6372 -x6374 -x6375 -x6380 -x6381 -x6385 -x6386 -x6390 -x6391 -x6394 -x6398 -x6408
1800.65	v -x6412 -x6416 -x6418 -x6420 -x6421 -x6423 -x6427 -x6430 -x6433 -x6436 -x6440 -x6443 -x6449 -x6450 -x6452 -x6453 -x6455
1800.65	v -x6458 -x6462 -x6465 -x6467 -x6468 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6482 -x6483
1800.65	v -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6494 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6505
1800.65	v -x6506 -x6507 -x6509 -x6510 -x6511 -x6513 -x6521 -x6522 -x6524 -x6525 -x6526 -x6528 -x6529 -x6530 -x6532 -x6534 -x6535
1800.65	v -x6536 -x6537 -x6540 -x6541 -x6543 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6560
1800.65	v -x6561 -x6563 -x6565 -x6567 -x6568 -x6570 -x6571 -x6573 -x6574 -x6578 -x6579 -x6581 x4288 -x6583 -x6585 -x6588 -x6590
1800.65	v -x6592 -x6594 -x6596 x4299 -x6600 -x6601 -x6602 -x6604 -x6605 -x6606 x4310 -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6617
1800.65	v -x6618 -x6620 -x6622 -x6623 -x6624 -x6626 -x6627 -x6628 -x6629 -x6638 -x6639 -x6640 -x6641 -x6644 -x6645 -x6646 -x6650
1800.65	v -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6659 x4321 -x6660 -x6661 -x6662 -x6664 -x6665 -x6667 -x6668 -x6671 -x6672
1800.65	v -x6674 -x6675 -x6677 -x6678 -x6682 -x6683 -x6685 -x6687 -x4332 -x4343 -x4354 -x4365 -x4376 -x4388 -x4399 -x4410 -x4421
1800.65	v -x4432 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x4454 -x4465 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x4487
1800.65	v -x4499 -x6712 -x6714 -x6715 -x6717 -x6718 -x6719 -x6721 -x6722 -x6723 -x6726 -x6727 -x6728 -x6730 -x6731 -x6732 -x6734
1800.65	v -x6736 -x6737 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6753 -x6754 -x6756 -x6757 -x6758 -x6759 -x6761 -x6762 -x6764
1800.65	v -x6765 -x4521 -x4532 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6775 -x6776 -x6777 -x6779 -x6780 -x6781 -x6782
1800.65	v -x6784 -x6786 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804
1800.65	v -x6805 -x6806 -x6808 -x6809 -x6811 -x6812 -x6813 -x4554 -x4565 -x6815 -x6816 -x6817 -x6820 -x6821 -x6823 -x6824 -x6826
1800.65	v -x6827 -x6830 -x6831 -x6833 -x6834 -x6837 -x6839 -x6841 -x6844 -x6845 -x6848 -x6849 -x4587 -x4598 -x6852 -x6854 -x6856
1800.65	v -x6858 -x6860 -x6870 -x6872 -x6874 -x6877 -x6881 -x4622 -x4633 -x6886 -x6888 -x6892 -x6893 -x4655 -x4666 x4699 -x6895
1800.65	v -x6896 -x6897 -x6899 -x6900 -x4710 -x4722 -x4744 x6903 -x6904 -x6906 -x6908 -x6912 -x6914 -x6915 -x6917 -x6918 -x6920
1800.65	v -x6921 -x6923 -x4755 -x4766 -x4777 -x6926 -x6930 -x6931 -x6932 -x6934 x6936 -x6938 -x6939 -x6941 -x6943 -x6948 -x6949
1800.65	v x6950 -x4788 -x4799 -x4810 -x6953 -x6954 -x6956 -x6959 -x6963 -x6964 -x6965 -x6966 -x6967 -x6969 -x6970 -x6971 -x6972
1800.65	v -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x4821 -x4833 -x4844
1800.65	v -x4855 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012
1800.65	v -x7013 -x7014 -x7015 -x7017 -x7018 -x7021 -x7022 -x7024 -x7025 -x7027 -x7028 -x7031 -x7032 -x4866 -x4877 -x4888 -x4899
1800.65	v -x7034 -x7035 -x7037 -x7038 -x7040 -x7042 -x7044 -x7045 -x7047 -x7048 -x7050 -x7051 -x7054 -x7055 -x7057 -x7058 -x7060
1800.65	v -x7061 -x7064 -x7065 -x4910 -x4921 -x4932 -x4944 -x7067 -x7068 -x7070 -x7071 -x7072 -x7075 x7076 -x7077 -x7079 -x7080
1800.65	v -x7081 -x7083 -x7084 -x7086 -x7088 -x7089 -x7090 -x7092 -x7093 -x7094 -x7104 -x7105 -x7106 -x7109 -x7110 -x7111 -x7112
1800.65	v -x7113 -x7115 -x4966 -x4977 -x4988 -x4999 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7126 -x7127
1800.65	v -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145
1800.65	v -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x5010 -x5021 -x5032 -x5043 -x7160
1800.65	v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178
1800.65	v -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197
1800.65	v -x7198 -x7199 -x7200 -x7201 -x7203 -x5055 -x5066 -x5077 -x5088 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211
1800.65	v -x7212 -x7221 x7222 x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238
1800.65	v -x7239 -x7240 -x7241 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x5099 -x5110 -x5121 -x5132
1800.65	v -x7255 -x7256 -x7257 -x7258 -x7260 -x7261 -x7262 -x7263 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7276 -x7277
1800.65	v -x7278 -x7279 -x7281 -x7282 -x7283 -x7284 -x7287 -x7288 -x7289 -x7290 -x7291 -x7293 -x7294 -x7295 -x7296 -x7298 -x7299
1800.65	v -x7301 -x7302 -x7303 -x7304 -x7305 -x7307 -x7309 -x7310 -x7311 -x7312 -x7314 -x5143 -x5154 -x5166 -x5177 -x7315 -x7316
1800.65	v -x7317 -x7318 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7328 -x7329 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345
1800.65	v -x7346 -x7347 -x7349 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7358 -x7360 -x7361 -x7362 -x7363 -x7364 -x7366 -x7367
1800.65	v -x7368 x7369 -x7371 -x7372 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7382 -x7383 -x7384 x7385 -x7386 -x7387 -x7389 -x7390
1800.65	v -x7391 x7393 -x7394 -x7395 -x7397 -x5199 -x5210 -x5221 -x7398 -x7399 x7400 -x7401 -x7402 -x7405 -x7406 x7407 -x7408 -x7409
1800.65	v -x7410 -x7412 -x7413 -x7415 -x7416 -x7417 -x7418 -x7420 -x7421 -x7422 -x7423 -x7424 -x7426 -x7428 -x7429 -x7430 -x7431
1800.65	v -x7432 -x7433 -x7435 -x7437 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7445 -x7446 -x7452 -x7453 -x7455 -x7456 -x7457
1800.65	v -x7458 -x7459 -x7460 -x7463 -x7464 -x7465 -x7466 x7467 -x7468 x7470 -x7471 -x7472 -x7474 -x7475 -x7477 -x5232 -x5243 -x5254
1800.65	v -x7479 -x7480 -x7482 -x7483 -x7485 -x7487 -x7488 -x7489 -x7491 -x7492 -x7493 -x7496 -x7497 -x7498 -x7500 -x7501 -x7504
1800.65	v -x7505 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x5265 x5277 x5288 -x7514 -x7515 -x7516 -x7518 -x7519 -x7520 -x7521 -x7522
1800.65	v -x7523 -x7524 -x7525 -x7526 -x5299 -x5310 -x5321 -x5343 -x5354 -x5365 -x5376 -x5399 -x5410 -x5421 -x5432 -x5454 -x5465
1800.65	v -x5476 -x5487 -x5510 -x5521 -x5532 -x5543 -x5565 -x5576 -x5587 -x5598 -x5621 -x5632 -x5643 -x5654 -x5676 -x5687 -x5698
1800.65	v -x5709 -x5733 -x5744 -x5755 -x5766 -x5788 -x5799 -x5810 -x5821 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 x7535 x7536 -x7537
1800.65	v -x7538 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7551 -x7552 -x7553 -x7554 -x7556 -x7557
1800.65	v -x7558 -x7559 -x7560 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x5844 -x5855 -x5866 -x5877 -x7573 -x7574 -x7575
1800.65	v -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595
1800.65	v -x7596 -x7597 -x7599 -x7601 -x7602 -x7603 -x7604 -x7606 -x7607 -x7608 -x7610 -x7612 -x7613 -x7614 -x7616 -x7617 -x7618
1800.65	v -x5899 -x5910 -x5921 -x5932 -x7621 -x7622 -x7624 -x7625 -x7627 -x7628 -x7629 -x7632 -x7633 -x7634 -x7636 -x7637 -x7638
1800.65	v x7640 x7643 -x7644 -x7646 -x7647 -x7649 -x7650 -x7652 -x7654 -x5955 -x5966 -x5977 -x7656 -x7657 -x7660 -x5999 -x6010 x6021
1800.65	v -x6043 -x7662 -x7663 -x7665 -x7667 x7668 -x7669 -x7671 -x7672 -x7673 -x7680 -x7681 -x7682 -x7684 -x7685 -x7686 -x7688
1800.65	v -x7689 -x7691 -x7693 -x7694 -x7695 -x7697 -x7698 -x7699 -x7702 -x7703 -x7704 -x7706 -x7707 x7708 x7711 -x7713 -x7714 -x7717
1800.65	v -x7718 -x7719 -x7722 -x7724 -x7725 -x7728 -x7729 -x7730 -x7733 -x7735 -x7736 -x7739 -x7740 -x7741 -x7744 -x7746 -x7747
1800.65	v -x7750 -x7751 -x7752 -x7755 -x7757 -x7758 -x7761 -x7762 -x7763 -x7766 -x7768 -x7769 x7772 -x7773 -x7774 -x7776 -x7777
1800.65	v -x7779 -x7781 -x7782 -x7783 -x7785 -x7786 -x7787 -x7794 -x7795 -x7796 -x7798 -x7799 -x7800 -x7802 -x7803 -x7805 -x7807
1800.65	v -x7808 -x7809 -x7811 -x7812 -x7813 -x7814 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7827
1800.65	v -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845
1800.65	v -x7846 -x7849 -x7850 -x7852 -x7854 -x7855 -x7857 -x7860 -x7862 -x7864 -x7866 -x7868 -x7871 -x7873 x7875 x7877 x7879 -x7882
1800.65	v -x7884 -x7886 -x7888 -x7890 -x7893 -x7895 -x7897 -x7899 -x7901 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916
1800.65	v -x7917 -x7918 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7935
1800.65	v -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 x7944 -x7958 -x7961 -x7965 -x7968 -x7971 -x7975 -x7978 -x7981 -x7984
1800.65	v -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008
1800.65	v -x8009 -x8010 -x8011 -x8012 -x8014 -x8015 -x8016 -x8017 -x8026 -x8027 -x8028 -x8029 -x8030 -x8032 -x8033 -x8034 -x8036
1800.65	v -x8038 -x8039 -x8041 -x8042 -x8044 -x8047 -x8048 -x8050 -x8051 -x8052 -x8054 -x8055 -x8058 -x8059 -x8060 -x8061 -x8062
1800.65	v -x8063 -x8064 -x8065 -x8066 -x8067 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8077 -x8078 -x8080 -x8081 -x8083
1800.65	v -x8084 -x8085 -x8086 -x8088 -x8089 -x8091 -x8092 -x8094 -x8095 -x8096 -x8097 -x8099 -x8100 x8102 -x8103 -x8105 x8106 -x8107
1800.65	v -x8108 -x8110 -x8111 -x8113 -x8114 -x8116 -x8117 -x8118 -x8119 -x8121 -x8122 -x8124 -x8125 -x8127 -x8128 -x8129 -x8130
1800.65	v -x8132 -x8133 -x8140 -x8141 -x8143 -x8144 -x8145 -x8147 -x8148 -x8149 -x8152 -x8153 -x8154 -x8156 -x8159 -x8162 -x8173
1800.65	v -x8174 -x8176 -x8177 -x8179 -x8180 -x8182 -x8184 -x8186 -x8187 -x8189 x8190 -x8192 -x8193 -x8196 -x8197 -x8199 -x8200
1800.65	v -x8203 -x8204 -x8207 -x8208 -x8210 -x8211 -x8213 -x8214 -x8218 -x8219 -x8222 -x8224 -x8228 -x8230 x8233 x8235 -x8240 -x8243
1800.65	v -x8245 -x8248 -x8256 -x8259 -x8261 -x8263 -x8266 -x8268 -x8270 -x8272 -x8274 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282
1800.65	v -x8283 -x8284 -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8299 -x8300 -x8301
1800.65	v -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8318 -x8319 -x8321 -x8322
1800.65	v -x8323 -x8325 -x8326 -x8327 -x8328 -x8330 -x8332 -x8333 -x8334 -x8335 -x8337 -x8338 -x8339 -x8340 -x8343 -x8344 -x8346
1800.65	v -x8347 -x8349 -x8350 -x8352 -x8354 -x8356 -x8357 -x8359 -x8360 -x8362 -x8363 -x8371 -x8372 -x8373 -x8375 -x8376 -x8378
1800.65	v -x8379 -x8381 -x8383 -x8384 -x8386 -x8387 -x8388 -x8390 -x8392 -x8394 -x8395 -x8396 -x8398 -x8399 -x8401 -x8403 -x8404
1800.65	v -x8406 -x8407 -x8409 -x8410 -x8411 -x8414 -x8415 -x8417 -x8418 -x8419 -x8421 -x8422 -x8425 -x8426 -x8428 -x8429 -x8431
1800.65	v -x8432 -x8433 -x8436 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8445 -x8447 -x8448 -x8449 -x8450 -x8452 -x8453 x6081
1800.65	v -x6092 -x6103 -x6114 -x6125 -x6136 -x6147 -x6158 -x6174 -x6185 x6196 -x6207 -x8454 -x8455 -x8456 -x8459 -x8460 -x8461
1800.65	v -x8462 -x8463 -x8465 -x8466 -x8467 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8485 -x8486
1800.65	v -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504
1800.65	v -x8505 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8518 -x8519 -x8520 -x6229 -x6240 -x8521
1800.65	v -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8540
1800.65	v -x8542 -x8543 -x8544 -x8545 -x8547 -x8548 -x8549 -x8551 -x8552 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8562 -x8564
1800.65	v -x8566 -x8567 -x8569 -x8570 -x8573 -x8575 -x6262 -x6273 -x8576 -x8578 -x8579 -x8581 -x8584 -x8586 -x8587 -x8588 -x8589
1800.65	v -x8591 -x8592 -x8593 -x8601 -x8602 -x8604 -x8605 -x8606 -x8608 -x8609 -x8612 -x8613 -x8615 -x8616 -x8618 -x8619 -x8622
1800.65	v -x8623 -x8625 -x8626 -x8627 -x8629 -x8630 -x8633 -x8634 -x8635 -x8637 -x8638 -x8639 -x8640 -x8641 -x8644 -x8645 -x8647
1800.65	v -x8648 -x6300 -x6311 -x8649 -x8651 -x8652 -x8655 -x8656 -x8657 -x8659 -x8660 -x8662 -x8663 -x8664 -x8667 -x8668 -x8670
1800.65	v -x8671 -x8673 -x8674 -x8677 -x8678 -x8679 -x8681 -x8683 -x8684 -x8685 -x8688 -x8689 -x8691 -x8692 -x8694 -x8696 -x8697
1800.65	v -x8699 -x8701 -x8703 -x8704 -x8705 -x8707 -x8708 -x8716 -x8717 -x8718 -x8720 -x8721 -x8723 -x6333 -x6344 -x8724 -x8727
1800.65	v -x8728 -x8730 -x8731 -x8733 -x8734 -x8737 -x8738 -x8739 -x8741 -x8742 -x8744 -x8745 -x8746 -x8749 -x8750 -x8752 -x8753
1800.65	v -x8754 -x8756 -x8757 -x8760 -x8761 -x8762 -x8764 -x8765 -x8767 -x8768 -x8770 -x8772 -x8773 -x8775 -x8776 -x8778 -x8779
1800.65	v -x8782 -x8783 -x8785 -x8787 -x8788 -x8789 -x8792 -x8793 -x6366 -x6377 -x8795 -x8796 -x8797 -x8799 -x8800 -x8801 -x8803
1800.65	v -x8804 -x8805 -x8806 -x8808 -x8809 -x8810 -x8811 -x8812 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822
1800.65	v -x8823 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845
1800.65	v -x6404 -x6415 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8862
1800.65	v -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 x8873 -x8874 -x8875 x8876 -x8877 -x8878 x8879 -x8880 -x8881
1800.65	v -x8882 -x8884 -x8885 x8886 -x8887 -x8888 -x8889 -x8890 x8891 -x8892 -x8893 -x8895 -x8896 -x8897 x8898 -x8899 -x8900 -x8901
1800.65	v -x8902 -x8903 x8904 -x8906 -x8907 -x8908 -x6437 -x6448 -x8909 -x8910 x8911 -x8912 -x8913 -x8914 -x8915 -x8917 x8918 -x8919
1800.65	v -x8920 -x8921 -x8922 -x8923 x8924 -x8925 -x8926 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 x8936 -x8937 -x8943
1800.65	v -x8944 -x8945 -x8946 -x8947 x8948 -x8949 -x8950 -x8951 -x8952 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961
1800.65	v -x8962 -x8963 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6470 -x6481 -x8972 -x8973 -x8974 -x8976 -x8977 -x8978
1800.65	v -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996
1800.65	v -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015
1800.65	v -x6503 -x6520 -x9016 -x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9031 -x9032
1800.65	v -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050
1800.65	v -x9051 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x6542 -x6553 -x9065 -x9066 -x9068 -x9069 -x9070 -x9071
1800.65	v x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 x9087 -x9088 -x9090 -x9091
1800.65	v -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109
1800.65	v -x9110 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x6564 -x6597 -x9118 -x9119 -x9120 -x9121 -x9123 -x9124 -x9125 -x9126
1800.65	v -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9145
1800.65	v -x9146 -x9147 -x9148 -x9149 -x9151 -x9152 -x9153 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x6636 -x6658
1800.65	v -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9184 -x9186 -x9187 -x9189 -x9190 -x9192 -x9194 -x9195
1800.65	v -x9197 -x9198 -x9200 -x9201 -x9202 -x9205 -x9206 x9208 -x9209 -x9212 -x9213 x9216 -x9217 -x9218 -x9221 -x9222 -x9224 -x9225
1800.65	v -x9227 -x9230 -x9232 -x9233 -x9236 -x9238 -x9240 -x9241 -x9242 -x6691 -x6713 -x9245 -x9246 -x9249 -x9250 -x9251 -x9254
1800.65	v -x9255 -x9257 -x9258 -x9260 -x9263 -x9264 -x9266 -x9267 -x9268 -x9272 -x9273 -x9275 -x9276 -x9277 -x9280 -x9287 -x9289
1800.65	v -x9290 -x9291 -x9294 -x9295 -x9298 -x9299 -x9300 -x9303 -x9304 -x9306 -x9307 -x9311 -x9312 -x9314 -x9315 -x9316 -x9320
1800.65	v -x9322 -x9323 -x9324 -x9327 -x9329 -x9331 -x9332 -x6752 -x6763 -x9335 -x9337 -x9338 -x9339 -x9343 -x9345 -x9346 -x9347
1800.65	v -x9350 -x9353 -x9354 -x9355 -x9358 -x9360 -x9361 -x9362 -x9366 -x9368 -x9369 -x9372 -x9375 -x9376 -x9377 -x9380 -x9382
1800.65	v -x9383 -x9384 -x9388 -x9390 -x9391 -x9394 -x9395 -x9402 -x9403 -x9404 -x9407 -x9408 -x9409 -x9410 -x9411 -x9413 -x9415
1800.65	v -x6796 -x6807 -x6818 -x9416 -x9417 -x9418 -x9419 -x9420 -x9422 -x9424 -x9426 -x9427 -x9429 -x9431 -x9432 -x9433 -x9436
1800.65	v -x9437 -x9438 -x9440 -x9441 -x9443 -x9444 -x9448 -x9449 -x9451 -x9452 -x9455 -x9458 -x9459 -x9461 -x9463 -x9464 -x9468
1800.65	v -x9470 -x9471 -x9473 -x9475 -x9479 -x6840 -x6851 -x6869 -x9481 -x9482 -x9485 -x9487 -x9488 -x9491 -x9493 -x9495 -x9497
1800.65	v -x9498 -x9499 -x9502 -x9504 x9506 x9508 x9510 -x9518 -x9521 -x9523 -x9525 -x9528 -x9530 -x6891 -x6902 -x6913 -x9532 -x9534
1800.65	v -x9536 -x9539 -x9541 -x9543 -x9545 -x9547 -x9550 -x9552 -x9553 -x9555 -x9557 -x9558 -x9561 -x9563 -x9565 -x9567 -x9568
1800.65	v -x9570 -x9573 -x9574 -x9576 -x9578 -x9579 -x6935 -x6946 -x6957 -x6968 -x9580 -x9583 -x9585 -x9587 -x9588 -x9591 -x9592
1800.65	v -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9605 -x9607 -x9612 -x9613 -x9614 -x9618 -x9619 -x9620 -x9623
1800.65	v -x9624 -x6997 -x7008 -x7019 -x7030 -x9633 -x9634 -x9635 -x9636 -x9638 -x9639 -x9640 -x9641 -x9644 x9645 -x9646 -x9647
1800.65	v -x9649 -x9650 -x9651 -x9652 -x9655 -x9656 -x9657 -x9658 -x9660 -x9661 -x9662 -x9665 -x9666 -x9667 -x9668 -x9670 -x9671
1800.65	v -x9672 -x9676 -x9677 -x9678 -x9679 -x9681 -x9682 -x9683 -x9684 -x7052 -x7063 -x7074 -x7085 -x9687 -x9688 -x9689 -x9690
1800.65	v -x9692 -x9693 -x9694 -x9695 -x9698 -x9699 -x9700 -x9701 -x9703 -x9704 -x9705 -x9706 -x9709 -x9710 -x9711 -x9713 -x9714
1800.65	v -x9715 -x9720 -x9721 -x9722 -x9724 -x9726 -x9728 -x9731 -x9733 -x9735 -x7114 -x7125 -x7136 -x9737 -x9739 -x9747 -x9749
1800.65	v -x9751 -x9753 -x9756 -x9758 -x9760 -x9761 -x9763 -x9764 -x9766 -x9767 -x9770 -x9771 -x9772 -x9774 -x9775 -x9776 -x9778
1800.65	v -x9780 -x7158 -x7169 -x7180 -x9782 -x9783 -x9784 -x9786 -x9787 -x9788 -x9789 -x9791 -x9793 -x9794 -x9796 -x9798 -x9799
1800.65	v -x9802 -x9804 -x9806 -x9808 -x9810 -x9813 -x9815 -x9817 -x9819 -x9822 -x7202 -x7220 -x7231 -x9825 -x9827 -x9829 -x9831
1800.65	v -x9832 -x9835 -x9836 -x9837 -x9839 -x9840 -x9841 -x9843 -x9844 -x9846 -x9848 -x9849 -x9850 -x9852 -x9853 -x9854 -x9855
1800.65	v -x9862 -x9863 -x9864 -x9865 -x7253 -x7264 -x7275 -x7297 -x7308 -x7319 -x7348 -x7359 -x7370 -x7392 -x7403 -x7414 -x7436
1800.65	v -x7451 -x7462 -x7473 -x7484 -x7495 -x7506 -x7517 -x7528 -x7539 -x7550 -x7565 -x7587 -x7609 -x7631 -x7642 -x7701 -x7756
1800.65	v -x7815 -x7826 -x7870 -x7919 -x7930 -x7985 -x8035 -x9868 -x9869 -x9870 -x9873 -x9874 -x9875 -x8079 x8090 -x9877 -x9878
1800.65	v -x9879 -x9881 -x9882 -x9884 -x9886 -x9887 -x9888 -x9890 -x9891 -x9892 -x9895 -x9896 -x9897 x9899 -x9900 -x9901 x9903 -x9904
1800.65	v -x9906 -x9908 x9909 -x9910 -x9913 x9914 -x9915 -x9919 x9920 -x9921 -x9924 -x8123 x9925 -x9926 -x9930 -x9931 x9932 -x9935
1800.65	v -x9936 -x9937 -x9941 -x9942 -x9943 -x9946 -x9947 -x9948 -x9952 -x9953 -x9954 -x9957 -x9958 -x9959 -x9963 -x9964 -x9965
1800.65	v -x9968 -x9969 -x9970 -x9979 -x9980 -x9981 -x9983 -x8161 -x8172 -x9984 -x9985 -x9988 -x9989 -x9990 -x9992 -x9993 -x9994
1800.65	v -x9996 -x9997 -x9999 -x10001 -x10002 -x10003 -x10005 -x10006 -x10007 -x10010 -x10011 -x10012 -x10014 -x10015 -x10016
1800.65	v -x10017 -x10018 -x10019 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x8216 -x10028 -x10029 -x10030 -x10032
1800.65	v -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048
1800.65	v -x10049 -x10051 -x10052 -x10055 -x10057 -x10058 -x8254 -x10060 -x10062 -x10065 -x10067 -x10069 -x10071 -x10073 -x10076
1800.65	v -x10078 -x10080 -x8287 -x8298 -x10082 -x10084 x10092 -x10094 -x10096 -x10098 -x10100 -x10103 -x10105 -x10107 -x10109
1800.65	v -x10111 -x10112 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x8342 -x10121 -x10122 -x10123 -x10125 -x10126
1800.65	v -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10136 -x10137 -x10138 -x10139 -x8369 -x10140 -x10141
1800.65	v -x10142 -x10143 -x10144 -x10145 -x10147 -x10161 -x10164 -x10167 -x10171 -x10174 -x10177 -x8391 -x8402 -x10181 -x10184
1800.65	v -x10187 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x8424 -x8435 -x10199 -x10200 -x10206 -x10207 -x10208 -x10209
1800.65	v -x10210 -x10211 -x10212 -x10213 x8457 x8468 -x10214 -x10215 -x10217 -x10218 -x10219 -x10221 -x10222 -x10223 -x10224
1800.65	v -x10225 -x10226 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10239 -x10240 -x10241
1800.65	v -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10250 -x10251 -x10252 -x10253 -x10254 x8495 -x8506 -x10255
1800.65	v -x10256 -x10257 -x10258 -x10259 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10272
1800.65	v -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288
1800.65	v -x10289 -x10290 -x10291 -x10292 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10305
1800.65	v -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326
1800.65	v -x10327 -x10328 -x10329 -x10330 -x10332 -x10333 -x8528 -x8539 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340
1800.65	v -x10341 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10354 -x10355 -x10356 -x10357
1800.65	v -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373
1800.65	v -x10374 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10387 -x10388 -x10389 -x10390
1800.65	v -x10391 -x10392 -x10393 -x10394 -x10395 -x8561 -x8572 -x10396 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404
1800.65	v -x10405 -x10406 -x10407 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10420 -x10421 -x10422 -x10423
1800.65	v -x10424 -x10425 -x10426 -x10427 -x10429 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10443 -x10444 -x10446
1800.65	v -x10447 -x10448 -x10449 -x10450 -x10451 -x10453 -x10454 -x10455 -x10457 -x10458 -x10459 -x10460 -x10461 -x10463 -x10464
1800.65	v -x10465 -x10466 -x10468 -x10469 -x10470 -x10471 -x10473 -x10475 -x10476 -x10477 -x10479 -x10480 -x10481 -x10482 -x10484
1800.65	v -x10486 -x10487 -x10488 -x10490 -x10491 -x10492 -x8599 -x8610 -x10493 -x10495 -x10497 -x10498 -x10499 -x10501 -x10502
1800.65	v -x10503 -x10504 -x10506 -x10508 -x10509 -x10510 -x10512 -x10513 -x10514 -x10516 -x10518 -x10519 -x10520 -x10521 -x10523
1800.65	v -x10524 -x10526 -x10528 -x10529 -x10530 -x10531 -x10532 -x10534 -x10536 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543
1800.65	v -x10550 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10560 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10569
1800.65	v -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10579 -x10582 -x10583 -x10585 -x10586 -x10587 -x10589 -x10591 -x10593
1800.65	v -x10595 -x10596 -x8643 -x10597 -x10599 -x10601 -x10602 -x10605 -x10606 -x10607 -x10609 -x10611 -x10612 -x10615 -x10616
1800.65	v -x10617 -x10618 -x10619 -x10621 -x10622 -x10624 -x10626 -x10627 -x10628 -x10629 -x10631 -x10632 -x10634 -x10635 -x10637
1800.65	v -x10638 -x10639 -x10641 -x10642 -x10644 -x10645 -x10646 -x10648 -x10649 -x10651 -x10652 -x10654 -x10655 -x10656 -x10657
1800.65	v -x10663 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10674 -x10675 -x10676 -x10678 -x10679 -x10680 -x10681
1800.65	v -x10682 -x10683 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10696 -x10698 -x10699 -x10700
1800.65	v -x10701 -x10702 -x10703 x10704 -x10705 -x10708 x10709 -x10710 -x10711 -x10713 -x10714 x10715 -x10716 -x10719 -x10720
1800.65	v -x10721 -x10722 -x10724 -x10725 -x10726 -x10727 -x10730 -x10731 -x10732 -x10733 -x10735 -x10736 -x10737 -x10738 -x10741
1800.65	v -x10742 -x10743 -x10744 -x10746 -x10747 -x10748 -x10749 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759
1800.65	v -x10760 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10778 -x10779 -x10780 -x10781 -x10782
1800.65	v -x10783 -x10785 -x10786 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10799 -x10800 -x10801
1800.65	v -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817
1800.65	v -x10818 -x10819 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10832 -x10833 -x10834
1800.65	v -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850
1800.65	v -x10851 -x10852 -x10854 -x10855 -x10856 -x10857 -x10858 -x10860 -x10861 -x10862 -x10863 -x10865 -x10866 -x10867 -x10868
1800.65	v -x10869 -x10871 -x10872 -x10873 -x10874 -x10876 -x10877 -x10878 -x10879 -x10880 -x10882 -x10883 -x10884 -x10885 -x10891
1800.65	v -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908
1800.65	v -x10909 -x10911 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10921 -x10922 -x10924 -x10925 -x10926 -x10928
1800.65	v -x10929 -x10930 -x10931 -x10932 -x10933 -x10935 -x10936 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10946
1800.65	v -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963
1800.65	v -x10964 -x10965 -x10966 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10979 -x10980
1800.65	v -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996
1800.65	v -x10997 -x10998 -x10999 -x11005 -x11006 -x11007 -x11008 -x11009 -x11011 -x11012 -x11013 -x11014 -x11017 -x11018 -x11019
1800.65	v -x11021 -x11022 -x11023 -x11024 -x11025 -x11027 -x11029 -x11031 -x11032 -x11034 -x11035 -x11038 -x11039 -x11040 -x11041
1800.65	v -x11042 -x11043 -x11045 -x11046 -x11049 -x11050 -x11051 -x11053 -x11054 -x11055 -x11057 -x11058 -x11061 -x11062 -x11063
1800.65	v -x11065 -x11066 -x11067 -x11069 -x11071 -x11073 -x11074 -x11075 -x11077 -x11078 -x11079 -x11082 -x11083 -x11085 -x11086
1800.65	v -x11087 -x11089 -x11090 -x11091 -x11094 -x11095 -x11097 -x11098 -x11099 -x11101 -x11102 -x11104 -x11106 -x11107 -x11109
1800.65	v -x11110 -x11111 -x11113 -x11119 -x11120 -x11122 -x11123 -x11125 -x11126 -x11127 -x11130 -x11131 -x11132 -x11134 -x11135
1800.65	v -x11137 -x11138 -x11139 -x11142 -x11143 -x11144 -x11146 -x11147 -x11149 -x11150 -x11152 -x11154 -x11155 -x11156 -x11158
1800.65	v -x11159 -x11161 -x11163 -x11164 -x11166 -x11167 -x11168 -x11170 -x11171 -x11174 -x11175 -x11176 -x11178 -x11179 -x11180
1800.65	v -x11182 -x11183 -x11186 -x11187 -x11188 -x11190 -x11191 -x11192 -x11194 -x11196 -x11198 -x11199 -x11200 -x11202 -x11203
1800.65	v -x11204 -x11207 -x11208 -x11210 -x11211 -x11212 -x11214 -x11215 -x11216 -x11219 -x11220 -x11222 -x11223 -x11224 -x11226
1800.65	v -x11227 -x11233 -x11235 -x11236 -x11238 -x11239 -x11240 -x11242 -x11244 -x11246 -x11247 -x11249 -x11250 -x11251 -x11253
1800.65	v -x11255 -x11257 -x11258 -x11260 -x11261 -x11262 -x11264 -x11266 -x11268 -x11269 -x11271 -x11272 -x11273 -x11275 -x11277
1800.65	v -x11279 -x11280 -x11282 -x11283 -x11284 -x11286 -x11288 -x11290 -x11291 -x11293 -x11294 -x11295 -x11297 -x11299 -x11301
1800.65	v -x11303 -x11304 -x11305 -x11307 -x11308 -x11311 -x11313 -x11314 -x11316 -x11317 -x11319 -x11322 -x11323 -x11325 -x11326
1800.65	v -x11328 -x11330 -x11332 -x11334 -x11335 -x11337 -x11339 -x11340 -x11347 -x11348 -x11350 -x11352 -x11353 -x11355 -x11356
1800.65	v -x11359 -x11361 -x11362 -x11364 -x11365 -x11367 -x11370 -x11371 -x11373 -x11374 -x11375 -x11377 -x11380 -x11381 -x11383
1800.65	v -x11384 -x11385 -x11386 -x11388 -x11389 -x11392 -x11393 -x11394 -x11395 -x11397 -x11398 -x11400 -x11402 -x11403 -x11404
1800.65	v -x11406 -x11407 -x11409 -x11410 -x11411 -x11413 -x11415 -x11416 -x11418 -x11419 -x11420 -x11421 -x11424 -x11425 -x11427
1800.65	v -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11443 -x11444 -x11446
1800.65	v -x11447 -x11448 -x11449 -x11451 -x11452 -x11453 -x11454 -x11455 -x11462 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469
1800.65	v -x11470 -x11471 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11484 -x11485 -x11486
1800.65	v -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502
1800.65	v -x11503 -x11504 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11517 -x8654 x8665
1800.65	v -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533
1800.65	v -x11534 -x11535 -x11536 -x11537 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11550
1800.65	v -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566
1800.65	v -x11567 -x11568 -x11569 -x11570 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11587
1800.65	v -x11588 -x11589 -x11590 -x8687 -x8698 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11598 -x11599 -x11600 -x11601
1800.65	v -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617
1800.65	v -x11618 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11631 -x11632 -x11633 -x11634
1800.65	v -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650
1800.65	v -x11651 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x8725 -x8736 -x11661 -x11662 -x11664 -x11665
1800.65	v -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681
1800.65	v -x11682 -x11683 -x11684 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11701 -x11702
1800.65	v -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718
1800.65	v -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11734 -x11736
1800.65	v -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11745 -x11746 -x11747 -x11748 -x8758 -x8769 -x11750 -x11751 -x11753
1800.65	v -x11754 -x11756 -x11757 -x11758 -x11759 -x11760 -x11762 -x11763 -x11764 -x11765 -x11767 -x11768 -x11769 -x11771 -x11772
1800.65	v -x11773 -x11774 -x11775 -x11776 -x11778 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11789 -x11790 -x11791
1800.65	v -x11792 -x11793 -x11794 -x11795 -x11797 -x11798 -x11804 -x11805 -x11806 -x11807 -x11808 -x11810 -x11811 -x11812 -x11813
1800.65	v -x11815 -x11816 -x11817 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11826 x11828 -x11829 -x11830 x11831 -x11832
1800.65	v -x11833 -x11834 x11837 -x11838 -x11839 -x11840 -x11841 -x8791 -x8802 -x11842 -x11843 -x11845 -x11846 -x11848 -x11849
1800.65	v -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11857 -x11859 -x11861 -x11862 -x11863 -x11864 -x11865 -x11867 -x11868
1800.65	v -x11870 -x11871 -x11872 -x11874 -x11875 -x11876 -x11877 -x11878 -x11881 -x11882 -x11883 -x11884 -x11886 -x11887 -x11888
1800.65	v -x11889 -x11892 -x11893 -x11894 -x11896 -x11897 -x11898 -x11900 -x11901 -x11903 -x8828 -x8839 -x11905 -x11906 -x11907
1800.65	v -x11909 -x11910 -x11911 -x11918 -x11919 -x11920 -x11922 -x11923 -x11924 -x11926 -x11927 -x11929 -x11931 -x11932 -x11933
1800.65	v -x11935 -x11936 -x11937 -x11940 -x11941 -x11942 -x11944 -x11945 -x11946 -x11948 -x11949 -x11951 -x8861 -x8872 -x11953
1800.65	v -x11954 -x11955 -x11957 -x11958 -x11959 -x11962 -x11963 -x11964 -x11966 -x11967 -x11968 -x11970 -x11971 -x11973 -x11975
1800.65	v -x11976 -x11977 -x11979 -x11980 -x11981 -x11985 -x11986 -x11989 -x11991 -x11992 -x11996 -x11997 -x11999 -x8894 -x8905
1800.65	v -x12003 -x12004 -x12007 -x12011 -x12012 -x12014 -x12019 -x12020 -x12021 -x12022 -x12026 -x12033 -x12034 -x12038 -x12040
1800.65	v -x12041 -x12046 -x12048 -x12049 -x12050 -x12054 -x12056 -x12057 -x12058 -x12061 -x12063 -x12065 -x12066 -x12069 -x12071
1800.65	v -x12072 -x12073 -x12077 -x12079 -x12080 -x12081 -x8927 -x8942 -x12084 -x12087 -x12088 -x12089 -x12092 -x12094 -x12095
1800.65	v -x12096 -x12100 -x12102 -x12103 -x12104 -x12107 -x12110 -x12111 -x12112 -x12115 -x12117 -x12118 -x12120 -x12123 -x12125
1800.65	v -x12126 -x12127 -x12131 -x12133 -x12134 -x12135 -x12138 -x12140 -x12146 -x12147 -x12150 -x12152 -x12153 -x12154 -x12158
1800.65	v -x12160 -x12161 -x12162 -x8964 -x8975 -x12165 -x12168 -x12169 -x12170 -x12175 -x12176 -x12177 -x12179 -x12184 -x12185
1800.65	v -x12186 -x12187 -x12193 -x12194 -x12195 -x12196 -x12201 -x12202 -x12203 -x12204 -x12207 -x12208 -x12209 -x12210 -x12215
1800.65	v -x12217 -x12221 -x12224 -x12228 -x12230 -x12234 -x8997 -x9008 -x12239 -x12245 -x12250 -x12254 -x12263 -x12266 -x12269
1800.65	v -x12273 -x12276 -x12279 -x9030 -x9041 -x12283 -x12286 -x12287 -x12290 -x12291 -x12295 -x12296 -x12299 -x12300 -x12304
1800.65	v -x12305 -x12308 -x12309 -x12312 -x12313 -x12317 -x12318 -x12321 -x12322 -x12326 -x9067 -x9078 -x12327 -x12330 -x12331
1800.65	v -x12334 -x12335 -x12339 -x12340 -x12343 -x12344 -x12348 -x12349 -x12352 -x12353 -x12356 -x12357 -x12361 -x12363 -x12364
1800.65	v -x12365 -x12366 -x12368 -x12375 -x9100 -x9111 -x12376 -x12378 -x12380 -x12382 -x12385 -x12387 -x12389 -x12390 -x12392
1800.65	v -x12394 -x12396 -x12398 -x12399 -x12401 -x12403 -x12404 -x12407 -x12408 -x12410 -x12412 -x12413 -x12415 -x12416 -x12419
1800.65	v -x12421 -x12422 -x12424 -x12425 -x12426 -x12429 -x12431 -x12432 -x12434 -x12435 -x12436 -x12438 -x12441 -x12442 -x12444
1800.65	v -x12445 -x12446 -x12448 -x12451 -x12452 -x12454 -x12455 -x12456 -x12459 -x12460 -x12463 -x12464 -x12465 -x9133 -x9144
1800.65	v -x12468 -x12469 -x12471 -x12473 -x12474 -x12477 -x12478 -x12480 -x12481 -x12482 -x12490 -x12492 -x12493 -x12494 -x12497
1800.65	v -x12500 -x12501 -x12502 -x12505 -x12507 -x12508 -x12510 -x12513 -x12515 -x12516 -x12517 -x12521 -x12523 -x12524 -x12525
1800.65	v -x12528 -x12530 -x12532 -x12533 -x12536 -x12538 -x12539 -x12540 -x12544 -x12546 -x12547 -x12548 -x9171 -x9182 -x12551
1800.65	v -x12554 -x12555 -x12556 -x12559 -x12561 -x12562 -x12563 -x12567 -x12569 -x12570 -x12571 -x12574 -x12577 -x12578 -x12579
1800.65	v -x12582 -x12584 -x12585 -x12587 -x12590 -x12592 -x12593 -x12594 -x8 -x10 -x11 -x12 -x15 -x17 -x19 -x20 -x23 -x25 -x26 -x27
1800.65	v -x31 -x33 -x34 -x35 -x9204 -x9215 -x38 -x41 -x42 -x43 -x46 -x48 -x49 -x50 -x54 -x56 -x57 -x58 -x61 -x64 -x65 -x66 -x69 -x71 -x72
1800.65	v -x74 -x76 -x78 -x79 -x80 -x82 -x85 -x86 -x87 -x89 -x91 -x92 -x93 -x97 -x99 -x101 -x103 -x9237 -x9248 -x105 -x108 -x110 -x112
1800.65	v -x114 -x116 -x123 -x125 -x127 -x128 -x130 -x131 -x134 -x136 -x137 -x139 -x140 -x142 -x145 -x146 -x148 -x149 -x151 -x153 -x155
1800.65	v -x157 -x158 -x160 -x162 -x163 -x166 -x167 -x169 -x171 -x172 -x174 -x175 -x178 -x180 -x181 -x183 -x185 -x188 -x189 -x191 -x9270
1800.65	v -x9286 -x193 -x195 -x196 -x199 -x201 -x203 -x204 -x206 -x208 -x211 -x212 -x214 -x216 -x218 -x219 -x222 -x223 -x226 -x227
1800.65	v -x229 -x230 -x238 -x239 -x241 -x242 -x245 -x247 -x249 -x250 -x253 -x255 -x256 -x260 -x262 -x263 -x266 -x269 -x270 -x9308
1800.65	v -x9319 -x273 -x275 -x276 -x280 -x282 -x283 -x286 -x288 -x289 -x293 -x295 -x296 -x299 -x302 -x303 -x306 -x308 -x309 -x313
1800.65	v -x315 -x316 -x319 -x321 -x322 -x326 -x328 -x329 -x332 -x335 -x336 -x9341 -x9352 -x338 -x340 -x341 -x343 -x350 -x351 -x352
1800.65	v -x353 -x355 -x356 -x357 -x358 -x359 -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x374 -x375 -x376 -x377 -x378
1800.65	v -x379 -x380 -x381 -x383 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x394 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1800.65	v -x405 -x406 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x427 -x428 -x429 -x430
1800.65	v -x432 -x433 -x435 -x436 -x438 -x439 -x440 -x9374 -x441 -x442 -x444 -x445 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456
1800.65	v -x457 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x476 -x477 -x478 -x480 -x481 -x482 -x484 -x486 -x488 -x489 -x490
1800.65	v -x492 -x493 -x494 -x497 -x498 -x500 -x501 -x502 -x504 -x505 -x506 -x509 -x510 -x512 -x513 -x514 -x516 -x517 -x519 -x521 -x522
1800.65	v -x524 -x525 -x526 -x528 -x530 -x531 -x533 -x534 -x536 -x537 -x538 -x541 -x542 -x543 -x545 -x546 -x548 -x549 -x550 -x553 -x554
1800.65	v -x556 -x557 -x559 -x560 -x561 -x564 x9401 x9412 -x9423 -x9434 -x9445 -x9456 -x9467 -x9478 -x9489 -x9500 -x565 -x567 -x568
1800.65	v -x570 -x571 -x572 -x579 -x580 -x582 -x584 -x585 -x586 -x589 -x590 -x592 -x594 -x595 -x597 -x598 -x600 -x602 -x603 -x605 -x606
1800.65	v -x608 -x609 -x612 -x613 -x615 -x616 -x618 -x619 -x622 -x623 -x625 -x626 -x628 -x629 -x631 -x634 -x635 -x637 -x639 -x641 -x642
1800.65	v -x9527 -x9538 -x645 -x647 -x648 -x649 -x651 -x652 -x653 -x656 -x657 -x658 -x660 -x661 -x662 -x664 -x666 -x9560 -x9571 -x9593
1800.65	v -x9604 -x9631 -x9642 -x668 -x9664 -x9675 -x9697 -x9708 -x9730 -x9746 -x9768 -x9779 -x9801 -x9812 -x9834 -x9845 -x9872
1800.65	v -x9883 -x9916 -x9927 x9949 -x9960 -x9987 -x9998 -x10009 -x10020 -x10031 -x10042 -x10053 -x10064 -x10075 -x10091 -x10102
1800.65	v -x10113 -x10124 -x10135 -x10146 -x10157 -x10168 -x10179 -x10190 -x10205 -x10216 -x10227 -x10238 -x10249 -x10260 -x10271
1800.65	v -x10282 -x10293 -x10304 -x10320 -x10331 -x10342 -x10353 -x10364 -x10375 -x10386 -x10397 -x10408 -x10419 -x10445 -x10456
1800.65	v -x10467 -x10478 -x10489 -x10500 -x10511 -x10522 -x10533 -x10548 -x10559 -x10570 -x10581 -x10592 -x10603 -x10614 -x10625
1800.65	v -x10636 -x10647 -x10662 -x10673 -x10684 -x669 -x670 -x671 -x672 -x673 -x677 -x678 -x679 -x680 -x681 -x684 -x685 -x692 -x693
1800.65	v -x694 -x696 -x697 -x699 -x700 -x701 -x704 -x705 -x707 -x708 -x709 -x711 -x712 -x714 -x715 -x716 -x718 -x719 -x720 -x721 x722
1800.65	v -x723 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x737 -x738 -x740 -x741 -x742 -x744 -x745 -x747 -x10695 -x10706
1800.65	v -x10717 -x749 -x750 -x751 -x753 -x755 -x758 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774
1800.65	v -x775 -x776 -x777 -x778 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.65	v -x798 -x799 -x10728 -x10739 -x10750 -x800 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x818 -x820 -x822
1800.65	v -x824 -x826 -x10761 -x10776 -x10787 -x829 -x831 -x832 -x834 -x835 -x837 -x839 -x842 -x843 -x845 -x847 -x850 -x852 -x10809
1800.65	v -x854 -x856 -x858 -x861 -x863 -x865 -x867 -x869 -x872 -x10820 -x10831 -x10842 -x10853 -x10864 -x10875 -x877 -x878 -x879
1800.65	v -x880 -x881 -x883 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.65	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x931
1800.65	v -x932 -x933 -x934 -x935 -x936 -x937 -x10890 -x938 -x939 -x940 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951
1800.65	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975
1800.65	v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x997 -x998
1800.65	v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x10901 -x10912
1800.65	v -x10923 -x10934 -x10945 -x10956 -x10967 -x10978 -x10989 -x11004 -x11015 -x11026 -x11037 -x11048 -x1015 -x1016 -x1017
1800.65	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.65	v -x1041 -x1042 -x1043 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1057 -x1058 -x1059
1800.65	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1067 -x1068 -x1069 -x11070 -x11081 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.65	v -x1076 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1800.65	v -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1111 -x1112 -x1113
1800.65	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1122 -x1123 -x1124 -x11103 -x11118 -x1125 -x1126 -x1127 -x1128 -x1129
1800.65	v -x1130 -x1131 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1149 -x1150 -x1151 -x1152 -x1153
1800.65	v -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1171 -x1173 -x1174
1800.65	v -x1175 -x1176 -x1177 -x1179 -x1180 -x1182 -x1183 -x1185 -x1186 -x1187 -x11140 -x11151 -x1189 -x1190 -x1191 -x1194 -x1195
1800.65	v -x1196 -x1198 -x1199 -x1200 -x1202 -x1204 -x1205 -x1207 -x1208 -x1210 -x1211 -x1212 -x1215 -x1216 -x1217 -x1219 -x1220
1800.65	v -x1221 -x1223 -x1224 -x1226 -x1228 -x1229 -x1230 -x11184 -x1232 -x1233 -x1235 -x1237 -x1239 -x1240 -x1242 -x1243 -x1245
1800.65	v -x1246 -x1249 -x1250 -x1252 -x1253 -x1255 -x1256 -x1266 -x1267 -x1269 -x1270 -x11195 -x11206 -x1274 -x1277 -x1279 -x1281
1800.65	v -x1283 -x1285 -x1288 -x1290 -x1292 -x1294 -x11232 -x11243 -x1296 -x1299 -x1301 -x1303 -x1305 -x1307 -x1311 -x1312 -x1313
1800.65	v -x1314 -x1315 -x1317 -x1318 -x1320 -x11265 -x11276 -x11298 -x11309 -x11331 -x11346 -x11368 -x11379 -x1322 -x11401 -x11412
1800.65	v -x11434 -x11445 -x1323 -x1325 -x1326 -x1327 -x1328 -x1332 -x1334 -x1335 -x1336 -x1337 -x11472 -x11483 -x1340 -x1343 -x1344
1800.65	v -x1345 -x1346 -x1349 -x1351 -x1353 -x1354 -x1355 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1367 -x1369 -x1370 -x1371
1800.65	v -x1372 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 -x1390 -x1392 -x1394 -x1395 -x1396 -x1397 -x1399 -x1400 -x1401 -x1403
1800.65	v -x1404 -x1405 -x1406 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
1800.65	v -x1426 -x1427 -x1429 -x1430 -x1431 -x1432 -x11505 -x11516 -x11527 -x11538 -x11549 -x11560 -x11575 -x11586 -x11597 -x1434
1800.65	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1442 -x1443 -x1444 -x1445 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 x1454 -x1455
1800.65	v -x1458 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1469 -x1471 -x1473 -x1475 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484
1800.65	v -x1486 -x1487 -x1488 -x1489 -x1498 -x11608 -x11619 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1508 -x1509
1800.65	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
1800.65	v -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546
1800.65	v -x1547 -x1548 -x1549 -x1550 -x1552 -x1553 -x11630 -x11641 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1563
1800.65	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1583
1800.65	v -x1586 -x1588 -x1589 -x11652 -x11663 -x1591 -x1592 -x1594 -x1596 -x1598 -x1599 -x1601 x1602 -x1604 -x1605 -x1614 -x1615
1800.65	v -x1617 -x1618 -x1620 -x1621 -x1624 -x1625 -x1628 -x11674 -x11689 -x1629 -x1631 -x1633 -x1636 -x1638 -x1640 -x1642 -x1644
1800.65	v -x1647 -x1649 -x11700 -x11711 -x1651 -x1653 -x1655 -x1658 -x1660 -x1662 -x1664 -x1666 -x1669 -x1671 -x11722 -x11733 -x1673
1800.65	v -x11744 -x11755 -x11766 -x11777 -x11788 -x11803 -x11814 -x11825 -x1679 -x1681 -x1682 -x1683 -x1684 -x1687 -x1690 -x1691
1800.65	v -x1692 -x1693 -x1696 -x1698 -x1699 -x1701 -x1702 -x1705 -x1706 -x1707 x1708 -x1709 -x1713 -x1714 -x1715 x1716 -x1717 -x11836
1800.65	v -x11847 -x1720 -x1721 -x1728 -x1729 -x1730 -x1733 -x1734 -x1736 -x1737 -x1739 -x1740 -x1742 -x1743 -x1745 -x1746 -x1747
1800.65	v -x1748 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769 -x1770
1800.65	v -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1783 -x1784 -x1785 -x1786 -x1787 -x1789 -x1790 -x1791 -x1794
1800.65	v -x1795 -x1796 -x11858 -x11869 -x1798 -x1799 -x1800 -x1802 -x1805 -x1807 -x1809 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817
1800.65	v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835
1800.65	v -x1836 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x11880 -x11891 -x1855 -x1856 -x1857
1800.65	v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1876
1800.65	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1888 x1890 x1892 -x11902 -x11917 -x1894 -x1896 -x1898 -x1900
1800.65	v -x1901 -x1903 -x1904 -x1906 -x1907 -x1910 -x1911 -x1913 -x1914 -x1916 -x1917 -x1921 -x1922 -x11928 -x11939 -x1924 -x1926
1800.65	v -x1928 -x1931 -x1933 -x1935 -x1937 -x1939 -x1942 -x1944 -x11950 -x11961 -x1946 -x1948 -x1950 -x1958 -x1960 -x1962 -x1964
1800.65	v -x11972 -x11983 -x12005 -x12016 -x12031 -x12042 -x12053 -x12064 -x12075 -x12086 -x12097 -x12108 -x12119 -x12130 -x12145
1800.65	v -x12156 -x12167 -x12178 -x12189 -x12200 -x12211 -x12222 -x12233 -x12244 -x12259 -x12270 -x12281 -x12292 -x12303 -x12314
1800.65	v -x12325 -x12336 -x12347 -x12358 -x12373 -x12384 -x12395 -x12406 -x12417 -x12428 -x12439 -x12450 -x12461 -x12472 -x12487
1800.65	v -x12498 -x12509 -x12520 -x12531 -x12542 -x12553 -x12564 -x12575 -x12586 -x7 -x2865 -x2891 -x2896 -x2899 -x2906 -x2909
1800.65	v -x18 -x29 -x40 -x51 -x2912 -x2918 -x2921 -x2924 -x2932 -x3135 -x3137 -x3140 -x3147 -x3149 -x3152 -x3472 -x3534 -x3155 -x3164
1800.65	v -x3167 -x3538 -x3541 -x3170 -x3172 -x3182 -x3549 -x3552 -x3185 -x3187 -x3199 -x3555 -x3563 -x3202 -x3204 -x3207 -x3566
1800.65	v -x3569 -x3217 -x3218 -x3221 -x3572 -x3579 -x3224 -x3225 -x3235 -x3582 -x3585 -x73 -x84 -x95 -x3238 -x3241 -x3527 -x3595
1800.65	v -x3533 -x2051 -x2052 -x2054 -x2056 -x2057 -x2059 -x2068 -x2069 -x2071 -x2073 -x2074 -x2076 -x2085 -x2086 -x2088 -x2090
1800.65	v -x2091 -x2093 x121 x132 -x2098 -x2099 -x2101 -x2104 -x2105 -x2107 -x2113 -x2114 -x2116 -x2119 -x2120 -x2125 -x2128 -x2129
1800.65	v -x2131 -x2575 -x2659 -x2137 -x2138 -x2140 -x2662 -x2668 -x2143 -x2144 -x2146 -x2670 -x2672 -x2152 -x2153 -x2155 -x2674
1800.65	v -x2676 -x2158 -x2159 -x2164 -x2682 -x2684 x154 -x165 -x176 -x2167 -x2168 -x2170 -x2686 -x2688 -x2176 -x2177 -x2179 -x2690
1800.65	v -x2699 -x2182 -x2183 -x2185 -x2701 -x2703 -x2192 -x2193 -x2195 -x2706 -x2715 -x2198 -x2199 -x2204 -x2718 -x2720 -x2207
1800.65	v -x2208 -x2210 -x2723 x2732 -x2216 -x2217 -x2219 -x2735 -x2737 -x2222 -x2223 -x2225 -x2740 -x2750 -x2231 -x2232 -x2656
1800.65	v -x2754 -x2657 -x198 -x209 -x220 -x246 -x257 -x268 -x290 -x301 -x312 -x323 -x349 -x360 -x371 -x382 -x404 -x415 -x437 -x448
1800.65	v -x474 -x485 -x507 -x518 -x540 -x562 x577 -x599 -x610 -x632 -x643 -x665 -x676 -x702 -x713 -x860 -x930 -x996 -x2235 -x2236
1800.65	v -x2244 -x2245 -x2249 -x2250 -x1066 -x1132 -x1203 -x1275 -x1341 -x1424 -x1507 -x2292 -x2300 -x2304 -x2257 -x2258 -x2307
1800.65	v -x2262 -x2270 -x2274 x2313 -x2316 -x2319 -x2261 -x2277 -x2284 -x2287 -x2326 -x2329 -x2332 -x2630 -x2634 -x2265 -x2290
1800.65	v -x2642 -x2273 -x2298 -x2646 -x2338 -x2302 -x2654 -x2341 -x2571 -x746 -x757 -x768 -x779 -x790 -x805 -x816 -x827 -x838 -x849
1800.65	v -x871 -x882 -x893 -x904 -x919 -x941 -x952 -x963 -x974 -x985 -x1007 -x1018 -x1033 -x1044 -x1055 -x1077 -x1088 -x1099 -x1110
1800.65	v -x1121 -x1148 -x1159 -x1170 -x1181 -x1192 -x1214 -x1225 -x1236 -x1247 -x1264 -x1286 -x1297 -x1308 -x1319 -x1330 -x1352
1800.65	v -x1363 -x1391 -x1402 -x1413 -x1435 -x1446 -x1468 -x1479 -x1496 -x1518 -x1529 -x1551 -x1562 -x1573 -x1584 -x1595 -x1612
1800.65	v -x1634 -x1645 -x1656 -x1667 -x1678 -x1689 -x1711 -x1727 -x1738 -x1749 -x1760 -x1771 -x1793 -x1804 -x1815 -x1826 -x1842
1800.65	v -x1853 -x1875 -x1886 -x1897 x1908 -x1919 -x1930 -x1957 -x1968 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2017
1800.65	v -x2018 -x2019 -x2021 -x2022 -x2023 -x2025 -x2033 -x2034 -x2036 -x2037 -x2038 -x2040 -x2041 -x2042 -x2053 -x2055 -x2058
1800.65	v -x2060 -x2070 -x2072 -x2075 -x2077 -x2087 -x2089 -x2092 -x2094 -x2100 -x2102 -x2103 -x2106 -x2111 -x2112 -x2115 -x2117
1800.65	v -x2118 -x2124 -x2126 -x2127 -x2130 -x2132 -x2133 -x2139 -x2141 -x2142 -x2145 -x2150 -x2151 -x2154 -x2156 -x2157 -x2163
1800.65	v -x2165 -x2166 -x2169 -x2171 -x2172 -x2178 -x2180 -x2181 -x2184 -x2190 -x2191 -x2194 -x2196 -x2197 -x2203 -x2205 -x2206
1800.65	v -x2209 -x2211 -x2212 -x2218 -x2220 -x2221 -x2224 -x2229 -x2230 -x2233 -x2234 -x2237 -x2238 -x2242 -x2243 -x2246 -x2247
1800.65	v -x2248 -x2251 -x2256 -x2259 -x2260 -x2263 -x2264 -x2271 -x2272 -x2275 -x2276 -x2278 -x2279 -x2285 -x2286 -x2288 -x2289
1800.65	v -x2291 -x2293 -x2299 -x2301 -x2303 -x2305 -x2306 -x2311 -x2343 -x2345 -x2352 -x2354 -x2359 -x2364 -x2371 -x2377 -x2385
1800.65	v -x2396 -x2407 -x2369 -x2380 -x2382 -x2393 -x2418 -x2404 -x2412 -x2423 -x2429 -x2437 -x2448 -x2460 -x2661 -x2669 -x2312
1800.65	v x2314 -x2391 -x2399 -x2434 -x2445 -x2471 -x2482 -x2490 -x2673 -x2681 -x2315 -x2317 -x2410 -x2457 -x2500 -x2685 -x2775
1800.65	v -x2421 -x2465 -x2689 -x2785 -x2318 -x2320 -x2432 -x2476 -x2510 -x2789 -x2819 -x2443 -x2487 -x2517 -x2529 -x2799 -x2823
1800.65	v -x2325 -x2327 -x2451 -x2497 -x2832 -x2803 -x2328 -x2330 -x2504 -x2540 -x2835 -x2463 -x2807 -x2474 -x2514 -x2546 -x2817
1800.65	v x2838 -x2331 -x2333 -x2485 -x2526 -x2556 -x2821 -x2847 -x2532 -x2560 -x2757 -x2850 -x2334 -x2339 -x2543 -x2568 -x2853
1800.65	v -x2758 -x2340 -x2342 -x2346 -x2347 -x2355 -x2356 -x2357 -x2365 -x2366 -x2367 -x2373 -x2378 -x2384 -x2395 -x2406 -x2417
1800.65	v -x2425 x2436 -x2447 -x2459 -x2470 -x2478 -x2489 -x2499 -x2509 -x2516 -x2528 -x2539 -x3276 -x3284 -x3286 x3287 -x3288 -x3290
1800.65	v -x3291 -x3292 -x3301 -x3302 -x3303 -x3305 -x3309 -x3306 -x3307 -x3320 -x3318 -x3324 -x3310 -x3322 -x3335 -x3321 -x3326
1800.65	v -x3339 -x3325 -x3337 -x3343 -x2545 -x3336 -x3341 -x3353 -x3340 -x3344 -x3357 -x3355 -x3361 -x3628 -x3626 -x3359 -x3416
1800.65	v -x3637 -x2554 -x2555 -x3629 -x3638 -x3640 -x3642 -x3644 -x3645 -x2559 -x2862 -x2864 -x2866 -x2868 -x2992 -x2995 -x3002
1800.65	v -x3003 -x3006 -x3009 -x3010 -x3017 -x3418 -x3420 -x3427 -x3429 -x2870 -x2878 -x3020 -x3021 -x3024 -x3432 -x3434 -x2880
1800.65	v -x2882 -x3031 -x3032 -x3034 -x3443 -x3445 -x2884 -x2886 -x3037 -x3038 -x3045 -x3448 -x3450 -x2962 -x3048 -x3049 -x3051
1800.65	v -x3458 -x3460 -x3059 -x3060 -x3062 -x3463 -x3465 -x3066 -x3067 -x3073 -x3473 x3475 -x3077 -x3078 -x3080 -x3478 -x3480
1800.65	v -x3088 -x3089 -x3091 -x3488 -x3490 -x3095 -x3100 -x3102 -x3493 -x3495 -x3106 -x3107 -x3109 -x3504 -x3506 -x3118 -x3119
1800.65	v -x3121 -x3509 -x3511 -x3131 -x3132 -x3520 -x3522 -x3525 -x2572 -x2574 -x2576 -x2582 -x2584 -x2586 -x2588 -x2590 -x2597
1800.65	v -x2599 -x2601 -x2603 -x2605 -x2612 -x2614 -x2617 -x2625 -x2573 -x2577 -x2583 -x2585 -x2587 -x2589 -x2591 -x2598 -x2600
1800.65	v -x2602 -x2604 -x2611 -x2613 -x2616 -x2618 -x2620 -x2626 -x2628 -x2629 x2632 x2633 -x2640 -x2641 -x2644 -x2645 -x2648 -x2653
1800.65	v -x2658 -x2660 -x2667 -x2671 -x2675 -x2683 -x2687 -x2698 -x2700 -x2702 -x2704 -x2705 -x2707 -x2716 -x2717 -x2719 -x2721
1800.65	v -x2722 -x2724 x2733 -x2734 -x2736 -x2738 -x2739 -x2741 -x2751 -x2752 -x2753 -x2755 -x2756 -x2759 -x2767 -x2769 -x2771
1800.65	v -x2772 -x2773 -x2774 -x2783 -x2787 -x2791 -x2800 -x2804 -x2814 -x2818 -x2822 -x2831 x2834 -x2837 -x2846 -x2849 -x2852
1800.65	v -x2863 -x2867 -x2869 -x2871 -x2879 -x2881 -x2883 -x2885 -x2887 -x2893 -x2894 -x2898 -x2900 -x2908 -x2910 -x2914 -x2919
1800.65	v -x2923 -x2925 -x2931 -x2935 -x2938 -x2945 -x2946 -x2949 -x2950 -x2953 -x2954 -x2961 -x2965 -x2967 -x2973 -x2974 -x2976
1800.65	v -x2977 -x2979 -x2980 x2982 x2987 x2989 -x2990 -x2994 x2996 -x3146 -x3153 -x3168 -x3005 -x3007 -x3016 -x3018 -x3259 -x3583
1800.65	v -x3611 -x3593 -x3614 -x3023 -x3029 -x3598 -x3621 -x3624 -x3033 -x3035 -x3044 -x3046 -x3050 -x3052 -x3058 -x3061 -x3063
1800.65	v -x3065 -x3072 -x3074 -x3076 -x3079 -x3087 -x3090 -x3094 -x3101 -x3105 -x3108 -x3117 -x3120 -x3122 -x3124 -x3134 -x3139
1800.65	v -x3151 -x3154 -x3166 -x3169 -x3181 -x3184 -x3189 -x3201 -x3206 -x3216 -x3220 -x3223 -x3234 -x3237 -x3240 -x3250 -x3252
1800.65	v -x3254 -x3256 -x3258 -x3267 -x3269 -x3270 -x3272 -x3273 -x3275 x3285 -x3289 -x3293 -x3304 -x3308 -x3319 -x3323 -x3327
1800.65	v -x3338 -x3342 -x3352 -x3354 -x3356 -x3358 -x3360 -x3367 -x3368 -x3370 x3371 -x3372 -x3374 -x3375 -x3376 -x3382 -x3383
1800.65	v -x3384 -x3386 -x3387 -x3388 -x3390 -x3396 -x3397 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3412 -x3413 -x3414 -x3419
1800.65	v -x3428 -x3433 x3444 x3449 x3459 -x3461 x3464 -x3474 -x3477 -x3479 -x3487 -x3489 -x3492 -x3494 -x3503 -x3505 -x3508 -x3510
1800.65	v -x3519 -x3521 -x3524 -x3536 -x3540 -x3548 -x3551 -x3554 -x3557 -x3565 -x3568 -x3571 -x3578 -x3581 -x3584 -x3592 -x3594
1800.65	v x3597 -x3599 -x3601 -x3607 -x3609 -x3610 -x3612 -x3613 -x3615 -x3616 -x3622 -x3623 -x3625 -x3627 -x3630 -x3639 -x3641
1800.65	v -x3643 -x3646 -x3652 -x3653 x3655 x3656 -x3658 -x3659 -x3687 -x3667 -x3668 -x3670 -x3671 -x3673 -x3674 -x3676 -x3681 -x3682
1800.65	v -x3684 -x3685 -x3686 -x3690
1800.66	c Exit Code: 10
1800.66	c Total time: 1800 s

Verifier Data (download as text)

OK	-4985

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.99 2/68 24867
/proc/meminfo: memFree=1540936/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=436 CPUtime=0
/proc/24867/stat : 24867 (bsolo) D 24865 24867 24821 0 -1 0 37 0 0 0 0 0 0 0 19 0 1 0 202843215 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11735988 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0
/proc/24867/statm: 109 23 18 55 0 18 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.97 0.99 2/68 24867
/proc/meminfo: memFree=1511304/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=34540 CPUtime=9.98
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 7800 0 0 0 989 9 0 0 25 0 1 0 202843215 35368960 7716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 8635 7716 294 55 0 7526 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 34540

[startup+20.0082 s]
/proc/loadavg: 0.94 0.97 0.99 2/68 24867
/proc/meminfo: memFree=1510920/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=34936 CPUtime=19.98
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 7904 0 0 0 1982 16 0 0 25 0 1 0 202843215 35774464 7820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 8734 7820 294 55 0 7625 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 34936

[startup+30.0144 s]
/proc/loadavg: 0.95 0.97 0.99 2/74 24930
/proc/meminfo: memFree=1509264/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=35332 CPUtime=29.96
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 7975 0 0 0 2971 25 0 0 25 0 1 0 202843215 36179968 7891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 8833 7891 294 55 0 7724 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 35332

[startup+40.0216 s]
/proc/loadavg: 0.96 0.97 0.99 2/74 24988
/proc/meminfo: memFree=1508560/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=35860 CPUtime=39.93
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 8127 0 0 0 3965 28 0 0 25 0 1 0 202843215 36720640 8043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 8965 8043 294 55 0 7856 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 35860

[startup+50.0287 s]
/proc/loadavg: 0.96 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1509248/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=36256 CPUtime=49.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 8223 0 0 0 4961 29 0 0 25 0 1 0 202843215 37126144 8139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 0 0 0
/proc/24867/statm: 9064 8139 294 55 0 7955 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 36256

[startup+60.0349 s]
/proc/loadavg: 0.97 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1480584/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=65052 CPUtime=59.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 15423 0 0 0 5956 34 0 0 25 0 1 0 202843215 66613248 15339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 16263 15339 295 55 0 15154 0
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 65052

[startup+70.041 s]
/proc/loadavg: 0.97 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1479880/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=65712 CPUtime=69.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 15594 0 0 0 6955 35 0 0 25 0 1 0 202843215 67289088 15510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 16428 15510 295 55 0 15319 0
Current children cumulated CPU time (s) 69.9
Current children cumulated vsize (Kb) 65712

[startup+80.0472 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1479304/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=66372 CPUtime=79.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 15734 0 0 0 7954 36 0 0 25 0 1 0 202843215 67964928 15650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 16593 15650 295 55 0 15484 0
Current children cumulated CPU time (s) 79.9
Current children cumulated vsize (Kb) 66372

[startup+90.0534 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1478344/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=67296 CPUtime=89.91
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 15977 0 0 0 8954 37 0 0 25 0 1 0 202843215 68911104 15893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 16824 15893 295 55 0 15715 0
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 67296

[startup+100.06 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1471112/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=73360 CPUtime=99.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 17478 0 3 0 9951 39 0 0 25 0 1 0 202843215 75120640 17395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 18340 17395 306 55 0 17231 0
Current children cumulated CPU time (s) 99.9
Current children cumulated vsize (Kb) 73360

[startup+110.067 s]
/proc/loadavg: 0.98 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1460104/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=87116 CPUtime=109.88
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 22021 0 9 0 10947 41 0 0 25 0 1 0 202843215 89206784 19979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 21779 19979 411 55 0 20670 0
Current children cumulated CPU time (s) 109.88
Current children cumulated vsize (Kb) 87116

[startup+120.073 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1460040/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=87116 CPUtime=119.88
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 22053 0 9 0 11947 41 0 0 25 0 1 0 202843215 89206784 20011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160353633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 21779 20011 411 55 0 20670 0
Current children cumulated CPU time (s) 119.88
Current children cumulated vsize (Kb) 87116

[startup+130.079 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1459272/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=87604 CPUtime=129.88
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 22276 0 9 0 12947 41 0 0 25 0 1 0 202843215 89706496 20234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 21901 20234 421 55 0 20792 0
Current children cumulated CPU time (s) 129.88
Current children cumulated vsize (Kb) 87604

[startup+140.085 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454408/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=92648 CPUtime=139.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 33353 0 9 0 13943 47 0 0 25 0 1 0 202843215 94871552 21458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 23162 21458 441 55 0 22053 0
Current children cumulated CPU time (s) 139.9
Current children cumulated vsize (Kb) 92648

[startup+150.091 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454408/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=92648 CPUtime=149.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 33360 0 9 0 14943 47 0 0 25 0 1 0 202843215 94871552 21465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159169947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 23162 21465 441 55 0 22053 0
Current children cumulated CPU time (s) 149.9
Current children cumulated vsize (Kb) 92648

[startup+160.098 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454280/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=92892 CPUtime=159.9
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 33393 0 9 0 15943 47 0 0 25 0 1 0 202843215 95121408 21498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160467100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 23223 21498 441 55 0 22114 0
Current children cumulated CPU time (s) 159.9
Current children cumulated vsize (Kb) 92892

[startup+170.104 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454280/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=92892 CPUtime=169.91
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 33393 0 9 0 16944 47 0 0 25 0 1 0 202843215 95121408 21498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 23223 21498 441 55 0 22114 0
Current children cumulated CPU time (s) 169.91
Current children cumulated vsize (Kb) 92892

[startup+180.109 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454280/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=92892 CPUtime=179.91
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 33393 0 9 0 17944 47 0 0 25 0 1 0 202843215 95121408 21498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 23223 21498 441 55 0 22114 0
Current children cumulated CPU time (s) 179.91
Current children cumulated vsize (Kb) 92892

[startup+190.115 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454280/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=92892 CPUtime=189.91
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 33393 0 9 0 18944 47 0 0 25 0 1 0 202843215 95121408 21498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 23223 21498 441 55 0 22114 0
Current children cumulated CPU time (s) 189.91
Current children cumulated vsize (Kb) 92892

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454216/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=92892 CPUtime=199.91
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 33400 0 9 0 19944 47 0 0 25 0 1 0 202843215 95121408 21505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 23223 21505 441 55 0 22114 0
Current children cumulated CPU time (s) 199.91
Current children cumulated vsize (Kb) 92892

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1454216/2055892 swapFree=4085348/4096564

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

/proc/24867/statm: 24823 24001 445 55 0 23714 0
Current children cumulated CPU time (s) 1760.43
Current children cumulated vsize (Kb) 99292

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443784/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99688 CPUtime=1770.44
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59839 0 9 0 176960 84 0 0 25 0 1 0 202843215 102080512 24113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24922 24113 445 55 0 23813 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 99688

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443592/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1780.44
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59887 0 9 0 177959 85 0 0 25 0 1 0 202843215 102350848 24161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24161 445 55 0 23879 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (Kb) 99952

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443592/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1781.45
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59891 0 9 0 178060 85 0 0 25 0 1 0 202843215 102350848 24165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24165 445 55 0 23879 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 99952

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443592/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1782.45
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59893 0 9 0 178160 85 0 0 25 0 1 0 202843215 102350848 24167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24167 445 55 0 23879 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 99952

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443592/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1783.45
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59897 0 9 0 178260 85 0 0 25 0 1 0 202843215 102350848 24171 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24171 445 55 0 23879 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 99952

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443592/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1784.46
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59898 0 9 0 178361 85 0 0 25 0 1 0 202843215 102350848 24172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24172 445 55 0 23879 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 99952

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1785.46
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59901 0 9 0 178461 85 0 0 25 0 1 0 202843215 102350848 24175 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24175 445 55 0 23879 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 99952

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1786.46
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59903 0 9 0 178561 85 0 0 25 0 1 0 202843215 102350848 24177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24177 445 55 0 23879 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 99952

[startup+1788.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1787.47
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59908 0 9 0 178662 85 0 0 25 0 1 0 202843215 102350848 24182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24182 445 55 0 23879 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 99952

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1788.47
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59910 0 9 0 178762 85 0 0 25 0 1 0 202843215 102350848 24184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24184 445 55 0 23879 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 99952

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=99952 CPUtime=1789.48
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59910 0 9 0 178862 86 0 0 25 0 1 0 202843215 102350848 24184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 24988 24184 445 55 0 23879 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 99952

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1790.49
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59911 0 9 0 178963 86 0 0 25 0 1 0 202843215 102486016 24185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24185 445 55 0 23912 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 100084

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1791.49
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59913 0 9 0 179063 86 0 0 25 0 1 0 202843215 102486016 24187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24187 445 55 0 23912 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 100084

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443528/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1792.49
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59913 0 9 0 179163 86 0 0 25 0 1 0 202843215 102486016 24187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24187 445 55 0 23912 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (Kb) 100084

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443464/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1793.5
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59916 0 9 0 179264 86 0 0 25 0 1 0 202843215 102486016 24190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24190 445 55 0 23912 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 100084

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443464/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1794.5
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59920 0 9 0 179364 86 0 0 25 0 1 0 202843215 102486016 24194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24194 445 55 0 23912 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 100084

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443464/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1795.51
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59923 0 9 0 179465 86 0 0 25 0 1 0 202843215 102486016 24197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24197 445 55 0 23912 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 100084

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443464/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1796.51
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59924 0 9 0 179565 86 0 0 25 0 1 0 202843215 102486016 24198 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24198 445 55 0 23912 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 100084

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443464/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1797.51
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59926 0 9 0 179665 86 0 0 25 0 1 0 202843215 102486016 24200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24200 445 55 0 23912 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (Kb) 100084

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443400/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1798.53
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59930 0 9 0 179766 87 0 0 25 0 1 0 202843215 102486016 24204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24204 445 55 0 23912 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 100084

[startup+1800.17 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 25062
/proc/meminfo: memFree=1443400/2055892 swapFree=4085348/4096564
[pid=24867] ppid=24865 vsize=100084 CPUtime=1799.53
/proc/24867/stat : 24867 (bsolo) R 24865 24867 24821 0 -1 0 59931 0 9 0 179866 87 0 0 25 0 1 0 202843215 102486016 24205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24867/statm: 25021 24205 445 55 0 23912 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 100084

Child status: 10
Real time (s): 1800.68
CPU time (s): 1800.04
CPU user time (s): 1799.15
CPU system time (s): 0.885865
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (Kb): 101108

Launcher Data (download as text)

Begin job on node85 on Sat Jun  3 22:00:40 UTC 2006


FILE ID= 40126-1149372040

PBS_JOBID= 312244

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8886b8ab7bdc8ec03150a7b794b8a992

RANDOM SEED= 965539545


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1541208 kB
Buffers:         30860 kB
Cached:         419320 kB
SwapCached:       2360 kB
Active:          82124 kB
Inactive:       376680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1541208 kB
SwapTotal:     4096564 kB
SwapFree:      4085348 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16760 kB
Slab:            42512 kB
Committed_AS:   356312 kB
PageTables:       1292 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node85 on Sat Jun  3 22:30:41 UTC 2006