epmc - haddad-monmege exp

Log
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property exp_steps
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-done 201 0
iterating
iterating-progress-unbounded 659258 1.5 1
iterating-progress-unbounded 1395597 1.5 2
iterating-progress-unbounded 2132144 1.5 3
iterating-progress-unbounded 2868581 1.5 4
iterating-progress-unbounded 3602419 1.5 5
iterating-progress-unbounded 4338529 1.5 6
iterating-progress-unbounded 5074539 1.5 7
iterating-progress-unbounded 5810585 1.5 8
iterating-progress-unbounded 6544822 1.5 9
iterating-progress-unbounded 7279766 1.5 10
iterating-progress-unbounded 8015897 1.5 11
iterating-progress-unbounded 8742807 1.5 12
iterating-progress-unbounded 9479876 1.5 13
iterating-progress-unbounded 10217030 1.5 14
iterating-progress-unbounded 10931477 1.5 15
iterating-progress-unbounded 11655406 1.5 16
iterating-progress-unbounded 12392697 1.5 17
iterating-progress-unbounded 13129537 1.5 18
iterating-progress-unbounded 13865550 1.5 19
iterating-progress-unbounded 14601178 1.5 20
iterating-progress-unbounded 15337219 1.5 21
iterating-progress-unbounded 16074179 1.5 22
iterating-progress-unbounded 16811992 1.5 23
iterating-progress-unbounded 17549634 1.5 24
iterating-progress-unbounded 18287223 1.5 25
iterating-progress-unbounded 19024866 1.5 26
iterating-progress-unbounded 19762390 1.5 27
iterating-progress-unbounded 20500051 1.5 28
iterating-progress-unbounded 21236432 1.5 29
iterating-progress-unbounded 21972665 1.5 30
iterating-progress-unbounded 22708618 1.5 31
iterating-progress-unbounded 23445026 1.5 32
iterating-progress-unbounded 24181585 1.5 33
iterating-progress-unbounded 24919115 1.5 34
iterating-progress-unbounded 25649130 1.5 35
iterating-progress-unbounded 26377034 1.5 36
iterating-progress-unbounded 27114224 1.5 37
iterating-progress-unbounded 27851598 1.5 38
iterating-progress-unbounded 28585734 1.5 39
iterating-progress-unbounded 29322016 1.5 40
iterating-progress-unbounded 30057845 1.5 41
iterating-progress-unbounded 30794083 1.5 42
iterating-progress-unbounded 31530862 1.5 43
iterating-progress-unbounded 32268501 1.5 44
iterating-progress-unbounded 33005767 1.5 45
iterating-progress-unbounded 33743400 1.5 46
iterating-progress-unbounded 34480861 1.5 47
iterating-progress-unbounded 35218493 1.5 48
iterating-progress-unbounded 35954194 1.5 49
iterating-progress-unbounded 36690655 1.5 50
iterating-progress-unbounded 37426673 1.5 51
iterating-progress-unbounded 38163026 1.5 52
iterating-progress-unbounded 38899759 1.5 53
iterating-progress-unbounded 39637508 1.5 54
iterating-progress-unbounded 40374922 1.5 55
iterating-progress-unbounded 41112371 1.5 56
iterating-progress-unbounded 41849303 1.5 57
iterating-progress-unbounded 42586749 1.5 58
iterating-progress-unbounded 43323488 1.5 59
iterating-progress-unbounded 44057635 1.5 60
iterating-progress-unbounded 44792794 1.5 61
iterating-progress-unbounded 45528573 1.5 62
iterating-progress-unbounded 46265082 1.5 63
iterating-progress-unbounded 47002499 1.5 64
iterating-progress-unbounded 47739675 1.5 65
iterating-progress-unbounded 48477161 1.5 66
iterating-progress-unbounded 49214342 1.5 67
iterating-progress-unbounded 49951749 1.5 68
iterating-progress-unbounded 50687375 1.5 69
iterating-progress-unbounded 51423249 1.5 70
iterating-progress-unbounded 52158501 1.5 71
iterating-progress-unbounded 52894809 1.5 72
iterating-progress-unbounded 53631429 1.5 73
iterating-progress-unbounded 54368887 1.5 74
iterating-progress-unbounded 55106542 1.5 75
iterating-progress-unbounded 55844269 1.5 76
iterating-progress-unbounded 56581599 1.5 77
iterating-progress-unbounded 57319338 1.5 78
iterating-progress-unbounded 58055863 1.5 79
iterating-progress-unbounded 58791966 1.5 80
iterating-progress-unbounded 59527405 1.5 81
iterating-progress-unbounded 60263472 1.5 82
iterating-progress-unbounded 61000122 1.5 83
iterating-progress-unbounded 61737730 1.5 84
iterating-progress-unbounded 62475199 1.5 85
iterating-progress-unbounded 63212965 1.5 86
iterating-progress-unbounded 63948025 1.5 87
iterating-progress-unbounded 64685711 1.5 88
iterating-progress-unbounded 65422785 1.5 89
iterating-progress-unbounded 66159045 1.5 90
iterating-progress-unbounded 66895387 1.5 91
iterating-progress-unbounded 67631504 1.5 92
iterating-progress-unbounded 68367206 1.5 93
iterating-progress-unbounded 69104058 1.5 94
iterating-progress-unbounded 69841194 1.5 95
iterating-progress-unbounded 70578789 1.5 96
iterating-progress-unbounded 71316053 1.5 97
iterating-progress-unbounded 72053840 1.5 98
iterating-progress-unbounded 72791166 1.5 99
iterating-progress-unbounded 73528121 1.5 100
iterating-progress-unbounded 74264447 1.5 101
iterating-progress-unbounded 75000389 1.5 102
iterating-progress-unbounded 75736532 1.5 103
iterating-progress-unbounded 76473650 1.5 104
iterating-progress-unbounded 77210792 1.5 105
iterating-progress-unbounded 77948551 1.5 106
iterating-progress-unbounded 78685929 1.5 107
iterating-progress-unbounded 79423580 1.5 108
iterating-progress-unbounded 80160649 1.5 109
iterating-progress-unbounded 80898295 1.5 110
iterating-progress-unbounded 81634370 1.5 111
iterating-progress-unbounded 82370879 1.5 112
iterating-progress-unbounded 83106442 1.5 113
iterating-progress-unbounded 83843114 1.5 114
iterating-progress-unbounded 84579953 1.5 115
iterating-progress-unbounded 85317678 1.5 116
iterating-progress-unbounded 86054753 1.5 117
iterating-progress-unbounded 86792248 1.5 118
iterating-progress-unbounded 87529448 1.5 119
iterating-progress-unbounded 88265370 1.5 120
iterating-progress-unbounded 89001764 1.5 121
iterating-progress-unbounded 89737760 1.5 122
iterating-progress-unbounded 90473240 1.5 123
iterating-progress-unbounded 91209078 1.5 124
iterating-progress-unbounded 91945373 1.5 125
iterating-progress-unbounded 92683044 1.5 126
iterating-progress-unbounded 93420374 1.5 127
iterating-progress-unbounded 94158055 1.5 128
iterating-progress-unbounded 94894763 1.5 129
iterating-progress-unbounded 95632235 1.5 130
iterating-progress-unbounded 96369706 1.5 131
iterating-progress-unbounded 97102103 1.5 132
iterating-progress-unbounded 97838083 1.5 133
iterating-progress-unbounded 98574262 1.5 134
iterating-progress-unbounded 99310416 1.5 135
iterating-progress-unbounded 100047257 1.5 136
iterating-progress-unbounded 100784387 1.5 137
iterating-progress-unbounded 101521698 1.5 138
iterating-progress-unbounded 102258932 1.5 139
iterating-progress-unbounded 102996227 1.5 140
iterating-progress-unbounded 103733463 1.5 141
iterating-progress-unbounded 104469796 1.5 142
iterating-progress-unbounded 105206067 1.5 143
iterating-progress-unbounded 105942240 1.5 144
iterating-progress-unbounded 106678230 1.5 145
iterating-progress-unbounded 107415212 1.5 146
iterating-progress-unbounded 108152688 1.5 147
iterating-progress-unbounded 108890451 1.5 148
iterating-progress-unbounded 109627325 1.5 149
iterating-progress-unbounded 110364820 1.5 150
iterating-progress-unbounded 111102211 1.5 151
iterating-progress-unbounded 111838727 1.5 152
iterating-progress-unbounded 112574718 1.5 153
iterating-progress-unbounded 113310320 1.5 154
iterating-progress-unbounded 114046538 1.5 155
iterating-progress-unbounded 114783368 1.5 156
iterating-progress-unbounded 115520606 1.5 157
iterating-progress-unbounded 116258311 1.5 158
iterating-progress-unbounded 116995430 1.5 159
iterating-progress-unbounded 117733132 1.5 160
iterating-progress-unbounded 118470545 1.5 161
iterating-progress-unbounded 119206850 1.5 162
iterating-progress-unbounded 119942904 1.5 163
iterating-progress-unbounded 120679191 1.5 164
iterating-progress-unbounded 121414915 1.5 165
iterating-progress-unbounded 122151810 1.5 166
iterating-progress-unbounded 122889126 1.5 167
iterating-progress-unbounded 123626960 1.5 168
iterating-progress-unbounded 124363643 1.5 169
iterating-progress-unbounded 125101365 1.5 170
iterating-progress-unbounded 125839014 1.5 171
iterating-progress-unbounded 126576042 1.5 172
iterating-progress-unbounded 127311843 1.5 173
iterating-progress-unbounded 128048254 1.5 174
iterating-progress-unbounded 128784874 1.5 175
iterating-progress-unbounded 129522104 1.5 176
iterating-progress-unbounded 130259410 1.5 177
iterating-progress-unbounded 130997184 1.5 178
iterating-progress-unbounded 131734447 1.5 179
iterating-progress-unbounded 132470157 1.5 180
iterating-progress-unbounded 133207269 1.5 181
iterating-progress-unbounded 133944560 1.5 182
iterating-progress-unbounded 134681101 1.5 183
iterating-progress-unbounded 135417226 1.5 184
iterating-progress-unbounded 136152862 1.5 185
iterating-progress-unbounded 136889539 1.5 186
iterating-progress-unbounded 137626413 1.5 187
iterating-progress-unbounded 138364073 1.5 188
iterating-progress-unbounded 139100021 1.5 189
iterating-progress-unbounded 139837206 1.5 190
iterating-progress-unbounded 140574794 1.5 191
iterating-progress-unbounded 141312238 1.5 192
iterating-progress-unbounded 142048798 1.5 193
iterating-progress-unbounded 142781776 1.5 194
iterating-progress-unbounded 143515526 1.5 195
iterating-progress-unbounded 144252272 1.5 196
iterating-progress-unbounded 144988922 1.5 197
iterating-progress-unbounded 145726696 1.5 198
iterating-progress-unbounded 146464126 1.5 199
iterating-progress-unbounded 147201663 1.5 200
iterating-progress-unbounded 147938946 1.5 201
iterating-progress-unbounded 148676649 1.5 202
iterating-progress-unbounded 149413516 1.5 203
iterating-progress-unbounded 150149835 1.5 204
iterating-progress-unbounded 150885859 1.5 205
iterating-progress-unbounded 151622275 1.5 206
iterating-progress-unbounded 152359030 1.5 207
iterating-progress-unbounded 153096436 1.5 208
iterating-progress-unbounded 153833802 1.5 209
iterating-progress-unbounded 154571419 1.5 210
iterating-progress-unbounded 155308802 1.5 211
iterating-progress-unbounded 156046327 1.5 212
iterating-progress-unbounded 156783475 1.5 213
iterating-progress-unbounded 157520288 1.5 214
iterating-progress-unbounded 158256677 1.5 215
iterating-progress-unbounded 158992725 1.5 216
iterating-progress-unbounded 159728753 1.5 217
iterating-progress-unbounded 160465616 1.5 218
iterating-progress-unbounded 161203101 1.5 219
iterating-progress-unbounded 161940831 1.5 220
iterating-progress-unbounded 162678275 1.5 221
iterating-progress-unbounded 163415678 1.5 222
iterating-progress-unbounded 164153159 1.5 223
iterating-progress-unbounded 164890007 1.5 224
iterating-progress-unbounded 165626266 1.5 225
iterating-progress-unbounded 166362562 1.5 226
iterating-progress-unbounded 167099109 1.5 227
iterating-progress-unbounded 167836093 1.5 228
iterating-progress-unbounded 168573445 1.5 229
iterating-progress-unbounded 169311144 1.5 230
iterating-progress-unbounded 170048739 1.5 231
iterating-progress-unbounded 170786397 1.5 232
iterating-progress-unbounded 171523944 1.5 233
iterating-progress-unbounded 172260863 1.5 234
iterating-progress-unbounded 172997314 1.5 235
iterating-progress-unbounded 173733599 1.5 236
iterating-progress-unbounded 174469872 1.5 237
iterating-progress-unbounded 175206378 1.5 238
iterating-progress-unbounded 175943812 1.5 239
iterating-progress-unbounded 176679767 1.5 240
iterating-progress-unbounded 177416478 1.5 241
iterating-progress-unbounded 178153549 1.5 242
iterating-progress-unbounded 178890769 1.5 243
iterating-progress-unbounded 179611538 1.5 244
iterating-progress-unbounded 180347212 1.5 245
iterating-progress-unbounded 181083053 1.5 246
iterating-progress-unbounded 181818862 1.5 247
iterating-progress-unbounded 182555133 1.5 248
iterating-progress-unbounded 183291832 1.5 249
iterating-progress-unbounded 184028561 1.5 250
iterating-progress-unbounded 184765788 1.5 251
iterating-progress-unbounded 185502943 1.5 252
iterating-progress-unbounded 186239882 1.5 253
iterating-progress-unbounded 186976385 1.5 254
iterating-progress-unbounded 187712400 1.5 255
iterating-progress-unbounded 188448250 1.5 256
iterating-progress-unbounded 189184381 1.5 257
iterating-progress-unbounded 189921002 1.5 258
iterating-progress-unbounded 190658332 1.5 259
iterating-progress-unbounded 191395368 1.5 260
iterating-progress-unbounded 192132490 1.5 261
iterating-progress-unbounded 192869967 1.5 262
iterating-progress-unbounded 193607011 1.5 263
iterating-progress-unbounded 194344352 1.5 264
iterating-progress-unbounded 195080922 1.5 265
iterating-progress-unbounded 195817341 1.5 266
iterating-progress-unbounded 196553521 1.5 267
iterating-progress-unbounded 197290083 1.5 268
iterating-progress-unbounded 198026270 1.5 269
iterating-progress-unbounded 198763748 1.5 270
iterating-progress-unbounded 199499592 1.5 271
iterating-progress-unbounded 200237060 1.5 272
iterating-progress-unbounded 200974553 1.5 273
iterating-progress-unbounded 201711844 1.5 274
iterating-progress-unbounded 202448605 1.5 275
iterating-progress-unbounded 203184749 1.5 276
iterating-progress-unbounded 203920332 1.5 277
iterating-progress-unbounded 204656569 1.5 278
iterating-progress-unbounded 205388966 1.5 279
iterating-progress-unbounded 206126692 1.5 280
iterating-progress-unbounded 206864151 1.5 281
iterating-progress-unbounded 207600977 1.5 282
iterating-progress-unbounded 208338170 1.5 283
iterating-progress-unbounded 209075813 1.5 284
iterating-progress-unbounded 209813061 1.5 285
iterating-progress-unbounded 210549751 1.5 286
iterating-progress-unbounded 211286007 1.5 287
iterating-progress-unbounded 212021848 1.5 288
iterating-progress-unbounded 212758041 1.5 289
iterating-progress-unbounded 213494978 1.5 290
iterating-progress-unbounded 214232688 1.5 291
iterating-progress-unbounded 214970398 1.5 292
iterating-progress-unbounded 215707949 1.5 293
iterating-progress-unbounded 216445549 1.5 294
iterating-progress-unbounded 217183123 1.5 295
iterating-progress-unbounded 217918740 1.5 296
iterating-progress-unbounded 218655095 1.5 297
iterating-progress-unbounded 219390871 1.5 298
iterating-progress-unbounded 220127179 1.5 299
iterating-progress-unbounded 220862577 1.5 300
iterating-progress-unbounded 221599659 1.5 301
iterating-progress-unbounded 222336139 1.5 302
iterating-progress-unbounded 223073546 1.5 303
iterating-progress-unbounded 223810917 1.5 304
iterating-progress-unbounded 224547909 1.5 305
iterating-progress-unbounded 225283043 1.5 306
iterating-progress-unbounded 226019048 1.5 307
iterating-progress-unbounded 226754994 1.5 308
iterating-progress-unbounded 227490389 1.5 309
iterating-progress-unbounded 228226654 1.5 310
iterating-progress-unbounded 228963975 1.5 311
iterating-progress-unbounded 229701533 1.5 312
iterating-progress-unbounded 230438888 1.5 313
iterating-progress-unbounded 231176313 1.5 314
iterating-progress-unbounded 231913950 1.5 315
iterating-progress-unbounded 232650829 1.5 316
iterating-progress-unbounded 233386914 1.5 317
iterating-progress-unbounded 234123030 1.5 318
iterating-progress-unbounded 234859382 1.5 319
iterating-progress-unbounded 235596184 1.5 320
iterating-progress-unbounded 236333575 1.5 321
iterating-progress-unbounded 237071312 1.5 322
iterating-progress-unbounded 237808818 1.5 323
iterating-progress-unbounded 238546543 1.5 324
iterating-progress-unbounded 239283983 1.5 325
iterating-progress-unbounded 240019255 1.5 326
iterating-progress-unbounded 240755479 1.5 327
iterating-progress-unbounded 241491685 1.5 328
iterating-progress-unbounded 242227971 1.5 329
iterating-progress-unbounded 242964785 1.5 330
iterating-progress-unbounded 243702300 1.5 331
iterating-progress-unbounded 244439827 1.5 332
iterating-progress-unbounded 245177122 1.5 333
iterating-progress-unbounded 245914473 1.5 334
iterating-progress-unbounded 246651726 1.5 335
iterating-progress-unbounded 247389206 1.5 336
iterating-progress-unbounded 248125718 1.5 337
iterating-progress-unbounded 248861680 1.5 338
iterating-progress-unbounded 249597312 1.5 339
iterating-progress-unbounded 250333881 1.5 340
iterating-progress-unbounded 251070507 1.5 341
iterating-progress-unbounded 251807859 1.5 342
iterating-progress-unbounded 252545245 1.5 343
iterating-progress-unbounded 253282964 1.5 344
iterating-progress-unbounded 254020186 1.5 345
iterating-progress-unbounded 254757791 1.5 346
iterating-progress-unbounded 255494465 1.5 347
iterating-progress-unbounded 256231040 1.5 348
iterating-progress-unbounded 256966508 1.5 349
iterating-progress-unbounded 257702915 1.5 350
iterating-progress-unbounded 258439733 1.5 351
iterating-progress-unbounded 259177513 1.5 352
iterating-progress-unbounded 259914990 1.5 353
iterating-progress-unbounded 260652708 1.5 354
iterating-progress-unbounded 261390321 1.5 355
iterating-progress-unbounded 262127985 1.5 356
iterating-progress-unbounded 262864165 1.5 357
iterating-progress-unbounded 263600817 1.5 358
iterating-progress-unbounded 264336634 1.5 359
iterating-progress-unbounded 265071521 1.5 360
iterating-progress-unbounded 265807769 1.5 361
iterating-progress-unbounded 266536610 1.5 362
iterating-progress-unbounded 267263908 1.5 363
iterating-progress-unbounded 268001319 1.5 364
iterating-progress-unbounded 268738211 1.5 365
iterating-progress-unbounded 269475662 1.5 366
iterating-progress-unbounded 270212884 1.5 367
iterating-progress-unbounded 270949611 1.5 368
iterating-progress-unbounded 271684917 1.5 369
iterating-progress-unbounded 272420614 1.5 370
iterating-progress-unbounded 273156664 1.5 371
iterating-progress-unbounded 273893309 1.5 372
iterating-progress-unbounded 274630634 1.5 373
iterating-progress-unbounded 275368199 1.5 374
iterating-progress-unbounded 276105662 1.5 375
iterating-progress-unbounded 276843368 1.5 376
iterating-progress-unbounded 277580636 1.5 377
iterating-progress-unbounded 278317075 1.5 378
iterating-progress-unbounded 279053209 1.5 379
iterating-progress-unbounded 279788937 1.5 380
iterating-progress-unbounded 280524580 1.5 381
iterating-progress-unbounded 281261374 1.5 382
iterating-progress-unbounded 281998534 1.5 383
iterating-progress-unbounded 282736030 1.5 384
iterating-progress-unbounded 283473027 1.5 385
iterating-progress-unbounded 284210708 1.5 386
iterating-progress-unbounded 284948105 1.5 387
iterating-progress-unbounded 285684733 1.5 388
iterating-progress-unbounded 286420718 1.5 389
iterating-progress-unbounded 287156431 1.5 390
iterating-progress-unbounded 287892671 1.5 391
iterating-progress-unbounded 288629431 1.5 392
iterating-progress-unbounded 289366528 1.5 393
iterating-progress-unbounded 290103979 1.5 394
iterating-progress-unbounded 290841432 1.5 395
iterating-progress-unbounded 291575808 1.5 396
iterating-progress-unbounded 292312942 1.5 397
iterating-progress-unbounded 293042504 1.5 398
iterating-progress-unbounded 293778909 1.5 399
iterating-progress-unbounded 294514883 1.5 400
iterating-progress-unbounded 295250980 1.5 401
iterating-progress-unbounded 295987590 1.5 402
iterating-progress-unbounded 296724792 1.5 403
iterating-progress-unbounded 297462515 1.5 404
iterating-progress-unbounded 298199382 1.5 405
iterating-progress-unbounded 298936567 1.5 406
iterating-progress-unbounded 299673722 1.5 407
iterating-progress-unbounded 300410336 1.5 408
iterating-progress-unbounded 301146259 1.5 409
iterating-progress-unbounded 301882268 1.5 410
iterating-progress-unbounded 302618540 1.5 411
iterating-progress-unbounded 303355709 1.5 412
iterating-progress-unbounded 304093134 1.5 413
iterating-progress-unbounded 304830696 1.5 414
iterating-progress-unbounded 305568294 1.5 415
iterating-progress-unbounded 306305963 1.5 416
iterating-progress-unbounded 307043129 1.5 417
iterating-progress-unbounded 307780127 1.5 418
iterating-progress-unbounded 308516349 1.5 419
iterating-progress-unbounded 309250598 1.5 420
iterating-progress-unbounded 309986451 1.5 421
iterating-progress-unbounded 310722825 1.5 422
iterating-progress-unbounded 311459944 1.5 423
iterating-progress-unbounded 312197300 1.5 424
iterating-progress-unbounded 312934349 1.5 425
iterating-progress-unbounded 313672028 1.5 426
iterating-progress-unbounded 314409496 1.5 427
iterating-progress-unbounded 315146379 1.5 428
iterating-progress-unbounded 315882351 1.5 429
iterating-progress-unbounded 316618372 1.5 430
iterating-progress-unbounded 317354206 1.5 431
iterating-progress-unbounded 318090989 1.5 432
iterating-progress-unbounded 318828340 1.5 433
iterating-progress-unbounded 319565675 1.5 434
iterating-progress-unbounded 320303033 1.5 435
iterating-progress-unbounded 321040646 1.5 436
iterating-progress-unbounded 321777869 1.5 437
iterating-progress-unbounded 322515406 1.5 438
iterating-progress-unbounded 323251745 1.5 439
iterating-progress-unbounded 323988063 1.5 440
iterating-progress-unbounded 324723737 1.5 441
iterating-progress-unbounded 325459981 1.5 442
iterating-progress-unbounded 326196714 1.5 443
iterating-progress-unbounded 326934204 1.5 444
iterating-progress-unbounded 327671511 1.5 445
iterating-progress-unbounded 328409148 1.5 446
iterating-progress-unbounded 329146676 1.5 447
iterating-progress-unbounded 329884389 1.5 448
iterating-progress-unbounded 330621374 1.5 449
iterating-progress-unbounded 331354815 1.5 450
iterating-progress-unbounded 332090876 1.5 451
iterating-progress-unbounded 332826540 1.5 452
iterating-progress-unbounded 333562518 1.5 453
iterating-progress-unbounded 334299365 1.5 454
iterating-progress-unbounded 335036631 1.5 455
iterating-progress-unbounded 335774138 1.5 456
iterating-progress-unbounded 336511008 1.5 457
iterating-progress-unbounded 337248422 1.5 458
iterating-progress-unbounded 337985796 1.5 459
iterating-progress-unbounded 338722732 1.5 460
iterating-progress-unbounded 339459078 1.5 461
iterating-progress-unbounded 340194886 1.5 462
iterating-progress-unbounded 340930886 1.5 463
iterating-progress-unbounded 341667849 1.5 464
iterating-progress-unbounded 342404941 1.5 465
iterating-progress-unbounded 343142609 1.5 466
iterating-progress-unbounded 343880022 1.5 467
iterating-progress-unbounded 344617687 1.5 468
iterating-progress-unbounded 345354915 1.5 469
iterating-progress-unbounded 346092504 1.5 470
iterating-progress-unbounded 346829192 1.5 471
iterating-progress-unbounded 347565709 1.5 472
iterating-progress-unbounded 348301742 1.5 473
iterating-progress-unbounded 349038216 1.5 474
iterating-progress-unbounded 349774788 1.5 475
iterating-progress-unbounded 350512030 1.5 476
iterating-progress-unbounded 351248785 1.5 477
iterating-progress-unbounded 351986156 1.5 478
iterating-progress-unbounded 352723374 1.5 479
iterating-progress-unbounded 353458881 1.5 480
iterating-progress-unbounded 354195182 1.5 481
iterating-progress-unbounded 354931145 1.5 482
iterating-progress-unbounded 355667072 1.5 483
iterating-progress-unbounded 356402988 1.5 484
iterating-progress-unbounded 357139157 1.5 485
iterating-progress-unbounded 357876376 1.5 486
iterating-progress-unbounded 358613611 1.5 487
iterating-progress-unbounded 359351038 1.5 488
iterating-progress-unbounded 360087580 1.5 489
iterating-progress-unbounded 360825010 1.5 490
iterating-progress-unbounded 361562526 1.5 491
iterating-progress-unbounded 362298968 1.5 492
iterating-progress-unbounded 363035153 1.5 493
iterating-progress-unbounded 363771031 1.5 494
iterating-progress-unbounded 364507335 1.5 495
iterating-progress-unbounded 365244311 1.5 496
iterating-progress-unbounded 365981657 1.5 497
iterating-progress-unbounded 366719258 1.5 498
iterating-progress-unbounded 367456492 1.5 499
iterating-progress-unbounded 368194067 1.5 500
iterating-progress-unbounded 368931240 1.5 501
iterating-progress-unbounded 369667686 1.5 502
iterating-progress-unbounded 370404241 1.5 503
iterating-progress-unbounded 371140343 1.5 504
iterating-progress-unbounded 371876680 1.5 505
iterating-progress-unbounded 372613492 1.5 506
iterating-progress-unbounded 373351032 1.5 507
iterating-progress-unbounded 374088448 1.5 508
iterating-progress-unbounded 374825768 1.5 509
iterating-progress-unbounded 375563112 1.5 510
iterating-progress-unbounded 376300014 1.5 511
iterating-progress-unbounded 377036685 1.5 512
iterating-progress-unbounded 377772657 1.5 513
iterating-progress-unbounded 378503160 1.5 514
iterating-progress-unbounded 379227122 1.5 515
iterating-progress-unbounded 379963662 1.5 516
iterating-progress-unbounded 380700488 1.5 517
iterating-progress-unbounded 381438048 1.5 518
iterating-progress-unbounded 382175511 1.5 519
iterating-progress-unbounded 382913090 1.5 520
iterating-progress-unbounded 383650453 1.5 521
iterating-progress-unbounded 384386943 1.5 522
iterating-progress-unbounded 385123134 1.5 523
iterating-progress-unbounded 385858993 1.5 524
iterating-progress-unbounded 386594906 1.5 525
iterating-progress-unbounded 387331432 1.5 526
iterating-progress-unbounded 388068863 1.5 527
iterating-progress-unbounded 388806386 1.5 528
iterating-progress-unbounded 389543560 1.5 529
iterating-progress-unbounded 390281161 1.5 530
iterating-progress-unbounded 391018794 1.5 531
iterating-progress-unbounded 391756146 1.5 532
iterating-progress-unbounded 392492737 1.5 533
iterating-progress-unbounded 393229230 1.5 534
iterating-progress-unbounded 393965065 1.5 535
iterating-progress-unbounded 394701470 1.5 536
iterating-progress-unbounded 395438126 1.5 537
iterating-progress-unbounded 396175718 1.5 538
iterating-progress-unbounded 396913252 1.5 539
iterating-progress-unbounded 397649100 1.5 540
iterating-progress-unbounded 398386271 1.5 541
iterating-progress-unbounded 399123334 1.5 542
iterating-progress-unbounded 399859755 1.5 543
iterating-progress-unbounded 400595568 1.5 544
iterating-progress-unbounded 401330893 1.5 545
iterating-progress-unbounded 402066991 1.5 546
iterating-progress-unbounded 402803293 1.5 547
iterating-progress-unbounded 403540434 1.5 548
iterating-progress-unbounded 404277075 1.5 549
iterating-progress-unbounded 405014084 1.5 550
iterating-progress-unbounded 405751356 1.5 551
iterating-progress-unbounded 406488576 1.5 552
iterating-progress-unbounded 407225139 1.5 553
iterating-progress-unbounded 407961026 1.5 554
iterating-progress-unbounded 408696715 1.5 555
iterating-progress-unbounded 409432400 1.5 556
iterating-progress-unbounded 410168776 1.5 557
iterating-progress-unbounded 410906420 1.5 558
iterating-progress-unbounded 411643556 1.5 559
iterating-progress-unbounded 412380871 1.5 560
iterating-progress-unbounded 413117960 1.5 561
iterating-progress-unbounded 413855356 1.5 562
iterating-progress-unbounded 414592774 1.5 563
iterating-progress-unbounded 415329217 1.5 564
iterating-progress-unbounded 416065538 1.5 565
iterating-progress-unbounded 416801638 1.5 566
iterating-progress-unbounded 417537977 1.5 567
iterating-progress-unbounded 418275049 1.5 568
iterating-progress-unbounded 419012322 1.5 569
iterating-progress-unbounded 419749807 1.5 570
iterating-progress-unbounded 420487207 1.5 571
iterating-progress-unbounded 421224601 1.5 572
iterating-progress-unbounded 421961888 1.5 573
iterating-progress-unbounded 422698508 1.5 574
iterating-progress-unbounded 423434765 1.5 575
iterating-progress-unbounded 424170977 1.5 576
iterating-progress-unbounded 424907042 1.5 577
iterating-progress-unbounded 425643964 1.5 578
iterating-progress-unbounded 426373026 1.5 579
iterating-progress-unbounded 427110538 1.5 580
iterating-progress-unbounded 427848013 1.5 581
iterating-progress-unbounded 428585417 1.5 582
iterating-progress-unbounded 429322764 1.5 583
iterating-progress-unbounded 430059606 1.5 584
iterating-progress-unbounded 430795541 1.5 585
iterating-progress-unbounded 431531560 1.5 586
iterating-progress-unbounded 432267655 1.5 587
iterating-progress-unbounded 433004636 1.5 588
iterating-progress-unbounded 433738335 1.5 589
iterating-progress-unbounded 434475921 1.5 590
iterating-progress-unbounded 435213634 1.5 591
iterating-progress-unbounded 435951053 1.5 592
iterating-progress-unbounded 436688524 1.5 593
iterating-progress-unbounded 437425967 1.5 594
iterating-progress-unbounded 438162641 1.5 595
iterating-progress-unbounded 438899068 1.5 596
iterating-progress-unbounded 439634830 1.5 597
iterating-progress-unbounded 440371291 1.5 598
iterating-progress-unbounded 441107789 1.5 599
iterating-progress-unbounded 441843320 1.5 600
iterating-progress-unbounded 442580494 1.5 601
iterating-progress-unbounded 443317790 1.5 602
iterating-progress-unbounded 444055028 1.5 603
iterating-progress-unbounded 444792186 1.5 604
iterating-progress-unbounded 445529076 1.5 605
iterating-progress-unbounded 446265571 1.5 606
iterating-progress-unbounded 447001469 1.5 607
iterating-progress-unbounded 447737373 1.5 608
iterating-progress-unbounded 448465796 1.5 609
iterating-progress-unbounded 449201102 1.5 610
iterating-progress-unbounded 449938148 1.5 611
iterating-progress-unbounded 450675264 1.5 612
iterating-progress-unbounded 451412138 1.5 613
iterating-progress-unbounded 452149314 1.5 614
iterating-progress-unbounded 452886731 1.5 615
iterating-progress-unbounded 453624399 1.5 616
iterating-progress-unbounded 454360754 1.5 617
iterating-progress-unbounded 455096936 1.5 618
iterating-progress-unbounded 455831669 1.5 619
iterating-progress-unbounded 456568022 1.5 620
iterating-progress-unbounded 457304488 1.5 621
iterating-progress-unbounded 458042177 1.5 622
iterating-progress-unbounded 458779713 1.5 623
iterating-progress-unbounded 459517357 1.5 624
iterating-progress-unbounded 460254537 1.5 625
iterating-progress-unbounded 460992276 1.5 626
iterating-progress-unbounded 461727968 1.5 627
iterating-progress-unbounded 462459224 1.5 628
iterating-progress-unbounded 463193818 1.5 629
iterating-progress-unbounded 463929175 1.5 630
iterating-progress-unbounded 464665742 1.5 631
iterating-progress-unbounded 465403376 1.5 632
iterating-progress-unbounded 466140605 1.5 633
iterating-progress-unbounded 466877912 1.5 634
iterating-progress-unbounded 467615040 1.5 635
iterating-progress-unbounded 468352465 1.5 636
iterating-progress-unbounded 469089441 1.5 637
iterating-progress-unbounded 469822701 1.5 638
iterating-progress-unbounded 470551032 1.5 639
iterating-progress-unbounded 471275754 1.5 640
iterating-progress-unbounded 472011574 1.5 641
iterating-progress-unbounded 472748283 1.5 642
iterating-progress-unbounded 473485552 1.5 643
iterating-progress-unbounded 474223157 1.5 644
iterating-progress-unbounded 474960202 1.5 645
iterating-progress-unbounded 475697896 1.5 646
iterating-progress-unbounded 476435221 1.5 647
iterating-progress-unbounded 477172909 1.5 648
iterating-progress-unbounded 477909417 1.5 649
iterating-progress-unbounded 478645976 1.5 650
iterating-progress-unbounded 479381895 1.5 651
iterating-progress-unbounded 480118571 1.5 652
iterating-progress-unbounded 480855211 1.5 653
iterating-progress-unbounded 481592906 1.5 654
iterating-progress-unbounded 482330169 1.5 655
iterating-progress-unbounded 483067913 1.5 656
iterating-progress-unbounded 483805092 1.5 657
iterating-progress-unbounded 484542823 1.5 658
iterating-progress-unbounded 485278215 1.5 659
iterating-progress-unbounded 486013043 1.5 660
iterating-progress-unbounded 486748743 1.5 661
iterating-progress-unbounded 487485140 1.5 662
iterating-progress-unbounded 488221636 1.5 663
iterating-progress-unbounded 488958967 1.5 664
iterating-progress-unbounded 489695874 1.5 665
iterating-progress-unbounded 490433428 1.5 666
iterating-progress-unbounded 491170394 1.5 667
iterating-progress-unbounded 491906260 1.5 668
iterating-progress-unbounded 492642006 1.5 669
iterating-progress-unbounded 493377941 1.5 670
iterating-progress-unbounded 494113698 1.5 671
iterating-progress-unbounded 494849999 1.5 672
iterating-progress-unbounded 495586580 1.5 673
iterating-progress-unbounded 496324068 1.5 674
iterating-progress-unbounded 497061377 1.5 675
iterating-progress-unbounded 497798888 1.5 676
iterating-progress-unbounded 498535914 1.5 677
iterating-progress-unbounded 499273641 1.5 678
iterating-progress-unbounded 500010839 1.5 679
iterating-progress-unbounded 500747571 1.5 680
iterating-progress-unbounded 501482322 1.5 681
iterating-progress-unbounded 502215475 1.5 682
iterating-progress-unbounded 502950233 1.5 683
iterating-progress-unbounded 503686426 1.5 684
iterating-progress-unbounded 504423658 1.5 685
iterating-progress-unbounded 505161362 1.5 686
iterating-progress-unbounded 505898756 1.5 687
iterating-progress-unbounded 506636497 1.5 688
iterating-progress-unbounded 507373446 1.5 689
iterating-progress-unbounded 508109083 1.5 690
iterating-progress-unbounded 508843863 1.5 691
iterating-progress-unbounded 509576965 1.5 692
iterating-progress-unbounded 510311631 1.5 693
iterating-progress-unbounded 511048313 1.5 694
iterating-progress-unbounded 511785517 1.5 695
iterating-progress-unbounded 512523155 1.5 696
iterating-progress-unbounded 513260441 1.5 697
iterating-progress-unbounded 513998195 1.5 698
iterating-progress-unbounded 514735648 1.5 699
iterating-progress-unbounded 515471346 1.5 700
iterating-progress-unbounded 516205901 1.5 701
iterating-progress-unbounded 516939026 1.5 702
iterating-progress-unbounded 517673603 1.5 703
iterating-progress-unbounded 518408595 1.5 704
iterating-progress-unbounded 519145791 1.5 705
iterating-progress-unbounded 519883558 1.5 706
iterating-progress-unbounded 520619329 1.5 707
iterating-progress-unbounded 521357012 1.5 708
iterating-progress-unbounded 522094205 1.5 709
iterating-progress-unbounded 522831925 1.5 710
iterating-progress-unbounded 523566140 1.5 711
iterating-progress-unbounded 524301082 1.5 712
iterating-progress-unbounded 525034488 1.5 713
iterating-progress-unbounded 525769759 1.5 714
iterating-progress-unbounded 526506222 1.5 715
iterating-progress-unbounded 527243715 1.5 716
iterating-progress-unbounded 527980844 1.5 717
iterating-progress-unbounded 528718517 1.5 718
iterating-progress-unbounded 529455855 1.5 719
iterating-progress-unbounded 530191944 1.5 720
iterating-progress-unbounded 530926995 1.5 721
iterating-progress-unbounded 531661445 1.5 722
iterating-progress-unbounded 532394274 1.5 723
iterating-progress-unbounded 533128747 1.5 724
iterating-progress-unbounded 533864713 1.5 725
iterating-progress-unbounded 534602472 1.5 726
iterating-progress-unbounded 535339867 1.5 727
iterating-progress-unbounded 536077588 1.5 728
iterating-progress-unbounded 536814331 1.5 729
iterating-progress-unbounded 537551853 1.5 730
iterating-progress-unbounded 538287662 1.5 731
iterating-progress-unbounded 539022203 1.5 732
iterating-progress-unbounded 539755092 1.5 733
iterating-progress-unbounded 540489899 1.5 734
iterating-progress-unbounded 541226387 1.5 735
iterating-progress-unbounded 541963490 1.5 736
iterating-progress-unbounded 542700390 1.5 737
iterating-progress-unbounded 543438067 1.5 738
iterating-progress-unbounded 544175462 1.5 739
iterating-progress-unbounded 544912917 1.5 740
iterating-progress-unbounded 545648181 1.5 741
iterating-progress-unbounded 546382998 1.5 742
iterating-progress-unbounded 547116462 1.5 743
iterating-progress-unbounded 547851255 1.5 744
iterating-progress-unbounded 548587681 1.5 745
iterating-progress-unbounded 549325383 1.5 746
iterating-progress-unbounded 550061416 1.5 747
iterating-progress-unbounded 550799086 1.5 748
iterating-progress-unbounded 551536080 1.5 749
iterating-progress-unbounded 552273506 1.5 750
iterating-progress-unbounded 553009002 1.5 751
iterating-progress-unbounded 553743775 1.5 752
iterating-progress-unbounded 554476628 1.5 753
iterating-progress-unbounded 555211516 1.5 754
iterating-progress-unbounded 555947950 1.5 755
iterating-progress-unbounded 556685429 1.5 756
iterating-progress-unbounded 557422664 1.5 757
iterating-progress-unbounded 558160334 1.5 758
iterating-progress-unbounded 558890302 1.5 759
iterating-progress-unbounded 559596232 1.5 760
iterating-progress-unbounded 560331936 1.5 761
iterating-progress-unbounded 561066149 1.5 762
iterating-progress-unbounded 561799372 1.5 763
iterating-progress-unbounded 562534266 1.5 764
iterating-progress-unbounded 563270425 1.5 765
iterating-progress-unbounded 564008000 1.5 766
iterating-progress-unbounded 564745489 1.5 767
iterating-progress-unbounded 565483003 1.5 768
iterating-progress-unbounded 566220252 1.5 769
iterating-progress-unbounded 566957896 1.5 770
iterating-progress-unbounded 567693702 1.5 771
iterating-progress-unbounded 568428736 1.5 772
iterating-progress-unbounded 569162087 1.5 773
iterating-progress-unbounded 569897342 1.5 774
iterating-progress-unbounded 570633794 1.5 775
iterating-progress-unbounded 571371431 1.5 776
iterating-progress-unbounded 572108772 1.5 777
iterating-progress-unbounded 572846429 1.5 778
iterating-progress-unbounded 573583945 1.5 779
iterating-progress-unbounded 574319646 1.5 780
iterating-progress-unbounded 575054970 1.5 781
iterating-progress-unbounded 575789610 1.5 782
iterating-progress-unbounded 576522502 1.5 783
iterating-progress-unbounded 577256902 1.5 784
iterating-progress-unbounded 577992668 1.5 785
iterating-progress-unbounded 578730074 1.5 786
iterating-progress-unbounded 579467229 1.5 787
iterating-progress-unbounded 580204896 1.5 788
iterating-progress-unbounded 580941488 1.5 789
iterating-progress-unbounded 581678710 1.5 790
iterating-progress-unbounded 582416222 1.5 791
iterating-progress-unbounded 583151922 1.5 792
iterating-progress-unbounded 583886714 1.5 793
iterating-progress-unbounded 584619849 1.5 794
iterating-progress-unbounded 585354608 1.5 795
iterating-progress-unbounded 586091176 1.5 796
iterating-progress-unbounded 586828444 1.5 797
iterating-progress-unbounded 587566062 1.5 798
iterating-progress-unbounded 588303511 1.5 799
iterating-progress-unbounded 589041147 1.5 800
iterating-progress-unbounded 589778370 1.5 801
iterating-progress-unbounded 590513946 1.5 802
iterating-progress-unbounded 591249109 1.5 803
iterating-progress-unbounded 591982517 1.5 804
iterating-progress-unbounded 592717202 1.5 805
iterating-progress-unbounded 593453711 1.5 806
iterating-progress-unbounded 594191351 1.5 807
iterating-progress-unbounded 594929075 1.5 808
iterating-progress-unbounded 595666429 1.5 809
iterating-progress-unbounded 596403848 1.5 810
iterating-progress-unbounded 597141186 1.5 811
iterating-progress-unbounded 597876712 1.5 812
iterating-progress-unbounded 598611485 1.5 813
iterating-progress-unbounded 599344708 1.5 814
iterating-progress-unbounded 600079575 1.5 815
iterating-progress-unbounded 600816201 1.5 816
iterating-progress-unbounded 601553299 1.5 817
iterating-progress-unbounded 602290954 1.5 818
iterating-progress-unbounded 603028515 1.5 819
iterating-progress-unbounded 603765996 1.5 820
iterating-progress-unbounded 604503429 1.5 821
iterating-progress-unbounded 605238487 1.5 822
iterating-progress-unbounded 605973583 1.5 823
iterating-progress-unbounded 606706719 1.5 824
iterating-progress-unbounded 607442592 1.5 825
iterating-progress-unbounded 608178732 1.5 826
iterating-progress-unbounded 608916089 1.5 827
iterating-progress-unbounded 609653760 1.5 828
iterating-progress-unbounded 610390819 1.5 829
iterating-progress-unbounded 611128253 1.5 830
iterating-progress-unbounded 611865960 1.5 831
iterating-progress-unbounded 612602539 1.5 832
iterating-progress-unbounded 613338396 1.5 833
iterating-progress-unbounded 614073488 1.5 834
iterating-progress-unbounded 614809445 1.5 835
iterating-progress-unbounded 615546357 1.5 836
iterating-progress-unbounded 616283701 1.5 837
iterating-progress-unbounded 617021325 1.5 838
iterating-progress-unbounded 617758697 1.5 839
iterating-progress-unbounded 618494802 1.5 840
iterating-progress-unbounded 619231049 1.5 841
iterating-progress-unbounded 619967104 1.5 842
iterating-progress-unbounded 620702868 1.5 843
iterating-progress-unbounded 621438399 1.5 844
iterating-progress-unbounded 622174202 1.5 845
iterating-progress-unbounded 622911075 1.5 846
iterating-progress-unbounded 623648302 1.5 847
iterating-progress-unbounded 624381331 1.5 848
iterating-progress-unbounded 625112306 1.5 849
iterating-progress-unbounded 625849394 1.5 850
iterating-progress-unbounded 626586454 1.5 851
iterating-progress-unbounded 627323617 1.5 852
iterating-progress-unbounded 628059791 1.5 853
iterating-progress-unbounded 628795943 1.5 854
iterating-progress-unbounded 629531407 1.5 855
iterating-progress-unbounded 630267364 1.5 856
iterating-progress-unbounded 631003832 1.5 857
iterating-progress-unbounded 631741360 1.5 858
iterating-progress-unbounded 632478512 1.5 859
iterating-progress-unbounded 633215924 1.5 860
iterating-progress-unbounded 633952931 1.5 861
iterating-progress-unbounded 634690247 1.5 862
iterating-progress-unbounded 635426861 1.5 863
iterating-progress-unbounded 636162616 1.5 864
iterating-progress-unbounded 636898179 1.5 865
iterating-progress-unbounded 637634366 1.5 866
iterating-progress-unbounded 638370878 1.5 867
iterating-progress-unbounded 639108585 1.5 868
iterating-progress-unbounded 639845765 1.5 869
iterating-progress-unbounded 640583176 1.5 870
iterating-progress-unbounded 641320521 1.5 871
iterating-progress-unbounded 642057892 1.5 872
iterating-progress-unbounded 642794751 1.5 873
iterating-progress-unbounded 643531559 1.5 874
iterating-progress-unbounded 644265908 1.5 875
iterating-progress-unbounded 645001917 1.5 876
iterating-progress-unbounded 645737856 1.5 877
iterating-progress-unbounded 646474840 1.5 878
iterating-progress-unbounded 647203867 1.5 879
iterating-progress-unbounded 647910406 1.5 880
iterating-progress-unbounded 648647672 1.5 881
iterating-progress-unbounded 649363609 1.5 882
iterating-progress-unbounded 650096618 1.5 883
iterating-progress-unbounded 650832994 1.5 884
iterating-progress-unbounded 651568439 1.5 885
iterating-progress-unbounded 652303849 1.5 886
iterating-progress-unbounded 653039819 1.5 887
iterating-progress-unbounded 653776749 1.5 888
iterating-progress-unbounded 654513789 1.5 889
iterating-progress-unbounded 655251320 1.5 890
iterating-progress-unbounded 655988597 1.5 891
iterating-progress-unbounded 656726051 1.5 892
iterating-progress-unbounded 657462163 1.5 893
iterating-progress-unbounded 658198521 1.5 894
iterating-progress-unbounded 658934658 1.5 895
iterating-progress-unbounded 659670294 1.5 896
iterating-progress-unbounded 660406217 1.5 897
iterating-progress-unbounded 661143240 1.5 898
iterating-progress-unbounded 661880537 1.5 899
iterating-progress-unbounded 662616525 1.5 900
iterating-progress-unbounded 663352963 1.5 901
iterating-progress-unbounded 664090176 1.5 902
iterating-progress-unbounded 664827223 1.5 903
iterating-progress-unbounded 665563031 1.5 904
iterating-progress-unbounded 666298461 1.5 905
iterating-progress-unbounded 667034572 1.5 906
iterating-progress-unbounded 667770677 1.5 907
iterating-progress-unbounded 668507258 1.5 908
iterating-progress-unbounded 669243309 1.5 909
iterating-progress-unbounded 669980558 1.5 910
iterating-progress-unbounded 670717821 1.5 911
iterating-progress-unbounded 671455110 1.5 912
iterating-progress-unbounded 672192141 1.5 913
iterating-progress-unbounded 672928083 1.5 914
iterating-progress-unbounded 673664345 1.5 915
iterating-progress-unbounded 674400098 1.5 916
iterating-progress-unbounded 675135894 1.5 917
iterating-progress-unbounded 675872687 1.5 918
iterating-progress-unbounded 676609987 1.5 919
iterating-progress-unbounded 677347644 1.5 920
iterating-progress-unbounded 678084377 1.5 921
iterating-progress-unbounded 678822002 1.5 922
iterating-progress-unbounded 679559513 1.5 923
iterating-progress-unbounded 680296117 1.5 924
iterating-progress-unbounded 681031697 1.5 925
iterating-progress-unbounded 681767431 1.5 926
iterating-progress-unbounded 682503461 1.5 927
iterating-progress-unbounded 683240408 1.5 928
iterating-progress-unbounded 683977538 1.5 929
iterating-progress-unbounded 684714909 1.5 930
iterating-progress-unbounded 685452067 1.5 931
iterating-progress-unbounded 686189410 1.5 932
iterating-progress-unbounded 686926445 1.5 933
iterating-progress-unbounded 687663801 1.5 934
iterating-progress-unbounded 688399838 1.5 935
iterating-progress-unbounded 689135662 1.5 936
iterating-progress-unbounded 689870968 1.5 937
iterating-progress-unbounded 690606731 1.5 938
iterating-progress-unbounded 691334502 1.5 939
iterating-progress-unbounded 692040945 1.5 940
iterating-progress-unbounded 692778205 1.5 941
iterating-progress-unbounded 693515653 1.5 942
iterating-progress-unbounded 694253040 1.5 943
iterating-progress-unbounded 694990729 1.5 944
iterating-progress-unbounded 695726786 1.5 945
iterating-progress-unbounded 696462817 1.5 946
iterating-progress-unbounded 697198642 1.5 947
iterating-progress-unbounded 697934737 1.5 948
iterating-progress-unbounded 698671285 1.5 949
iterating-progress-unbounded 699408766 1.5 950
iterating-progress-unbounded 700146254 1.5 951
iterating-progress-unbounded 700883885 1.5 952
iterating-progress-unbounded 701621295 1.5 953
iterating-progress-unbounded 702358753 1.5 954
iterating-progress-unbounded 703094100 1.5 955
iterating-progress-unbounded 703830422 1.5 956
iterating-progress-unbounded 704567152 1.5 957
iterating-progress-unbounded 705303032 1.5 958
iterating-progress-unbounded 706039163 1.5 959
iterating-progress-unbounded 706774570 1.5 960
iterating-progress-unbounded 707511370 1.5 961
iterating-progress-unbounded 708248538 1.5 962
iterating-progress-unbounded 708985473 1.5 963
iterating-progress-unbounded 709722689 1.5 964
iterating-progress-unbounded 710458243 1.5 965
iterating-progress-unbounded 711194158 1.5 966
iterating-progress-unbounded 711930718 1.5 967
iterating-progress-unbounded 712666039 1.5 968
iterating-progress-unbounded 713400994 1.5 969
iterating-progress-unbounded 714137487 1.5 970
iterating-progress-unbounded 714874748 1.5 971
iterating-progress-unbounded 715612248 1.5 972
iterating-progress-unbounded 716349352 1.5 973
iterating-progress-unbounded 717086681 1.5 974
iterating-progress-unbounded 717823216 1.5 975
iterating-progress-unbounded 718559457 1.5 976
iterating-progress-unbounded 719296192 1.5 977
iterating-progress-unbounded 720006520 1.5 978
iterating-progress-unbounded 720742206 1.5 979
iterating-progress-unbounded 721478658 1.5 980
iterating-progress-unbounded 722215718 1.5 981
iterating-progress-unbounded 722952946 1.5 982
iterating-progress-unbounded 723690367 1.5 983
iterating-progress-unbounded 724427899 1.5 984
iterating-progress-unbounded 725163985 1.5 985
iterating-progress-unbounded 725900020 1.5 986
iterating-progress-unbounded 726636850 1.5 987
iterating-progress-unbounded 727372924 1.5 988
iterating-progress-unbounded 728108503 1.5 989
iterating-progress-unbounded 728845116 1.5 990
iterating-progress-unbounded 729582291 1.5 991
iterating-progress-unbounded 730319603 1.5 992
iterating-progress-unbounded 731056742 1.5 993
iterating-progress-unbounded 731794036 1.5 994
iterating-progress-unbounded 732530536 1.5 995
iterating-progress-unbounded 733266639 1.5 996
iterating-progress-unbounded 734003280 1.5 997
iterating-progress-unbounded 734739034 1.5 998
iterating-progress-unbounded 735475020 1.5 999
iterating-progress-unbounded 736211958 1.5 1000
iterating-progress-unbounded 736949406 1.5 1001
iterating-progress-unbounded 737686582 1.5 1002
iterating-progress-unbounded 738423983 1.5 1003
iterating-progress-unbounded 739161560 1.5 1004
iterating-progress-unbounded 739897977 1.5 1005
iterating-progress-unbounded 740634052 1.5 1006
iterating-progress-unbounded 741371083 1.5 1007
iterating-progress-unbounded 742106670 1.5 1008
iterating-progress-unbounded 742842509 1.5 1009
iterating-progress-unbounded 743579252 1.5 1010
iterating-progress-unbounded 744316772 1.5 1011
iterating-progress-unbounded 745054322 1.5 1012
iterating-progress-unbounded 745787663 1.5 1013
iterating-progress-unbounded 746525406 1.5 1014
iterating-progress-unbounded 747261727 1.5 1015
iterating-progress-unbounded 747997591 1.5 1016
iterating-progress-unbounded 748734145 1.5 1017
iterating-progress-unbounded 749469155 1.5 1018
iterating-progress-unbounded 750204873 1.5 1019
iterating-progress-unbounded 750940103 1.5 1020
iterating-progress-unbounded 751676801 1.5 1021
iterating-progress-unbounded 752413577 1.5 1022
iterating-progress-unbounded 753150165 1.5 1023
iterating-progress-unbounded 753886977 1.5 1024
iterating-progress-unbounded 754622074 1.5 1025
iterating-progress-unbounded 755353645 1.5 1026
iterating-progress-unbounded 756090601 1.5 1027
iterating-progress-unbounded 756825889 1.5 1028
iterating-progress-unbounded 757560938 1.5 1029
iterating-progress-unbounded 758297399 1.5 1030
iterating-progress-unbounded 759035108 1.5 1031
iterating-progress-unbounded 759772443 1.5 1032
iterating-progress-unbounded 760509870 1.5 1033
iterating-progress-unbounded 761247285 1.5 1034
iterating-progress-unbounded 761983363 1.5 1035
iterating-progress-unbounded 762718863 1.5 1036
iterating-progress-unbounded 763455188 1.5 1037
iterating-progress-unbounded 764190335 1.5 1038
iterating-progress-unbounded 764925964 1.5 1039
iterating-progress-unbounded 765662331 1.5 1040
iterating-progress-unbounded 766399467 1.5 1041
iterating-progress-unbounded 767136853 1.5 1042
iterating-progress-unbounded 767874537 1.5 1043
iterating-progress-unbounded 768611965 1.5 1044
iterating-progress-unbounded 769349577 1.5 1045
iterating-progress-unbounded 770085712 1.5 1046
iterating-progress-unbounded 770821534 1.5 1047
iterating-progress-unbounded 771556325 1.5 1048
iterating-progress-unbounded 772291771 1.5 1049
iterating-progress-unbounded 773028360 1.5 1050
iterating-progress-unbounded 773765922 1.5 1051
iterating-progress-unbounded 774503189 1.5 1052
iterating-progress-unbounded 775240346 1.5 1053
iterating-progress-unbounded 775977639 1.5 1054
iterating-progress-unbounded 776715171 1.5 1055
iterating-progress-unbounded 777452740 1.5 1056
iterating-progress-unbounded 778188816 1.5 1057
iterating-progress-unbounded 778924654 1.5 1058
iterating-progress-unbounded 779657115 1.5 1059
iterating-progress-unbounded 780393474 1.5 1060
iterating-progress-unbounded 781129616 1.5 1061
iterating-progress-unbounded 781867250 1.5 1062
iterating-progress-unbounded 782604764 1.5 1063
iterating-progress-unbounded 783342166 1.5 1064
iterating-progress-unbounded 784079424 1.5 1065
iterating-progress-unbounded 784816784 1.5 1066
iterating-progress-unbounded 785540595 1.5 1067
iterating-progress-unbounded 786277083 1.5 1068
iterating-progress-unbounded 787012786 1.5 1069
iterating-progress-unbounded 787748907 1.5 1070
iterating-progress-unbounded 788485137 1.5 1071
iterating-progress-unbounded 789222482 1.5 1072
iterating-progress-unbounded 789959933 1.5 1073
iterating-progress-unbounded 790697515 1.5 1074
iterating-progress-unbounded 791435148 1.5 1075
iterating-progress-unbounded 792172781 1.5 1076
iterating-progress-unbounded 792909306 1.5 1077
iterating-progress-unbounded 793645564 1.5 1078
iterating-progress-unbounded 794381659 1.5 1079
iterating-progress-unbounded 795116503 1.5 1080
iterating-progress-unbounded 795852994 1.5 1081
iterating-progress-unbounded 796590112 1.5 1082
iterating-progress-unbounded 797327413 1.5 1083
iterating-progress-unbounded 798064426 1.5 1084
iterating-progress-unbounded 798801338 1.5 1085
iterating-progress-unbounded 799538757 1.5 1086
iterating-progress-unbounded 800275322 1.5 1087
iterating-progress-unbounded 801011634 1.5 1088
iterating-progress-unbounded 801747097 1.5 1089
iterating-progress-unbounded 802483019 1.5 1090
iterating-progress-unbounded 803219773 1.5 1091
iterating-progress-unbounded 803957315 1.5 1092
iterating-progress-unbounded 804694547 1.5 1093
iterating-progress-unbounded 805432041 1.5 1094
iterating-progress-unbounded 806169384 1.5 1095
iterating-progress-unbounded 806906628 1.5 1096
iterating-progress-unbounded 807643064 1.5 1097
iterating-progress-unbounded 808379296 1.5 1098
iterating-progress-unbounded 809115112 1.5 1099
iterating-progress-unbounded 809851732 1.5 1100
iterating-progress-unbounded 810588513 1.5 1101
iterating-progress-unbounded 811326083 1.5 1102
iterating-progress-unbounded 812063698 1.5 1103
iterating-progress-unbounded 812801359 1.5 1104
iterating-progress-unbounded 813538739 1.5 1105
iterating-progress-unbounded 814276186 1.5 1106
iterating-progress-unbounded 815012837 1.5 1107
iterating-progress-unbounded 815749336 1.5 1108
iterating-progress-unbounded 816485298 1.5 1109
iterating-progress-unbounded 817221638 1.5 1110
iterating-progress-unbounded 817958553 1.5 1111
iterating-progress-unbounded 818695989 1.5 1112
iterating-progress-unbounded 819433355 1.5 1113
iterating-progress-unbounded 820170796 1.5 1114
iterating-progress-unbounded 820907852 1.5 1115
iterating-progress-unbounded 821645353 1.5 1116
iterating-progress-unbounded 822382202 1.5 1117
iterating-progress-unbounded 823118654 1.5 1118
iterating-progress-unbounded 823854815 1.5 1119
iterating-progress-unbounded 824591328 1.5 1120
iterating-progress-unbounded 825327919 1.5 1121
iterating-progress-unbounded 826065133 1.5 1122
iterating-progress-unbounded 826802627 1.5 1123
iterating-progress-unbounded 827540401 1.5 1124
iterating-progress-unbounded 828277644 1.5 1125
iterating-progress-unbounded 829015260 1.5 1126
iterating-progress-unbounded 829752087 1.5 1127
iterating-progress-unbounded 830488553 1.5 1128
iterating-progress-unbounded 831224264 1.5 1129
iterating-progress-unbounded 831960802 1.5 1130
iterating-progress-unbounded 832697797 1.5 1131
iterating-progress-unbounded 833435584 1.5 1132
iterating-progress-unbounded 834173067 1.5 1133
iterating-progress-unbounded 834910881 1.5 1134
iterating-progress-unbounded 835648277 1.5 1135
iterating-progress-unbounded 836385693 1.5 1136
iterating-progress-unbounded 837122218 1.5 1137
iterating-progress-unbounded 837858679 1.5 1138
iterating-progress-unbounded 838594483 1.5 1139
iterating-progress-unbounded 839329191 1.5 1140
iterating-progress-unbounded 840065227 1.5 1141
iterating-progress-unbounded 840802507 1.5 1142
iterating-progress-unbounded 841539543 1.5 1143
iterating-progress-unbounded 842276958 1.5 1144
iterating-progress-unbounded 843013856 1.5 1145
iterating-progress-unbounded 843751468 1.5 1146
iterating-progress-unbounded 844487945 1.5 1147
iterating-progress-unbounded 845224291 1.5 1148
iterating-progress-unbounded 845959457 1.5 1149
iterating-progress-unbounded 846695436 1.5 1150
iterating-progress-unbounded 847431916 1.5 1151
iterating-progress-unbounded 848169318 1.5 1152
iterating-progress-unbounded 848906282 1.5 1153
iterating-progress-unbounded 849643695 1.5 1154
iterating-progress-unbounded 850381147 1.5 1155
iterating-progress-unbounded 851118988 1.5 1156
iterating-progress-unbounded 851855676 1.5 1157
iterating-progress-unbounded 852592377 1.5 1158
iterating-progress-unbounded 853328065 1.5 1159
iterating-progress-unbounded 854064626 1.5 1160
iterating-progress-unbounded 854801089 1.5 1161
iterating-progress-unbounded 855538680 1.5 1162
iterating-progress-unbounded 856276106 1.5 1163
iterating-progress-unbounded 857013731 1.5 1164
iterating-progress-unbounded 857751258 1.5 1165
iterating-progress-unbounded 858489100 1.5 1166
iterating-progress-unbounded 859225801 1.5 1167
iterating-progress-unbounded 859962472 1.5 1168
iterating-progress-unbounded 860698026 1.5 1169
iterating-progress-unbounded 861432730 1.5 1170
iterating-progress-unbounded 862169572 1.5 1171
iterating-progress-unbounded 862907018 1.5 1172
iterating-progress-unbounded 863644349 1.5 1173
iterating-progress-unbounded 864382036 1.5 1174
iterating-progress-unbounded 865119172 1.5 1175
iterating-progress-unbounded 865856742 1.5 1176
iterating-progress-unbounded 866593102 1.5 1177
iterating-progress-unbounded 867329564 1.5 1178
iterating-progress-unbounded 868058361 1.5 1179
iterating-progress-unbounded 868794573 1.5 1180
iterating-progress-unbounded 869531070 1.5 1181
iterating-progress-unbounded 870268420 1.5 1182
iterating-progress-unbounded 871004929 1.5 1183
iterating-progress-unbounded 871742655 1.5 1184
iterating-progress-unbounded 872479764 1.5 1185
iterating-progress-unbounded 873217440 1.5 1186
iterating-progress-unbounded 873954211 1.5 1187
iterating-progress-unbounded 874690682 1.5 1188
iterating-progress-unbounded 875426451 1.5 1189
iterating-progress-unbounded 876162907 1.5 1190
iterating-progress-unbounded 876899755 1.5 1191
iterating-progress-unbounded 877637480 1.5 1192
iterating-progress-unbounded 878374462 1.5 1193
iterating-progress-unbounded 879111106 1.5 1194
iterating-progress-unbounded 879848647 1.5 1195
iterating-progress-unbounded 880586357 1.5 1196
iterating-progress-unbounded 881322834 1.5 1197
iterating-progress-unbounded 882059033 1.5 1198
iterating-progress-unbounded 882794729 1.5 1199
iterating-progress-unbounded 883529623 1.5 1200
iterating-progress-unbounded 884265979 1.5 1201
iterating-progress-unbounded 885003041 1.5 1202
iterating-progress-unbounded 885740251 1.5 1203
iterating-progress-unbounded 886477567 1.5 1204
iterating-progress-unbounded 887214505 1.5 1205
iterating-progress-unbounded 887951841 1.5 1206
iterating-progress-unbounded 888688258 1.5 1207
iterating-progress-unbounded 889424486 1.5 1208
iterating-progress-unbounded 890159819 1.5 1209
iterating-progress-unbounded 890896174 1.5 1210
iterating-progress-unbounded 891632877 1.5 1211
iterating-progress-unbounded 892370337 1.5 1212
iterating-progress-unbounded 893107778 1.5 1213
iterating-progress-unbounded 893845236 1.5 1214
iterating-progress-unbounded 894582804 1.5 1215
iterating-progress-unbounded 895320457 1.5 1216
iterating-progress-unbounded 896057074 1.5 1217
iterating-progress-unbounded 896793323 1.5 1218
iterating-progress-unbounded 897529147 1.5 1219
iterating-progress-unbounded 898265626 1.5 1220
iterating-progress-unbounded 899002219 1.5 1221
iterating-progress-unbounded 899739961 1.5 1222
iterating-progress-unbounded 900477647 1.5 1223
iterating-progress-unbounded 901215361 1.5 1224
iterating-progress-unbounded 901952934 1.5 1225
iterating-progress-unbounded 902690489 1.5 1226
iterating-progress-unbounded 903427192 1.5 1227
iterating-progress-unbounded 904163396 1.5 1228
iterating-progress-unbounded 904899288 1.5 1229
iterating-progress-unbounded 905635487 1.5 1230
iterating-progress-unbounded 906372234 1.5 1231
iterating-progress-unbounded 907109727 1.5 1232
iterating-progress-unbounded 907846916 1.5 1233
iterating-progress-unbounded 908584187 1.5 1234
iterating-progress-unbounded 909321439 1.5 1235
iterating-progress-unbounded 910058824 1.5 1236
iterating-progress-unbounded 910795390 1.5 1237
iterating-progress-unbounded 911531450 1.5 1238
iterating-progress-unbounded 912262107 1.5 1239
iterating-progress-unbounded 912998540 1.5 1240
iterating-progress-unbounded 913735075 1.5 1241
iterating-progress-unbounded 914472529 1.5 1242
iterating-progress-unbounded 915209959 1.5 1243
iterating-progress-unbounded 915947805 1.5 1244
iterating-progress-unbounded 916685046 1.5 1245
iterating-progress-unbounded 917422683 1.5 1246
iterating-progress-unbounded 918159581 1.5 1247
iterating-progress-unbounded 918895894 1.5 1248
iterating-progress-unbounded 919631696 1.5 1249
iterating-progress-unbounded 920368070 1.5 1250
iterating-progress-unbounded 921105108 1.5 1251
iterating-progress-unbounded 921842758 1.5 1252
iterating-progress-unbounded 922580183 1.5 1253
iterating-progress-unbounded 923318030 1.5 1254
iterating-progress-unbounded 924055842 1.5 1255
iterating-progress-unbounded 924793667 1.5 1256
iterating-progress-unbounded 925530312 1.5 1257
iterating-progress-unbounded 926266606 1.5 1258
iterating-progress-unbounded 927002481 1.5 1259
iterating-progress-unbounded 927736646 1.5 1260
iterating-progress-unbounded 928473131 1.5 1261
iterating-progress-unbounded 929210385 1.5 1262
iterating-progress-unbounded 929947779 1.5 1263
iterating-progress-unbounded 930681901 1.5 1264
iterating-progress-unbounded 931419140 1.5 1265
iterating-progress-unbounded 932156712 1.5 1266
iterating-progress-unbounded 932894343 1.5 1267
iterating-progress-unbounded 933630704 1.5 1268
iterating-progress-unbounded 934366174 1.5 1269
iterating-progress-unbounded 935102242 1.5 1270
iterating-progress-unbounded 935838501 1.5 1271
iterating-progress-unbounded 936575356 1.5 1272
iterating-progress-unbounded 937312854 1.5 1273
iterating-progress-unbounded 938050424 1.5 1274
iterating-progress-unbounded 938788250 1.5 1275
iterating-progress-unbounded 939526037 1.5 1276
iterating-progress-unbounded 940263613 1.5 1277
iterating-progress-unbounded 941000433 1.5 1278
iterating-progress-unbounded 941736809 1.5 1279
iterating-progress-unbounded 942472968 1.5 1280
iterating-progress-unbounded 943208953 1.5 1281
iterating-progress-unbounded 943945913 1.5 1282
iterating-progress-unbounded 944683540 1.5 1283
iterating-progress-unbounded 945420944 1.5 1284
iterating-progress-unbounded 946158586 1.5 1285
iterating-progress-unbounded 946896345 1.5 1286
iterating-progress-unbounded 947633948 1.5 1287
iterating-progress-unbounded 948370624 1.5 1288
iterating-progress-unbounded 949106885 1.5 1289
iterating-progress-unbounded 949842949 1.5 1290
iterating-progress-unbounded 950579219 1.5 1291
iterating-progress-unbounded 951316227 1.5 1292
iterating-progress-unbounded 952053587 1.5 1293
iterating-progress-unbounded 952791046 1.5 1294
iterating-progress-unbounded 953528589 1.5 1295
iterating-progress-unbounded 954265879 1.5 1296
iterating-progress-unbounded 955003276 1.5 1297
iterating-progress-unbounded 955740181 1.5 1298
iterating-progress-unbounded 956476585 1.5 1299
iterating-progress-unbounded 957212763 1.5 1300
iterating-progress-unbounded 957949120 1.5 1301
iterating-progress-unbounded 958685825 1.5 1302
iterating-progress-unbounded 959423336 1.5 1303
iterating-progress-unbounded 960160989 1.5 1304
iterating-progress-unbounded 960898272 1.5 1305
iterating-progress-unbounded 961635993 1.5 1306
iterating-progress-unbounded 962373798 1.5 1307
iterating-progress-unbounded 963106122 1.5 1308
iterating-progress-unbounded 963840677 1.5 1309
iterating-progress-unbounded 964574192 1.5 1310
iterating-progress-unbounded 965309324 1.5 1311
iterating-progress-unbounded 966045826 1.5 1312
iterating-progress-unbounded 966783474 1.5 1313
iterating-progress-unbounded 967521233 1.5 1314
iterating-progress-unbounded 968258961 1.5 1315
iterating-progress-unbounded 968996755 1.5 1316
iterating-progress-unbounded 969734377 1.5 1317
iterating-progress-unbounded 970472039 1.5 1318
iterating-progress-unbounded 971208228 1.5 1319
iterating-progress-unbounded 971943069 1.5 1320
iterating-progress-unbounded 972678691 1.5 1321
iterating-progress-unbounded 973414822 1.5 1322
iterating-progress-unbounded 974151463 1.5 1323
iterating-progress-unbounded 974888831 1.5 1324
iterating-progress-unbounded 975626126 1.5 1325
iterating-progress-unbounded 976363767 1.5 1326
iterating-progress-unbounded 977101541 1.5 1327
iterating-progress-unbounded 977839094 1.5 1328
iterating-progress-unbounded 978574276 1.5 1329
iterating-progress-unbounded 979310642 1.5 1330
iterating-progress-unbounded 980046906 1.5 1331
iterating-progress-unbounded 980783467 1.5 1332
iterating-progress-unbounded 981520055 1.5 1333
iterating-progress-unbounded 982257578 1.5 1334
iterating-progress-unbounded 982994788 1.5 1335
iterating-progress-unbounded 983732153 1.5 1336
iterating-progress-unbounded 984469395 1.5 1337
iterating-progress-unbounded 985206744 1.5 1338
iterating-progress-unbounded 985940036 1.5 1339
iterating-progress-unbounded 986675897 1.5 1340
iterating-progress-unbounded 987412286 1.5 1341
iterating-progress-unbounded 988148682 1.5 1342
iterating-progress-unbounded 988884867 1.5 1343
iterating-progress-unbounded 989621758 1.5 1344
iterating-progress-unbounded 990359365 1.5 1345
iterating-progress-unbounded 991097160 1.5 1346
iterating-progress-unbounded 991834885 1.5 1347
iterating-progress-unbounded 992572453 1.5 1348
iterating-progress-unbounded 993308946 1.5 1349
iterating-progress-unbounded 994045273 1.5 1350
iterating-progress-unbounded 994781557 1.5 1351
iterating-progress-unbounded 995517752 1.5 1352
iterating-progress-unbounded 996253735 1.5 1353
iterating-progress-unbounded 996990179 1.5 1354
iterating-progress-unbounded 997727705 1.5 1355
iterating-progress-unbounded 998465125 1.5 1356
iterating-progress-unbounded 999197195 1.5 1357
iterating-progress-unbounded 999934751 1.5 1358
iterating-progress-unbounded 1000667458 1.5 1359
iterating-progress-unbounded 1001403854 1.5 1360
iterating-progress-unbounded 1002140703 1.5 1361
iterating-progress-unbounded 1002877142 1.5 1362
iterating-progress-unbounded 1003613549 1.5 1363
iterating-progress-unbounded 1004350477 1.5 1364
iterating-progress-unbounded 1005087725 1.5 1365
iterating-progress-unbounded 1005825416 1.5 1366
iterating-progress-unbounded 1006563163 1.5 1367
iterating-progress-unbounded 1007300643 1.5 1368
iterating-progress-unbounded 1008038018 1.5 1369
iterating-progress-unbounded 1008774936 1.5 1370
iterating-progress-unbounded 1009511329 1.5 1371
iterating-progress-unbounded 1010247373 1.5 1372
iterating-progress-unbounded 1010983804 1.5 1373
iterating-progress-unbounded 1011720937 1.5 1374
iterating-progress-unbounded 1012458641 1.5 1375
iterating-progress-unbounded 1013196369 1.5 1376
iterating-progress-unbounded 1013933835 1.5 1377
iterating-progress-unbounded 1014671179 1.5 1378
iterating-progress-unbounded 1015408847 1.5 1379
iterating-progress-unbounded 1016144253 1.5 1380
iterating-progress-unbounded 1016879428 1.5 1381
iterating-progress-unbounded 1017615106 1.5 1382
iterating-progress-unbounded 1018351040 1.5 1383
iterating-progress-unbounded 1019087376 1.5 1384
iterating-progress-unbounded 1019824285 1.5 1385
iterating-progress-unbounded 1020561927 1.5 1386
iterating-progress-unbounded 1021299323 1.5 1387
iterating-progress-unbounded 1022036756 1.5 1388
iterating-progress-unbounded 1022773304 1.5 1389
iterating-progress-unbounded 1023509939 1.5 1390
iterating-progress-unbounded 1024246287 1.5 1391
iterating-progress-unbounded 1024982545 1.5 1392
iterating-progress-unbounded 1025717633 1.5 1393
iterating-progress-unbounded 1026454381 1.5 1394
iterating-progress-unbounded 1027192003 1.5 1395
iterating-progress-unbounded 1027929858 1.5 1396
iterating-progress-unbounded 1028667403 1.5 1397
iterating-progress-unbounded 1029404948 1.5 1398
iterating-progress-unbounded 1030142505 1.5 1399
iterating-progress-unbounded 1030879549 1.5 1400
iterating-progress-unbounded 1031615703 1.5 1401
iterating-progress-unbounded 1032351711 1.5 1402
iterating-progress-unbounded 1033088084 1.5 1403
iterating-progress-unbounded 1033825164 1.5 1404
iterating-progress-unbounded 1034562454 1.5 1405
iterating-progress-unbounded 1035299916 1.5 1406
iterating-progress-unbounded 1036037354 1.5 1407
iterating-progress-unbounded 1036774798 1.5 1408
iterating-progress-unbounded 1037512020 1.5 1409
iterating-progress-unbounded 1038249491 1.5 1410
iterating-progress-unbounded 1038986147 1.5 1411
iterating-progress-unbounded 1039722390 1.5 1412
iterating-progress-unbounded 1040458031 1.5 1413
iterating-progress-unbounded 1041194473 1.5 1414
iterating-progress-unbounded 1041931511 1.5 1415
iterating-progress-unbounded 1042669129 1.5 1416
iterating-progress-unbounded 1043406431 1.5 1417
iterating-progress-unbounded 1044143996 1.5 1418
iterating-progress-unbounded 1044881463 1.5 1419
iterating-progress-unbounded 1045619188 1.5 1420
iterating-progress-unbounded 1046355967 1.5 1421
iterating-progress-unbounded 1047092311 1.5 1422
iterating-progress-unbounded 1047828149 1.5 1423
iterating-progress-unbounded 1048564683 1.5 1424
iterating-progress-unbounded 1049301234 1.5 1425
iterating-progress-unbounded 1050038920 1.5 1426
iterating-progress-unbounded 1050776561 1.5 1427
iterating-progress-unbounded 1051514005 1.5 1428
iterating-progress-unbounded 1052251455 1.5 1429
iterating-progress-unbounded 1052989180 1.5 1430
iterating-progress-unbounded 1053725966 1.5 1431
iterating-progress-unbounded 1054462552 1.5 1432
iterating-progress-unbounded 1055198552 1.5 1433
iterating-progress-unbounded 1055935043 1.5 1434
iterating-progress-unbounded 1056671928 1.5 1435
iterating-progress-unbounded 1057409676 1.5 1436
iterating-progress-unbounded 1058147132 1.5 1437
iterating-progress-unbounded 1058884643 1.5 1438
iterating-progress-unbounded 1059621997 1.5 1439
iterating-progress-unbounded 1060358110 1.5 1440
iterating-progress-unbounded 1061095344 1.5 1441
iterating-progress-unbounded 1061815978 1.5 1442
iterating-progress-unbounded 1062551990 1.5 1443
iterating-progress-unbounded 1063287681 1.5 1444
iterating-progress-unbounded 1064023375 1.5 1445
iterating-progress-unbounded 1064760019 1.5 1446
iterating-progress-unbounded 1065496896 1.5 1447
iterating-progress-unbounded 1066234274 1.5 1448
iterating-progress-unbounded 1066970825 1.5 1449
iterating-progress-unbounded 1067708111 1.5 1450
iterating-progress-unbounded 1068445425 1.5 1451
iterating-progress-unbounded 1069182822 1.5 1452
iterating-progress-unbounded 1069919009 1.5 1453
iterating-progress-unbounded 1070654873 1.5 1454
iterating-progress-unbounded 1071390770 1.5 1455
iterating-progress-unbounded 1072127395 1.5 1456
iterating-progress-unbounded 1072864303 1.5 1457
iterating-progress-unbounded 1073601829 1.5 1458
iterating-progress-unbounded 1074339080 1.5 1459
iterating-progress-unbounded 1075076676 1.5 1460
iterating-progress-unbounded 1075813654 1.5 1461
iterating-progress-unbounded 1076551005 1.5 1462
iterating-progress-unbounded 1077287766 1.5 1463
iterating-progress-unbounded 1078024049 1.5 1464
iterating-progress-unbounded 1078759996 1.5 1465
iterating-progress-unbounded 1079496522 1.5 1466
iterating-progress-unbounded 1080233575 1.5 1467
iterating-progress-unbounded 1080971128 1.5 1468
iterating-progress-unbounded 1081708440 1.5 1469
iterating-progress-unbounded 1082446087 1.5 1470
iterating-progress-unbounded 1083183616 1.5 1471
iterating-progress-unbounded 1083921205 1.5 1472
iterating-progress-unbounded 1084657720 1.5 1473
iterating-progress-unbounded 1085393865 1.5 1474
iterating-progress-unbounded 1086129866 1.5 1475
iterating-progress-unbounded 1086866424 1.5 1476
iterating-progress-unbounded 1087603296 1.5 1477
iterating-progress-unbounded 1088340802 1.5 1478
iterating-progress-unbounded 1089065659 1.5 1479
iterating-progress-unbounded 1089770216 1.5 1480
iterating-progress-unbounded 1090506726 1.5 1481
iterating-progress-unbounded 1091243978 1.5 1482
iterating-progress-unbounded 1091980719 1.5 1483
iterating-progress-unbounded 1092717274 1.5 1484
iterating-progress-unbounded 1093452614 1.5 1485
iterating-progress-unbounded 1094189114 1.5 1486
iterating-progress-unbounded 1094925932 1.5 1487
iterating-progress-unbounded 1095663595 1.5 1488
iterating-progress-unbounded 1096400680 1.5 1489
iterating-progress-unbounded 1097138441 1.5 1490
iterating-progress-unbounded 1097876194 1.5 1491
iterating-progress-unbounded 1098613899 1.5 1492
iterating-progress-unbounded 1099351298 1.5 1493
iterating-progress-unbounded 1100088136 1.5 1494
iterating-progress-unbounded 1100824497 1.5 1495
iterating-progress-unbounded 1101560515 1.5 1496
iterating-progress-unbounded 1102296685 1.5 1497
iterating-progress-unbounded 1103033410 1.5 1498
iterating-progress-unbounded 1103771050 1.5 1499
iterating-progress-unbounded 1104507405 1.5 1500
iterating-progress-unbounded 1105244596 1.5 1501
iterating-progress-unbounded 1105982054 1.5 1502
iterating-progress-unbounded 1106719356 1.5 1503
iterating-progress-unbounded 1107456388 1.5 1504
iterating-progress-unbounded 1108192410 1.5 1505
iterating-progress-unbounded 1108928892 1.5 1506
iterating-progress-unbounded 1109665075 1.5 1507
iterating-progress-unbounded 1110401376 1.5 1508
iterating-progress-unbounded 1111137457 1.5 1509
iterating-progress-unbounded 1111875040 1.5 1510
iterating-progress-unbounded 1112612569 1.5 1511
iterating-progress-unbounded 1113350080 1.5 1512
iterating-progress-unbounded 1114087468 1.5 1513
iterating-progress-unbounded 1114825030 1.5 1514
iterating-progress-unbounded 1115561767 1.5 1515
iterating-progress-unbounded 1116298032 1.5 1516
iterating-progress-unbounded 1117034228 1.5 1517
iterating-progress-unbounded 1117770612 1.5 1518
iterating-progress-unbounded 1118507632 1.5 1519
iterating-progress-unbounded 1119245296 1.5 1520
iterating-progress-unbounded 1119982668 1.5 1521
iterating-progress-unbounded 1120720393 1.5 1522
iterating-progress-unbounded 1121458112 1.5 1523
iterating-progress-unbounded 1122195722 1.5 1524
iterating-progress-unbounded 1122932427 1.5 1525
iterating-progress-unbounded 1123668997 1.5 1526
iterating-progress-unbounded 1124405306 1.5 1527
iterating-progress-unbounded 1125141649 1.5 1528
iterating-progress-unbounded 1125878372 1.5 1529
iterating-progress-unbounded 1126615870 1.5 1530
iterating-progress-unbounded 1127353574 1.5 1531
iterating-progress-unbounded 1128091078 1.5 1532
iterating-progress-unbounded 1128828472 1.5 1533
iterating-progress-unbounded 1129565712 1.5 1534
iterating-progress-unbounded 1130303053 1.5 1535
iterating-progress-unbounded 1131039496 1.5 1536
iterating-progress-unbounded 1131775682 1.5 1537
iterating-progress-unbounded 1132511192 1.5 1538
iterating-progress-unbounded 1133246687 1.5 1539
iterating-progress-unbounded 1133983482 1.5 1540
iterating-progress-unbounded 1134721008 1.5 1541
iterating-progress-unbounded 1135458434 1.5 1542
iterating-progress-unbounded 1136195945 1.5 1543
iterating-progress-unbounded 1136933637 1.5 1544
iterating-progress-unbounded 1137670919 1.5 1545
iterating-progress-unbounded 1138407481 1.5 1546
iterating-progress-unbounded 1139144058 1.5 1547
iterating-progress-unbounded 1139880011 1.5 1548
iterating-progress-unbounded 1140615897 1.5 1549
iterating-progress-unbounded 1141352784 1.5 1550
iterating-progress-unbounded 1142090560 1.5 1551
iterating-progress-unbounded 1142828205 1.5 1552
iterating-progress-unbounded 1143565725 1.5 1553
iterating-progress-unbounded 1144303459 1.5 1554
iterating-progress-unbounded 1145041040 1.5 1555
iterating-progress-unbounded 1145777641 1.5 1556
iterating-progress-unbounded 1146513620 1.5 1557
iterating-progress-unbounded 1147249278 1.5 1558
iterating-progress-unbounded 1147985701 1.5 1559
iterating-progress-unbounded 1148720943 1.5 1560
iterating-progress-unbounded 1149457925 1.5 1561
iterating-progress-unbounded 1150195275 1.5 1562
iterating-progress-unbounded 1150932787 1.5 1563
iterating-progress-unbounded 1151670196 1.5 1564
iterating-progress-unbounded 1152407255 1.5 1565
iterating-progress-unbounded 1153143676 1.5 1566
iterating-progress-unbounded 1153879518 1.5 1567
iterating-progress-unbounded 1154605047 1.5 1568
iterating-progress-unbounded 1155340141 1.5 1569
iterating-progress-unbounded 1156076884 1.5 1570
iterating-progress-unbounded 1156814327 1.5 1571
iterating-progress-unbounded 1157551876 1.5 1572
iterating-progress-unbounded 1158289322 1.5 1573
iterating-progress-unbounded 1159026816 1.5 1574
iterating-progress-unbounded 1159764612 1.5 1575
iterating-progress-unbounded 1160501337 1.5 1576
iterating-progress-unbounded 1161237408 1.5 1577
iterating-progress-unbounded 1161973192 1.5 1578
iterating-progress-unbounded 1162708841 1.5 1579
iterating-progress-unbounded 1163445685 1.5 1580
iterating-progress-unbounded 1164182850 1.5 1581
iterating-progress-unbounded 1164920302 1.5 1582
iterating-progress-unbounded 1165658021 1.5 1583
iterating-progress-unbounded 1166395541 1.5 1584
iterating-progress-unbounded 1167133070 1.5 1585
iterating-progress-unbounded 1167869592 1.5 1586
iterating-progress-unbounded 1168605970 1.5 1587
iterating-progress-unbounded 1169341473 1.5 1588
iterating-progress-unbounded 1170077178 1.5 1589
iterating-progress-unbounded 1170814057 1.5 1590
iterating-progress-unbounded 1171551503 1.5 1591
iterating-progress-unbounded 1172289043 1.5 1592
iterating-progress-unbounded 1173026360 1.5 1593
iterating-progress-unbounded 1173763727 1.5 1594
iterating-progress-unbounded 1174501520 1.5 1595
iterating-progress-unbounded 1175238055 1.5 1596
iterating-progress-unbounded 1175974081 1.5 1597
iterating-progress-unbounded 1176709758 1.5 1598
iterating-progress-unbounded 1177445760 1.5 1599
iterating-progress-unbounded 1178182966 1.5 1600
iterating-progress-unbounded 1178920530 1.5 1601
iterating-progress-unbounded 1179657848 1.5 1602
iterating-progress-unbounded 1180395338 1.5 1603
iterating-progress-unbounded 1181133044 1.5 1604
iterating-progress-unbounded 1181870088 1.5 1605
iterating-progress-unbounded 1182606540 1.5 1606
iterating-progress-unbounded 1183342550 1.5 1607
iterating-progress-unbounded 1184078313 1.5 1608
iterating-progress-unbounded 1184814411 1.5 1609
iterating-progress-unbounded 1185551297 1.5 1610
iterating-progress-unbounded 1186288925 1.5 1611
iterating-progress-unbounded 1187026566 1.5 1612
iterating-progress-unbounded 1187764125 1.5 1613
iterating-progress-unbounded 1188501788 1.5 1614
iterating-progress-unbounded 1189239541 1.5 1615
iterating-progress-unbounded 1189976261 1.5 1616
iterating-progress-unbounded 1190712308 1.5 1617
iterating-progress-unbounded 1191447313 1.5 1618
iterating-progress-unbounded 1192183363 1.5 1619
iterating-progress-unbounded 1192918233 1.5 1620
iterating-progress-unbounded 1193655509 1.5 1621
iterating-progress-unbounded 1194392877 1.5 1622
iterating-progress-unbounded 1195129769 1.5 1623
iterating-progress-unbounded 1195867133 1.5 1624
iterating-progress-unbounded 1196604336 1.5 1625
iterating-progress-unbounded 1197340930 1.5 1626
iterating-progress-unbounded 1198077453 1.5 1627
iterating-progress-unbounded 1198812566 1.5 1628
iterating-progress-unbounded 1199548213 1.5 1629
iterating-progress-unbounded 1200284823 1.5 1630
iterating-progress-unbounded 1201022439 1.5 1631
iterating-progress-unbounded 1201759680 1.5 1632
iterating-progress-unbounded 1202496883 1.5 1633
iterating-progress-unbounded 1203234296 1.5 1634
iterating-progress-unbounded 1203971713 1.5 1635
iterating-progress-unbounded 1204708098 1.5 1636
iterating-progress-unbounded 1205444171 1.5 1637
iterating-progress-unbounded 1206179956 1.5 1638
iterating-progress-unbounded 1206915790 1.5 1639
iterating-progress-unbounded 1207652246 1.5 1640
iterating-progress-unbounded 1208389427 1.5 1641
iterating-progress-unbounded 1209126912 1.5 1642
iterating-progress-unbounded 1209864360 1.5 1643
iterating-progress-unbounded 1210601591 1.5 1644
iterating-progress-unbounded 1211338456 1.5 1645
iterating-progress-unbounded 1212075125 1.5 1646
iterating-progress-unbounded 1212811493 1.5 1647
iterating-progress-unbounded 1213547261 1.5 1648
iterating-progress-unbounded 1214283191 1.5 1649
iterating-progress-unbounded 1215019889 1.5 1650
iterating-progress-unbounded 1215757198 1.5 1651
iterating-progress-unbounded 1216494581 1.5 1652
iterating-progress-unbounded 1217231790 1.5 1653
iterating-progress-unbounded 1217968878 1.5 1654
iterating-progress-unbounded 1218706008 1.5 1655
iterating-progress-unbounded 1219442444 1.5 1656
iterating-progress-unbounded 1220177102 1.5 1657
iterating-progress-unbounded 1220912664 1.5 1658
iterating-progress-unbounded 1221644601 1.5 1659
iterating-progress-unbounded 1222381610 1.5 1660
iterating-progress-unbounded 1223119033 1.5 1661
iterating-progress-unbounded 1223856250 1.5 1662
iterating-progress-unbounded 1224593745 1.5 1663
iterating-progress-unbounded 1225331095 1.5 1664
iterating-progress-unbounded 1226068214 1.5 1665
iterating-progress-unbounded 1226805034 1.5 1666
iterating-progress-unbounded 1227541408 1.5 1667
iterating-progress-unbounded 1228277372 1.5 1668
iterating-progress-unbounded 1229013225 1.5 1669
iterating-progress-unbounded 1229750096 1.5 1670
iterating-progress-unbounded 1230487835 1.5 1671
iterating-progress-unbounded 1231225569 1.5 1672
iterating-progress-unbounded 1231962299 1.5 1673
iterating-progress-unbounded 1232700002 1.5 1674
iterating-progress-unbounded 1233437476 1.5 1675
iterating-progress-unbounded 1234174871 1.5 1676
iterating-progress-unbounded 1234911317 1.5 1677
iterating-progress-unbounded 1235647348 1.5 1678
iterating-progress-unbounded 1236383216 1.5 1679
iterating-progress-unbounded 1237117693 1.5 1680
iterating-progress-unbounded 1237854160 1.5 1681
iterating-progress-unbounded 1238591413 1.5 1682
iterating-progress-unbounded 1239328708 1.5 1683
iterating-progress-unbounded 1240065973 1.5 1684
iterating-progress-unbounded 1240803062 1.5 1685
iterating-progress-unbounded 1241540355 1.5 1686
iterating-progress-unbounded 1242277024 1.5 1687
iterating-progress-unbounded 1243012952 1.5 1688
iterating-progress-unbounded 1243747907 1.5 1689
iterating-progress-unbounded 1244483832 1.5 1690
iterating-progress-unbounded 1245220836 1.5 1691
iterating-progress-unbounded 1245958440 1.5 1692
iterating-progress-unbounded 1246695772 1.5 1693
iterating-progress-unbounded 1247433241 1.5 1694
iterating-progress-unbounded 1248170975 1.5 1695
iterating-progress-unbounded 1248908857 1.5 1696
iterating-progress-unbounded 1249645755 1.5 1697
iterating-progress-unbounded 1250382604 1.5 1698
iterating-progress-unbounded 1251119055 1.5 1699
iterating-progress-unbounded 1251855066 1.5 1700
iterating-progress-unbounded 1252590891 1.5 1701
iterating-progress-unbounded 1253328067 1.5 1702
iterating-progress-unbounded 1254065663 1.5 1703
iterating-progress-unbounded 1254803422 1.5 1704
iterating-progress-unbounded 1255540857 1.5 1705
iterating-progress-unbounded 1256278600 1.5 1706
iterating-progress-unbounded 1257015797 1.5 1707
iterating-progress-unbounded 1257752874 1.5 1708
iterating-progress-unbounded 1258489126 1.5 1709
iterating-progress-unbounded 1259224975 1.5 1710
iterating-progress-unbounded 1259960966 1.5 1711
iterating-progress-unbounded 1260697868 1.5 1712
iterating-progress-unbounded 1261434971 1.5 1713
iterating-progress-unbounded 1262172533 1.5 1714
iterating-progress-unbounded 1262909884 1.5 1715
iterating-progress-unbounded 1263647476 1.5 1716
iterating-progress-unbounded 1264383820 1.5 1717
iterating-progress-unbounded 1265120794 1.5 1718
iterating-progress-unbounded 1265857285 1.5 1719
iterating-progress-unbounded 1266593550 1.5 1720
iterating-progress-unbounded 1267329519 1.5 1721
iterating-progress-unbounded 1268065923 1.5 1722
iterating-progress-unbounded 1268803343 1.5 1723
iterating-progress-unbounded 1269540905 1.5 1724
iterating-progress-unbounded 1270278159 1.5 1725
iterating-progress-unbounded 1271015717 1.5 1726
iterating-progress-unbounded 1271752928 1.5 1727
iterating-progress-unbounded 1272489954 1.5 1728
iterating-progress-unbounded 1273226170 1.5 1729
iterating-progress-unbounded 1273962228 1.5 1730
iterating-progress-unbounded 1274698516 1.5 1731
iterating-progress-unbounded 1275435743 1.5 1732
iterating-progress-unbounded 1276173301 1.5 1733
iterating-progress-unbounded 1276910914 1.5 1734
iterating-progress-unbounded 1277648683 1.5 1735
iterating-progress-unbounded 1278386536 1.5 1736
iterating-progress-unbounded 1279123975 1.5 1737
iterating-progress-unbounded 1279860686 1.5 1738
iterating-progress-unbounded 1280597638 1.5 1739
iterating-progress-unbounded 1281331849 1.5 1740
iterating-progress-unbounded 1282067228 1.5 1741
iterating-progress-unbounded 1282802729 1.5 1742
iterating-progress-unbounded 1283538936 1.5 1743
iterating-progress-unbounded 1284276182 1.5 1744
iterating-progress-unbounded 1285012933 1.5 1745
iterating-progress-unbounded 1285750434 1.5 1746
iterating-progress-unbounded 1286487660 1.5 1747
iterating-progress-unbounded 1287224623 1.5 1748
iterating-progress-unbounded 1287960845 1.5 1749
iterating-progress-unbounded 1288696913 1.5 1750
iterating-progress-unbounded 1289432694 1.5 1751
iterating-progress-unbounded 1290168599 1.5 1752
iterating-progress-unbounded 1290905024 1.5 1753
iterating-progress-unbounded 1291642363 1.5 1754
iterating-progress-unbounded 1292379944 1.5 1755
iterating-progress-unbounded 1293117558 1.5 1756
iterating-progress-unbounded 1293855083 1.5 1757
iterating-progress-unbounded 1294592102 1.5 1758
iterating-progress-unbounded 1295328815 1.5 1759
iterating-progress-unbounded 1296065396 1.5 1760
iterating-progress-unbounded 1296801129 1.5 1761
iterating-progress-unbounded 1297537501 1.5 1762
iterating-progress-unbounded 1298274497 1.5 1763
iterating-progress-unbounded 1299012107 1.5 1764
iterating-progress-unbounded 1299749561 1.5 1765
iterating-progress-unbounded 1300487263 1.5 1766
iterating-progress-unbounded 1301225070 1.5 1767
iterating-progress-unbounded 1301962176 1.5 1768
iterating-progress-unbounded 1302699114 1.5 1769
iterating-progress-unbounded 1303435591 1.5 1770
iterating-progress-unbounded 1304171517 1.5 1771
iterating-progress-unbounded 1304908035 1.5 1772
iterating-progress-unbounded 1305644560 1.5 1773
iterating-progress-unbounded 1306382026 1.5 1774
iterating-progress-unbounded 1307119595 1.5 1775
iterating-progress-unbounded 1307857369 1.5 1776
iterating-progress-unbounded 1308595012 1.5 1777
iterating-progress-unbounded 1309332313 1.5 1778
iterating-progress-unbounded 1310066984 1.5 1779
iterating-progress-unbounded 1310803899 1.5 1780
iterating-progress-unbounded 1311540289 1.5 1781
iterating-progress-unbounded 1312276381 1.5 1782
iterating-progress-unbounded 1313012954 1.5 1783
iterating-progress-unbounded 1313749840 1.5 1784
iterating-progress-unbounded 1314487348 1.5 1785
iterating-progress-unbounded 1315224932 1.5 1786
iterating-progress-unbounded 1315962801 1.5 1787
iterating-progress-unbounded 1316699969 1.5 1788
iterating-progress-unbounded 1317437234 1.5 1789
iterating-progress-unbounded 1318174141 1.5 1790
iterating-progress-unbounded 1318911007 1.5 1791
iterating-progress-unbounded 1319647041 1.5 1792
iterating-progress-unbounded 1320383497 1.5 1793
iterating-progress-unbounded 1321120483 1.5 1794
iterating-progress-unbounded 1321858151 1.5 1795
iterating-progress-unbounded 1322595720 1.5 1796
iterating-progress-unbounded 1323333198 1.5 1797
iterating-progress-unbounded 1324070461 1.5 1798


----------
Computation aborted after 1800.0106341838837 seconds since the total time limit of 1800 seconds was exceeded.
Model:	haddad-monmege v.1 (DTMC)
Parameter(s)	N = 100, p = 0.7
Property:	exp_steps (exp-steps)