Trace number 37826

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.3SAT-5830 1782.75 1783.31

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

Verifier Data (download as text)

OK	-5830

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/node35/watcher-37826-1149372063 -o ROOT/results/node35/solver-37826-1149372063 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node35/37826-1149372063/instance-37826-1149372063.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.91 2/70 10374
/proc/meminfo: memFree=1411088/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=2540 CPUtime=0
/proc/10374/stat : 10374 (Pueblo13) D 10372 10374 10328 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 202870175 2600960 213 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10374/statm: 635 213 187 16 0 76 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.95 0.91 2/70 10422
/proc/meminfo: memFree=1392912/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=21012 CPUtime=9.99
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 4820 0 0 0 987 12 0 0 25 0 1 0 202870175 21516288 4791 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 5253 4791 206 16 0 4694 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 21012

[startup+20.0098 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1392312/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=22500 CPUtime=19.96
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 5182 0 0 0 1977 19 0 0 25 0 1 0 202870175 23040000 5153 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 5625 5153 206 16 0 5066 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 22500

[startup+30.016 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1391552/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=23396 CPUtime=29.97
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 5424 0 0 0 2971 26 0 0 25 0 1 0 202870175 23957504 5395 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 5849 5395 206 16 0 5290 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 23396

[startup+40.0222 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1391168/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=23792 CPUtime=39.97
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 5516 0 0 0 3965 32 0 0 25 0 1 0 202870175 24363008 5487 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 5948 5487 206 16 0 5389 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 23792

[startup+50.0284 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1391168/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=23952 CPUtime=49.97
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 5531 0 0 0 4954 43 0 0 25 0 1 0 202870175 24526848 5502 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528004 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 5988 5502 206 16 0 5429 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 23952

[startup+60.0346 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1389440/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=25696 CPUtime=59.98
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 5979 0 0 0 5945 53 0 0 25 0 1 0 202870175 26312704 5950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 6424 5950 206 16 0 5865 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 25696

[startup+70.0408 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1388480/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=26784 CPUtime=69.98
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 6236 0 0 0 6942 56 0 0 25 0 1 0 202870175 27426816 6207 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 6696 6207 206 16 0 6137 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 26784

[startup+80.047 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1387520/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=27696 CPUtime=79.98
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 6484 0 0 0 7936 62 0 0 25 0 1 0 202870175 28360704 6455 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 6924 6455 206 16 0 6365 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 27696

[startup+90.0532 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1385984/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=29244 CPUtime=89.98
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 6852 0 0 0 8930 68 0 0 25 0 1 0 202870175 29945856 6823 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7311 6823 206 16 0 6752 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 29244

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1385984/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=29244 CPUtime=99.99
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 6852 0 0 0 9922 77 0 0 25 0 1 0 202870175 29945856 6823 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7311 6823 206 16 0 6752 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 29244

[startup+110.066 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10546
/proc/meminfo: memFree=1385984/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=29244 CPUtime=109.99
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 6853 0 0 0 10919 80 0 0 25 0 1 0 202870175 29945856 6824 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7311 6824 206 16 0 6752 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 29244

[startup+120.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1385664/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=29636 CPUtime=120
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 6939 0 0 0 11913 87 0 0 25 0 1 0 202870175 30347264 6910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527964 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7409 6910 206 16 0 6850 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 29636

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1385600/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=29636 CPUtime=130
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 6946 0 0 0 12909 91 0 0 25 0 1 0 202870175 30347264 6917 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7409 6917 206 16 0 6850 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 29636

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384128/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=31048 CPUtime=140
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 7314 0 0 0 13904 96 0 0 25 0 1 0 202870175 31793152 7285 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7762 7285 206 16 0 7203 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 31048

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384064/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=31180 CPUtime=150
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 7331 0 0 0 14897 103 0 0 25 0 1 0 202870175 31928320 7302 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7795 7302 206 16 0 7236 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 31180

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384064/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=31180 CPUtime=160.01
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 7340 0 0 0 15891 110 0 0 25 0 1 0 202870175 31928320 7311 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7795 7311 206 16 0 7236 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 31180

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384000/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=31180 CPUtime=170.01
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 7341 0 0 0 16884 117 0 0 25 0 1 0 202870175 31928320 7312 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7795 7312 206 16 0 7236 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 31180

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384000/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=31180 CPUtime=180.01
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 7342 0 0 0 17879 122 0 0 25 0 1 0 202870175 31928320 7313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7795 7313 206 16 0 7236 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 31180

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384064/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=31180 CPUtime=190.01
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 7342 0 0 0 18864 137 0 0 25 0 1 0 202870175 31928320 7313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7795 7313 206 16 0 7236 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 31180

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384064/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=31180 CPUtime=200.02
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 7342 0 0 0 19856 146 0 0 25 0 1 0 202870175 31928320 7313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 7795 7313 206 16 0 7236 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 31180

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1384064/2055920 swapFree=4180888/4192956

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

/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1590.46
Current children cumulated vsize (Kb) 52768

[startup+1600.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1600.46
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 158372 1674 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1600.46
Current children cumulated vsize (Kb) 52768

[startup+1610.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1610.46
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 159360 1686 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1610.46
Current children cumulated vsize (Kb) 52768

[startup+1620.99 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362688/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1620.47
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 160348 1699 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1897049 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1620.47
Current children cumulated vsize (Kb) 52768

[startup+1631 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1630.47
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 161338 1709 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1630.47
Current children cumulated vsize (Kb) 52768

[startup+1641 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1640.47
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 162324 1723 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1640.47
Current children cumulated vsize (Kb) 52768

[startup+1651.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1650.47
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 163313 1734 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1650.47
Current children cumulated vsize (Kb) 52768

[startup+1661.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1660.47
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 164302 1745 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1660.47
Current children cumulated vsize (Kb) 52768

[startup+1671.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1670.48
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 165287 1761 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1670.48
Current children cumulated vsize (Kb) 52768

[startup+1681.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1680.49
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 166268 1781 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1680.49
Current children cumulated vsize (Kb) 52768

[startup+1691.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1690.49
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 167247 1802 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1690.49
Current children cumulated vsize (Kb) 52768

[startup+1701.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1700.49
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 168235 1814 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1700.49
Current children cumulated vsize (Kb) 52768

[startup+1711.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1710.49
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 169221 1828 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1895870 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1710.49
Current children cumulated vsize (Kb) 52768

[startup+1721.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1720.5
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 170207 1843 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1720.5
Current children cumulated vsize (Kb) 52768

[startup+1731.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1730.5
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 171194 1856 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1730.5
Current children cumulated vsize (Kb) 52768

[startup+1741.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1740.5
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 172184 1866 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1740.5
Current children cumulated vsize (Kb) 52768

[startup+1751.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1750.5
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 173175 1875 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559226 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1750.5
Current children cumulated vsize (Kb) 52768

[startup+1761.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1760.51
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 174168 1883 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 52768

[startup+1771.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1770.52
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 175153 1899 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 52768

[startup+1781.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1780.52
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 176136 1916 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (Kb) 52768

[startup+1782.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1781.52
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 176236 1916 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 52768

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10546
/proc/meminfo: memFree=1362624/2055920 swapFree=4180888/4192956
[pid=10374] ppid=10372 vsize=52768 CPUtime=1782.53
/proc/10374/stat : 10374 (Pueblo13) R 10372 10374 10328 0 -1 4194304 12713 0 0 0 176336 1917 0 0 25 0 1 0 202870175 54034432 12627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10374/statm: 13192 12627 206 16 0 12633 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 52768

Child status: 10
Real time (s): 1783.31
CPU time (s): 1782.75
CPU user time (s): 1763.56
CPU system time (s): 19.1811
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (Kb): 53108

Launcher Data (download as text)

Begin job on node35 on Sat Jun  3 22:01:03 UTC 2006


FILE ID= 37826-1149372063

PBS_JOBID= 312246

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  8886b8ab7bdc8ec03150a7b794b8a992

RANDOM SEED= 777210674


/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.210
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.210
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:       1411296 kB
Buffers:         32788 kB
Cached:         541748 kB
SwapCached:       3872 kB
Active:         112452 kB
Inactive:       471696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1411296 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          16192 kB
Slab:            46048 kB
Committed_AS:   408888 kB
PageTables:       1668 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Sat Jun  3 22:30:46 UTC 2006