Trace number 373365

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
wildcat-skc 2007-03-21SAT (TO)230 1800.05 1800.53

General information on the benchmark

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

Verifier Data (download as text)

OK	230

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-373365-1177185989 -o ROOT/results/node5/solver-373365-1177185989 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373365-1177185989/wildcat-skc /tmp/evaluation/373365-1177185989/instance-373365-1177185989.opb 698238667 

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 11269
/proc/meminfo: memFree=1755712/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=6116 CPUtime=0
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 194636557 6262784 146 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 1529 146 105 226 0 1300 0

[startup+0.103936 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 11269
/proc/meminfo: memFree=1755712/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=6512 CPUtime=0.1
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 270 0 0 0 10 0 0 0 18 0 1 0 194636557 6668288 254 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 1628 254 105 226 0 1399 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6512

[startup+0.202946 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 11269
/proc/meminfo: memFree=1755712/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=6908 CPUtime=0.2
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 375 0 0 0 20 0 0 0 18 0 1 0 194636557 7073792 359 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 1727 359 105 226 0 1498 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 6908

[startup+0.302957 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 11269
/proc/meminfo: memFree=1755712/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=9444 CPUtime=0.3
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1005 0 0 0 30 0 0 0 19 0 1 0 194636557 9670656 989 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 2361 989 107 226 0 2132 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9444

[startup+0.703003 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 11269
/proc/meminfo: memFree=1755712/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=0.69
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 69 0 0 0 23 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551202 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12872

[startup+1.5011 s]
/proc/loadavg: 0.92 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748600/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1.49
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 149 0 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12872

[startup+3.10127 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748344/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=3.09
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 309 0 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12872

[startup+6.30164 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748344/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=6.29
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 629 0 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565802 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12872

[startup+12.7014 s]
/proc/loadavg: 0.94 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748344/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=12.68
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 1268 0 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134577216 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12872

[startup+25.5018 s]
/proc/loadavg: 0.95 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=25.48
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 2548 0 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12872

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=51.08
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 5107 1 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598453 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12872

[startup+102.302 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=102.27
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 10226 1 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12872

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=162.24
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 16223 1 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 12872

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=222.24
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 22222 2 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599043 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 12872

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=282.21
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 28219 2 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565808 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 12872

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748536/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=342.2
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 34217 3 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565733 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12872

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748536/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=402.18
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 40215 3 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599062 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 12872

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748536/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=462.17
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 46213 4 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 12872

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748536/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=522.15
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 52211 4 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 12872

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748536/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=582.14
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 58209 5 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877546 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 12872

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748536/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=642.12
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 64207 5 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 12872


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=822.08
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 82201 7 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 12872

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=882.06
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 88199 7 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599048 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 12872

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=942.04
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 94196 8 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598427 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 12872

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1002.02
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 100194 8 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 12872

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1062
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 106192 8 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 12872

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1121.99
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 112190 9 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 12872

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1181.97
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 118188 9 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565722 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 12872

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1241.96
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 124186 10 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 12872

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1301.94
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 130184 10 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 12872

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1361.93
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 136182 11 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134577216 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 12872

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1421.91
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 142180 11 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599008 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 12872

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748472/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1481.9
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 148178 12 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598438 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 12872

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11270
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1541.89
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 154177 12 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 12872

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11272
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1601.86
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 160174 12 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 12872

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11272
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1661.85
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 166172 13 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 12872

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11272
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1721.83
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 172170 13 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877528 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 12872

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11272
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1781.82
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 178168 14 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 12872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11272
/proc/meminfo: memFree=1748408/2055920 swapFree=4151632/4192956
[pid=11269] ppid=11267 vsize=12872 CPUtime=1800.02
/proc/11269/stat : 11269 (wildcat-skc) R 11267 11269 10169 0 -1 4194304 1885 0 0 0 179988 14 0 0 25 0 1 0 194636557 13180928 1868 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11269/statm: 3218 1868 115 226 0 2989 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12872

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

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

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.05
CPU user time (s): 1799.9
CPU system time (s): 0.146977
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 12872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1885
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= 11
involuntary context switches= 36836

runsolver used 2.20666 second user time and 4.31634 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Apr 21 20:06:29 UTC 2007

IDJOB= 373365
IDBENCH= 25038
IDSOLVER= 162
FILE ID= node5/373365-1177185989

PBS_JOBID= 4649010

Free space on /tmp= 66356 MiB

SOLVER NAME= wildcat-skc 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb
COMMAND LINE= /tmp/evaluation/373365-1177185989/wildcat-skc /tmp/evaluation/373365-1177185989/instance-373365-1177185989.opb 698238667
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-373365-1177185989 -o ROOT/results/node5/solver-373365-1177185989 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/373365-1177185989/wildcat-skc /tmp/evaluation/373365-1177185989/instance-373365-1177185989.opb 698238667

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  4b72d81adefd0ef56251a04b2b714e8c

RANDOM SEED= 698238667

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1756120 kB
Buffers:         61752 kB
Cached:         171608 kB
SwapCached:       9400 kB
Active:          49584 kB
Inactive:       208356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1756120 kB
SwapTotal:     4192956 kB
SwapFree:      4151632 kB
Dirty:            3028 kB
Writeback:           0 kB
Mapped:          30924 kB
Slab:            27468 kB
Committed_AS:  8994848 kB
PageTables:       1724 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= 66356 MiB

End job on node5 on Sat Apr 21 20:36:32 UTC 2007