Trace number 459079

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
PBS4_v2 2007-03-23SAT (TO)28 1800.11 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
MD5SUMaa80468537d69826ea16800f352007ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables6207
Total number of constraints171
Number of constraints which are clauses171
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint5184
Number of terms in the objective function 6207
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6207
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6207
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb ......
1.99/2.02	c done parsing opb.
1.99/2.02	o 6207
2.19/2.23	o 6206
2.39/2.45	o 6205
2.59/2.66	o 6204
2.79/2.88	o 6203
2.99/3.09	o 6202
3.29/3.30	o 6201
3.49/3.52	o 6200
3.69/3.74	o 6199
3.89/3.95	o 6198
4.09/4.16	o 6197
4.29/4.38	o 6196
4.48/4.59	o 6195
4.79/4.81	o 6194
4.99/5.02	o 6193
5.18/5.24	o 6192
5.39/5.45	o 6191
5.59/5.66	o 6190
5.79/5.88	o 6189
5.99/6.09	o 6188
6.29/6.31	o 6187
6.49/6.52	o 6186
6.69/6.73	o 6185
6.89/6.95	o 6184
7.09/7.17	o 6183
7.29/7.38	o 6182
7.59/7.60	o 6181
7.78/7.81	o 6180
7.99/8.03	o 6179
8.19/8.24	o 6178
8.39/8.46	o 6177
8.59/8.67	o 6176
8.79/8.89	o 6175
9.09/9.11	o 6174
9.29/9.32	o 6173
9.49/9.54	o 6172
9.69/9.75	o 6171
9.90/9.97	o 6170
10.09/10.18	o 6169
10.29/10.40	o 6168
10.59/10.61	o 6167
10.79/10.83	o 6166
10.99/11.04	o 6165
11.19/11.26	o 6164
11.39/11.47	o 6163
11.59/11.69	o 6162
11.89/11.90	o 6161
12.09/12.12	o 6160
12.29/12.33	o 6159
12.48/12.54	o 6158
12.69/12.76	o 6157
12.88/12.97	o 6156
13.09/13.19	o 6155
13.39/13.40	o 6154
13.58/13.62	o 6153
13.79/13.83	o 6152
13.99/14.04	o 6151
14.19/14.26	o 6150
14.39/14.47	o 6149
14.59/14.68	o 6148
14.89/14.90	o 6147
15.09/15.11	o 6146
15.29/15.33	o 6145
15.48/15.54	o 6144
15.68/15.75	o 6143
15.89/15.97	o 6142
16.09/16.18	o 6141
16.29/16.39	o 6140
16.58/16.60	o 6139
16.79/16.82	o 6138
16.99/17.03	o 6137
17.19/17.24	o 6136
17.38/17.45	o 6135
17.59/17.66	o 6134
17.78/17.87	o 6133
17.99/18.08	o 6132
18.19/18.29	o 6131
18.49/18.50	o 6130
18.69/18.72	o 6129
18.88/18.93	o 6128
19.09/19.14	o 6127
19.28/19.35	o 6126
19.48/19.56	o 6125
19.69/19.77	o 6124
19.88/19.98	o 6123
20.08/20.19	o 6122
20.38/20.40	o 6121
20.58/20.61	o 6120
20.79/20.82	o 6119
20.99/21.04	o 6118
21.18/21.25	o 6117
21.38/21.46	o 6116
21.58/21.67	o 6115
21.79/21.88	o 6114
21.99/22.09	o 6113
22.28/22.30	o 6112
22.48/22.51	o 6111
22.68/22.72	o 6110
22.88/22.93	o 6109
23.09/23.14	o 6108
23.28/23.35	o 6107
23.49/23.56	o 6106
23.68/23.77	o 6105
23.88/23.99	o 6104
24.09/24.20	o 6103
24.38/24.41	o 6102
24.59/24.62	o 6101
24.78/24.83	o 6100
24.98/25.04	o 6099
25.19/25.25	o 6098
25.38/25.46	o 6097
25.59/25.67	o 6096
25.78/25.88	o 6095
25.98/26.09	o 6094
26.19/26.30	o 6093
26.49/26.51	o 6092
26.68/26.72	o 6091
26.88/26.93	o 6090
27.08/27.14	o 6089
27.28/27.36	o 6088
27.49/27.57	o 6087
27.68/27.78	o 6086
27.89/27.99	o 6085
28.18/28.20	o 6084
28.38/28.42	o 6083
28.59/28.63	o 6082
28.78/28.84	o 6081
28.99/29.05	o 6080
29.18/29.26	o 6079
29.38/29.48	o 6078
29.59/29.69	o 6077
29.88/29.90	o 6076
30.08/30.11	o 6075
30.28/30.32	o 6074
30.48/30.53	o 6073
30.69/30.75	o 6072
30.88/30.96	o 6071
31.08/31.17	o 6070
31.29/31.38	o 6069
31.48/31.59	o 6068
31.79/31.80	o 6067
31.98/32.02	o 6066
32.18/32.23	o 6065
32.38/32.44	o 6064
32.58/32.65	o 6063
32.78/32.86	o 6062
32.98/33.07	o 6061
33.18/33.28	o 6060
33.38/33.49	o 6059
33.67/33.71	o 6058
33.88/33.92	o 6057
34.08/34.13	o 6056
34.28/34.34	o 6055
34.48/34.55	o 6054
34.68/34.76	o 6053
34.88/34.97	o 6052
35.08/35.18	o 6051
35.27/35.39	o 6050
35.58/35.60	o 6049
35.78/35.82	o 6048
35.98/36.03	o 6047
36.18/36.24	o 6046
36.37/36.45	o 6045
36.58/36.66	o 6044
36.77/36.87	o 6043
36.98/37.08	o 6042
37.18/37.28	o 6041
37.38/37.49	o 6040
37.67/37.70	o 6039
37.87/37.91	o 6038
38.08/38.12	o 6037
38.27/38.33	o 6036
38.48/38.54	o 6035
38.67/38.74	o 6034
38.87/38.95	o 6033
39.08/39.16	o 6032
39.28/39.37	o 6031
39.47/39.58	o 6030
39.68/39.79	o 6029
39.88/39.99	o 6028
40.17/40.20	o 6027
40.37/40.41	o 6026
40.57/40.62	o 6025
40.77/40.83	o 6024
40.98/41.03	o 6023
41.17/41.24	o 6022
41.37/41.45	o 6021
41.57/41.66	o 6020
41.78/41.86	o 6019
41.98/42.07	o 6018
42.17/42.28	o 6017
42.37/42.49	o 6016
42.57/42.69	o 6015
42.87/42.90	o 6014
43.07/43.11	o 6013
43.27/43.31	o 6012
43.47/43.52	o 6011
43.67/43.73	o 6010
43.88/43.94	o 6009
44.08/44.14	o 6008
44.27/44.35	o 6007
44.47/44.56	o 6006
44.67/44.76	o 6005
44.87/44.97	o 6004
45.07/45.18	o 6003
45.27/45.38	o 6002
45.47/45.59	o 6001
45.67/45.80	o 6000
45.97/46.00	o 5999
46.18/46.21	o 5998
46.38/46.42	o 5997
46.57/46.62	o 5986
46.77/46.83	o 5966
46.97/47.04	o 5965
47.17/47.24	o 5964
47.37/47.45	o 5963
47.57/47.66	o 5962
47.77/47.86	o 5961
47.97/48.07	o 5960
48.17/48.28	o 5959
48.37/48.48	o 5958
48.57/48.69	o 5957
48.87/48.90	o 5956
49.07/49.10	o 5955
49.27/49.31	o 5954
49.47/49.51	o 5953
49.66/49.72	o 5952
49.87/49.93	o 5951
50.07/50.13	o 5950
50.27/50.34	o 5949
50.48/50.55	o 5948
50.67/50.75	o 5947
50.87/50.96	o 5946
51.07/51.16	o 5945
51.27/51.37	o 5944
51.47/51.57	o 5943
51.67/51.78	o 5942
51.87/51.99	o 5941
52.07/52.19	o 5940
52.37/52.40	o 5939
52.57/52.60	o 5938
52.77/52.81	o 5937
52.97/53.01	o 5936
53.17/53.22	o 5935
53.36/53.43	o 5934
53.56/53.63	o 5887
53.77/53.83	o 5886
53.97/54.04	o 5875
54.17/54.24	o 5872
54.36/54.44	o 5871
54.57/54.65	o 5870
54.76/54.85	o 5869
54.97/55.05	o 5868
55.17/55.25	o 5867
55.36/55.46	o 5866
55.57/55.66	o 5865
55.76/55.86	o 5864
55.97/56.06	o 5863
56.17/56.27	o 5862
56.37/56.47	o 5861
56.57/56.67	o 5860
56.77/56.87	o 5859
56.97/57.07	o 5858
57.17/57.27	o 5857
57.36/57.47	o 5856
57.57/57.67	o 5855
57.77/57.87	o 5854
57.97/58.07	o 5853
58.18/58.27	o 5852
58.37/58.47	o 5851
58.56/58.67	o 5850
58.77/58.87	o 5849
58.96/59.07	o 5848
59.17/59.27	o 5847
59.37/59.47	o 5846
59.57/59.67	o 5845
59.77/59.87	o 5844
59.97/60.07	o 5843
60.16/60.27	o 5842
60.37/60.47	o 5841
60.57/60.67	o 5840
60.76/60.87	o 5839
60.97/61.07	o 5838
61.16/61.27	o 5837
61.36/61.47	o 5836
61.57/61.67	o 5835
61.67/61.79	o 3057
61.87/61.90	o 3056
61.96/62.01	o 3055
62.07/62.12	o 3054
62.16/62.23	o 3053
62.27/62.34	o 3052
62.37/62.45	o 3051
62.47/62.56	o 3050
62.57/62.67	o 3046
62.67/62.78	o 3045
62.76/62.89	o 3044
62.86/63.00	o 3043
63.07/63.10	o 3042
63.16/63.21	o 3041
63.26/63.32	o 3031
63.37/63.43	o 3030
63.46/63.54	o 3029
63.56/63.65	o 3028
63.67/63.76	o 3027
63.77/63.87	o 3026
63.87/63.98	o 3025
63.96/64.08	o 3024
64.07/64.19	o 3023
64.17/64.30	o 3022
64.37/64.40	o 3021
64.47/64.51	o 3020
64.56/64.62	o 3019
64.66/64.73	o 3018
64.77/64.84	o 3017
64.87/64.94	o 3016
64.97/65.05	o 3015
65.06/65.16	o 3014
65.16/65.27	o 3013
65.26/65.38	o 3012
65.36/65.48	o 3011
65.46/65.59	o 3010
65.66/65.70	o 3009
65.76/65.81	o 3008
65.86/65.91	o 3007
65.96/66.02	o 3006
66.07/66.13	o 3005
66.16/66.23	o 3004
66.27/66.34	o 3003
66.37/66.45	o 3002
66.46/66.56	o 3001
66.57/66.66	o 3000
66.66/66.77	o 2999
66.77/66.88	o 2998
66.87/66.99	o 2997
66.96/67.10	o 2996
67.16/67.21	o 2995
67.26/67.32	o 2994
67.37/67.42	o 2993
67.46/67.53	o 2992
67.56/67.64	o 2991
67.66/67.75	o 2990
67.76/67.85	o 2989
67.87/67.96	o 2988
67.96/68.07	o 2987
68.06/68.18	o 2986
68.17/68.28	o 2985
68.26/68.39	o 2984
68.37/68.49	o 2983
68.56/68.60	o 2982
68.67/68.71	o 2981
68.76/68.82	o 2980
68.86/68.92	o 2979
68.97/69.03	o 2978
69.07/69.14	o 2977
69.16/69.25	o 2976
69.27/69.35	o 2975
69.36/69.46	o 2974
69.46/69.57	o 2973
69.57/69.68	o 2972
69.66/69.78	o 2971
69.76/69.89	o 2970
69.96/70.00	o 2969
70.06/70.10	o 2968
70.16/70.21	o 2967
70.27/70.32	o 2966
70.36/70.43	o 2965
70.47/70.53	o 2964
70.56/70.64	o 2963
70.66/70.74	o 2962
70.76/70.85	o 2961
70.86/70.95	o 2960
70.96/71.06	o 2959
71.06/71.17	o 2958
71.17/71.27	o 2957
71.27/71.38	o 2956
71.36/71.49	o 2955
71.47/71.59	o 2954
71.66/71.70	o 2953
71.76/71.80	o 2952
71.87/71.91	o 2951
71.96/72.01	o 2950
72.07/72.12	o 2949
72.16/72.23	o 2948
72.26/72.33	o 2947
72.37/72.44	o 2946
72.47/72.54	o 2945
72.57/72.65	o 2944
72.66/72.76	o 2943
72.77/72.86	o 2942
72.86/72.97	o 2941
72.96/73.08	o 2940
73.06/73.18	o 2939
73.16/73.29	o 2938
73.26/73.39	o 2937
73.46/73.50	o 2936
73.57/73.60	o 2935
73.66/73.71	o 2934
73.76/73.82	o 2933
73.87/73.92	o 2932
73.97/74.03	o 2931
74.06/74.13	o 2930
74.16/74.24	o 2929
74.26/74.34	o 2928
74.36/74.45	o 2927
74.46/74.55	o 2926
74.56/74.66	o 2925
74.66/74.76	o 2924
74.76/74.87	o 2923
74.86/74.97	o 2922
74.96/75.08	o 2921
75.06/75.18	o 2920
75.16/75.29	o 2919
75.26/75.39	o 2918
75.46/75.50	o 2917
75.56/75.61	o 2916
75.66/75.71	o 2915
75.77/75.82	o 2914
75.87/75.92	o 2913
75.96/76.03	o 2912
76.06/76.13	o 2911
76.16/76.24	o 2910
76.26/76.34	o 2909
76.36/76.44	o 2908
76.46/76.55	o 2907
76.56/76.65	o 2906
76.66/76.76	o 2905
76.76/76.86	o 2904
76.87/76.97	o 2903
76.96/77.07	o 2902
77.06/77.17	o 2901
77.16/77.28	o 2900
77.26/77.38	o 2899
77.36/77.49	o 2898
77.46/77.59	o 2897
77.56/77.69	o 2896
77.76/77.80	o 2895
77.86/77.90	o 2894
77.97/78.00	o 2893
78.06/78.11	o 2892
78.16/78.21	o 2891
78.26/78.31	o 2890
78.36/78.42	o 2889
78.46/78.52	o 2888
78.56/78.62	o 2887
78.66/78.72	o 2886
78.76/78.83	o 2885
78.86/78.93	o 2884
78.96/79.03	o 2883
79.06/79.14	o 2882
79.16/79.24	o 2881
79.26/79.34	o 2880
79.36/79.45	o 2879
79.46/79.55	o 2878
79.56/79.65	o 2877
79.66/79.75	o 2876
79.76/79.86	o 2875
79.86/79.96	o 2874
79.96/80.06	o 2873
80.06/80.17	o 2872
80.16/80.27	o 2871
80.27/80.37	o 2870
80.36/80.47	o 2869
80.46/80.57	o 2868
80.56/80.67	o 2867
80.66/80.78	o 2866
80.76/80.88	o 2865
80.86/80.98	o 2864
80.96/81.09	o 2863
81.05/81.19	o 2862
81.16/81.29	o 2861
81.26/81.39	o 2860
81.36/81.49	o 2859
81.46/81.60	o 2858
81.66/81.70	o 2857
81.76/81.80	o 2856
81.86/81.90	o 2855
81.96/82.01	o 2854
82.06/82.11	o 2853
82.16/82.21	o 2852
82.26/82.31	o 2851
82.37/82.41	o 2850
82.46/82.51	o 2849
82.56/82.62	o 2848
82.65/82.72	o 2847
82.76/82.82	o 2846
82.86/82.92	o 2845
82.96/83.02	o 2844
83.06/83.12	o 2843
83.16/83.23	o 2842
83.25/83.33	o 2841
83.36/83.43	o 2840
83.46/83.53	o 2839
83.56/83.63	o 2838
83.66/83.73	o 2837
83.75/83.83	o 2836
83.86/83.93	o 2835
83.96/84.04	o 2834
84.06/84.14	o 2833
84.26/84.33	o 2832
84.36/84.41	o 1678
84.36/84.47	o 1677
84.45/84.53	o 1676
84.56/84.60	o 1665
84.56/84.66	o 1664
84.66/84.73	o 1663
84.66/84.79	o 1662
84.76/84.86	o 1661
84.85/84.92	o 1660
84.85/84.99	o 1659
84.96/85.05	o 1658
85.06/85.12	o 1657
85.06/85.18	o 1656
85.16/85.25	o 1655
85.25/85.31	o 1631
85.25/85.37	o 1630
85.36/85.44	o 1629
85.46/85.50	o 1628
85.46/85.56	o 1627
85.55/85.63	o 1626
85.55/85.69	o 1625
85.66/85.75	o 1624
85.77/85.81	o 1623
85.77/85.87	o 1622
85.85/85.94	o 1621
85.96/86.00	o 1620
85.96/86.06	o 1619
86.06/86.12	o 1618
86.06/86.19	o 1617
86.15/86.25	o 1616
86.26/86.31	o 1615
86.26/86.37	o 1614
86.36/86.43	o 1613
86.36/86.49	o 1612
86.46/86.54	o 1611
86.56/86.60	o 1610
86.56/86.66	o 1609
86.66/86.78	o 1608
86.76/86.84	o 1607
86.76/86.90	o 1606
86.86/86.96	o 1605
86.96/87.01	o 1604
86.96/87.07	o 1603
87.06/87.13	o 1602
87.06/87.19	o 1601
87.16/87.25	o 1600
87.26/87.31	o 1599
87.26/87.37	o 1598
87.36/87.42	o 1597
87.36/87.48	o 1596
87.46/87.53	o 1595
87.46/87.59	o 1594
87.56/87.65	o 1593
87.66/87.71	o 1592
87.66/87.77	o 1591
87.76/87.82	o 1590
87.76/87.88	o 1589
87.87/87.94	o 1588
87.87/87.99	o 1587
87.96/88.05	o 1586
88.06/88.10	o 1585
88.06/88.16	o 1584
88.16/88.22	o 1583
88.16/88.27	o 1582
88.26/88.33	o 1581
88.26/88.39	o 1580
88.36/88.44	o 1579
88.45/88.50	o 1578
88.45/88.55	o 1577
88.56/88.61	o 1576
88.56/88.66	o 1575
88.65/88.72	o 1574
88.65/88.78	o 1573
88.76/88.84	o 1572
88.85/88.90	o 1571
88.85/88.95	o 1570
88.96/89.01	o 1569
88.96/89.07	o 1568
89.06/89.13	o 1567
89.06/89.19	o 1566
89.16/89.25	o 1565
89.26/89.30	o 1564
89.26/89.36	o 1563
89.35/89.42	o 1562
89.35/89.48	o 1561
89.46/89.53	o 1560
89.46/89.59	o 1559
89.55/89.65	o 1558
89.66/89.70	o 1557
89.66/89.76	o 1556
89.76/89.82	o 1555
89.76/89.88	o 1554
89.85/89.93	o 1553
89.85/89.99	o 1552
89.95/90.05	o 1551
90.06/90.10	o 1550
90.06/90.16	o 1549
90.16/90.22	o 1548
90.16/90.27	o 1547
90.26/90.33	o 1546
90.26/90.38	o 1545
90.35/90.44	o 1544
90.35/90.49	o 1543
90.46/90.55	o 1542
90.56/90.60	o 1541
90.56/90.66	o 1540
90.65/90.72	o 1539
90.65/90.77	o 1538
90.76/90.82	o 1537
90.76/90.88	o 1536
90.85/90.94	o 1535
90.85/90.99	o 1534
90.96/91.05	o 1533
91.05/91.10	o 1532
91.05/91.16	o 1531
91.16/91.22	o 1530
91.16/91.28	o 1529
91.26/91.33	o 1528
91.26/91.39	o 1527
91.36/91.44	o 1526
91.45/91.50	o 1525
91.45/91.56	o 1524
91.56/91.61	o 1523
91.56/91.67	o 1522
91.66/91.72	o 1521
91.66/91.78	o 1520
91.75/91.84	o 1519
91.75/91.89	o 1518
91.86/91.95	o 1517
91.96/92.01	o 1516
91.96/92.06	o 1515
92.05/92.12	o 1514
92.05/92.17	o 1513
92.16/92.23	o 1512
92.16/92.28	o 1511
92.26/92.34	o 1510
92.26/92.39	o 1509
92.36/92.45	o 1508
92.46/92.51	o 1507
92.46/92.56	o 1506
92.55/92.62	o 1505
92.55/92.68	o 1504
92.66/92.73	o 1503
92.66/92.79	o 1502
92.75/92.84	o 1501
92.75/92.90	o 1500
92.86/92.95	o 1499
92.96/93.01	o 1498
92.96/93.07	o 1497
93.05/93.12	o 1496
93.05/93.18	o 1495
93.15/93.23	o 1494
93.15/93.29	o 1493
93.26/93.35	o 1492
93.36/93.40	o 1491
93.36/93.46	o 1490
93.46/93.51	o 1489
93.46/93.57	o 1488
93.55/93.62	o 1487
93.55/93.68	o 1486
93.66/93.74	o 1485
93.66/93.79	o 1484
93.76/93.85	o 1483
93.86/93.90	o 1482
93.86/93.96	o 1481
93.96/94.01	o 1480
93.96/94.07	o 1479
94.05/94.12	o 1478
94.05/94.18	o 1477
94.15/94.23	o 1476
94.15/94.28	o 1475
94.26/94.34	o 1474
94.26/94.39	o 1473
94.36/94.45	o 1472
94.46/94.50	o 1471
94.46/94.56	o 1470
94.56/94.61	o 1469
94.56/94.67	o 1468
94.66/94.72	o 1467
94.66/94.78	o 1466
94.75/94.83	o 1465
94.75/94.89	o 1464
94.85/94.94	o 1463
94.96/95.00	o 1462
94.96/95.05	o 1461
95.06/95.11	o 1460
95.06/95.16	o 1459
95.15/95.22	o 1458
95.15/95.27	o 1457
95.26/95.33	o 1456
95.26/95.38	o 1455
95.35/95.44	o 1454
95.35/95.49	o 1453
95.45/95.55	o 1452
95.56/95.60	o 1451
95.56/95.65	o 1450
95.66/95.71	o 1449
95.66/95.76	o 1448
95.75/95.82	o 1447
95.75/95.87	o 1446
95.86/95.93	o 1445
95.86/95.98	o 1444
95.95/96.04	o 1443
95.95/96.09	o 1442
96.05/96.14	o 1441
96.16/96.20	o 1440
96.16/96.25	o 1439
96.25/96.31	o 1438
96.25/96.36	o 1437
96.35/96.41	o 1436
96.35/96.47	o 1435
96.46/96.52	o 1434
96.46/96.57	o 1433
96.55/96.63	o 1432
96.55/96.68	o 1431
96.65/96.74	o 1430
96.65/96.79	o 1429
96.76/96.84	o 1428
96.76/96.90	o 1427
96.85/96.95	o 1426
96.96/97.00	o 1425
96.96/97.06	o 1424
97.06/97.11	o 1423
97.06/97.16	o 1422
97.15/97.22	o 1421
97.15/97.27	o 1420
97.25/97.32	o 1419
97.25/97.38	o 1418
97.35/97.43	o 1417
97.35/97.48	o 1416
97.45/97.53	o 1415
97.45/97.58	o 1414
97.55/97.64	o 1413
97.55/97.69	o 1412
97.65/97.74	o 1411
97.65/97.79	o 1410
97.76/97.84	o 1409
97.76/97.89	o 1408
97.86/97.95	o 1407
97.95/98.00	o 1406
97.95/98.05	o 1405
98.06/98.10	o 1404
98.06/98.15	o 1403
98.15/98.20	o 1402
98.15/98.25	o 1401
98.25/98.31	o 1400
98.25/98.36	o 1399
98.36/98.41	o 1398
98.36/98.46	o 1397
98.45/98.51	o 1396
98.45/98.57	o 1395
98.55/98.62	o 1394
98.55/98.67	o 1393
98.65/98.72	o 1392
98.65/98.77	o 1391
98.76/98.82	o 1390
98.76/98.87	o 1389
98.86/98.92	o 1388
98.86/98.98	o 1387
98.96/99.03	o 1386
98.96/99.08	o 1385
99.06/99.13	o 1384
99.06/99.18	o 1383
99.15/99.23	o 1382
99.15/99.29	o 1381
99.26/99.34	o 1380
99.26/99.39	o 1379
99.35/99.44	o 1378
99.35/99.49	o 1377
99.45/99.54	o 1376
99.45/99.59	o 1375
99.56/99.64	o 1374
99.56/99.69	o 1373
99.65/99.74	o 1372
99.65/99.80	o 1371
99.75/99.85	o 1370
99.86/99.90	o 1369
99.86/99.95	o 1368
99.95/100.00	o 1367
99.95/100.05	o 1366
99.95/100.10	o 1365
100.06/100.15	o 1364
100.15/100.20	o 1363
100.15/100.25	o 1362
100.26/100.30	o 1361
100.26/100.35	o 1360
100.35/100.40	o 1359
100.35/100.45	o 1358
100.45/100.50	o 1357
100.45/100.55	o 1356
100.56/100.60	o 1355
100.56/100.65	o 1354
100.65/100.70	o 1353
100.65/100.75	o 1352
100.75/100.80	o 1351
100.75/100.85	o 1350
100.75/100.89	o 1349
100.86/100.94	o 1348
100.86/100.99	o 1347
100.95/101.04	o 1346
100.95/101.09	o 1345
101.06/101.14	o 1344
101.06/101.19	o 1343
101.16/101.24	o 1342
101.16/101.29	o 1341
101.25/101.34	o 1340
101.25/101.39	o 1339
101.35/101.44	o 1338
101.35/101.49	o 1337
101.45/101.53	o 1336
101.45/101.58	o 1335
101.55/101.63	o 1334
101.55/101.68	o 1333
101.65/101.72	o 1332
101.65/101.77	o 1331
101.75/101.82	o 1330
101.75/101.87	o 1329
101.85/101.92	o 1328
101.85/101.97	o 1327
101.95/102.02	o 1326
101.95/102.07	o 1325
102.05/102.11	o 1324
102.05/102.16	o 1323
102.16/102.21	o 1322
102.16/102.26	o 1321
102.25/102.31	o 1320
102.25/102.35	o 1319
102.35/102.40	o 1318
102.35/102.45	o 1317
102.46/102.50	o 1316
102.46/102.55	o 1315
102.46/102.59	o 1314
102.55/102.64	o 1313
102.55/102.69	o 1312
102.65/102.74	o 1311
102.65/102.78	o 1310
102.75/102.83	o 1309
102.75/102.88	o 1308
102.85/102.92	o 1307
102.85/102.97	o 1306
102.95/103.02	o 1305
102.95/103.07	o 1304
103.05/103.12	o 1303
103.05/103.16	o 1302
103.15/103.21	o 1301
103.15/103.26	o 1300
103.26/103.30	o 1299
103.26/103.35	o 1298
103.26/103.40	o 1297
103.35/103.44	o 1296
103.35/103.49	o 1295
103.45/103.54	o 1294
103.45/103.58	o 1293
103.55/103.63	o 1292
103.55/103.68	o 1291
103.66/103.72	o 1290
103.66/103.77	o 1289
103.76/103.82	o 1288
103.76/103.86	o 1287
103.85/103.91	o 1286
103.85/103.96	o 1285
103.96/104.00	o 1284
103.96/104.05	o 1283
103.96/104.09	o 1282
104.05/104.14	o 1281
104.05/104.19	o 1280
104.15/104.23	o 1279
104.15/104.28	o 1278
104.25/104.32	o 1277
104.25/104.37	o 1276
104.36/104.41	o 1275
104.36/104.46	o 1274
104.45/104.51	o 1273
104.45/104.55	o 1272
104.56/104.60	o 1271
104.56/104.64	o 1270
104.56/104.69	o 1269
104.65/104.74	o 1268
104.65/104.78	o 1267
104.75/104.83	o 1266
104.75/104.87	o 1265
104.86/104.92	o 1264
104.86/104.96	o 1263
104.95/105.01	o 1262
104.95/105.05	o 1261
105.05/105.10	o 1260
105.05/105.14	o 1259
105.05/105.19	o 1258
105.15/105.23	o 1257
105.15/105.28	o 1256
105.25/105.32	o 1255
105.25/105.37	o 1254
105.36/105.41	o 1253
105.36/105.46	o 1252
105.46/105.50	o 1251
105.46/105.55	o 1250
105.46/105.59	o 1249
105.55/105.64	o 1248
105.55/105.68	o 1247
105.66/105.73	o 1246
105.66/105.77	o 1245
105.75/105.82	o 1244
105.75/105.86	o 1243
105.85/105.91	o 1242
105.85/105.95	o 1241
105.95/106.00	o 1240
105.95/106.04	o 1239
105.95/106.09	o 1238
106.05/106.13	o 1237
106.05/106.17	o 1236
106.15/106.21	o 1235
106.15/106.25	o 1234
106.25/106.30	o 1233
106.25/106.34	o 1232
106.25/106.39	o 1231
106.35/106.43	o 1230
106.35/106.47	o 1229
106.45/106.52	o 1228
106.45/106.56	o 1227
106.56/106.61	o 1226
106.56/106.65	o 1225
106.56/106.69	o 1224
106.65/106.74	o 1223
106.65/106.78	o 1222
106.75/106.83	o 1221
106.75/106.87	o 1220
106.85/106.91	o 1219
106.85/106.95	o 1218
106.95/107.00	o 1217
106.95/107.04	o 1216
106.95/107.09	o 1215
107.05/107.13	o 1214
107.05/107.17	o 1213
107.15/107.22	o 1212
107.15/107.26	o 1211
107.25/107.30	o 1210
107.25/107.35	o 1209
107.25/107.39	o 1208
107.35/107.44	o 1207
107.35/107.48	o 1206
107.45/107.52	o 1205
107.45/107.57	o 1204
107.55/107.61	o 1203
107.55/107.65	o 1202
107.55/107.70	o 1201
107.65/107.74	o 1200
107.65/107.78	o 1199
107.75/107.83	o 1198
107.75/107.87	o 1197
107.85/107.91	o 1196
107.85/107.96	o 1195
107.95/108.00	o 1194
107.95/108.04	o 1193
107.95/108.08	o 1192
108.05/108.13	o 1191
108.05/108.17	o 1190
108.15/108.21	o 1189
108.15/108.26	o 1188
108.25/108.30	o 1187
108.25/108.34	o 1186
108.25/108.38	o 1185
108.35/108.42	o 1184
108.35/108.47	o 1183
108.45/108.51	o 1182
108.45/108.55	o 1181
108.45/108.59	o 1180
108.55/108.63	o 1179
108.55/108.67	o 1178
108.65/108.72	o 1177
108.65/108.76	o 1176
108.75/108.80	o 1175
108.75/108.84	o 1174
108.75/108.88	o 1173
108.86/108.93	o 1172
108.86/108.97	o 1171
108.95/109.01	o 1170
108.95/109.05	o 1169
108.95/109.10	o 1168
109.05/109.14	o 1167
109.05/109.18	o 1166
109.15/109.22	o 1165
109.15/109.26	o 1164
109.25/109.30	o 1163
109.25/109.34	o 1162
109.25/109.39	o 1161
109.35/109.43	o 1160
109.35/109.47	o 1159
109.45/109.51	o 1158
109.45/109.55	o 1157
109.45/109.59	o 1156
109.55/109.63	o 1155
109.55/109.67	o 1154
109.65/109.71	o 1153
109.65/109.75	o 1152
109.65/109.79	o 1151
109.75/109.83	o 1150
109.75/109.87	o 1149
109.85/109.91	o 1148
109.85/109.95	o 1147
109.85/110.00	o 1146
109.95/110.04	o 1145
109.95/110.08	o 1144
110.05/110.12	o 1143
110.05/110.16	o 1142
110.05/110.20	o 1141
110.15/110.23	o 1140
110.15/110.27	o 1139
110.25/110.31	o 1138
110.25/110.35	o 1137
110.25/110.39	o 1136
110.35/110.44	o 1135
110.35/110.48	o 1134
110.45/110.52	o 1133
110.45/110.55	o 1132
110.45/110.60	o 1131
110.55/110.64	o 1130
110.55/110.68	o 1129
110.65/110.72	o 1128
110.65/110.76	o 1127
110.75/110.80	o 1126
110.75/110.84	o 1125
110.75/110.88	o 1124
110.85/110.92	o 1123
110.85/110.96	o 1122
110.95/111.00	o 1121
110.95/111.04	o 1120
110.95/111.08	o 1119
111.06/111.12	o 1118
111.06/111.15	o 1117
111.06/111.19	o 1116
111.15/111.23	o 1115
111.15/111.27	o 1114
111.25/111.31	o 1113
111.25/111.35	o 1112
111.25/111.39	o 1111
111.35/111.43	o 1110
111.35/111.47	o 1109
111.45/111.50	o 1108
111.45/111.54	o 1107
111.45/111.58	o 1106
111.55/111.62	o 1105
111.55/111.66	o 1104
111.65/111.70	o 1103
111.65/111.74	o 1102
111.65/111.78	o 1101
111.75/111.82	o 1100
111.75/111.86	o 1099
111.85/111.90	o 1098
111.85/111.94	o 1097
111.85/111.98	o 1096
111.95/112.02	o 1095
111.95/112.05	o 1094
111.95/112.09	o 1093
112.05/112.13	o 1092
112.05/112.17	o 1091
112.15/112.21	o 1090
112.15/112.25	o 1089
112.15/112.29	o 1088
112.25/112.33	o 1087
112.25/112.36	o 1086
112.35/112.40	o 1085
112.35/112.44	o 1084
112.35/112.48	o 1083
112.45/112.52	o 1082
112.45/112.56	o 1081
112.45/112.60	o 1080
112.55/112.63	o 1079
112.55/112.67	o 1078
112.65/112.71	o 1077
112.65/112.75	o 1076
112.65/112.79	o 1075
112.75/112.82	o 1074
112.75/112.86	o 1073
112.85/112.90	o 1072
112.85/112.93	o 1071
112.85/112.97	o 1070
112.95/113.01	o 1069
112.95/113.05	o 1068
112.95/113.08	o 1067
113.05/113.12	o 1066
113.05/113.16	o 1065
113.05/113.20	o 1064
113.16/113.24	o 1063
113.16/113.27	o 1062
113.25/113.31	o 1061
113.25/113.35	o 1060
113.25/113.38	o 1059
113.35/113.42	o 1058
113.35/113.46	o 1057
113.45/113.50	o 1056
113.45/113.53	o 1055
113.45/113.57	o 1054
113.55/113.61	o 1053
113.55/113.64	o 1052
113.55/113.68	o 1051
113.65/113.72	o 1050
113.65/113.76	o 1049
113.65/113.79	o 1048
113.75/113.83	o 1047
113.75/113.87	o 1046
113.85/113.91	o 1045
113.85/113.94	o 1044
113.85/113.98	o 1043
113.94/114.02	o 1042
113.94/114.05	o 1041
113.94/114.09	o 1040
114.05/114.13	o 1039
114.05/114.17	o 1038
114.14/114.20	o 1037
114.14/114.24	o 1036
114.14/114.28	o 1035
114.25/114.31	o 1034
114.25/114.35	o 1033
114.25/114.38	o 1032
114.35/114.42	o 1031
114.35/114.46	o 1030
114.35/114.49	o 1029
114.44/114.53	o 1028
114.44/114.57	o 1027
114.54/114.60	o 1026
114.54/114.64	o 1025
114.54/114.68	o 1024
114.65/114.71	o 1023
114.65/114.75	o 1022
114.65/114.78	o 1021
114.74/114.82	o 1020
114.74/114.86	o 1019
114.74/114.89	o 1018
114.84/114.93	o 1017
114.84/114.96	o 1016
114.95/115.00	o 1015
114.95/115.04	o 1014
114.95/115.07	o 1013
115.05/115.11	o 1012
115.05/115.15	o 1011
115.05/115.18	o 1010
115.14/115.22	o 1009
115.14/115.25	o 1008
115.14/115.29	o 1007
115.25/115.32	o 1006
115.25/115.36	o 1005
115.25/115.39	o 1004
115.35/115.43	o 1003
115.35/115.46	o 1002
115.35/115.50	o 1001
115.45/115.53	o 1000
115.45/115.57	o 999
115.54/115.60	o 998
115.54/115.64	o 997
115.54/115.67	o 996
115.65/115.71	o 995
115.65/115.74	o 994
115.65/115.78	o 993
115.75/115.81	o 992
115.75/115.85	o 991
115.75/115.89	o 990
115.84/115.92	o 989
115.84/115.96	o 988
115.84/115.99	o 987
115.95/116.03	o 986
115.95/116.06	o 985
116.04/116.10	o 984
116.04/116.13	o 983
116.04/116.17	o 982
116.14/116.20	o 981
116.14/116.24	o 980
116.14/116.27	o 979
116.25/116.31	o 978
116.25/116.34	o 977
116.25/116.38	o 976
116.35/116.41	o 975
116.35/116.45	o 974
116.35/116.48	o 973
116.45/116.52	o 972
116.45/116.55	o 971
116.45/116.59	o 970
116.55/116.62	o 969
116.55/116.66	o 968
116.55/116.69	o 967
116.65/116.72	o 966
116.65/116.76	o 965
116.65/116.79	o 964
116.74/116.83	o 963
116.74/116.86	o 962
116.74/116.89	o 961
116.84/116.93	o 960
116.84/116.96	o 959
116.84/117.00	o 958
116.95/117.03	o 957
116.95/117.06	o 956
117.04/117.10	o 955
117.04/117.13	o 954
117.04/117.17	o 953
117.14/117.20	o 952
117.14/117.23	o 951
117.14/117.27	o 950
117.25/117.30	o 949
117.25/117.33	o 948
117.25/117.37	o 947
117.34/117.40	o 946
117.34/117.43	o 945
117.34/117.47	o 944
117.45/117.50	o 943
117.45/117.53	o 942
117.45/117.57	o 941
117.45/117.60	o 940
117.55/117.63	o 939
117.55/117.67	o 938
117.64/117.70	o 937
117.64/117.73	o 936
117.64/117.77	o 935
117.75/117.80	o 934
117.75/117.83	o 933
117.75/117.86	o 932
117.84/117.90	o 931
117.84/117.93	o 930
117.84/117.96	o 929
117.94/118.00	o 928
117.94/118.03	o 927
117.94/118.06	o 926
117.94/118.10	o 925
118.04/118.13	o 924
118.04/118.16	o 923
118.04/118.20	o 922
118.14/118.23	o 921
118.14/118.26	o 920
118.14/118.29	o 919
118.24/118.33	o 918
118.24/118.36	o 917
118.24/118.39	o 916
118.34/118.43	o 915
118.34/118.46	o 914
118.34/118.49	o 913
118.44/118.52	o 912
118.44/118.55	o 911
118.44/118.59	o 910
118.54/118.62	o 909
118.54/118.65	o 908
118.54/118.68	o 907
118.64/118.72	o 906
118.64/118.75	o 905
118.64/118.78	o 904
118.75/118.81	o 903
118.75/118.84	o 902
118.75/118.88	o 901
118.84/118.91	o 900
118.84/118.94	o 899
118.84/118.97	o 898
118.94/119.00	o 897
118.94/119.04	o 896
118.94/119.07	o 895
119.04/119.10	o 894
119.04/119.13	o 893
119.04/119.16	o 892
119.15/119.20	o 891
119.15/119.23	o 890
119.15/119.26	o 889
119.15/119.29	o 888
119.24/119.32	o 887
119.24/119.35	o 886
119.24/119.39	o 885
119.34/119.42	o 884
119.34/119.45	o 883
119.34/119.48	o 882
119.44/119.51	o 881
119.44/119.54	o 880
119.44/119.58	o 879
119.54/119.61	o 878
119.54/119.64	o 877
119.54/119.67	o 876
119.64/119.70	o 875
119.64/119.73	o 874
119.64/119.76	o 873
119.64/119.80	o 872
119.74/119.83	o 871
119.74/119.86	o 870
119.74/119.89	o 869
119.85/119.92	o 868
119.85/119.95	o 867
119.85/119.98	o 866
119.94/120.01	o 865
119.94/120.05	o 864
119.94/120.08	o 863
120.04/120.11	o 862
120.04/120.14	o 861
120.04/120.17	o 860
120.14/120.20	o 859
120.14/120.23	o 858
120.14/120.26	o 857
120.14/120.29	o 856
120.24/120.33	o 855
120.24/120.36	o 854
120.24/120.39	o 853
120.34/120.42	o 852
120.34/120.45	o 851
120.34/120.48	o 850
120.44/120.51	o 849
120.44/120.54	o 848
120.44/120.57	o 847
120.54/120.60	o 846
120.54/120.63	o 845
120.54/120.66	o 844
120.54/120.69	o 843
120.64/120.72	o 842
120.64/120.75	o 841
120.64/120.79	o 840
120.74/120.82	o 839
120.74/120.85	o 838
120.74/120.88	o 837
120.85/120.91	o 836
120.85/120.94	o 835
120.85/120.97	o 834
120.85/121.00	o 833
120.95/121.03	o 832
120.95/121.06	o 831
120.95/121.09	o 830
121.04/121.12	o 829
121.04/121.15	o 828
121.04/121.18	o 827
121.14/121.21	o 826
121.14/121.24	o 825
121.14/121.27	o 824
121.24/121.30	o 823
121.24/121.33	o 822
121.24/121.36	o 821
121.24/121.39	o 820
121.34/121.42	o 819
121.34/121.45	o 818
121.34/121.48	o 817
121.44/121.53	o 816
121.44/121.56	o 815
121.44/121.60	o 814
121.54/121.63	o 813
121.54/121.66	o 812
121.54/121.69	o 811
121.64/121.72	o 810
121.64/121.75	o 809
121.64/121.78	o 808
121.74/121.81	o 807
121.74/121.84	o 806
121.74/121.87	o 805
121.84/121.90	o 804
121.84/121.93	o 803
121.84/121.96	o 802
121.84/121.99	o 801
121.94/122.02	o 800
121.94/122.05	o 799
121.94/122.08	o 798
122.05/122.11	o 797
122.05/122.14	o 796
122.05/122.17	o 795
122.14/122.20	o 794
122.14/122.23	o 793
122.14/122.26	o 792
122.14/122.29	o 791
122.23/122.31	o 790
122.23/122.34	o 789
122.23/122.37	o 788
122.34/122.40	o 787
122.34/122.43	o 786
122.34/122.45	o 785
122.34/122.48	o 784
122.44/122.51	o 783
122.44/122.57	o 782
122.54/122.60	o 781
122.54/122.63	o 780
122.54/122.66	o 779
122.54/122.69	o 778
122.64/122.72	o 777
122.64/122.75	o 776
122.64/122.78	o 775
122.74/122.80	o 774
122.74/122.83	o 773
122.74/122.86	o 772
122.74/122.89	o 771
122.84/122.92	o 770
122.84/122.95	o 769
122.84/122.98	o 768
122.93/123.01	o 767
122.93/123.03	o 766
122.93/123.06	o 765
122.93/123.09	o 764
123.04/123.12	o 763
123.04/123.15	o 762
123.04/123.18	o 761
123.14/123.21	o 760
123.14/123.23	o 759
123.14/123.26	o 758
123.14/123.29	o 757
123.24/123.32	o 756
123.24/123.35	o 755
123.24/123.37	o 754
123.34/123.40	o 753
123.34/123.43	o 752
123.34/123.45	o 751
123.34/123.48	o 750
123.43/123.51	o 749
123.43/123.53	o 748
123.43/123.56	o 747
123.43/123.59	o 746
123.54/123.61	o 745
123.54/123.64	o 744
123.54/123.67	o 743
123.54/123.69	o 742
123.63/123.72	o 741
123.63/123.75	o 740
123.63/123.77	o 739
123.74/123.80	o 738
123.74/123.82	o 737
123.74/123.85	o 736
123.74/123.88	o 735
123.84/123.90	o 734
123.84/123.93	o 733
123.84/123.95	o 732
123.84/123.98	o 731
123.94/124.01	o 730
123.94/124.03	o 729
123.94/124.06	o 728
123.94/124.08	o 727
124.04/124.11	o 726
124.04/124.13	o 725
124.04/124.16	o 724
124.04/124.19	o 723
124.15/124.21	o 722
124.15/124.24	o 721
124.15/124.26	o 720
124.15/124.29	o 719
124.24/124.31	o 718
124.24/124.34	o 717
124.24/124.37	o 716
124.24/124.39	o 715
124.34/124.41	o 714
124.34/124.44	o 713
124.34/124.47	o 712
124.34/124.49	o 711
124.43/124.52	o 710
124.43/124.54	o 709
124.43/124.57	o 708
124.43/124.59	o 707
124.54/124.61	o 706
124.54/124.64	o 705
124.54/124.66	o 704
124.54/124.69	o 703
124.64/124.71	o 702
124.64/124.74	o 701
124.64/124.76	o 700
124.64/124.79	o 699
124.74/124.81	o 698
124.74/124.84	o 697
124.74/124.86	o 696
124.74/124.89	o 695
124.84/124.91	o 694
124.84/124.94	o 693
124.84/124.96	o 692
124.84/124.99	o 691
124.94/125.01	o 690
124.94/125.03	o 689
124.94/125.06	o 688
124.94/125.08	o 687
125.04/125.11	o 686
125.04/125.13	o 685
125.04/125.15	o 684
125.04/125.18	o 683
125.14/125.20	o 682
125.14/125.23	o 681
125.14/125.25	o 680
125.14/125.27	o 679
125.14/125.30	o 678
125.24/125.32	o 677
125.24/125.34	o 676
125.24/125.37	o 675
125.24/125.39	o 674
125.34/125.42	o 673
125.34/125.44	o 672
125.34/125.46	o 671
125.34/125.48	o 670
125.43/125.51	o 669
125.43/125.53	o 668
125.43/125.56	o 667
125.43/125.58	o 666
125.54/125.60	o 665
125.54/125.62	o 664
125.54/125.65	o 663
125.54/125.67	o 662
125.54/125.69	o 661
125.64/125.72	o 660
125.64/125.74	o 659
125.64/125.76	o 658
125.64/125.78	o 657
125.74/125.81	o 656
125.74/125.83	o 655
125.74/125.85	o 654
125.74/125.87	o 653
125.83/125.90	o 652
125.83/125.92	o 651
125.83/125.94	o 650
125.83/125.97	o 649
125.83/125.99	o 648
125.94/126.01	o 647
125.94/126.03	o 646
125.94/126.06	o 645
125.94/126.08	o 644
126.04/126.10	o 643
126.04/126.12	o 642
126.04/126.14	o 641
126.04/126.17	o 640
126.04/126.19	o 639
126.14/126.21	o 638
126.14/126.23	o 637
126.14/126.26	o 636
126.14/126.28	o 635
126.24/126.30	o 634
126.24/126.32	o 633
126.24/126.34	o 632
126.24/126.37	o 631
126.24/126.39	o 630
126.35/126.41	o 629
126.35/126.43	o 628
126.35/126.45	o 627
126.35/126.47	o 626
126.35/126.50	o 625
126.44/126.52	o 624
126.44/126.54	o 623
126.44/126.56	o 622
126.44/126.58	o 621
126.54/126.61	o 620
126.54/126.63	o 619
126.54/126.65	o 618
126.54/126.67	o 617
126.54/126.69	o 616
126.63/126.71	o 615
126.63/126.73	o 614
126.63/126.75	o 613
126.63/126.78	o 612
126.74/126.80	o 611
126.74/126.82	o 610
126.74/126.84	o 609
126.74/126.86	o 608
126.74/126.88	o 607
126.84/126.90	o 606
126.84/126.92	o 605
126.84/126.95	o 604
126.84/126.97	o 603
126.84/126.99	o 602
126.93/127.01	o 601
126.93/127.03	o 600
126.93/127.05	o 599
126.93/127.07	o 598
126.93/127.09	o 597
127.04/127.11	o 596
127.04/127.14	o 595
127.04/127.16	o 594
127.04/127.18	o 593
127.14/127.20	o 592
127.14/127.22	o 591
127.14/127.24	o 590
127.14/127.26	o 589
127.14/127.28	o 588
127.23/127.30	o 587
127.23/127.32	o 586
127.23/127.34	o 585
127.23/127.36	o 584
127.23/127.38	o 583
127.34/127.40	o 582
127.34/127.42	o 581
127.34/127.44	o 580
127.34/127.46	o 579
127.34/127.48	o 578
127.44/127.50	o 577
127.44/127.53	o 576
127.44/127.55	o 575
127.44/127.57	o 574
127.44/127.59	o 573
127.53/127.61	o 572
127.53/127.63	o 571
127.53/127.65	o 570
127.53/127.67	o 569
127.53/127.69	o 568
127.64/127.71	o 567
127.64/127.73	o 566
127.64/127.75	o 565
127.64/127.77	o 564
127.64/127.79	o 563
127.73/127.81	o 562
127.73/127.83	o 561
127.73/127.85	o 560
127.73/127.87	o 559
127.73/127.89	o 558
127.84/127.91	o 557
127.84/127.93	o 556
127.84/127.94	o 555
127.84/127.96	o 554
127.84/127.98	o 553
127.93/128.00	o 552
127.93/128.02	o 551
127.93/128.04	o 550
127.93/128.06	o 549
127.93/128.08	o 548
128.04/128.10	o 547
128.04/128.12	o 546
128.04/128.14	o 545
128.04/128.16	o 544
128.04/128.18	o 543
128.04/128.20	o 542
128.13/128.21	o 541
128.13/128.23	o 540
128.13/128.25	o 539
128.13/128.27	o 538
128.13/128.29	o 537
128.24/128.31	o 536
128.24/128.33	o 535
128.24/128.35	o 534
128.24/128.37	o 533
128.24/128.39	o 532
128.33/128.41	o 531
128.33/128.42	o 530
128.33/128.44	o 529
128.33/128.46	o 528
128.33/128.48	o 527
128.44/128.50	o 526
128.44/128.52	o 525
128.44/128.54	o 524
128.44/128.55	o 523
128.44/128.57	o 522
128.44/128.59	o 521
128.54/128.61	o 520
128.54/128.63	o 519
128.54/128.65	o 518
128.54/128.67	o 517
128.54/128.68	o 516
128.63/128.70	o 515
128.63/128.72	o 514
128.63/128.74	o 513
128.63/128.76	o 512
128.63/128.78	o 511
128.63/128.79	o 510
128.73/128.81	o 509
128.73/128.83	o 508
128.73/128.85	o 507
128.73/128.87	o 506
128.73/128.88	o 505
128.83/128.90	o 504
128.83/128.92	o 503
128.83/128.94	o 502
128.83/128.96	o 501
128.83/128.97	o 500
128.83/128.99	o 499
128.93/129.01	o 498
128.93/129.03	o 497
128.93/129.04	o 496
128.93/129.06	o 495
128.93/129.08	o 494
129.03/129.10	o 493
129.03/129.12	o 492
129.03/129.13	o 491
129.03/129.15	o 490
129.03/129.17	o 489
129.03/129.19	o 488
129.13/129.20	o 487
129.13/129.22	o 486
129.13/129.24	o 485
129.13/129.26	o 484
129.13/129.27	o 483
129.13/129.29	o 482
129.23/129.31	o 481
129.23/129.33	o 480
129.23/129.34	o 479
129.23/129.36	o 478
129.23/129.38	o 477
129.23/129.39	o 476
129.33/129.41	o 475
129.33/129.43	o 474
129.33/129.45	o 473
129.33/129.46	o 472
129.33/129.48	o 471
129.43/129.50	o 470
129.43/129.51	o 469
129.43/129.53	o 468
129.43/129.55	o 467
129.43/129.57	o 466
129.43/129.58	o 465
129.52/129.60	o 464
129.52/129.62	o 463
129.52/129.63	o 462
129.52/129.65	o 461
129.52/129.67	o 460
129.52/129.68	o 459
129.52/129.70	o 458
129.64/129.72	o 457
129.64/129.73	o 456
129.64/129.75	o 455
129.64/129.77	o 454
129.64/129.78	o 453
129.64/129.80	o 452
129.73/129.82	o 451
129.73/129.83	o 450
129.73/129.85	o 449
129.73/129.86	o 448
129.73/129.88	o 447
129.82/129.90	o 446
129.82/129.91	o 445
129.82/129.93	o 444
129.82/129.95	o 443
129.82/129.96	o 442
129.82/129.98	o 441
129.82/129.99	o 440
129.92/130.01	o 439
129.92/130.03	o 438
129.92/130.04	o 437
129.92/130.06	o 436
129.92/130.07	o 435
129.92/130.09	o 434
130.03/130.11	o 433
130.03/130.12	o 432
130.03/130.14	o 431
130.03/130.15	o 430
130.03/130.17	o 429
130.03/130.19	o 428
130.13/130.20	o 427
130.13/130.22	o 426
130.13/130.25	o 425
130.13/130.26	o 424
130.13/130.28	o 423
130.13/130.29	o 422
130.23/130.31	o 421
130.23/130.33	o 420
130.23/130.34	o 419
130.23/130.36	o 418
130.23/130.37	o 417
130.23/130.39	o 416
130.33/130.40	o 415
130.33/130.42	o 414
130.33/130.44	o 413
130.33/130.45	o 412
130.33/130.47	o 411
130.33/130.48	o 410
130.42/130.50	o 409
130.42/130.51	o 408
130.42/130.53	o 407
130.42/130.54	o 406
130.42/130.56	o 405
130.42/130.57	o 404
130.42/130.59	o 403
130.53/130.60	o 402
130.53/130.62	o 401
130.53/130.63	o 400
130.53/130.65	o 399
130.53/130.66	o 398
130.53/130.68	o 397
130.53/130.69	o 396
130.63/130.71	o 395
130.63/130.72	o 394
130.63/130.74	o 393
130.63/130.75	o 392
130.63/130.77	o 391
130.63/130.78	o 390
130.63/130.80	o 389
130.72/130.81	o 388
130.72/130.83	o 387
130.72/130.84	o 386
130.72/130.85	o 385
130.72/130.87	o 384
130.72/130.88	o 383
130.72/130.89	o 382
130.83/130.91	o 381
130.83/130.92	o 380
130.83/130.94	o 379
130.83/130.95	o 378
130.83/130.96	o 377
130.83/130.98	o 376
130.83/130.99	o 375
130.92/131.00	o 374
130.92/131.02	o 373
130.92/131.03	o 372
130.92/131.04	o 371
130.92/131.06	o 370
130.92/131.07	o 369
130.92/131.08	o 368
130.92/131.09	o 367
131.03/131.11	o 366
131.03/131.12	o 365
131.03/131.13	o 364
131.03/131.15	o 363
131.03/131.16	o 362
131.03/131.17	o 361
131.03/131.19	o 360
131.12/131.20	o 359
131.12/131.21	o 358
131.12/131.22	o 357
131.12/131.24	o 356
131.12/131.25	o 355
131.12/131.26	o 354
131.12/131.28	o 353
131.12/131.29	o 352
131.23/131.30	o 351
131.23/131.31	o 350
131.23/131.33	o 349
131.23/131.34	o 348
131.23/131.35	o 347
131.23/131.36	o 346
131.23/131.37	o 345
131.23/131.39	o 344
131.33/131.40	o 343
131.33/131.41	o 342
131.33/131.42	o 341
131.33/131.44	o 340
131.33/131.45	o 339
131.33/131.46	o 338
131.33/131.47	o 337
131.33/131.48	o 336
131.33/131.50	o 335
131.42/131.51	o 334
131.42/131.52	o 333
131.42/131.53	o 332
131.42/131.54	o 331
131.42/131.56	o 330
131.42/131.57	o 329
131.42/131.58	o 328
131.42/131.59	o 327
131.52/131.60	o 326
131.52/131.61	o 325
131.52/131.63	o 324
131.52/131.64	o 323
131.52/131.65	o 322
131.52/131.66	o 321
131.52/131.67	o 320
131.52/131.68	o 319
131.52/131.69	o 318
131.62/131.71	o 317
131.62/131.72	o 316
131.62/131.73	o 315
131.62/131.74	o 314
131.62/131.75	o 313
131.62/131.76	o 312
131.62/131.77	o 311
131.62/131.78	o 310
131.62/131.80	o 309
131.72/131.81	o 308
131.72/131.82	o 307
131.72/131.83	o 306
131.72/131.84	o 305
131.72/131.85	o 304
131.72/131.86	o 303
131.72/131.87	o 302
131.72/131.88	o 301
131.82/131.91	o 300
131.82/131.92	o 299
131.82/131.93	o 298
131.82/131.94	o 297
131.82/131.95	o 296
131.82/131.97	o 295
131.82/131.98	o 294
131.82/131.99	o 293
131.93/132.00	o 292
131.93/132.01	o 291
131.93/132.03	o 290
131.93/132.04	o 289
131.93/132.05	o 288
131.93/132.06	o 287
131.93/132.07	o 286
131.93/132.08	o 285
131.93/132.10	o 284
132.03/132.11	o 283
132.03/132.12	o 282
132.03/132.13	o 281
132.03/132.14	o 280
132.03/132.15	o 279
132.03/132.16	o 278
132.03/132.18	o 277
132.03/132.19	o 276
132.12/132.20	o 275
132.12/132.21	o 274
132.12/132.22	o 273
132.12/132.23	o 272
132.12/132.24	o 271
132.12/132.25	o 270
132.12/132.27	o 269
132.12/132.28	o 268
132.12/132.29	o 267
132.22/132.30	o 266
132.22/132.31	o 265
132.22/132.32	o 264
132.22/132.33	o 263
132.22/132.34	o 262
132.22/132.35	o 261
132.22/132.36	o 260
132.22/132.37	o 259
132.22/132.38	o 258
132.22/132.39	o 257
132.32/132.40	o 256
132.32/132.41	o 255
132.32/132.42	o 254
132.32/132.43	o 253
132.32/132.44	o 252
132.32/132.44	o 251
132.32/132.45	o 250
132.32/132.46	o 249
132.32/132.47	o 248
132.32/132.48	o 247
132.32/132.49	o 246
132.42/132.50	o 245
132.42/132.51	o 244
132.42/132.52	o 243
132.42/132.53	o 242
132.42/132.54	o 241
132.42/132.55	o 240
132.42/132.56	o 239
132.42/132.57	o 238
132.42/132.58	o 237
132.42/132.59	o 236
132.42/132.60	o 235
132.52/132.60	o 234
132.52/132.61	o 233
132.52/132.62	o 232
132.52/132.63	o 231
132.52/132.64	o 230
132.52/132.65	o 229
132.52/132.66	o 228
132.52/132.67	o 227
132.52/132.68	o 226
132.52/132.69	o 225
132.52/132.70	o 224
132.62/132.71	o 223
132.62/132.71	o 222
132.62/132.72	o 221
132.62/132.73	o 220
132.62/132.74	o 219
132.62/132.75	o 218
132.62/132.76	o 217
132.62/132.77	o 216
132.62/132.78	o 215
132.62/132.79	o 214
132.62/132.79	o 213
132.72/132.80	o 212
132.72/132.81	o 211
132.72/132.82	o 210
132.72/132.83	o 209
132.72/132.84	o 208
132.72/132.85	o 207
132.72/132.85	o 206
132.72/132.86	o 205
132.72/132.87	o 204
132.72/132.88	o 203
132.72/132.89	o 202
132.72/132.89	o 201
132.82/132.90	o 200
132.82/132.91	o 199
132.82/132.92	o 198
132.82/132.93	o 197
132.82/132.93	o 196
132.82/132.94	o 195
132.82/132.95	o 194
132.82/132.96	o 193
132.82/132.96	o 192
132.82/132.97	o 191
132.82/132.98	o 190
132.82/132.99	o 189
132.82/133.00	o 188
132.93/133.00	o 187
132.93/133.01	o 186
132.93/133.02	o 185
132.93/133.03	o 184
132.93/133.03	o 183
132.93/133.04	o 182
132.93/133.05	o 181
132.93/133.05	o 180
132.93/133.06	o 179
132.93/133.07	o 178
132.93/133.07	o 177
132.93/133.08	o 176
132.93/133.09	o 175
132.93/133.10	o 174
133.02/133.10	o 173
133.02/133.11	o 172
133.02/133.12	o 171
133.02/133.13	o 170
133.02/133.14	o 169
133.02/133.14	o 168
133.02/133.15	o 167
133.02/133.16	o 166
133.02/133.17	o 165
133.02/133.17	o 164
133.02/133.18	o 163
133.02/133.19	o 162
133.02/133.20	o 161
133.12/133.20	o 160
133.12/133.21	o 159
133.12/133.22	o 158
133.12/133.22	o 157
133.12/133.23	o 156
133.12/133.24	o 155
133.12/133.25	o 154
133.12/133.25	o 153
133.12/133.26	o 152
133.12/133.27	o 151
133.12/133.27	o 150
133.12/133.28	o 149
133.12/133.29	o 148
133.12/133.29	o 147
133.22/133.30	o 146
133.22/133.31	o 145
133.22/133.31	o 144
133.22/133.32	o 143
133.22/133.33	o 142
133.22/133.33	o 141
133.22/133.34	o 140
133.22/133.34	o 139
133.22/133.35	o 138
133.22/133.35	o 137
133.22/133.36	o 136
133.22/133.36	o 135
133.22/133.37	o 134
133.22/133.37	o 133
133.22/133.38	o 132
133.22/133.38	o 131
133.22/133.39	o 130
133.22/133.39	o 129
133.32/133.40	o 128
133.32/133.41	o 127
133.32/133.41	o 126
133.32/133.42	o 125
133.32/133.42	o 124
133.32/133.43	o 123
133.32/133.43	o 122
133.32/133.44	o 121
133.32/133.44	o 120
133.32/133.45	o 119
133.32/133.45	o 118
133.32/133.45	o 117
133.32/133.46	o 116
133.32/133.46	o 115
133.32/133.47	o 114
133.32/133.47	o 113
133.32/133.48	o 112
133.32/133.48	o 111
133.32/133.49	o 110
133.32/133.49	o 109
133.32/133.50	o 108
133.42/133.50	o 107
133.42/133.50	o 106
133.42/133.51	o 105
133.42/133.51	o 104
133.42/133.52	o 103
133.42/133.52	o 102
133.42/133.53	o 101
133.42/133.53	o 100
133.42/133.54	o 99
133.42/133.54	o 98
133.42/133.54	o 97
133.42/133.55	o 96
133.42/133.55	o 95
133.42/133.56	o 94
133.42/133.56	o 93
133.42/133.56	o 92
133.42/133.57	o 91
133.42/133.57	o 90
133.42/133.58	o 89
133.42/133.58	o 88
133.42/133.58	o 87
133.42/133.59	o 86
133.42/133.59	o 85
133.42/133.60	o 84
133.52/133.60	o 83
133.52/133.60	o 82
133.52/133.61	o 81
133.52/133.61	o 80
133.52/133.62	o 79
133.52/133.62	o 78
133.52/133.62	o 77
133.52/133.63	o 76
133.52/133.63	o 75
133.52/133.63	o 74
133.52/133.64	o 73
133.52/133.64	o 72
133.52/133.64	o 71
133.52/133.64	o 70
133.52/133.65	o 69
133.52/133.65	o 68
133.52/133.65	o 67
133.52/133.66	o 66
133.52/133.66	o 65
133.52/133.66	o 64
133.52/133.67	o 63
133.52/133.67	o 62
133.52/133.67	o 61
133.52/133.67	o 60
133.52/133.68	o 59
133.52/133.68	o 58
133.52/133.68	o 57
133.52/133.68	o 56
133.52/133.69	o 55
133.52/133.69	o 54
133.52/133.69	o 53
133.52/133.69	o 52
133.52/133.70	o 51
133.62/133.70	o 50
133.62/133.70	o 49
133.62/133.70	o 48
133.62/133.71	o 47
133.62/133.71	o 46
133.62/133.71	o 45
133.62/133.71	o 44
133.62/133.71	o 43
133.62/133.72	o 42
133.62/133.72	o 41
133.62/133.72	o 40
133.62/133.72	o 39
133.62/133.72	o 38
133.62/133.73	o 37
133.62/133.73	o 36
133.62/133.73	o 35
133.62/133.73	o 34
133.62/133.73	o 33
133.62/133.73	o 32
133.62/133.74	o 31
133.62/133.74	o 30
133.62/133.75	o 29
152.72/152.83	o 28
1800.08/1800.70	s SATISFIABLE
1800.08/1800.70	v x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014
1800.08/1800.70	v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030
1800.08/1800.70	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.08/1800.70	v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062
1800.08/1800.70	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078
1800.08/1800.70	v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094
1800.08/1800.70	v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111
1800.08/1800.70	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.08/1800.70	v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141
1800.08/1800.70	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157
1800.08/1800.70	v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173
1800.08/1800.70	v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
1800.08/1800.70	v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204
1800.08/1800.70	v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220
1800.08/1800.70	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.08/1800.70	v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252
1800.08/1800.70	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.08/1800.70	v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284
1800.08/1800.70	v -x1285 -x1286 -x1287 -x1288 x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130
1800.08/1800.70	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.08/1800.70	v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x133 -x1330 -x1331
1800.08/1800.70	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.08/1800.70	v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363
1800.08/1800.70	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.08/1800.70	v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1800.08/1800.70	v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410
1800.08/1800.70	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.08/1800.70	v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442
1800.08/1800.70	v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
1800.08/1800.70	v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474
1800.08/1800.70	v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490
1800.08/1800.70	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.08/1800.70	v -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522
1800.08/1800.70	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
1800.08/1800.70	v -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554
1800.08/1800.70	v -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570
1800.08/1800.70	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.08/1800.70	v -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601
1800.08/1800.70	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.08/1800.70	v -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633
1800.08/1800.70	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
1800.08/1800.70	v -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
1800.08/1800.70	v -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681
1800.08/1800.70	v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698
1800.08/1800.70	v -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713
1800.08/1800.70	v -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173
1800.08/1800.70	v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.08/1800.70	v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761
1800.08/1800.70	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.08/1800.70	v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793
1800.08/1800.70	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1800.08/1800.70	v -x181 -x1810 x1811 x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.08/1800.70	v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841
1800.08/1800.70	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
1800.08/1800.70	v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873
1800.08/1800.70	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.08/1800.70	v -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904
1800.08/1800.70	v -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920
1800.08/1800.70	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1800.08/1800.70	v -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952
1800.08/1800.70	v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
1800.08/1800.70	v -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984
1800.08/1800.70	v -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 -x20
1800.08/1800.70	v -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015
1800.08/1800.70	v -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031
1800.08/1800.70	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1800.08/1800.70	v -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063
1800.08/1800.70	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1800.08/1800.70	v -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.08/1800.70	v -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110
1800.08/1800.70	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126
1800.08/1800.70	v -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142
1800.08/1800.70	v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
1800.08/1800.70	v -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174
1800.08/1800.70	v -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190
1800.08/1800.70	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1800.08/1800.70	v -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222
1800.08/1800.70	v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1800.08/1800.70	v -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254
1800.08/1800.70	v -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270
1800.08/1800.70	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
1800.08/1800.70	v -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301
1800.08/1800.70	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317
1800.08/1800.70	v -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333
1800.08/1800.70	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1800.08/1800.70	v -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1800.08/1800.70	v -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381
1800.08/1800.70	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1800.08/1800.70	v -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412
1800.08/1800.70	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.08/1800.70	v -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444
1800.08/1800.70	v -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460
1800.08/1800.70	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
1800.08/1800.70	v -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492
1800.08/1800.70	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1800.08/1800.70	v -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524
1800.08/1800.70	v -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540
1800.08/1800.70	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
1800.08/1800.70	v -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572
1800.08/1800.70	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.08/1800.70	v -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603
1800.08/1800.70	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619
1800.08/1800.70	v -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
1800.08/1800.70	v -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651
1800.08/1800.70	v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667
1800.08/1800.70	v -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683
1800.08/1800.70	v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
1800.08/1800.70	v -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714
1800.08/1800.70	v -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730
1800.08/1800.70	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1800.08/1800.70	v -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762
1800.08/1800.70	v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1800.08/1800.70	v -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794
1800.08/1800.70	v -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281
1800.08/1800.70	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1800.08/1800.70	v -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841
1800.08/1800.70	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857
1800.08/1800.70	v -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873
1800.08/1800.70	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889
1800.08/1800.70	v -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904
1800.08/1800.70	v -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920
1800.08/1800.70	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936
1800.08/1800.70	v -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952
1800.08/1800.70	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.08/1800.70	v -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984
1800.08/1800.70	v -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3 -x30
1800.08/1800.70	v -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015
1800.08/1800.70	v -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031
1800.08/1800.70	v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047
1800.08/1800.70	v -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063
1800.08/1800.70	v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1800.08/1800.70	v -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095
1800.08/1800.70	v -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 x3106 -x3107 x3108 -x3109 -x311 x3110 -x3111
1800.08/1800.70	v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127
1800.08/1800.70	v -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143
1800.08/1800.70	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.08/1800.70	v -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175
1800.08/1800.70	v -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191
1800.08/1800.70	v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
1800.08/1800.70	v -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223
1800.08/1800.70	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239
1800.08/1800.70	v -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255
1800.08/1800.70	v -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271
1800.08/1800.70	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287
1800.08/1800.70	v -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302
1800.08/1800.70	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
1800.08/1800.70	v -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334
1800.08/1800.70	v -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350
1800.08/1800.70	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366
1800.08/1800.70	v -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382
1800.08/1800.70	v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398
1800.08/1800.70	v -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413
1800.08/1800.70	v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429
1800.08/1800.70	v -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445
1800.08/1800.70	v -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461
1800.08/1800.70	v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
1800.08/1800.70	v -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493
1800.08/1800.70	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509
1800.08/1800.70	v -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525
1800.08/1800.70	v -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541
1800.08/1800.70	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557
1800.08/1800.70	v -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573
1800.08/1800.70	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589
1800.08/1800.70	v -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604
1800.08/1800.70	v -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620
1800.08/1800.70	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636
1800.08/1800.70	v -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652
1800.08/1800.70	v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668
1800.08/1800.70	v -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684
1800.08/1800.70	v -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370
1800.08/1800.70	v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715
1800.08/1800.70	v -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731
1800.08/1800.70	v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747
1800.08/1800.70	v -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763
1800.08/1800.70	v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779
1800.08/1800.70	v -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795
1800.08/1800.70	v -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810
1800.08/1800.70	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826
1800.08/1800.70	v -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842
1800.08/1800.70	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858
1800.08/1800.70	v -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874
1800.08/1800.70	v -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890
1800.08/1800.70	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
1800.08/1800.70	v -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922
1800.08/1800.70	v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938
1800.08/1800.70	v -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954
1800.08/1800.70	v -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970
1800.08/1800.70	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986
1800.08/1800.70	v -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 x4 -x40 -x400 -x4000 -x4001
1800.08/1800.70	v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018
1800.08/1800.70	v -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034
1800.08/1800.70	v -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050
1800.08/1800.70	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066
1800.08/1800.70	v -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082
1800.08/1800.70	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
1800.08/1800.70	v -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113
1800.08/1800.70	v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129
1800.08/1800.70	v -x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145
1800.08/1800.70	v -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161
1800.08/1800.70	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177
1800.08/1800.70	v -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193
1800.08/1800.70	v -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209
1800.08/1800.70	v -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225
1800.08/1800.70	v -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241
1800.08/1800.70	v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257
1800.08/1800.70	v -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273
1800.08/1800.70	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289
1800.08/1800.70	v -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304
1800.08/1800.70	v -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320
1800.08/1800.70	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336
1800.08/1800.70	v -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352
1800.08/1800.70	v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368
1800.08/1800.70	v -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384
1800.08/1800.70	v -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440
1800.08/1800.70	v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415
1800.08/1800.70	v -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431
1800.08/1800.70	v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447
1800.08/1800.70	v -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463
1800.08/1800.70	v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479
1800.08/1800.70	v -x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495
1800.08/1800.70	v -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510
1800.08/1800.70	v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1800.08/1800.70	v -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542
1800.08/1800.70	v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1800.08/1800.70	v -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574
1800.08/1800.70	v -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590
1800.08/1800.70	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606
1800.08/1800.70	v -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622
1800.08/1800.70	v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638
1800.08/1800.70	v -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654
1800.08/1800.70	v -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670
1800.08/1800.70	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686
1800.08/1800.70	v -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701
1800.08/1800.70	v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717
1800.08/1800.70	v -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733
1800.08/1800.70	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749
1800.08/1800.70	v -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765
1800.08/1800.70	v -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781
1800.08/1800.70	v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1800.08/1800.70	v -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812
1800.08/1800.70	v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828
1800.08/1800.70	v -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844
1800.08/1800.70	v -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860
1800.08/1800.70	v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876
1800.08/1800.70	v -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892
1800.08/1800.70	v -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908
1800.08/1800.70	v -x4909 -x491 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924
1800.08/1800.70	v -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940
1800.08/1800.70	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956
1800.08/1800.70	v -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972
1800.08/1800.70	v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988
1800.08/1800.70	v -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003
1800.08/1800.70	v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019
1800.08/1800.70	v -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1800.08/1800.70	v -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051
1800.08/1800.70	v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067
1800.08/1800.70	v -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083
1800.08/1800.70	v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099
1800.08/1800.70	v -x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114
1800.08/1800.70	v -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130
1800.08/1800.70	v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146
1800.08/1800.70	v -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162
1800.08/1800.70	v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178
1800.08/1800.70	v -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194
1800.08/1800.70	v -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521
1800.08/1800.70	v -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225
1800.08/1800.70	v -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241
1800.08/1800.70	v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257
1800.08/1800.70	v -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273
1800.08/1800.70	v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289
1800.08/1800.70	v -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304
1800.08/1800.70	v -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320
1800.08/1800.70	v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336
1800.08/1800.70	v -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352
1800.08/1800.70	v -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368
1800.08/1800.70	v -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x5384
1800.08/1800.70	v -x5385 -x5386 -x5387 -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540
1800.08/1800.70	v -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415
1800.08/1800.70	v -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x543 -x5430 -x5431
1800.08/1800.70	v x5432 x5433 x5434 x5435 x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448
1800.08/1800.70	v -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464
1800.08/1800.70	v -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x548 -x5480
1800.08/1800.70	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496
1800.08/1800.70	v -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x551 -x5510 -x5511
1800.08/1800.70	v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527
1800.08/1800.70	v -x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540 -x5541 -x5542 -x5543
1800.08/1800.70	v -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559
1800.08/1800.70	v -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x557 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575
1800.08/1800.70	v -x5576 -x5577 -x5578 -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x559 -x5590 -x5591
1800.08/1800.70	v -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607
1800.08/1800.70	v -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622 -x5623
1800.08/1800.70	v -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639
1800.08/1800.70	v -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655
1800.08/1800.70	v -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670 -x5671
1800.08/1800.70	v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687
1800.08/1800.70	v -x5688 -x5689 -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700 -x5701 -x5702
1800.08/1800.70	v -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718
1800.08/1800.70	v -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733 -x5734
1800.08/1800.70	v -x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750
1800.08/1800.70	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766
1800.08/1800.70	v -x5767 -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782
1800.08/1800.70	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798
1800.08/1800.70	v -x5799 -x58 -x580 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813
1800.08/1800.70	v -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829
1800.08/1800.70	v -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845
1800.08/1800.70	v -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861
1800.08/1800.70	v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877
1800.08/1800.70	v -x5878 -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893
1800.08/1800.70	v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909
1800.08/1800.70	v -x591 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925
1800.08/1800.70	v -x5926 -x5927 -x5928 -x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941
1800.08/1800.70	v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957
1800.08/1800.70	v -x5958 -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973
1800.08/1800.70	v -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989
1800.08/1800.70	v -x599 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6 -x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004
1800.08/1800.70	v -x6005 -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x602 -x6020
1800.08/1800.70	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036
1800.08/1800.70	v -x6037 -x6038 -x6039 -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052
1800.08/1800.70	v -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068
1800.08/1800.70	v -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 -x6083 -x6084
1800.08/1800.70	v -x6085 -x6086 -x6087 -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610
1800.08/1800.70	v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115
1800.08/1800.70	v -x6116 -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x613 -x6130 -x6131
1800.08/1800.70	v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147
1800.08/1800.70	v -x6148 -x6149 -x615 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 -x6163
1800.08/1800.70	v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x617 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179
1800.08/1800.70	v -x618 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195
1800.08/1800.70	v -x6196 -x6197 -x6198 -x6199 -x62 -x620 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x621 -x622 -x623 -x624
1800.08/1800.70	v -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643
1800.08/1800.70	v -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662
1800.08/1800.70	v -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681
1800.08/1800.70	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70
1800.08/1800.70	v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1800.08/1800.70	v -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738
1800.08/1800.70	v -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1800.08/1800.70	v -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.08/1800.70	v -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795
1800.08/1800.70	v -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813
1800.08/1800.70	v -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832
1800.08/1800.70	v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851
1800.08/1800.70	v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870
1800.08/1800.70	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89
1800.08/1800.70	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1800.08/1800.70	v -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927
1800.08/1800.70	v -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1800.08/1800.70	v -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965
1800.08/1800.70	v -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984
1800.08/1800.70	v -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	28

Conversion Script Data (download as text)

/tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-459079-1178648319 -o ROOT/results/node25/solver-459079-1178648319 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb 

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


[startup+0 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 13830
/proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=2192 CPUtime=0
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 332 0 0 0 0 0 0 0 18 0 1 0 312748992 2244608 314 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 548 316 84 219 0 325 0

[startup+0.00789607 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 13830
/proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=2192 CPUtime=0
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 312748992 2244608 329 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 548 330 84 219 0 325 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2192

[startup+0.101913 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 13830
/proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=2496 CPUtime=0.09
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 312748992 2555904 405 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 624 405 86 219 0 401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2496

[startup+0.301946 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 13830
/proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=2812 CPUtime=0.29
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 525 0 0 0 29 0 0 0 19 0 1 0 312748992 2879488 507 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134798148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 703 507 86 219 0 480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2812

[startup+0.703014 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 13830
/proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=4604 CPUtime=0.69
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 769 0 0 0 69 0 0 0 23 0 1 0 312748992 4714496 751 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134793161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 1151 751 86 219 0 928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4604

[startup+1.50115 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 13831
/proc/meminfo: memFree=1926856/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=6652 CPUtime=1.49
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1247 0 0 0 148 1 0 0 25 0 1 0 312748992 6811648 1229 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 1663 1229 86 219 0 1440 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6652

[startup+3.10143 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 13831
/proc/meminfo: memFree=1924616/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=6648 CPUtime=3.09
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1476 0 0 0 305 4 0 0 25 0 1 0 312748992 6807552 1458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 1662 1458 101 219 0 1439 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6648

[startup+6.30197 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1924360/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=6648 CPUtime=6.29
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1476 0 0 0 617 12 0 0 25 0 1 0 312748992 6807552 1458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 1662 1458 101 219 0 1439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6648

[startup+12.7011 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1924360/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=6648 CPUtime=12.69
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1476 0 0 0 1243 26 0 0 25 0 1 0 312748992 6807552 1458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 1662 1458 101 219 0 1439 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6648

[startup+25.5013 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1924488/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=6648 CPUtime=25.48
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1479 0 0 0 2499 49 0 0 25 0 1 0 312748992 6807552 1461 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 1662 1461 101 219 0 1439 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6648

[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1924360/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=6788 CPUtime=51.07
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1542 0 0 0 5007 100 0 0 25 0 1 0 312748992 6950912 1524 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 1697 1524 102 219 0 1474 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6788

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1920008/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=11152 CPUtime=102.25
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 2634 0 0 0 9945 280 0 0 25 0 1 0 312748992 11419648 2616 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 2788 2616 102 219 0 2565 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 11152

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897224/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=39844 CPUtime=162.21
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8302 0 0 0 15818 403 0 0 25 0 1 0 312748992 40800256 8284 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 9961 8284 102 219 0 9738 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39844

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897224/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=39844 CPUtime=222.19
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8303 0 0 0 21816 403 0 0 25 0 1 0 312748992 40800256 8285 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 9961 8285 102 219 0 9738 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 39844

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897224/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=39844 CPUtime=282.17
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8306 0 0 0 27814 403 0 0 25 0 1 0 312748992 40800256 8288 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 9961 8288 102 219 0 9738 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 39844

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897160/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=39844 CPUtime=342.15
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8309 0 0 0 33812 403 0 0 25 0 1 0 312748992 40800256 8291 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 9961 8291 102 219 0 9738 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 39844

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897160/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=40024 CPUtime=402.13
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8314 0 0 0 39810 403 0 0 25 0 1 0 312748992 40984576 8296 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 10006 8296 102 219 0 9783 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 40024

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897160/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=40024 CPUtime=462.11
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8318 0 0 0 45808 403 0 0 25 0 1 0 312748992 40984576 8300 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 10006 8300 102 219 0 9783 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 40024

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897096/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=40024 CPUtime=522.09
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8321 0 0 0 51806 403 0 0 25 0 1 0 312748992 40984576 8303 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 10006 8303 102 219 0 9783 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 40024

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897096/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44120 CPUtime=582.08
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8324 0 0 0 57804 404 0 0 25 0 1 0 312748992 45178880 8306 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11030 8306 102 219 0 10807 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 44120

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1897096/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44120 CPUtime=642.06
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8329 0 0 0 63802 404 0 0 25 0 1 0 312748992 45178880 8311 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11030 8311 102 219 0 10807 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 44120


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896776/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44120 CPUtime=881.98
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8367 0 0 0 87794 404 0 0 25 0 1 0 312748992 45178880 8349 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11030 8349 102 219 0 10807 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 44120

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896712/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44280 CPUtime=941.96
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8385 0 0 0 93792 404 0 0 25 0 1 0 312748992 45342720 8367 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11070 8367 102 219 0 10847 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 44280

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896520/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44424 CPUtime=1001.94
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8432 0 0 0 99790 404 0 0 25 0 1 0 312748992 45490176 8414 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11106 8414 102 219 0 10883 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 44424

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896520/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44424 CPUtime=1061.92
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8435 0 0 0 105788 404 0 0 25 0 1 0 312748992 45490176 8417 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11106 8417 102 219 0 10883 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 44424

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896456/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44424 CPUtime=1121.9
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8437 0 0 0 111786 404 0 0 25 0 1 0 312748992 45490176 8419 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11106 8419 102 219 0 10883 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 44424

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896456/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44424 CPUtime=1181.88
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8440 0 0 0 117783 405 0 0 25 0 1 0 312748992 45490176 8422 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11106 8422 102 219 0 10883 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 44424

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896264/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44424 CPUtime=1241.86
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8443 0 0 0 123781 405 0 0 25 0 1 0 312748992 45490176 8425 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11106 8425 102 219 0 10883 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 44424

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896200/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44560 CPUtime=1301.85
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8457 0 0 0 129780 405 0 0 25 0 1 0 312748992 45629440 8439 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11140 8439 102 219 0 10917 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 44560

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13831
/proc/meminfo: memFree=1896200/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44560 CPUtime=1361.82
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8459 0 0 0 135777 405 0 0 25 0 1 0 312748992 45629440 8441 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11140 8441 102 219 0 10917 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 44560

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13833
/proc/meminfo: memFree=1896008/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44560 CPUtime=1421.81
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8484 0 0 0 141776 405 0 0 25 0 1 0 312748992 45629440 8466 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11140 8466 102 219 0 10917 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 44560

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13833
/proc/meminfo: memFree=1895944/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44560 CPUtime=1481.78
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8494 0 0 0 147773 405 0 0 25 0 1 0 312748992 45629440 8476 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11140 8476 102 219 0 10917 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 44560

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13833
/proc/meminfo: memFree=1896008/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44560 CPUtime=1541.76
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8498 0 0 0 153771 405 0 0 25 0 1 0 312748992 45629440 8480 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11140 8480 102 219 0 10917 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 44560

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13833
/proc/meminfo: memFree=1896008/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44560 CPUtime=1601.74
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8501 0 0 0 159769 405 0 0 25 0 1 0 312748992 45629440 8483 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11140 8483 102 219 0 10917 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 44560

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13833
/proc/meminfo: memFree=1895880/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44704 CPUtime=1661.72
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8538 0 0 0 165767 405 0 0 25 0 1 0 312748992 45776896 8520 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11176 8520 102 219 0 10953 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 44704

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13833
/proc/meminfo: memFree=1895752/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=44864 CPUtime=1721.7
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8556 0 0 0 171765 405 0 0 25 0 1 0 312748992 45940736 8538 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11216 8538 102 219 0 10993 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 44864

[startup+1782.3 s]
/proc/loadavg: 1.08 1.00 0.99 2/65 13833
/proc/meminfo: memFree=1895560/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=45012 CPUtime=1781.68
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8584 0 0 0 177763 405 0 0 25 0 1 0 312748992 46092288 8566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11253 8566 102 219 0 11030 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 45012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 13833
/proc/meminfo: memFree=1895496/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=45012 CPUtime=1800.08
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8597 0 0 0 179603 405 0 0 25 0 1 0 312748992 46092288 8579 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11253 8579 102 219 0 11030 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 45012

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.71 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 13833
/proc/meminfo: memFree=1895496/2055920 swapFree=4183088/4192956
[pid=13830] ppid=13828 vsize=45012 CPUtime=1800.08
/proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8597 0 0 0 179603 405 0 0 25 0 1 0 312748992 46092288 8579 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13830/statm: 11253 8579 102 219 0 11030 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 45012

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1796.04
CPU system time (s): 4.06438
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 45012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 4.06438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 4002

runsolver used 1.36179 second user time and 3.61145 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  8 18:18:39 UTC 2007

IDJOB= 459079
IDBENCH= 2850
IDSOLVER= 200
FILE ID= node25/459079-1178648319

PBS_JOBID= 5218336

Free space on /tmp= 66558 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-459079-1178648319 -o ROOT/results/node25/conversion-459079-1178648319 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-459079-1178648319 -o ROOT/results/node25/solver-459079-1178648319 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  aa80468537d69826ea16800f352007ec

RANDOM SEED= 191074585

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
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.261
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:       1930664 kB
Buffers:          4488 kB
Cached:          33664 kB
SwapCached:       3804 kB
Active:          33208 kB
Inactive:        14660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1930664 kB
SwapTotal:     4192956 kB
SwapFree:      4183088 kB
Dirty:            6616 kB
Writeback:           0 kB
Mapped:          15848 kB
Slab:            63416 kB
Committed_AS:  8381060 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node25 on Tue May  8 18:48:42 UTC 2007