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

OK	3

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-4110014-1466344607/watcher-4110014-1466344607 -o /tmp/evaluation-result-4110014-1466344607/solver-4110014-1466344607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110014-1466344607.wbo 

pid=30290
running on 4 cores: 0,2,4,6

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.08 2.11 2.00 3/178 30293
/proc/meminfo: memFree=29562340/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=665020 CPUtime=0 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 2468 0 0 0 0 0 0 0 20 0 4 0 36509624 680980480 3340 33554432000 4194304 16246674 140734073079184 140734073078608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 166767 3348 441 2943 0 163661 0
[pid=30293/tid=30294] ppid=30290 vsize=681404 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 697757696 3407 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 703000576 3424 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 707194880 3441 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.08 2.11 2.00 3/178 30293
/proc/meminfo: memFree=29562340/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 25842 0 0 0 5 3 0 0 20 0 4 0 36509624 1333334016 26654 33554432000 4194304 16246674 140734073079184 140734073078496 7369730 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 325521 26669 801 2943 0 322415 0
[pid=30293/tid=30294] ppid=30290 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1333334016 26678 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1333334016 26689 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1333334016 26701 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200597 s]
/proc/loadavg: 2.08 2.11 2.00 3/178 30293
/proc/meminfo: memFree=29562340/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 48024 0 0 0 12 7 0 0 20 0 4 0 36509624 1341722624 49346 33554432000 4194304 16246674 140734073079184 140734073078496 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 327569 49352 801 2943 0 324463 0
[pid=30293/tid=30294] ppid=30290 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1341722624 49356 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1341722624 49359 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1341722624 49363 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300507 s]
/proc/loadavg: 2.08 2.11 2.00 3/178 30293
/proc/meminfo: memFree=29562340/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 49213 0 0 0 21 8 0 0 20 0 4 0 36509624 1345916928 50535 33554432000 4194304 16246674 140734073079184 140734073078496 12080552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 328593 50535 825 2943 0 325487 0
[pid=30293/tid=30294] ppid=30290 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1345916928 50535 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1345916928 50535 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1345916928 50535 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70041 s]
/proc/loadavg: 2.08 2.11 2.00 3/178 30293
/proc/meminfo: memFree=29562340/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1317444 CPUtime=0.69 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 61076 0 0 0 59 10 0 0 20 0 4 0 36509624 1349062656 62398 33554432000 4194304 16246674 140734073079184 140734073061056 13780501 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 329361 62398 858 2943 0 326255 0
[pid=30293/tid=30294] ppid=30290 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1349062656 62398 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1349062656 62398 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1349062656 62398 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1317444

[startup+1.50037 s]
/proc/loadavg: 2.08 2.11 2.00 3/182 30297
/proc/meminfo: memFree=29093760/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 118601 0 0 0 131 18 0 0 20 0 4 0 36509624 1358499840 119923 33554432000 4194304 16246674 140734073079184 140734073061056 4220982 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 331665 119923 913 2943 0 328559 0
[pid=30293/tid=30294] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119923 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119923 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119923 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10042 s]
/proc/loadavg: 2.07 2.11 2.00 3/183 30298
/proc/meminfo: memFree=29083716/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1326660 CPUtime=3.09 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 118623 0 0 0 291 18 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140734073076992 5823131 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 331665 119945 935 2943 0 328559 0
[pid=30293/tid=30294] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

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

[startup+3.20053 s]
/proc/loadavg: 2.07 2.11 2.00 3/183 30298
/proc/meminfo: memFree=29083716/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1326660 CPUtime=3.19 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 118623 0 0 0 301 18 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140734073076992 5674844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 331665 119945 935 2943 0 328559 0
[pid=30293/tid=30294] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 119945 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1326660

[startup+4.8004 s]
/proc/loadavg: 2.07 2.11 2.00 3/183 30298
/proc/meminfo: memFree=28934720/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1326660 CPUtime=4.79 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 199672 0 0 0 450 29 0 0 20 0 4 0 36509624 1358499840 200995 33554432000 4194304 16246674 140734073079184 140734073061056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 331665 201000 935 2943 0 328559 0
[pid=30293/tid=30294] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 201004 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 201005 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 201009 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1326660

[startup+5.2004 s]
/proc/loadavg: 2.07 2.11 2.00 3/183 30298
/proc/meminfo: memFree=28934720/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=1326660 CPUtime=5.19 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202496 245517 0 0 0 484 35 0 0 20 0 4 0 36509624 1358499840 246839 33554432000 4194304 16246674 140734073079184 140734073061056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 331665 246845 935 2943 0 328559 0
[pid=30293/tid=30294] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30294/stat : 30294 (toysat) S 30290 30293 29107 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 246848 33554432000 4194304 16246674 140734073079184 140626922286320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30293/tid=30295] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30295/stat : 30295 (toysat) S 30290 30293 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 246852 33554432000 4194304 16246674 140734073079184 140626911796464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30293/tid=30296] ppid=30290 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/30293/task/30296/stat : 30296 (toysat) S 30290 30293 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36509624 1358499840 246856 33554432000 4194304 16246674 140734073079184 140626825833648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 1326660

[startup+5.60732 s]
/proc/loadavg: 2.07 2.11 2.00 3/183 30298
/proc/meminfo: memFree=28475548/32872528 swapFree=877056/942464
[pid=30293] ppid=30290 vsize=0 CPUtime=5.59 cores=0,2,4,6
/proc/30293/stat : 30293 (toysat) R 30290 30293 29107 0 -1 4202500 270704 0 0 0 517 42 0 0 20 0 1 0 36509624 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30293/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 5.62418
CPU time (s): 5.62115
CPU user time (s): 5.17621
CPU system time (s): 0.444932
CPU usage (%): 99.946
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.17621
system time used= 0.444932
maximum resident set size= 1088100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270704
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= 21
involuntary context switches= 7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047992 second user time and 0.046992 second system time

The end

Begin job on node113 at 2016-06-19 15:56:47
IDJOB=4110014
IDBENCH=79002
IDSOLVER=2553
FILE ID=node113/4110014-1466344607
RUNJOBID= node113-1466341823-29123
PBS_JOBID= 19922039
Free space on /tmp= 71688 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-33-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-4110014-1466344607/watcher-4110014-1466344607 -o /tmp/evaluation-result-4110014-1466344607/solver-4110014-1466344607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110014-1466344607.wbo

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

MD5SUM BENCH= 61ba6fab23f29dcc6973b97e5631370e
RANDOM SEED=1760766866

node113.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		: 2666.799
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	: 5333.59
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		: 2666.799
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		: 2666.799
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.56
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		: 2666.799
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		: 2666.799
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		: 2666.799
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		: 2666.799
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.54
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		: 2666.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29562984 kB
Buffers:          152232 kB
Cached:           370028 kB
SwapCached:         1964 kB
Active:          1259088 kB
Inactive:         364616 kB
Active(anon):    1100952 kB
Inactive(anon):     2224 kB
Active(file):     158136 kB
Inactive(file):   362392 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:             17108 kB
Writeback:             0 kB
AnonPages:       2042020 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             608232 kB
SReclaimable:      52236 kB
SUnreclaim:       555996 kB
KernelStack:        1512 kB
PageTables:         8444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2185664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1136640 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= 71672 MiB
End job on node113 at 2016-06-19 15:56:53