Trace number 36673

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.74 1783.45

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

Verifier Data (download as text)

OK	-4984

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node89/watcher-36673-1149371324 -o ROOT/results/node89/solver-36673-1149371324 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node89/36673-1149371324/instance-36673-1149371324.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.96 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1768344/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=2544 CPUtime=0
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 240 0 0 0 0 0 0 0 18 0 1 0 202771468 2605056 213 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 9869678 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 644 219 189 16 0 84 0

[startup+10.0023 s]
/proc/loadavg: 0.97 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1754712/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=16572 CPUtime=9.98
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 3684 0 0 0 995 3 0 0 25 0 1 0 202771468 16969728 3656 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559287 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 4143 3656 206 16 0 3583 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 16572

[startup+20.0082 s]
/proc/loadavg: 0.97 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1752536/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=18944 CPUtime=19.98
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4283 0 0 0 1992 6 0 0 25 0 1 0 202771468 19398656 4255 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 4736 4255 206 16 0 4176 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 18944

[startup+30.014 s]
/proc/loadavg: 0.98 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1751768/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=19728 CPUtime=29.98
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4467 0 0 0 2989 9 0 0 25 0 1 0 202771468 20201472 4439 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 4932 4439 206 16 0 4372 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 19728

[startup+40.0199 s]
/proc/loadavg: 0.98 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1751576/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=19860 CPUtime=39.98
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4520 0 0 0 3987 11 0 0 25 0 1 0 202771468 20336640 4492 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 4965 4492 206 16 0 4405 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 19860

[startup+50.0257 s]
/proc/loadavg: 0.98 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1751640/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=19860 CPUtime=49.99
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4520 0 0 0 4987 12 0 0 25 0 1 0 202771468 20336640 4492 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 4965 4492 206 16 0 4405 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 19860

[startup+60.0316 s]
/proc/loadavg: 0.98 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1751640/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=19860 CPUtime=60
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4520 0 0 0 5987 13 0 0 25 0 1 0 202771468 20336640 4492 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 4965 4492 206 16 0 4405 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 19860

[startup+70.0375 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1751640/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=19860 CPUtime=69.99
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4521 0 0 0 6986 13 0 0 25 0 1 0 202771468 20336640 4493 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 4965 4493 206 16 0 4405 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 19860

[startup+80.0433 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1751192/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=20336 CPUtime=80
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4638 0 0 0 7986 14 0 0 25 0 1 0 202771468 20824064 4610 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519888 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5084 4610 206 16 0 4524 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 20336

[startup+90.0492 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1750552/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=21036 CPUtime=90
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4796 0 0 0 8985 15 0 0 25 0 1 0 202771468 21540864 4768 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5259 4768 206 16 0 4699 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 21036

[startup+100.055 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1750552/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=21036 CPUtime=100
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4796 0 0 0 9984 16 0 0 25 0 1 0 202771468 21540864 4768 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528004 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5259 4768 206 16 0 4699 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 21036

[startup+110.061 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1750552/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=21036 CPUtime=110
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 4796 0 0 0 10981 19 0 0 25 0 1 0 202771468 21540864 4768 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5259 4768 206 16 0 4699 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 21036

[startup+120.067 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1749144/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=22488 CPUtime=120
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 5149 0 0 0 11965 35 0 0 25 0 1 0 202771468 23027712 5121 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5622 5121 206 16 0 5062 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 22488

[startup+130.073 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1748888/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=22744 CPUtime=130
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 5207 0 0 0 12954 46 0 0 25 0 1 0 202771468 23289856 5179 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5686 5179 206 16 0 5126 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 22744

[startup+140.079 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1748760/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=22916 CPUtime=140.01
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 5235 0 0 0 13938 63 0 0 25 0 1 0 202771468 23465984 5207 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5729 5207 206 16 0 5169 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 22916

[startup+150.084 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1748632/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=22916 CPUtime=150.01
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 5267 0 0 0 14916 85 0 0 25 0 1 0 202771468 23465984 5239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 5729 5239 206 16 0 5169 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 22916

[startup+160.089 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1745688/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=26000 CPUtime=160.01
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 6007 0 0 0 15907 94 0 0 25 0 1 0 202771468 26624000 5979 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 6500 5979 206 16 0 5940 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 26000

[startup+170.095 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1742680/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=29128 CPUtime=170.01
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 6758 0 0 0 16901 100 0 0 25 0 1 0 202771468 29827072 6730 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 7282 6730 206 16 0 6722 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 29128

[startup+180.102 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1742296/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=29552 CPUtime=180.01
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 6853 0 0 0 17894 107 0 0 25 0 1 0 202771468 30261248 6825 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 7388 6825 206 16 0 6828 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 29552

[startup+190.108 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1742296/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=29552 CPUtime=190.02
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 6854 0 0 0 18881 121 0 0 25 0 1 0 202771468 30261248 6826 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 7388 6826 206 16 0 6828 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 29552

[startup+200.114 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1742296/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=29552 CPUtime=200.02
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 6860 0 0 0 19869 133 0 0 25 0 1 0 202771468 30261248 6832 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 7388 6832 206 16 0 6828 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 29552

[startup+210.12 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30464
/proc/meminfo: memFree=1742232/2055892 swapFree=4085352/4096564

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

/proc/30464/statm: 13913 13334 206 16 0 13353 0
Current children cumulated CPU time (s) 1590.3
Current children cumulated vsize (Kb) 55652

[startup+1600.94 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1600.3
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13368 0 0 0 158798 1232 0 0 25 0 1 0 202771468 56987648 13334 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13334 206 16 0 13353 0
Current children cumulated CPU time (s) 1600.3
Current children cumulated vsize (Kb) 55652

[startup+1610.95 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1610.3
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13368 0 0 0 159789 1241 0 0 25 0 1 0 202771468 56987648 13334 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13334 206 16 0 13353 0
Current children cumulated CPU time (s) 1610.3
Current children cumulated vsize (Kb) 55652

[startup+1620.96 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1620.31
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13368 0 0 0 160778 1253 0 0 25 0 1 0 202771468 56987648 13334 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13334 206 16 0 13353 0
Current children cumulated CPU time (s) 1620.31
Current children cumulated vsize (Kb) 55652

[startup+1630.96 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1630.3
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13368 0 0 0 161768 1262 0 0 25 0 1 0 202771468 56987648 13334 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13334 206 16 0 13353 0
Current children cumulated CPU time (s) 1630.3
Current children cumulated vsize (Kb) 55652

[startup+1640.97 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1640.31
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13368 0 0 0 162756 1275 0 0 25 0 1 0 202771468 56987648 13334 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13334 206 16 0 13353 0
Current children cumulated CPU time (s) 1640.31
Current children cumulated vsize (Kb) 55652

[startup+1650.97 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1650.31
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13368 0 0 0 163745 1286 0 0 25 0 1 0 202771468 56987648 13334 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13334 206 16 0 13353 0
Current children cumulated CPU time (s) 1650.31
Current children cumulated vsize (Kb) 55652

[startup+1660.98 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1660.32
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13371 0 0 0 164737 1295 0 0 25 0 1 0 202771468 56987648 13337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13337 206 16 0 13353 0
Current children cumulated CPU time (s) 1660.32
Current children cumulated vsize (Kb) 55652

[startup+1670.99 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1670.32
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13371 0 0 0 165728 1304 0 0 25 0 1 0 202771468 56987648 13337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13337 206 16 0 13353 0
Current children cumulated CPU time (s) 1670.32
Current children cumulated vsize (Kb) 55652

[startup+1680.99 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1680.32
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13371 0 0 0 166721 1311 0 0 25 0 1 0 202771468 56987648 13337 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13337 206 16 0 13353 0
Current children cumulated CPU time (s) 1680.32
Current children cumulated vsize (Kb) 55652

[startup+1691 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1690.32
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 167711 1321 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1690.32
Current children cumulated vsize (Kb) 55652

[startup+1701 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715928/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1700.33
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 168703 1330 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1700.33
Current children cumulated vsize (Kb) 55652

[startup+1711.01 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715928/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1710.32
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 169691 1341 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1710.32
Current children cumulated vsize (Kb) 55652

[startup+1721.01 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715928/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1720.33
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 170681 1352 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1720.33
Current children cumulated vsize (Kb) 55652

[startup+1731.02 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715928/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1730.33
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 171672 1361 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1730.33
Current children cumulated vsize (Kb) 55652

[startup+1741.03 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715928/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1740.33
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 172665 1368 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1740.33
Current children cumulated vsize (Kb) 55652

[startup+1751.03 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715928/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1750.34
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 173660 1374 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1750.34
Current children cumulated vsize (Kb) 55652

[startup+1761.04 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1760.34
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 174647 1387 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1760.34
Current children cumulated vsize (Kb) 55652

[startup+1771.04 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1770.34
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 175638 1396 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1770.34
Current children cumulated vsize (Kb) 55652

[startup+1781.05 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1780.34
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 176628 1406 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (Kb) 55652

[startup+1782.06 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1781.35
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 176728 1407 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 55652

[startup+1783.06 s]
/proc/loadavg: 0.99 1.00 0.94 2/68 30659
/proc/meminfo: memFree=1715992/2055892 swapFree=4085352/4096564
[pid=30464] ppid=30462 vsize=55652 CPUtime=1782.35
/proc/30464/stat : 30464 (Pueblo) R 30462 30464 30418 0 -1 4194304 13372 0 0 0 176826 1409 0 0 25 0 1 0 202771468 56987648 13338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30464/statm: 13913 13338 206 16 0 13353 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 55652

Child status: 10
Real time (s): 1783.45
CPU time (s): 1782.74
CPU user time (s): 1768.63
CPU system time (s): 14.1059
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (Kb): 55680

Launcher Data (download as text)

Begin job on node89 on Sat Jun  3 21:48:44 UTC 2006


FILE ID= 36673-1149371324

PBS_JOBID= 312209

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  a74bcf40291587dc368e3a23fd278be9

RANDOM SEED= 435673852


/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	: 6006.16
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1768744 kB
Buffers:         28660 kB
Cached:         197096 kB
SwapCached:       2384 kB
Active:          54264 kB
Inactive:       180140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1768744 kB
SwapTotal:     4096564 kB
SwapFree:      4085352 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          16524 kB
Slab:            39296 kB
Committed_AS:   380596 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node89 on Sat Jun  3 22:18:28 UTC 2006