Trace number 352034

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT-4984 1782.75 1783.33

General information on the benchmark

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

Verifier Data (download as text)

OK	-4984

Conversion Script Data (download as text)

/tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node58/watcher-352034-1176620833 -o ROOT/results/node58/solver-352034-1176620833 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11046
/proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=2552 CPUtime=0
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 109992965 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5336791 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 638 230 193 16 0 77 0

[startup+0.022262 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11046
/proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=2952 CPUtime=0.01
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 356 0 0 0 1 0 0 0 18 0 1 0 109992965 3022848 326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5336791 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 738 326 199 16 0 177 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2952

[startup+0.102274 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11046
/proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=4148 CPUtime=0.09
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 109992965 4247552 633 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 1037 633 199 16 0 476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4148

[startup+0.302307 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11046
/proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=5348 CPUtime=0.29
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 979 0 0 0 28 1 0 0 19 0 1 0 109992965 5476352 949 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5336791 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 1337 949 199 16 0 776 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5348

[startup+0.701375 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11046
/proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=12332 CPUtime=0.69
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 2647 0 0 0 68 1 0 0 22 0 1 0 109992965 12627968 2617 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 3083 2617 204 16 0 2522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12332

[startup+1.50151 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1576288/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=15108 CPUtime=1.49
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3335 0 0 0 147 2 0 0 25 0 1 0 109992965 15470592 3305 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528017 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 3777 3305 206 16 0 3216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15108

[startup+3.10178 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1576160/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=15108 CPUtime=3.09
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3335 0 0 0 307 2 0 0 25 0 1 0 109992965 15470592 3305 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 3777 3305 206 16 0 3216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15108

[startup+6.30132 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1575392/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=15768 CPUtime=6.28
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3502 0 0 0 625 3 0 0 25 0 1 0 109992965 16146432 3472 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 3942 3472 206 16 0 3381 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15768

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1574368/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=16812 CPUtime=12.69
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3768 0 0 0 1264 5 0 0 25 0 1 0 109992965 17215488 3738 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 4203 3738 206 16 0 3642 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16812

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1572256/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=18920 CPUtime=25.48
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 4283 0 0 0 2539 9 0 0 25 0 1 0 109992965 19374080 4253 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 4730 4253 206 16 0 4169 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18920

[startup+51.1029 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1571424/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=19836 CPUtime=51.07
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 4515 0 0 0 5092 15 0 0 25 0 1 0 109992965 20312064 4485 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 4959 4485 206 16 0 4398 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19836

[startup+102.304 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1570272/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=21012 CPUtime=102.25
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 4791 0 0 0 10206 19 0 0 25 0 1 0 109992965 21516288 4761 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 5253 4761 206 16 0 4692 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 21012

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1568352/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=23032 CPUtime=162.23
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 5299 0 0 0 16132 91 0 0 25 0 1 0 109992965 23584768 5269 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 5758 5269 206 16 0 5197 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 23032

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1561952/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=29528 CPUtime=222.22
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 6855 0 0 0 22071 151 0 0 25 0 1 0 109992965 30236672 6825 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 7382 6825 206 16 0 6821 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 29528

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1561312/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=30208 CPUtime=282.2
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 6997 0 0 0 27994 226 0 0 25 0 1 0 109992965 30932992 6967 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 7552 6967 206 16 0 6991 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 30208

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1560480/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=31028 CPUtime=342.18
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 7197 0 0 0 33906 312 0 0 25 0 1 0 109992965 31772672 7167 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 7757 7167 206 16 0 7196 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 31028

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1557984/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=34292 CPUtime=402.16
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8010 0 0 0 39849 367 0 0 25 0 1 0 109992965 35115008 7980 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 8573 7980 206 16 0 8012 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 34292

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1555360/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=36256 CPUtime=462.13
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8488 0 0 0 45791 422 0 0 25 0 1 0 109992965 37126144 8458 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 9064 8458 206 16 0 8503 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 36256

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1555296/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=36256 CPUtime=522.12
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8488 0 0 0 51726 486 0 0 25 0 1 0 109992965 37126144 8458 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 9064 8458 206 16 0 8503 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 36256

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1555360/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=36256 CPUtime=582.1
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8488 0 0 0 57657 553 0 0 25 0 1 0 109992965 37126144 8458 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 9064 8458 206 16 0 8503 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 36256

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1554784/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=36776 CPUtime=642.08
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8623 0 0 0 63619 589 0 0 25 0 1 0 109992965 37658624 8593 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 9194 8593 206 16 0 8633 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 36776


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

/proc/meminfo: memFree=1550944/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=40692 CPUtime=822.02
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9605 0 0 0 81461 741 0 0 25 0 1 0 109992965 41668608 9575 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 10173 9575 206 16 0 9612 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 40692

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=41748 CPUtime=882.01
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9872 0 0 0 87423 778 0 0 25 0 1 0 109992965 42749952 9842 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 10437 9842 206 16 0 9876 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 41748

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=41748 CPUtime=941.99
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9873 0 0 0 93373 826 0 0 25 0 1 0 109992965 42749952 9843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 10437 9843 206 16 0 9876 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 41748

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=41748 CPUtime=1001.96
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9873 0 0 0 99323 873 0 0 25 0 1 0 109992965 42749952 9843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 10437 9843 206 16 0 9876 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 41748

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=41748 CPUtime=1061.94
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9873 0 0 0 105276 918 0 0 25 0 1 0 109992965 42749952 9843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 10437 9843 206 16 0 9876 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 41748

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1544864/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=46720 CPUtime=1121.93
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 11120 0 0 0 111230 963 0 0 25 0 1 0 109992965 47841280 11090 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 11680 11090 206 16 0 11119 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 46720

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1540832/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=50836 CPUtime=1181.9
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 12133 0 0 0 117197 993 0 0 25 0 1 0 109992965 52056064 12103 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 12709 12103 206 16 0 12148 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 50836

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1536096/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55524 CPUtime=1241.89
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13306 0 0 0 123174 1015 0 0 25 0 1 0 109992965 56856576 13276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13881 13276 206 16 0 13320 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 55524

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55656 CPUtime=1301.87
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13357 0 0 0 129153 1034 0 0 25 0 1 0 109992965 56991744 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13914 13327 206 16 0 13353 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 55656

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55656 CPUtime=1361.85
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13357 0 0 0 135124 1061 0 0 25 0 1 0 109992965 56991744 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13914 13327 206 16 0 13353 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 55656

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535968/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55656 CPUtime=1421.84
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13357 0 0 0 141086 1098 0 0 25 0 1 0 109992965 56991744 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13914 13327 206 16 0 13353 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 55656

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55656 CPUtime=1481.81
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13362 0 0 0 147049 1132 0 0 25 0 1 0 109992965 56991744 13332 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13914 13332 206 16 0 13353 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 55656

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55628 CPUtime=1541.79
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13362 0 0 0 153010 1169 0 0 25 0 1 0 109992965 56963072 13326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13907 13326 206 16 0 13346 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 55628

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535968/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55628 CPUtime=1601.77
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13362 0 0 0 158975 1202 0 0 25 0 1 0 109992965 56963072 13326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520417 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13907 13326 206 16 0 13346 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 55628

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55628 CPUtime=1661.75
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13363 0 0 0 164915 1260 0 0 25 0 1 0 109992965 56963072 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13907 13327 206 16 0 13346 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 55628

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55628 CPUtime=1721.74
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13363 0 0 0 170864 1310 0 0 25 0 1 0 109992965 56963072 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13907 13327 206 16 0 13346 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 55628

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55628 CPUtime=1781.71
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13366 0 0 0 176802 1369 0 0 25 0 1 0 109992965 56963072 13330 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13907 13330 206 16 0 13346 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 55628

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55628 CPUtime=1782.52
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13366 0 0 0 176882 1370 0 0 25 0 1 0 109992965 56963072 13330 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13907 13330 206 16 0 13346 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 55628

[startup+1783.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11047
/proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956
[pid=11046] ppid=11044 vsize=55628 CPUtime=1782.72
/proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13366 0 0 0 176902 1370 0 0 25 0 1 0 109992965 56963072 13330 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11046/statm: 13907 13330 206 16 0 13346 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 55628

Child status: 10
Real time (s): 1783.33
CPU time (s): 1782.75
CPU user time (s): 1769.04
CPU system time (s): 13.7139
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 55656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.04
system time used= 13.7139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 3370

runsolver used 1.2918 second user time and 3.60245 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Sun Apr 15 07:07:13 UTC 2007

IDJOB= 352034
IDBENCH= 1875
IDSOLVER= 165
FILE ID= node58/352034-1176620833

PBS_JOBID= 4557036

Free space on /tmp= 66561 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= Pueblo /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-352034-1176620833 -o ROOT/results/node58/conversion-352034-1176620833 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-352034-1176620833 -o ROOT/results/node58/solver-352034-1176620833 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  a74bcf40291587dc368e3a23fd278be9

RANDOM SEED= 995770378

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.265
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.265
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:       1589184 kB
Buffers:         38444 kB
Cached:         319600 kB
SwapCached:       2696 kB
Active:         141520 kB
Inactive:       227892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1589184 kB
SwapTotal:     4192956 kB
SwapFree:      4184728 kB
Dirty:            3576 kB
Writeback:           0 kB
Mapped:          17868 kB
Slab:            83380 kB
Committed_AS:   174404 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node58 on Sun Apr 15 07:36:56 UTC 2007