Trace number 4093437

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 1.59376 1.59733

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
MD5SUMd386dfc8e47349268f453a2b59efbfb7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.59376
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8937
Total number of constraints26319
Number of soft constraints8922
Number of constraints which are clauses26047
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 446674
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 446673
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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 

0.00/0.00	c 2016-06-16T16:33:00+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093437-1466087580.wbo"]
0.00/0.01	c use --random-gen="93334586 4076337809 3125865997 3983340455 2510631428 3956091389 1315500695 3232939037 3861942898 4017024019 1439281206 107610150 2861290855 2319707628 1372940096 501429229 3498230836 977049700 2207801035 1671768868 4200507995 2237914936 1772695539 3301260661 3146162548 3005566304 3881080186 2613177019 2240036409 1004398506 3438468345 412331446 429849162 3470798600 1794882858 3818429872 1075533521 1055232441 2097088613 921832862 2433317789 3709284470 773617749 1029507849 871528146 420768394 18537132 2309230292 4102176395 758413578 3367541066 2583912229 681740667 890494821 441237451 1323871162 1914368349 451360440 59424577 2057614179 1697514009 2731491638 1408737977 892378694 1299622117 3134432419 3722277216 3474144304 432288530 978205502 3400150184 65284788 1483675240 829245921 3696715557 2236001378 2087151170 1078841107 3706628424 889026468 585256354 1046701559 4057300281 439918526 388640198 1339673469 2147737840 1387416158 164235962 1360566186 2987818634 909568659 311217289 2729847678 1891618476 2401320918 3322890379 4148905183 2083230354 1219472779 4071479583 4002785746 4263689698 363270687 3612734562 2961893146 3897231053 200411668 2611302505 2305229982 1108663798 4128717734 4239528966 3811848622 4128333071 1408480380 389477650 18569852 2838952903 3730666478 2825729877 518642452 3527336721 1190595060 2940785286 2884899417 1919847897 3636942745 4157955913 1112296029 3390247168 2716010585 593006309 163327649 941255402 4166796314 3906097682 415941999 4051072629 3747393265 862268058 193605374 2814308145 699382404 3420196172 3139960728 573365181 3364584157 2171502031 3299495918 2935850258 4099810245 683077186 4051654098 2132628960 3960330867 3454260394 4240111279 213022645 4141489287 2085583415 3484803388 519370156 2354730055 225378672 3235638031 554628228 4226957889 1103166664 664347862 2425422354 2019883236 3169351539 2741831018 1350590385 2220291688 1315952063 1987823767 1205254616 1780725896 4038093091 2502391485 1365460753 1911360225 2842268461 2874988634 3622272242 1326566321 2120883236 2913667496 3319286870 1318986988 4000299642 1473636056 1352467851 1588086544 1706342633 4167065429 4180994303 2022197933 836399860 1890827166 417841925 1842179111 2699001597 2073722535 780503225 422014017 2906665117 583711564 3928509904 3383622311 3579660438 812006510 2669126747 3686237954 2650297737 3504831717 3639071804 1697850464 3568147148 1100307182 2413365537 336820891 3285999737 1527727815 1714637043 3258096957 2176057590 1102016483 3074989402 3942947134 3587169196 1929223550 3537531619 1218117593 1164778658 2839042073 580910932 1232983982 2976547040 4229268930 1565046715 2142843127 3210780795 3426445752 3483590800 1589526289 1210835774 2468264449 158558622 2033883760 942248149 3695395639 1634547502 2471055922 255 362436" option to reproduce the execution
0.39/0.49	c #vars 8937
0.39/0.49	c #constraints 26319
0.89/0.95	c BCD2: Hardening is enabled.
0.89/0.95	c BCD2: BiasedSearch is enabled.
0.89/0.95	c Solving starts ...
0.89/0.95	c ============================[ Search Statistics ]============================
0.89/0.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.95	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.95	c =============================================================================
0.89/0.95	c  0.0s |       0 |        0 |        0 |    14725      0 |       11 |        0
0.98/1.07	c  0.1s |       0 |    16259 |       24 |    14725      0 |       11 |       23
0.98/1.07	c #cpu_time = 0.105s
0.98/1.07	c #wall_clock_time = 0.106s
0.98/1.07	c #decision = 16259
0.98/1.07	c #random_decision = 49
0.98/1.07	c #conflict = 24
0.98/1.07	c #restart = 0
0.98/1.07	o 1954
1.09/1.13	c BCD2: updating upper bound: 446673 -> 1953
1.09/1.16	c BCD2: 0 <= obj <= 1953
1.09/1.16	c BCD2: #cores=0, #unrelaxed=8922, #relaxed=0, #hardened=0
1.09/1.16	c BCD2: #sat=1 #unsat=1 bias=1/2
1.09/1.16	c Solving starts ...
1.09/1.16	c ============================[ Search Statistics ]============================
1.09/1.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.09/1.16	c       |         |          |          |    Limit     GC | Var      | Constra 
1.09/1.16	c =============================================================================
1.09/1.16	c  0.0s |       0 |        0 |        0 |    14725      0 |       11 |       23
1.19/1.22	c  0.1s |       0 |     9347 |       11 |    14725      0 |       11 |       23
1.19/1.22	c #cpu_time = 0.052s
1.19/1.22	c #wall_clock_time = 0.052s
1.19/1.22	c #decision = 9347
1.19/1.22	c #random_decision = 0
1.19/1.22	c #conflict = 11
1.19/1.22	c #restart = 0
1.19/1.22	c BCD2: found a new core of size 112: cost of the new core is >=1
1.19/1.22	c lower bound updated to 1
1.19/1.22	c BCD2: 1 <= obj <= 1953
1.19/1.22	c BCD2: #cores=1, #unrelaxed=8810, #relaxed=112, #hardened=0
1.19/1.22	c BCD2: #sat=1 #unsat=2 bias=2/3
1.19/1.23	c Solving starts ...
1.19/1.23	c ============================[ Search Statistics ]============================
1.19/1.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.23	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.23	c =============================================================================
1.19/1.23	c  0.0s |       0 |        0 |        0 |    14725      0 |       11 |       23
1.28/1.34	c  0.1s |       0 |     9261 |       24 |    14725      0 |       11 |       23
1.28/1.34	c #cpu_time = 0.098s
1.28/1.34	c #wall_clock_time = 0.098s
1.28/1.34	c #decision = 9261
1.28/1.34	c #random_decision = 0
1.28/1.34	c #conflict = 24
1.28/1.34	c #restart = 0
1.28/1.34	o 58
1.28/1.35	c BCD2: hardening fixes 3859 literals
1.28/1.35	c BCD2: updating upper bound: 1953 -> 57
1.28/1.38	c BCD2: 1 <= obj <= 57
1.28/1.38	c BCD2: #cores=1, #unrelaxed=5000, #relaxed=63, #hardened=3859
1.28/1.38	c BCD2: #sat=2 #unsat=2 bias=2/4
1.28/1.38	c Solving starts ...
1.28/1.38	c ============================[ Search Statistics ]============================
1.28/1.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.28/1.38	c       |         |          |          |    Limit     GC | Var      | Constra 
1.28/1.38	c =============================================================================
1.28/1.38	c  0.0s |       0 |        0 |        0 |    14725      0 |     3875 |       24
1.38/1.43	c  0.0s |       0 |     5093 |        1 |    14725      0 |     3875 |       37
1.38/1.43	c #cpu_time = 0.038s
1.38/1.43	c #wall_clock_time = 0.038s
1.38/1.43	c #decision = 5093
1.38/1.43	c #random_decision = 1
1.38/1.43	c #conflict = 1
1.38/1.43	c #restart = 0
1.38/1.43	o 3
1.38/1.44	c BCD2: hardening fixes 4967 literals
1.38/1.45	c BCD2: updating upper bound: 57 -> 2
1.38/1.45	c BCD2: 1 <= obj <= 2
1.38/1.45	c BCD2: #cores=1, #unrelaxed=94, #relaxed=2, #hardened=8826
1.38/1.45	c BCD2: #sat=3 #unsat=2 bias=2/5
1.38/1.45	c Solving starts ...
1.38/1.45	c ============================[ Search Statistics ]============================
1.38/1.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.38/1.45	c       |         |          |          |    Limit     GC | Var      | Constra 
1.38/1.45	c =============================================================================
1.38/1.46	c  0.0s |       0 |        0 |        0 |    14725      0 |    11506 |       38
1.48/1.53	c  0.1s |       0 |      290 |       17 |    14725      0 |    12303 |    12300
1.48/1.53	c #cpu_time = 0.078s
1.48/1.53	c #wall_clock_time = 0.079s
1.48/1.53	c #decision = 290
1.48/1.53	c #random_decision = 1
1.48/1.53	c #conflict = 17
1.48/1.53	c #restart = 0
1.48/1.53	c BCD2: found a new core of size 1: cost of the new core is >=1
1.48/1.53	c lower bound updated to 2
1.48/1.55	c BCD2: hardening fixes 94 literals
1.48/1.55	c BCD2: 2 <= obj <= 2
1.48/1.55	c BCD2: #cores=2, #unrelaxed=0, #relaxed=2, #hardened=8920
1.48/1.55	c BCD2: #sat=3 #unsat=3 bias=3/6
1.48/1.55	c Solving starts ...
1.48/1.55	c ============================[ Search Statistics ]============================
1.48/1.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.48/1.55	c       |         |          |          |    Limit     GC | Var      | Constra 
1.48/1.55	c =============================================================================
1.48/1.55	c  0.0s |       0 |        0 |        0 |    14725      0 |    12303 |    12300
1.48/1.56	c  0.0s |       0 |       26 |        8 |    14725      0 |    12379 |    12300
1.48/1.56	c #cpu_time = 0.010s
1.48/1.56	c #wall_clock_time = 0.010s
1.48/1.56	c #decision = 26
1.48/1.56	c #random_decision = 0
1.48/1.56	c #conflict = 8
1.48/1.56	c #restart = 0
1.48/1.56	c lower bound updated to 3
1.48/1.56	s OPTIMUM FOUND
1.48/1.56	v -x1 -x2 x3 x4 x5 x6 x7 -x8 x9 x10
1.48/1.56	v x11 -x12 -x13 x14 -x15 -x16 x17 -x18 x19 -x20
1.48/1.56	v x21 -x22 x23 -x24 x25 -x26 x27 x28 -x29 x30
1.48/1.56	v -x31 -x32 x33 x34 -x35 x36 -x37 x38 -x39 x40
1.48/1.56	v -x41 x42 -x43 x44 -x45 -x46 x47 x48 x49 x50
1.48/1.56	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60
1.48/1.56	v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1.48/1.56	v x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80
1.48/1.56	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
1.48/1.56	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
1.48/1.56	v x101 -x102 -x103 x104 x105 x106 x107 -x108 x109 -x110
1.48/1.56	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 x120
1.48/1.56	v x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
1.48/1.56	v -x131 x132 x133 x134 -x135 x136 -x137 -x138 -x139 -x140
1.48/1.56	v -x141 x142 -x143 -x144 x145 x146 -x147 x148 -x149 x150
1.48/1.56	v -x151 x152 -x153 x154 -x155 x156 -x157 x158 x159 x160
1.48/1.56	v x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
1.48/1.56	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
1.48/1.56	v -x181 -x182 x183 x184 -x185 x186 -x187 -x188 -x189 -x190
1.48/1.56	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1.48/1.56	v -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210
1.48/1.56	v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
1.48/1.56	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1.48/1.56	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
1.48/1.56	v -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 x249 -x250
1.48/1.56	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1.48/1.56	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270
1.48/1.56	v -x271 -x272 -x273 x274 x275 x276 x277 x278 x279 -x280
1.48/1.56	v x281 -x282 -x283 x284 x285 x286 x287 -x288 -x289 -x290
1.48/1.56	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1.48/1.56	v -x301 -x302 -x303 -x304 x305 x306 x307 x308 x309 -x310
1.48/1.56	v x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320
1.48/1.56	v -x321 -x322 -x323 -x324 x325 x326 x327 -x328 -x329 -x330
1.48/1.56	v -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340
1.48/1.56	v -x341 -x342 -x343 -x344 -x345 -x346 x347 x348 x349 x350
1.48/1.56	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1.48/1.56	v -x361 x362 x363 x364 x365 x366 x367 -x368 x369 x370
1.48/1.56	v x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1.48/1.56	v -x381 -x382 -x383 x384 x385 x386 x387 -x388 -x389 -x390
1.48/1.56	v x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400
1.48/1.56	v -x401 x402 -x403 x404 x405 x406 x407 -x408 -x409 -x410
1.48/1.56	v x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420
1.48/1.56	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430
1.48/1.56	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1.48/1.56	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
1.48/1.56	v x451 x452 -x453 -x454 x455 x456 -x457 x458 -x459 -x460
1.48/1.56	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1.48/1.56	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1.48/1.56	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1.48/1.56	v -x491 -x492 -x493 -x494 -x495 -x496 x497 x498 -x499 -x500
1.48/1.56	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510
1.48/1.56	v x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
1.48/1.56	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1.48/1.56	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1.48/1.56	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1.48/1.56	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
1.48/1.56	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1.48/1.56	v -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580
1.48/1.56	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1.48/1.56	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
1.48/1.56	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1.48/1.56	v -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620
1.48/1.56	v x621 x622 x623 x624 x625 x626 x627 x628 -x629 x630
1.48/1.56	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640
1.48/1.56	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1.48/1.56	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
1.48/1.56	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1.48/1.56	v -x671 -x672 -x673 x674 x675 x676 x677 x678 x679 x680
1.48/1.56	v -x681 x682 -x683 -x684 -x685 x686 x687 x688 x689 x690
1.48/1.56	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
1.48/1.56	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1.48/1.56	v -x711 -x712 x713 x714 x715 x716 x717 x718 -x719 x720
1.48/1.56	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730
1.48/1.56	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 x739 x740
1.48/1.56	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
1.48/1.56	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760
1.48/1.56	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
1.48/1.56	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
1.48/1.56	v -x781 -x782 -x783 -x784 -x785 x786 x787 x788 x789 x790
1.48/1.56	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1.48/1.56	v -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810
1.48/1.56	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1.48/1.56	v -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
1.48/1.56	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1.48/1.56	v -x841 -x842 -x843 -x844 x845 x846 x847 x848 x849 x850
1.48/1.56	v -x851 x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860
1.48/1.56	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
1.48/1.56	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
1.48/1.56	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1.48/1.56	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1.48/1.56	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
1.48/1.56	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1.48/1.56	v -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930
1.48/1.56	v -x931 -x932 x933 -x934 -x935 x936 -x937 -x938 -x939 -x940
1.48/1.56	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1.48/1.56	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1.48/1.56	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
1.48/1.56	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
1.48/1.56	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
1.48/1.56	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
1.48/1.56	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
1.48/1.56	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020
1.48/1.56	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030
1.48/1.56	v -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040
1.48/1.56	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
1.48/1.56	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1.48/1.56	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
1.48/1.56	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1.48/1.56	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1.48/1.56	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 x1099 -x1100
1.48/1.56	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110
1.48/1.56	v -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
1.48/1.56	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
1.48/1.56	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
1.48/1.56	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1.48/1.56	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1.48/1.56	v x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
1.48/1.56	v -x1171 x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1.48/1.56	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
1.48/1.56	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1.48/1.56	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210
1.48/1.56	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220
1.48/1.56	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 x1230
1.48/1.56	v x1231 x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
1.48/1.56	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1.48/1.56	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1.48/1.56	v x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270
1.48/1.56	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1.48/1.56	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
1.48/1.56	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1.48/1.56	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
1.48/1.56	v -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320
1.48/1.56	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1.48/1.56	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
1.48/1.56	v -x1341 -x1342 -x1343 x1344 x1345 x1346 -x1347 -x1348 -x1349 -x1350
1.48/1.56	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
1.48/1.56	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1.48/1.56	v -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1.48/1.56	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
1.48/1.56	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1.48/1.56	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
1.48/1.56	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 x1418 x1419 -x1420
1.48/1.56	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1.48/1.56	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1.48/1.56	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1.48/1.56	v x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460
1.48/1.56	v x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 x1469 x1470
1.48/1.56	v x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480
1.48/1.56	v x1481 x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 x1489 -x1490
1.48/1.56	v -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500
1.48/1.56	v -x1501 -x1502 -x1503 x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510
1.48/1.56	v -x1511 x1512 -x1513 x1514 -x1515 x1516 -x1517 x1518 -x1519 x1520
1.48/1.56	v x1521 x1522 x1523 -x1524 -x1525 -x1526 x1527 -x1528 x1529 -x1530
1.48/1.56	v -x1531 -x1532 x1533 -x1534 x1535 x1536 x1537 -x1538 -x1539 x1540
1.48/1.56	v -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1.48/1.56	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
1.48/1.56	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1.48/1.56	v -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
1.48/1.56	v -x1581 -x1582 -x1583 x1584 -x1585 -x1586 x1587 x1588 x1589 x1590
1.48/1.56	v x1591 x1592 x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1.48/1.56	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1.48/1.56	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1.48/1.56	v -x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 -x1630
1.48/1.56	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
1.48/1.56	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
1.48/1.56	v -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1.48/1.56	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1.48/1.56	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
1.48/1.56	v x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1.48/1.56	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
1.48/1.56	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1.48/1.56	v -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1.48/1.56	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1.48/1.56	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1.48/1.56	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
1.48/1.56	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1.48/1.56	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1.48/1.56	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
1.48/1.56	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1.48/1.56	v -x1791 x1792 x1793 x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800
1.48/1.56	v -x1801 -x1802 x1803 x1804 x1805 -x1806 x1807 -x1808 x1809 x1810
1.48/1.56	v x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
1.48/1.56	v -x1821 -x1822 -x1823 -x1824 -x1825 x1826 x1827 -x1828 -x1829 -x1830
1.48/1.56	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
1.48/1.56	v -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 x1849 -x1850
1.48/1.56	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1.48/1.56	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
1.48/1.56	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1.48/1.56	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 x1890
1.48/1.56	v x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
1.48/1.56	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910
1.48/1.56	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
1.48/1.56	v x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
1.48/1.56	v -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1.48/1.56	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
1.48/1.56	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1.48/1.56	v -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
1.48/1.56	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
1.48/1.56	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1.48/1.56	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
1.48/1.56	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1.48/1.56	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
1.48/1.56	v -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1.48/1.56	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
1.48/1.56	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
1.48/1.56	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
1.48/1.56	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
1.48/1.56	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1.48/1.56	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
1.48/1.56	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
1.48/1.56	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1.48/1.56	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
1.48/1.56	v -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
1.48/1.56	v x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1.48/1.56	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1.48/1.56	v -x2151 x2152 -x2153 x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160
1.48/1.56	v x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
1.48/1.56	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1.48/1.56	v -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 x2189 x2190
1.48/1.56	v x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1.48/1.56	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
1.48/1.56	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1.48/1.56	v -x2221 -x2222 -x2223 x2224 x2225 -x2226 x2227 -x2228 -x2229 -x2230
1.48/1.56	v -x2231 -x2232 -x2233 -x2234 x2235 -x2236 x2237 x2238 x2239 x2240
1.48/1.56	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1.48/1.56	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1.48/1.56	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
1.48/1.56	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1.48/1.56	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
1.48/1.56	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300
1.48/1.56	v -x2301 -x2302 -x2303 -x2304 -x2305 x2306 x2307 x2308 -x2309 x2310
1.48/1.56	v x2311 -x2312 x2313 x2314 -x2315 x2316 -x2317 x2318 -x2319 x2320
1.48/1.56	v x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
1.48/1.56	v -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340
1.48/1.56	v -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
1.48/1.56	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
1.48/1.56	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
1.48/1.56	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1.48/1.56	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
1.48/1.56	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1.48/1.56	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
1.48/1.56	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
1.48/1.56	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
1.48/1.56	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1.48/1.56	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 x2450
1.48/1.56	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
1.48/1.56	v -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1.48/1.56	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
1.48/1.56	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1.48/1.56	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
1.48/1.56	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
1.48/1.56	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1.48/1.56	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
1.48/1.56	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
1.48/1.56	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
1.48/1.56	v -x2551 -x2552 -x2553 -x2554 x2555 x2556 x2557 -x2558 -x2559 x2560
1.48/1.56	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1.48/1.56	v -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
1.48/1.56	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
1.48/1.56	v -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600
1.48/1.56	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1.48/1.56	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1.48/1.56	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1.48/1.56	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1.48/1.56	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
1.48/1.56	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1.48/1.56	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
1.48/1.56	v -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
1.48/1.56	v -x2681 -x2682 -x2683 -x2684 x2685 x2686 -x2687 -x2688 -x2689 -x2690
1.48/1.56	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
1.48/1.56	v -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710
1.48/1.56	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
1.48/1.56	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1.48/1.56	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
1.48/1.56	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
1.48/1.56	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1.48/1.56	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 x2768 -x2769 x2770
1.48/1.56	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 x2780
1.48/1.56	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1.48/1.56	v -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
1.48/1.56	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1.48/1.56	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
1.48/1.56	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
1.48/1.56	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
1.48/1.56	v -x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1.48/1.56	v -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860
1.48/1.56	v -x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1.48/1.56	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1.48/1.56	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1.48/1.56	v -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900
1.48/1.56	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910
1.48/1.56	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
1.48/1.56	v -x2921 x2922 x2923 x2924 x2925 x2926 -x2927 -x2928 -x2929 -x2930
1.48/1.56	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
1.48/1.56	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
1.48/1.56	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1.48/1.56	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
1.48/1.56	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
1.48/1.56	v -x2981 -x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
1.48/1.56	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
1.48/1.56	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
1.48/1.56	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1.48/1.56	v -x3021 -x3022 x3023 x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030
1.48/1.56	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
1.48/1.56	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
1.48/1.56	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
1.48/1.56	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1.48/1.56	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
1.48/1.56	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
1.48/1.56	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
1.48/1.56	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
1.48/1.56	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
1.48/1.56	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1.48/1.56	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
1.48/1.56	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
1.48/1.56	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 x3159 x3160
1.48/1.56	v x3161 -x3162 -x3163 -x3164 x3165 x3166 -x3167 -x3168 -x3169 -x3170
1.48/1.56	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
1.48/1.56	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
1.48/1.56	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
1.48/1.56	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
1.48/1.56	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
1.48/1.56	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
1.48/1.56	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
1.48/1.56	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1.48/1.56	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
1.48/1.56	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
1.48/1.56	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
1.48/1.56	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
1.48/1.56	v -x3291 -x3292 -x3293 x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1.48/1.56	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
1.48/1.56	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
1.48/1.56	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
1.48/1.56	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
1.48/1.56	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
1.48/1.56	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
1.48/1.56	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1.48/1.56	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
1.48/1.56	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
1.48/1.56	v x3391 x3392 x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400
1.48/1.56	v x3401 -x3402 -x3403 -x3404 x3405 -x3406 x3407 x3408 x3409 -x3410
1.48/1.56	v -x3411 x3412 -x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420
1.48/1.56	v -x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430
1.48/1.56	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
1.48/1.56	v -x3441 -x3442 -x3443 -x3444 -x3445 x3446 x3447 -x3448 -x3449 x3450
1.48/1.56	v x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 x3459 x3460
1.48/1.56	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
1.48/1.56	v -x3471 -x3472 x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1.48/1.56	v -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490
1.48/1.56	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 x3499 x3500
1.48/1.56	v x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
1.48/1.56	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
1.48/1.56	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
1.48/1.56	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
1.48/1.56	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
1.48/1.56	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560
1.48/1.56	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
1.48/1.56	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
1.48/1.56	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
1.48/1.57	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 x3599 x3600
1.48/1.57	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
1.48/1.57	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
1.48/1.57	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
1.48/1.57	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
1.48/1.57	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
1.48/1.57	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
1.48/1.57	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
1.48/1.57	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
1.48/1.57	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1.48/1.57	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
1.48/1.57	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1.48/1.57	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
1.48/1.57	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
1.48/1.57	v -x3731 -x3732 x3733 x3734 x3735 x3736 -x3737 -x3738 -x3739 x3740
1.48/1.57	v x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
1.48/1.57	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
1.48/1.57	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
1.48/1.57	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
1.48/1.57	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
1.48/1.57	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
1.48/1.57	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1.48/1.57	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
1.48/1.57	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
1.48/1.57	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
1.48/1.57	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
1.48/1.57	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
1.48/1.57	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 x3870
1.48/1.57	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
1.48/1.57	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
1.48/1.57	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
1.48/1.57	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
1.48/1.57	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
1.48/1.57	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
1.48/1.57	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
1.48/1.57	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
1.48/1.57	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
1.48/1.57	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970
1.48/1.57	v x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1.48/1.57	v x3981 x3982 x3983 -x3984 x3985 -x3986 x3987 -x3988 x3989 x3990
1.48/1.57	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
1.48/1.57	v x4001 x4002 x4003 -x4004 x4005 x4006 -x4007 x4008 x4009 -x4010
1.48/1.57	v x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
1.48/1.57	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
1.48/1.57	v -x4031 -x4032 x4033 x4034 x4035 -x4036 -x4037 x4038 -x4039 -x4040
1.48/1.57	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
1.48/1.57	v -x4051 -x4052 x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
1.48/1.57	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
1.48/1.57	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1.48/1.57	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
1.48/1.57	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
1.48/1.57	v x4101 x4102 x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110
1.48/1.57	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
1.48/1.57	v -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130
1.48/1.57	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
1.48/1.57	v -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1.48/1.57	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160
1.48/1.57	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
1.48/1.57	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
1.48/1.57	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1.48/1.57	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
1.48/1.57	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
1.48/1.57	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
1.48/1.57	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
1.48/1.57	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240
1.48/1.57	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
1.48/1.57	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
1.48/1.57	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
1.48/1.57	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280
1.48/1.57	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290
1.48/1.57	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
1.48/1.57	v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
1.48/1.57	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
1.48/1.57	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330
1.48/1.57	v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340
1.48/1.57	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
1.48/1.57	v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360
1.48/1.57	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
1.48/1.57	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
1.48/1.57	v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
1.48/1.57	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400
1.48/1.57	v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410
1.48/1.57	v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420
1.48/1.57	v x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430
1.48/1.57	v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
1.48/1.57	v -x4441 -x4442 x4443 x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450
1.48/1.57	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
1.48/1.57	v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470
1.48/1.57	v x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480
1.48/1.57	v -x4481 -x4482 -x4483 -x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x4490
1.48/1.57	v x4491 x4492 x4493 x4494 x4495 x4496 -x4497 -x4498 -x4499 x4500
1.48/1.57	v x4501 x4502 -x4503 -x4504 x4505 x4506 -x4507 -x4508 x4509 x4510
1.48/1.57	v -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 -x4520
1.48/1.57	v -x4521 -x4522 x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530
1.48/1.57	v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540
1.48/1.57	v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550
1.48/1.57	v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
1.48/1.57	v -x4561 -x4562 -x4563 -x4564 x4565 x4566 -x4567 x4568 -x4569 -x4570
1.48/1.57	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580
1.48/1.57	v -x4581 -x4582 x4583 -x4584 x4585 -x4586 -x4587 -x4588 -x4589 x4590
1.48/1.57	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600
1.48/1.57	v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610
1.48/1.57	v -x4611 -x4612 -x4613 x4614 x4615 x4616 -x4617 -x4618 -x4619 -x4620
1.48/1.57	v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
1.48/1.57	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640
1.48/1.57	v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650
1.48/1.57	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
1.48/1.57	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
1.48/1.57	v -x4671 -x4672 -x4673 -x4674 x4675 x4676 -x4677 -x4678 -x4679 -x4680
1.48/1.57	v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 x4688 x4689 -x4690
1.48/1.57	v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 x4698 x4699 -x4700
1.48/1.57	v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710
1.48/1.57	v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720
1.48/1.57	v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730
1.48/1.57	v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740
1.48/1.57	v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
1.48/1.57	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760
1.48/1.57	v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770
1.48/1.57	v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
1.48/1.57	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790
1.48/1.57	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800
1.48/1.57	v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810
1.48/1.57	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820
1.48/1.57	v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1.48/1.57	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840
1.48/1.57	v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850
1.48/1.57	v x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860
1.48/1.57	v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870
1.48/1.57	v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880
1.48/1.57	v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
1.48/1.57	v -x4891 -x4892 x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900
1.48/1.57	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910
1.48/1.57	v x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920
1.48/1.57	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930
1.48/1.57	v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
1.48/1.57	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1.48/1.57	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
1.48/1.57	v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970
1.48/1.57	v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980
1.48/1.57	v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990
1.48/1.57	v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
1.48/1.57	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010
1.48/1.57	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 x5018 x5019 -x5020
1.48/1.57	v x5021 -x5022 x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 -x5030
1.48/1.57	v -x5031 -x5032 -x5033 -x5034 x5035 x5036 x5037 -x5038 -x5039 -x5040
1.48/1.57	v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050
1.48/1.57	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060
1.48/1.57	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
1.48/1.57	v -x5071 -x5072 x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080
1.48/1.57	v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 x5088 -x5089 -x5090
1.48/1.57	v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
1.48/1.57	v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110
1.48/1.57	v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120
1.48/1.57	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130
1.48/1.57	v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140
1.48/1.57	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150
1.48/1.57	v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160
1.48/1.57	v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170
1.48/1.57	v -x5171 -x5172 x5173 x5174 x5175 x5176 -x5177 -x5178 x5179 -x5180
1.48/1.57	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190
1.48/1.57	v -x5191 -x5192 -x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200
1.48/1.57	v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210
1.48/1.57	v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220
1.48/1.57	v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230
1.48/1.57	v x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240
1.48/1.57	v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250
1.48/1.57	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260
1.48/1.57	v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270
1.48/1.57	v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280
1.48/1.57	v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290
1.48/1.57	v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300
1.48/1.57	v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 x5310
1.48/1.57	v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320
1.48/1.57	v -x5321 x5322 x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330
1.48/1.57	v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340
1.48/1.57	v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350
1.48/1.57	v -x5351 -x5352 -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360
1.48/1.57	v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370
1.48/1.57	v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380
1.48/1.57	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390
1.48/1.57	v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400
1.48/1.57	v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410
1.48/1.57	v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 x5418 -x5419 -x5420
1.48/1.57	v x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 x5430
1.48/1.57	v x5431 x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440
1.48/1.57	v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450
1.48/1.57	v -x5451 -x5452 -x5453 x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
1.48/1.57	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470
1.48/1.57	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480
1.48/1.57	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490
1.48/1.57	v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500
1.48/1.57	v -x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510
1.48/1.57	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520
1.48/1.57	v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530
1.48/1.57	v x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540
1.48/1.57	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
1.48/1.57	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560
1.48/1.57	v -x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 -x5568 -x5569 -x5570
1.48/1.57	v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580
1.48/1.57	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590
1.48/1.57	v -x5591 -x5592 -x5593 -x5594 x5595 x5596 x5597 x5598 x5599 -x5600
1.48/1.57	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610
1.48/1.57	v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620
1.48/1.57	v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630
1.48/1.57	v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640
1.48/1.57	v x5641 x5642 x5643 x5644 x5645 x5646 -x5647 -x5648 -x5649 -x5650
1.48/1.57	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660
1.48/1.57	v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670
1.48/1.57	v -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680
1.48/1.57	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690
1.48/1.57	v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700
1.48/1.57	v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710
1.48/1.57	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720
1.48/1.57	v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 x5728 x5729 -x5730
1.48/1.57	v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740
1.48/1.57	v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750
1.48/1.57	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760
1.48/1.57	v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770
1.48/1.57	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780
1.48/1.57	v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790
1.48/1.57	v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800
1.48/1.57	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810
1.48/1.57	v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820
1.48/1.57	v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830
1.48/1.57	v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840
1.48/1.57	v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850
1.48/1.57	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860
1.48/1.57	v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870
1.48/1.57	v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880
1.48/1.57	v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890
1.48/1.57	v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900
1.48/1.57	v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 x5908 x5909 x5910
1.48/1.57	v -x5911 -x5912 -x5913 x5914 x5915 -x5916 -x5917 -x5918 -x5919 -x5920
1.48/1.57	v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930
1.48/1.57	v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940
1.48/1.57	v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950
1.48/1.57	v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960
1.48/1.57	v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970
1.48/1.57	v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980
1.48/1.57	v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990
1.48/1.57	v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000
1.48/1.57	v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010
1.48/1.57	v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020
1.48/1.57	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030
1.48/1.57	v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040
1.48/1.57	v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050
1.48/1.57	v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060
1.48/1.57	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070
1.48/1.57	v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080
1.48/1.57	v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090
1.48/1.57	v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100
1.48/1.57	v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110
1.48/1.57	v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120
1.48/1.57	v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130
1.48/1.57	v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140
1.48/1.57	v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150
1.48/1.57	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160
1.48/1.57	v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170
1.48/1.57	v -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180
1.48/1.57	v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190
1.48/1.57	v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200
1.48/1.57	v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210
1.48/1.57	v -x6211 -x6212 -x6213 -x6214 x6215 x6216 -x6217 -x6218 -x6219 -x6220
1.48/1.57	v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230
1.48/1.57	v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240
1.48/1.57	v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250
1.48/1.57	v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260
1.48/1.57	v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270
1.48/1.57	v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280
1.48/1.57	v -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290
1.48/1.57	v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300
1.48/1.57	v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310
1.48/1.57	v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320
1.48/1.57	v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330
1.48/1.57	v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340
1.48/1.57	v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350
1.48/1.57	v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
1.48/1.57	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370
1.48/1.57	v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380
1.48/1.57	v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390
1.48/1.57	v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400
1.48/1.57	v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410
1.48/1.57	v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420
1.48/1.57	v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430
1.48/1.57	v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440
1.48/1.57	v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450
1.48/1.57	v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460
1.48/1.57	v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470
1.48/1.57	v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480
1.48/1.57	v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490
1.48/1.57	v -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500
1.48/1.57	v -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510
1.48/1.57	v -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520
1.48/1.57	v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530
1.48/1.57	v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540
1.48/1.57	v -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550
1.48/1.57	v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560
1.48/1.57	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570
1.48/1.57	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580
1.48/1.57	v -x6581 x6582 x6583 x6584 -x6585 -x6586 -x6587 x6588 -x6589 x6590
1.48/1.57	v x6591 x6592 -x6593 -x6594 -x6595 x6596 -x6597 -x6598 -x6599 x6600
1.48/1.57	v -x6601 -x6602 -x6603 x6604 -x6605 x6606 x6607 x6608 -x6609 -x6610
1.48/1.57	v x6611 -x6612 -x6613 -x6614 -x6615 x6616 -x6617 -x6618 -x6619 -x6620
1.48/1.57	v -x6621 -x6622 -x6623 -x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630
1.48/1.57	v -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640
1.48/1.57	v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650
1.48/1.57	v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660
1.48/1.57	v -x6661 -x6662 -x6663 -x6664 -x6665 x6666 -x6667 -x6668 x6669 -x6670
1.48/1.57	v x6671 -x6672 -x6673 -x6674 -x6675 -x6676 x6677 x6678 x6679 x6680
1.48/1.57	v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690
1.48/1.57	v -x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 x6698 x6699 -x6700
1.48/1.57	v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710
1.48/1.57	v -x6711 x6712 -x6713 x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720
1.48/1.57	v -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730
1.48/1.57	v -x6731 x6732 -x6733 x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740
1.48/1.57	v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 x6749 -x6750
1.48/1.57	v -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760
1.48/1.57	v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770
1.48/1.57	v -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780
1.48/1.57	v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790
1.48/1.57	v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 x6798 x6799 x6800
1.48/1.57	v x6801 x6802 x6803 x6804 x6805 -x6806 -x6807 -x6808 -x6809 -x6810
1.48/1.57	v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820
1.48/1.57	v -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830
1.48/1.57	v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840
1.48/1.57	v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850
1.48/1.57	v -x6851 x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860
1.48/1.57	v -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870
1.48/1.57	v -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880
1.48/1.57	v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890
1.48/1.57	v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900
1.48/1.57	v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910
1.48/1.57	v x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920
1.48/1.57	v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930
1.48/1.57	v -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940
1.48/1.57	v -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950
1.48/1.57	v -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960
1.48/1.57	v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970
1.48/1.57	v -x6971 -x6972 -x6973 x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980
1.48/1.57	v -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990
1.48/1.57	v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000
1.48/1.57	v -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010
1.48/1.57	v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020
1.48/1.57	v -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030
1.48/1.57	v -x7031 -x7032 -x7033 -x7034 -x7035 x7036 x7037 x7038 x7039 x7040
1.48/1.57	v x7041 x7042 x7043 x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050
1.48/1.57	v -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060
1.48/1.57	v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070
1.48/1.57	v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080
1.48/1.57	v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090
1.48/1.57	v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100
1.48/1.57	v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110
1.48/1.57	v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120
1.48/1.57	v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130
1.48/1.57	v -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140
1.48/1.57	v -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150
1.48/1.57	v -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160
1.48/1.57	v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170
1.48/1.57	v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180
1.48/1.57	v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190
1.48/1.57	v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200
1.48/1.57	v -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210
1.48/1.57	v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220
1.48/1.57	v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230
1.48/1.57	v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240
1.48/1.57	v -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250
1.48/1.57	v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260
1.48/1.57	v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270
1.48/1.57	v -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280
1.48/1.57	v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290
1.48/1.57	v -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300
1.48/1.57	v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310
1.48/1.57	v -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320
1.48/1.57	v -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330
1.48/1.57	v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340
1.48/1.57	v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350
1.48/1.57	v -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360
1.48/1.57	v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370
1.48/1.57	v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380
1.48/1.57	v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390
1.48/1.57	v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400
1.48/1.57	v -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410
1.48/1.57	v -x7411 -x7412 -x7413 x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420
1.48/1.57	v -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430
1.48/1.57	v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440
1.48/1.57	v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450
1.48/1.57	v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460
1.48/1.57	v -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470
1.48/1.57	v -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480
1.48/1.57	v -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490
1.48/1.57	v -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500
1.48/1.57	v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510
1.48/1.57	v -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520
1.48/1.57	v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530
1.48/1.57	v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540
1.48/1.57	v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550
1.48/1.57	v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560
1.48/1.57	v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570
1.48/1.57	v -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580
1.48/1.57	v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590
1.48/1.57	v -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600
1.48/1.57	v -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610
1.48/1.57	v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620
1.48/1.57	v -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630
1.48/1.57	v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640
1.48/1.57	v -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650
1.48/1.57	v -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660
1.48/1.57	v -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670
1.48/1.57	v -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680
1.48/1.57	v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690
1.48/1.57	v -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700
1.48/1.57	v -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710
1.48/1.57	v -x7711 -x7712 x7713 x7714 x7715 x7716 x7717 x7718 x7719 x7720
1.48/1.57	v x7721 x7722 x7723 x7724 x7725 x7726 x7727 x7728 x7729 x7730
1.48/1.57	v x7731 x7732 x7733 x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740
1.48/1.57	v -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750
1.48/1.57	v x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760
1.48/1.57	v -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770
1.48/1.57	v x7771 x7772 x7773 -x7774 x7775 -x7776 -x7777 x7778 x7779 x7780
1.48/1.57	v -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 x7789 x7790
1.48/1.57	v x7791 x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800
1.48/1.57	v -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810
1.48/1.57	v -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820
1.48/1.57	v -x7821 -x7822 -x7823 x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830
1.48/1.57	v -x7831 -x7832 -x7833 x7834 x7835 x7836 -x7837 x7838 x7839 -x7840
1.48/1.57	v x7841 x7842 -x7843 x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850
1.48/1.57	v -x7851 -x7852 x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860
1.48/1.57	v -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870
1.48/1.57	v -x7871 x7872 x7873 x7874 -x7875 -x7876 x7877 -x7878 -x7879 -x7880
1.48/1.57	v -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890
1.48/1.57	v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 x7897 -x7898 -x7899 -x7900
1.48/1.57	v x7901 x7902 x7903 x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910
1.48/1.57	v -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920
1.48/1.57	v -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930
1.48/1.57	v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940
1.48/1.57	v -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950
1.48/1.57	v -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960
1.48/1.57	v -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970
1.48/1.57	v -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 x7978 x7979 x7980
1.48/1.57	v x7981 -x7982 x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990
1.48/1.57	v -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000
1.48/1.57	v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010
1.48/1.57	v -x8011 x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020
1.48/1.57	v -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030
1.48/1.57	v -x8031 x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040
1.48/1.57	v -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050
1.48/1.57	v -x8051 x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060
1.48/1.57	v -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070
1.48/1.57	v -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080
1.48/1.57	v -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090
1.48/1.57	v -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100
1.48/1.57	v -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110
1.48/1.57	v -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120
1.48/1.57	v -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130
1.48/1.57	v -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140
1.48/1.57	v -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150
1.48/1.57	v -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160
1.48/1.57	v -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170
1.48/1.57	v -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180
1.48/1.57	v -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190
1.48/1.57	v -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200
1.48/1.57	v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210
1.48/1.57	v -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220
1.48/1.57	v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230
1.48/1.57	v -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240
1.48/1.57	v -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250
1.48/1.57	v -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260
1.48/1.57	v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270
1.48/1.57	v -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280
1.48/1.57	v -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290
1.48/1.57	v -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300
1.48/1.57	v -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310
1.48/1.57	v -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320
1.48/1.57	v -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330
1.48/1.57	v -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340
1.48/1.57	v -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350
1.48/1.57	v -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360
1.48/1.57	v -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370
1.48/1.57	v -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380
1.48/1.57	v -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390
1.48/1.57	v -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400
1.48/1.57	v -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410
1.48/1.57	v -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420
1.48/1.57	v -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430
1.48/1.57	v -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440
1.48/1.57	v -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450
1.48/1.57	v -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460
1.48/1.57	v -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470
1.48/1.57	v -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480
1.48/1.57	v -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490
1.48/1.57	v -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500
1.48/1.57	v x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510
1.48/1.57	v -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520
1.48/1.57	v -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530
1.48/1.57	v -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540
1.48/1.57	v -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550
1.48/1.57	v -x8551 -x8552 -x8553 x8554 x8555 x8556 -x8557 x8558 -x8559 -x8560
1.48/1.57	v -x8561 -x8562 -x8563 x8564 x8565 x8566 x8567 x8568 x8569 x8570
1.48/1.57	v -x8571 -x8572 x8573 -x8574 x8575 -x8576 -x8577 x8578 x8579 x8580
1.48/1.57	v x8581 x8582 -x8583 -x8584 -x8585 x8586 x8587 x8588 x8589 x8590
1.48/1.57	v -x8591 x8592 x8593 x8594 -x8595 -x8596 x8597 -x8598 x8599 -x8600
1.48/1.57	v -x8601 x8602 x8603 -x8604 -x8605 x8606 x8607 -x8608 x8609 -x8610
1.48/1.57	v x8611 x8612 x8613 x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620
1.48/1.57	v -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630
1.48/1.57	v -x8631 -x8632 -x8633 x8634 -x8635 -x8636 -x8637 x8638 x8639 x8640
1.48/1.57	v -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650
1.48/1.57	v -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660
1.48/1.57	v -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670
1.48/1.57	v -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 x8680
1.48/1.57	v x8681 x8682 x8683 -x8684 -x8685 x8686 -x8687 -x8688 -x8689 -x8690
1.48/1.57	v -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700
1.48/1.57	v -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710
1.48/1.57	v -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 x8719 -x8720
1.48/1.57	v -x8721 -x8722 x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730
1.48/1.57	v -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740
1.48/1.57	v -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750
1.48/1.57	v -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760
1.48/1.57	v -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770
1.48/1.57	v -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780
1.48/1.57	v -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790
1.48/1.57	v -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800
1.48/1.57	v -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810
1.48/1.57	v -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820
1.48/1.57	v -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830
1.48/1.57	v -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840
1.48/1.57	v -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850
1.48/1.57	v -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860
1.48/1.57	v -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870
1.48/1.57	v -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880
1.48/1.57	v -x8881 -x8882 -x8883 -x8884 x8885 -x8886 x8887 -x8888 -x8889 -x8890
1.48/1.57	v x8891 -x8892 x8893 -x8894 x8895 -x8896 -x8897 -x8898 x8899 -x8900
1.48/1.57	v -x8901 -x8902 x8903 -x8904 x8905 -x8906 x8907 x8908 -x8909 -x8910
1.48/1.57	v -x8911 -x8912 -x8913 -x8914 x8915 -x8916 -x8917 -x8918 x8919 x8920
1.48/1.57	v x8921 -x8922 x8923 x8924 x8925 -x8926 x8927 -x8928 x8929 -x8930
1.48/1.57	v x8931 -x8932 x8933 -x8934 x8935 -x8936 -x8937
1.48/1.57	c total CPU time = 1.565s
1.48/1.57	c total wall clock time = 1.569s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093437-1466087580/watcher-4093437-1466087580 -o /tmp/evaluation-result-4093437-1466087580/solver-4093437-1466087580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093437-1466087580.wbo 

pid=19777
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.08 2.01 4/177 19780
/proc/meminfo: memFree=31000668/32872528 swapFree=446836/479540
[pid=19780] ppid=19777 vsize=398780 CPUtime=0 cores=1,3,5,7
/proc/19780/stat : 19780 (toysat) R 19777 19780 15681 0 -1 4202496 1429 0 0 0 0 0 0 0 20 0 4 0 10808118 408350720 2300 33554432000 4194304 16246674 140737421382592 140737421382016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19780/statm: 100207 2310 441 2943 0 97101 0
[pid=19780/tid=19781] ppid=19777 vsize=415164 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19781/stat : 19781 (toysat) S 19777 19780 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10808118 425127936 2367 33554432000 4194304 16246674 140737421382592 140330668109040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19780/tid=19782] ppid=19777 vsize=420284 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19782/stat : 19782 (toysat) S 19777 19780 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10808118 430370816 2384 33554432000 4194304 16246674 140737421382592 140330657619184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19780/tid=19783] ppid=19777 vsize=424380 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19783/stat : 19783 (toysat) S 19777 19780 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10808118 434565120 2401 33554432000 4194304 16246674 140737421382592 140330540199088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.11 2.08 2.01 4/177 19780
/proc/meminfo: memFree=31000668/32872528 swapFree=446836/479540
[pid=19780] ppid=19777 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/19780/stat : 19780 (toysat) R 19777 19780 15681 0 -1 4202496 25426 0 0 0 6 2 0 0 20 0 4 0 10808118 1250496512 26237 33554432000 4194304 16246674 140737421382592 140737421381904 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19780/statm: 305297 26240 799 2943 0 302191 0
[pid=19780/tid=19781] ppid=19777 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19781/stat : 19781 (toysat) S 19777 19780 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10808118 1250496512 26242 33554432000 4194304 16246674 140737421382592 140330668109040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19780/tid=19782] ppid=19777 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19782/stat : 19782 (toysat) S 19777 19780 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10808118 1250496512 26244 33554432000 4194304 16246674 140737421382592 140330657619184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19780/tid=19783] ppid=19777 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19783/stat : 19783 (toysat) S 19777 19780 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10808118 1250496512 26247 33554432000 4194304 16246674 140737421382592 140330540199088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200546 s]
/proc/loadavg: 2.11 2.08 2.01 4/177 19780
/proc/meminfo: memFree=31000668/32872528 swapFree=446836/479540
[pid=19780] ppid=19777 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/19780/stat : 19780 (toysat) R 19777 19780 15681 0 -1 4202496 47717 0 0 0 14 5 0 0 20 0 4 0 10808118 1343819776 49039 33554432000 4194304 16246674 140737421382592 140737421381904 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19780/statm: 328081 49045 801 2943 0 324975 0
[pid=19780/tid=19781] ppid=19777 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19781/stat : 19781 (toysat) S 19777 19780 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10808118 1343819776 49049 33554432000 4194304 16246674 140737421382592 140330668109040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19780/tid=19782] ppid=19777 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19782/stat : 19782 (toysat) S 19777 19780 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10808118 1343819776 49053 33554432000 4194304 16246674 140737421382592 140330657619184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19780/tid=19783] ppid=19777 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19783/stat : 19783 (toysat) S 19777 19780 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10808118 1343819776 49057 33554432000 4194304 16246674 140737421382592 140330540199088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300499 s]
/proc/loadavg: 2.11 2.08 2.01 4/177 19780
/proc/meminfo: memFree=31000668/32872528 swapFree=446836/479540
[pid=19780] ppid=19777 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/19780/stat : 19780 (toysat) R 19777 19780 15681 0 -1 4202496 48126 0 0 0 24 5 0 0 20 0 4 0 10808118 1344868352 49448 33554432000 4194304 16246674 140737421382592 140737421381904 4222096 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19780/statm: 328337 49448 824 2943 0 325231 0
[pid=19780/tid=19781] ppid=19777 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19781/stat : 19781 (toysat) S 19777 19780 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10808118 1344868352 49448 33554432000 4194304 16246674 140737421382592 140330668109040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19780/tid=19782] ppid=19777 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19782/stat : 19782 (toysat) S 19777 19780 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10808118 1344868352 49448 33554432000 4194304 16246674 140737421382592 140330657619184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19780/tid=19783] ppid=19777 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19783/stat : 19783 (toysat) S 19777 19780 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10808118 1344868352 49448 33554432000 4194304 16246674 140737421382592 140330540199088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.11 2.08 2.01 4/177 19780
/proc/meminfo: memFree=31000668/32872528 swapFree=446836/479540
[pid=19780] ppid=19777 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/19780/stat : 19780 (toysat) R 19777 19780 15681 0 -1 4202496 61060 0 0 0 62 7 0 0 20 0 4 0 10808118 1344868352 62382 33554432000 4194304 16246674 140737421382592 140737421364480 6965916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19780/statm: 328337 62392 857 2943 0 325231 0
[pid=19780/tid=19781] ppid=19777 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19781/stat : 19781 (toysat) S 19777 19780 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10808118 1344868352 62397 33554432000 4194304 16246674 140737421382592 140330668109040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19780/tid=19782] ppid=19777 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19782/stat : 19782 (toysat) S 19777 19780 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10808118 1344868352 62402 33554432000 4194304 16246674 140737421382592 140330657619184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19780/tid=19783] ppid=19777 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19783/stat : 19783 (toysat) S 19777 19780 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10808118 1344868352 62407 33554432000 4194304 16246674 140737421382592 140330540199088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.18 2.09 2.02 3/181 19784
/proc/meminfo: memFree=30599164/32872528 swapFree=446836/479540
[pid=19780] ppid=19777 vsize=1330756 CPUtime=1.48 cores=1,3,5,7
/proc/19780/stat : 19780 (toysat) R 19777 19780 15681 0 -1 4202496 99740 0 0 0 136 12 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140737421364480 5829309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19780/statm: 332689 101062 935 2943 0 329583 0
[pid=19780/tid=19781] ppid=19777 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19781/stat : 19781 (toysat) S 19777 19780 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140330668109040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19780/tid=19782] ppid=19777 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19782/stat : 19782 (toysat) S 19777 19780 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140330657619184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19780/tid=19783] ppid=19777 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19783/stat : 19783 (toysat) S 19777 19780 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140330540199088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1330756

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19780 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.50042 s]
/proc/loadavg: 2.18 2.09 2.02 3/181 19784
/proc/meminfo: memFree=30599164/32872528 swapFree=446836/479540
[pid=19780] ppid=19777 vsize=1330756 CPUtime=1.48 cores=1,3,5,7
/proc/19780/stat : 19780 (toysat) R 19777 19780 15681 0 -1 4202496 99740 0 0 0 136 12 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140737421364480 5829309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19780/statm: 332689 101062 935 2943 0 329583 0
[pid=19780/tid=19781] ppid=19777 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19781/stat : 19781 (toysat) S 19777 19780 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140330668109040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19780/tid=19782] ppid=19777 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19782/stat : 19782 (toysat) S 19777 19780 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140330657619184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19780/tid=19783] ppid=19777 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/19780/task/19783/stat : 19783 (toysat) S 19777 19780 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10808118 1362694144 101062 33554432000 4194304 16246674 140737421382592 140330540199088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1330756

Child status: 0
Real time (s): 1.59733
CPU time (s): 1.59376
CPU user time (s): 1.44178
CPU system time (s): 0.151976
CPU usage (%): 99.7763
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44178
system time used= 0.151976
maximum resident set size= 404256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99743
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= 25
involuntary context switches= 7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.013997 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 16:33:00
IDJOB=4093437
IDBENCH=79037
IDSOLVER=2553
FILE ID=node104/4093437-1466087580
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093437-1466087580/watcher-4093437-1466087580 -o /tmp/evaluation-result-4093437-1466087580/solver-4093437-1466087580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093437-1466087580.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7
RANDOM SEED=625863642

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31000560 kB
Buffers:           38188 kB
Cached:           106504 kB
SwapCached:          516 kB
Active:           619240 kB
Inactive:          67792 kB
Active(anon):     544060 kB
Inactive(anon):     1168 kB
Active(file):      75180 kB
Inactive(file):    66624 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             34768 kB
Writeback:             0 kB
AnonPages:       1021596 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             568668 kB
SReclaimable:      12196 kB
SUnreclaim:       556472 kB
KernelStack:        1480 kB
PageTables:         7588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1717716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node104 at 2016-06-16 16:33:02