>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 2160
Perturbation colors: 9007199254740992
All colors: 19455550390240543000
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 2522015791327478000
Attractor colors computed in 2134 ms.
Backward progress: 189248
Backward progress: 221985
Backward progress: 230428
Backward progress: 313928
Backward progress: 311790
Backward progress: 310656
Backward progress: 322726
Backward progress: 325306
Backward progress: 325234
Backward progress: 326428
Backward progress: 342132
Backward progress: 354908
Backward progress: 347839
Backward progress: 344578
Backward progress: 357397
Backward progress: 356457
Backward progress: 348400
Backward progress: 348708
Backward progress: 345226
Backward progress: 336410
Backward progress: 334322
Backward progress: 293829
Backward progress: 256518
Backward progress: 250840
Backward progress: 247300
Backward progress: 245187
Backward progress: 243204
Backward progress: 242855
Backward progress: 243526
Backward progress: 242112
Backward progress: 214532
Backward progress: 164885
Backward progress: 239799
Backward progress: 246630
Backward progress: 281610
Backward progress: 294449
Backward progress: 297247
Backward progress: 297238
Backward progress: 301283
Backward progress: 305197
Backward progress: 312051
Backward progress: 309971
Backward progress: 312880
Backward progress: 363454
Backward progress: 396851
Backward progress: 409780
Backward progress: 426019
Backward progress: 420315
Backward progress: 414933
Backward progress: 413505
Backward progress: 411643
Backward progress: 414113
Backward progress: 452555
Backward progress: 424825
Backward progress: 424993
Backward progress: 421597
Backward progress: 461369
Backward progress: 446624
Backward progress: 455057
Backward progress: 455837
Backward progress: 553187
Backward progress: 487176
Backward progress: 482842
Backward progress: 482302
Backward progress: 481718
Backward progress: 481762
Backward progress: 481390
Backward progress: 478558
Backward progress: 426386
Backward progress: 403559
Backward progress: 403559
Forward closed progress: 402322
Forward closed progress: 402330
Forward closed progress: 534997
Forward closed progress: 399907
Forward closed progress: 399999
Forward closed progress: 400637
Forward closed progress: 402232
Forward closed progress: 401913
Forward closed progress: 402144
Forward closed progress: 402817
Forward closed progress: 403109
Forward closed progress: 400774
Forward closed progress: 401592
Forward closed progress: 402415
Forward closed progress: 404486
Forward closed progress: 404674
Forward closed progress: 402795
Forward closed progress: 406585
Forward closed progress: 399268
Forward closed progress: 414504
Forward closed progress: 415154
Forward closed progress: 403928
Forward closed progress: 436324
Forward closed progress: 465256
Forward closed progress: 475377
Forward closed progress: 475063
Forward closed progress: 474994
Forward closed progress: 474948
Forward closed progress: 408383
Forward closed progress: 446227
Forward closed progress: 471676
Forward closed progress: 478837
Forward closed progress: 478807
Forward closed progress: 478787
Forward closed progress: 412711
Forward closed progress: 408251
Forward closed progress: 396091
Forward closed progress: 365442
Forward closed progress: 514229
Forward closed progress: 375387
Forward closed progress: 377931
Forward closed progress: 379909
Forward closed progress: 414095
Forward closed progress: 425492
Forward closed progress: 449180
Forward closed progress: 449377
Forward closed progress: 449445
Forward closed progress: 436653
Forward closed progress: 385633
Forward closed progress: 498486
Forward closed progress: 500896
Forward closed progress: 501282
Forward closed progress: 501241
Forward closed progress: 503847
Forward closed progress: 576834
Forward closed progress: 620960
Forward closed progress: 621155
Forward closed progress: 621231
Forward closed progress: 553225
Forward closed progress: 553231
Forward closed progress: 549717
Forward closed progress: 548114
Forward closed progress: 400455
Forward closed progress: 512396
Forward closed progress: 514519
Forward closed progress: 519250
Forward closed progress: 506704
Forward closed progress: 506724
Forward closed progress: 506740
Forward closed progress: 506708
Forward closed progress: 460243
Forward closed progress: 435198
Forward closed progress: 441423
Forward closed progress: 463301
Forward closed progress: 463506
Forward closed progress: 463574
Forward closed progress: 447958
Forward closed progress: 396881
Forward closed progress: 418413
Forward closed progress: 414903
Forward closed progress: 433117
Forward closed progress: 433277
Forward closed progress: 433341
Forward closed progress: 397481
Forward closed progress: 539057
Forward closed progress: 538922
Forward closed progress: 505810
Forward closed progress: 400457
Forward closed progress: 588138
Forward closed progress: 703328
Forward closed progress: 783201
Forward closed progress: 785310
Forward closed progress: 786062
Forward closed progress: 722516
Forward closed progress: 559625
Forward closed progress: 545630
Forward closed progress: 526756
Forward closed progress: 460856
Forward closed progress: 403309
Forward closed progress: 731815
Forward closed progress: 732939
Forward closed progress: 408906
Forward closed progress: 557480
Forward closed progress: 797265
Forward closed progress: 994239
Forward closed progress: 1050126
Forward closed progress: 1051913
Forward closed progress: 1052777
Forward closed progress: 976133
Forward closed progress: 988547
Forward closed progress: 989133
Forward closed progress: 876027
Forward closed progress: 924957
Forward closed progress: 930219
Forward closed progress: 827718
Forward closed progress: 813119
Forward closed progress: 796369
Forward closed progress: 796386
Forward closed progress: 770950
Forward closed progress: 755696
Forward closed progress: 781748
Forward closed progress: 781407
Forward closed progress: 877930
Forward closed progress: 877971
Forward closed progress: 823839
Forward closed progress: 825157
Forward closed progress: 824797
Forward closed progress: 763625
Forward closed progress: 1075523
Forward closed progress: 1639286
Forward closed progress: 1641422
Forward closed progress: 1203705
Forward closed progress: 1202721
Forward closed progress: 1202961
Forward closed progress: 1130762
Forward closed progress: 1109097
Forward closed progress: 1459082
Forward closed progress: 1150924
Forward closed progress: 1163992
Forward closed progress: 1166512
Forward closed progress: 1076083
Forward closed progress: 1573687
Forward closed progress: 1574941
Forward closed progress: 1193879
Forward closed progress: 1154130
Forward closed progress: 1331893
Forward closed progress: 1334261
Forward closed progress: 1216777
Forward closed progress: 1216597
Forward closed progress: 1197041
Forward closed progress: 1086263
Forward closed progress: 967496
Forward closed progress: 755320
Forward closed progress: 769494
Forward closed progress: 758168
Forward closed progress: 757086
Forward closed progress: 757014
Forward closed progress: 745718
Forward closed progress: 740627
Forward closed progress: 1031180
Forward closed progress: 1024160
Forward closed progress: 1016241
Forward closed progress: 1158856
Forward closed progress: 1192883
Forward closed progress: 1193106
Forward closed progress: 1227278
Forward closed progress: 1227305
Forward closed progress: 1232120
Forward closed progress: 1354532
Forward closed progress: 1355433
Forward closed progress: 1429178
Forward closed progress: 1429530
Forward closed progress: 1429606
Forward closed progress: 1355695
Forward closed progress: 1347506
Forward closed progress: 1321452
Forward closed progress: 1321125
Forward closed progress: 1321033
Forward closed progress: 1320919
Forward closed progress: 1336627
Forward closed progress: 1337407
Forward closed progress: 1337387
Forward closed progress: 1337541
Forward closed progress: 1337677
Forward closed progress: 1333882
Forward closed progress: 1333040
Forward closed progress: 1538817
Forward closed progress: 1537143
Forward closed progress: 1537080
Forward closed progress: 1434862
Forward closed progress: 1436549
Forward closed progress: 1434643
Forward closed progress: 1420406
Forward closed progress: 1420431
Forward closed progress: 1635732
Forward closed progress: 1635894
Forward closed progress: 1461330
Forward closed progress: 1478515
Forward closed progress: 1475777
Forward closed progress: 1476010
Forward closed progress: 1490944
Forward closed progress: 1559067
Forward closed progress: 1552372
Forward closed progress: 1541908
Forward closed progress: 1332327
Forward closed progress: 1316543
Forward closed progress: 1314337
Forward closed progress: 1216074
Forward closed progress: 1207285
Forward closed progress: 1167518
Forward closed progress: 1164262
Forward closed progress: 1167753
Forward closed progress: 1166673
Forward closed progress: 1052547
Forward closed progress: 1121698
Forward closed progress: 1121741
Forward closed progress: 1047640
Forward closed progress: 1047592
Forward closed progress: 1047988
Forward closed progress: 1046297
Forward closed progress: 972097
Forward closed progress: 961129
Forward closed progress: 971489
Forward closed progress: 971529
Forward closed progress: 962889
Forward closed progress: 953253
Forward closed progress: 946195
Forward closed progress: 933853
Forward closed progress: 932235
Forward closed progress: 932165
Forward closed progress: 932093
Forward closed progress: 919821
Forward closed progress: 917879
Forward closed progress: 925920
Forward closed progress: 920720
Forward closed progress: 920639
Forward closed progress: 920268
Forward closed progress: 920790
Forward closed progress: 920790
Forward closed progress: 920571
Forward closed progress: 920506
Forward closed progress: 920496
Forward closed progress: 920774
Forward closed progress: 920026
Forward closed progress: 920496
Forward closed progress: 920504
Forward closed progress: 919854
Forward closed progress: 919277
Forward closed progress: 920352
Forward closed progress: 1927971
Forward closed progress: 2301042
Forward closed progress: 2243572
Forward closed progress: 2042630
Forward closed progress: 1674484
Forward closed progress: 1675454
Forward closed progress: 1646624
Forward closed progress: 964376
Forward closed progress: 1076836
Forward closed progress: 1049456
Forward closed progress: 960293
Forward closed progress: 978060
Forward closed progress: 978164
Forward closed progress: 956991
Forward closed progress: 937280
Forward closed progress: 941544
Forward closed progress: 935594
Forward closed progress: 943006
Forward closed progress: 921026
Forward closed progress: 915346
Forward closed progress: 915490
Forward closed progress: 1160617
Forward closed progress: 1298076
Forward closed progress: 1399088
Forward closed progress: 1411219
Forward closed progress: 1457970
Forward closed progress: 1458544
Forward closed progress: 1458744
Forward closed progress: 1448898
Forward closed progress: 1428983
Forward closed progress: 1473529
Forward closed progress: 1459366
Forward closed progress: 1427861
Forward closed progress: 1460364
Forward closed progress: 1467045
Forward closed progress: 1577155
Forward closed progress: 1577353
Forward closed progress: 1632453
Forward closed progress: 1667109
Forward closed progress: 1666615
Forward closed progress: 1685421
Forward closed progress: 1724921
Forward closed progress: 1728245
Forward closed progress: 1727273
Forward closed progress: 1720083
Forward closed progress: 1735678
Forward closed progress: 1742420
Forward closed progress: 1629075
Forward closed progress: 1659119
Forward closed progress: 1560263
Forward closed progress: 1621533
Forward closed progress: 1621877
Forward closed progress: 1584383
Forward closed progress: 1574009
Forward closed progress: 1557117
Forward closed progress: 1491708
Forward closed progress: 1468040
Forward closed progress: 1415879
Forward closed progress: 1455107
Forward closed progress: 1455428
Forward closed progress: 1491373
Forward closed progress: 1491402
Forward closed progress: 1181210
Forward closed progress: 1177430
Forward closed progress: 1171845
Forward closed progress: 1170275
Forward closed progress: 1247602
Forward closed progress: 1246723
Forward closed progress: 1088914
Forward closed progress: 1098975
Forward closed progress: 1098809
Forward closed progress: 1097141
Forward closed progress: 1096811
Forward closed progress: 1118330
Forward closed progress: 1062437
Forward closed progress: 1096315
Forward closed progress: 1096457
Forward closed progress: 1059649
Forward closed progress: 1019913
Forward closed progress: 1018792
Forward closed progress: 1015547
Forward closed progress: 1015496
Forward closed progress: 1014040
Forward closed progress: 974138
Forward closed progress: 979618
Forward closed progress: 899583
Forward closed progress: 1657808
Forward closed progress: 2033214
Forward closed progress: 2068983
Forward closed progress: 2682953
Forward closed progress: 2688204
Forward closed progress: 2689228
Forward closed progress: 2613249
Forward closed progress: 2644803
Forward closed progress: 2897278
Forward closed progress: 2916344
Forward closed progress: 3333322
Forward closed progress: 3821346
Forward closed progress: 4453442
Forward closed progress: 5515996
Forward closed progress: 5514288
Forward closed progress: 4988669
Forward closed progress: 5342833
Forward closed progress: 5527511
Forward closed progress: 5550683
Forward closed progress: 5517098
Forward closed progress: 5304230
Forward closed progress: 5255261
Forward closed progress: 5392300
Forward closed progress: 5235879
Forward closed progress: 5242143
Forward closed progress: 5250192
Forward closed progress: 5556710
Forward closed progress: 5221338
Forward closed progress: 5519113
Forward closed progress: 4705298
Forward closed progress: 5159290
Forward closed progress: 5161373
Forward closed progress: 4834750
Forward closed progress: 4778783
Forward closed progress: 4650449
Forward closed progress: 4258035
Forward closed progress: 4234095
Forward closed progress: 4103823
Forward closed progress: 4092723
Forward closed progress: 4093785
Forward closed progress: 4082801
Forward closed progress: 3539572
Forward closed progress: 3539620
Forward closed progress: 3488086
Forward closed progress: 3488085
Forward closed progress: 3488199
Forward closed progress: 3488151
Forward closed progress: 3488771
Forward closed progress: 3488371
Forward closed progress: 3488105
Forward closed progress: 3488385
Forward closed progress: 3488569
Forward closed progress: 3493383
Forward closed progress: 3493375
Forward closed progress: 3498603
Forward closed progress: 3508091
Forward closed progress: 3508107
Forward closed progress: 3501543
Forward closed progress: 3500541
Forward closed progress: 3492119
Forward closed progress: 3491903
Forward closed progress: 3488593
Forward closed progress: 3488609
Forward closed progress: 3488531
Forward closed progress: 3333026
Forward closed progress: 3262654
Forward closed progress: 2983801
Forward closed progress: 3097040
Forward closed progress: 3098088
Forward closed progress: 3016622
Forward closed progress: 3010985
Forward closed progress: 2979249
Forward closed progress: 2909855
Forward closed progress: 2836727
Forward closed progress: 2380631
Forward closed progress: 2080260
Forward closed progress: 1869130
Forward closed progress: 1869112
Forward closed progress: 1873101
Forward closed progress: 1873481
Forward closed progress: 1842065
Forward closed progress: 1840312
Forward closed progress: 1842303
Forward closed progress: 1839100
Forward closed progress: 1840353
Forward closed progress: 1827152
Forward closed progress: 1691910
Forward closed progress: 1695606
Forward closed progress: 1695728
Forward closed progress: 1699242
Forward closed progress: 1699260
Forward closed progress: 1571540
Forward closed progress: 1570736
Forward closed progress: 1571354
Forward closed progress: 1571803
Forward closed progress: 1580738
Forward closed progress: 1580709
Forward closed progress: 1582233
Forward closed progress: 1584430
Forward closed progress: 1584451
Forward closed progress: 1585196
Forward closed progress: 1577555
Forward closed progress: 1579375
Forward closed progress: 1572941
Forward closed progress: 1577485
Forward closed progress: 1577621
Forward closed progress: 1572743
Forward closed progress: 1568933
Forward closed progress: 1154720
Forward closed progress: 899652
Forward closed progress: 1249774
Forward closed progress: 1204906
Forward closed progress: 1204670
Forward closed progress: 1203954
Forward closed progress: 1205526
Forward closed progress: 1205526
Forward closed progress: 1206596
Forward closed progress: 1514171
Forward closed progress: 1722599
Forward closed progress: 2088420
Forward closed progress: 2091404
Forward closed progress: 2092012
Forward closed progress: 2082759
Forward closed progress: 2138517
Forward closed progress: 2285470
Forward closed progress: 2297427
Forward closed progress: 2548635
Forward closed progress: 2874797
Forward closed progress: 3293318
Forward closed progress: 4109959
Forward closed progress: 4109151
Forward closed progress: 3660247
Forward closed progress: 3921600
Forward closed progress: 4234585
Forward closed progress: 4248871
Forward closed progress: 4234562
Forward closed progress: 4203359
Forward closed progress: 4167248
Forward closed progress: 4348263
Forward closed progress: 4256232
Forward closed progress: 4304515
Forward closed progress: 4322376
Forward closed progress: 4482513
Forward closed progress: 4195919
Forward closed progress: 4903113
Forward closed progress: 4906960
Forward closed progress: 5073484
Forward closed progress: 5139184
Forward closed progress: 5130335
Forward closed progress: 5158665
Forward closed progress: 5449936
Forward closed progress: 4900616
Forward closed progress: 5223695
Forward closed progress: 5225491
Forward closed progress: 4979599
Forward closed progress: 4941845
Forward closed progress: 4827477
Forward closed progress: 4520504
Forward closed progress: 4509785
Forward closed progress: 4683680
Forward closed progress: 4658270
Forward closed progress: 4749301
Forward closed progress: 4737614
Forward closed progress: 4338249
Forward closed progress: 4412622
Forward closed progress: 4415852
Forward closed progress: 4467393
Forward closed progress: 4467895
Forward closed progress: 4508661
Forward closed progress: 4716050
Forward closed progress: 4885091
Forward closed progress: 4885788
Forward closed progress: 4885952
Forward closed progress: 4758812
Forward closed progress: 4771401
Forward closed progress: 4770325
Forward closed progress: 4755757
Forward closed progress: 4770882
Forward closed progress: 4868043
Forward closed progress: 4919896
Forward closed progress: 4920631
Forward closed progress: 4921002
Forward closed progress: 4921090
Forward closed progress: 4894662
Forward closed progress: 4859688
Forward closed progress: 5197645
Forward closed progress: 5190264
Forward closed progress: 5189030
Forward closed progress: 5397460
Forward closed progress: 5283832
Forward closed progress: 5281431
Forward closed progress: 5296271
Forward closed progress: 5282779
Forward closed progress: 5284263
Forward closed progress: 5617462
Forward closed progress: 5618654
Forward closed progress: 5377299
Forward closed progress: 5463863
Forward closed progress: 5469366
Forward closed progress: 5782469
Forward closed progress: 5879111
Forward closed progress: 5881248
Forward closed progress: 5881464
Forward closed progress: 5738734
Forward closed progress: 5731573
Forward closed progress: 5768969
Forward closed progress: 5754730
Forward closed progress: 5738157
Forward closed progress: 5733078
Forward closed progress: 5625035
Forward closed progress: 5602417
Forward closed progress: 5592091
Forward closed progress: 5842369
Forward closed progress: 5837204
Forward closed progress: 5583501
Forward closed progress: 5506187
Forward closed progress: 5838297
Forward closed progress: 5836733
Forward closed progress: 5562270
Forward closed progress: 5542333
Forward closed progress: 5541750
Forward closed progress: 5506495
Forward closed progress: 5250146
Forward closed progress: 5210820
Forward closed progress: 5168399
Forward closed progress: 5041538
Forward closed progress: 4915613
Forward closed progress: 4876478
Forward closed progress: 4873630
Forward closed progress: 6190186
Forward closed progress: 6513595
Forward closed progress: 6148970
Forward closed progress: 6163637
Forward closed progress: 6455550
Forward closed progress: 6460026
Forward closed progress: 6387383
Forward closed progress: 6372265
Forward closed progress: 6256137
Forward closed progress: 6294194
Forward closed progress: 6322534
Forward closed progress: 6680595
Forward closed progress: 6675540
Forward closed progress: 7100491
Forward closed progress: 7044995
Forward closed progress: 7004433
Forward closed progress: 7049913
Forward closed progress: 7125942
Forward closed progress: 7139318
Forward closed progress: 6888108
Forward closed progress: 6824330
Forward closed progress: 6876322
Forward closed progress: 6846275
Forward closed progress: 6896941
Forward closed progress: 6831995
Forward closed progress: 7064585
Forward closed progress: 6524281
Forward closed progress: 6878056
Forward closed progress: 6879480
Forward closed progress: 6648511
Forward closed progress: 6600585
Forward closed progress: 6507019
Forward closed progress: 6191431
Forward closed progress: 5921736
Forward closed progress: 5921018
Forward closed progress: 5918998
Forward closed progress: 5734923
Forward closed progress: 5789168
Forward closed progress: 5788800
Forward closed progress: 5845355
Forward closed progress: 5845697
Forward closed progress: 5238615
Forward closed progress: 5233239
Forward closed progress: 5232321
Forward closed progress: 5213080
Forward closed progress: 5197920
Forward closed progress: 5116276
Forward closed progress: 5216160
Forward closed progress: 5214029
Forward closed progress: 5091198
Forward closed progress: 5099699
Forward closed progress: 5094508
Forward closed progress: 5107234
Forward closed progress: 4989925
Forward closed progress: 5105513
Forward closed progress: 5106445
Forward closed progress: 4987270
Forward closed progress: 4987110
Forward closed progress: 4983610
Forward closed progress: 4861859
Forward closed progress: 5290071
Forward closed progress: 4776404
Forward closed progress: 4095782
Forward closed progress: 4148872
Forward closed progress: 4149480
Forward closed progress: 4040359
Forward closed progress: 4033460
Forward closed progress: 3993482
Forward closed progress: 3866124
Forward closed progress: 3921806
Forward closed progress: 3840392
Forward closed progress: 3657446
Forward closed progress: 3476426
Forward closed progress: 3476134
Forward closed progress: 3137700
Forward closed progress: 3289633
Forward closed progress: 3603357
Forward closed progress: 3786115
Forward closed progress: 3806205
Forward closed progress: 4016645
Forward closed progress: 4019002
Forward closed progress: 4019424
Forward closed progress: 4004722
Forward closed progress: 3991578
Forward closed progress: 3940756
Forward closed progress: 3938663
Forward closed progress: 3942907
Forward closed progress: 3937668
Forward closed progress: 3953674
Forward closed progress: 3976644
Forward closed progress: 4179008
Forward closed progress: 4179395
Forward closed progress: 4449073
Forward closed progress: 4494587
Forward closed progress: 4493833
Forward closed progress: 4536755
Forward closed progress: 4600720
Forward closed progress: 4608336
Forward closed progress: 4587348
Forward closed progress: 4566139
Forward closed progress: 4605796
Forward closed progress: 4648689
Forward closed progress: 4606498
Forward closed progress: 4711498
Forward closed progress: 4582677
Forward closed progress: 4582137
Forward closed progress: 4582233
Forward closed progress: 4581874
Forward closed progress: 4585858
Forward closed progress: 4769142
Forward closed progress: 4431297
Forward closed progress: 4644202
Forward closed progress: 4644846
Forward closed progress: 4499085
Forward closed progress: 4466907
Forward closed progress: 4416177
Forward closed progress: 4231004
Forward closed progress: 3982455
Forward closed progress: 3980307
Forward closed progress: 3955347
Forward closed progress: 3973195
Forward closed progress: 3960821
Forward closed progress: 3959484
Forward closed progress: 3993079
Forward closed progress: 4093544
Forward closed progress: 4100261
Forward closed progress: 4192224
Forward closed progress: 4192881
Forward closed progress: 3538578
Forward closed progress: 3535380
Forward closed progress: 3534105
Forward closed progress: 3504484
Forward closed progress: 3501311
Forward closed progress: 3501019
Forward closed progress: 3498983
Forward closed progress: 3484954
Forward closed progress: 3441245
Forward closed progress: 3599765
Forward closed progress: 3587204
Forward closed progress: 3534049
Forward closed progress: 3576346
Forward closed progress: 3572980
Forward closed progress: 3557994
Forward closed progress: 3552707
Forward closed progress: 3637927
Forward closed progress: 3500112
Forward closed progress: 3514334
Forward closed progress: 3344920
Forward closed progress: 3522058
Forward closed progress: 3524097
Forward closed progress: 3363272
Forward closed progress: 3353538
Forward closed progress: 3340624
Forward closed progress: 3164452
Forward closed progress: 3217146
Forward closed progress: 3201869
Forward closed progress: 3164189
Forward closed progress: 3113164
Forward closed progress: 3115188
Forward closed progress: 3110317
Forward closed progress: 3109858
Forward closed progress: 3108823
Forward closed progress: 3098060
Forward closed progress: 3092382
Forward closed progress: 3092299
Forward closed progress: 3074583
Forward closed progress: 2909478
Forward closed progress: 2502433
Forward closed progress: 2160890
Forward closed progress: 2575235
Forward closed progress: 3220624
Forward closed progress: 3160606
Forward closed progress: 4354732
Forward closed progress: 4360267
Forward closed progress: 4359798
Forward closed progress: 4283590
Forward closed progress: 4209337
Forward closed progress: 4530693
Forward closed progress: 4562982
Forward closed progress: 5496921
Forward closed progress: 6011769
Forward closed progress: 7276475
Forward closed progress: 8554552
Forward closed progress: 8553074
Forward closed progress: 8022551
Forward closed progress: 8412699
Forward closed progress: 8526492
Forward closed progress: 8549868
Forward closed progress: 8445623
Forward closed progress: 8231852
Forward closed progress: 8071824
Forward closed progress: 8249497
Forward closed progress: 8041990
Forward closed progress: 8002390
Forward closed progress: 8010141
Forward closed progress: 8407369
Forward closed progress: 8054024
Forward closed progress: 8925861
Forward closed progress: 7228072
Forward closed progress: 8175293
Forward closed progress: 8177499
Forward closed progress: 7521774
Forward closed progress: 7404566
Forward closed progress: 7128179
Forward closed progress: 6292559
Forward closed progress: 6282277
Forward closed progress: 6078503
Forward closed progress: 6066847
Forward closed progress: 6067909
Forward closed progress: 6056247
Forward closed progress: 5895610
Forward closed progress: 5884206
Forward closed progress: 5881084
Forward closed progress: 5866112
Forward closed progress: 5880555
Forward closed progress: 5880576
Forward closed progress: 5881498
Forward closed progress: 5874946
Forward closed progress: 5874998
Forward closed progress: 5881172
Forward closed progress: 5864382
Forward closed progress: 5874561
Forward closed progress: 5874661
Forward closed progress: 5860286
Forward closed progress: 5846817
Forward closed progress: 6573156
Forward closed progress: 6095858
Forward closed progress: 4994449
Forward closed progress: 5270103
Forward closed progress: 5271099
Forward closed progress: 5069547
Forward closed progress: 5054654
Forward closed progress: 4978381
Forward closed progress: 4787746
Forward closed progress: 4839215
Forward closed progress: 4719895
Forward closed progress: 4408539
Forward closed progress: 4084305
Forward closed progress: 3419012
Forward closed progress: 2875252
Forward closed progress: 2684054
Forward closed progress: 2668662
Forward closed progress: 2666315
Forward closed progress: 2643081
Forward closed progress: 2640095
Forward closed progress: 2642447
Forward closed progress: 2637820
Forward closed progress: 2564720
Forward closed progress: 2557146
Forward closed progress: 2508777
Forward closed progress: 2507662
Forward closed progress: 2512134
Forward closed progress: 2554257
Forward closed progress: 2552792
Forward closed progress: 2609052
Forward closed progress: 2691148
Forward closed progress: 2691440
Forward closed progress: 2619564
Forward closed progress: 2592833
Forward closed progress: 2616410
Forward closed progress: 2617388
Forward closed progress: 2621059
Forward closed progress: 2620528
Forward closed progress: 2637206
Forward closed progress: 2630910
Forward closed progress: 2533134
Forward closed progress: 2533206
Forward closed progress: 2500219
Forward closed progress: 2091499
Forward closed progress: 1439428
Forward closed progress: 1448854
Forward closed progress: 1475081
Forward closed progress: 1440878
Forward closed progress: 1443598
Forward closed progress: 1441614
Forward closed progress: 1437650
Forward closed progress: 1438544
Forward closed progress: 1435134
Forward closed progress: 1377029
Forward closed progress: 1321927
Forward closed progress: 1777606
Forward closed progress: 1796233
Forward closed progress: 1992543
Forward closed progress: 2183605
Forward closed progress: 2231689
Forward closed progress: 2233011
Forward closed progress: 2233355
Forward closed progress: 2156885
Forward closed progress: 2155221
Forward closed progress: 2161223
Forward closed progress: 2177867
Forward closed progress: 2196657
Forward closed progress: 2194791
Forward closed progress: 2201652
Forward closed progress: 2308394
Forward closed progress: 2284737
Forward closed progress: 2102984
Forward closed progress: 2165104
Forward closed progress: 2179409
Forward closed progress: 2179593
Forward closed progress: 2179665
Forward closed progress: 2156835
Forward closed progress: 2141566
Forward closed progress: 2182888
Forward closed progress: 2197119
Forward closed progress: 2197303
Forward closed progress: 2197375
Forward closed progress: 2166053
Forward closed progress: 2144112
Forward closed progress: 2141134
Forward closed progress: 2142809
Forward closed progress: 2160499
Forward closed progress: 2199286
Forward closed progress: 2227304
Forward closed progress: 2427257
Forward closed progress: 2427417
Forward closed progress: 2287142
Forward closed progress: 2360863
Forward closed progress: 2309478
Forward closed progress: 2279363
Forward closed progress: 2278929
Forward closed progress: 2277685
Forward closed progress: 2277717
Forward closed progress: 2277709
Forward closed progress: 2276131
Forward closed progress: 2263854
Forward closed progress: 2374694
Forward closed progress: 2310674
Forward closed progress: 2308609
Forward closed progress: 2310797
Forward closed progress: 2310802
Forward closed progress: 2310851
Forward closed progress: 2310875
Forward closed progress: 2310985
Forward closed progress: 2287834
Forward closed progress: 2044462
Forward closed progress: 1956757
Forward closed progress: 1910662
Forward closed progress: 1840750
Forward closed progress: 1501548
Forward closed progress: 1500525
Forward closed progress: 1502079
Forward closed progress: 1499938
Forward closed progress: 1478543
Forward closed progress: 1478208
Forward closed progress: 1477548
Forward closed progress: 1477697
Forward closed progress: 1477132
Forward closed progress: 1467133
Forward closed progress: 1465339
Forward closed progress: 1467955
Forward closed progress: 1447078
Forward closed progress: 1447078
Control exists for 280 color(s), jumping through 9007199254740992 vertices.
Elapsed: 23973533 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 23973.533
user ??
sys ??
