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

OK	1

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

pid=15355
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.01 2.00 2.00 3/181 15358
/proc/meminfo: memFree=30922072/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 2812 0 0 0 0 0 0 0 20 0 4 0 10823334 771158016 3174 33554432000 4194304 16246674 140737131014544 140737131013968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 188783 3183 441 2943 0 185677 0
[pid=15358/tid=15359] ppid=15355 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 788983808 3242 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 793178112 3259 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10823335 797372416 3275 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15358
/proc/meminfo: memFree=30922072/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 27992 0 0 0 6 3 0 0 20 0 4 0 10823334 1249447936 28293 33554432000 4194304 16246674 140737131014544 140737131013856 4220940 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 305041 28293 801 2943 0 301935 0
[pid=15358/tid=15359] ppid=15355 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1249447936 28293 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1249447936 28293 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1249447936 28293 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200514 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15358
/proc/meminfo: memFree=30922072/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 49828 0 0 0 13 6 0 0 20 0 4 0 10823334 1341722624 50640 33554432000 4194304 16246674 140737131014544 140737131013856 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 327569 50645 801 2943 0 324463 0
[pid=15358/tid=15359] ppid=15355 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1341722624 50649 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1341722624 50653 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1341722624 50657 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300466 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15358
/proc/meminfo: memFree=30922072/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 50771 0 0 0 23 6 0 0 20 0 4 0 10823334 1344868352 51583 33554432000 4194304 16246674 140737131014544 140737131013856 4220552 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 328337 51583 815 2943 0 325231 0
[pid=15358/tid=15359] ppid=15355 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1344868352 51583 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1344868352 51583 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1344868352 51583 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700386 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15358
/proc/meminfo: memFree=30922072/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 68608 0 0 0 60 9 0 0 20 0 4 0 10823334 1344868352 69420 33554432000 4194304 16246674 140737131014544 140737131012480 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 328337 69430 834 2943 0 325231 0
[pid=15358/tid=15359] ppid=15355 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1344868352 69437 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1344868352 69443 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1344868352 69449 33554432000 4194304 16246674 140737131014544 139781577100464 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) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 15362
/proc/meminfo: memFree=30562204/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1340996 CPUtime=1.49 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 146181 0 0 0 131 18 0 0 20 0 4 0 10823334 1373179904 146993 33554432000 4194304 16246674 140737131014544 140737130996416 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 335249 146995 861 2943 0 332143 0
[pid=15358/tid=15359] ppid=15355 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1373179904 146997 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1373179904 146999 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1373179904 147001 33554432000 4194304 16246674 140737131014544 139781577100464 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) 1340996

[startup+3.10039 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 15362
/proc/meminfo: memFree=30329952/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1345092 CPUtime=3.09 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 147490 0 0 0 290 19 0 0 20 0 4 0 10823334 1377374208 148302 33554432000 4194304 16246674 140737131014544 140737130996416 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 336273 148302 928 2943 0 333167 0
[pid=15358/tid=15359] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148302 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148302 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148302 33554432000 4194304 16246674 140737131014544 139781577100464 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) 1345092

[startup+6.30039 s]
/proc/loadavg: 2.09 2.02 2.01 3/185 15363
/proc/meminfo: memFree=30328800/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1345092 CPUtime=6.29 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 147493 0 0 0 610 19 0 0 20 0 4 0 10823334 1377374208 148305 33554432000 4194304 16246674 140737131014544 140737131013720 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 336273 148305 931 2943 0 333167 0
[pid=15358/tid=15359] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148305 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148305 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148305 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1345092

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

[startup+6.40048 s]
/proc/loadavg: 2.09 2.02 2.01 3/185 15363
/proc/meminfo: memFree=30328800/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1345092 CPUtime=6.39 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 147493 0 0 0 620 19 0 0 20 0 4 0 10823334 1377374208 148305 33554432000 4194304 16246674 140737131014544 140737130996416 5674629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 336273 148305 931 2943 0 333167 0
[pid=15358/tid=15359] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148305 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148305 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148305 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1345092

[startup+9.60038 s]
/proc/loadavg: 2.08 2.02 2.00 3/185 15363
/proc/meminfo: memFree=30329448/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1345092 CPUtime=9.59 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 147500 0 0 0 940 19 0 0 20 0 4 0 10823334 1377374208 148312 33554432000 4194304 16246674 140737131014544 140737130996416 5712752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 336273 148312 938 2943 0 333167 0
[pid=15358/tid=15359] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 1345092

[startup+10.4004 s]
/proc/loadavg: 2.08 2.02 2.00 3/185 15363
/proc/meminfo: memFree=30329460/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1345092 CPUtime=10.39 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 147500 0 0 0 1020 19 0 0 20 0 4 0 10823334 1377374208 148312 33554432000 4194304 16246674 140737131014544 140737130997536 5530961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 336273 148312 938 2943 0 333167 0
[pid=15358/tid=15359] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 1345092

[startup+10.8004 s]
/proc/loadavg: 2.08 2.02 2.00 3/185 15363
/proc/meminfo: memFree=30329460/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=1345092 CPUtime=10.79 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202496 147500 0 0 0 1060 19 0 0 20 0 4 0 10823334 1377374208 148312 33554432000 4194304 16246674 140737131014544 140737130997536 12481117 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 336273 148312 938 2943 0 333167 0
[pid=15358/tid=15359] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15359/stat : 15359 (toysat) S 15355 15358 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781598063856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15358/tid=15360] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15360/stat : 15360 (toysat) S 15355 15358 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781587574000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15358/tid=15361] ppid=15355 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/15358/task/15361/stat : 15361 (toysat) S 15355 15358 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10823335 1377374208 148312 33554432000 4194304 16246674 140737131014544 139781577100464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (KiB) 1345092

[startup+11.0004 s]
/proc/loadavg: 2.08 2.02 2.00 3/182 15363
/proc/meminfo: memFree=30435496/32872528 swapFree=7268/7268
[pid=15358] ppid=15355 vsize=0 CPUtime=11 cores=0,2,4,6
/proc/15358/stat : 15358 (toysat) R 15355 15358 9721 0 -1 4202500 147503 0 0 0 1079 21 0 0 20 0 1 0 10823334 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15358/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 11.0271
CPU time (s): 11.0243
CPU user time (s): 10.7944
CPU system time (s): 0.229965
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1345092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7944
system time used= 0.229965
maximum resident set size= 593256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147503
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= 20
involuntary context switches= 12

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036994 second user time and 0.043993 second system time

The end

Begin job on node133 at 2016-06-16 16:36:14
IDJOB=4093584
IDBENCH=79104
IDSOLVER=2553
FILE ID=node133/4093584-1466087774
RUNJOBID= node133-1466075558-12321
PBS_JOBID= 19904006
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl--soft-0-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-4093584-1466087774/watcher-4093584-1466087774 -o /tmp/evaluation-result-4093584-1466087774/solver-4093584-1466087774 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093584-1466087774.wbo

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

MD5SUM BENCH= e9bc5c880cc124a3ebcf869858f0227b
RANDOM SEED=1552746129

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30922980 kB
Buffers:           37844 kB
Cached:           103608 kB
SwapCached:         1876 kB
Active:          1183108 kB
Inactive:          60624 kB
Active(anon):    1103168 kB
Inactive(anon):     1228 kB
Active(file):      79940 kB
Inactive(file):    59396 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098888 kB
Dirty:             17216 kB
Writeback:             0 kB
AnonPages:       1110612 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             567792 kB
SReclaimable:      11420 kB
SUnreclaim:       556372 kB
KernelStack:        1536 kB
PageTables:         6352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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= 71716 MiB
End job on node133 at 2016-06-16 16:36:25