0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532768-1752597383.opb'
0.00/0.01	c 	read 0.08MB  (1.16ms)
0.00/0.01	c	 [cnf: #variables 2340 #clauses 391 #duplicates 0 #arr 9120]
0.00/0.01	c output proof to 'PROOFDIR/proof-4532768-1752597383'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 730] (2.37ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 found row 6x2, generating row predicate
0.00/0.02	c 	 (6.97ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 12085 #edges 36948]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 2.00*10^1070 #generators 1865] (3.33ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	ran it=0, +gens=6 
0.00/0.07	c 	con best_support=4, best_gens=1855, +gens=191
0.00/0.07	c 	(40.45ms)
0.00/0.07	c 
0.00/0.07	c finalize break order and special generators
0.00/0.07	c 
0.00/0.07	c add generic predicates (break_depth=20)
0.00/0.07	c 	added predicates for 2062 generators (0.27ms)
0.00/0.07	c 
0.00/0.07	c generation finished
0.00/0.07	c 	[sbp: #constraints 2609 #add_vars 154]
0.00/0.07	c 
0.00/0.07	c write result to 'HOME/instance-4532768-1752597383.opb.pre'
0.00/0.07	c 	wrote 0.15MB (0.47ms)
0.00/0.07	c ------------------------------------------------------------------
0.00/0.07	c                  40.45ms 65.64% optimize_gens
0.00/0.07	c                   6.97ms 11.32% detect_special
0.00/0.07	c                   6.44ms 10.45% other
0.00/0.07	c                   3.33ms  5.40% detect_generic
0.00/0.07	c                   2.37ms  3.84% approx_orbits
0.00/0.07	c                   1.16ms  1.88% parse
0.00/0.07	c                   0.47ms  0.76% output
0.00/0.07	c                   0.27ms  0.44% break_generic
0.00/0.07	c                   0.16ms  0.27% finalize_order
0.00/0.07	c         ───────────────────────────────────────────────
0.00/0.07	c                  61.63ms   100% total
0.00/0.07	c ------------------------------------------------------------------
0.00/0.09	c RoundingSat 2
0.00/0.09	c branch pb25
0.00/0.09	c commit 0f876b3
0.06/0.11	c #variables 2494 #constraints 2999
0.06/0.11	c objective is ce32 
0.06/0.11	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.11	c initial counting CF 32, 64, 128, Arb: 371 , 0 , 0 , 0
0.06/0.11	c bounds - >= 0 @ 0.017668
0.17/0.22	c bounds 2152 >= 0 @ 0.107999
0.17/0.22	c bounds 2152 >= 38 @ 0.108883
0.17/0.22	c bounds 2152 >= 39 @ 0.109953
0.17/0.22	c bounds 2152 >= 40 @ 0.11089
0.17/0.22	c bounds 2152 >= 41 @ 0.111813
0.17/0.22	c bounds 2152 >= 42 @ 0.112751
0.17/0.23	c bounds 2152 >= 43 @ 0.113687
0.17/0.23	c bounds 2152 >= 46 @ 0.114632
0.17/0.23	c bounds 2152 >= 49 @ 0.115552
0.17/0.23	c bounds 2152 >= 50 @ 0.116476
0.17/0.23	c bounds 2152 >= 51 @ 0.117402
0.17/0.23	c bounds 2152 >= 52 @ 0.118321
0.17/0.23	c bounds 2152 >= 53 @ 0.11926
0.17/0.23	c bounds 2152 >= 54 @ 0.120189
0.17/0.23	c bounds 2152 >= 55 @ 0.121161
0.17/0.23	c bounds 2152 >= 58 @ 0.121375
0.17/0.23	c bounds 2152 >= 59 @ 0.121375
0.17/0.24	c bounds 2152 >= 62 @ 0.122018
0.17/0.24	c bounds 2152 >= 63 @ 0.122907
0.17/0.24	c bounds 2152 >= 65 @ 0.123818
0.17/0.24	c bounds 2152 >= 68 @ 0.124736
0.17/0.24	c bounds 2152 >= 69 @ 0.125634
0.17/0.24	c bounds 2152 >= 70 @ 0.126504
0.17/0.24	c bounds 2152 >= 71 @ 0.127427
0.17/0.24	c bounds 2152 >= 72 @ 0.128357
0.17/0.24	c bounds 2152 >= 73 @ 0.129297
0.17/0.24	c bounds 2152 >= 74 @ 0.130209
0.17/0.24	c bounds 2152 >= 75 @ 0.131121
0.17/0.25	c bounds 2152 >= 78 @ 0.132042
0.17/0.25	c bounds 2152 >= 79 @ 0.132956
0.17/0.25	c bounds 2152 >= 80 @ 0.133877
0.17/0.25	c bounds 2152 >= 82 @ 0.134787
0.17/0.25	c bounds 2152 >= 85 @ 0.135689
0.17/0.25	c bounds 2152 >= 86 @ 0.136595
0.17/0.25	c bounds 2152 >= 89 @ 0.137499
0.17/0.25	c bounds 2152 >= 90 @ 0.138391
0.17/0.25	c bounds 2152 >= 91 @ 0.139295
0.17/0.25	c bounds 2152 >= 92 @ 0.139433
0.17/0.25	c bounds 2152 >= 93 @ 0.140151
0.17/0.26	c bounds 2152 >= 95 @ 0.141061
0.17/0.26	c bounds 2152 >= 96 @ 0.141967
0.17/0.26	c bounds 2152 >= 97 @ 0.142957
0.17/0.26	c bounds 2152 >= 100 @ 0.143868
0.17/0.26	c bounds 2152 >= 101 @ 0.144786
0.17/0.26	c bounds 2152 >= 102 @ 0.145708
0.17/0.26	c bounds 2152 >= 103 @ 0.146631
0.17/0.26	c bounds 2152 >= 104 @ 0.14756
0.17/0.26	c bounds 2152 >= 105 @ 0.148401
0.17/0.26	c bounds 2152 >= 106 @ 0.148401
0.17/0.27	c bounds 2152 >= 107 @ 0.149414
0.17/0.27	c bounds 2152 >= 109 @ 0.150329
0.17/0.27	c bounds 2152 >= 112 @ 0.151237
0.17/0.27	c bounds 2152 >= 114 @ 0.151389
0.17/0.27	c bounds 2152 >= 115 @ 0.152095
0.17/0.27	c bounds 2152 >= 117 @ 0.15301
0.17/0.27	c bounds 2152 >= 118 @ 0.153924
0.17/0.27	c bounds 2152 >= 120 @ 0.154879
0.17/0.27	c bounds 2152 >= 123 @ 0.1558
0.17/0.27	c bounds 2152 >= 124 @ 0.156729
0.17/0.27	c bounds 2152 >= 125 @ 0.157647
0.17/0.28	c bounds 2152 >= 127 @ 0.158564
0.17/0.28	c bounds 2152 >= 129 @ 0.159476
0.17/0.28	c bounds 2152 >= 131 @ 0.160402
0.17/0.28	c bounds 2152 >= 132 @ 0.16137
0.17/0.28	c bounds 2152 >= 133 @ 0.162307
0.17/0.28	c bounds 2152 >= 134 @ 0.162307
0.17/0.28	c bounds 2152 >= 136 @ 0.16321
0.17/0.28	c bounds 2152 >= 137 @ 0.164159
0.17/0.28	c bounds 2152 >= 139 @ 0.165085
0.17/0.28	c bounds 2152 >= 141 @ 0.165317
0.17/0.28	c bounds 2152 >= 142 @ 0.165999
0.17/0.29	c bounds 2152 >= 145 @ 0.166906
0.17/0.29	c bounds 2152 >= 147 @ 0.167835
0.17/0.29	c bounds 2152 >= 149 @ 0.16807
0.17/0.29	c bounds 2152 >= 152 @ 0.168767
0.17/0.29	c bounds 2152 >= 153 @ 0.169693
0.17/0.29	c bounds 2152 >= 154 @ 0.170637
0.17/0.29	c bounds 2152 >= 155 @ 0.171595
0.17/0.29	c bounds 2152 >= 156 @ 0.172521
0.17/0.29	c bounds 2152 >= 158 @ 0.173455
0.17/0.29	c bounds 2152 >= 159 @ 0.174403
0.17/0.30	c bounds 2152 >= 162 @ 0.175285
0.17/0.30	c bounds 2152 >= 164 @ 0.176214
0.17/0.30	c bounds 2152 >= 166 @ 0.177137
0.17/0.30	c bounds 2152 >= 169 @ 0.177259
0.17/0.30	c bounds 2152 >= 170 @ 0.177982
0.17/0.30	c bounds 2152 >= 171 @ 0.178892
0.17/0.30	c bounds 2152 >= 172 @ 0.179816
0.17/0.30	c bounds 2152 >= 173 @ 0.180717
0.17/0.30	c bounds 2152 >= 175 @ 0.181665
0.26/0.31	c bounds 2152 >= 176 @ 0.182558
0.26/0.31	c bounds 2152 >= 177 @ 0.183479
0.26/0.31	c bounds 2152 >= 178 @ 0.184406
0.26/0.31	c bounds 2152 >= 179 @ 0.185313
0.26/0.31	c bounds 2152 >= 180 @ 0.186262
0.26/0.32	c bounds 2152 >= 182 @ 0.187191
0.26/0.32	c bounds 2152 >= 183 @ 0.188107
0.26/0.32	c bounds 2152 >= 184 @ 0.189019
0.26/0.32	c bounds 2152 >= 185 @ 0.189932
0.26/0.32	c bounds 2152 >= 186 @ 0.190831
0.26/0.32	c bounds 2152 >= 187 @ 0.191735
0.26/0.32	c bounds 2152 >= 188 @ 0.19262
0.26/0.32	c bounds 2152 >= 189 @ 0.193514
0.26/0.32	c bounds 2152 >= 190 @ 0.193649
0.26/0.32	c bounds 2152 >= 191 @ 0.19431
0.26/0.32	c bounds 2152 >= 193 @ 0.195234
0.26/0.33	c bounds 2152 >= 194 @ 0.195483
0.26/0.33	c bounds 2152 >= 195 @ 0.196114
0.26/0.33	c bounds 2152 >= 196 @ 0.196975
0.26/0.33	c bounds 2152 >= 197 @ 0.197891
0.26/0.33	c bounds 2152 >= 198 @ 0.198774
0.26/0.33	c bounds 2152 >= 199 @ 0.199674
0.26/0.33	c bounds 2152 >= 200 @ 0.200559
0.26/0.33	c bounds 2152 >= 201 @ 0.201442
0.26/0.33	c bounds 2152 >= 202 @ 0.202325
0.26/0.33	c bounds 2152 >= 203 @ 0.203214
0.26/0.33	c bounds 2152 >= 204 @ 0.204101
0.26/0.34	c bounds 2152 >= 205 @ 0.204984
0.26/0.34	c bounds 2152 >= 206 @ 0.205867
0.26/0.34	c bounds 2152 >= 207 @ 0.206795
0.26/0.34	c bounds 2152 >= 208 @ 0.20767
0.26/0.34	c bounds 2152 >= 209 @ 0.208546
0.26/0.34	c bounds 2152 >= 210 @ 0.20942
0.26/0.34	c bounds 2152 >= 211 @ 0.209589
0.26/0.34	c bounds 2152 >= 212 @ 0.210216
0.26/0.34	c bounds 2152 >= 213 @ 0.211062
0.26/0.34	c bounds 2152 >= 214 @ 0.211922
0.26/0.34	c bounds 2152 >= 215 @ 0.212784
0.26/0.35	c bounds 2152 >= 216 @ 0.213555
0.26/0.35	c bounds 2152 >= 217 @ 0.213555
0.26/0.35	c bounds 2152 >= 218 @ 0.214399
0.26/0.35	c bounds 2152 >= 219 @ 0.215254
0.26/0.35	c bounds 2152 >= 220 @ 0.216127
0.26/0.35	c bounds 2152 >= 221 @ 0.21699
0.26/0.35	c bounds 2152 >= 222 @ 0.217852
0.26/0.35	c bounds 2152 >= 223 @ 0.218714
0.26/0.35	c bounds 2152 >= 224 @ 0.219564
0.26/0.35	c bounds 2152 >= 225 @ 0.220438
0.26/0.35	c bounds 2152 >= 226 @ 0.221301
0.26/0.35	c bounds 2152 >= 227 @ 0.222159
0.26/0.36	c bounds 2152 >= 228 @ 0.223015
0.26/0.36	c bounds 2152 >= 229 @ 0.223872
0.26/0.36	c bounds 2152 >= 230 @ 0.224723
0.26/0.36	c bounds 2152 >= 231 @ 0.225513
0.26/0.36	c bounds 2152 >= 232 @ 0.225513
0.26/0.36	c bounds 2152 >= 233 @ 0.226317
0.26/0.36	c bounds 2152 >= 234 @ 0.227149
0.26/0.36	c bounds 2152 >= 235 @ 0.228017
0.26/0.36	c bounds 2152 >= 236 @ 0.228861
0.26/0.36	c bounds 2152 >= 237 @ 0.229694
0.26/0.36	c bounds 2152 >= 238 @ 0.23058
0.26/0.36	c bounds 2152 >= 239 @ 0.231418
0.26/0.37	c bounds 2152 >= 240 @ 0.23227
0.26/0.37	c bounds 2152 >= 241 @ 0.233108
0.26/0.37	c bounds 2152 >= 242 @ 0.233952
0.26/0.37	c bounds 2152 >= 243 @ 0.234796
0.26/0.37	c bounds 2152 >= 244 @ 0.235639
0.26/0.37	c bounds 2152 >= 245 @ 0.236471
0.26/0.37	c bounds 2152 >= 246 @ 0.236471
0.26/0.37	c bounds 2152 >= 247 @ 0.237142
0.26/0.37	c bounds 2152 >= 248 @ 0.237966
0.26/0.37	c bounds 2152 >= 249 @ 0.238864
0.26/0.37	c bounds 2152 >= 250 @ 0.239711
0.26/0.38	c bounds 2152 >= 251 @ 0.240526
0.26/0.38	c bounds 2152 >= 252 @ 0.241354
0.26/0.38	c bounds 2152 >= 253 @ 0.242181
0.26/0.38	c bounds 2152 >= 254 @ 0.242995
0.26/0.38	c bounds 2152 >= 255 @ 0.243816
0.26/0.38	c bounds 2152 >= 256 @ 0.244642
0.26/0.38	c bounds 2152 >= 257 @ 0.245444
0.26/0.38	c bounds 2152 >= 258 @ 0.245444
0.26/0.38	c bounds 2152 >= 259 @ 0.246084
0.26/0.38	c bounds 2152 >= 260 @ 0.246896
0.26/0.38	c bounds 2152 >= 261 @ 0.247715
0.26/0.38	c bounds 2152 >= 262 @ 0.248505
0.26/0.38	c bounds 2152 >= 263 @ 0.249305
0.26/0.39	c bounds 2152 >= 264 @ 0.249428
0.26/0.39	c bounds 2152 >= 265 @ 0.249995
0.26/0.39	c bounds 2152 >= 266 @ 0.250774
0.26/0.39	c bounds 2152 >= 267 @ 0.251579
0.26/0.39	c bounds 2152 >= 268 @ 0.252359
0.26/0.39	c bounds 2152 >= 269 @ 0.253204
0.26/0.39	c bounds 2152 >= 270 @ 0.253996
0.26/0.39	c bounds 2152 >= 271 @ 0.254797
0.26/0.39	c bounds 2152 >= 272 @ 0.2556
0.26/0.39	c bounds 2152 >= 273 @ 0.256399
0.26/0.39	c bounds 2152 >= 274 @ 0.256399
0.26/0.39	c bounds 2152 >= 275 @ 0.256989
0.26/0.40	c bounds 2152 >= 276 @ 0.257787
0.26/0.40	c bounds 2152 >= 277 @ 0.258586
0.26/0.40	c bounds 2152 >= 278 @ 0.259371
0.26/0.40	c bounds 2152 >= 279 @ 0.259371
0.26/0.40	c bounds 2152 >= 280 @ 0.259962
0.26/0.40	c bounds 2152 >= 281 @ 0.260735
0.26/0.40	c bounds 2152 >= 282 @ 0.261582
0.26/0.40	c bounds 2152 >= 283 @ 0.262352
0.26/0.40	c bounds 2152 >= 284 @ 0.263123
0.26/0.40	c bounds 2152 >= 285 @ 0.2639
0.35/0.41	c bounds 2152 >= 286 @ 0.264679
0.35/0.41	c bounds 2152 >= 287 @ 0.265442
0.35/0.41	c bounds 2152 >= 288 @ 0.266219
0.35/0.41	c bounds 2152 >= 289 @ 0.266998
0.35/0.41	c bounds 2152 >= 290 @ 0.267767
0.35/0.41	c bounds 2152 >= 291 @ 0.268571
0.35/0.42	c bounds 2152 >= 292 @ 0.269341
0.35/0.42	c bounds 2152 >= 293 @ 0.270109
0.35/0.42	c bounds 2152 >= 294 @ 0.270871
0.35/0.42	c bounds 2152 >= 295 @ 0.271645
0.35/0.42	c bounds 2152 >= 296 @ 0.272444
0.35/0.42	c bounds 2152 >= 297 @ 0.273208
0.35/0.42	c bounds 2152 >= 298 @ 0.27398
0.35/0.42	c bounds 2152 >= 299 @ 0.274738
0.35/0.42	c bounds 2152 >= 300 @ 0.275504
0.35/0.42	c bounds 2152 >= 301 @ 0.276262
0.35/0.42	c bounds 2152 >= 302 @ 0.277022
0.35/0.42	c bounds 2152 >= 303 @ 0.277781
0.35/0.42	c bounds 2152 >= 304 @ 0.278522
0.35/0.43	c bounds 2152 >= 305 @ 0.279277
0.35/0.43	c bounds 2152 >= 306 @ 0.280441
0.35/0.43	c bounds 2152 >= 307 @ 0.281184
0.35/0.43	c bounds 2152 >= 308 @ 0.281925
0.35/0.43	c bounds 2152 >= 309 @ 0.282684
0.35/0.43	c bounds 2152 >= 310 @ 0.283433
0.35/0.43	c bounds 2152 >= 311 @ 0.284169
0.35/0.43	c bounds 2152 >= 312 @ 0.284916
0.35/0.43	c bounds 2152 >= 313 @ 0.285647
0.35/0.43	c bounds 2152 >= 314 @ 0.28638
0.35/0.43	c bounds 2152 >= 315 @ 0.287109
0.35/0.43	c bounds 2152 >= 316 @ 0.287847
0.35/0.44	c bounds 2152 >= 317 @ 0.288574
0.35/0.44	c bounds 2152 >= 318 @ 0.289312
0.35/0.44	c bounds 2152 >= 319 @ 0.290053
0.35/0.44	c bounds 2152 >= 320 @ 0.290787
0.35/0.44	c bounds 2152 >= 321 @ 0.291506
0.35/0.44	c bounds 2152 >= 322 @ 0.291614
0.35/0.44	c bounds 2152 >= 323 @ 0.292054
0.35/0.44	c bounds 2152 >= 324 @ 0.292789
0.35/0.44	c bounds 2152 >= 325 @ 0.293488
0.35/0.44	c bounds 2152 >= 326 @ 0.294195
0.35/0.44	c bounds 2152 >= 327 @ 0.294919
0.35/0.44	c bounds 2152 >= 328 @ 0.295632
0.35/0.44	c bounds 2152 >= 329 @ 0.296355
0.35/0.44	c bounds 2152 >= 330 @ 0.297076
0.35/0.45	c bounds 2152 >= 331 @ 0.297796
0.35/0.45	c bounds 2152 >= 332 @ 0.298511
0.35/0.45	c bounds 2152 >= 333 @ 0.298598
0.35/0.45	c bounds 2152 >= 334 @ 0.299016
0.35/0.45	c bounds 2152 >= 335 @ 0.299662
0.35/0.45	c bounds 2152 >= 336 @ 0.300367
0.35/0.45	c bounds 2152 >= 337 @ 0.301076
0.35/0.45	c bounds 2152 >= 338 @ 0.301782
0.35/0.45	c bounds 2152 >= 339 @ 0.30249
0.35/0.45	c bounds 2152 >= 340 @ 0.302583
0.35/0.45	c bounds 2152 >= 341 @ 0.302983
0.35/0.45	c bounds 2152 >= 342 @ 0.303634
0.35/0.45	c bounds 2152 >= 343 @ 0.304342
0.35/0.45	c bounds 2152 >= 344 @ 0.305056
0.35/0.46	c bounds 2152 >= 345 @ 0.305774
0.35/0.46	c bounds 2152 >= 346 @ 0.306479
0.35/0.46	c bounds 2152 >= 347 @ 0.307182
0.35/0.46	c bounds 2152 >= 348 @ 0.307895
0.35/0.46	c bounds 2152 >= 349 @ 0.308602
0.35/0.46	c bounds 2152 >= 350 @ 0.309304
0.35/0.46	c bounds 2152 >= 351 @ 0.310007
0.35/0.46	c bounds 2152 >= 352 @ 0.310716
0.35/0.46	c bounds 2152 >= 353 @ 0.311405
0.35/0.46	c bounds 2152 >= 354 @ 0.312108
0.35/0.46	c bounds 2152 >= 355 @ 0.312817
0.35/0.46	c bounds 2152 >= 356 @ 0.313508
0.35/0.46	c bounds 2152 >= 357 @ 0.314203
0.53/0.64	c bounds 2152 >= 358 @ 0.470784
0.53/0.64	c bounds 2152 >= 359 @ 0.471515
0.53/0.64	c bounds 2152 >= 360 @ 0.472255
0.53/0.64	c bounds 2152 >= 361 @ 0.472494
0.53/0.64	c bounds 2152 >= 362 @ 0.47281
0.53/0.64	c bounds 2152 >= 363 @ 0.47353
0.53/0.64	c bounds 2152 >= 364 @ 0.474262
0.53/0.64	c bounds 2152 >= 365 @ 0.474979
0.53/0.64	c bounds 2152 >= 366 @ 0.475697
0.53/0.64	c bounds 2152 >= 367 @ 0.476421
0.53/0.64	c bounds 2152 >= 368 @ 0.477139
0.53/0.64	c bounds 2152 >= 369 @ 0.477846
0.53/0.65	c bounds 2152 >= 370 @ 0.478555
0.53/0.65	c bounds 2152 >= 371 @ 0.47926
0.53/0.65	c bounds 2152 >= 372 @ 0.479977
0.53/0.65	c bounds 2152 >= 373 @ 0.480687
0.53/0.65	c bounds 2152 >= 374 @ 0.481388
0.53/0.65	c bounds 2152 >= 375 @ 0.482083
0.53/0.65	c bounds 2152 >= 376 @ 0.482771
0.53/0.65	c bounds 2152 >= 377 @ 0.482944
0.53/0.65	c bounds 2152 >= 378 @ 0.483233
0.53/0.65	c bounds 2152 >= 379 @ 0.483867
0.53/0.65	c bounds 2152 >= 380 @ 0.483941
0.53/0.65	c bounds 2152 >= 381 @ 0.484322
0.53/0.65	c bounds 2152 >= 382 @ 0.485219
0.53/0.65	c bounds 2152 >= 383 @ 0.485729
0.53/0.66	c bounds 2152 >= 384 @ 0.486245
0.53/0.66	c bounds 2152 >= 385 @ 0.486771
0.53/0.66	c bounds 2152 >= 386 @ 0.487295
0.53/0.66	c bounds 2152 >= 387 @ 0.487825
0.53/0.66	c bounds 2152 >= 388 @ 0.488342
0.53/0.66	c bounds 2151 >= 388 @ 0.489161
0.53/0.66	c bounds 2151 >= 389 @ 0.489634
0.53/0.66	c bounds 2151 >= 390 @ 0.490134
0.53/0.66	c bounds 2151 >= 391 @ 0.49064
0.53/0.66	c bounds 2151 >= 392 @ 0.491148
0.53/0.66	c bounds 2151 >= 393 @ 0.491655
0.53/0.66	c bounds 2151 >= 394 @ 0.492159
0.53/0.66	c bounds 2151 >= 395 @ 0.49266
0.53/0.66	c bounds 2151 >= 396 @ 0.493162
0.53/0.66	c bounds 2151 >= 397 @ 0.49366
0.53/0.66	c bounds 2151 >= 398 @ 0.49416
0.53/0.66	c bounds 2151 >= 399 @ 0.494656
0.53/0.67	c bounds 2151 >= 400 @ 0.495153
0.53/0.67	c bounds 2151 >= 401 @ 0.495649
0.53/0.67	c bounds 2151 >= 402 @ 0.496151
0.53/0.67	c bounds 2151 >= 403 @ 0.496657
0.53/0.67	c bounds 2151 >= 404 @ 0.497154
0.53/0.67	c bounds 2151 >= 405 @ 0.497647
0.53/0.67	c bounds 2151 >= 406 @ 0.498141
0.53/0.67	c bounds 2151 >= 407 @ 0.498632
0.53/0.67	c bounds 2151 >= 408 @ 0.499115
0.53/0.67	c bounds 2151 >= 409 @ 0.49961
0.53/0.67	c bounds 2151 >= 410 @ 0.500101
0.53/0.67	c bounds 2151 >= 411 @ 0.500592
0.53/0.67	c bounds 2151 >= 412 @ 0.501084
0.53/0.67	c bounds 2151 >= 413 @ 0.501577
0.53/0.67	c bounds 2151 >= 414 @ 0.502066
0.53/0.67	c bounds 2151 >= 415 @ 0.502549
0.53/0.67	c bounds 2151 >= 416 @ 0.503036
0.53/0.67	c bounds 2151 >= 417 @ 0.503521
0.53/0.67	c bounds 2151 >= 418 @ 0.504172
0.53/0.67	c bounds 2151 >= 419 @ 0.504655
0.53/0.68	c bounds 2151 >= 420 @ 0.505135
0.53/0.68	c bounds 2151 >= 421 @ 0.505613
0.53/0.68	c bounds 2151 >= 422 @ 0.506094
0.53/0.68	c bounds 2151 >= 423 @ 0.50657
0.53/0.68	c bounds 2151 >= 424 @ 0.507055
0.53/0.68	c bounds 2151 >= 425 @ 0.50752
0.53/0.68	c bounds 2151 >= 426 @ 0.507997
0.53/0.68	c bounds 2151 >= 427 @ 0.508482
0.53/0.68	c bounds 2151 >= 428 @ 0.508957
0.53/0.68	c bounds 2151 >= 429 @ 0.509429
0.53/0.68	c bounds 2151 >= 430 @ 0.509891
0.53/0.68	c bounds 2151 >= 431 @ 0.51036
0.53/0.68	c bounds 2151 >= 432 @ 0.510829
0.53/0.68	c bounds 2151 >= 433 @ 0.511292
0.53/0.68	c bounds 2151 >= 434 @ 0.511757
0.53/0.68	c bounds 2151 >= 435 @ 0.512232
0.53/0.68	c bounds 2151 >= 436 @ 0.512702
0.53/0.68	c bounds 2151 >= 437 @ 0.513171
0.53/0.68	c bounds 2151 >= 438 @ 0.513638
0.53/0.68	c bounds 2151 >= 439 @ 0.514093
0.53/0.68	c bounds 2151 >= 440 @ 0.514551
0.53/0.69	c bounds 2151 >= 441 @ 0.515016
0.53/0.69	c bounds 2151 >= 442 @ 0.515476
0.53/0.69	c bounds 2151 >= 443 @ 0.515944
0.53/0.69	c bounds 2151 >= 444 @ 0.516393
0.53/0.69	c bounds 2151 >= 445 @ 0.516855
0.53/0.69	c bounds 2151 >= 446 @ 0.517315
0.53/0.69	c bounds 2151 >= 447 @ 0.51777
0.53/0.69	c bounds 2151 >= 448 @ 0.517834
0.62/0.70	c bounds 2150 >= 448 @ 0.526061
0.62/0.70	c bounds 2150 >= 449 @ 0.526499
0.62/0.70	c bounds 2150 >= 450 @ 0.526953
0.62/0.70	c bounds 2150 >= 451 @ 0.527412
0.62/0.70	c bounds 2150 >= 452 @ 0.527868
0.62/0.70	c bounds 2150 >= 453 @ 0.528311
0.62/0.70	c bounds 2150 >= 454 @ 0.52876
0.62/0.70	c bounds 2150 >= 455 @ 0.529212
0.62/0.70	c bounds 2150 >= 456 @ 0.529653
0.62/0.70	c bounds 2150 >= 457 @ 0.530093
0.62/0.70	c bounds 2150 >= 458 @ 0.530536
0.62/0.70	c bounds 2150 >= 459 @ 0.530989
0.62/0.70	c bounds 2150 >= 460 @ 0.531423
0.62/0.70	c bounds 2150 >= 461 @ 0.531869
0.62/0.70	c bounds 2150 >= 462 @ 0.532316
0.62/0.71	c bounds 2150 >= 463 @ 0.53275
0.62/0.71	c bounds 2150 >= 464 @ 0.533186
0.62/0.71	c bounds 2150 >= 465 @ 0.533628
0.62/0.71	c bounds 2150 >= 466 @ 0.534062
0.62/0.71	c bounds 2150 >= 467 @ 0.534502
0.62/0.71	c bounds 2150 >= 468 @ 0.534939
0.62/0.71	c bounds 2150 >= 469 @ 0.535377
0.62/0.71	c bounds 2150 >= 470 @ 0.535825
0.62/0.71	c bounds 2150 >= 471 @ 0.536268
0.62/0.71	c bounds 2150 >= 472 @ 0.536701
0.62/0.71	c bounds 2150 >= 473 @ 0.537137
0.62/0.71	c bounds 2150 >= 474 @ 0.537573
0.62/0.71	c bounds 2150 >= 475 @ 0.537604
0.62/0.71	c bounds 2150 >= 476 @ 0.537604
0.62/0.71	c bounds 2150 >= 477 @ 0.537921
0.62/0.71	c bounds 2150 >= 478 @ 0.538309
0.62/0.71	c bounds 2150 >= 479 @ 0.538727
0.62/0.71	c bounds 2150 >= 480 @ 0.539143
0.62/0.71	c bounds 2150 >= 481 @ 0.539558
0.62/0.71	c bounds 2150 >= 482 @ 0.539974
0.62/0.71	c bounds 2150 >= 483 @ 0.540402
0.62/0.71	c bounds 2150 >= 484 @ 0.540828
0.62/0.71	c bounds 2150 >= 485 @ 0.541436
0.62/0.78	c bounds 2150 >= 486 @ 0.579402
0.62/0.78	c bounds 2149 >= 486 @ 0.580475
0.62/0.79	c bounds 2148 >= 486 @ 0.583009
0.62/0.79	c bounds 2147 >= 486 @ 0.586089
0.62/0.79	c bounds 2146 >= 486 @ 0.58769
0.73/0.80	c bounds 2145 >= 486 @ 0.589448
0.73/0.80	c bounds 2144 >= 486 @ 0.591743
0.73/0.80	c bounds 2143 >= 486 @ 0.594255
0.73/0.80	c bounds 2142 >= 486 @ 0.595792
0.73/0.81	c bounds 2141 >= 486 @ 0.598225
0.73/0.81	c bounds 2140 >= 486 @ 0.600646
0.73/0.81	c bounds 2139 >= 486 @ 0.602518
0.73/0.81	c bounds 2138 >= 486 @ 0.604288
0.73/0.81	c bounds 2137 >= 486 @ 0.604857
0.73/0.82	c bounds 2136 >= 486 @ 0.609181
0.73/0.82	c bounds 2135 >= 486 @ 0.611561
0.73/0.82	c bounds 2134 >= 486 @ 0.612903
0.73/0.83	c bounds 2133 >= 486 @ 0.619212
0.73/0.84	c bounds 2132 >= 486 @ 0.625049
0.73/0.86	c bounds 2131 >= 486 @ 0.645755
0.73/0.86	c bounds 2131 >= 487 @ 0.64646
0.73/0.86	c bounds 2131 >= 488 @ 0.647141
0.73/0.87	c bounds 2131 >= 489 @ 0.647141
0.73/0.87	c bounds 2131 >= 490 @ 0.648393
0.73/0.87	c bounds 2131 >= 491 @ 0.650418
0.73/0.87	c bounds 2131 >= 492 @ 0.651128
0.73/0.87	c bounds 2131 >= 493 @ 0.652393
0.73/0.87	c bounds 2131 >= 494 @ 0.653463
0.73/0.88	c bounds 2131 >= 495 @ 0.655022
0.73/0.88	c bounds 2131 >= 496 @ 0.655115
0.73/0.88	c bounds 2131 >= 497 @ 0.655115
0.73/0.88	c bounds 2131 >= 498 @ 0.656236
0.73/0.88	c bounds 2131 >= 499 @ 0.657886
0.73/0.88	c bounds 2131 >= 500 @ 0.658095
0.73/0.88	c bounds 2131 >= 501 @ 0.659017
0.73/0.88	c bounds 2131 >= 502 @ 0.660088
0.73/0.89	c bounds 2131 >= 503 @ 0.661276
0.73/0.89	c bounds 2131 >= 504 @ 0.662324
0.73/0.89	c bounds 2131 >= 505 @ 0.665086
0.73/0.89	c bounds 2131 >= 506 @ 0.666435
0.73/0.89	c bounds 2131 >= 507 @ 0.667066
0.82/0.90	c bounds 2131 >= 508 @ 0.667914
0.82/0.90	c bounds 2131 >= 509 @ 0.667966
0.82/0.90	c bounds 2131 >= 510 @ 0.668963
0.82/0.90	c bounds 2131 >= 511 @ 0.670122
0.82/0.90	c bounds 2131 >= 512 @ 0.671689
0.82/0.90	c bounds 2131 >= 513 @ 0.672875
0.82/0.92	c bounds 2130 >= 513 @ 0.684926
0.82/0.92	c bounds 2130 >= 514 @ 0.686196
0.82/0.92	c bounds 2130 >= 515 @ 0.687182
0.82/0.92	c bounds 2130 >= 516 @ 0.688892
0.82/0.93	c bounds 2130 >= 517 @ 0.689225
0.82/0.93	c bounds 2130 >= 518 @ 0.689805
0.82/0.93	c bounds 2130 >= 519 @ 0.689888
0.82/0.93	c bounds 2130 >= 520 @ 0.690678
0.82/0.93	c bounds 2130 >= 521 @ 0.690884
0.82/0.93	c bounds 2130 >= 522 @ 0.690884
0.82/0.93	c bounds 2130 >= 523 @ 0.691198
0.82/0.93	c bounds 2130 >= 524 @ 0.692655
0.82/0.93	c bounds 2130 >= 525 @ 0.692934
0.82/0.94	c bounds 2130 >= 526 @ 0.693873
0.82/0.94	c bounds 2130 >= 527 @ 0.694771
0.82/0.94	c bounds 2130 >= 528 @ 0.695552
0.82/0.94	c bounds 2130 >= 529 @ 0.695998
0.82/0.94	c bounds 2130 >= 530 @ 0.696715
0.82/0.94	c bounds 2130 >= 531 @ 0.697189
0.82/0.94	c bounds 2130 >= 532 @ 0.698091
0.82/0.94	c bounds 2130 >= 533 @ 0.699622
0.82/0.95	c bounds 2130 >= 534 @ 0.700661
0.82/0.95	c bounds 2130 >= 535 @ 0.700852
0.82/0.95	c bounds 2130 >= 536 @ 0.700852
0.82/0.95	c bounds 2130 >= 537 @ 0.70161
0.82/0.95	c bounds 2130 >= 538 @ 0.701839
0.82/0.95	c bounds 2130 >= 539 @ 0.702836
0.82/0.97	c bounds 2129 >= 539 @ 0.720372
0.82/0.98	c bounds 2129 >= 540 @ 0.721776
0.82/0.98	c bounds 2129 >= 541 @ 0.721776
0.82/0.98	c #Conflicts:       1000 | #Constraints:       5450
0.82/0.98	c bounds 2129 >= 542 @ 0.721836
0.82/0.98	c bounds 2129 >= 543 @ 0.722857
0.82/0.98	c bounds 2129 >= 544 @ 0.724886
0.82/0.98	c bounds 2129 >= 545 @ 0.727167
0.82/0.99	c bounds 2129 >= 546 @ 0.727757
0.82/0.99	c bounds 2129 >= 547 @ 0.727757
0.82/0.99	c bounds 2129 >= 548 @ 0.728348
0.82/0.99	c bounds 2129 >= 549 @ 0.729774
0.82/0.99	c bounds 2129 >= 550 @ 0.73165
0.82/0.99	c bounds 2129 >= 551 @ 0.731742
0.82/0.99	c bounds 2129 >= 552 @ 0.732244
0.92/1.00	c bounds 2129 >= 553 @ 0.733174
0.92/1.00	c bounds 2129 >= 554 @ 0.733591
0.92/1.01	c bounds 2129 >= 555 @ 0.736968
0.92/1.01	c bounds 2129 >= 556 @ 0.738082
0.92/1.01	c bounds 2129 >= 557 @ 0.738577
0.92/1.01	c bounds 2129 >= 558 @ 0.739647
0.92/1.01	c bounds 2129 >= 559 @ 0.741063
0.92/1.02	c bounds 2129 >= 560 @ 0.742734
0.92/1.02	c bounds 2129 >= 561 @ 0.743801
0.92/1.02	c bounds 2129 >= 562 @ 0.745182
0.92/1.02	c bounds 2129 >= 563 @ 0.745502
0.92/1.02	c bounds 2129 >= 564 @ 0.746335
0.92/1.02	c bounds 2129 >= 565 @ 0.746498
0.92/1.02	c bounds 2129 >= 566 @ 0.746498
0.92/1.02	c bounds 2129 >= 567 @ 0.747526
0.92/1.03	c bounds 2129 >= 568 @ 0.74999
0.92/1.03	c bounds 2129 >= 569 @ 0.750485
0.92/1.03	c bounds 2129 >= 570 @ 0.751485
0.92/1.03	c bounds 2129 >= 571 @ 0.752839
0.92/1.03	c bounds 2129 >= 572 @ 0.753886
0.92/1.03	c bounds 2129 >= 573 @ 0.755228
0.92/1.03	c bounds 2129 >= 574 @ 0.755892
0.92/1.04	c bounds 2129 >= 575 @ 0.756467
0.92/1.04	c bounds 2129 >= 576 @ 0.756524
0.92/1.04	c bounds 2129 >= 577 @ 0.757579
0.92/1.04	c bounds 2129 >= 578 @ 0.759691
0.92/1.04	c bounds 2129 >= 579 @ 0.762045
0.92/1.04	c bounds 2129 >= 580 @ 0.763058
0.92/1.04	c bounds 2129 >= 581 @ 0.763437
0.92/1.05	c bounds 2129 >= 582 @ 0.764091
0.92/1.05	c bounds 2129 >= 583 @ 0.764434
0.92/1.05	c bounds 2129 >= 584 @ 0.764434
0.92/1.05	c bounds 2129 >= 585 @ 0.764434
0.92/1.05	c bounds 2129 >= 586 @ 0.765366
0.92/1.05	c bounds 2129 >= 587 @ 0.766034
0.92/1.05	c bounds 2129 >= 588 @ 0.766426
0.92/1.05	c bounds 2129 >= 589 @ 0.766821
0.92/1.05	c bounds 2129 >= 590 @ 0.767401
0.92/1.06	c bounds 2129 >= 591 @ 0.76782
0.92/1.06	c bounds 2129 >= 592 @ 0.769814
0.92/1.07	c bounds 2128 >= 592 @ 0.779584
0.92/1.07	c bounds 2128 >= 593 @ 0.782587
0.92/1.07	c bounds 2128 >= 594 @ 0.783808
0.92/1.07	c bounds 2128 >= 595 @ 0.784374
0.92/1.08	c bounds 2128 >= 596 @ 0.785364
0.92/1.08	c bounds 2128 >= 597 @ 0.786672
0.92/1.08	c bounds 2128 >= 598 @ 0.787701
0.92/1.08	c bounds 2128 >= 599 @ 0.788971
0.92/1.08	c bounds 2128 >= 600 @ 0.790424
0.92/1.08	c bounds 2128 >= 601 @ 0.791559
0.92/1.08	c bounds 2128 >= 602 @ 0.792919
0.92/1.09	c bounds 2128 >= 603 @ 0.794004
0.92/1.09	c bounds 2128 >= 604 @ 0.794345
0.92/1.09	c bounds 2128 >= 605 @ 0.794732
0.92/1.09	c bounds 2128 >= 606 @ 0.79534
0.92/1.09	c bounds 2128 >= 607 @ 0.79627
0.92/1.09	c bounds 2128 >= 608 @ 0.796338
0.92/1.09	c bounds 2128 >= 609 @ 0.797801
0.92/1.10	c bounds 2128 >= 610 @ 0.798559
0.92/1.10	c bounds 2128 >= 611 @ 0.800066
0.92/1.10	c bounds 2128 >= 612 @ 0.800325
0.92/1.10	c bounds 2128 >= 613 @ 0.800325
1.03/1.10	c bounds 2128 >= 614 @ 0.800593
1.03/1.10	c bounds 2128 >= 615 @ 0.801601
1.03/1.13	c bounds 2127 >= 615 @ 0.824952
1.03/1.13	c bounds 2127 >= 616 @ 0.82621
1.03/1.13	c bounds 2127 >= 617 @ 0.827272
1.03/1.13	c bounds 2127 >= 618 @ 0.828045
1.03/1.13	c bounds 2127 >= 619 @ 0.828548
1.03/1.14	c bounds 2127 >= 620 @ 0.829681
1.03/1.14	c bounds 2127 >= 621 @ 0.830765
1.03/1.14	c bounds 2127 >= 622 @ 0.831569
1.03/1.14	c bounds 2127 >= 623 @ 0.832131
1.03/1.14	c bounds 2127 >= 624 @ 0.832131
1.03/1.15	c bounds 2127 >= 625 @ 0.833719
1.03/1.15	c bounds 2127 >= 626 @ 0.834747
1.03/1.15	c bounds 2127 >= 627 @ 0.835761
1.03/1.15	c bounds 2127 >= 628 @ 0.836119
1.03/1.15	c bounds 2127 >= 629 @ 0.837502
1.03/1.15	c bounds 2127 >= 630 @ 0.83906
1.03/1.15	c bounds 2127 >= 631 @ 0.839091
1.03/1.15	c bounds 2127 >= 632 @ 0.839091
1.03/1.16	c bounds 2127 >= 633 @ 0.839091
1.03/1.16	c bounds 2127 >= 634 @ 0.839442
1.03/1.16	c bounds 2127 >= 635 @ 0.840605
1.03/1.16	c bounds 2127 >= 636 @ 0.841516
1.03/1.16	c bounds 2127 >= 637 @ 0.842574
1.03/1.16	c bounds 2127 >= 638 @ 0.843077
1.03/1.16	c bounds 2127 >= 639 @ 0.844298
1.03/1.16	c bounds 2127 >= 640 @ 0.845687
1.03/1.17	c bounds 2127 >= 641 @ 0.846123
1.03/1.17	c bounds 2127 >= 642 @ 0.847476
1.03/1.17	c bounds 2127 >= 643 @ 0.848383
1.03/1.17	c bounds 2127 >= 644 @ 0.849172
1.03/1.17	c bounds 2127 >= 645 @ 0.850057
1.03/1.17	c bounds 2127 >= 646 @ 0.850433
1.03/1.17	c bounds 2127 >= 647 @ 0.851837
1.03/1.18	c bounds 2127 >= 648 @ 0.852053
1.03/1.18	c bounds 2127 >= 649 @ 0.852306
1.03/1.18	c bounds 2127 >= 650 @ 0.853023
1.03/1.18	c bounds 2127 >= 651 @ 0.854248
1.03/1.18	c bounds 2127 >= 652 @ 0.855151
1.03/1.18	c bounds 2127 >= 653 @ 0.85645
1.03/1.18	c bounds 2127 >= 654 @ 0.857391
1.03/1.18	c bounds 2127 >= 655 @ 0.858211
1.03/1.19	c bounds 2127 >= 656 @ 0.859346
1.03/1.19	c bounds 2127 >= 657 @ 0.860029
1.03/1.19	c bounds 2127 >= 658 @ 0.860526
1.03/1.19	c bounds 2127 >= 659 @ 0.862022
1.03/1.19	c bounds 2127 >= 660 @ 0.862721
1.03/1.19	c bounds 2127 >= 661 @ 0.864201
1.11/1.21	c bounds 2126 >= 661 @ 0.878651
1.11/1.21	c bounds 2126 >= 662 @ 0.87886
1.11/1.21	c bounds 2126 >= 663 @ 0.87921
1.11/1.21	c bounds 2126 >= 664 @ 0.880299
1.11/1.21	c bounds 2126 >= 665 @ 0.880872
1.11/1.22	c bounds 2126 >= 666 @ 0.880875
1.11/1.22	c bounds 2126 >= 667 @ 0.881253
1.11/1.22	c bounds 2126 >= 668 @ 0.882501
1.11/1.22	c bounds 2126 >= 669 @ 0.883389
1.11/1.22	c bounds 2126 >= 670 @ 0.884297
1.11/1.22	c bounds 2126 >= 671 @ 0.885213
1.11/1.22	c bounds 2126 >= 672 @ 0.887022
1.11/1.23	c bounds 2126 >= 673 @ 0.88878
1.11/1.23	c bounds 2126 >= 674 @ 0.889138
1.11/1.23	c bounds 2126 >= 675 @ 0.890147
1.11/1.23	c bounds 2126 >= 676 @ 0.890882
1.11/1.23	c bounds 2126 >= 677 @ 0.892059
1.11/1.23	c bounds 2126 >= 678 @ 0.893922
1.11/1.23	c bounds 2126 >= 679 @ 0.894803
1.11/1.23	c bounds 2126 >= 680 @ 0.895713
1.11/1.24	c bounds 2126 >= 681 @ 0.897478
1.11/1.24	c bounds 2126 >= 682 @ 0.898114
1.11/1.24	c bounds 2126 >= 683 @ 0.899309
1.11/1.24	c bounds 2126 >= 684 @ 0.900813
1.11/1.24	c bounds 2126 >= 685 @ 0.901211
1.11/1.24	c bounds 2126 >= 686 @ 0.902122
1.11/1.25	c bounds 2126 >= 687 @ 0.903018
1.11/1.25	c bounds 2126 >= 688 @ 0.904251
1.11/1.25	c bounds 2126 >= 689 @ 0.905178
1.11/1.25	c bounds 2126 >= 690 @ 0.906338
1.11/1.25	c bounds 2126 >= 691 @ 0.908121
1.11/1.25	c bounds 2126 >= 692 @ 0.909884
1.11/1.25	c bounds 2126 >= 693 @ 0.911924
1.11/1.27	c bounds 2125 >= 693 @ 0.924113
1.11/1.27	c bounds 2125 >= 694 @ 0.926993
1.11/1.28	c bounds 2125 >= 695 @ 0.927773
1.11/1.28	c bounds 2125 >= 696 @ 0.929682
1.11/1.28	c bounds 2125 >= 697 @ 0.930578
1.11/1.28	c bounds 2125 >= 698 @ 0.930735
1.11/1.28	c bounds 2125 >= 699 @ 0.931093
1.11/1.28	c bounds 2125 >= 700 @ 0.93215
1.11/1.28	c bounds 2125 >= 701 @ 0.933293
1.11/1.28	c bounds 2125 >= 702 @ 0.933726
1.11/1.28	c bounds 2125 >= 703 @ 0.933726
1.11/1.29	c bounds 2125 >= 704 @ 0.934129
1.11/1.29	c bounds 2125 >= 705 @ 0.936114
1.11/1.29	c bounds 2125 >= 706 @ 0.936717
1.11/1.29	c bounds 2125 >= 707 @ 0.936717
1.11/1.29	c bounds 2125 >= 708 @ 0.937073
1.11/1.29	c bounds 2125 >= 709 @ 0.938039
1.11/1.29	c bounds 2125 >= 710 @ 0.93952
1.22/1.31	c bounds 2124 >= 710 @ 0.950196
1.22/1.32	c bounds 2124 >= 711 @ 0.953586
1.22/1.32	c bounds 2124 >= 712 @ 0.953586
1.22/1.32	c bounds 2124 >= 713 @ 0.954062
1.22/1.32	c bounds 2124 >= 714 @ 0.955437
1.22/1.32	c bounds 2124 >= 715 @ 0.95558
1.22/1.32	c bounds 2124 >= 716 @ 0.957087
1.22/1.32	c bounds 2124 >= 717 @ 0.957994
1.22/1.32	c bounds 2124 >= 718 @ 0.958943
1.22/1.33	c bounds 2124 >= 719 @ 0.960883
1.22/1.33	c bounds 2124 >= 720 @ 0.961399
1.22/1.33	c bounds 2124 >= 721 @ 0.963063
1.22/1.33	c bounds 2124 >= 722 @ 0.963986
1.22/1.33	c bounds 2124 >= 723 @ 0.965006
1.22/1.33	c bounds 2124 >= 724 @ 0.965851
1.22/1.33	c bounds 2124 >= 725 @ 0.967438
1.22/1.33	c bounds 2124 >= 726 @ 0.967956
1.22/1.34	c bounds 2124 >= 727 @ 0.969868
1.22/1.34	c bounds 2124 >= 728 @ 0.970801
1.22/1.34	c bounds 2124 >= 729 @ 0.971536
1.22/1.34	c bounds 2124 >= 730 @ 0.972669
1.22/1.35	c bounds 2123 >= 730 @ 0.98177
1.22/1.35	c bounds 2123 >= 731 @ 0.982414
1.22/1.36	c bounds 2123 >= 732 @ 0.985789
1.22/1.36	c bounds 2123 >= 733 @ 0.987319
1.22/1.36	c bounds 2123 >= 734 @ 0.98749
1.22/1.36	c bounds 2123 >= 735 @ 0.988371
1.22/1.36	c bounds 2123 >= 736 @ 0.988886
1.22/1.36	c bounds 2123 >= 737 @ 0.990353
1.22/1.36	c bounds 2123 >= 738 @ 0.991463
1.22/1.36	c bounds 2123 >= 739 @ 0.992528
1.22/1.37	c bounds 2123 >= 740 @ 0.993567
1.22/1.37	c bounds 2123 >= 741 @ 0.994634
1.22/1.37	c bounds 2123 >= 742 @ 0.995558
1.22/1.37	c bounds 2123 >= 743 @ 0.996542
1.22/1.37	c bounds 2123 >= 744 @ 0.997539
1.22/1.37	c bounds 2123 >= 745 @ 0.999019
1.22/1.37	c bounds 2123 >= 746 @ 1.00095
1.22/1.37	c bounds 2123 >= 747 @ 1.00185
1.22/1.37	c bounds 2123 >= 748 @ 1.00301
1.22/1.38	c bounds 2123 >= 749 @ 1.00478
1.22/1.38	c bounds 2123 >= 750 @ 1.00571
1.32/1.40	c bounds 2122 >= 750 @ 1.02725
1.32/1.40	c bounds 2122 >= 751 @ 1.02834
1.32/1.41	c bounds 2122 >= 752 @ 1.03053
1.32/1.41	c bounds 2122 >= 753 @ 1.03143
1.32/1.41	c bounds 2122 >= 754 @ 1.03357
1.32/1.41	c bounds 2122 >= 755 @ 1.03456
1.32/1.41	c bounds 2122 >= 756 @ 1.03547
1.32/1.41	c bounds 2122 >= 757 @ 1.03653
1.32/1.41	c bounds 2122 >= 758 @ 1.03722
1.32/1.41	c bounds 2122 >= 759 @ 1.03722
1.32/1.42	c bounds 2122 >= 760 @ 1.03846
1.32/1.42	c bounds 2122 >= 761 @ 1.03943
1.32/1.42	c bounds 2122 >= 762 @ 1.04033
1.32/1.42	c bounds 2122 >= 763 @ 1.04121
1.32/1.42	c bounds 2122 >= 764 @ 1.04121
1.32/1.42	c bounds 2122 >= 765 @ 1.04121
1.32/1.43	c bounds 2122 >= 766 @ 1.04318
1.32/1.43	c bounds 2122 >= 767 @ 1.04411
1.32/1.43	c bounds 2122 >= 768 @ 1.0442
1.32/1.43	c bounds 2122 >= 769 @ 1.04581
1.32/1.43	c bounds 2122 >= 770 @ 1.04619
1.32/1.43	c bounds 2122 >= 771 @ 1.04619
1.32/1.43	c bounds 2122 >= 772 @ 1.04619
1.32/1.43	c bounds 2122 >= 773 @ 1.04685
1.32/1.44	c bounds 2122 >= 774 @ 1.04718
1.32/1.44	c bounds 2122 >= 775 @ 1.04767
1.32/1.44	c bounds 2122 >= 776 @ 1.04924
1.32/1.44	c bounds 2122 >= 777 @ 1.05126
1.32/1.44	c bounds 2122 >= 778 @ 1.05218
1.42/1.57	c #Conflicts:       2000 | #Constraints:       7316
1.42/1.57	c INPROCESSING
1.42/1.57	c GARBAGE COLLECT
1.42/1.57	c bounds 2122 >= 779 @ 1.17054
1.42/1.57	c bounds 2122 >= 780 @ 1.17162
1.42/1.57	c bounds 2122 >= 781 @ 1.17177
1.42/1.57	c bounds 2122 >= 782 @ 1.17278
1.42/1.57	c bounds 2122 >= 783 @ 1.17368
1.42/1.57	c bounds 2122 >= 784 @ 1.1747
1.42/1.57	c bounds 2122 >= 785 @ 1.17576
1.42/1.58	c bounds 2122 >= 786 @ 1.17603
1.42/1.58	c bounds 2122 >= 787 @ 1.1776
1.42/1.58	c bounds 2122 >= 788 @ 1.17886
1.42/1.58	c bounds 2122 >= 789 @ 1.17989
1.42/1.58	c bounds 2122 >= 790 @ 1.18074
1.42/1.58	c bounds 2122 >= 791 @ 1.18123
1.42/1.59	c bounds 2122 >= 792 @ 1.18226
1.42/1.59	c bounds 2122 >= 793 @ 1.183
1.42/1.59	c bounds 2122 >= 794 @ 1.18401
1.42/1.59	c bounds 2122 >= 795 @ 1.18509
1.42/1.59	c bounds 2122 >= 796 @ 1.18592
1.42/1.59	c bounds 2122 >= 797 @ 1.18698
1.42/1.59	c bounds 2122 >= 798 @ 1.18816
1.42/1.60	c bounds 2122 >= 799 @ 1.18974
1.52/1.60	c bounds 2122 >= 800 @ 1.1916
1.52/1.60	c bounds 2122 >= 801 @ 1.19188
1.52/1.60	c bounds 2122 >= 802 @ 1.19265
1.52/1.60	c bounds 2122 >= 803 @ 1.19426
1.52/1.60	c bounds 2122 >= 804 @ 1.19587
1.52/1.61	c bounds 2122 >= 805 @ 1.19786
1.52/1.61	c bounds 2122 >= 806 @ 1.1989
1.52/1.61	c bounds 2122 >= 807 @ 1.19956
1.52/1.61	c bounds 2122 >= 808 @ 1.20143
1.52/1.62	c bounds 2121 >= 808 @ 1.21036
1.52/1.63	c bounds 2121 >= 809 @ 1.21352
1.52/1.63	c bounds 2121 >= 810 @ 1.21488
1.52/1.64	c bounds 2120 >= 810 @ 1.22602
1.52/1.64	c bounds 2120 >= 812 @ 1.22643
1.52/1.64	c bounds 2120 >= 813 @ 1.22742
1.52/1.64	c bounds 2120 >= 814 @ 1.22844
1.52/1.64	c bounds 2120 >= 815 @ 1.22849
1.52/1.65	c bounds 2120 >= 816 @ 1.22849
1.52/1.65	c bounds 2120 >= 817 @ 1.23119
1.52/1.65	c bounds 2120 >= 818 @ 1.2318
1.52/1.65	c bounds 2120 >= 819 @ 1.23309
1.52/1.65	c bounds 2120 >= 820 @ 1.23352
1.52/1.65	c bounds 2120 >= 821 @ 1.23514
1.52/1.66	c bounds 2120 >= 822 @ 1.23645
1.52/1.66	c bounds 2120 >= 823 @ 1.23787
1.52/1.66	c bounds 2120 >= 824 @ 1.23878
1.52/1.66	c bounds 2120 >= 825 @ 1.23986
1.52/1.66	c bounds 2120 >= 826 @ 1.24145
1.52/1.66	c bounds 2120 >= 827 @ 1.2428
1.52/1.66	c bounds 2120 >= 828 @ 1.24344
1.52/1.67	c bounds 2120 >= 829 @ 1.24386
1.52/1.67	c bounds 2120 >= 830 @ 1.24713
1.52/1.67	c bounds 2120 >= 831 @ 1.24775
1.52/1.67	c bounds 2120 >= 832 @ 1.24989
1.52/1.67	c bounds 2120 >= 833 @ 1.25055
1.52/1.67	c bounds 2120 >= 834 @ 1.25147
1.52/1.68	c bounds 2120 >= 835 @ 1.25302
1.52/1.68	c bounds 2120 >= 836 @ 1.25447
1.52/1.68	c bounds 2120 >= 837 @ 1.25554
1.52/1.69	c bounds 2119 >= 837 @ 1.26575
1.52/1.69	c bounds 2119 >= 838 @ 1.26738
1.52/1.69	c bounds 2119 >= 839 @ 1.26803
1.52/1.69	c bounds 2119 >= 840 @ 1.26838
1.52/1.70	c bounds 2119 >= 841 @ 1.26967
1.62/1.70	c bounds 2119 >= 842 @ 1.27136
1.71/1.85	c bounds 2119 >= 843 @ 1.41328
1.71/1.85	c bounds 2119 >= 844 @ 1.41425
1.71/1.85	c bounds 2119 >= 845 @ 1.41614
1.71/1.85	c bounds 2119 >= 846 @ 1.41708
1.71/1.85	c bounds 2119 >= 847 @ 1.41764
1.71/1.85	c bounds 2119 >= 848 @ 1.41782
1.71/1.85	c bounds 2119 >= 849 @ 1.41864
1.71/1.85	c bounds 2119 >= 850 @ 1.41954
1.71/1.86	c bounds 2119 >= 851 @ 1.41981
1.71/1.86	c bounds 2119 >= 852 @ 1.42081
1.71/1.86	c bounds 2119 >= 853 @ 1.42081
1.71/1.86	c bounds 2119 >= 854 @ 1.42147
1.71/1.86	c bounds 2119 >= 855 @ 1.42181
1.71/1.86	c bounds 2119 >= 856 @ 1.42244
1.71/1.86	c bounds 2119 >= 857 @ 1.42322
1.71/1.87	c bounds 2119 >= 858 @ 1.42422
1.71/1.87	c bounds 2119 >= 859 @ 1.42479
1.71/1.87	c bounds 2119 >= 860 @ 1.42509
1.71/1.87	c bounds 2119 >= 861 @ 1.42573
1.71/1.88	c bounds 2118 >= 861 @ 1.43537
1.71/1.88	c bounds 2118 >= 862 @ 1.43679
1.71/1.88	c bounds 2118 >= 863 @ 1.43775
1.71/1.88	c bounds 2118 >= 864 @ 1.43835
1.71/1.89	c bounds 2118 >= 865 @ 1.43976
1.71/1.89	c bounds 2118 >= 866 @ 1.44069
1.71/1.89	c bounds 2118 >= 867 @ 1.44074
1.71/1.89	c bounds 2118 >= 868 @ 1.44181
1.71/1.89	c bounds 2118 >= 869 @ 1.44334
1.71/1.89	c bounds 2118 >= 870 @ 1.44529
1.71/1.89	c bounds 2118 >= 871 @ 1.44573
1.81/1.90	c bounds 2118 >= 872 @ 1.44719
1.81/1.90	c bounds 2118 >= 873 @ 1.44861
1.81/1.90	c bounds 2118 >= 874 @ 1.44863
1.81/1.90	c bounds 2118 >= 875 @ 1.449
1.81/1.90	c bounds 2118 >= 876 @ 1.44986
1.81/1.90	c bounds 2118 >= 877 @ 1.45079
1.81/1.90	c bounds 2118 >= 878 @ 1.4521
1.81/1.91	c bounds 2118 >= 879 @ 1.45362
1.81/1.92	c bounds 2117 >= 879 @ 1.4634
1.81/1.92	c bounds 2117 >= 880 @ 1.46398
1.81/1.92	c bounds 2117 >= 881 @ 1.46459
1.81/1.92	c bounds 2117 >= 882 @ 1.46566
1.81/1.92	c bounds 2117 >= 883 @ 1.46657
1.81/1.93	c bounds 2117 >= 884 @ 1.46908
1.81/1.93	c bounds 2117 >= 885 @ 1.47004
1.81/1.93	c bounds 2117 >= 886 @ 1.4708
1.81/1.93	c bounds 2117 >= 887 @ 1.47166
1.81/1.93	c bounds 2117 >= 888 @ 1.47287
1.81/1.93	c bounds 2117 >= 889 @ 1.47355
1.81/1.93	c bounds 2117 >= 890 @ 1.47355
1.81/1.93	c bounds 2117 >= 891 @ 1.47355
1.81/1.94	c bounds 2117 >= 892 @ 1.47355
1.81/1.94	c bounds 2117 >= 893 @ 1.47355
1.81/1.94	c bounds 2117 >= 894 @ 1.47387
1.81/1.94	c bounds 2117 >= 895 @ 1.47471
1.81/1.94	c bounds 2117 >= 896 @ 1.47602
1.81/1.94	c bounds 2117 >= 897 @ 1.47843
1.81/1.94	c bounds 2117 >= 898 @ 1.47886
1.81/1.95	c bounds 2117 >= 899 @ 1.48038
1.81/1.95	c bounds 2117 >= 900 @ 1.48053
1.81/1.95	c bounds 2117 >= 901 @ 1.48144
1.81/1.95	c bounds 2117 >= 902 @ 1.48347
1.81/1.96	c bounds 2116 >= 902 @ 1.49205
1.81/1.96	c bounds 2116 >= 903 @ 1.49336
1.81/1.96	c bounds 2116 >= 904 @ 1.49432
1.81/1.96	c bounds 2116 >= 905 @ 1.4945
1.81/1.97	c bounds 2116 >= 906 @ 1.4945
1.81/1.97	c bounds 2116 >= 907 @ 1.49594
1.81/1.97	c bounds 2116 >= 908 @ 1.49732
1.81/1.97	c bounds 2116 >= 909 @ 1.49827
1.81/1.97	c bounds 2116 >= 910 @ 1.49849
1.81/1.97	c bounds 2116 >= 911 @ 1.49958
1.81/1.98	c bounds 2116 >= 912 @ 1.50057
1.81/1.98	c bounds 2116 >= 913 @ 1.50167
1.81/1.98	c bounds 2116 >= 914 @ 1.50231
1.81/1.98	c bounds 2116 >= 915 @ 1.50248
1.81/1.98	c bounds 2116 >= 916 @ 1.50297
1.81/1.98	c bounds 2116 >= 917 @ 1.50347
1.81/1.98	c bounds 2116 >= 918 @ 1.50487
1.81/1.98	c bounds 2116 >= 919 @ 1.50547
1.81/1.99	c bounds 2115 >= 919 @ 1.51299
1.81/1.99	c bounds 2115 >= 920 @ 1.51344
1.81/1.99	c bounds 2115 >= 921 @ 1.51345
1.91/2.00	c bounds 2115 >= 922 @ 1.51606
1.91/2.01	c bounds 2115 >= 923 @ 1.51701
1.91/2.01	c bounds 2115 >= 924 @ 1.519
1.91/2.01	c bounds 2115 >= 925 @ 1.51992
1.91/2.01	c bounds 2115 >= 926 @ 1.52086
1.91/2.01	c bounds 2115 >= 927 @ 1.52336
1.91/2.01	c bounds 2115 >= 928 @ 1.52453
1.91/2.02	c bounds 2115 >= 929 @ 1.52633
1.91/2.02	c bounds 2115 >= 930 @ 1.52692
1.91/2.02	c bounds 2115 >= 931 @ 1.52791
1.91/2.02	c bounds 2115 >= 932 @ 1.52884
1.91/2.02	c bounds 2115 >= 933 @ 1.52888
1.91/2.04	c bounds 2114 >= 933 @ 1.54472
1.91/2.04	c bounds 2114 >= 934 @ 1.54507
1.91/2.04	c bounds 2114 >= 935 @ 1.54855
1.91/2.04	c bounds 2114 >= 936 @ 1.54882
1.91/2.05	c bounds 2114 >= 937 @ 1.54938
1.91/2.05	c bounds 2114 >= 938 @ 1.54982
1.91/2.05	c bounds 2114 >= 939 @ 1.55115
1.91/2.05	c bounds 2114 >= 940 @ 1.55211
1.91/2.05	c bounds 2114 >= 941 @ 1.55318
1.91/2.06	c bounds 2114 >= 942 @ 1.55376
1.91/2.06	c bounds 2114 >= 943 @ 1.55404
1.91/2.06	c bounds 2114 >= 944 @ 1.55495
1.91/2.06	c bounds 2114 >= 945 @ 1.55615
1.91/2.06	c bounds 2114 >= 946 @ 1.55697
1.91/2.06	c bounds 2114 >= 947 @ 1.5578
1.91/2.06	c bounds 2114 >= 948 @ 1.55824
1.91/2.07	c bounds 2114 >= 949 @ 1.55937
1.91/2.07	c bounds 2114 >= 950 @ 1.55989
1.91/2.07	c bounds 2114 >= 951 @ 1.56085
1.91/2.07	c bounds 2114 >= 952 @ 1.56302
1.91/2.07	c bounds 2114 >= 953 @ 1.56395
1.91/2.07	c bounds 2114 >= 954 @ 1.56569
1.91/2.07	c bounds 2114 >= 955 @ 1.56578
1.91/2.08	c bounds 2114 >= 956 @ 1.56649
1.91/2.08	c bounds 2114 >= 957 @ 1.56809
1.91/2.08	c bounds 2114 >= 958 @ 1.56903
1.91/2.08	c bounds 2113 >= 958 @ 1.5727
1.91/2.09	c bounds 2113 >= 959 @ 1.57387
1.91/2.09	c bounds 2113 >= 960 @ 1.57576
1.91/2.09	c bounds 2113 >= 961 @ 1.57656
1.91/2.09	c bounds 2113 >= 962 @ 1.57675
1.91/2.09	c bounds 2113 >= 963 @ 1.5774
1.91/2.09	c bounds 2113 >= 964 @ 1.57831
1.91/2.10	c bounds 2113 >= 965 @ 1.57874
2.01/2.11	c bounds 2112 >= 965 @ 1.59109
2.01/2.11	c bounds 2112 >= 966 @ 1.59209
2.01/2.11	c bounds 2112 >= 967 @ 1.59297
2.01/2.11	c bounds 2112 >= 968 @ 1.59359
2.01/2.11	c bounds 2112 >= 969 @ 1.59361
2.01/2.11	c bounds 2112 >= 970 @ 1.59419
2.01/2.12	c bounds 2112 >= 971 @ 1.5946
2.01/2.12	c bounds 2112 >= 972 @ 1.59497
2.01/2.12	c bounds 2112 >= 973 @ 1.59614
2.01/2.12	c bounds 2112 >= 974 @ 1.59695
2.01/2.12	c bounds 2112 >= 975 @ 1.59781
2.01/2.12	c bounds 2112 >= 976 @ 1.59884
2.01/2.12	c bounds 2112 >= 977 @ 1.59986
2.01/2.13	c bounds 2112 >= 978 @ 1.60129
2.01/2.13	c bounds 2112 >= 979 @ 1.60192
2.01/2.13	c bounds 2112 >= 980 @ 1.60258
2.01/2.13	c bounds 2112 >= 981 @ 1.60258
2.01/2.13	c bounds 2112 >= 982 @ 1.60424
2.01/2.13	c bounds 2112 >= 983 @ 1.60496
2.01/2.14	c bounds 2112 >= 984 @ 1.60657
2.01/2.14	c bounds 2112 >= 985 @ 1.60695
2.01/2.14	c bounds 2112 >= 986 @ 1.60982
2.01/2.15	c #Conflicts:       3000 | #Constraints:       6071
2.01/2.15	c bounds 2111 >= 986 @ 1.61982
2.01/2.15	c bounds 2111 >= 987 @ 1.62054
2.01/2.15	c bounds 2111 >= 988 @ 1.62054
2.01/2.15	c bounds 2111 >= 989 @ 1.62202
2.01/2.15	c bounds 2111 >= 990 @ 1.62253
2.01/2.16	c bounds 2111 >= 991 @ 1.62331
2.01/2.16	c bounds 2111 >= 992 @ 1.62539
2.01/2.16	c bounds 2111 >= 993 @ 1.62553
2.01/2.16	c bounds 2111 >= 994 @ 1.62628
2.01/2.16	c bounds 2111 >= 995 @ 1.62652
2.01/2.17	c bounds 2111 >= 996 @ 1.62752
2.01/2.17	c bounds 2111 >= 997 @ 1.62752
2.01/2.17	c bounds 2111 >= 998 @ 1.62752
2.01/2.17	c bounds 2111 >= 999 @ 1.62815
2.01/2.17	c bounds 2111 >= 1000 @ 1.62852
2.01/2.17	c bounds 2111 >= 1001 @ 1.62852
2.01/2.17	c bounds 2111 >= 1002 @ 1.6297
2.01/2.17	c bounds 2111 >= 1003 @ 1.63068
2.01/2.18	c bounds 2111 >= 1004 @ 1.63161
2.01/2.18	c bounds 2111 >= 1005 @ 1.63347
2.01/2.18	c bounds 2111 >= 1006 @ 1.6345
2.01/2.18	c bounds 2111 >= 1007 @ 1.63499
2.01/2.18	c bounds 2111 >= 1008 @ 1.63655
2.01/2.18	c bounds 2111 >= 1009 @ 1.63791
2.01/2.19	c bounds 2110 >= 1009 @ 1.64687
2.01/2.19	c bounds 2110 >= 1010 @ 1.64788
2.01/2.19	c bounds 2110 >= 1011 @ 1.6488
2.01/2.20	c bounds 2110 >= 1012 @ 1.64975
2.11/2.20	c bounds 2110 >= 1013 @ 1.65263
2.11/2.20	c bounds 2110 >= 1014 @ 1.65335
2.11/2.20	c bounds 2110 >= 1015 @ 1.65435
2.11/2.20	c bounds 2110 >= 1016 @ 1.65475
2.11/2.21	c bounds 2110 >= 1017 @ 1.65559
2.11/2.21	c bounds 2110 >= 1018 @ 1.65738
2.11/2.21	c bounds 2110 >= 1019 @ 1.65834
2.11/2.21	c bounds 2110 >= 1020 @ 1.65834
2.11/2.21	c bounds 2110 >= 1021 @ 1.65834
2.11/2.21	c bounds 2110 >= 1022 @ 1.65916
2.11/2.22	c bounds 2110 >= 1023 @ 1.66085
2.11/2.22	c bounds 2109 >= 1023 @ 1.6678
2.11/2.22	c bounds 2109 >= 1024 @ 1.66877
2.11/2.23	c bounds 2109 >= 1025 @ 1.67037
2.11/2.23	c bounds 2109 >= 1026 @ 1.67138
2.11/2.23	c bounds 2109 >= 1027 @ 1.6723
2.11/2.23	c bounds 2109 >= 1028 @ 1.67339
2.11/2.23	c bounds 2109 >= 1029 @ 1.6747
2.11/2.24	c bounds 2109 >= 1030 @ 1.67628
2.11/2.24	c bounds 2109 >= 1031 @ 1.67784
2.11/2.24	c bounds 2109 >= 1032 @ 1.6788
2.11/2.24	c bounds 2109 >= 1033 @ 1.67894
2.11/2.24	c bounds 2109 >= 1034 @ 1.67902
2.11/2.24	c bounds 2109 >= 1035 @ 1.67945
2.11/2.24	c bounds 2109 >= 1036 @ 1.68057
2.11/2.25	c bounds 2108 >= 1036 @ 1.68651
2.11/2.25	c bounds 2108 >= 1037 @ 1.68755
2.11/2.26	c bounds 2108 >= 1038 @ 1.68948
2.11/2.26	c bounds 2108 >= 1039 @ 1.69146
2.11/2.26	c bounds 2108 >= 1040 @ 1.69333
2.11/2.26	c bounds 2108 >= 1041 @ 1.69435
2.11/2.26	c bounds 2108 >= 1042 @ 1.69664
2.11/2.26	c bounds 2108 >= 1043 @ 1.69758
2.11/2.27	c bounds 2107 >= 1043 @ 1.70321
2.11/2.27	c bounds 2107 >= 1044 @ 1.70507
2.11/2.27	c bounds 2107 >= 1045 @ 1.70521
2.11/2.28	c bounds 2107 >= 1046 @ 1.70596
2.11/2.28	c bounds 2107 >= 1047 @ 1.70691
2.11/2.28	c bounds 2107 >= 1048 @ 1.7072
2.11/2.28	c bounds 2107 >= 1049 @ 1.7072
2.11/2.28	c bounds 2107 >= 1050 @ 1.7072
2.11/2.28	c bounds 2107 >= 1051 @ 1.7079
2.11/2.28	c bounds 2107 >= 1052 @ 1.7082
2.11/2.29	c bounds 2107 >= 1053 @ 1.70881
2.11/2.29	c bounds 2107 >= 1054 @ 1.7092
2.11/2.29	c bounds 2107 >= 1055 @ 1.7092
2.11/2.29	c bounds 2107 >= 1056 @ 1.7092
2.11/2.29	c bounds 2107 >= 1057 @ 1.7092
2.11/2.29	c bounds 2107 >= 1058 @ 1.7104
2.11/2.29	c bounds 2107 >= 1059 @ 1.71133
2.21/2.30	c bounds 2107 >= 1060 @ 1.71295
2.21/2.30	c bounds 2107 >= 1061 @ 1.71308
2.21/2.30	c bounds 2107 >= 1062 @ 1.71351
2.21/2.30	c bounds 2107 >= 1063 @ 1.71405
2.21/2.30	c bounds 2107 >= 1064 @ 1.7151
2.21/2.30	c bounds 2107 >= 1065 @ 1.71601
2.21/2.31	c bounds 2106 >= 1065 @ 1.72304
2.21/2.31	c bounds 2106 >= 1066 @ 1.72401
2.21/2.31	c bounds 2106 >= 1067 @ 1.72447
2.21/2.31	c bounds 2106 >= 1068 @ 1.72506
2.21/2.31	c bounds 2106 >= 1069 @ 1.72589
2.21/2.31	c bounds 2106 >= 1070 @ 1.72605
2.21/2.32	c bounds 2106 >= 1071 @ 1.72726
2.21/2.32	c bounds 2106 >= 1072 @ 1.72865
2.21/2.32	c bounds 2106 >= 1073 @ 1.72958
2.21/2.32	c bounds 2106 >= 1074 @ 1.73204
2.21/2.32	c bounds 2106 >= 1075 @ 1.73204
2.21/2.32	c bounds 2106 >= 1076 @ 1.73265
2.21/2.33	c bounds 2106 >= 1077 @ 1.73408
2.21/2.33	c bounds 2106 >= 1078 @ 1.73501
2.21/2.33	c bounds 2106 >= 1079 @ 1.73542
2.21/2.34	c bounds 2105 >= 1079 @ 1.74382
2.21/2.34	c bounds 2105 >= 1080 @ 1.74526
2.21/2.34	c bounds 2105 >= 1081 @ 1.74633
2.21/2.34	c bounds 2105 >= 1082 @ 1.74766
2.21/2.34	c bounds 2105 >= 1083 @ 1.74797
2.21/2.34	c bounds 2105 >= 1084 @ 1.74897
2.21/2.34	c bounds 2105 >= 1085 @ 1.74969
2.21/2.35	c bounds 2105 >= 1086 @ 1.75361
2.21/2.35	c bounds 2105 >= 1087 @ 1.75507
2.21/2.35	c bounds 2105 >= 1088 @ 1.75623
2.21/2.36	c bounds 2105 >= 1089 @ 1.75793
2.21/2.36	c bounds 2105 >= 1090 @ 1.75793
2.21/2.36	c bounds 2105 >= 1091 @ 1.75794
2.21/2.36	c bounds 2105 >= 1092 @ 1.75887
2.21/2.36	c bounds 2105 >= 1093 @ 1.76003
2.21/2.36	c bounds 2105 >= 1094 @ 1.76093
2.21/2.36	c bounds 2105 >= 1095 @ 1.76287
2.21/2.37	c bounds 2104 >= 1095 @ 1.77046
2.21/2.37	c bounds 2104 >= 1096 @ 1.7709
2.21/2.37	c bounds 2104 >= 1097 @ 1.77188
2.21/2.38	c bounds 2104 >= 1098 @ 1.77281
2.21/2.38	c bounds 2104 >= 1099 @ 1.77378
2.21/2.38	c bounds 2104 >= 1100 @ 1.77388
2.21/2.38	c bounds 2104 >= 1101 @ 1.77388
2.21/2.38	c bounds 2104 >= 1102 @ 1.77421
2.21/2.38	c bounds 2104 >= 1103 @ 1.77503
2.21/2.38	c bounds 2104 >= 1104 @ 1.77605
2.21/2.38	c bounds 2104 >= 1105 @ 1.77749
2.21/2.38	c bounds 2104 >= 1106 @ 1.77787
2.21/2.38	c bounds 2104 >= 1107 @ 1.77787
2.21/2.39	c bounds 2104 >= 1108 @ 1.77848
2.21/2.39	c bounds 2104 >= 1109 @ 1.77916
2.21/2.39	c bounds 2104 >= 1110 @ 1.78031
2.21/2.39	c bounds 2104 >= 1111 @ 1.78086
2.21/2.39	c bounds 2104 >= 1112 @ 1.78199
2.31/2.40	c bounds 2103 >= 1112 @ 1.78804
2.31/2.40	c bounds 2103 >= 1113 @ 1.78876
2.31/2.40	c bounds 2103 >= 1114 @ 1.79044
2.31/2.41	c bounds 2103 >= 1115 @ 1.79156
2.31/2.41	c bounds 2103 >= 1116 @ 1.7921
2.31/2.41	c bounds 2103 >= 1117 @ 1.79309
2.31/2.41	c bounds 2103 >= 1118 @ 1.79374
2.31/2.42	c bounds 2102 >= 1118 @ 1.79905
2.31/2.42	c bounds 2102 >= 1119 @ 1.80231
2.31/2.42	c bounds 2102 >= 1120 @ 1.80272
2.31/2.43	c bounds 2102 >= 1121 @ 1.80321
2.31/2.43	c bounds 2102 >= 1122 @ 1.80418
2.31/2.43	c bounds 2102 >= 1123 @ 1.8062
2.31/2.44	c bounds 2101 >= 1123 @ 1.81166
2.31/2.44	c bounds 2101 >= 1124 @ 1.81236
2.31/2.44	c bounds 2101 >= 1125 @ 1.81644
2.31/2.44	c bounds 2101 >= 1126 @ 1.81669
2.31/2.45	c bounds 2101 >= 1127 @ 1.81809
2.31/2.45	c bounds 2101 >= 1128 @ 1.81868
2.31/2.45	c bounds 2101 >= 1129 @ 1.81905
2.31/2.45	c bounds 2101 >= 1130 @ 1.82008
2.31/2.45	c bounds 2101 >= 1131 @ 1.82107
2.31/2.46	c bounds 2100 >= 1131 @ 1.82935
2.31/2.46	c bounds 2100 >= 1132 @ 1.83093
2.31/2.46	c bounds 2100 >= 1133 @ 1.83181
2.31/2.47	c bounds 2100 >= 1134 @ 1.83364
2.31/2.47	c bounds 2100 >= 1135 @ 1.83397
2.31/2.47	c bounds 2100 >= 1136 @ 1.83464
2.31/2.47	c bounds 2100 >= 1137 @ 1.83464
2.31/2.47	c bounds 2100 >= 1138 @ 1.83495
2.31/2.47	c bounds 2100 >= 1139 @ 1.83598
2.31/2.48	c bounds 2100 >= 1140 @ 1.83684
2.31/2.48	c bounds 2100 >= 1141 @ 1.83822
2.31/2.48	c bounds 2100 >= 1142 @ 1.83917
2.31/2.48	c bounds 2100 >= 1143 @ 1.84032
2.31/2.48	c bounds 2100 >= 1144 @ 1.84175
2.31/2.48	c bounds 2100 >= 1145 @ 1.84325
2.31/2.49	c bounds 2100 >= 1146 @ 1.84391
2.31/2.49	c bounds 2100 >= 1147 @ 1.84476
2.31/2.49	c bounds 2100 >= 1148 @ 1.8462
2.31/2.49	c bounds 2100 >= 1149 @ 1.84717
2.31/2.49	c bounds 2100 >= 1150 @ 1.84861
2.41/2.50	c bounds 2099 >= 1150 @ 1.85501
2.41/2.50	c bounds 2099 >= 1151 @ 1.8561
2.41/2.50	c bounds 2099 >= 1152 @ 1.85707
2.41/2.50	c bounds 2099 >= 1153 @ 1.85749
2.41/2.50	c bounds 2099 >= 1154 @ 1.8575
2.41/2.50	c bounds 2099 >= 1155 @ 1.8575
2.41/2.51	c bounds 2099 >= 1156 @ 1.85956
2.41/2.51	c bounds 2099 >= 1157 @ 1.86054
2.41/2.51	c bounds 2099 >= 1158 @ 1.86201
2.41/2.51	c bounds 2099 >= 1159 @ 1.86374
2.41/2.51	c bounds 2099 >= 1160 @ 1.86468
2.41/2.51	c bounds 2099 >= 1161 @ 1.86532
2.41/2.51	c bounds 2099 >= 1162 @ 1.86645
2.41/2.51	c bounds 2099 >= 1163 @ 1.86738
2.41/2.52	c bounds 2099 >= 1164 @ 1.86831
2.41/2.52	c bounds 2099 >= 1165 @ 1.86948
2.41/2.52	c bounds 2098 >= 1165 @ 1.87569
2.41/2.53	c bounds 2098 >= 1166 @ 1.87673
2.41/2.53	c bounds 2098 >= 1167 @ 1.87922
2.41/2.53	c bounds 2098 >= 1168 @ 1.88069
2.41/2.53	c bounds 2098 >= 1169 @ 1.88413
2.41/2.53	c bounds 2098 >= 1170 @ 1.88488
2.41/2.54	c bounds 1170 >= 1170 @ 1.88874
2.41/2.54	c cpu time 1.88874 s
2.41/2.54	c deterministic time 24318815 2.43e+07
2.41/2.54	c optimization time 0.465605 s
2.41/2.54	c total solve time 1.40555 s
2.41/2.54	c core-guided solve time 0.934325 s
2.41/2.54	c propagation time 0.877109 s
2.41/2.54	c conflict analysis time 0.105578 s
2.41/2.54	c propagations 868172
2.41/2.54	c resolve steps 6365
2.41/2.54	c decisions 737667
2.41/2.54	c conflicts 3842
2.41/2.54	c restarts 20
2.41/2.54	c inprocessing phases 1
2.41/2.54	c garbage collections 1 ,( 100.00 )
2.41/2.54	c input clauses 3466 ,( 47.75 )
2.41/2.54	c input cardinalities 2320 ,( 31.96 )
2.41/2.54	c input general constraints 1473 ,( 20.29 )
2.41/2.54	c input average constraint length 345.81
2.41/2.54	c input average constraint degree 74.34
2.41/2.54	c learned clauses 1974 ,( 53.22 )
2.41/2.54	c learned cardinalities 227 ,( 6.12 )
2.41/2.54	c learned general constraints 1508 ,( 40.66 )
2.41/2.54	c learned average constraint length 315.61
2.41/2.54	c learned average constraint degree 33.33
2.41/2.54	c watched  CF 32, 64, 128, Arb: 506 , 0 , 0 , 0
2.41/2.54	c counting CF 32, 64, 128, Arb: 2476 , 0 , 0 , 0
2.41/2.54	c watched   constraints 506 ,( 16.97 ) 
2.41/2.54	c counting  constraints 2475 ,( 83.03 ) 
2.41/2.54	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 318383 , 506406 , 1100592 ,( 35643 , 1064949 )
2.41/2.54	c gcd simplifications 339
2.41/2.54	c detected cardinalities 83
2.41/2.54	c weakened non-implied lits 22654
2.41/2.54	c weakened non-implying lits 71
2.41/2.54	c original variables 2494
2.41/2.54	c clausal propagations 304233
2.41/2.54	c cardinality propagations 53296
2.41/2.54	c watched propagations 6744
2.41/2.54	c counting propagations 435705
2.41/2.54	c watch lookups 4245171
2.41/2.54	c watch backjump lookups 0
2.41/2.54	c watch checks 8324042
2.41/2.54	c propagation checks 7231821
2.41/2.54	c constraint additions 1296554
2.41/2.54	c trail pops 1607781
2.41/2.54	c formula constraints 2999
2.41/2.54	c learned constraints 3709
2.41/2.54	c bound constraints 1564
2.41/2.54	c core-guided constraints 2696
2.41/2.54	c encountered formula constraints 5164
2.41/2.54	c encountered learned constraints 2114
2.41/2.54	c encountered bound constraints 58
2.41/2.54	c encountered core-guided constraints 2871
2.41/2.54	c LP total time 0.491535 s
2.41/2.54	c LP solve time 0.49 s
2.41/2.54	c LP constraints added 2999
2.41/2.54	c LP constraints removed 0
2.41/2.54	c LP pivots internal 4606
2.41/2.54	c LP pivots root 3000
2.41/2.54	c LP calls 5
2.41/2.54	c LP optimalities 3
2.41/2.54	c LP no pivot count 0
2.41/2.54	c LP infeasibilities 0
2.41/2.54	c LP valid Farkas constraints 0
2.41/2.54	c LP learned Farkas constraints 0
2.41/2.54	c LP basis resets 0
2.41/2.54	c LP cycling count 0
2.41/2.54	c LP singular count 0
2.41/2.54	c LP no primal count 0
2.41/2.54	c LP no farkas count 0
2.41/2.54	c LP other issue count 0
2.41/2.54	c LP Gomory cuts 0
2.41/2.54	c LP learned cuts 0
2.41/2.54	c LP deleted cuts 0
2.41/2.54	c LP encountered Gomory constraints 0
2.41/2.54	c LP encountered Farkas constraints 0
2.41/2.54	c LP encountered learned Farkas constraints 0
2.41/2.54	c CG auxiliary variables introduced 1190
2.41/2.54	c CG solutions found 56
2.41/2.54	c CG cores constructed 1081
2.41/2.54	c CG core cardinality constraints returned 37
2.41/2.54	c CG unit cores 422
2.41/2.54	c CG single cores 653
2.41/2.54	c CG blocks removed during cardinality reduction 0
2.41/2.54	c CG first core best 0
2.41/2.54	c CG decision core best 2
2.41/2.54	c CG core reduction tie 4
2.41/2.54	c CG core degree average 1.08
2.41/2.54	c CG core slack average 2.91
2.41/2.54	c CG core upper bound improvements 0
2.41/2.54	c STR number of successful calls 0
2.41/2.54	c STR number of unsuccessful calls 0
2.41/2.54	c STR number of inconclusive calls 0
2.41/2.54	c STR number of successful attempts 0
2.41/2.54	c STR number of unsuccessful attempts 0
2.41/2.54	c STR number of inconclusive attempts 0
2.41/2.54	c STR average degree increase per successful call inf
2.41/2.54	c STR average degree increase per successful attempt inf
2.41/2.54	c STR total number of conflicts for successful attempts 0
2.41/2.54	c STR total number of conflicts for unsuccessful attempts 0
2.41/2.54	c STR total number of conflicts for inconclusive attempts 0
2.41/2.54	c STR average number of conflicts per successful attempt inf
2.41/2.54	c STR average number of conflicts per unsuccessful attempt inf
2.41/2.54	c STR average number of conflicts per inconclusive attempt inf
2.41/2.54	c AVG.sumWPerc 62.05 
2.41/2.54	c bigint constraints 0 
2.41/2.54	o 1170
2.41/2.54	s OPTIMUM FOUND
2.41/2.54	v -x1 -x2 x3 x4 x5 -x6 x7 x8 -x9 x10 -x11 -x12 x13 x14 -x15 -x16 -x17 x18 -x19 x20 x21 x22 -x23 -x24 -x25 x26 -x27 -x28 x29 x30 -x31 x32 -x33 x34 x35 -x36 -x37 -x38 -x39 x40 x41 x42 -x43 x44 x45 x46 -x47 -x48 x49 -x50 -x51 -x52 x53 x54 -x55 -x56 x57 x58 x59 -x60 -x61 -x62 -x63 x64 x65 x66 x67 -x68 x69 -x70 x71 -x72 x73 x74 -x75 -x76 -x77 x78 x79 -x80 -x81 -x82 x83 x84 x85 -x86 -x87 -x88 x89 x90 -x91 -x92 x93 -x94 x95 x96 x97 -x98 x99 x100 -x101 -x102 -x103 -x104 x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 x114 -x115 x116 -x117 x118 -x119 x120 -x121 x122 -x123 -x124 x125 x126 x127 x128 x129 -x130 -x131 -x132 x133 x134 x135 -x136 -x137 -x138 x139 x140 x141 -x142 -x143 -x144 x145 x146 x147 -x148 -x149 -x150 x151 x152 -x153 -x154 x155 -x156 x157 x158 -x159 -x160 -x161 x162 x163 x164 -x165 x166 -x167 -x168 x169 -x170 -x171 x172 x173 -x174 x175 -x176 x177 x178 -x179 -x180 x181 -x182 -x183 x184 -x185 x186 x187 -x188 x189 -x190 -x191 x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 x201 x202 -x203 -x204 x205 x206 -x207 -x208 x209 -x210 x211 x212 -x213 x214 -x215 -x216 x217 -x218 -x219 -x220 x221 x222 x223 x224 -x225 -x226 -x227 x228 x229 x230 x231 -x232 -x233 -x234 x235 -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 x244 x245 x246 -x247 -x248 -x249 x250 x251 x252 -x253 -x254 -x255 x256 x257 x258 -x259 -x260 -x261 x262 x263 x264 -x265 -x266 -x267 x268 x269 x270 -x271 -x272 -x273 x274 x275 x276 -x277 -x278 -x279 x280 x281 x282 -x283 -x284 -x285 x286 x287 x288 -x289 -x290 -x291 x292 x293 x294 -x295 -x296 -x297 x298 x299 x300 -x301 -x302 -x303 x304 x305 x306 -x307 -x308 -x309 x310 x311 x312 -x313 -x314 -x315 x316 x317 x318 -x319 -x320 -x321 x322 x323 x324 -x325 -x326 -x327 x328 x329 x330 -x331 -x332 -x333 x334 x335 x336 -x337 -x338 -x339 x340 x341 x342 x343 -x344 -x345 x346 -x347 x348 x349 -x350 -x351 x352 -x353 x354 -x355 -x356 x357 x358 x359 -x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 x369 -x370 x371 x372 -x373 -x374 -x375 x376 x377 x378 -x379 -x380 x381 x382 x383 -x384 -x385 x386 -x387 -x388 x389 x390 -x391 x392 -x393 -x394 x395 x396 -x397 x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 x423 -x424 x425 -x426 -x427 x428 x429 x430 -x431 -x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 x441 x442 -x443 x444 -x445 x446 x447 x448 -x449 -x450 -x451 x452 -x453 x454 x455 -x456 -x457 x458 x459 -x460 -x461 x462 -x463 -x464 x465 -x466 x467 x468 -x469 x470 -x471 -x472 x473 x474 -x475 x476 x477 x478 -x479 -x480 -x481 x482 x483 -x484 x485 -x486 -x487 x488 x489 -x490 -x491 x492 -x493 -x494 -x495 x496 x497 x498 -x499 -x500 -x501 x502 x503 x504 -x505 -x506 -x507 x508 x509 x510 -x511 -x512 x513 -x514 x515 x516 -x517 -x518 x519 x520 x521 -x522 x523 -x524 x525 x526 -x527 -x528 -x529 -x530 x531 x532 -x533 x534 -x535 x536 x537 -x538 x539 -x540 -x541 -x542 -x543 x544 x545 x546 -x547 x548 x549 -x550 -x551 x552 x553 x554 -x555 x556 -x557 -x558 x559 -x560 x561 -x562 -x563 x564 x565 x566 -x567 -x568 -x569 x570 x571 -x572 x573 -x574 -x575 x576 x577 -x578 x579 x580 -x581 -x582 x583 x584 x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 x593 x594 -x595 x596 x597 -x598 x599 -x600 x601 x602 x603 -x604 -x605 -x606 x607 -x608 x609 -x610 -x611 x612 x613 x614 x615 -x616 -x617 -x618 x619 -x620 x621 -x622 -x623 x624 x625 -x626 -x627 x628 -x629 x630 -x631 -x632 x633 x634 -x635 x636 x637 -x638 x639 x640 -x641 -x642 x643 -x644 x645 -x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 x659 -x660 x661 -x662 -x663 x664 x665 -x666 x667 -x668 x669 -x670 x671 -x672 x673 -x674 x675 -x676 -x677 x678 x679 x680 x681 -x682 -x683 -x684 x685 x686 -x687 -x688 x689 -x690 x691 x692 x693 -x694 -x695 -x696 x697 -x698 x699 x700 -x701 -x702 x703 -x704 x705 -x706 -x707 x708 x709 x710 x711 -x712 -x713 -x714 -x715 x716 -x717 x718 -x719 x720 x721 x722 -x723 -x724 x725 -x726 x727 -x728 -x729 x730 x731 -x732 x733 -x734 x735 -x736 -x737 x738 x739 -x740 -x741 -x742 x743 x744 x745 -x746 -x747 x748 x749 -x750 x751 -x752 x753 -x754 -x755 x756 x757 x758 x759 -x760 -x761 -x762 x763 x764 -x765 -x766 x767 -x768 x769 x770 -x771 -x772 -x773 x774 x775 -x776 -x777 -x778 x779 x780 x781 x782 x783 -x784 -x785 -x786 -x787 -x788 x789 x790 -x791 x792 -x793 -x794 -x795 x796 x797 x798 x799 -x800 -x801 x802 x803 -x804 -x805 x806 -x807 x808 x809 -x810 x811 x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 x821 x822 -x823 x824 x825 x826 -x827 -x828 -x829 -x830 -x831 x832 x833 x834 -x835 -x836 x837 x838 -x839 x840 -x841 x842 x843 x844 -x845 -x846 -x847 -x848 -x849 x850 x851 x852 x853 x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 x862 x863 x864 -x865 -x866 x867 x868 -x869 x870 -x871 -x872 -x873 x874 x875 x876 -x877 -x878 -x879 x880 x881 x882 -x883 -x884 x885 -x886 x887 x888 -x889 -x890 -x891 x892 x893 x894 -x895 -x896 -x897 x898 x899 x900 -x901 -x902 -x903 x904 x905 x906 -x907 -x908 x909 x910 -x911 x912 -x913 -x914 x915 -x916 x917 x918 -x919 -x920 -x921 x922 x923 x924 -x925 x926 x927 -x928 -x929 x930 -x931 -x932 x933 -x934 x935 x936 -x937 x938 x939 -x940 -x941 x942 -x943 -x944 x945 x946 x947 -x948 -x949 -x950 -x951 x952 x953 x954 x955 -x956 -x957 x958 x959 -x960 x961 x962 x963 -x964 -x965 -x966 x967 x968 -x969 -x970 -x971 x972 x973 x974 -x975 -x976 -x977 x978 x979 x980 -x981 -x982 x983 -x984 x985 x986 x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 x995 x996 x997 -x998 -x999 -x1000 x1001 x1002 x1003 -x1004 -x1005 x1006 -x1007 x1008 x1009 -x1010 -x1011 -x1012 x1013 x1014 -x1015 x1016 x1017 x1018 -x1019 -x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 -x1028 -x1029 x1030 x1031 -x1032 x1033 x1034 x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 x1043 x1044 x1045 -x1046 -x1047 -x1048 x1049 x1050 x1051 -x1052 -x1053 x1054 x1055 -x1056 x1057 -x1058 -x1059 x1060 -x1061 x1062 x1063 -x1064 -x1065 -x1066 x1067 x1068 x1069 x1070 x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 x1078 x1079 -x1080 x1081 x1082 x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 x1091 x1092 x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 -x1100 x1101 -x1102 x1103 -x1104 x1105 -x1106 -x1107 x1108 x1109 -x1110 x1111 -x1112 -x1113 x1114 -x1115 x1116 x1117 -x1118 x1119 -x1120 x1121 -x1122 x1123 -x1124 -x1125 x1126 -x1127 x1128 x1129 -x1130 x1131 -x1132 -x1133 x1134 x1135 -x1136 -x1137 x1138 x1139 -x1140 x1141 -x1142 x1143 x1144 -x1145 -x1146 x1147 -x1148 -x1149 x1150 x1151 -x1152 x1153 -x1154 -x1155 -x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 x1163 x1164 x1165 -x1166 x1167 -x1168 x1169 -x1170 x1171 -x1172 -x1173 x1174 x1175 -x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 x1187 x1188 x1189 -x1190 -x1191 -x1192 x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 x1211 x1212 x1213 -x1214 -x1215 x1216 x1217 -x1218 x1219 -x1220 -x1221 -x1222 x1223 x1224 x1225 x1226 x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 x1235 x1236 x1237 x1238 x1239 -x1240 -x1241 -x1242 x1243 x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250 -x1251 x1252 x1253 -x1254 x1255 -x1256 -x1257 x1258 -x1259 x1260 x1261 -x1262 -x1263 -x1264 x1265 x1266 x1267 -x1268 -x1269 -x1270 x1271 x1272 x1273 -x1274 -x1275 x1276 -x1277 x1278 x1279 x1280 x1281 -x1282 -x1283 -x1284 x1285 -x1286 x1287 x1288 -x1289 -x1290 x1291 -x1292 -x1293 x1294 x1295 -x1296 x1297 -x1298 x1299 -x1300 -x1301 x1302 x1303 -x1304 -x1305 -x1306 x1307 x1308 x1309 x1310 x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 x1319 x1320 x1321 -x1322 -x1323 -x1324 x1325 x1326 x1327 -x1328 x1329 -x1330 -x1331 x1332 x1333 -x1334 -x1335 x1336 -x1337 x1338 x1339 -x1340 -x1341 x1342 x1343 -x1344 x1345 x1346 x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 x1354 -x1355 x1356 x1357 -x1358 -x1359 x1360 -x1361 x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 -x1369 -x1370 x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 x1378 x1379 x1380 -x1381 -x1382 x1383 -x1384 x1385 x1386 -x1387 -x1388 -x1389 x1390 x1391 x1392 -x1393 -x1394 x1395 -x1396 x1397 x1398 -x1399 -x1400 x1401 -x1402 x1403 x1404 -x1405 x1406 -x1407 x1408 x1409 -x1410 x1411 x1412 -x1413 -x1414 x1415 -x1416 -x1417 x1418 -x1419 x1420 -x1421 x1422 x1423 x1424 -x1425 -x1426 x1427 -x1428 x1429 -x1430 -x1431 -x1432 x1433 x1434 -x1435 -x1436 x1437 x1438 x1439 -x1440 -x1441 -x1442 x1443 -x1444 x1445 x1446 -x1447 x1448 -x1449 -x1450 x1451 x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 x1462 x1463 x1464 -x1465 x1466 x1467 -x1468 -x1469 x1470 -x1471 -x1472 x1473 x1474 -x1475 x1476 -x1477 -x1478 -x1479 x1480 x1481 x1482 -x1483 -x1484 -x1485 x1486 x1487 x1488 -x1489 x1490 x1491 -x1492 x1493 -x1494 -x1495 -x1496 x1497 x1498 x1499 -x1500 -x1501 -x1502 x1503 x1504 x1505 -x1506 -x1507 -x1508 x1509 x1510 x1511 -x1512 -x1513 -x1514 -x1515 x1516 x1517 x1518 -x1519 x1520 -x1521 -x1522 x1523 x1524 -x1525 -x1526 x1527 x1528 -x1529 x1530 -x1531 x1532 x1533 x1534 -x1535 -x1536 -x1537 x1538 x1539 -x1540 -x1541 x1542 -x1543 x1544 x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 x1553 x1554 x1555 -x1556 x1557 -x1558 -x1559 x1560 -x1561 x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 -x1573 x1574 x1575 -x1576 -x1577 x1578 -x1579 x1580 x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 x1588 x1589 x1590 -x1591 x1592 -x1593 x1594 -x1595 x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 x1606 x1607 x1608 -x1609 -x1610 x1611 -x1612 x1613 x1614 -x1615 -x1616 x1617 -x1618 x1619 x1620 -x1621 -x1622 x1623 -x1624 x1625 x1626 -x1627 -x1628 x1629 x1630 x1631 -x1632 -x1633 -x1634 x1635 x1636 x1637 -x1638 -x1639 -x1640 x1641 x1642 x1643 -x1644 -x1645 x1646 x1647 -x1648 -x1649 x1650 -x1651 -x1652 x1653 x1654 x1655 -x1656 -x1657 -x1658 x1659 x1660 x1661 -x1662 -x1663 -x1664 -x1665 x1666 x1667 x1668 -x1669 -x1670 -x1671 x1672 x1673 x1674 -x1675 x1676 x1677 x1678 -x1679 -x1680 x1681 -x1682 x1683 x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 x1691 x1692 x1693 -x1694 -x1695 -x1696 x1697 x1698 -x1699 x1700 x1701 x1702 -x1703 -x1704 x1705 -x1706 x1707 -x1708 -x1709 x1710 x1711 -x1712 -x1713 -x1714 x1715 x1716 x1717 -x1718 -x1719 x1720 x1721 -x1722 x1723 -x1724 -x1725 x1726 x1727 -x1728 -x1729 x1730 -x1731 x1732 x1733 -x1734 x1735 x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 x1743 -x1744 x1745 x1746 x1747 -x1748 -x1749 x1750 x1751 -x1752 x1753 -x1754 x1755 -x1756 -x1757 x1758 x1759 -x1760 x1761 -x1762 -x1763 x1764 x1765 x1766 -x1767 -x1768 -x1769 x1770 x1771 -x1772 -x1773 x1774 x1775 -x1776 x1777 x1778 -x1779 -x1780 -x1781 x1782 x1783 x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 x1791 -x1792 x1793 -x1794 x1795 -x1796 -x1797 x1798 -x1799 x1800 x1801 -x1802 x1803 x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 x1811 x1812 x1813 x1814 x1815 -x1816 -x1817 -x1818 x1819 x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 x1835 x1836 x1837 x1838 x1839 -x1840 -x1841 -x1842 x1843 x1844 -x1845 -x1846 -x1847 x1848 x1849 -x1850 -x1851 x1852 x1853 -x1854 x1855 x1856 x1857 -x1858 -x1859 -x1860 x1861 -x1862 x1863 x1864 -x1865 -x1866 x1867 x1868 x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 x1876 x1877 -x1878 x1879 -x1880 x1881 -x1882 x1883 -x1884 x1885 x1886 x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 x1900 x1901 -x1902 x1903 -x1904 -x1905 x1906 -x1907 x1908 x1909 -x1910 -x1911 x1912 x1913 -x1914 x1915 x1916 -x1917 x1918 -x1919 -x1920 x1921 x1922 x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 x1931 x1932 x1933 x1934 x1935 -x1936 -x1937 -x1938 x1939 x1940 x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 x1949 x1950 x1951 x1952 -x1953 -x1954 -x1955 x1956 x1957 x1958 -x1959 -x1960 x1961 -x1962 x1963 -x1964 x1965 -x1966 -x1967 x1968 x1969 x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 x1977 -x1978 -x1979 x1980 x1981 -x1982 x1983 -x1984 x1985 -x1986 x1987 -x1988 x1989 x1990 -x1991 -x1992 x1993 -x1994 x1995 -x1996 -x1997 x1998 -x1999 x2000 -x2001 x2002 x2003 -x2004 x2005 -x2006 -x2007 -x2008 x2009 x2010 x2011 -x2012 -x2013 -x2014 x2015 x2016 x2017 -x2018 -x2019 -x2020 x2021 x2022 x2023 -x2024 -x2025 x2026 x2027 -x2028 x2029 x2030 x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 x2038 x2039 -x2040 x2041 -x2042 -x2043 -x2044 x2045 x2046 x2047 x2048 -x2049 -x2050 x2051 -x2052 x2053 -x2054 -x2055 -x2056 x2057 x2058 x2059 -x2060 -x2061 x2062 -x2063 x2064 x2065 -x2066 -x2067 x2068 x2069 -x2070 x2071 -x2072 -x2073 x2074 -x2075 x2076 -x2077 -x2078 -x2079 x2080 x2081 x2082 x2083 -x2084 x2085 -x2086 -x2087 x2088 -x2089 -x2090 x2091 x2092 x2093 -x2094 x2095 -x2096 x2097 -x2098 x2099 -x2100 x2101 x2102 x2103 -x2104 -x2105 -x2106 x2107 x2108 x2109 -x2110 -x2111 -x2112 x2113 -x2114 x2115 x2116 -x2117 -x2118 x2119 -x2120 -x2121 x2122 x2123 -x2124 x2125 -x2126 -x2127 -x2128 x2129 x2130 -x2131 x2132 x2133 x2134 -x2135 -x2136 x2137 -x2138 -x2139 x2140 x2141 -x2142 x2143 x2144 x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 x2152 x2153 -x2154 x2155 -x2156 -x2157 -x2158 x2159 x2160 x2161 -x2162 x2163 x2164 -x2165 -x2166 x2167 x2168 -x2169 -x2170 x2171 -x2172 x2173 -x2174 -x2175 -x2176 x2177 x2178 x2179 -x2180 -x2181 x2182 x2183 -x2184 x2185 x2186 -x2187 -x2188 -x2189 x2190 x2191 x2192 x2193 -x2194 -x2195 -x2196 x2197 x2198 -x2199 x2200 -x2201 -x2202 x2203 -x2204 -x2205 x2206 x2207 -x2208 x2209 x2210 x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 x2218 x2219 -x2220 x2221 -x2222 -x2223 x2224 -x2225 x2226 -x2227 x2228 -x2229 x2230 -x2231 x2232 x2233 x2234 -x2235 -x2236 -x2237 x2238 x2239 -x2240 x2241 -x2242 -x2243 x2244 x2245 -x2246 -x2247 x2248 x2249 -x2250 x2251 -x2252 -x2253 -x2254 x2255 x2256 x2257 x2258 x2259 -x2260 -x2261 -x2262 x2263 -x2264 x2265 -x2266 x2267 -x2268 x2269 -x2270 -x2271 x2272 x2273 -x2274 x2275 -x2276 x2277 -x2278 x2279 -x2280 x2281 -x2282 -x2283 -x2284 x2285 x2286 x2287 -x2288 -x2289 -x2290 x2291 x2292 x2293 -x2294 -x2295 -x2296 x2297 x2298 x2299 x2300 x2301 -x2302 -x2303 -x2304 x2305 -x2306 x2307 -x2308 x2309 -x2310 x2311 x2312 -x2313 -x2314 -x2315 x2316 x2317 -x2318 x2319 x2320 -x2321 -x2322 x2323 -x2324 x2325 -x2326 x2327 -x2328 x2329 -x2330 -x2331 -x2332 x2333 x2334 x2335 -x2336 -x2337 -x2338 x2339 x2340