Trace number 36676

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
Pueblo 1.4SAT-8205 1782.74 1783.4

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 Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.95	c starting to Solve
0.95	c #variables read: 12596 - #constraints read: 15190
0.96	o 11139
0.96	o 10639
0.96	o 10480
0.96	o 10380
0.98	o 10330
0.99	o 10280
0.99	o 10230
0.99	o 10180
1.00	o 10030
1.00	o 9980
1.00	o 9930
1.00	o 9880
1.01	o 9830
1.01	o 9780
1.02	o 9730
1.04	o 9725
1.04	o 9705
1.05	o 9695
1.05	o 9690
1.05	o 9685
1.06	o 9680
1.06	o 9670
1.07	o 9665
1.07	o 9660
1.08	o 9655
1.08	o 9650
1.09	o 9645
1.09	o 9640
1.10	o 9635
1.10	o 9630
1.10	o 9625
1.11	o 9620
1.11	o 9615
1.11	o 9610
1.15	o 9605
1.16	o 9600
1.16	o 9595
1.17	o 9590
1.19	o 9585
1.19	o 9580
1.19	o 9575
1.19	o 9570
1.19	o 9565
1.19	o 9560
1.23	o 9555
1.23	o 9550
1.24	o 9545
1.26	o 9540
1.26	o 9535
1.27	o 9530
1.27	o 9525
1.27	o 9520
1.27	o 9515
1.27	o 9510
1.31	o 9505
1.33	o 9500
1.35	o 9495
1.37	o 9490
1.37	o 9485
1.37	o 9480
1.37	o 9475
1.37	o 9470
1.38	o 9465
1.38	o 9460
1.39	o 9455
1.40	o 9450
1.40	o 9440
1.41	o 9435
1.42	o 9430
1.42	o 9425
1.42	o 9420
1.42	o 9415
1.42	o 9410
1.47	o 9400
1.51	o 9395
1.52	o 9385
1.55	o 9380
1.55	o 9370
1.55	o 9365
1.55	o 9360
1.55	o 9355
1.56	o 9350
1.57	o 9345
1.65	o 9340
1.68	o 9335
1.71	o 9330
1.71	o 9325
1.72	o 9320
1.72	o 9315
1.77	o 9310
1.89	o 9305
1.91	o 9300
1.91	o 9295
1.91	o 9290
1.91	o 9285
1.93	o 9280
1.93	o 9275
1.93	o 9270
1.93	o 9265
2.21	o 9259
2.23	o 9249
2.24	o 9239
2.25	o 9234
2.26	o 9229
2.29	o 9219
2.30	o 9214
2.32	o 9209
2.32	o 9199
2.35	o 9194
2.38	o 9189
2.41	o 9184
2.42	o 9174
2.44	o 9164
2.45	o 9154
2.45	o 9144
2.96	o 9139
3.16	o 9134
3.17	o 9124
3.17	o 9119
3.21	o 9114
3.42	o 9109
3.64	o 9104
3.65	o 9099
3.65	o 9094
3.66	o 9089
3.66	o 9084
3.67	o 9079
3.67	o 9074
3.82	o 9069
3.83	o 9064
3.83	o 9059
3.86	o 9054
3.88	o 9049
3.88	o 9044
3.88	o 9039
3.89	o 9034
4.26	o 9029
4.28	o 9024
4.41	o 9019
4.42	o 9014
4.42	o 9009
4.42	o 9004
4.56	o 8999
4.57	o 8994
4.57	o 8989
4.57	o 8984
4.58	o 8979
4.58	o 8974
4.59	o 8969
4.59	o 8964
4.60	o 8959
4.61	o 8954
4.61	o 8949
4.61	o 8944
5.42	o 8940
5.44	o 8935
5.44	o 8930
5.45	o 8925
5.46	o 8920
5.48	o 8915
5.50	o 8910
5.50	o 8900
5.54	o 8895
5.56	o 8885
5.58	o 8880
5.58	o 8875
5.59	o 8870
5.61	o 8860
5.62	o 8855
5.62	o 8850
6.35	o 8845
6.43	o 8840
6.51	o 8835
6.58	o 8830
6.63	o 8825
6.71	o 8820
7.05	o 8815
7.10	o 8810
7.11	o 8805
7.78	o 8800
7.95	o 8795
7.98	o 8790
7.98	o 8785
8.00	o 8780
8.00	o 8775
8.00	o 8770
8.01	o 8765
8.02	o 8760
8.02	o 8755
8.03	o 8750
8.03	o 8745
8.07	o 8740
8.22	o 8735
8.23	o 8730
8.23	o 8720
8.25	o 8715
8.26	o 8705
8.27	o 8695
8.30	o 8685
8.34	o 8675
8.34	o 8665
8.41	o 8660
8.44	o 8655
8.46	o 8650
8.47	o 8645
8.67	o 8640
8.76	o 8630
8.77	o 8625
9.06	o 8620
9.07	o 8615
9.07	o 8605
9.08	o 8600
9.08	o 8590
9.55	o 8585
9.55	o 8575
9.56	o 8570
9.70	o 8565
9.70	o 8555
10.13	o 8550
11.60	o 8545
12.92	o 8540
13.18	o 8535
13.21	o 8530
13.24	o 8525
13.25	o 8520
13.26	o 8515
13.31	o 8510
13.31	o 8505
13.31	o 8500
13.34	o 8495
13.36	o 8490
13.37	o 8485
13.59	o 8480
13.69	o 8475
13.69	o 8470
13.70	o 8465
13.73	o 8460
13.74	o 8455
13.75	o 8450
13.82	o 8445
13.91	o 8440
13.91	o 8435
13.93	o 8430
13.94	o 8425
13.94	o 8420
13.94	o 8415
13.99	o 8410
14.00	o 8405
14.00	o 8400
14.01	o 8395
14.04	o 8390
14.07	o 8385
14.07	o 8380
14.08	o 8375
14.08	o 8370
20.51	o 8365
22.93	o 8360
23.00	o 8355
23.01	o 8350
23.06	o 8345
23.08	o 8340
24.07	o 8335
24.07	o 8330
27.01	o 8310
27.10	o 8290
27.12	o 8280
27.12	o 8255
27.25	o 8250
27.29	o 8245
27.38	o 8240
27.40	o 8235
27.57	o 8230
27.59	o 8225
27.64	o 8220
27.64	o 8215
27.64	o 8210
27.78	o 8200
27.93	o 8195
27.96	o 8185
27.97	o 8175
28.07	o 8165
28.08	o 8155
28.13	o 8150
28.14	o 8140
28.14	o 8130
32.14	o 8125
33.35	o 8120
33.40	o 8115
33.40	o 8110
33.41	o 8105
34.11	o 8100
34.56	o 8095
35.21	o 8085
35.22	o 8080
35.56	o 8075
35.68	o 8070
35.73	o 8065
35.76	o 8060
35.84	o 8055
36.12	o 8050
36.16	o 8040
36.45	o 8035
36.57	o 8030
36.61	o 8025
36.62	o 8020
36.65	o 8015
36.66	o 8010
36.74	o 8005
36.75	o 7995
36.76	o 7990
36.78	o 7985
36.81	o 7975
36.82	o 7970
36.83	o 7965
36.84	o 7960
37.24	o 7950
37.27	o 7945
37.31	o 7940
37.32	o 7930
37.34	o 7925
37.34	o 7920
37.46	o 7915
37.47	o 7910
37.48	o 7885
37.49	o 7880
44.44	o 7875
45.68	o 7870
45.76	o 7865
45.78	o 7860
45.90	o 7855
46.06	o 7850
48.67	o 7845
49.95	o 7840
50.48	o 7835
51.22	o 7830
51.27	o 7825
51.28	o 7820
51.47	o 7815
51.51	o 7810
51.60	o 7805
51.61	o 7800
51.62	o 7795
51.64	o 7790
51.68	o 7785
51.71	o 7780
51.72	o 7775
51.78	o 7770
51.79	o 7765
51.82	o 7760
51.90	o 7755
51.91	o 7750
51.92	o 7745
51.93	o 7740
53.02	o 7735
54.03	o 7730
54.22	o 7725
54.31	o 7720
54.34	o 7715
54.37	o 7710
54.41	o 7705
57.93	o 7700
60.42	o 7695
60.60	o 7690
60.66	o 7685
60.68	o 7680
60.70	o 7675
68.33	o 7674
68.42	o 7669
68.44	o 7664
68.45	o 7659
68.45	o 7654
68.45	o 7649
68.45	o 7644
68.49	o 7639
68.49	o 7634
68.50	o 7629
68.53	o 7624
68.54	o 7619
68.58	o 7614
68.58	o 7609
68.58	o 7604
68.59	o 7599
68.59	o 7594
68.61	o 7589
68.62	o 7584
68.65	o 7579
68.65	o 7574
68.65	o 7569
68.66	o 7564
68.71	o 7559
68.71	o 7554
68.72	o 7549
68.73	o 7544
68.73	o 7539
68.89	o 7534
69.10	o 7524
69.11	o 7519
69.12	o 7509
69.31	o 7504
69.31	o 7499
69.32	o 7489
69.32	o 7484
69.51	o 7479
69.51	o 7474
69.52	o 7464
69.52	o 7459
69.99	o 7454
70.06	o 7449
70.10	o 7444
70.13	o 7439
70.16	o 7434
70.20	o 7429
71.80	o 7424
71.83	o 7414
71.87	o 7409
71.89	o 7404
71.93	o 7399
71.96	o 7389
71.96	o 7379
71.98	o 7374
72.03	o 7364
72.20	o 7359
72.21	o 7354
72.31	o 7344
72.32	o 7334
72.33	o 7329
76.33	o 7324
76.34	o 7319
118.87	o 7314
119.55	o 7309
119.56	o 7304
119.63	o 7299
119.84	o 7294
119.84	o 7289
119.90	o 7284
119.94	o 7279
119.96	o 7274
119.97	o 7269
119.98	o 7264
119.99	o 7259
120.37	o 7254
120.58	o 7249
120.64	o 7244
120.67	o 7239
120.68	o 7234
120.81	o 7229
120.83	o 7224
120.87	o 7219
120.91	o 7214
120.92	o 7209
120.92	o 7204
125.20	o 7199
125.31	o 7194
125.32	o 7189
125.35	o 7184
125.37	o 7179
125.60	o 7174
125.62	o 7169
126.02	o 7165
126.27	o 7160
126.73	o 7155
126.78	o 7150
126.79	o 7145
126.90	o 7140
126.92	o 7135
126.92	o 7130
126.94	o 7125
126.98	o 7120
126.99	o 7115
127.10	o 7110
127.10	o 7105
127.11	o 7100
127.11	o 7095
127.20	o 7090
127.21	o 7085
127.41	o 7080
127.56	o 7075
127.58	o 7070
127.81	o 7065
127.87	o 7060
127.88	o 7055
127.93	o 7050
127.94	o 7045
127.96	o 7040
128.08	o 7035
226.10	o 7030
227.06	o 7025
232.55	o 7020
232.58	o 7015
232.62	o 7010
232.64	o 7005
232.64	o 7000
232.66	o 6995
232.67	o 6990
233.68	o 6985
234.41	o 6980
234.50	o 6975
234.52	o 6970
234.65	o 6965
235.32	o 6960
235.34	o 6955
235.34	o 6950
235.36	o 6945
236.05	o 6940
236.10	o 6935
236.13	o 6930
236.14	o 6925
236.19	o 6920
236.37	o 6915
236.40	o 6910
236.88	o 6905
236.93	o 6900
236.98	o 6895
237.11	o 6890
237.32	o 6885
237.36	o 6880
237.36	o 6875
237.39	o 6870
237.45	o 6865
238.29	o 6860
238.35	o 6855
238.36	o 6850
238.44	o 6845
238.50	o 6840
238.53	o 6835
238.53	o 6830
238.54	o 6825
238.65	o 6820
240.76	o 6815
241.23	o 6810
241.46	o 6805
243.06	o 6800
243.11	o 6795
243.27	o 6790
243.61	o 6785
243.64	o 6780
245.02	o 6775
245.13	o 6770
245.86	o 6765
245.87	o 6760
246.06	o 6755
246.64	o 6750
246.65	o 6745
246.65	o 6740
246.75	o 6735
247.14	o 6730
247.18	o 6725
247.19	o 6720
247.19	o 6715
247.23	o 6710
247.24	o 6705
247.94	o 6700
248.78	o 6695
248.79	o 6690
248.79	o 6685
248.80	o 6680
248.84	o 6675
249.54	o 6670
249.65	o 6665
249.66	o 6660
249.68	o 6655
249.70	o 6650
249.73	o 6645
249.73	o 6640
249.74	o 6635
249.76	o 6630
249.80	o 6625
249.85	o 6620
249.85	o 6615
249.87	o 6610
249.87	o 6605
254.76	o 6600
254.98	o 6595
255.03	o 6590
255.04	o 6585
255.08	o 6580
255.11	o 6575
255.26	o 6570
255.28	o 6565
255.61	o 6560
256.97	o 6555
257.08	o 6550
257.10	o 6545
257.11	o 6540
257.14	o 6535
257.25	o 6530
314.82	o 6525
314.91	o 6520
314.92	o 6515
314.93	o 6510
315.07	o 6505
315.16	o 6500
316.06	o 6495
316.09	o 6490
316.10	o 6485
317.31	o 6480
317.34	o 6475
318.07	o 6470
318.11	o 6465
318.16	o 6460
318.22	o 6455
318.41	o 6450
318.46	o 6445
318.53	o 6440
318.56	o 6435
318.62	o 6430
348.02	o 6425
348.17	o 6420
348.21	o 6415
348.25	o 6410
348.42	o 6405
348.46	o 6400
348.48	o 6395
350.19	o 6390
350.20	o 6385
354.75	o 6380
354.92	o 6375
355.00	o 6370
355.08	o 6365
355.11	o 6360
355.12	o 6355
355.24	o 6350
355.33	o 6345
355.36	o 6340
355.38	o 6335
355.43	o 6330
355.45	o 6325
355.48	o 6320
355.48	o 6315
355.49	o 6310
366.05	o 6305
366.55	o 6300
366.58	o 6295
367.04	o 6290
367.07	o 6285
367.08	o 6280
367.09	o 6275
367.10	o 6270
367.42	o 6265
367.46	o 6260
367.46	o 6255
367.63	o 6250
367.63	o 6245
368.37	o 6240
368.45	o 6235
368.46	o 6230
368.46	o 6225
368.51	o 6220
368.52	o 6215
368.52	o 6210
368.54	o 6205
368.56	o 6200
368.56	o 6195
374.88	o 6190
374.92	o 6185
374.94	o 6180
375.12	o 6175
375.13	o 6170
375.14	o 6165
375.15	o 6160
375.15	o 6155
375.16	o 6150
375.16	o 6145
375.17	o 6140
375.18	o 6135
375.18	o 6130
375.18	o 6125
375.19	o 6120
391.14	o 6115
391.15	o 6110
392.36	o 6105
392.43	o 6100
392.44	o 6095
392.46	o 6090
392.46	o 6085
392.52	o 6080
392.53	o 6075
392.55	o 6070
392.57	o 6065
392.58	o 6060
392.58	o 6055
392.60	o 6050
392.60	o 6045
392.60	o 6040
392.62	o 6035
392.63	o 6030
392.66	o 6025
392.67	o 6020
392.68	o 6015
392.69	o 6010
392.71	o 6005
392.72	o 6000
392.72	o 5995
392.75	o 5990
392.76	o 5985
392.77	o 5980
392.78	o 5975
392.79	o 5970
392.81	o 5965
392.82	o 5960
392.83	o 5955
392.84	o 5950
392.84	o 5945
393.73	o 5940
393.74	o 5935
393.80	o 5930
393.81	o 5925
393.81	o 5920
393.90	o 5915
393.92	o 5910
394.00	o 5905
394.11	o 5900
394.21	o 5895
394.93	o 5890
395.18	o 5885
395.20	o 5880
395.21	o 5875
395.21	o 5870
395.30	o 5865
395.31	o 5860
395.37	o 5855
395.38	o 5850
395.39	o 5845
395.47	o 5840
395.48	o 5835
395.49	o 5830
395.50	o 5825
395.50	o 5820
395.67	o 5815
395.67	o 5810
395.69	o 5805
396.28	o 5800
396.29	o 5795
396.39	o 5790
396.54	o 5785
396.56	o 5780
396.57	o 5775
396.57	o 5770
396.66	o 5765
396.69	o 5760
396.70	o 5755
396.72	o 5750
396.73	o 5745
396.76	o 5740
396.76	o 5735
396.79	o 5730
396.81	o 5725
396.86	o 5720
396.91	o 5715
396.97	o 5710
397.15	o 5705
397.17	o 5700
397.20	o 5695
397.24	o 5690
397.27	o 5685
397.29	o 5680
397.33	o 5675
397.35	o 5670
397.39	o 5665
397.40	o 5660
397.42	o 5655
397.43	o 5650
397.43	o 5645
420.54	o 5640
420.67	o 5635
420.68	o 5630
424.31	o 5625
424.69	o 5620
424.72	o 5615
424.74	o 5610
424.93	o 5605
425.28	o 5600
425.30	o 5595
425.50	o 5590
425.53	o 5585
425.54	o 5580
425.54	o 5575
425.62	o 5570
425.79	o 5565
425.80	o 5560
425.81	o 5555
425.81	o 5550
426.04	o 5545
426.16	o 5540
426.17	o 5535
426.24	o 5530
596.63	o 5525
601.45	o 5520
601.45	o 5515
602.65	o 5510
602.81	o 5505
603.21	o 5500
603.22	o 5495
603.27	o 5490
603.27	o 5485
603.28	o 5480
603.29	o 5475
603.31	o 5470
604.23	o 5465
604.26	o 5460
604.32	o 5455
604.33	o 5450
604.34	o 5445
649.36	o 5440
660.74	o 5435
665.41	o 5430
668.20	o 5425
668.26	o 5420
668.30	o 5415
678.33	o 5410
679.17	o 5405
679.36	o 5400
679.38	o 5395
679.57	o 5390
679.85	o 5385
680.02	o 5380
680.09	o 5375
680.13	o 5370
680.14	o 5365
680.15	o 5360
680.18	o 5355
680.20	o 5350
680.45	o 5345
680.58	o 5340
680.59	o 5335
680.65	o 5330
680.65	o 5325
681.44	o 5320
681.52	o 5315
690.37	o 5310
690.44	o 5305
690.48	o 5300
690.49	o 5295
690.50	o 5290
690.51	o 5285
690.56	o 5280
690.61	o 5275
690.63	o 5270
690.64	o 5265
690.69	o 5260
690.70	o 5255
690.73	o 5250
690.74	o 5245
690.75	o 5240
690.83	o 5235
690.84	o 5230
690.85	o 5225
690.86	o 5220
690.87	o 5215
1029.35	o 5210
1029.85	o 5205
1030.59	o 5200
1030.77	o 5195
1031.16	o 5190
1031.20	o 5185
1031.40	o 5180
1036.82	o 5175
1050.60	o 5170
1053.61	o 5165
1053.96	o 5160
1053.97	o 5155
1053.99	o 5150
1059.10	o 5149
1059.19	o 5144
1059.69	o 5139
1059.96	o 5138
1060.18	o 5134
1061.55	o 5129
1061.55	o 5128
1061.57	o 5124
1061.92	o 5122
1061.95	o 5119
1062.05	o 5114
1062.06	o 5109
1082.30	o 5106
1082.93	o 5104
1083.22	o 5099
1083.25	o 5094
1083.34	o 5089
1083.35	o 5088
1083.36	o 5084
1083.39	o 5083
1083.39	o 5079
1083.50	o 5078
1083.54	o 5074
1083.61	o 5073
1083.62	o 5068
1083.69	o 5064
1083.72	o 5059
1083.74	o 5054
1083.96	o 5049
1084.03	o 5044
1084.65	o 5039
1084.66	o 5038
1084.68	o 5034
1084.69	o 5033
1084.70	o 5029
1084.76	o 5026
1084.87	o 5023
1084.88	o 5018
1084.90	o 5014
1084.92	o 5009
1084.96	o 5004
1084.98	o 4999
1085.01	o 4994
1085.03	o 4989
1085.05	o 4984
1085.96	o 4979
1086.13	o 4974
1086.15	o 4969
1086.43	o 4964
1086.46	o 4959
1086.48	o 4958
1086.49	o 4954
1086.76	o 4953
1086.80	o 4948
1086.95	o 4944
1086.97	o 4943
1086.98	o 4939
1087.00	o 4938
1087.00	o 4934
1087.13	o 4933
1087.14	o 4929
1091.62	o 4928
1099.62	o 4923
1100.34	o 4921
1100.63	o 4916
1100.88	o 4911
1102.51	o 4907
1102.52	o 4902
1102.79	o 4901
1102.79	o 4896
1102.82	o 4893
1103.17	o 4891
1103.19	o 4883
1103.22	o 4878
1103.26	o 4874
1103.28	o 4873
1103.28	o 4869
1103.47	o 4866
1103.48	o 4861
1103.50	o 4858
1103.50	o 4853
1103.72	o 4848
1103.78	o 4846
1103.80	o 4843
1103.81	o 4838
1103.81	o 4834
1103.82	o 4833
1103.83	o 4829
1142.47	o 4828
1145.24	o 4824
1145.30	o 4823
1145.34	o 4819
1146.06	o 4817
1146.07	o 4814
1146.08	o 4809
1146.17	o 4804
1146.78	o 4801
1147.25	o 4799
1147.40	o 4797
1147.44	o 4792
1147.45	o 4789
1147.51	o 4784
1156.27	o 4779
1167.42	o 4774
1168.39	o 4769
1168.88	o 4764
1168.97	o 4759
1169.03	o 4754
1349.70	o 4753
1355.51	o 4752
1355.52	o 4748
1355.55	o 4743
1482.02	o 4739
1483.50	o 4734
1483.67	o 4729
1483.71	o 4728
1483.72	o 4724
1483.79	o 4723
1483.80	o 4719
1483.83	o 4718
1483.83	o 4714
1483.99	o 4713
1484.12	o 4708
1484.39	o 4706
1484.42	o 4704
1484.48	o 4701
1484.61	o 4699
1484.72	o 4696
1484.74	o 4691
1484.78	o 4689
1484.84	o 4688
1484.96	o 4683
1485.02	o 4679
1485.04	o 4674
1485.08	o 4669
1485.78	o 4664
1486.00	o 4648
1486.01	o 4644
1486.03	o 4639
1486.04	o 4634
1486.45	o 4633
1486.47	o 4629
1486.51	o 4628
1486.52	o 4623
1486.56	o 4619
1486.58	o 4614
1486.61	o 4613
1486.62	o 4609
1486.67	o 4606
1486.68	o 4604
1486.69	o 4599
1486.70	o 4594
1486.71	o 4589
1490.08	o 4586
1490.10	o 4584
1490.13	o 4583
1490.13	o 4579
1490.16	o 4578
1490.17	o 4574
1490.18	o 4573
1490.18	o 4569
1490.21	o 4568
1490.21	o 4564
1497.86	o 4559
1497.87	o 4556
1497.87	o 4552
1497.88	o 4548
1497.89	o 4544
1497.91	o 4539
1497.92	o 4535
1497.93	o 4531
1497.93	o 4527
1497.94	o 4523
1497.95	o 4519
1497.98	o 4518
1497.99	o 4514
1498.18	o 4511
1498.20	o 4508
1498.23	o 4505
1498.26	o 4504
1498.26	o 4503
1498.26	o 4499
1498.28	o 4498
1498.29	o 4494
1498.30	o 4493
1498.30	o 4489
1498.32	o 4488
1498.33	o 4484
1498.35	o 4483
1498.35	o 4479
1498.36	o 4478
1498.37	o 4474
1498.39	o 4473
1498.39	o 4469
1498.40	o 4468
1498.41	o 4464
1498.42	o 4463
1498.43	o 4459
1498.44	o 4458
1498.44	o 4454
1498.45	o 4453
1498.45	o 4449
1498.47	o 4448
1498.47	o 4444
1498.49	o 4443
1498.49	o 4439
1498.51	o 4438
1498.51	o 4434
1498.53	o 4433
1498.55	o 4428
1498.56	o 4424
1498.57	o 4423
1498.58	o 4419
1498.59	o 4418
1498.59	o 4414
1588.41	o 4411
1588.96	o 4409
1589.04	o 4408
1589.06	o 4404
1589.12	o 4403
1589.12	o 4399
1593.18	o 4394
1593.20	o 4389
1593.21	o 4384
1593.22	o 4379
1593.26	o 4378
1593.27	o 4373
1593.28	o 4369
1593.30	o 4364
1593.31	o 4359
1593.32	o 4354
1593.33	o 4349
1593.34	o 4348
1593.34	o 4343
1593.35	o 4339
1593.36	o 4338
1593.37	o 4333
1593.37	o 4329
1593.39	o 4328
1593.39	o 4323
1593.40	o 4319
1593.41	o 4314
1593.43	o 4309
1593.44	o 4304
1593.45	o 4303
1593.45	o 4299
1593.46	o 4298
1593.46	o 4294
1593.73	o 4293
1593.74	o 4289
1593.75	o 4284
1614.97	o 4283
1615.22	o 4279
1615.39	o 4278
1615.40	o 4274
1657.55	o 4269
1690.72	o 4264
1691.00	o 4259
1691.07	o 4254
1692.39	o 4249
1692.43	o 4244
1692.69	o 4239
1692.75	o 4234
1696.70	o 4229
1697.28	o 4224
1697.33	o 4219
1697.37	o 4214
1697.95	o 4209
1698.21	o 4204
1698.26	o 4199
1698.30	o 4194
1698.34	o 4189
1698.43	o 4184
1698.48	o 4179
1698.52	o 4174
1698.68	o 4169
1698.78	o 4164
1700.87	o 4159
1700.93	o 4154
1701.34	o 4149
1701.49	o 4144
1701.55	o 4139
1701.60	o 4134
1701.66	o 4129
1701.95	o 4124
1701.97	o 4123
1701.98	o 4119
1701.98	o 4118
1701.98	o 4114
1702.45	o 4109
1702.59	o 4104
1702.61	o 4099
1702.62	o 4094
1702.63	o 4089
1703.23	o 4088
1703.40	o 4084
1703.46	o 4083
1703.46	o 4078
1703.49	o 4074
1703.49	o 4073
1703.50	o 4069
1704.26	o 4064
1704.32	o 4059
1704.34	o 4058
1704.36	o 4054
1704.40	o 4053
1704.40	o 4049
1705.55	o 4048
1705.58	o 4044
1705.59	o 4041
1705.59	o 4039
1705.62	o 4034
1705.63	o 4029
1705.82	o 4028
1705.83	o 4023
1705.85	o 4019
1706.81	o 4014
1707.30	o 4013
1707.30	o 4009
1707.39	o 4008
1707.40	o 4004
1707.42	o 4003
1707.42	o 3999
1707.51	o 3998
1707.59	o 3994
1707.71	o 3993
1707.71	o 3989
1707.73	o 3988
1707.74	o 3984
1707.76	o 3983
1707.80	o 3979
1707.81	o 3978
1707.81	o 3974
1708.07	o 3971
1708.08	o 3964
1708.12	o 3959
1708.14	o 3954
1708.15	o 3951
1708.16	o 3949
1708.16	o 3939
1708.34	o 3934
1708.37	o 3931
1708.38	o 3929
1708.40	o 3926
1708.40	o 3924
1708.42	o 3921
1708.42	o 3911
1708.48	o 3908
1708.49	o 3904
1708.50	o 3903
1708.52	o 3896
1708.53	o 3888
1708.63	o 3884
1708.69	o 3883
1708.71	o 3879
1709.51	o 3874
1709.52	o 3869
1709.53	o 3866
1709.53	o 3859
1709.54	o 3854
1709.55	o 3851
1709.56	o 3844
1709.60	o 3839
1709.70	o 3834
1709.74	o 3829
1709.75	o 3824
1709.75	o 3821
1709.76	o 3819
1709.78	o 3814
1709.79	o 3809
1709.80	o 3806
1709.81	o 3804
1709.82	o 3799
1709.83	o 3794
1712.14	o 3789
1712.27	o 3786
1712.28	o 3781
1712.29	o 3778
1712.33	o 3774
1712.52	o 3773
1712.52	o 3769
1712.73	o 3768
1712.76	o 3764
1712.96	o 3763
1713.23	o 3759
1714.24	o 3758
1714.42	o 3753
1714.50	o 3748
1714.52	o 3743
1714.52	o 3738
1715.73	o 3734
1716.52	o 3733
1716.52	o 3729
1716.54	o 3728
1716.54	o 3724
1716.55	o 3723
1716.55	o 3718
1716.70	o 3714
1716.91	o 3713
1716.92	o 3709
1716.93	o 3708
1716.94	o 3704
1716.94	o 3703
1716.95	o 3699
1717.19	o 3698
1717.20	o 3694
1717.85	o 3693
1718.05	o 3689
1718.06	o 3684
1718.13	o 3679
1718.14	o 3674
1718.16	o 3669
1718.17	o 3659
1718.18	o 3654
1718.21	o 3649
1718.22	o 3639
1718.23	o 3634
1718.38	o 3629
1718.42	o 3628
1718.43	o 3623
1718.50	o 3619
1718.51	o 3618
1718.51	o 3613
1718.67	o 3608
1718.67	o 3603
1718.68	o 3599
1719.01	o 3598
1719.02	o 3593
1719.03	o 3589
1719.36	o 3584
1719.38	o 3579
1719.40	o 3574
1719.46	o 3569
1719.51	o 3564
1719.52	o 3559
1719.55	o 3554
1719.57	o 3549
1719.77	o 3544
1719.80	o 3539
1719.81	o 3534
1719.86	o 3529
1720.50	o 3528
1720.65	o 3523
1720.80	o 3518
1720.90	o 3514
1720.92	o 3513
1720.92	o 3508
1720.93	o 3504
1720.96	o 3503
1720.96	o 3499
1721.03	o 3498
1721.04	o 3494
1721.05	o 3493
1721.05	o 3489
1721.06	o 3488
1721.06	o 3484
1721.14	o 3483
1721.14	o 3479
1721.21	o 3478
1721.35	o 3473
1721.35	o 3469
1721.36	o 3463
1721.37	o 3458
1721.38	o 3454
1721.45	o 3453
1721.46	o 3449
1721.47	o 3443
1721.63	o 3438
1721.84	o 3434
1721.98	o 3423
1722.04	o 3419
1722.09	o 3418
1722.09	o 3414
1722.12	o 3408
1722.13	o 3403
1722.14	o 3399
1722.19	o 3398
1722.19	o 3394
1722.21	o 3383
1722.22	o 3378
1722.32	o 3373
1722.94	o 3368
1722.95	o 3364
1723.59	o 3363
1723.59	o 3359
1727.08	o 3358
1727.09	o 3354
1727.15	o 3348
1727.16	o 3343
1727.17	o 3339
1727.92	o 3338
1727.92	o 3334
1727.95	o 3333
1727.96	o 3328
1727.96	o 3324
1728.15	o 3323
1728.15	o 3319
1728.22	o 3318
1728.23	o 3314
1728.24	o 3313
1728.24	o 3309
1728.26	o 3308
1728.26	o 3304
1728.41	o 3303
1728.42	o 3299
1728.49	o 3298
1729.83	o 3293
1731.05	o 3283
1731.19	o 3279
1731.55	o 3274
1732.08	o 3273
1732.11	o 3268
1732.13	o 3264
1732.70	o 3261
1732.78	o 3256
1733.36	o 3254
1733.39	o 3249
1733.52	o 3244
1733.64	o 3241
1733.86	o 3237
1734.13	o 3234
1734.54	o 3233
1734.57	o 3229
1734.64	o 3228
1734.65	o 3224
1734.74	o 3223
1734.75	o 3219
1735.62	o 3218
1735.63	o 3214
1735.91	o 3209
1735.93	o 3204
1735.97	o 3199
1736.08	o 3194
1736.11	o 3189
1736.13	o 3184
1736.20	o 3179
1736.29	o 3174
1736.47	o 3169
1736.64	o 3164
1736.85	o 3159
1737.00	o 3154
1737.22	o 3149
1737.24	o 3144
1737.25	o 3139
1737.96	o 3134
1738.36	o 3133
1738.38	o 3128
1738.44	o 3124
1738.68	o 3123
1738.69	o 3119
1738.74	o 3118
1738.75	o 3114
1738.79	o 3113
1738.80	o 3108
1738.80	o 3104
1738.86	o 3101
1738.90	o 3096
1738.98	o 3094
1739.11	o 3089
1739.15	o 3084
1739.25	o 3079
1740.11	o 3074
1740.29	o 3069
1740.39	o 3064
1740.49	o 3059
1744.30	o 3054
1744.33	o 3049
1744.36	o 3044
1744.47	o 3039
1747.25	o 3034
1772.81	o 3033
1773.05	o 3029
1773.13	o 3024
1773.39	o 3019
1773.40	o 3014
1773.67	o 3009
1773.69	o 3004
1773.70	o 2999
1773.78	o 2994
1773.79	o 2989
1773.81	o 2984
1773.82	o 2979
1773.84	o 2974
1773.90	o 2969
1773.90	o 2964
1773.91	o 2959
1774.48	o 2954
1777.26	o 2949
1777.28	o 2944
1777.34	o 2939
1782.97	o 2934
1783.39	c total time              : 1783 s
1783.39	s SATISFIABLE
1783.39	v x1 -x3190 x4609 x5720 -x6862 x8018 x9166 x10315 x11456 x2 x1143 x2043 x2186 x2321 x2452 x2592 x2742 x2901 -x3039 -x3191 -x3362
1783.39	v x3512 x3661 x3813 x3955 -x4112 x4271 x4387 -x4498 x4610 x4721 x4832 -x4943 x5054 x5165 x5276 x5387 -x5498 -x5609 x5721 x5832
1783.39	v x5943 -x6054 -x6055 -x6056 -x6057 -x6058 -x6169 -x6170 -x6171 -x6172 -x6173 -x6284 -x6285 -x6286 -x6287 -x6288 -x6399
1783.39	v -x6400 -x6401 -x6402 -x6403 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6746
1783.39	v -x6747 -x6748 -x6749 -x6750 -x6751 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984
1783.39	v -x6985 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7330 -x7331
1783.39	v -x7332 -x7333 -x7334 -x7335 -x7336 -x7447 -x7448 -x7449 -x7450 -x7561 -x7562 -x7563 -x7564 -x7675 -x7676 -x7677 -x7678
1783.39	v -x7789 -x7790 -x7791 -x7792 -x7903 -x7904 -x7905 -x7906 -x7907 -x8019 -x8020 -x8021 -x8022 -x8023 -x8134 -x8135 -x8136
1783.39	v -x8137 -x8138 -x8249 -x8250 -x8251 -x8252 -x8253 -x8364 -x8365 -x8366 -x8367 -x8368 -x8479 -x8480 -x8481 -x8482 -x8483
1783.39	v -x8594 -x8595 -x8596 -x8597 -x8598 -x8709 -x8710 -x8711 -x8712 -x8713 -x8824 -x8825 -x8826 -x8827 -x8938 -x8939 -x8940
1783.39	v -x8941 -x9052 -x9053 -x9054 -x9055 -x9167 -x9168 -x9169 -x9170 -x9281 -x9282 -x9283 -x9284 -x9285 -x9396 -x9397 -x9398
1783.39	v -x9399 -x9400 -x9511 -x9512 -x9513 -x9514 -x9515 -x9626 -x9627 -x9628 -x9629 -x9630 -x9741 -x9742 -x9743 -x9744 -x9745
1783.39	v -x9856 -x9857 -x9858 -x9859 -x9860 -x9971 -x9972 -x9973 -x9974 -x9975 -x10086 -x10087 -x10088 -x10089 -x10090 -x10201
1783.39	v -x10202 -x10203 -x10204 -x10316 -x10317 -x10318 -x10319 -x10430 -x10431 -x10432 -x10433 -x10544 -x10545 -x10546 -x10547
1783.39	v -x10658 -x10659 -x10660 -x10661 -x10772 -x10773 -x10774 -x10775 -x10886 -x10887 -x10888 -x10889 -x11000 -x11001 -x11002
1783.39	v -x11003 -x11114 -x11115 -x11116 -x11117 -x11228 -x11229 -x11230 -x11231 -x11342 -x11343 -x11344 -x11345 -x11457 -x11458
1783.39	v -x11459 -x11460 -x11571 -x11572 -x11573 -x11574 -x11685 -x11686 -x11687 -x11688 -x11799 -x11800 -x11801 -x11802 -x11913
1783.39	v -x11914 -x11915 -x11916 -x12027 -x12028 -x12029 -x12030 -x12141 x12142 -x12143 -x12144 -x12255 -x12256 -x12257 -x12258
1783.39	v x12369 -x12370 -x12371 -x12372 -x12483 -x12484 -x12485 -x12486 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233
1783.39	v -x234 -x345 -x346 -x347 -x348 -x459 -x460 -x461 -x462 -x573 -x574 -x575 -x576 -x687 -x688 -x689 -x690 -x801 -x802 -x803 -x804
1783.39	v -x915 -x916 -x917 -x918 -x1029 -x1030 -x1031 -x1032 -x1144 -x1145 -x1146 -x1147 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263
1783.39	v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1606 -x1607 -x1608 -x1609 -x1610
1783.39	v -x1611 -x1722 -x1723 -x1724 -x1725 -x1726 -x1837 -x1838 -x1839 -x1840 -x1841 x1952 -x1953 -x1954 -x1955 -x1956 -x2011
1783.39	v -x2012 -x2013 -x2014 -x2015 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049
1783.39	v -x2050 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2095 -x2096
1783.39	v -x2097 -x2108 -x2109 -x2110 -x2121 -x2122 -x2123 -x2134 -x2135 -x2136 -x2147 -x2148 -x2149 -x2160 -x2161 -x2162 -x2173
1783.39	v -x2174 -x2175 -x2187 -x2188 -x2189 -x2200 -x2201 -x2202 -x2213 -x2214 -x2215 -x2226 -x2227 -x2228 -x2239 -x2240 -x2241
1783.39	v x2252 -x2253 -x2254 -x2255 -x2266 -x2267 -x2268 -x2269 -x2280 -x2281 -x2282 -x2283 -x2294 -x2295 -x2296 -x2297 -x2308
1783.39	v -x2309 -x2310 -x2322 -x2323 -x2324 -x2335 -x2336 -x2337 -x2348 -x2349 -x2350 -x2361 -x2362 -x2363 -x2374 -x2375 -x2376
1783.39	v -x2387 -x2388 -x2389 -x2400 -x2401 -x2402 -x2413 -x2414 -x2415 -x2426 -x2427 -x2428 -x2439 -x2440 -x2441 -x2453 -x2454
1783.39	v -x2455 -x2466 -x2467 -x2468 -x2479 -x2480 -x2481 -x2492 -x2493 -x2494 -x2505 -x2506 -x2507 -x2518 -x2519 -x2520 -x2521
1783.39	v -x2522 x2533 x2534 -x2535 -x2536 -x2537 -x2548 -x2549 -x2550 -x2551 -x2552 -x2563 -x2564 -x2565 -x2566 -x2567 -x2578 -x2579
1783.39	v -x2580 -x2581 -x2593 -x2594 -x2595 -x2596 -x2607 -x2608 -x2609 -x2610 -x2621 -x2622 -x2623 -x2624 -x2635 -x2636 -x2637
1783.39	v -x2638 -x2649 -x2650 -x2651 -x2652 -x2663 -x2664 -x2665 x2666 -x2677 -x2678 -x2679 -x2680 x2691 -x2692 -x2693 -x2694 -x2695
1783.39	v -x2696 -x2697 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2743
1783.39	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2776 -x2777 -x2778 -x2779 -x2780
1783.39	v -x2781 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2824 -x2825 -x2826 -x2827
1783.39	v -x2828 -x2829 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2872 -x2873 -x2874
1783.39	v -x2875 -x2876 -x2877 -x2888 -x2889 -x2890 -x2902 -x2903 -x2904 -x2915 -x2916 -x2917 -x2928 -x2929 -x2930 -x2941 -x2942
1783.39	v -x2943 -x2944 -x2955 -x2956 -x2957 -x2958 -x2969 -x2970 -x2971 -x2972 -x2983 -x2984 -x2985 -x2986 -x2997 -x2998 -x2999
1783.39	v -x3000 -x3011 x3012 -x3013 -x3014 -x3025 -x3026 -x3027 -x3028 -x3040 -x3041 -x3042 -x3043 -x3054 -x3055 -x3056 -x3057
1783.39	v -x3068 -x3069 -x3070 -x3071 -x3082 -x3083 -x3084 -x3085 -x3096 -x3097 -x3098 -x3099 x3110 x3111 x3112 x3113 -x3114 -x3125
1783.39	v -x3126 -x3127 -x3128 -x3129 -x3130 -x3141 -x3142 x3143 -x3144 x3145 -x3156 x3157 x3158 -x3159 -x3160 -x3161 x3162 -x3173
1783.39	v x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3192 x3193 x3194 x3195 x3196 x3197 -x3198 -x3209 x3210 x3211 -x3212 -x3213 -x3214
1783.39	v x3215 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3260 -x3261 -x3262 -x3263
1783.39	v x3264 -x3265 x3266 x3277 x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 -x3311 -x3312
1783.39	v -x3313 -x3314 x3315 -x3316 x3317 x3328 -x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3345 x3346 x3347 -x3348 -x3349 -x3350
1783.39	v x3351 -x3391 -x3392 -x3393 -x3394 -x3395 x3406 x3407 x3408 x3409 -x3410 -x3421 x3422 -x3423 x3424 -x3435 x3436 -x3437 x3438
1783.39	v x3439 -x3440 -x3451 x3452 x3453 -x3454 x3455 -x3466 -x3467 -x3468 -x3469 -x3470 x3481 -x3482 -x3483 -x3484 x3485 -x3496
1783.39	v x3497 -x3498 -x3499 -x3500 x3501 -x3513 -x3514 -x3515 -x3516 -x3517 -x3528 x3529 x3530 -x3531 x3532 -x3543 -x3544 -x3545
1783.39	v -x3546 x3547 x3558 -x3559 x3560 x3561 -x3562 -x3573 -x3574 -x3575 -x3576 -x3587 -x3588 x3589 -x3590 x3591 x3602 x3603 -x3604
1783.39	v x3605 -x3606 x3617 -x3618 x3619 -x3620 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 x3647 x3648 -x3649 -x3650 -x3662 -x3663
1783.39	v -x3664 x3665 -x3666 x3677 -x3678 x3679 -x3680 -x3691 x3692 x3693 -x3694 -x3705 x3706 x3707 x3708 x3709 -x3710 -x3721 -x3722
1783.39	v -x3723 -x3724 -x3725 x3736 x3737 x3738 -x3739 x3740 -x3751 x3752 -x3753 x3754 x3755 -x3766 x3767 -x3768 x3769 x3770 -x3771
1783.39	v x3782 -x3783 x3784 x3785 x3786 -x3787 -x3798 x3799 -x3800 x3801 x3802 -x3814 x3815 -x3816 x3817 x3818 x3829 -x3830 x3831
1783.39	v x3832 x3833 -x3834 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3956 -x3957 -x3958
1783.39	v -x3959 -x3960 -x3961 x3972 -x3973 -x3974 x3975 -x3976 x3977 -x3988 -x3989 -x3990 x3991 x3992 -x4003 -x4004 x4005 -x4006
1783.39	v x4007 x4008 -x4019 -x4020 x4021 -x4022 x4023 x4024 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 x4051 -x4052 x4053 -x4054
1783.39	v x4055 x4056 -x4067 x4068 x4069 -x4070 x4071 -x4082 -x4083 -x4084 -x4085 -x4086 -x4097 x4098 x4099 -x4100 x4101 -x4113 x4114
1783.39	v x4115 -x4116 x4117 x4128 -x4129 -x4130 -x4131 x4132 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4159 -x4160 -x4161 x4162
1783.39	v x4163 -x4174 -x4175 x4176 x4177 x4178 x4179 -x4180 x4191 x4192 x4193 -x4194 x4195 x4196 -x4207 -x4208 -x4209 -x4210 -x4211
1783.39	v -x4212 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4239 -x4240 -x4241 x4242 -x4243 x4244 -x4255 -x4256 -x4257 x4258 -x4259
1783.39	v x4260 -x4272 -x4273 -x4274 x4275 -x4276 x4277 x1970 -x1971 -x1972 x1973 x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980
1783.39	v -x1981 -x1982 x1983 x1984 -x1985 -x1986 x1987 -x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998
1783.39	v -x1999 -x2000 -x2001 -x2002 -x3698 -x3701 -x3702 -x3703 -x3704 -x6378 -x6383 -x6389 -x6393 -x6397 -x6424 x6428 -x6431
1783.39	v -x6504 -x6508 -x6512 -x6603 -x6716 -x12032 -x12039 -x12047 -x12216 -x12223 -x12229 -x12235 -x1331 -x1339 -x1348 -x1686
1783.39	v -x1695 -x1704 -x6407 -x6434 -x6523 -x6607 -x6720 -x11987 -x12055 -x12240 -x1357 -x1712 -x6411 -x6438 -x6527 -x6612 -x6725
1783.39	v -x11995 -x12062 -x12246 -x675 -x1366 -x1719 -x6292 -x6441 x6533 -x6616 -x6729 -x12002 -x12070 -x12251 -x683 -x1381 -x1732
1783.39	v -x6444 -x6538 -x6621 -x6733 -x12010 -x12260 -x695 -x1389 -x1741 -x6293 -x6544 -x6625 -x6738 -x12018 -x12078 -x12085 -x12264
1783.39	v -x703 -x1398 -x1750 -x12025 -x6548 -x6637 -x6743 -x12093 -x12267 -x710 -x1407 -x1758 -x6838 -x12037 -x12045 -x6642 x6755
1783.39	v -x12101 -x12271 -x717 -x1416 -x1766 -x3711 -x3712 -x3713 -x3714 -x6648 -x6760 -x12109 -x12274 -x725 -x1425 -x1774 -x6652
1783.39	v -x6766 -x6843 -x12052 -x12116 -x12277 -x732 -x1433 -x1781 -x6847 -x6875 -x12060 -x12124 -x12280 -x739 -x1441 x1788 -x6787
1783.39	v -x6878 -x12068 -x12132 -x12284 -x743 -x1449 -x1792 -x6882 -x12076 -x12139 -x12288 -x748 -x1456 -x1797 -x6788 -x12083
1783.39	v -x12151 -x12293 -x752 -x1463 -x1801 -x12091 -x12159 -x12297 -x756 x1467 -x1806 -x12099 -x12166 -x12301 -x761 -x1472 -x1810
1783.39	v -x12106 -x12174 -x12306 -x874 -x1476 -x1966 -x12114 -x12183 -x12310 -x1481 -x3715 -x3716 x3717 x3718 -x12122 -x12192
1783.39	v -x12315 -x1485 -x12129 -x12199 -x12319 -x1675 -x12137 -x12206 -x12323 -x12149 -x12213 -x12328 -x12157 -x12219 -x12332
1783.39	v -x12164 -x12226 -x12337 -x12172 -x12232 -x12341 -x12181 -x12238 -x12345 -x12190 -x12243 -x12350 -x12198 -x12249 -x12354
1783.39	v -x3719 -x3720 -x3726 -x3727 -x11028 -x12253 -x12359 -x11030 -x12262 -x3022 x3081 -x3092 -x3103 -x3441 -x3446 -x3456 -x2993
1783.39	v -x3004 -x3015 -x3425 -x3430 -x3115 -x7709 -x7715 -x7720 -x7726 -x8312 -x8317 -x8324 -x8345 -x8351 -x9911 -x9917 -x9922
1783.39	v -x9928 -x10409 -x10418 -x10428 -x10442 -x10474 -x10485 -x10496 -x10584 -x10594 -x10604 -x7731 -x8329 -x8358 -x9933 -x10452
1783.39	v -x10507 -x10613 -x7737 -x8025 -x8336 -x8370 -x9939 -x10462 -x10517 -x10623 -x7742 -x8031 -x8377 -x9944 -x10472 -x10527
1783.39	v -x10633 -x7748 -x8037 -x8341 -x8385 -x9950 -x10483 -x10537 -x10643 -x3728 -x3729 -x3730 -x3731 -x3732 -x7753 -x8040 -x8348
1783.39	v -x8393 -x9955 -x10494 -x10551 -x10653 -x7759 -x8043 -x8355 -x8400 -x9961 -x10505 -x10561 -x10667 -x7764 -x8045 -x8361
1783.39	v -x8408 -x9966 -x10515 -x10571 -x10677 -x7770 -x8374 -x8416 -x9977 -x10525 -x10580 -x10687 -x7775 -x8049 -x8382 -x8423
1783.39	v -x9982 -x10535 -x10590 -x10697 -x7780 -x8053 -x8389 -x8430 -x9986 -x10549 -x10600 -x10707 -x7784 -x8056 -x8397 -x8437
1783.39	v -x9991 -x10558 -x10610 -x10718 -x1329 -x1685 -x7788 -x8405 -x8444 -x9995 -x10568 -x10620 -x10729 -x1338 -x1694 -x7797
1783.39	v -x8412 -x8451 -x10000 -x10578 -x10630 -x10740 -x1347 -x1703 -x7801 -x8420 -x10004 -x10588 -x10640 -x10751 -x1356 -x1710
1783.39	v -x3733 -x3734 -x3735 -x3741 -x3742 -x7806 -x8427 -x8458 -x10008 -x10598 -x10650 -x10762 -x674 -x1365 -x1718 -x7810 -x8434
1783.39	v -x8464 -x10013 -x10608 -x10664 -x10777 -x682 -x1373 -x1731 -x7847 -x7851 -x7853 -x10050 -x10054 -x10056 -x10712 -x10723
1783.39	v -x10734 -x10745 -x10784 -x10795 -x10900 -x10910 -x10920 -x686 -x698 -x754 -x759 -x876 -x1324 -x1333 -x1342 -x1350 -x1384
1783.39	v -x1393 x1465 -x1470 -x1474 -x1680 -x1688 -x1697 -x1735 -x1744 -x1803 -x1808 -x1969 -x10859 -x10870 -x10881 -x10927 -x10937
1783.39	v -x10947 -x11010 -x11016 -x11020 -x6373 -x6379 -x6384 -x6395 -x6405 -x6409 -x11990 -x12000 -x12008 -x12015 -x6413 -x11998
1783.39	v -x12023 -x11988 -x12006 -x12013 -x12035 -x12043 -x7653 -x12173 -x12182 -x12191 -x12214 -x12220 -x12227 -x12236 -x12241
1783.39	v -x12247 -x7712 -x7767 -x3743 -x3744 -x3745 -x3746 -x7620 -x7679 -x7690 -x7734 -x7745 -x7793 -x7804 -x7848 -x7881 -x7941
1783.39	v -x7996 -x7859 -x8046 -x7908 -x7974 -x8024 -x8068 x8139 -x8183 -x8227 -x7963 -x8112 -x8265 -x6575 -x6586 -x6608 -x6647
1783.39	v -x6669 -x6724 -x6774 -x6447 -x6451 -x6454 -x6456 -x6457 -x6460 -x6461 -x6463 -x100 -x102 -x104 -x107 -x109 -x111 -x122
1783.39	v -x129 -x6702 -x6464 -x6466 -x113 -x115 -x138 -x6469 -x124 -x126 -x147 -x6495 -x133 -x135 -x156 -x141 -x144 -x164 -x150 -x152
1783.39	v -x173 -x3695 -x3747 -x3748 -x159 -x161 -x182 -x4420 -x4423 -x168 -x170 -x190 -x4425 -x4427 -x177 -x179 -x197 -x4429 -x4431
1783.39	v -x6885 -x6887 -x184 -x186 -x205 -x4434 -x4436 -x6889 -x192 -x194 -x213 -x4438 -x4440 -x6890 -x200 -x202 -x221 -x4444 -x207
1783.39	v -x210 -x228 -x4446 -x215 -x217 -x240 -x4733 -x224 -x225 -x248 -x236 -x237 -x254 -x3749 -x3750 -x3756 -x9938 -x243 -x244
1783.39	v -x261 -x9976 -x251 -x252 -x267 -x258 -x259 -x274 -x9723 -x9725 -x264 -x265 -x281 -x5389 -x9727 -x9729 -x271 -x272 -x287
1783.39	v -x5394 -x9732 -x9734 -x277 -x278 -x294 -x5384 -x5385 -x5400 -x9736 -x9738 -x284 -x285 -x300 -x5391 -x5392 -x5405 -x9740
1783.39	v -x9748 -x291 -x292 -x307 -x5396 -x5397 -x5411 -x9750 -x9752 -x298 -x314 -x5402 -x5403 -x5416 -x9755 -x297 -x305 -x320 -x3757
1783.39	v -x3758 -x5407 -x5408 -x5422 -x9754 -x304 -x310 -x311 -x327 -x5413 -x5414 -x5427 -x6004 -x9759 -x317 -x318 -x333 -x5418
1783.39	v -x5419 -x5431 -x6009 -x9866 -x324 -x325 -x339 -x5424 -x5425 -x5436 -x6001 -x6002 -x6015 -x331 -x344 -x8353 -x5429 -x5564
1783.39	v -x6006 -x6007 -x6020 -x330 -x337 -x667 -x5434 -x6012 -x6013 -x6025 -x342 -x6017 -x6018 -x6029 -x6023 -x6157 -x4403 -x9606
1783.39	v -x9608 -x9609 -x9610 -x354 -x362 -x373 -x384 -x395 -x422 -x434 -x446 -x458 -x479 -x491 -x503 -x515 -x4406 -x9616 -x475 -x527
1783.39	v -x3759 -x3760 x3761 x3762 -x539 -x4409 -x4413 -x4416 -x9621 -x9625 -x9762 -x9765 -x9769 -x9795 -x407 -x419 -x431 -x487
1783.39	v -x499 -x511 -x552 -x563 -x578 -x4419 -x9773 -x9800 -x443 -x523 -x587 -x4459 -x9777 -x9805 -x455 -x535 -x596 -x9781 -x9809
1783.39	v -x471 -x547 -x604 -x9785 -x9814 -x483 -x558 -x611 -x9673 -x9818 -x495 -x569 -x617 -x9792 -x9821 -x508 -x583 -x624 -x9797
1783.39	v -x520 -x593 -x630 -x9803 -x9826 -x532 -x601 -x636 -x3763 x3764 -x3765 -x9807 -x9830 -x544 -x607 -x640 -x9811 -x9833 -x555
1783.39	v -x614 -x646 -x9816 -x9838 -x566 -x620 -x650 -x9820 -x9842 -x581 -x627 -x655 -x9847 -x591 -x633 -x659 -x9824 -x9851 -x96
1783.39	v -x638 -x663 -x9716 -x9828 -x98 -x644 -x2892 -x2897 -x2907 -x2913 -x2922 -x2933 -x2936 -x2939 x2947 -x3138 -x3150 -x3165
1783.39	v -x3180 -x3183 -x3200 -x3208 -x3222 -x3537 -x3542 -x3553 -x3236 -x2927 -x2951 -x2959 -x2963 -x3136 -x3148 -x3163 -x3188
1783.39	v -x3205 -x3219 -x3242 -x3253 -x3257 -x3535 -x3539 -x3564 -x3570 -x3580 x3772 -x3773 -x3774 -x3171 -x3233 -x3268 -x3550
1783.39	v -x3586 -x3186 -x3239 -x3271 -x3556 -x3596 -x3203 -x3251 -x3274 -x3567 -x3600 -x3255 -x3415 -x3577 x3608 -x7856 -x7858
1783.39	v -x7861 -x7863 -x7865 -x8541 -x8546 -x8563 -x8568 -x8574 -x10059 -x10061 -x10063 -x10066 -x10068 -x11036 -x11052 -x11064
1783.39	v -x11076 -x11088 -x7867 -x7869 -x8553 -x8559 -x8580 -x8585 -x10070 -x10072 -x11047 -x11060 -x11100 -x11112 -x7872 -x7874
1783.39	v -x7876 -x8565 -x8571 -x8577 -x8590 -x8603 -x10074 -x10077 -x10079 -x11033 -x11044 -x11072 -x11084 -x11096 -x11128 -x11141
1783.39	v -x11153 -x7878 -x8582 -x8611 -x10081 -x11108 -x11165 -x7880 -x8617 -x10083 -x11056 -x11124 -x11177 -x7883 -x8624 x10085
1783.39	v -x11068 -x11080 -x11136 -x11189 -x3775 -x3776 -x3777 -x7885 -x8600 -x8631 -x10093 -x11093 -x11148 -x11201 -x7887 -x7889
1783.39	v -x8607 -x8614 -x8646 -x10095 -x10097 -x11105 -x11121 -x11160 -x11172 -x11213 -x11225 -x7891 -x8620 -x8653 -x11185 -x11241
1783.39	v -x7894 -x8628 -x8661 -x10099 -x11133 -x11197 -x11252 -x7896 -x8636 -x8669 -x10101 -x10104 -x11145 -x11157 -x11263 -x7898
1783.39	v -x8642 -x8675 -x10106 -x11169 -x11209 -x11274 x7900 -x8650 -x8682 -x10108 -x11181 -x11221 -x11285 -x7902 -x8658 -x8690
1783.39	v -x10110 -x11193 -x11237 -x11296 -x8666 -x8695 -x11205 -x11248 -x11259 -x11306 -x8672 -x11218 -x11270 -x11315 -x8680
1783.39	v -x8702 -x11234 -x11281 -x11324 -x8686 -x8715 -x11245 -x11292 -x11333 -x8693 -x8722 -x11256 -x11302 -x11341 -x8729 -x11267
1783.39	v -x11312 -x11354 -x8700 -x8735 -x11278 -x11321 -x11363 -x8706 -x8743 -x11289 -x11329 -x11372 -x1497 -x8719 -x8726 -x8732
1783.39	v -x8751 -x8759 -x8766 -x11300 -x11310 -x11318 -x11338 -x11351 -x11360 -x11382 -x11391 -x11399 -x8740 -x8774 -x11327 -x11369
1783.39	v -x11408 -x8748 -x8781 -x11336 -x11378 -x11417 -x8755 -x8786 -x11349 -x11387 -x11426 -x3689 -x3699 -x8763 -x8790 -x11358
1783.39	v -x11396 -x11435 -x8771 -x8794 -x11366 -x11405 -x11442 -x8777 -x11376 -x11414 -x11450 -x8784 -x8798 -x11422 -x11463 -x2344
1783.39	v -x2353 -x2360 -x2370 -x2372 -x2381 -x2383 -x2386 -x2394 -x2397 -x2408 -x2419 -x2392 -x2405 -x2430 -x2403 -x2416 -x2438
1783.39	v -x2766 -x2411 -x2424 -x2449 -x2768 -x2782 -x2422 -x2435 -x2461 -x2770 -x2786 -x2433 -x2446 -x2472 -x2790 -x2801 -x3697
1783.39	v -x2444 -x2458 -x2483 -x2805 -x2456 -x2469 -x2491 -x2815 -x2464 -x2477 -x2501 -x2475 x2488 -x2511 -x2486 -x2498 -x2523
1783.39	v -x2496 -x2508 -x2530 -x2503 -x2515 -x2541 -x2513 -x2527 -x2547 -x2525 -x2538 -x2557 -x2544 -x2561 -x5024 -x9185 -x9191
1783.39	v -x9199 -x9207 -x9210 -x9214 -x9219 -x9228 -x5133 -x9223 -x9234 -x5116 -x5119 -x5129 -x5144 -x5156 -x9231 -x9239 -x9243
1783.39	v -x9252 -x5126 -x5140 -x5169 -x9247 -x9261 -x5137 -x5151 -x5181 -x9256 -x9269 -x5148 -x5163 -x5193 -x9265 -x9278 -x5160
1783.39	v -x5176 -x5205 -x9274 -x9292 -x5173 -x5189 -x5217 -x9288 -x9301 -x5185 -x5201 -x5229 -x9296 -x9309 -x5197 -x5213 -x5241
1783.39	v -x9305 -x9317 -x5209 -x5225 -x5253 -x9313 -x9325 -x5222 -x5237 -x5266 -x5797 -x9321 x9333 -x5234 -x5249 -x5278 -x5830
1783.39	v -x9328 -x9340 -x5246 -x5261 -x5289 -x5818 -x5841 -x9336 -x9348 -x5258 -x5272 -x5300 -x5815 -x5827 -x5852 -x9344 -x9356
1783.39	v -x5269 -x5284 -x5311 -x5824 -x5838 -x5863 -x9351 -x9364 -x5281 -x5295 -x5322 -x5835 -x5848 -x5873 -x9359 -x5292 -x5306
1783.39	v -x5331 -x5845 -x5859 -x5883 -x9367 -x9370 -x5303 -x5317 -x5341 -x5856 -x5869 -x5892 -x9373 -x9378 -x5314 -x5327 -x5350
1783.39	v -x5879 -x5898 -x9381 -x9386 -x5337 -x5357 -x5887 -x9389 -x9392 -x9405 -x9425 -x9430 -x9442 -x9446 -x9450 -x9453 -x1265
1783.39	v -x9457 -x9465 -x1316 -x8163 -x9462 -x9469 -x9474 -x9476 -x9480 -x9483 -x9490 -x1272 -x1273 -x8165 -x9486 -x9494 -x8160
1783.39	v -x8164 -x8166 -x8167 -x8168 -x8169 -x8170 -x8206 -x8209 -x8223 -x9492 -x9496 -x9501 -x9503 -x9505 -x9507 -x9517 -x8212
1783.39	v -x8217 -x8229 -x9509 -x9520 -x8215 -x8221 -x8234 -x9519 x9524 -x11749 -x8220 -x8226 -x8239 -x9522 -x9529 -x12381 -x8225
1783.39	v -x8232 -x8244 -x9526 -x9533 -x12374 -x12388 -x8231 -x8237 -x8255 -x9531 -x9537 -x12367 -x12379 -x12397 -x7945 -x8236
1783.39	v x8242 -x8260 -x9535 -x9542 -x10148 -x12377 -x12405 -x7946 -x8241 -x8247 -x8264 -x9540 -x9546 -x10149 -x12383 -x12386
1783.39	v -x12414 -x12393 -x7947 -x8246 -x8269 -x9544 -x10150 -x12391 -x12423 -x8258 -x9551 -x7948 -x7949 -x12402 -x8257 -x8273
1783.39	v -x9548 -x12433 -x10151 -x7950 -x8262 -x9556 -x12411 -x8275 -x9554 -x10152 -x12400 -x12409 -x12443 -x7951 -x8267 -x9562
1783.39	v -x12420 -x9559 -x10153 -x12418 -x12453 -x7953 -x8271 -x9566 -x12430 -x9564 -x10154 -x12427 -x12462 -x9572 -x7954 -x12440
1783.39	v -x3778 -x9569 -x9577 -x10155 -x12437 -x12449 -x12470 -x7955 -x9575 -x9581 -x10156 -x12447 -x12458 -x12479 -x9154 -x9586
1783.39	v -x10158 -x12457 -x12467 -x12491 -x7956 -x9584 -x9590 -x10159 -x12466 -x12499 -x7959 -x9589 -x10162 -x12475 -x12476 -x12489
1783.39	v -x12506 -x7962 -x9594 x10165 -x12488 -x12496 -x12514 -x7966 -x9598 -x10169 -x12495 -x12504 -x12522 -x3779 -x3780 -x3781
1783.39	v -x3788 -x7969 -x9165 -x10172 -x12503 -x12512 -x12529 -x7972 -x10175 -x12511 -x12519 -x12537 -x7976 -x10178 -x12518 -x12527
1783.39	v -x12545 -x7979 -x10182 -x12526 -x12535 -x12552 -x7982 -x10185 -x12534 -x12543 -x12560 -x7986 -x10188 -x12541 -x12550
1783.39	v -x12568 -x7989 -x10192 -x12549 -x12558 -x12576 x8013 -x10220 -x12557 -x12566 -x12583 -x12565 -x12573 -x12591 -x12572
1783.39	v -x12581 -x9 -x3789 -x3790 -x3791 -x3792 -x12580 -x12589 -x16 -x12588 -x12596 -x24 -x12595 -x14 -x32 -x13 -x22 -x39 -x21
1783.39	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
1783.39	v -x81 -x94 -x11217 -x11254 -x11287 -x11320 -x11357 -x11390 -x11423 -x11461 -x11494 -x3797 -x3803 -x3804 -x3805 x3845 -x3846
1783.39	v x3847 x3858 -x3859 x3860 x3871 -x3872 x3873 x3884 -x3885 x3886 -x3897 -x3898 x3899 x3910 -x3911 x3912 -x3806 -x3807 x3808
1783.39	v x3809 -x3810 -x3811 -x3812 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3835 -x3836 -x3837
1783.39	v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x5332 -x5388 -x5443 -x5499 -x5554 -x5610 -x5665 -x5722 x5777 -x5833
1783.39	v -x5888 -x5944 -x5988 -x6032 -x6059 -x6619 -x6680 -x6735 -x6785 -x6829 -x6880 -x6924 -x6986 -x7041 -x7103 -x7147 -x7191
1783.39	v -x7242 -x7286 -x7337 -x7381 -x7425 -x7598 -x7664 -x7723 -x7778 -x7837 -x7892 -x7952 -x8007 -x8057 x8101 -x8150 -x8194
1783.39	v -x8238 -x8276 -x8309 -x8331 -x8676 -x8714 -x8747 -x8780 -x8813 -x8850 -x8883 -x8916 -x8953 -x8986 -x9019 -x9056 -x9089
1783.39	v -x9122 -x9155 -x9193 -x9226 -x9259 -x9297 -x9330 -x9363 x9385 -x3848 -x3849 -x393 -x426 -x463 -x496 -x529 -x551 x588 -x621
1783.39	v -x654 -x691 -x724 -x735 -x2351 -x2358 -x2368 -x2379 -x2390 -x2398 -x2409 -x2420 -x2431 -x2442 -x2450 -x2462 -x2473 -x2484
1783.39	v x2495 -x2502 -x2512 -x2524 -x2531 -x2542 -x2553 -x2558 -x2562 -x2569 -x2784 -x2788 -x2798 -x2802 -x2806 -x2816 -x2820
1783.39	v -x2830 x2833 -x2836 -x2839 -x2848 -x2851 -x2854 -x2855 -x2895 -x2905 -x2911 -x2920 -x2926 -x2934 x2937 -x2940 -x2948 -x2952
1783.39	v -x2960 -x2964 -x3001 -x3008 -x3019 -x3030 -x3036 -x3047 -x3053 -x3064 x3075 -x3086 -x3093 -x3104 -x3116 -x3123 -x3133
1783.39	v -x3426 -x3431 -x3442 -x3447 -x3457 -x3462 -x3471 -x3476 x3486 -x3491 -x3502 -x3507 -x3518 -x3523 -x3526 -x3696 -x3700
1783.39	v -x3870 -x3877 -x3881 -x3888 x3892 -x3896 -x3903 -x3908 -x3914 -x3994 -x3998 -x4002 -x4012 x4016 -x4026 -x4030 -x4034 -x4043
1783.39	v -x3850 -x3851 x3852 x3853 -x4087 -x4091 -x4095 -x4104 -x4108 -x4118 -x4122 x4126 -x4134 -x4173 -x4184 -x4188 -x4198 x4202
1783.39	v -x4206 -x4216 -x4220 -x4229 -x4349 -x4352 -x4356 -x4359 -x4362 -x4366 -x4370 -x4374 -x4379 -x4382 -x4385 -x4390 x4393
1783.39	v -x4396 -x4398 -x3363 -x3364 -x3365 -x3366 -x4424 -x4428 -x4433 -x4437 -x4441 -x4445 -x4447 -x3377 -x3378 -x3379 -x3380
1783.39	v -x4462 -x4466 -x4469 -x4472 -x4475 -x4479 -x4481 -x5123 -x5134 -x5145 -x5157 -x5170 -x5182 -x5194 -x5206 -x5218 -x5230
1783.39	v -x5242 -x5255 -x5267 -x5279 -x5290 -x5301 -x5312 -x5323 -x5333 -x5342 -x5351 -x5822 -x5831 -x5842 -x5853 -x5864 -x5874
1783.39	v -x5884 x5893 -x5900 -x5905 -x5911 -x5916 -x5920 -x5924 -x5927 -x5929 -x6038 -x6047 -x6061 -x6069 -x6077 -x6085 x6091 -x6097
1783.39	v -x6102 -x6108 -x6113 -x6119 -x6124 -x6376 -x6382 -x6387 -x6392 -x6396 -x6406 -x6410 -x6414 -x6417 -x6419 -x6422 -x6425
1783.39	v x6429 -x6432 -x6435 -x6439 -x6442 -x6445 -x6446 -x6580 -x6582 -x6584 -x6587 -x6589 -x6591 x6593 -x6595 -x6598 -x6599 -x3854
1783.39	v x3855 -x3856 -x6684 -x6686 -x6688 -x6690 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6842 -x6846 -x6850 -x6853 -x6855
1783.39	v -x6857 -x6859 x6861 -x6871 -x6873 -x6876 -x6879 -x6883 -x6884 -x6905 -x6907 x6909 -x6910 -x6922 -x6925 -x6927 -x6928 -x6940
1783.39	v -x6942 x6944 -x6945 -x6955 -x6958 x6960 -x6962 -x7254 -x7259 -x7265 -x7270 -x7274 -x7280 -x7285 -x7292 -x7300 -x7306 -x7313
1783.39	v -x7320 -x7327 -x7342 -x7350 -x7357 -x7365 -x7373 -x7380 -x7388 -x7396 -x7404 -x7411 -x7419 -x7427 -x7434 -x7442 x7454
1783.39	v -x7461 -x7469 -x7476 -x7481 -x7486 -x7490 -x7494 -x7499 -x7503 -x7594 -x7600 -x7605 -x7611 -x7615 -x7619 -x7623 -x7626
1783.39	v -x7630 -x7635 -x7639 -x7666 -x7670 -x7674 -x7683 -x7687 -x7692 -x7696 -x7700 -x7705 -x7710 -x7716 -x7721 -x7727 -x7732
1783.39	v -x7738 -x7743 -x7749 -x7754 x7760 -x7765 -x7771 -x8076 -x8082 -x8087 -x8093 -x8098 -x8104 -x8109 -x8115 x8120 -x8126 -x8131
1783.39	v -x8142 -x8146 -x8151 -x8155 -x8157 -x8158 x3857 -x3861 -x3862 -x9176 -x9183 -x9188 -x9196 -x9203 -x9211 -x9220 -x9229
1783.39	v -x9235 -x9244 -x9253 -x9262 -x9271 -x9279 -x9293 -x9302 -x9310 -x9318 -x9326 x9334 -x9342 -x9349 -x9357 -x9365 -x9371
1783.39	v -x9379 -x9387 -x9393 -x9406 -x9414 -x9421 -x9428 -x9435 -x9439 -x9447 -x9454 -x9460 -x9466 -x9472 -x9477 -x9484 -x9871
1783.39	v -x9876 -x9880 -x9885 -x9889 -x9893 -x9898 -x9902 -x9907 -x9912 x9918 -x9923 -x9929 -x9934 -x9940 -x9945 -x9951 -x9956
1783.39	v -x9962 -x9967 -x9978 -x11993 -x12001 -x12009 -x12017 -x12024 -x12036 -x12044 -x12051 -x12059 -x12067 -x12074 -x12082
1783.39	v -x12090 -x12098 -x12105 -x12113 -x12121 -x12128 -x12136 -x12148 -x12155 -x12163 -x12171 -x12180 -x12188 -x12197 -x12205
1783.39	v -x12212 -x12218 -x12225 -x12231 -x12237 -x12242 -x12248 -x12252 -x12261 -x12265 -x12268 -x12272 -x12275 -x12278 -x12282
1783.39	v -x12285 -x12289 -x12294 -x12298 -x12302 -x12307 -x12311 -x12316 -x12320 -x12324 -x12329 -x12333 -x12338 -x12342 -x12346
1783.39	v -x12351 -x12355 -x12360 -x12362 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x862 -x864 -x866 -x868 -x870 -x873 -x875
1783.39	v -x1165 -x1172 -x1178 -x1184 -x1188 -x1193 -x1197 -x1201 -x1206 -x1209 -x1213 -x1218 -x1222 -x1227 -x1231 -x1234 x1238
1783.39	v -x1241 -x1244 -x1248 -x1251 -x1254 -x1257 -x1268 -x1271 -x1630 -x1632 -x1635 -x1637 -x1639 -x1641 -x1643 -x1646 -x1648
1783.39	v -x1650 -x1652 -x1654 -x1657 -x1659 -x1661 -x1663 x1665 -x1668 -x1670 -x1672 -x1674 -x1676 -x1923 -x1925 -x1927 -x1929
1783.39	v -x1932 -x1934 -x1936 -x1938 -x1940 -x1943 -x1945 -x1947 x1949 -x1951 -x1959 -x1961 -x1963 -x1965 -x1967 -x4443 -x4476
1783.39	v -x4510 -x4543 x4576 -x4611 -x4644 -x4677 -x4688 -x4955 -x5188 -x6070 -x6218 -x6251 -x6289 -x6322 -x6355 -x6388 -x6426
1783.39	v -x6459 -x6492 -x6531 -x7576 -x8205 -x8320 -x8380 -x8413 -x8446 -x8484 x8517 -x8550 -x8583 -x8621 -x8632 -x3863 -x3864
1783.39	v -x3865 -x9516 -x9549 -x9582 -x9615 -x9653 -x9686 -x9719 -x9757 -x9823 -x9861 -x9894 -x9905 x10434 -x10798 -x11059 -x11092
1783.39	v -x11129 -x11162 -x11173 -x11994 -x62 -x106 -x143 x187 -x235 -x279 -x334 -x1380 -x1457 -x1540 -x1623 -x1700 -x1782 -x1864
1783.39	v x1941 -x2006 -x2016 -x2020 -x2024 -x2035 -x2039 -x2570 -x2606 -x2615 -x2619 -x2627 x2631 -x2639 -x2643 -x2647 -x2655 -x2966
1783.39	v -x2968 -x2975 x2978 -x2981 -x2988 -x2991 -x3369 -x3373 -x3381 -x3385 x3389 -x3398 -x3402 -x3411 -x3417 -x3651 -x3654 -x3657
1783.39	v -x3660 x3669 -x3672 -x3675 -x3683 -x3688 -x3866 -x3931 -x3934 x3937 -x3946 -x3949 -x3969 -x3978 x3981 -x3984 -x4044 -x4063
1783.39	v -x4066 -x4074 -x4077 x4135 -x4154 -x4157 x4165 -x4168 -x4230 -x4278 -x4308 -x4314 -x4319 -x4325 -x4329 -x4334 x4338 -x4344
1783.39	v -x4375 -x4397 -x4400 -x4401 -x4404 -x4407 -x4411 -x4414 -x4417 -x4418 -x4482 -x4485 -x4489 -x4492 -x4495 -x4500 -x4501
1783.39	v -x4514 -x4519 -x4621 -x4626 -x4630 -x4635 -x4639 -x4643 -x4648 -x4652 -x4657 -x4661 -x4662 -x4981 -x5012 -x5535 -x5558
1783.39	v -x5566 -x5568 -x5592 -x5596 -x5601 -x5605 x5611 -x5615 -x5619 -x5624 -x5625 -x5760 -x5791 -x5954 -x5973 -x5978 -x5979
1783.39	v -x5981 -x5984 -x5987 x5991 -x5994 -x5997 -x5998 -x6134 -x6153 -x6159 -x6168 -x6278 -x6283 -x6319 -x6325 -x6330 -x6336
1783.39	v -x6341 -x6346 x6350 -x6353 -x6357 -x6360 -x6363 -x6368 -x6369 -x6493 -x6539 -x6545 -x6559 -x6562 -x6566 x6569 -x6572 -x6576
1783.39	v -x6577 -x6643 -x6649 -x6663 -x6666 -x6670 -x6673 -x6676 -x6679 -x6681 -x6710 -x6778 -x6783 -x6810 -x6814 -x6819 x6822
1783.39	v -x6825 -x6828 -x6832 -x6835 -x6836 -x6894 x6898 -x6901 -x6911 -x6916 -x6919 -x6929 x6933 -x6937 -x6947 x6951 -x6952 -x6961
1783.39	v -x7016 -x7020 -x7023 -x7026 -x7029 -x7033 -x7036 -x7039 -x7043 -x7046 -x7049 -x7053 -x7056 -x7059 -x7062 x7066 -x7069
1783.39	v -x7073 -x7078 -x7082 -x7087 -x7091 -x7095 -x7107 -x7108 -x7478 -x7502 -x7513 -x7527 -x7555 -x7641 -x7645 -x7648 -x7651
1783.39	v -x7655 -x7658 -x7659 -x7661 -x7957 -x7960 -x7964 -x7967 -x7970 -x7973 -x7977 -x7983 -x7987 -x7988 -x8171 -x8175 -x8178
1783.39	v -x8181 -x8185 x8188 -x8191 -x8195 -x8198 -x8201 -x8202 -x8807 -x9150 -x9164 -x9611 -x9617 -x9622 -x9632 -x9637 -x9643
1783.39	v -x9648 -x9654 -x9659 x9663 -x9669 -x9674 -x9680 -x9685 -x9696 -x9702 -x9707 -x9712 -x9717 -x9718 -x9867 -x10160 -x10163
1783.39	v -x10166 -x10170 -x10173 x10176 -x10180 -x10186 -x10189 -x10191 -x11735 -x11743 -x11752 -x11761 -x11770 -x11779 -x11787
1783.39	v -x11796 -x11809 -x11818 -x11827 -x11835 -x11844 -x11852 -x11860 -x11866 -x11873 -x11879 -x11885 -x11890 -x11895 -x11899
1783.39	v -x11904 -x11908 -x11921 -x11925 -x11930 -x11934 -x11938 -x11943 -x11947 -x11952 -x11956 -x11960 -x11965 -x11969 -x11974
1783.39	v -x11978 -x11982 -x11984 -x88 -x706 -x817 -x819 -x821 -x823 -x825 -x828 -x830 -x836 -x840 -x841 -x886 -x1276 -x1278 -x1280
1783.39	v -x1282 -x1284 -x1287 -x1289 -x1291 x1293 -x1298 -x1300 -x1302 -x1304 -x1306 -x1309 -x1310 -x1321 -x1368 -x1428 -x1580
1783.39	v -x1582 -x1585 -x1587 -x1590 -x1593 -x1597 -x1600 x1613 -x1616 -x1619 -x1622 -x1626 -x1627 -x1677 -x1753 -x1887 -x1889
1783.39	v -x1891 -x1893 -x1895 -x1899 x1902 -x1905 -x1909 -x1915 -x1918 -x1920 -x9790 -x4342 -x7980 -x9691 -x10183 -x11912 -x833
1783.39	v -x1295 -x1603 -x1912 -x3867 -x3868 -x3869 -x3874 -x3875 -x3876 -x3878 -x3879 -x3880 -x3882 -x3883 -x3887 -x3889 -x3890
1783.39	v x3891 -x3893 -x3894 -x3895 -x3900 -x3901 -x3902 -x3904 -x3905 -x3906 -x3907 -x3909 -x3913 -x3915 -x3916 -x3917 -x3918
1783.39	v -x3919 -x3920 -x3921 -x3922 -x3929 -x3930 x3932 x3933 x3935 -x3936 -x3938 -x3945 -x3947 -x3948 -x3950 -x3951 -x3952 -x3953
1783.39	v -x3954 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3970 -x3971 -x3979 -x3980 -x3982 x3983 -x3985 -x3986 -x3987
1783.39	v -x3993 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4009 -x4010 -x4011 -x4013 x4014 -x4015 -x4017 x4018 -x4025 -x4027 -x4028
1783.39	v x4029 -x4031 -x4032 -x4033 -x4041 -x4042 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4057 -x4058 -x4059 -x4060 -x4061
1783.39	v -x4062 -x4064 -x4065 -x4072 -x4073 -x4075 -x4076 -x4078 -x4079 -x4080 -x4081 -x4088 -x4089 -x4090 -x4092 -x4093 -x4094
1783.39	v -x4096 -x4102 -x4103 -x4105 -x4106 -x4107 -x4109 -x4110 -x4111 -x4119 -x4120 -x4121 -x4123 x4124 -x4125 -x4127 x4133 -x4136
1783.39	v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 -x4158 -x4164 -x4166 x4167
1783.39	v -x4169 -x4170 -x4171 -x4172 -x4181 -x4182 -x4183 -x4185 -x4186 -x4187 -x4189 -x4190 -x4197 -x4199 x4200 -x4201 -x4203
1783.39	v x4204 -x4205 -x4213 -x4214 x4215 -x4217 -x4218 -x4219 -x4221 -x4222 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238
1783.39	v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267
1783.39	v -x4268 -x4269 -x4270 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4289 -x4290 -x4291 -x4292 -x4293
1783.39	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4309 -x4311 -x4312 -x4313
1783.39	v -x4315 -x4316 -x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4326 -x4327 -x4328 -x4330 -x4331 -x4333 -x4335 -x4336 -x4337
1783.39	v -x4339 x4340 -x4341 -x4345 -x4346 -x4347 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4358 -x4360 -x4361 -x4363 -x4364
1783.39	v -x4367 -x4368 -x4369 -x4371 -x4372 -x4373 -x4377 -x4378 -x4380 -x4381 -x4383 -x4384 -x4386 -x4389 -x4391 x4392 -x4394
1783.39	v -x4395 -x4402 -x4405 -x4408 -x4412 -x4415 -x4422 -x4426 -x4430 -x4435 -x4439 -x4442 -x4448 -x4449 -x4450 -x4451 -x4452
1783.39	v -x4453 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4463 -x4464 -x4467 -x4468 -x4470 -x4471 -x4473 -x4474 -x4477 -x4478
1783.39	v -x4480 -x4483 -x4484 -x4486 -x4488 -x4490 -x4491 -x4493 -x4494 -x4496 -x4497 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507
1783.39	v -x4508 -x4509 -x4511 -x4512 -x4513 -x4515 -x4516 -x4517 -x4518 -x4520 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528
1783.39	v -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547
1783.39	v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4566
1783.39	v -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584
1783.39	v -x4585 -x4586 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4603
1783.39	v -x4604 -x4605 -x4606 -x4607 -x4608 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4623 -x4624 -x4625
1783.39	v -x4627 -x4628 -x4629 -x4631 -x4632 -x4634 -x4636 -x4637 -x4638 -x4640 -x4641 -x4642 -x4645 -x4646 -x4647 -x4649 -x4650
1783.39	v -x4651 -x4653 -x4654 -x4656 -x4658 -x4659 -x4660 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673
1783.39	v -x4674 -x4675 -x4676 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4689 -x4690 -x4691 -x4692
1783.39	v -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711
1783.39	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730
1783.39	v -x4731 -x4732 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4745 -x4746 -x4747 -x4748 -x4749
1783.39	v -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4767 -x4768
1783.39	v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786
1783.39	v -x4787 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805
1783.39	v -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824
1783.39	v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843
1783.39	v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862
1783.39	v -x4863 -x4864 -x4865 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4878 -x4879 -x4880 -x4881
1783.39	v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4900
1783.39	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918
1783.39	v -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937
1783.39	v -x4938 -x4939 -x4940 -x4941 -x4942 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4956 -x4957
1783.39	v -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975
1783.39	v -x4976 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995
1783.39	v -x4996 -x4997 -x4998 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5011 -x5013 -x5014 -x5015
1783.39	v -x5016 -x5017 -x5018 -x5019 -x5020 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5033 -x5034 -x5035
1783.39	v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053
1783.39	v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073
1783.39	v -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5089 -x5090 -x5091 -x5092
1783.39	v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5111
1783.39	v -x5112 -x5113 -x5114 -x5115 -x5117 -x5118 -x5120 -x5122 -x5124 -x5125 -x5127 -x5128 -x5130 -x5131 -x5135 -x5136 -x5138
1783.39	v -x5139 -x5141 -x5142 -x5146 -x5147 -x5149 -x5150 -x5152 -x5153 -x5155 -x5158 -x5159 -x5161 -x5162 -x5164 -x5167 -x5168
1783.39	v -x5171 -x5172 -x5174 -x5175 -x5178 -x5179 -x5180 -x5183 -x5184 -x5186 -x5187 -x5190 -x5191 -x5192 -x5195 -x5196 -x5198
1783.39	v -x5200 -x5202 -x5203 -x5204 -x5207 -x5208 -x5211 -x5212 -x5214 -x5215 -x5216 -x5219 -x5220 -x5223 -x5224 -x5226 -x5227
1783.39	v -x5228 -x5231 -x5233 -x5235 -x5236 -x5238 -x5239 -x5240 -x5244 -x5245 -x5247 -x5248 -x5250 -x5251 -x5252 -x5256 -x5257
1783.39	v -x5259 -x5260 -x5262 -x5263 -x5264 -x5268 -x5270 -x5271 -x5273 -x5274 -x5275 -x5280 -x5282 -x5283 -x5285 -x5286 -x5287
1783.39	v -x5291 -x5293 -x5294 -x5296 -x5297 -x5298 -x5302 -x5304 -x5305 -x5307 -x5308 -x5309 -x5313 -x5315 -x5316 -x5318 -x5319
1783.39	v -x5320 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5334 -x5335 -x5336 -x5338 -x5339 -x5340 -x5344 -x5345 -x5346 -x5347
1783.39	v -x5348 -x5349 -x5352 -x5353 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5366 -x5367 -x5368 -x5369
1783.39	v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5386 -x5390 -x5393 -x5395
1783.39	v -x5398 -x5401 -x5404 -x5406 -x5409 -x5412 -x5415 -x5417 -x5420 -x5423 -x5426 -x5428 -x5430 -x5433 -x5435 -x5437 -x5438
1783.39	v -x5439 -x5440 -x5441 -x5442 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5455 -x5456 -x5457
1783.39	v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475
1783.39	v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494
1783.39	v -x5495 -x5496 -x5497 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5511 -x5512 -x5513 -x5514
1783.39	v -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5533
1783.39	v -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552
1783.39	v -x5553 -x5555 -x5556 -x5557 -x5559 -x5560 -x5561 -x5562 -x5563 -x5567 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575
1783.39	v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5588 -x5589 -x5590 -x5591 -x5593 -x5594 -x5595
1783.39	v -x5597 -x5599 -x5600 -x5602 -x5603 -x5604 -x5606 -x5607 -x5608 -x5612 -x5613 x5614 -x5616 -x5617 -x5618 -x5620 -x5622
1783.39	v -x5623 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642
1783.39	v -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661
1783.39	v -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680
1783.39	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5699
1783.39	v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717
1783.39	v -x5718 -x5719 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738
1783.39	v -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757
1783.39	v -x5758 -x5759 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776
1783.39	v -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796
1783.39	v -x5798 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817
1783.39	v -x5819 -x5820 -x5823 -x5825 -x5826 -x5828 -x5829 -x5834 -x5836 -x5837 -x5839 -x5840 -x5843 -x5846 -x5847 -x5849 -x5850
1783.39	v -x5851 -x5854 -x5857 -x5858 -x5860 -x5861 -x5862 -x5865 -x5867 -x5868 -x5870 -x5871 -x5872 -x5875 -x5876 -x5878 -x5880
1783.39	v -x5881 -x5882 -x5885 -x5886 -x5889 x5890 -x5891 -x5894 -x5895 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5906 -x5907
1783.39	v -x5908 -x5909 -x5912 -x5913 -x5914 -x5915 -x5917 -x5918 -x5919 -x5922 -x5923 -x5925 -x5926 -x5928 -x5930 -x5931 -x5933
1783.39	v -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952
1783.39	v -x5953 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5974
1783.39	v -x5975 -x5976 -x5980 -x5982 -x5983 -x5985 -x5986 -x5989 -x5990 -x5992 x5993 -x5995 -x5996 -x6000 -x6003 -x6005 -x6008
1783.39	v -x6011 -x6014 -x6016 -x6019 -x6022 -x6024 -x6026 -x6027 -x6028 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6039
1783.39	v -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6060 -x6062 -x6063 -x6064 -x6065
1783.39	v -x6066 -x6067 -x6068 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6078 -x6079 -x6080 -x6082 -x6083 -x6084 -x6086 -x6087
1783.39	v x6088 -x6089 -x6090 -x6093 -x6094 x6095 -x6096 -x6098 -x6099 x6100 -x6101 -x6104 -x6105 x6106 -x6107 -x6109 -x6110 x6111
1783.39	v -x6112 -x6115 -x6116 x6117 -x6118 -x6120 -x6121 x6122 -x6123 -x6126 -x6127 x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6135
1783.39	v x6137 -x6138 -x6139 -x6140 x6141 -x6142 -x6143 -x6144 -x6145 x6146 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156
1783.39	v -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183
1783.39	v -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202
1783.39	v -x6203 -x6204 -x6205 -x6206 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6219 -x6220 -x6221
1783.39	v -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239
1783.39	v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6252 x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259
1783.39	v -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6274 -x6275 -x6276 -x6277 -x6279
1783.39	v -x6280 -x6281 -x6282 -x6290 -x6291 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306
1783.39	v -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6320 -x6321 -x6323 -x6324 -x6326 -x6327
1783.39	v -x6328 -x6329 -x6331 -x6332 -x6334 -x6335 -x6337 -x6338 -x6339 -x6340 -x6342 -x6343 -x6345 -x6347 -x6348 -x6349 -x6351
1783.39	v x6352 -x6354 -x6356 -x6358 -x6359 -x6361 -x6362 -x6364 -x6365 -x6367 -x6370 -x6371 -x6372 -x6374 -x6375 -x6380 -x6381
1783.39	v -x6385 -x6386 -x6390 -x6391 -x6394 -x6398 -x6408 -x6412 -x6416 -x6418 -x6420 -x6421 -x6423 -x6427 -x6430 -x6433 -x6436
1783.39	v -x6440 -x6443 -x6449 -x6450 -x6452 -x6453 -x6455 -x6458 -x6462 -x6465 -x6467 -x6468 -x6471 -x6472 -x6473 -x6474 -x6475
1783.39	v -x6476 -x6477 -x6478 -x6479 -x6480 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6494 -x6496
1783.39	v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6513 -x6521 -x6522 -x6524 -x6525
1783.39	v -x6526 -x6528 -x6529 x6530 -x6532 -x6534 -x6535 -x6536 -x6537 -x6540 -x6541 -x6543 -x6546 -x6547 -x6549 -x6550 -x6551
1783.39	v -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6560 -x6561 -x6563 -x6565 -x6567 -x6568 -x6570 x6571 -x6573 -x6574 -x6578
1783.39	v -x6579 -x6581 x4288 -x6583 -x6585 -x6588 -x6590 -x6592 -x6594 -x6596 x4299 -x6600 -x6601 -x6602 -x6604 -x6605 -x6606 x4310
1783.39	v -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6617 -x6618 -x6620 -x6622 -x6623 -x6624 -x6626 -x6627 -x6628 -x6629 -x6638
1783.39	v -x6639 -x6640 -x6641 -x6644 -x6645 -x6646 -x6650 -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6659 x4321 -x6660 -x6661
1783.39	v -x6662 -x6664 -x6665 -x6667 -x6668 -x6671 -x6672 -x6674 -x6675 -x6677 -x6678 -x6682 -x6683 -x6685 -x6687 -x4332 -x4343
1783.39	v -x4354 -x4365 -x4376 -x4388 -x4399 -x4410 -x4421 -x4432 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x4454 -x4465 -x6704
1783.39	v -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x4487 -x4499 -x6712 -x6714 -x6715 -x6717 -x6718 -x6719 -x6721 -x6722 -x6723
1783.39	v -x6726 -x6727 -x6728 -x6730 -x6731 -x6732 -x6734 -x6736 -x6737 -x6739 -x6740 -x6741 -x6742 -x6744 x6745 -x6753 -x6754
1783.39	v -x6756 -x6757 x6758 -x6759 -x6761 -x6762 -x6764 -x6765 -x4521 -x4532 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773
1783.39	v -x6775 -x6776 -x6777 -x6779 -x6780 -x6781 -x6782 -x6784 -x6786 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6797
1783.39	v -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6808 -x6809 -x6811 -x6812 -x6813 x4554 x4565 -x6815 -x6816
1783.39	v -x6817 -x6820 -x6821 -x6823 x6824 -x6826 -x6827 -x6830 -x6831 -x6833 -x6834 -x6837 -x6839 -x6841 -x6844 -x6845 -x6848
1783.39	v -x6849 -x4587 -x4598 -x6852 -x6854 -x6856 -x6858 -x6860 -x6870 -x6872 -x6874 -x6877 -x6881 -x4622 -x4633 -x6886 -x6888
1783.39	v -x6892 -x6893 -x4655 -x4666 -x4699 -x6895 -x6896 -x6897 -x6899 x6900 -x4710 -x4722 -x4744 -x6903 -x6904 -x6906 -x6908
1783.39	v -x6912 -x6914 -x6915 -x6917 -x6918 -x6920 -x6921 -x6923 -x4755 -x4766 -x4777 -x6926 -x6930 -x6931 -x6932 -x6934 x6936
1783.39	v -x6938 -x6939 -x6941 -x6943 -x6948 -x6949 -x6950 -x4788 -x4799 -x4810 x6953 -x6954 -x6956 -x6959 -x6963 -x6964 -x6965
1783.39	v -x6966 -x6967 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6987 -x6988 -x6989 -x6990 -x6991
1783.39	v -x6992 -x6993 -x6994 -x4821 -x4833 -x4844 -x4855 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005
1783.39	v -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7017 -x7018 -x7021 -x7022 -x7024 -x7025 -x7027 -x7028
1783.39	v -x7031 -x7032 -x4866 -x4877 -x4888 -x4899 -x7034 -x7035 -x7037 -x7038 -x7040 -x7042 -x7044 -x7045 -x7047 -x7048 -x7050
1783.39	v -x7051 -x7054 -x7055 -x7057 -x7058 -x7060 -x7061 -x7064 -x7065 -x4910 -x4921 -x4932 -x4944 -x7067 x7068 -x7070 -x7071
1783.39	v -x7072 -x7075 -x7076 -x7077 -x7079 -x7080 -x7081 -x7083 -x7084 -x7086 -x7088 -x7089 -x7090 -x7092 -x7093 -x7094 -x7104
1783.39	v -x7105 -x7106 -x7109 -x7110 -x7111 -x7112 -x7113 -x7115 -x4966 -x4977 -x4988 -x4999 -x7116 -x7117 -x7118 -x7119 -x7120
1783.39	v -x7121 -x7122 -x7123 -x7124 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7137 -x7138 -x7139
1783.39	v -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157
1783.39	v -x7159 -x5010 -x5021 -x5032 -x5043 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172
1783.39	v -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190
1783.39	v -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7203 -x5055 -x5066 -x5077 -x5088 -x7204 -x7205
1783.39	v -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230
1783.39	v -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249
1783.39	v -x7250 -x7251 -x7252 -x5099 -x5110 x5121 x5132 -x7255 -x7256 -x7257 -x7258 -x7260 -x7261 -x7262 -x7263 -x7266 -x7267 -x7268
1783.39	v -x7269 -x7271 -x7272 -x7273 -x7276 -x7277 -x7278 -x7279 -x7281 -x7282 -x7283 -x7284 -x7287 -x7288 -x7289 -x7290 -x7291
1783.39	v -x7293 -x7294 -x7295 -x7296 -x7298 -x7299 -x7301 -x7302 -x7303 -x7304 -x7305 -x7307 -x7309 -x7310 -x7311 -x7312 -x7314
1783.39	v -x5143 -x5154 -x5166 -x5177 -x7315 -x7316 -x7317 -x7318 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7328 -x7329 -x7338
1783.39	v -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7349 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7358 -x7360
1783.39	v -x7361 -x7362 -x7363 -x7364 -x7366 -x7367 -x7368 -x7369 -x7371 -x7372 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7382
1783.39	v -x7383 -x7384 -x7385 -x7386 -x7387 -x7389 -x7390 -x7391 -x7393 -x7394 -x7395 -x7397 -x5199 -x5210 -x5221 -x7398 -x7399
1783.39	v -x7400 -x7401 -x7402 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7412 -x7413 -x7415 -x7416 -x7417 -x7418 -x7420 -x7421
1783.39	v -x7422 -x7423 -x7424 -x7426 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7435 -x7437 -x7438 -x7439 -x7440 -x7441 -x7443
1783.39	v -x7444 -x7445 -x7446 x7452 -x7453 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468
1783.39	v -x7470 -x7471 -x7472 -x7474 -x7475 -x7477 -x5232 -x5243 -x5254 -x7479 -x7480 -x7482 -x7483 -x7485 -x7487 -x7488 -x7489
1783.39	v -x7491 -x7492 -x7493 -x7496 -x7497 -x7498 -x7500 -x7501 -x7504 -x7505 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x5265
1783.39	v -x5277 -x5288 -x7514 -x7515 -x7516 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x5299 -x5310 -x5321
1783.39	v -x5343 -x5354 -x5365 -x5376 -x5399 -x5410 -x5421 -x5432 -x5454 -x5465 -x5476 -x5487 -x5510 -x5521 -x5532 -x5543 -x5565
1783.39	v -x5576 -x5587 -x5598 -x5621 -x5632 -x5643 -x5654 -x5676 -x5687 -x5698 -x5709 -x5733 -x5744 x5755 -x5766 -x5788 -x5799
1783.39	v -x5810 x5821 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7540 -x7541 -x7542 -x7543 -x7544
1783.39	v -x7545 -x7546 -x7547 -x7548 -x7549 -x7551 -x7552 -x7553 -x7554 -x7556 -x7557 -x7558 -x7559 -x7560 -x7566 -x7567 -x7568
1783.39	v -x7569 -x7570 -x7571 -x7572 -x5844 -x5855 -x5866 -x5877 -x7573 -x7574 -x7575 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582
1783.39	v -x7583 -x7584 -x7585 -x7586 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595 -x7596 -x7597 -x7599 -x7601 -x7602 -x7603
1783.39	v -x7604 -x7606 -x7607 -x7608 -x7610 -x7612 -x7613 -x7614 -x7616 -x7617 -x7618 -x5899 -x5910 -x5921 -x5932 -x7621 -x7622
1783.39	v -x7624 -x7625 -x7627 -x7628 -x7629 -x7632 -x7633 -x7634 -x7636 -x7637 -x7638 -x7640 -x7643 -x7644 -x7646 -x7647 -x7649
1783.39	v -x7650 -x7652 -x7654 -x5955 -x5966 -x5977 -x7656 -x7657 -x7660 -x5999 -x6010 -x6021 -x6043 -x7662 -x7663 -x7665 -x7667
1783.39	v -x7668 -x7669 -x7671 -x7672 -x7673 -x7680 -x7681 -x7682 -x7684 -x7685 -x7686 -x7688 -x7689 -x7691 -x7693 -x7694 -x7695
1783.39	v -x7697 -x7698 -x7699 -x7702 -x7703 -x7704 -x7706 -x7707 -x7708 -x7711 -x7713 -x7714 -x7717 -x7718 -x7719 -x7722 -x7724
1783.39	v -x7725 -x7728 -x7729 -x7730 -x7733 -x7735 -x7736 -x7739 -x7740 -x7741 -x7744 -x7746 -x7747 -x7750 -x7751 -x7752 -x7755
1783.39	v -x7757 x7758 -x7761 -x7762 -x7763 -x7766 -x7768 -x7769 -x7772 -x7773 -x7774 -x7776 -x7777 -x7779 -x7781 -x7782 -x7783
1783.39	v -x7785 -x7786 -x7787 -x7794 -x7795 -x7796 -x7798 -x7799 -x7800 -x7802 -x7803 -x7805 -x7807 -x7808 -x7809 -x7811 -x7812
1783.39	v -x7813 -x7814 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831
1783.39	v -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7849 -x7850 -x7852
1783.39	v -x7854 -x7855 -x7857 -x7860 -x7862 -x7864 -x7866 -x7868 -x7871 -x7873 -x7875 -x7877 -x7879 -x7882 -x7884 -x7886 -x7888
1783.39	v -x7890 -x7893 x7895 x7897 -x7899 -x7901 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7920 -x7921
1783.39	v -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939
1783.39	v -x7940 -x7942 -x7943 -x7944 -x7958 -x7961 -x7965 -x7968 -x7971 -x7975 -x7978 -x7981 -x7984 -x7990 -x7991 -x7992 -x7993
1783.39	v -x7994 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 x8012
1783.39	v -x8014 -x8015 -x8016 -x8017 -x8026 -x8027 -x8028 -x8029 -x8030 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8041 -x8042
1783.39	v -x8044 -x8047 -x8048 -x8050 -x8051 -x8052 -x8054 -x8055 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066
1783.39	v -x8067 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8077 -x8078 -x8080 -x8081 -x8083 -x8084 -x8085 -x8086 -x8088
1783.39	v -x8089 -x8091 -x8092 -x8094 -x8095 -x8096 -x8097 -x8099 -x8100 -x8102 -x8103 -x8105 -x8106 -x8107 -x8108 -x8110 -x8111
1783.39	v -x8113 -x8114 -x8116 -x8117 -x8118 x8119 -x8121 -x8122 -x8124 -x8125 -x8127 -x8128 -x8129 -x8130 -x8132 -x8133 -x8140
1783.39	v -x8141 -x8143 -x8144 -x8145 -x8147 -x8148 -x8149 -x8152 -x8153 -x8154 -x8156 -x8159 -x8162 -x8173 -x8174 -x8176 -x8177
1783.39	v -x8179 -x8180 -x8182 -x8184 -x8186 -x8187 -x8189 x8190 -x8192 -x8193 -x8196 -x8197 -x8199 -x8200 -x8203 -x8204 -x8207
1783.39	v -x8208 -x8210 -x8211 -x8213 -x8214 -x8218 -x8219 -x8222 -x8224 -x8228 -x8230 -x8233 -x8235 x8240 -x8243 -x8245 -x8248
1783.39	v -x8256 -x8259 -x8261 -x8263 -x8266 -x8268 -x8270 -x8272 -x8274 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284
1783.39	v -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8299 -x8300 -x8301 -x8302 -x8303
1783.39	v -x8304 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8318 -x8319 -x8321 -x8322 -x8323 -x8325
1783.39	v -x8326 -x8327 -x8328 -x8330 -x8332 -x8333 -x8334 -x8335 -x8337 -x8338 -x8339 -x8340 -x8343 -x8344 -x8346 -x8347 -x8349
1783.39	v -x8350 -x8352 -x8354 -x8356 -x8357 -x8359 -x8360 -x8362 -x8363 -x8371 -x8372 -x8373 -x8375 -x8376 -x8378 -x8379 -x8381
1783.39	v -x8383 -x8384 -x8386 -x8387 -x8388 -x8390 -x8392 -x8394 -x8395 -x8396 -x8398 -x8399 -x8401 -x8403 -x8404 -x8406 -x8407
1783.39	v -x8409 -x8410 -x8411 -x8414 -x8415 -x8417 -x8418 -x8419 -x8421 -x8422 -x8425 -x8426 -x8428 -x8429 -x8431 -x8432 -x8433
1783.39	v -x8436 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8445 -x8447 -x8448 -x8449 -x8450 -x8452 -x8453 -x6081 -x6092 -x6103
1783.39	v -x6114 -x6125 -x6136 -x6147 -x6158 -x6174 -x6185 -x6196 -x6207 -x8454 -x8455 -x8456 -x8459 -x8460 -x8461 -x8462 -x8463
1783.39	v -x8465 -x8466 -x8467 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8485 -x8486 -x8487 -x8488
1783.39	v -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8507
1783.39	v -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8518 -x8519 -x8520 -x6229 -x6240 -x8521 -x8522 -x8523
1783.39	v -x8524 -x8525 -x8526 -x8527 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8540 -x8542 -x8543
1783.39	v -x8544 -x8545 -x8547 -x8548 -x8549 -x8551 -x8552 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8562 -x8564 -x8566 -x8567
1783.39	v -x8569 -x8570 -x8573 -x8575 -x6262 -x6273 -x8576 -x8578 -x8579 -x8581 -x8584 -x8586 -x8587 -x8588 -x8589 -x8591 -x8592
1783.39	v -x8593 -x8601 -x8602 -x8604 -x8605 -x8606 -x8608 -x8609 -x8612 -x8613 -x8615 -x8616 -x8618 -x8619 -x8622 -x8623 -x8625
1783.39	v -x8626 -x8627 -x8629 -x8630 -x8633 -x8634 -x8635 -x8637 -x8638 -x8639 -x8640 -x8641 -x8644 -x8645 -x8647 -x8648 -x6300
1783.39	v -x6311 -x8649 -x8651 -x8652 -x8655 -x8656 -x8657 -x8659 -x8660 -x8662 -x8663 -x8664 -x8667 -x8668 -x8670 -x8671 -x8673
1783.39	v -x8674 -x8677 -x8678 -x8679 -x8681 -x8683 -x8684 -x8685 -x8688 -x8689 -x8691 -x8692 -x8694 -x8696 -x8697 -x8699 -x8701
1783.39	v -x8703 -x8704 -x8705 -x8707 -x8708 -x8716 -x8717 -x8718 -x8720 -x8721 -x8723 -x6333 -x6344 -x8724 -x8727 -x8728 -x8730
1783.39	v -x8731 -x8733 -x8734 -x8737 -x8738 -x8739 -x8741 -x8742 -x8744 -x8745 -x8746 -x8749 -x8750 -x8752 -x8753 -x8754 -x8756
1783.39	v -x8757 -x8760 -x8761 -x8762 -x8764 -x8765 -x8767 -x8768 -x8770 -x8772 -x8773 -x8775 -x8776 -x8778 -x8779 -x8782 -x8783
1783.39	v -x8785 -x8787 -x8788 -x8789 -x8792 -x8793 -x6366 -x6377 -x8795 -x8796 -x8797 -x8799 -x8800 -x8801 -x8803 -x8804 -x8805
1783.39	v -x8806 -x8808 -x8809 -x8810 -x8811 -x8812 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8829
1783.39	v -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x6404 -x6415
1783.39	v -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864
1783.39	v -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882
1783.39	v -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901
1783.39	v -x8902 -x8903 -x8904 -x8906 -x8907 -x8908 -x6437 -x6448 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918
1783.39	v -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 -x8936
1783.39	v -x8937 x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959
1783.39	v -x8960 -x8961 -x8962 -x8963 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6470 -x6481 -x8972 -x8973 -x8974 -x8976
1783.39	v -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994
1783.39	v -x8995 -x8996 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9009 -x9010 -x9011 -x9012 -x9013
1783.39	v -x9014 -x9015 -x6503 -x6520 -x9016 -x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029
1783.39	v -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048
1783.39	v -x9049 -x9050 -x9051 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x6542 -x6553 -x9065 -x9066 -x9068 -x9069
1783.39	v -x9070 -x9071 x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 x9087 -x9088
1783.39	v -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107
1783.39	v -x9108 -x9109 -x9110 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x6564 -x6597 -x9118 -x9119 -x9120 -x9121 -x9123 -x9124
1783.39	v -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142
1783.39	v -x9143 -x9145 -x9146 -x9147 -x9148 -x9149 -x9151 -x9152 -x9153 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163
1783.39	v -x6636 -x6658 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9184 -x9186 -x9187 -x9189 -x9190 -x9192
1783.39	v -x9194 -x9195 -x9197 -x9198 -x9200 -x9201 -x9202 -x9205 -x9206 -x9208 -x9209 -x9212 -x9213 -x9216 -x9217 -x9218 -x9221
1783.39	v -x9222 -x9224 -x9225 -x9227 -x9230 -x9232 -x9233 -x9236 -x9238 -x9240 -x9241 -x9242 -x6691 -x6713 -x9245 -x9246 -x9249
1783.39	v -x9250 -x9251 -x9254 -x9255 -x9257 -x9258 -x9260 -x9263 -x9264 -x9266 -x9267 -x9268 -x9272 -x9273 -x9275 -x9276 -x9277
1783.39	v -x9280 -x9287 -x9289 -x9290 -x9291 -x9294 -x9295 -x9298 -x9299 -x9300 -x9303 -x9304 -x9306 -x9307 -x9311 -x9312 -x9314
1783.39	v -x9315 -x9316 -x9320 -x9322 -x9323 -x9324 -x9327 -x9329 -x9331 -x9332 -x6752 -x6763 -x9335 -x9337 -x9338 -x9339 -x9343
1783.39	v -x9345 -x9346 -x9347 -x9350 -x9353 -x9354 -x9355 -x9358 -x9360 -x9361 -x9362 -x9366 -x9368 -x9369 -x9372 -x9375 -x9376
1783.39	v -x9377 -x9380 -x9382 -x9383 -x9384 -x9388 -x9390 -x9391 -x9394 -x9395 -x9402 -x9403 -x9404 -x9407 -x9408 -x9409 -x9410
1783.39	v -x9411 -x9413 -x9415 -x6796 -x6807 -x6818 -x9416 -x9417 -x9418 -x9419 -x9420 -x9422 -x9424 -x9426 -x9427 -x9429 -x9431
1783.39	v -x9432 -x9433 -x9436 -x9437 -x9438 -x9440 -x9441 -x9443 -x9444 -x9448 -x9449 -x9451 -x9452 -x9455 -x9458 -x9459 -x9461
1783.39	v -x9463 -x9464 -x9468 -x9470 -x9471 -x9473 -x9475 -x9479 -x6840 -x6851 -x6869 -x9481 -x9482 -x9485 -x9487 -x9488 -x9491
1783.39	v -x9493 -x9495 -x9497 -x9498 -x9499 x9502 x9504 x9506 -x9508 x9510 -x9518 -x9521 -x9523 -x9525 -x9528 -x9530 -x6891 -x6902
1783.39	v -x6913 -x9532 -x9534 -x9536 -x9539 -x9541 -x9543 -x9545 -x9547 -x9550 -x9552 -x9553 -x9555 -x9557 -x9558 -x9561 -x9563
1783.39	v -x9565 -x9567 -x9568 -x9570 -x9573 -x9574 -x9576 -x9578 -x9579 -x6935 -x6946 -x6957 -x6968 -x9580 -x9583 -x9585 -x9587
1783.39	v -x9588 -x9591 -x9592 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9605 -x9607 -x9612 -x9613 -x9614 -x9618
1783.39	v -x9619 -x9620 -x9623 -x9624 -x6997 -x7008 -x7019 -x7030 -x9633 -x9634 -x9635 -x9636 -x9638 -x9639 -x9640 -x9641 x9644
1783.39	v x9645 -x9646 -x9647 x9649 -x9650 -x9651 -x9652 x9655 -x9656 -x9657 -x9658 x9660 -x9661 -x9662 -x9665 -x9666 -x9667 -x9668
1783.39	v -x9670 -x9671 -x9672 -x9676 -x9677 -x9678 -x9679 -x9681 -x9682 -x9683 -x9684 -x7052 -x7063 -x7074 -x7085 -x9687 -x9688
1783.39	v -x9689 -x9690 -x9692 -x9693 -x9694 -x9695 -x9698 -x9699 -x9700 -x9701 -x9703 -x9704 -x9705 -x9706 -x9709 -x9710 -x9711
1783.39	v -x9713 -x9714 -x9715 -x9720 -x9721 -x9722 -x9724 -x9726 -x9728 -x9731 -x9733 -x9735 -x7114 -x7125 -x7136 -x9737 -x9739
1783.39	v -x9747 -x9749 -x9751 -x9753 -x9756 -x9758 -x9760 -x9761 -x9763 -x9764 -x9766 -x9767 -x9770 -x9771 -x9772 -x9774 -x9775
1783.39	v -x9776 -x9778 -x9780 -x7158 -x7169 -x7180 -x9782 -x9783 -x9784 -x9786 -x9787 -x9788 -x9789 -x9791 -x9793 -x9794 -x9796
1783.39	v -x9798 -x9799 -x9802 -x9804 -x9806 -x9808 -x9810 -x9813 -x9815 -x9817 -x9819 -x9822 -x7202 -x7220 -x7231 -x9825 -x9827
1783.39	v -x9829 -x9831 -x9832 -x9835 -x9836 -x9837 -x9839 -x9840 -x9841 -x9843 -x9844 -x9846 -x9848 -x9849 -x9850 -x9852 -x9853
1783.39	v -x9854 -x9855 -x9862 -x9863 -x9864 -x9865 -x7253 -x7264 -x7275 -x7297 -x7308 -x7319 -x7348 -x7359 -x7370 -x7392 -x7403
1783.39	v -x7414 -x7436 -x7451 -x7462 -x7473 -x7484 -x7495 -x7506 -x7517 -x7528 -x7539 -x7550 -x7565 -x7587 -x7609 -x7631 -x7642
1783.39	v -x7701 -x7756 -x7815 -x7826 -x7870 -x7919 -x7930 -x7985 -x8035 -x9868 -x9869 -x9870 -x9873 -x9874 -x9875 x8079 -x8090
1783.39	v -x9877 -x9878 -x9879 -x9881 -x9882 -x9884 -x9886 -x9887 -x9888 -x9890 -x9891 -x9892 -x9895 -x9896 -x9897 -x9899 -x9900
1783.39	v -x9901 -x9903 -x9904 -x9906 -x9908 -x9909 -x9910 -x9913 -x9914 x9915 -x9919 -x9920 -x9921 -x9924 -x8123 -x9925 -x9926
1783.39	v -x9930 -x9931 -x9932 -x9935 -x9936 -x9937 -x9941 -x9942 -x9943 -x9946 -x9947 -x9948 -x9952 -x9953 -x9954 -x9957 -x9958
1783.39	v -x9959 -x9963 -x9964 -x9965 -x9968 -x9969 -x9970 -x9979 -x9980 -x9981 -x9983 -x8161 -x8172 -x9984 -x9985 -x9988 -x9989
1783.39	v -x9990 -x9992 -x9993 -x9994 -x9996 -x9997 -x9999 -x10001 -x10002 -x10003 -x10005 -x10006 -x10007 -x10010 -x10011 -x10012
1783.39	v -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x8216 -x10028
1783.39	v -x10029 -x10030 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10043 -x10044 -x10045
1783.39	v -x10046 -x10047 -x10048 -x10049 -x10051 -x10052 -x10055 -x10057 -x10058 -x8254 -x10060 -x10062 -x10065 -x10067 -x10069
1783.39	v -x10071 -x10073 -x10076 -x10078 x10080 -x8287 -x8298 x10082 -x10084 -x10092 -x10094 -x10096 -x10098 -x10100 -x10103
1783.39	v -x10105 -x10107 -x10109 -x10111 -x10112 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x8342 -x10121 -x10122
1783.39	v -x10123 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10136 -x10137 -x10138 -x10139
1783.39	v -x8369 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10147 -x10161 x10164 x10167 x10171 x10174 -x10177 -x8391 -x8402
1783.39	v -x10181 -x10184 -x10187 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x8424 -x8435 -x10199 -x10200 -x10206 -x10207
1783.39	v -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x8457 -x8468 -x10214 -x10215 -x10217 -x10218 -x10219 -x10221 -x10222
1783.39	v -x10223 -x10224 -x10225 -x10226 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10239
1783.39	v -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10250 -x10251 -x10252 -x10253 -x10254 x8495
1783.39	v x8506 -x10255 -x10256 -x10257 -x10258 -x10259 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269
1783.39	v -x10270 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10283 -x10284 -x10285 -x10286
1783.39	v -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302
1783.39	v -x10303 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10321 -x10322 -x10323 -x10324
1783.39	v -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10332 -x10333 -x8528 -x8539 -x10334 -x10335 -x10336 -x10337 -x10338
1783.39	v -x10339 -x10340 -x10341 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10354 -x10355
1783.39	v -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371
1783.39	v -x10372 -x10373 -x10374 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10387 -x10388
1783.39	v -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x8561 -x8572 -x10396 -x10398 -x10399 -x10400 -x10401 -x10402
1783.39	v -x10403 -x10404 -x10405 -x10406 -x10407 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10420 -x10421
1783.39	v -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10443
1783.39	v -x10444 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10453 -x10454 -x10455 -x10457 -x10458 -x10459 -x10460 -x10461
1783.39	v -x10463 -x10464 -x10465 -x10466 -x10468 -x10469 -x10470 -x10471 -x10473 -x10475 -x10476 -x10477 -x10479 -x10480 -x10481
1783.39	v -x10482 -x10484 -x10486 -x10487 -x10488 -x10490 -x10491 -x10492 -x8599 -x8610 -x10493 -x10495 -x10497 -x10498 -x10499
1783.39	v -x10501 -x10502 -x10503 -x10504 -x10506 -x10508 -x10509 -x10510 -x10512 -x10513 -x10514 -x10516 -x10518 -x10519 -x10520
1783.39	v -x10521 -x10523 -x10524 -x10526 -x10528 -x10529 -x10530 -x10531 -x10532 -x10534 -x10536 -x10538 -x10539 -x10540 -x10541
1783.39	v -x10542 -x10543 -x10550 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10560 -x10562 -x10563 -x10564 -x10565 -x10566
1783.39	v -x10567 -x10569 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10579 -x10582 -x10583 -x10585 -x10586 -x10587 -x10589
1783.39	v -x10591 -x10593 -x10595 -x10596 -x8643 -x10597 -x10599 -x10601 -x10602 -x10605 -x10606 -x10607 -x10609 -x10611 -x10612
1783.39	v -x10615 -x10616 -x10617 -x10618 -x10619 -x10621 -x10622 -x10624 -x10626 -x10627 -x10628 -x10629 -x10631 -x10632 -x10634
1783.39	v -x10635 -x10637 -x10638 -x10639 -x10641 -x10642 -x10644 -x10645 -x10646 -x10648 -x10649 -x10651 -x10652 -x10654 -x10655
1783.39	v -x10656 -x10657 -x10663 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10674 -x10675 -x10676 -x10678 -x10679
1783.39	v -x10680 -x10681 -x10682 -x10683 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10696 -x10698
1783.39	v -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10708 -x10709 -x10710 -x10711 -x10713 -x10714 -x10715 -x10716
1783.39	v -x10719 -x10720 -x10721 -x10722 -x10724 -x10725 -x10726 -x10727 -x10730 -x10731 -x10732 -x10733 -x10735 -x10736 -x10737
1783.39	v -x10738 -x10741 -x10742 -x10743 -x10744 -x10746 -x10747 -x10748 -x10749 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757
1783.39	v -x10758 -x10759 -x10760 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10778 -x10779 -x10780
1783.39	v -x10781 -x10782 -x10783 -x10785 -x10786 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10799
1783.39	v -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815
1783.39	v -x10816 -x10817 -x10818 -x10819 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10832
1783.39	v -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848
1783.39	v -x10849 -x10850 -x10851 -x10852 -x10854 -x10855 -x10856 -x10857 -x10858 -x10860 -x10861 -x10862 -x10863 -x10865 -x10866
1783.39	v -x10867 -x10868 -x10869 -x10871 -x10872 -x10873 -x10874 -x10876 -x10877 -x10878 -x10879 -x10880 -x10882 -x10883 -x10884
1783.39	v -x10885 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10902 -x10903 -x10904 -x10905 -x10906
1783.39	v -x10907 -x10908 -x10909 -x10911 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10921 -x10922 -x10924 -x10925
1783.39	v -x10926 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10935 -x10936 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943
1783.39	v -x10944 -x10946 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10957 -x10958 -x10959 -x10960 -x10961
1783.39	v -x10962 -x10963 -x10964 -x10965 -x10966 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977
1783.39	v -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10990 -x10991 -x10992 -x10993 -x10994
1783.39	v -x10995 -x10996 -x10997 -x10998 -x10999 -x11005 -x11006 -x11007 -x11008 -x11009 -x11011 -x11012 -x11013 -x11014 -x11017
1783.39	v -x11018 -x11019 -x11021 -x11022 -x11023 -x11024 -x11025 -x11027 -x11029 -x11031 -x11032 -x11034 -x11035 -x11038 -x11039
1783.39	v -x11040 -x11041 -x11042 -x11043 -x11045 -x11046 -x11049 -x11050 -x11051 -x11053 -x11054 -x11055 -x11057 -x11058 -x11061
1783.39	v -x11062 -x11063 -x11065 -x11066 -x11067 -x11069 -x11071 -x11073 -x11074 -x11075 -x11077 -x11078 -x11079 -x11082 -x11083
1783.39	v -x11085 -x11086 -x11087 -x11089 -x11090 -x11091 -x11094 -x11095 -x11097 -x11098 -x11099 -x11101 -x11102 -x11104 -x11106
1783.39	v -x11107 -x11109 -x11110 -x11111 -x11113 -x11119 -x11120 -x11122 -x11123 -x11125 -x11126 -x11127 -x11130 -x11131 -x11132
1783.39	v -x11134 -x11135 -x11137 -x11138 -x11139 -x11142 -x11143 -x11144 -x11146 -x11147 -x11149 -x11150 -x11152 -x11154 -x11155
1783.39	v -x11156 -x11158 -x11159 -x11161 -x11163 -x11164 -x11166 -x11167 -x11168 -x11170 -x11171 -x11174 -x11175 -x11176 -x11178
1783.39	v -x11179 -x11180 -x11182 -x11183 -x11186 -x11187 -x11188 -x11190 -x11191 -x11192 -x11194 -x11196 -x11198 -x11199 -x11200
1783.39	v -x11202 -x11203 -x11204 -x11207 -x11208 -x11210 -x11211 -x11212 -x11214 -x11215 -x11216 -x11219 -x11220 -x11222 -x11223
1783.39	v -x11224 -x11226 -x11227 -x11233 -x11235 -x11236 -x11238 -x11239 -x11240 -x11242 -x11244 -x11246 -x11247 -x11249 -x11250
1783.39	v -x11251 -x11253 -x11255 -x11257 -x11258 -x11260 -x11261 -x11262 -x11264 -x11266 -x11268 -x11269 -x11271 -x11272 -x11273
1783.39	v -x11275 -x11277 -x11279 -x11280 -x11282 -x11283 -x11284 -x11286 -x11288 -x11290 -x11291 -x11293 -x11294 -x11295 -x11297
1783.39	v -x11299 -x11301 -x11303 -x11304 -x11305 -x11307 -x11308 -x11311 -x11313 -x11314 -x11316 -x11317 -x11319 -x11322 -x11323
1783.39	v -x11325 -x11326 -x11328 -x11330 -x11332 -x11334 -x11335 -x11337 -x11339 -x11340 -x11347 -x11348 -x11350 -x11352 -x11353
1783.39	v -x11355 -x11356 -x11359 -x11361 -x11362 -x11364 -x11365 -x11367 -x11370 -x11371 -x11373 -x11374 -x11375 -x11377 -x11380
1783.39	v -x11381 -x11383 -x11384 -x11385 -x11386 -x11388 -x11389 -x11392 -x11393 -x11394 -x11395 -x11397 -x11398 -x11400 -x11402
1783.39	v -x11403 -x11404 -x11406 -x11407 -x11409 -x11410 -x11411 -x11413 -x11415 -x11416 -x11418 -x11419 -x11420 -x11421 -x11424
1783.39	v -x11425 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11443
1783.39	v -x11444 -x11446 -x11447 -x11448 -x11449 -x11451 -x11452 -x11453 -x11454 -x11455 -x11462 -x11464 -x11465 -x11466 -x11467
1783.39	v -x11468 -x11469 -x11470 -x11471 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11484
1783.39	v -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500
1783.39	v -x11501 -x11502 -x11503 -x11504 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11517
1783.39	v -x8654 -x8665 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11528 -x11529 -x11530 -x11531
1783.39	v -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547
1783.39	v -x11548 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11561 -x11562 -x11563 -x11564
1783.39	v -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584
1783.39	v -x11585 -x11587 -x11588 -x11589 -x11590 -x8687 -x8698 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11598 -x11599
1783.39	v -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615
1783.39	v -x11616 -x11617 -x11618 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11631 -x11632
1783.39	v -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648
1783.39	v -x11649 -x11650 -x11651 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x8725 -x8736 -x11661 -x11662
1783.39	v -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11675 -x11676 -x11677 -x11678 -x11679
1783.39	v -x11680 -x11681 -x11682 -x11683 -x11684 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699
1783.39	v -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11712 -x11713 -x11714 -x11715 -x11716
1783.39	v -x11717 -x11718 -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732
1783.39	v -x11734 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11745 -x11746 -x11747 -x11748 -x8758 -x8769 -x11750
1783.39	v -x11751 -x11753 -x11754 -x11756 -x11757 -x11758 -x11759 -x11760 -x11762 -x11763 -x11764 -x11765 -x11767 -x11768 -x11769
1783.39	v -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11778 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11789
1783.39	v -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11797 -x11798 -x11804 -x11805 -x11806 -x11807 -x11808 -x11810 -x11811
1783.39	v -x11812 -x11813 -x11815 -x11816 -x11817 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11826 -x11828 -x11829 -x11830
1783.39	v -x11831 -x11832 -x11833 -x11834 -x11837 -x11838 -x11839 -x11840 -x11841 -x8791 -x8802 -x11842 -x11843 -x11845 -x11846
1783.39	v -x11848 -x11849 -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11857 -x11859 -x11861 -x11862 -x11863 -x11864 -x11865
1783.39	v -x11867 -x11868 -x11870 -x11871 -x11872 -x11874 -x11875 -x11876 -x11877 -x11878 -x11881 -x11882 -x11883 -x11884 -x11886
1783.39	v -x11887 -x11888 -x11889 -x11892 -x11893 -x11894 -x11896 -x11897 -x11898 -x11900 -x11901 -x11903 -x8828 -x8839 -x11905
1783.39	v -x11906 -x11907 -x11909 -x11910 -x11911 -x11918 -x11919 -x11920 -x11922 -x11923 -x11924 -x11926 -x11927 -x11929 -x11931
1783.39	v -x11932 -x11933 -x11935 -x11936 -x11937 -x11940 -x11941 -x11942 -x11944 -x11945 -x11946 -x11948 -x11949 -x11951 -x8861
1783.39	v -x8872 -x11953 -x11954 -x11955 -x11957 -x11958 -x11959 -x11962 -x11963 -x11964 -x11966 -x11967 -x11968 -x11970 -x11971
1783.39	v -x11973 -x11975 -x11976 -x11977 -x11979 -x11980 -x11981 -x11985 -x11986 -x11989 -x11991 -x11992 -x11996 -x11997 -x11999
1783.39	v -x8894 -x8905 -x12003 -x12004 -x12007 -x12011 -x12012 -x12014 -x12019 -x12020 -x12021 -x12022 -x12026 -x12033 -x12034
1783.39	v -x12038 -x12040 -x12041 -x12046 -x12048 -x12049 -x12050 -x12054 -x12056 -x12057 -x12058 -x12061 -x12063 -x12065 -x12066
1783.39	v -x12069 -x12071 -x12072 -x12073 -x12077 -x12079 -x12080 -x12081 -x8927 -x8942 -x12084 -x12087 -x12088 -x12089 -x12092
1783.39	v -x12094 -x12095 -x12096 -x12100 -x12102 -x12103 -x12104 -x12107 -x12110 -x12111 -x12112 -x12115 -x12117 -x12118 -x12120
1783.39	v -x12123 -x12125 -x12126 -x12127 -x12131 -x12133 -x12134 -x12135 -x12138 -x12140 -x12146 -x12147 -x12150 -x12152 -x12153
1783.39	v -x12154 -x12158 -x12160 -x12161 -x12162 -x8964 -x8975 -x12165 -x12168 -x12169 -x12170 -x12175 -x12176 -x12177 -x12179
1783.39	v -x12184 -x12185 -x12186 -x12187 -x12193 -x12194 -x12195 -x12196 -x12201 -x12202 -x12203 -x12204 -x12207 -x12208 -x12209
1783.39	v -x12210 -x12215 -x12217 -x12221 -x12224 -x12228 -x12230 -x12234 -x8997 -x9008 -x12239 -x12245 -x12250 -x12254 -x12263
1783.39	v -x12266 -x12269 -x12273 -x12276 -x12279 -x9030 -x9041 -x12283 -x12286 -x12287 -x12290 -x12291 -x12295 -x12296 -x12299
1783.39	v -x12300 -x12304 -x12305 -x12308 -x12309 -x12312 -x12313 -x12317 -x12318 -x12321 -x12322 -x12326 -x9067 -x9078 -x12327
1783.39	v -x12330 -x12331 -x12334 -x12335 -x12339 -x12340 -x12343 -x12344 -x12348 -x12349 -x12352 -x12353 -x12356 -x12357 -x12361
1783.39	v -x12363 -x12364 -x12365 -x12366 -x12368 -x12375 -x9100 -x9111 -x12376 -x12378 -x12380 -x12382 -x12385 -x12387 -x12389
1783.39	v -x12390 -x12392 -x12394 -x12396 -x12398 -x12399 -x12401 -x12403 -x12404 -x12407 -x12408 -x12410 -x12412 -x12413 -x12415
1783.39	v -x12416 -x12419 -x12421 -x12422 -x12424 -x12425 -x12426 -x12429 -x12431 -x12432 -x12434 -x12435 -x12436 -x12438 -x12441
1783.39	v -x12442 -x12444 -x12445 -x12446 -x12448 -x12451 -x12452 -x12454 -x12455 -x12456 -x12459 -x12460 -x12463 -x12464 -x12465
1783.39	v -x9133 -x9144 -x12468 -x12469 -x12471 -x12473 -x12474 -x12477 -x12478 -x12480 -x12481 -x12482 -x12490 -x12492 -x12493
1783.39	v -x12494 -x12497 -x12500 -x12501 -x12502 -x12505 -x12507 -x12508 -x12510 -x12513 -x12515 -x12516 -x12517 -x12521 -x12523
1783.39	v -x12524 -x12525 -x12528 -x12530 -x12532 -x12533 -x12536 -x12538 -x12539 -x12540 -x12544 -x12546 -x12547 -x12548 -x9171
1783.39	v -x9182 -x12551 -x12554 -x12555 -x12556 -x12559 -x12561 -x12562 -x12563 -x12567 -x12569 -x12570 -x12571 -x12574 -x12577
1783.39	v -x12578 -x12579 -x12582 -x12584 -x12585 -x12587 -x12590 -x12592 -x12593 -x12594 -x8 -x10 -x11 -x12 -x15 -x17 -x19 -x20
1783.39	v -x23 -x25 -x26 -x27 -x31 -x33 -x34 -x35 -x9204 -x9215 -x38 -x41 -x42 -x43 -x46 -x48 -x49 -x50 -x54 -x56 -x57 -x58 -x61 -x64 -x65
1783.39	v -x66 -x69 -x71 -x72 -x74 -x76 -x78 -x79 -x80 -x82 -x85 -x86 -x87 -x89 -x91 -x92 -x93 -x97 -x99 -x101 -x103 -x9237 -x9248 -x105
1783.39	v -x108 -x110 -x112 -x114 -x116 -x123 -x125 -x127 -x128 -x130 -x131 -x134 -x136 -x137 -x139 -x140 -x142 -x145 -x146 -x148 -x149
1783.39	v -x151 -x153 -x155 -x157 -x158 -x160 -x162 -x163 -x166 -x167 -x169 -x171 -x172 -x174 -x175 -x178 -x180 -x181 -x183 -x185 -x188
1783.39	v -x189 -x191 -x9270 -x9286 -x193 -x195 -x196 -x199 -x201 -x203 -x204 -x206 -x208 -x211 -x212 -x214 -x216 -x218 -x219 -x222
1783.39	v -x223 -x226 -x227 -x229 -x230 -x238 -x239 -x241 -x242 -x245 -x247 -x249 -x250 -x253 -x255 -x256 -x260 -x262 -x263 -x266 -x269
1783.39	v -x270 -x9308 -x9319 -x273 -x275 -x276 -x280 -x282 -x283 -x286 -x288 -x289 -x293 -x295 -x296 -x299 -x302 -x303 -x306 -x308
1783.39	v -x309 -x313 -x315 -x316 -x319 -x321 -x322 -x326 -x328 -x329 -x332 -x335 -x336 -x9341 -x9352 -x338 -x340 -x341 -x343 -x350
1783.39	v -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x374 -x375 -x376
1783.39	v -x377 -x378 -x379 -x380 -x381 -x383 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x394 -x396 -x397 -x398 -x399 -x400 -x401
1783.39	v -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x427 -x428
1783.39	v -x429 -x430 -x432 -x433 -x435 -x436 -x438 -x439 -x440 x9374 -x441 -x442 -x444 -x445 -x447 -x449 -x450 -x451 -x452 -x453 -x454
1783.39	v -x456 -x457 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x476 -x477 -x478 -x480 -x481 -x482 -x484 -x486 -x488 -x489
1783.39	v -x490 -x492 -x493 -x494 -x497 -x498 -x500 -x501 -x502 -x504 -x505 -x506 -x509 -x510 -x512 -x513 -x514 -x516 -x517 -x519 -x521
1783.39	v -x522 -x524 -x525 -x526 -x528 -x530 -x531 -x533 -x534 -x536 -x537 -x538 -x541 -x542 -x543 -x545 -x546 -x548 -x549 -x550 -x553
1783.39	v -x554 -x556 -x557 -x559 -x560 -x561 -x564 -x9401 -x9412 -x9423 -x9434 -x9445 -x9456 -x9467 -x9478 -x9489 -x9500 -x565 -x567
1783.39	v -x568 -x570 -x571 -x572 -x579 -x580 -x582 -x584 -x585 -x586 -x589 -x590 -x592 -x594 -x595 -x597 -x598 -x600 -x602 -x603 -x605
1783.39	v -x606 -x608 -x609 -x612 -x613 -x615 -x616 -x618 -x619 -x622 -x623 -x625 -x626 -x628 -x629 -x631 -x634 -x635 -x637 -x639 -x641
1783.39	v -x642 -x9527 -x9538 -x645 -x647 -x648 -x649 -x651 -x652 -x653 -x656 -x657 -x658 -x660 -x661 -x662 -x664 -x666 -x9560 -x9571
1783.39	v -x9593 -x9604 -x9631 -x9642 -x668 -x9664 -x9675 -x9697 -x9708 -x9730 -x9746 -x9768 -x9779 -x9801 -x9812 -x9834 -x9845
1783.39	v -x9872 -x9883 -x9916 -x9927 -x9949 -x9960 -x9987 -x9998 -x10009 -x10020 -x10031 -x10042 -x10053 -x10064 -x10075 -x10091
1783.39	v -x10102 -x10113 -x10124 -x10135 -x10146 -x10157 -x10168 -x10179 -x10190 -x10205 -x10216 -x10227 -x10238 -x10249 -x10260
1783.39	v -x10271 -x10282 -x10293 -x10304 -x10320 -x10331 -x10342 -x10353 -x10364 -x10375 -x10386 -x10397 -x10408 -x10419 x10445
1783.39	v -x10456 -x10467 -x10478 -x10489 -x10500 -x10511 -x10522 -x10533 -x10548 -x10559 -x10570 -x10581 -x10592 -x10603 -x10614
1783.39	v -x10625 -x10636 -x10647 -x10662 -x10673 -x10684 -x669 -x670 -x671 -x672 -x673 -x677 -x678 -x679 -x680 -x681 -x684 -x685
1783.39	v -x692 -x693 -x694 -x696 -x697 -x699 -x700 -x701 -x704 -x705 -x707 -x708 -x709 -x711 -x712 -x714 -x715 -x716 -x718 -x719 -x720
1783.39	v -x721 -x722 -x723 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x737 -x738 -x740 -x741 -x742 -x744 -x745 -x747 -x10695
1783.39	v -x10706 -x10717 -x749 -x750 -x751 -x753 -x755 -x758 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773
1783.39	v -x774 -x775 -x776 -x777 -x778 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x793 -x794 -x795 -x796
1783.39	v -x797 -x798 -x799 -x10728 -x10739 -x10750 -x800 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x818 -x820
1783.39	v -x822 -x824 -x826 -x10761 -x10776 -x10787 -x829 -x831 -x832 -x834 -x835 -x837 -x839 -x842 -x843 -x845 -x847 -x850 -x852
1783.39	v -x10809 -x854 -x856 -x858 -x861 -x863 -x865 -x867 -x869 -x872 -x10820 -x10831 -x10842 -x10853 -x10864 -x10875 -x877 -x878
1783.39	v -x879 -x880 -x881 -x883 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1783.39	v -x903 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929
1783.39	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x10890 -x938 -x939 -x940 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1783.39	v -x951 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973
1783.39	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x997
1783.39	v -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x10901 -x10912
1783.39	v -x10923 -x10934 -x10945 -x10956 -x10967 -x10978 -x10989 -x11004 -x11015 -x11026 -x11037 -x11048 -x1015 -x1016 -x1017
1783.39	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1783.39	v -x1041 -x1042 -x1043 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1057 -x1058 -x1059
1783.39	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1067 -x1068 -x1069 -x11070 -x11081 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1783.39	v -x1076 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1783.39	v -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1111 -x1112 -x1113
1783.39	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1122 -x1123 -x1124 -x11103 -x11118 -x1125 -x1126 -x1127 -x1128 -x1129
1783.39	v -x1130 -x1131 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1149 -x1150 -x1151 -x1152 -x1153
1783.39	v -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1171 -x1173 -x1174
1783.39	v -x1175 -x1176 -x1177 -x1179 -x1180 -x1182 -x1183 -x1185 -x1186 -x1187 -x11140 -x11151 -x1189 -x1190 -x1191 -x1194 -x1195
1783.39	v -x1196 -x1198 -x1199 -x1200 -x1202 -x1204 -x1205 -x1207 -x1208 -x1210 -x1211 -x1212 -x1215 -x1216 -x1217 -x1219 -x1220
1783.39	v -x1221 -x1223 -x1224 -x1226 -x1228 -x1229 -x1230 -x11184 -x1232 -x1233 -x1235 x1237 -x1239 -x1240 -x1242 -x1243 -x1245
1783.39	v -x1246 -x1249 -x1250 -x1252 -x1253 -x1255 -x1256 -x1266 -x1267 -x1269 -x1270 -x11195 -x11206 -x1274 -x1277 -x1279 -x1281
1783.39	v -x1283 -x1285 -x1288 -x1290 -x1292 -x1294 -x11232 -x11243 -x1296 -x1299 -x1301 -x1303 -x1305 -x1307 -x1311 -x1312 -x1313
1783.39	v -x1314 -x1315 -x1317 -x1318 -x1320 -x11265 -x11276 -x11298 -x11309 -x11331 -x11346 -x11368 -x11379 -x1322 -x11401 -x11412
1783.39	v -x11434 -x11445 -x1323 -x1325 -x1326 -x1327 -x1328 -x1332 -x1334 -x1335 -x1336 -x1337 -x11472 -x11483 -x1340 -x1343 -x1344
1783.39	v -x1345 -x1346 -x1349 -x1351 -x1353 -x1354 -x1355 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1367 -x1369 -x1370 -x1371
1783.39	v -x1372 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 -x1390 -x1392 -x1394 -x1395 -x1396 -x1397 -x1399 -x1400 -x1401 -x1403
1783.39	v -x1404 -x1405 -x1406 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
1783.39	v -x1426 -x1427 -x1429 -x1430 -x1431 -x1432 -x11505 -x11516 -x11527 -x11538 -x11549 -x11560 -x11575 -x11586 -x11597 -x1434
1783.39	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1442 -x1443 -x1444 -x1445 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1783.39	v -x1458 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1469 -x1471 -x1473 -x1475 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484
1783.39	v -x1486 -x1487 -x1488 -x1489 -x1498 -x11608 -x11619 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1508 -x1509
1783.39	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
1783.39	v -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546
1783.39	v -x1547 -x1548 -x1549 -x1550 -x1552 -x1553 -x11630 -x11641 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1563
1783.39	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1583
1783.39	v -x1586 -x1588 -x1589 -x11652 -x11663 -x1591 -x1592 -x1594 -x1596 -x1598 -x1599 -x1601 -x1602 -x1604 -x1605 -x1614 x1615
1783.39	v -x1617 -x1618 -x1620 -x1621 -x1624 -x1625 -x1628 -x11674 -x11689 -x1629 -x1631 -x1633 -x1636 -x1638 -x1640 -x1642 -x1644
1783.39	v -x1647 -x1649 -x11700 -x11711 -x1651 -x1653 -x1655 -x1658 -x1660 -x1662 -x1664 -x1666 -x1669 -x1671 -x11722 -x11733 -x1673
1783.39	v -x11744 -x11755 -x11766 -x11777 -x11788 -x11803 -x11814 -x11825 -x1679 -x1681 -x1682 -x1683 -x1684 -x1687 -x1690 -x1691
1783.39	v -x1692 -x1693 -x1696 -x1698 -x1699 -x1701 -x1702 -x1705 -x1706 -x1707 -x1708 -x1709 -x1713 -x1714 -x1715 -x1716 -x1717
1783.39	v -x11836 -x11847 -x1720 -x1721 -x1728 -x1729 -x1730 -x1733 -x1734 -x1736 -x1737 -x1739 -x1740 -x1742 -x1743 -x1745 -x1746
1783.39	v -x1747 -x1748 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769
1783.39	v -x1770 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1783 -x1784 -x1785 x1786 -x1787 -x1789 -x1790 -x1791
1783.39	v -x1794 -x1795 -x1796 -x11858 -x11869 -x1798 -x1799 -x1800 -x1802 -x1805 -x1807 -x1809 -x1811 -x1812 -x1813 -x1814 -x1816
1783.39	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834
1783.39	v -x1835 -x1836 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x11880 -x11891 -x1855 -x1856
1783.39	v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1783.39	v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1888 -x1890 -x1892 -x11902 -x11917 -x1894 -x1896
1783.39	v -x1898 -x1900 -x1901 -x1903 x1904 -x1906 -x1907 -x1910 -x1911 -x1913 -x1914 -x1916 -x1917 -x1921 -x1922 -x11928 -x11939
1783.39	v -x1924 -x1926 -x1928 -x1931 -x1933 -x1935 -x1937 -x1939 -x1942 -x1944 -x11950 -x11961 -x1946 -x1948 -x1950 -x1958 -x1960
1783.39	v -x1962 -x1964 -x11972 -x11983 -x12005 -x12016 -x12031 -x12042 -x12053 -x12064 -x12075 -x12086 -x12097 -x12108 -x12119
1783.39	v -x12130 -x12145 -x12156 -x12167 -x12178 -x12189 -x12200 -x12211 -x12222 -x12233 -x12244 -x12259 -x12270 -x12281 -x12292
1783.39	v -x12303 -x12314 -x12325 -x12336 -x12347 -x12358 -x12373 -x12384 -x12395 -x12406 -x12417 -x12428 -x12439 -x12450 -x12461
1783.39	v -x12472 -x12487 -x12498 -x12509 -x12520 -x12531 -x12542 -x12553 -x12564 -x12575 -x12586 -x7 -x2865 -x2891 -x2896 -x2899
1783.39	v -x2906 -x2909 -x18 -x29 -x40 -x51 -x2912 -x2918 -x2921 -x2924 -x2932 -x3135 -x3137 -x3140 -x3147 -x3149 -x3152 -x3472 -x3534
1783.39	v -x3155 -x3164 -x3167 -x3538 -x3541 -x3170 -x3172 -x3182 -x3549 -x3552 -x3185 -x3187 -x3199 -x3555 -x3563 -x3202 -x3204
1783.39	v -x3207 -x3566 -x3569 -x3217 -x3218 -x3221 -x3572 -x3579 -x3224 -x3225 -x3235 -x3582 -x3585 -x73 -x84 -x95 -x3238 -x3241
1783.39	v -x3527 -x3595 -x3533 -x2051 -x2052 -x2054 -x2056 -x2057 -x2059 -x2068 -x2069 -x2071 -x2073 -x2074 -x2076 -x2085 -x2086
1783.39	v -x2088 -x2090 -x2091 -x2093 -x121 -x132 -x2098 -x2099 -x2101 -x2104 -x2105 -x2107 -x2113 -x2114 -x2116 -x2119 -x2120 -x2125
1783.39	v -x2128 -x2129 -x2131 -x2575 -x2659 -x2137 -x2138 -x2140 -x2662 -x2668 -x2143 -x2144 -x2146 -x2670 -x2672 -x2152 -x2153
1783.39	v -x2155 -x2674 -x2676 -x2158 -x2159 -x2164 -x2682 -x2684 x154 x165 -x176 -x2167 -x2168 -x2170 -x2686 -x2688 -x2176 -x2177
1783.39	v -x2179 -x2690 -x2699 -x2182 -x2183 -x2185 -x2701 -x2703 -x2192 -x2193 -x2195 -x2706 -x2715 -x2198 -x2199 -x2204 -x2718
1783.39	v -x2720 -x2207 -x2208 -x2210 -x2723 x2732 -x2216 -x2217 -x2219 -x2735 -x2737 -x2222 -x2223 -x2225 -x2740 -x2750 -x2231
1783.39	v -x2232 -x2656 -x2754 -x2657 -x198 -x209 -x220 -x246 -x257 -x268 -x290 -x301 -x312 -x323 -x349 -x360 -x371 -x382 -x404 -x415
1783.39	v -x437 -x448 -x474 -x485 -x507 -x518 -x540 x562 -x577 -x599 x610 -x632 -x643 -x665 -x676 -x702 -x713 -x860 -x930 -x996 -x2235
1783.39	v -x2236 -x2244 -x2245 -x2249 -x2250 -x1066 -x1132 -x1203 -x1275 -x1341 -x1424 -x1507 -x2292 -x2300 -x2304 -x2257 -x2258
1783.39	v -x2307 -x2262 -x2270 -x2274 -x2313 x2316 -x2319 -x2261 -x2277 -x2284 -x2287 -x2326 -x2329 -x2332 -x2630 -x2634 -x2265
1783.39	v -x2290 -x2642 -x2273 -x2298 -x2646 -x2338 -x2302 -x2654 -x2341 -x2571 -x746 -x757 -x768 -x779 -x790 -x805 -x816 -x827 -x838
1783.39	v -x849 -x871 -x882 -x893 -x904 -x919 -x941 -x952 -x963 -x974 -x985 -x1007 -x1018 -x1033 -x1044 -x1055 -x1077 -x1088 -x1099
1783.39	v -x1110 -x1121 -x1148 -x1159 -x1170 -x1181 -x1192 -x1214 -x1225 -x1236 -x1247 -x1264 -x1286 -x1297 -x1308 -x1319 -x1330
1783.39	v -x1352 -x1363 -x1391 -x1402 -x1413 -x1435 -x1446 -x1468 -x1479 -x1496 -x1518 -x1529 -x1551 -x1562 -x1573 -x1584 -x1595
1783.39	v -x1612 -x1634 -x1645 -x1656 -x1667 -x1678 -x1689 -x1711 -x1727 -x1738 -x1749 -x1760 -x1771 -x1793 -x1804 -x1815 -x1826
1783.39	v -x1842 -x1853 -x1875 -x1886 -x1897 -x1908 -x1919 -x1930 -x1957 -x1968 -x2003 x2004 -x2005 -x2007 -x2008 -x2009 -x2010
1783.39	v -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2025 -x2033 -x2034 -x2036 -x2037 -x2038 -x2040 -x2041 -x2042 -x2053 -x2055
1783.39	v -x2058 -x2060 -x2070 -x2072 -x2075 -x2077 -x2087 -x2089 -x2092 -x2094 -x2100 -x2102 -x2103 -x2106 -x2111 -x2112 -x2115
1783.39	v -x2117 -x2118 -x2124 -x2126 -x2127 -x2130 -x2132 -x2133 -x2139 -x2141 -x2142 -x2145 -x2150 -x2151 -x2154 -x2156 -x2157
1783.39	v -x2163 -x2165 -x2166 -x2169 -x2171 -x2172 -x2178 -x2180 -x2181 -x2184 -x2190 -x2191 -x2194 -x2196 -x2197 -x2203 -x2205
1783.39	v -x2206 -x2209 -x2211 -x2212 -x2218 -x2220 -x2221 -x2224 -x2229 -x2230 -x2233 -x2234 -x2237 -x2238 -x2242 -x2243 -x2246
1783.39	v -x2247 -x2248 -x2251 -x2256 -x2259 -x2260 -x2263 -x2264 -x2271 -x2272 -x2275 -x2276 -x2278 -x2279 -x2285 -x2286 -x2288
1783.39	v -x2289 -x2291 -x2293 -x2299 -x2301 -x2303 -x2305 -x2306 -x2311 -x2343 -x2345 -x2352 -x2354 -x2359 -x2364 -x2371 -x2377
1783.39	v -x2385 -x2396 -x2407 -x2369 -x2380 -x2382 -x2393 -x2418 -x2404 -x2412 -x2423 -x2429 -x2437 -x2448 -x2460 -x2661 -x2669
1783.39	v -x2312 -x2314 -x2391 -x2399 -x2434 -x2445 -x2471 -x2482 -x2490 -x2673 -x2681 -x2315 x2317 -x2410 -x2457 -x2500 -x2685
1783.39	v -x2775 -x2421 -x2465 -x2689 -x2785 -x2318 -x2320 -x2432 -x2476 -x2510 -x2789 -x2819 -x2443 -x2487 -x2517 -x2529 -x2799
1783.39	v -x2823 -x2325 -x2327 -x2451 -x2497 x2832 -x2803 -x2328 -x2330 -x2504 -x2540 -x2835 -x2463 -x2807 -x2474 -x2514 -x2546
1783.39	v -x2817 -x2838 -x2331 -x2333 -x2485 -x2526 -x2556 -x2821 -x2847 -x2532 -x2560 -x2757 -x2850 -x2334 -x2339 -x2543 -x2568
1783.39	v -x2853 -x2758 -x2340 -x2342 -x2346 -x2347 -x2355 -x2356 -x2357 -x2365 -x2366 -x2367 -x2373 -x2378 -x2384 -x2395 -x2406
1783.39	v -x2417 -x2425 -x2436 -x2447 -x2459 -x2470 -x2478 -x2489 -x2499 -x2509 -x2516 -x2528 -x2539 -x3276 -x3284 -x3286 -x3287
1783.39	v -x3288 -x3290 -x3291 -x3292 -x3301 -x3302 -x3303 -x3305 -x3309 -x3306 -x3307 -x3320 -x3318 -x3324 -x3310 -x3322 -x3335
1783.39	v -x3321 -x3326 -x3339 -x3325 -x3337 x3343 -x2545 -x3336 -x3341 -x3353 -x3340 -x3344 -x3357 -x3355 -x3361 -x3628 -x3626
1783.39	v -x3359 -x3416 -x3637 -x2554 -x2555 -x3629 -x3638 -x3640 -x3642 -x3644 -x3645 -x2559 -x2862 -x2864 -x2866 -x2868 -x2992
1783.39	v -x2995 -x3002 -x3003 -x3006 -x3009 -x3010 -x3017 -x3418 -x3420 -x3427 -x3429 -x2870 -x2878 -x3020 -x3021 -x3024 -x3432
1783.39	v -x3434 -x2880 -x2882 -x3031 -x3032 -x3034 -x3443 -x3445 -x2884 -x2886 -x3037 -x3038 -x3045 -x3448 -x3450 -x2962 -x3048
1783.39	v -x3049 -x3051 -x3458 -x3460 -x3059 -x3060 -x3062 -x3463 -x3465 -x3066 -x3067 -x3073 -x3473 -x3475 -x3077 -x3078 -x3080
1783.39	v -x3478 -x3480 -x3088 -x3089 -x3091 -x3488 x3490 -x3095 -x3100 -x3102 -x3493 -x3495 -x3106 -x3107 -x3109 -x3504 -x3506
1783.39	v -x3118 -x3119 -x3121 -x3509 -x3511 -x3131 -x3132 -x3520 -x3522 -x3525 -x2572 -x2574 -x2576 -x2582 -x2584 -x2586 -x2588
1783.39	v -x2590 -x2597 -x2599 -x2601 -x2603 -x2605 -x2612 -x2614 -x2617 -x2625 -x2573 -x2577 -x2583 -x2585 -x2587 -x2589 -x2591
1783.39	v -x2598 -x2600 -x2602 -x2604 -x2611 -x2613 -x2616 -x2618 -x2620 -x2626 -x2628 -x2629 -x2632 x2633 -x2640 -x2641 -x2644
1783.39	v -x2645 -x2648 -x2653 -x2658 -x2660 -x2667 -x2671 -x2675 -x2683 -x2687 -x2698 -x2700 -x2702 -x2704 -x2705 x2707 x2716 -x2717
1783.39	v x2719 -x2721 -x2722 -x2724 -x2733 -x2734 -x2736 -x2738 -x2739 -x2741 -x2751 -x2752 -x2753 -x2755 -x2756 -x2759 -x2767
1783.39	v -x2769 -x2771 -x2772 -x2773 -x2774 -x2783 -x2787 -x2791 -x2800 -x2804 -x2814 -x2818 -x2822 -x2831 -x2834 -x2837 -x2846
1783.39	v -x2849 -x2852 -x2863 -x2867 -x2869 -x2871 -x2879 -x2881 -x2883 -x2885 -x2887 -x2893 -x2894 -x2898 -x2900 -x2908 -x2910
1783.39	v -x2914 -x2919 -x2923 -x2925 -x2931 x2935 x2938 -x2945 -x2946 -x2949 -x2950 -x2953 -x2954 -x2961 -x2965 -x2967 -x2973 -x2974
1783.39	v -x2976 -x2977 -x2979 x2980 -x2982 -x2987 -x2989 -x2990 -x2994 -x2996 -x3146 -x3153 -x3168 -x3005 -x3007 -x3016 -x3018
1783.39	v -x3259 -x3583 -x3611 -x3593 -x3614 -x3023 -x3029 -x3598 -x3621 -x3624 -x3033 -x3035 -x3044 -x3046 -x3050 -x3052 -x3058
1783.39	v -x3061 -x3063 -x3065 x3072 -x3074 -x3076 -x3079 -x3087 -x3090 -x3094 -x3101 -x3105 -x3108 -x3117 -x3120 -x3122 -x3124
1783.39	v -x3134 -x3139 -x3151 -x3154 -x3166 -x3169 -x3181 -x3184 -x3189 -x3201 -x3206 -x3216 -x3220 -x3223 -x3234 -x3237 -x3240
1783.39	v -x3250 -x3252 -x3254 -x3256 -x3258 -x3267 -x3269 -x3270 -x3272 -x3273 -x3275 -x3285 -x3289 -x3293 -x3304 -x3308 -x3319
1783.39	v -x3323 -x3327 -x3338 -x3342 -x3352 -x3354 -x3356 -x3358 -x3360 -x3367 -x3368 -x3370 -x3371 -x3372 -x3374 -x3375 -x3376
1783.39	v -x3382 -x3383 -x3384 -x3386 -x3387 -x3388 -x3390 x3396 -x3397 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3412 -x3413
1783.39	v -x3414 -x3419 -x3428 -x3433 -x3444 -x3449 -x3459 -x3461 -x3464 -x3474 -x3477 x3479 -x3487 -x3489 -x3492 -x3494 -x3503
1783.39	v -x3505 -x3508 -x3510 -x3519 -x3521 -x3524 -x3536 -x3540 -x3548 -x3551 -x3554 -x3557 -x3565 -x3568 -x3571 -x3578 -x3581
1783.39	v -x3584 -x3592 -x3594 -x3597 -x3599 -x3601 -x3607 x3609 -x3610 -x3612 -x3613 -x3615 -x3616 -x3622 -x3623 -x3625 -x3627
1783.39	v -x3630 -x3639 -x3641 -x3643 -x3646 -x3652 -x3653 -x3655 -x3656 -x3658 -x3659 -x3687 x3667 x3668 -x3670 -x3671 -x3673 -x3674
1783.39	v -x3676 -x3681 -x3682 -x3684 -x3685 -x3686 -x3690

Verifier Data (download as text)

OK	-8205

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/node58/watcher-36676-1149372082 -o ROOT/results/node58/solver-36676-1149372082 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node58/36676-1149372082/instance-36676-1149372082.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 2/70 8877
/proc/meminfo: memFree=1529304/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=2328 CPUtime=0
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 39255058 2383872 131 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4840312 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 582 132 113 16 0 11 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.95 0.97 2/64 8951
/proc/meminfo: memFree=1513176/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=19840 CPUtime=9.97
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 4526 0 0 0 987 10 0 0 25 0 1 0 39255058 20316160 4497 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 4960 4497 206 16 0 4401 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 19840

[startup+20.0083 s]
/proc/loadavg: 0.94 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1510696/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=22456 CPUtime=19.97
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 5179 0 0 0 1983 14 0 0 25 0 1 0 39255058 22994944 5150 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519889 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 5614 5150 206 16 0 5055 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 22456

[startup+30.0152 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1507688/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=25460 CPUtime=29.96
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 5936 0 0 0 2969 27 0 0 25 0 1 0 39255058 26071040 5907 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6365 5907 206 16 0 5806 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 25460

[startup+40.0221 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1507688/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=25460 CPUtime=39.97
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 5949 0 0 0 3964 33 0 0 25 0 1 0 39255058 26071040 5920 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6365 5920 206 16 0 5806 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 25460

[startup+50.0291 s]
/proc/loadavg: 0.96 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1507688/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=25620 CPUtime=49.97
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 5959 0 0 0 4960 37 0 0 25 0 1 0 39255058 26234880 5930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6405 5930 206 16 0 5846 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 25620

[startup+60.035 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1506216/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27064 CPUtime=59.98
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6341 0 0 0 5957 41 0 0 25 0 1 0 39255058 27713536 6312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6766 6312 206 16 0 6207 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 27064

[startup+70.0419 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1506152/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27064 CPUtime=69.98
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6341 0 0 0 6952 46 0 0 25 0 1 0 39255058 27713536 6312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6766 6312 206 16 0 6207 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 27064

[startup+80.0488 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1506216/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27064 CPUtime=79.98
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6341 0 0 0 7941 57 0 0 25 0 1 0 39255058 27713536 6312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6766 6312 206 16 0 6207 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 27064

[startup+90.0548 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1506216/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27064 CPUtime=89.99
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6341 0 0 0 8931 68 0 0 25 0 1 0 39255058 27713536 6312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6766 6312 206 16 0 6207 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 27064

[startup+100.061 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1506216/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27220 CPUtime=99.99
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6345 0 0 0 9917 82 0 0 25 0 1 0 39255058 27873280 6316 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6805 6316 206 16 0 6246 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 27220

[startup+110.068 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 8951
/proc/meminfo: memFree=1506216/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27220 CPUtime=109.99
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6345 0 0 0 10906 93 0 0 25 0 1 0 39255058 27873280 6316 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6805 6316 206 16 0 6246 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 27220

[startup+120.075 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1506152/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27220 CPUtime=120
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6345 0 0 0 11896 104 0 0 25 0 1 0 39255058 27873280 6316 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6805 6316 206 16 0 6246 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 27220

[startup+130.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1506152/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27220 CPUtime=130
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6357 0 0 0 12889 111 0 0 25 0 1 0 39255058 27873280 6328 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6805 6328 206 16 0 6246 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 27220

[startup+140.086 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1505832/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=27492 CPUtime=140
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 6429 0 0 0 13885 115 0 0 25 0 1 0 39255058 28151808 6400 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 6873 6400 206 16 0 6314 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 27492

[startup+150.092 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1498792/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=34628 CPUtime=150
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 8200 0 0 0 14882 118 0 0 25 0 1 0 39255058 35459072 8171 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 8657 8171 206 16 0 8098 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 34628

[startup+160.098 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1493416/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=39908 CPUtime=160.01
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 9541 0 0 0 15877 124 0 0 25 0 1 0 39255058 40865792 9512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 9977 9512 206 16 0 9418 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 39908

[startup+170.104 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1493352/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=40064 CPUtime=170.01
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 9547 0 0 0 16871 130 0 0 25 0 1 0 39255058 41025536 9518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 10016 9518 206 16 0 9457 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 40064

[startup+180.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1493352/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=40064 CPUtime=180.02
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 9547 0 0 0 17866 136 0 0 25 0 1 0 39255058 41025536 9518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 10016 9518 206 16 0 9457 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 40064

[startup+190.116 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1493352/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=40064 CPUtime=190.02
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 9549 0 0 0 18859 143 0 0 25 0 1 0 39255058 41025536 9520 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 10016 9520 206 16 0 9457 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 40064

[startup+200.122 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1493352/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=40064 CPUtime=200.01
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 9549 0 0 0 19845 156 0 0 25 0 1 0 39255058 41025536 9520 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 10016 9520 206 16 0 9457 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 40064

[startup+210.128 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 8951
/proc/meminfo: memFree=1493352/2055920 swapFree=4192948/4192956

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

/proc/8877/statm: 12047 11485 206 16 0 11488 0
Current children cumulated CPU time (s) 1590.39
Current children cumulated vsize (Kb) 48188

[startup+1600.97 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485488/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1600.39
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 158989 1050 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1600.39
Current children cumulated vsize (Kb) 48188

[startup+1610.98 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1610.38
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 159975 1063 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1610.38
Current children cumulated vsize (Kb) 48188

[startup+1620.99 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1620.39
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 160966 1073 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1620.39
Current children cumulated vsize (Kb) 48188

[startup+1630.99 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1630.39
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 161951 1088 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1630.39
Current children cumulated vsize (Kb) 48188

[startup+1641 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1640.4
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 162945 1095 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1640.4
Current children cumulated vsize (Kb) 48188

[startup+1651 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1650.4
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 163941 1099 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1650.4
Current children cumulated vsize (Kb) 48188

[startup+1661.01 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1660.4
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 164926 1114 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134554629 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1660.4
Current children cumulated vsize (Kb) 48188

[startup+1671.02 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485488/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1670.41
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 165919 1122 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1670.41
Current children cumulated vsize (Kb) 48188

[startup+1681.02 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1680.4
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 166912 1128 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1680.4
Current children cumulated vsize (Kb) 48188

[startup+1691.03 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1690.41
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 167905 1136 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558609 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1690.41
Current children cumulated vsize (Kb) 48188

[startup+1701.04 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1700.41
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 168903 1138 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1700.41
Current children cumulated vsize (Kb) 48188

[startup+1711.04 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1710.42
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 169895 1147 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1710.42
Current children cumulated vsize (Kb) 48188

[startup+1721.05 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1720.42
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 170888 1154 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1720.42
Current children cumulated vsize (Kb) 48188

[startup+1731.06 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1730.4
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 171883 1157 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1730.4
Current children cumulated vsize (Kb) 48188

[startup+1741.06 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1740.41
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 172879 1162 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1740.41
Current children cumulated vsize (Kb) 48188

[startup+1751.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485360/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1750.41
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 173877 1164 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1750.41
Current children cumulated vsize (Kb) 48188

[startup+1761.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1760.42
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 174874 1168 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (Kb) 48188

[startup+1771.08 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1770.42
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 175870 1172 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1770.42
Current children cumulated vsize (Kb) 48188

[startup+1781.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1780.42
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 176869 1173 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1780.42
Current children cumulated vsize (Kb) 48188

[startup+1782.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1781.42
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 176969 1173 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558653 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (Kb) 48188

[startup+1783.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 8951
/proc/meminfo: memFree=1485424/2055920 swapFree=4192948/4192956
[pid=8877] ppid=8875 vsize=48188 CPUtime=1782.43
/proc/8877/stat : 8877 (Pueblo) R 8875 8877 8831 0 -1 4194304 11515 0 0 0 177070 1173 0 0 25 0 1 0 39255058 49344512 11486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8877/statm: 12047 11486 206 16 0 11488 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 48188

Child status: 10
Real time (s): 1783.4
CPU time (s): 1782.74
CPU user time (s): 1770.99
CPU system time (s): 11.7462
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (Kb): 48188

Launcher Data (download as text)

Begin job on node58 on Sat Jun  3 22:01:22 UTC 2006


FILE ID= 36676-1149372082

PBS_JOBID= 312247

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/user8/Pueblo ROOT/tmp/node58/36676-1149372082/instance-36676-1149372082.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-36676-1149372082 -o ROOT/results/node58/solver-36676-1149372082 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node58/36676-1149372082/instance-36676-1149372082.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  8886b8ab7bdc8ec03150a7b794b8a992

RANDOM SEED= 251750365


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1529512 kB
Buffers:         29644 kB
Cached:         421188 kB
SwapCached:          8 kB
Active:          60780 kB
Inactive:       405356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1529512 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          26116 kB
Slab:            45960 kB
Committed_AS:   252608 kB
PageTables:       1616 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node58 on Sat Jun  3 22:31:05 UTC 2006