Trace number 40596

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05SAT22109279427 1800.41 1801.01

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUMb612476f726e564b5a94f02f6f689a8e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3982597801
Best CPU time to get the best result obtained on this benchmark1800.97
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2753150964
Optimality of the best value was proved NO
Number of variables14101
Total number of constraints1739
Number of constraints which are clauses181
Number of constraints which are cardinality constraints (but not clauses)1140
Number of constraints which are nor clauses,nor cardinality constraints418
Minimum length of a constraint2
Maximum length of a constraint2463
Number of terms in the objective function 14101
Biggest coefficient in the objective function 292878668
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 975388850291
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 292878668
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 975388850291
Number of bits of the biggest sum of numbers40
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	22109279427

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1452120/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=4664 CPUtime=0
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 196397453 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7691540 0 0 4096 0 0 0 0 17 1 0 0
/proc/25610/statm: 1166 135 105 55 0 46 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1414168/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=42884 CPUtime=9.98
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 9925 0 0 0 993 5 0 0 25 0 1 0 196397453 43913216 9789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 10721 9789 297 55 0 9613 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 42884

[startup+20.0088 s]
/proc/loadavg: 0.94 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1406168/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=50912 CPUtime=19.97
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 11926 0 0 0 1990 7 0 0 25 0 1 0 196397453 52133888 11790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 12728 11790 300 55 0 11620 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 50912

[startup+30.0144 s]
/proc/loadavg: 0.95 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1402200/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=54948 CPUtime=29.98
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 12953 0 0 0 2990 8 0 0 25 0 1 0 196397453 56266752 12792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 13737 12792 300 55 0 12629 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 54948

[startup+40.0201 s]
/proc/loadavg: 0.95 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1402264/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=54948 CPUtime=39.98
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 12954 0 0 0 3989 9 0 0 25 0 1 0 196397453 56266752 12793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 13737 12793 300 55 0 12629 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 54948

[startup+50.0258 s]
/proc/loadavg: 0.96 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1400280/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=56940 CPUtime=49.99
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 13455 0 0 0 4989 10 0 0 25 0 1 0 196397453 58306560 13294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 14235 13294 300 55 0 13127 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 56940

[startup+60.0315 s]
/proc/loadavg: 0.97 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1372952/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=84076 CPUtime=59.99
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 20268 0 0 0 5985 14 0 0 25 0 1 0 196397453 86093824 20093 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 21019 20093 300 55 0 19911 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 84076

[startup+70.0372 s]
/proc/loadavg: 0.97 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1372952/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=84076 CPUtime=69.99
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 20268 0 0 0 6985 14 0 0 25 0 1 0 196397453 86093824 20093 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 21019 20093 300 55 0 19911 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 84076

[startup+80.0429 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1375640/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=81248 CPUtime=79.99
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 20270 0 0 0 7985 14 0 0 25 0 1 0 196397453 83197952 19388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 20312 19388 300 55 0 19204 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 81248

[startup+90.0486 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1370136/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=87080 CPUtime=89.99
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 21686 0 0 0 8984 15 0 0 25 0 1 0 196397453 89169920 20804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 21770 20804 300 55 0 20662 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 87080

[startup+100.054 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356376/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=100884 CPUtime=100
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25126 0 0 0 9982 18 0 0 25 0 1 0 196397453 103305216 24244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25221 24244 300 55 0 24113 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 100884

[startup+110.06 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1355992/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=110
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25241 0 0 0 10982 18 0 0 25 0 1 0 196397453 103555072 24339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24339 300 55 0 24174 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 101128

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356056/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=120
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25243 0 0 0 11982 18 0 0 25 0 1 0 196397453 103555072 24341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24341 300 55 0 24174 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 101128

[startup+130.071 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356120/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=130.01
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25243 0 0 0 12982 19 0 0 25 0 1 0 196397453 103555072 24341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24341 300 55 0 24174 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 101128

[startup+140.077 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356120/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=140.01
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25243 0 0 0 13981 20 0 0 25 0 1 0 196397453 103555072 24341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24341 300 55 0 24174 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 101128

[startup+150.083 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356120/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=150.01
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25243 0 0 0 14981 20 0 0 25 0 1 0 196397453 103555072 24341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24341 300 55 0 24174 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 101128

[startup+160.088 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356120/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=160.02
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25245 0 0 0 15981 21 0 0 25 0 1 0 196397453 103555072 24343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24343 300 55 0 24174 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 101128

[startup+170.094 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356120/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=170.01
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25246 0 0 0 16980 21 0 0 25 0 1 0 196397453 103555072 24344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24344 300 55 0 24174 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 101128

[startup+180.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356056/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=180.02
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25254 0 0 0 17980 22 0 0 25 0 1 0 196397453 103555072 24352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24352 300 55 0 24174 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 101128

[startup+190.106 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1356056/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=101128 CPUtime=190.02
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25259 0 0 0 18979 23 0 0 25 0 1 0 196397453 103555072 24357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25282 24357 300 55 0 24174 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 101128

[startup+200.111 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1353496/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=103780 CPUtime=200.02
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 25908 0 0 0 19979 23 0 0 25 0 1 0 196397453 106270720 25006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8152983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 25945 25006 300 55 0 24837 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 103780

[startup+210.117 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=1350360/2055920 swapFree=4181356/4192956

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

/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 1072540

[startup+1771.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1770.44
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 176868 176 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 1072540

[startup+1781.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1780.45
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 177868 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 1072540

[startup+1782.05 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1781.46
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 177969 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134536984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 1072540

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1782.46
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178069 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 1072540

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1783.47
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178170 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134646126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 1072540

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1784.47
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178270 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 1072540

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1785.47
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178370 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134646126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 1072540

[startup+1787.07 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1786.48
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178471 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 1072540

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1787.48
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178571 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 1072540

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1788.49
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178672 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 1072540

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1789.49
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178772 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 1072540

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1790.5
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178873 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 1072540

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397592/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1072540 CPUtime=1791.5
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282051 0 0 0 178973 177 0 0 25 0 1 0 196397453 1098280960 263414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134646126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268135 263414 300 55 0 267027 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 1072540

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=397016/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1073148 CPUtime=1792.5
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282199 0 0 0 179073 177 0 0 25 0 1 0 196397453 1098903552 263562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268287 263562 300 55 0 267179 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 1073148

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=396952/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1073148 CPUtime=1793.5
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282209 0 0 0 179173 177 0 0 25 0 1 0 196397453 1098903552 263572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268287 263572 300 55 0 267179 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 1073148

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=396952/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1073148 CPUtime=1794.51
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282209 0 0 0 179274 177 0 0 25 0 1 0 196397453 1098903552 263572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268287 263572 300 55 0 267179 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 1073148

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=395544/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1074624 CPUtime=1795.51
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282558 0 0 0 179374 177 0 0 25 0 1 0 196397453 1100414976 263921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268656 263921 300 55 0 267548 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 1074624

[startup+1797.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=395480/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1074624 CPUtime=1796.52
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282578 0 0 0 179475 177 0 0 25 0 1 0 196397453 1100414976 263941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268656 263941 300 55 0 267548 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 1074624

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=395480/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1074624 CPUtime=1797.52
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282587 0 0 0 179575 177 0 0 25 0 1 0 196397453 1100414976 263950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268656 263950 300 55 0 267548 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 1074624

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=395416/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1074624 CPUtime=1798.53
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282596 0 0 0 179676 177 0 0 25 0 1 0 196397453 1100414976 263959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134646126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268656 263959 300 55 0 267548 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 1074624

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 25610
/proc/meminfo: memFree=395352/2055920 swapFree=4181356/4192956
[pid=25610] ppid=25608 vsize=1074756 CPUtime=1799.53
/proc/25610/stat : 25610 (bsolo) R 25608 25610 25564 0 -1 0 282608 0 0 0 179776 177 0 0 25 0 1 0 196397453 1100550144 263971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25610/statm: 268689 263971 300 55 0 267581 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 1074756

Child status: 10
Real time (s): 1801.01
CPU time (s): 1800.41
CPU user time (s): 1798.46
CPU system time (s): 1.9487
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (Kb): 1074756

Launcher Data (download as text)

Begin job on node34 on Sat Jun  3 04:02:16 UTC 2006


FILE ID= 40596-1149307336

PBS_JOBID= 307696

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40596-1149307336/instance-40596-1149307336.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-40596-1149307336 -o ROOT/results/node34/solver-40596-1149307336 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40596-1149307336/instance-40596-1149307336.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  b612476f726e564b5a94f02f6f689a8e

RANDOM SEED= 780890053


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1452328 kB
Buffers:         24676 kB
Cached:         506008 kB
SwapCached:       3524 kB
Active:          36504 kB
Inactive:       503164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1452328 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            50012 kB
Committed_AS:   326284 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Sat Jun  3 04:32:17 UTC 2006