>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 20
Perturbation colors: 9007199254740992
All colors: 180143985094819840
Unknown update functions: 1
Lowest cardinality: 3
Highest cardinality: 3
Attractor colors: 54043195528445950
Attractor colors computed in 1437 ms.
Backward progress: 116551
Backward progress: 116646
Backward progress: 116660
Backward progress: 116667
Backward progress: 115062
Backward progress: 126132
Backward progress: 127491
Backward progress: 127513
Backward progress: 127601
Backward progress: 129293
Backward progress: 147309
Backward progress: 159367
Backward progress: 159604
Backward progress: 159638
Backward progress: 159577
Backward progress: 166139
Backward progress: 186804
Backward progress: 178422
Backward progress: 181014
Backward progress: 181497
Backward progress: 225841
Backward progress: 226146
Backward progress: 224280
Backward progress: 220755
Backward progress: 218675
Backward progress: 218743
Backward progress: 212871
Backward progress: 208407
Backward progress: 216242
Backward progress: 216242
Backward progress: 216537
Backward progress: 214749
Backward progress: 215033
Backward progress: 218653
Backward progress: 215314
Backward progress: 226285
Backward progress: 213349
Backward progress: 201254
Backward progress: 167408
Backward progress: 152143
Backward progress: 206983
Backward progress: 226835
Backward progress: 225035
Backward progress: 267131
Backward progress: 266704
Backward progress: 266706
Backward progress: 266617
Backward progress: 265435
Backward progress: 268325
Backward progress: 271317
Backward progress: 271261
Backward progress: 271309
Backward progress: 271633
Backward progress: 269924
Backward progress: 282760
Backward progress: 281081
Backward progress: 281087
Backward progress: 280804
Backward progress: 279393
Backward progress: 289546
Backward progress: 291010
Backward progress: 284488
Backward progress: 284521
Backward progress: 285181
Backward progress: 279313
Backward progress: 280483
Backward progress: 273170
Backward progress: 237869
Backward progress: 258013
Backward progress: 256260
Backward progress: 255172
Backward progress: 255104
Backward progress: 255007
Backward progress: 256360
Backward progress: 254905
Backward progress: 254019
Backward progress: 225296
Backward progress: 328832
Backward progress: 349180
Backward progress: 422154
Backward progress: 442609
Backward progress: 448913
Backward progress: 448900
Backward progress: 449082
Backward progress: 449060
Backward progress: 449080
Backward progress: 449088
Backward progress: 456072
Backward progress: 459430
Backward progress: 472295
Backward progress: 464391
Backward progress: 470394
Backward progress: 581715
Backward progress: 664097
Backward progress: 686427
Backward progress: 723939
Backward progress: 711030
Backward progress: 711086
Backward progress: 711074
Backward progress: 710600
Backward progress: 710551
Backward progress: 696474
Backward progress: 692438
Backward progress: 689736
Backward progress: 693648
Backward progress: 766912
Backward progress: 715403
Backward progress: 715224
Backward progress: 707938
Backward progress: 708577
Backward progress: 706813
Backward progress: 706852
Backward progress: 706337
Backward progress: 754659
Backward progress: 725579
Backward progress: 730421
Backward progress: 731123
Backward progress: 918100
Backward progress: 757741
Backward progress: 752932
Backward progress: 752974
Backward progress: 752916
Backward progress: 752471
Backward progress: 751901
Backward progress: 751911
Backward progress: 751832
Backward progress: 751745
Backward progress: 751565
Backward progress: 748394
Backward progress: 743872
Backward progress: 675284
Backward progress: 675284
Forward closed progress: 671818
Forward closed progress: 671825
Forward closed progress: 853007
Forward closed progress: 665934
Forward closed progress: 666011
Forward closed progress: 666298
Forward closed progress: 667292
Forward closed progress: 667005
Forward closed progress: 667771
Forward closed progress: 671769
Forward closed progress: 670223
Forward closed progress: 665246
Forward closed progress: 666974
Forward closed progress: 669877
Forward closed progress: 677617
Forward closed progress: 674191
Forward closed progress: 670864
Forward closed progress: 678462
Forward closed progress: 660431
Forward closed progress: 721689
Forward closed progress: 723737
Forward closed progress: 676631
Forward closed progress: 769198
Forward closed progress: 776620
Forward closed progress: 790463
Forward closed progress: 789408
Forward closed progress: 789344
Forward closed progress: 789344
Forward closed progress: 691298
Forward closed progress: 799075
Forward closed progress: 792987
Forward closed progress: 781623
Forward closed progress: 781526
Forward closed progress: 760490
Forward closed progress: 705420
Forward closed progress: 708842
Forward closed progress: 666785
Forward closed progress: 523117
Forward closed progress: 841183
Forward closed progress: 692800
Forward closed progress: 697811
Forward closed progress: 673256
Forward closed progress: 659084
Forward closed progress: 661070
Forward closed progress: 649848
Forward closed progress: 731537
Forward closed progress: 737090
Forward closed progress: 769729
Forward closed progress: 769919
Forward closed progress: 768060
Forward closed progress: 740172
Forward closed progress: 658308
Forward closed progress: 871784
Forward closed progress: 881880
Forward closed progress: 883091
Forward closed progress: 882710
Forward closed progress: 892249
Forward closed progress: 1009057
Forward closed progress: 1078245
Forward closed progress: 1078535
Forward closed progress: 1076859
Forward closed progress: 945428
Forward closed progress: 943302
Forward closed progress: 932033
Forward closed progress: 921602
Forward closed progress: 668455
Forward closed progress: 882435
Forward closed progress: 874475
Forward closed progress: 883121
Forward closed progress: 872626
Forward closed progress: 872677
Forward closed progress: 872689
Forward closed progress: 872653
Forward closed progress: 786359
Forward closed progress: 733878
Forward closed progress: 735611
Forward closed progress: 769703
Forward closed progress: 769899
Forward closed progress: 768178
Forward closed progress: 736846
Forward closed progress: 649132
Forward closed progress: 695688
Forward closed progress: 680518
Forward closed progress: 706829
Forward closed progress: 706986
Forward closed progress: 705179
Forward closed progress: 649642
Forward closed progress: 876892
Forward closed progress: 873494
Forward closed progress: 771561
Forward closed progress: 600250
Forward closed progress: 916044
Forward closed progress: 1081804
Forward closed progress: 1167607
Forward closed progress: 1169497
Forward closed progress: 1167303
Forward closed progress: 1050737
Forward closed progress: 770247
Forward closed progress: 747533
Forward closed progress: 726821
Forward closed progress: 659780
Forward closed progress: 601656
Forward closed progress: 1173624
Forward closed progress: 1174090
Forward closed progress: 604334
Forward closed progress: 847992
Forward closed progress: 1219365
Forward closed progress: 1537668
Forward closed progress: 1635068
Forward closed progress: 1636551
Forward closed progress: 1632869
Forward closed progress: 1477322
Forward closed progress: 1490527
Forward closed progress: 1479093
Forward closed progress: 1296541
Forward closed progress: 1347479
Forward closed progress: 1398218
Forward closed progress: 1216236
Forward closed progress: 1187117
Forward closed progress: 1153055
Forward closed progress: 1153095
Forward closed progress: 1104161
Forward closed progress: 1077399
Forward closed progress: 1159041
Forward closed progress: 1159142
Forward closed progress: 1317766
Forward closed progress: 1317394
Forward closed progress: 1219675
Forward closed progress: 1220945
Forward closed progress: 1220625
Forward closed progress: 1146146
Forward closed progress: 1336438
Forward closed progress: 2129765
Forward closed progress: 2130609
Forward closed progress: 1535478
Forward closed progress: 1534324
Forward closed progress: 1534646
Forward closed progress: 1406779
Forward closed progress: 1355813
Forward closed progress: 1619106
Forward closed progress: 1356900
Forward closed progress: 1357989
Forward closed progress: 1358997
Forward closed progress: 1273310
Forward closed progress: 1564490
Forward closed progress: 1572290
Forward closed progress: 1387069
Forward closed progress: 1309756
Forward closed progress: 1523676
Forward closed progress: 1523934
Forward closed progress: 1417105
Forward closed progress: 1416921
Forward closed progress: 1396578
Forward closed progress: 1379515
Forward closed progress: 1196182
Forward closed progress: 895483
Forward closed progress: 915455
Forward closed progress: 893271
Forward closed progress: 898569
Forward closed progress: 898486
Forward closed progress: 883017
Forward closed progress: 881250
Forward closed progress: 995334
Forward closed progress: 992902
Forward closed progress: 989546
Forward closed progress: 1302482
Forward closed progress: 1335502
Forward closed progress: 1334729
Forward closed progress: 1363512
Forward closed progress: 1363552
Forward closed progress: 1380479
Forward closed progress: 1557108
Forward closed progress: 1559754
Forward closed progress: 1656728
Forward closed progress: 1657170
Forward closed progress: 1655670
Forward closed progress: 1538588
Forward closed progress: 1525392
Forward closed progress: 1449285
Forward closed progress: 1448123
Forward closed progress: 1448031
Forward closed progress: 1447665
Forward closed progress: 1468326
Forward closed progress: 1469552
Forward closed progress: 1469538
Forward closed progress: 1469657
Forward closed progress: 1469709
Forward closed progress: 1464502
Forward closed progress: 1452040
Forward closed progress: 1643929
Forward closed progress: 1634000
Forward closed progress: 1633862
Forward closed progress: 1550933
Forward closed progress: 1551717
Forward closed progress: 1551400
Forward closed progress: 1535783
Forward closed progress: 1535858
Forward closed progress: 1705877
Forward closed progress: 1705897
Forward closed progress: 1530459
Forward closed progress: 1545736
Forward closed progress: 1540544
Forward closed progress: 1540982
Forward closed progress: 1568749
Forward closed progress: 1651638
Forward closed progress: 1645302
Forward closed progress: 1616650
Forward closed progress: 1392110
Forward closed progress: 1354329
Forward closed progress: 1379475
Forward closed progress: 1287393
Forward closed progress: 1265632
Forward closed progress: 1076816
Forward closed progress: 1037438
Forward closed progress: 1021842
Forward closed progress: 1009691
Forward closed progress: 1051507
Forward closed progress: 1051434
Forward closed progress: 990575
Forward closed progress: 990515
Forward closed progress: 997705
Forward closed progress: 994974
Forward closed progress: 963299
Forward closed progress: 955153
Forward closed progress: 963405
Forward closed progress: 963425
Forward closed progress: 955923
Forward closed progress: 947671
Forward closed progress: 930593
Forward closed progress: 930453
Forward closed progress: 930597
Forward closed progress: 930527
Forward closed progress: 930407
Forward closed progress: 921825
Forward closed progress: 920503
Forward closed progress: 937359
Forward closed progress: 924935
Forward closed progress: 924791
Forward closed progress: 924243
Forward closed progress: 924856
Forward closed progress: 924858
Forward closed progress: 925008
Forward closed progress: 925046
Forward closed progress: 925034
Forward closed progress: 924285
Forward closed progress: 924303
Forward closed progress: 924307
Forward closed progress: 923395
Forward closed progress: 923935
Forward closed progress: 2053560
Forward closed progress: 2487254
Forward closed progress: 2427387
Forward closed progress: 2168450
Forward closed progress: 1808217
Forward closed progress: 1809675
Forward closed progress: 1794186
Forward closed progress: 984754
Forward closed progress: 986590
Forward closed progress: 984208
Forward closed progress: 967661
Forward closed progress: 967689
Forward closed progress: 967908
Forward closed progress: 969290
Forward closed progress: 971956
Forward closed progress: 972046
Forward closed progress: 970453
Forward closed progress: 969760
Forward closed progress: 970730
Forward closed progress: 971049
Forward closed progress: 970719
Forward closed progress: 969054
Forward closed progress: 968840
Forward closed progress: 969940
Forward closed progress: 969959
Forward closed progress: 967276
Forward closed progress: 966708
Forward closed progress: 966805
Forward closed progress: 966831
Forward closed progress: 966035
Forward closed progress: 940890
Forward closed progress: 1040809
Forward closed progress: 1020845
Forward closed progress: 938303
Forward closed progress: 962689
Forward closed progress: 962729
Forward closed progress: 938513
Forward closed progress: 926105
Forward closed progress: 936069
Forward closed progress: 924919
Forward closed progress: 940002
Forward closed progress: 921008
Forward closed progress: 907582
Forward closed progress: 907660
Forward closed progress: 968308
Forward closed progress: 1086482
Forward closed progress: 1207861
Forward closed progress: 1230024
Forward closed progress: 1281088
Forward closed progress: 1281466
Forward closed progress: 1281538
Forward closed progress: 1275181
Forward closed progress: 1308325
Forward closed progress: 1280548
Forward closed progress: 1245457
Forward closed progress: 1298131
Forward closed progress: 1308215
Forward closed progress: 1421986
Forward closed progress: 1422274
Forward closed progress: 1462398
Forward closed progress: 1475597
Forward closed progress: 1475243
Forward closed progress: 1539882
Forward closed progress: 1594336
Forward closed progress: 1597489
Forward closed progress: 1596760
Forward closed progress: 1592860
Forward closed progress: 1626438
Forward closed progress: 1653929
Forward closed progress: 1526715
Forward closed progress: 1542070
Forward closed progress: 1440728
Forward closed progress: 1499345
Forward closed progress: 1499465
Forward closed progress: 1462982
Forward closed progress: 1456840
Forward closed progress: 1440604
Forward closed progress: 1381525
Forward closed progress: 1368985
Forward closed progress: 1308742
Forward closed progress: 1346215
Forward closed progress: 1345625
Forward closed progress: 1378986
Forward closed progress: 1379036
Forward closed progress: 987452
Forward closed progress: 981778
Forward closed progress: 975337
Forward closed progress: 964611
Forward closed progress: 1029929
Forward closed progress: 1024862
Forward closed progress: 923589
Forward closed progress: 929047
Forward closed progress: 928896
Forward closed progress: 925490
Forward closed progress: 903318
Forward closed progress: 926820
Forward closed progress: 926838
Forward closed progress: 904734
Forward closed progress: 881113
Forward closed progress: 882393
Forward closed progress: 877387
Forward closed progress: 877651
Forward closed progress: 875764
Forward closed progress: 859426
Forward closed progress: 847206
Forward closed progress: 757540
Forward closed progress: 1135967
Forward closed progress: 1465318
Forward closed progress: 1353823
Forward closed progress: 1748279
Forward closed progress: 1752176
Forward closed progress: 1746789
Forward closed progress: 1713854
Forward closed progress: 1685488
Forward closed progress: 1839058
Forward closed progress: 1877986
Forward closed progress: 2172575
Forward closed progress: 2460329
Forward closed progress: 2831137
Forward closed progress: 3298172
Forward closed progress: 3296951
Forward closed progress: 3196226
Forward closed progress: 3470584
Forward closed progress: 3645395
Forward closed progress: 3659051
Forward closed progress: 3601588
Forward closed progress: 3533169
Forward closed progress: 3476898
Forward closed progress: 3668466
Forward closed progress: 3558529
Forward closed progress: 3541272
Forward closed progress: 3542516
Forward closed progress: 3507854
Forward closed progress: 3450477
Forward closed progress: 3549030
Forward closed progress: 3115810
Forward closed progress: 3234479
Forward closed progress: 3234920
Forward closed progress: 2934811
Forward closed progress: 2902925
Forward closed progress: 2800710
Forward closed progress: 2797645
Forward closed progress: 2794176
Forward closed progress: 2750637
Forward closed progress: 2750457
Forward closed progress: 2750751
Forward closed progress: 2742511
Forward closed progress: 2238131
Forward closed progress: 2238167
Forward closed progress: 2239722
Forward closed progress: 2239721
Forward closed progress: 2239792
Forward closed progress: 2239760
Forward closed progress: 2240294
Forward closed progress: 2240165
Forward closed progress: 2239729
Forward closed progress: 2239941
Forward closed progress: 2240038
Forward closed progress: 2241948
Forward closed progress: 2241943
Forward closed progress: 2243783
Forward closed progress: 2247835
Forward closed progress: 2247837
Forward closed progress: 2245253
Forward closed progress: 2241219
Forward closed progress: 2241135
Forward closed progress: 2240055
Forward closed progress: 2240053
Forward closed progress: 2240018
Forward closed progress: 2517000
Forward closed progress: 2497533
Forward closed progress: 2171959
Forward closed progress: 2307492
Forward closed progress: 2307782
Forward closed progress: 2205044
Forward closed progress: 2201349
Forward closed progress: 2172249
Forward closed progress: 2108913
Forward closed progress: 2031155
Forward closed progress: 1845321
Forward closed progress: 1516380
Forward closed progress: 1417072
Forward closed progress: 1417062
Forward closed progress: 1419946
Forward closed progress: 1417873
Forward closed progress: 1417396
Forward closed progress: 1417972
Forward closed progress: 1416626
Forward closed progress: 1414440
Forward closed progress: 1409410
Forward closed progress: 1158547
Forward closed progress: 1161823
Forward closed progress: 1161807
Forward closed progress: 1164599
Forward closed progress: 1164611
Forward closed progress: 1069058
Forward closed progress: 1068222
Forward closed progress: 1068706
Forward closed progress: 1069046
Forward closed progress: 1074486
Forward closed progress: 1074474
Forward closed progress: 1074728
Forward closed progress: 1075592
Forward closed progress: 1075553
Forward closed progress: 1075855
Forward closed progress: 1071503
Forward closed progress: 1068986
Forward closed progress: 1071530
Forward closed progress: 1071548
Forward closed progress: 1068977
Forward closed progress: 1066770
Forward closed progress: 1004617
Forward closed progress: 757546
Forward closed progress: 877744
Forward closed progress: 873253
Forward closed progress: 873045
Forward closed progress: 872446
Forward closed progress: 873914
Forward closed progress: 873918
Forward closed progress: 873731
Forward closed progress: 1265372
Forward closed progress: 1458169
Forward closed progress: 1810881
Forward closed progress: 1814184
Forward closed progress: 1811122
Forward closed progress: 1783557
Forward closed progress: 1790847
Forward closed progress: 1967952
Forward closed progress: 2008157
Forward closed progress: 2285435
Forward closed progress: 2589171
Forward closed progress: 2899234
Forward closed progress: 3526795
Forward closed progress: 3526054
Forward closed progress: 3145886
Forward closed progress: 3652178
Forward closed progress: 4152454
Forward closed progress: 4168831
Forward closed progress: 4139512
Forward closed progress: 4074672
Forward closed progress: 4030785
Forward closed progress: 4507067
Forward closed progress: 4225336
Forward closed progress: 4201491
Forward closed progress: 4212018
Forward closed progress: 3777658
Forward closed progress: 3742872
Forward closed progress: 4396452
Forward closed progress: 4402001
Forward closed progress: 4661540
Forward closed progress: 4676066
Forward closed progress: 4666829
Forward closed progress: 4705117
Forward closed progress: 4811525
Forward closed progress: 4401331
Forward closed progress: 4529862
Forward closed progress: 4530450
Forward closed progress: 4239286
Forward closed progress: 4211699
Forward closed progress: 4096950
Forward closed progress: 4090080
Forward closed progress: 4088260
Forward closed progress: 4096694
Forward closed progress: 4092632
Forward closed progress: 4312446
Forward closed progress: 4306260
Forward closed progress: 4312807
Forward closed progress: 4456604
Forward closed progress: 4470031
Forward closed progress: 4540862
Forward closed progress: 4541828
Forward closed progress: 4644221
Forward closed progress: 5140932
Forward closed progress: 5444620
Forward closed progress: 5445523
Forward closed progress: 5445651
Forward closed progress: 5027189
Forward closed progress: 5029245
Forward closed progress: 5029611
Forward closed progress: 5005581
Forward closed progress: 5002251
Forward closed progress: 5245976
Forward closed progress: 5375712
Forward closed progress: 5376848
Forward closed progress: 5377122
Forward closed progress: 5377156
Forward closed progress: 5321026
Forward closed progress: 5276086
Forward closed progress: 5804004
Forward closed progress: 5788164
Forward closed progress: 5785800
Forward closed progress: 5977899
Forward closed progress: 5739131
Forward closed progress: 5746836
Forward closed progress: 5777932
Forward closed progress: 5757447
Forward closed progress: 5760450
Forward closed progress: 6061967
Forward closed progress: 6062445
Forward closed progress: 5781502
Forward closed progress: 5780555
Forward closed progress: 5781910
Forward closed progress: 6460359
Forward closed progress: 6642564
Forward closed progress: 6652551
Forward closed progress: 6652697
Forward closed progress: 6340988
Forward closed progress: 6316983
Forward closed progress: 6408451
Forward closed progress: 6379183
Forward closed progress: 6345694
Forward closed progress: 6337186
Forward closed progress: 6269534
Forward closed progress: 6236438
Forward closed progress: 6209612
Forward closed progress: 6460780
Forward closed progress: 6464157
Forward closed progress: 6237516
Forward closed progress: 6216657
Forward closed progress: 6322726
Forward closed progress: 6321080
Forward closed progress: 5855940
Forward closed progress: 5825799
Forward closed progress: 5825391
Forward closed progress: 5775525
Forward closed progress: 5844296
Forward closed progress: 5773831
Forward closed progress: 5671209
Forward closed progress: 5486752
Forward closed progress: 5378931
Forward closed progress: 5380005
Forward closed progress: 5375275
Forward closed progress: 7615707
Forward closed progress: 8284710
Forward closed progress: 7038516
Forward closed progress: 7442508
Forward closed progress: 7447045
Forward closed progress: 7256171
Forward closed progress: 7030330
Forward closed progress: 7175618
Forward closed progress: 7216232
Forward closed progress: 7748654
Forward closed progress: 7722682
Forward closed progress: 8129172
Forward closed progress: 8055206
Forward closed progress: 7979634
Forward closed progress: 8033726
Forward closed progress: 8126894
Forward closed progress: 8140647
Forward closed progress: 7590579
Forward closed progress: 7470574
Forward closed progress: 7561686
Forward closed progress: 7473138
Forward closed progress: 7544433
Forward closed progress: 7457505
Forward closed progress: 7495131
Forward closed progress: 7085948
Forward closed progress: 7179041
Forward closed progress: 7179507
Forward closed progress: 6884705
Forward closed progress: 6852895
Forward closed progress: 6751110
Forward closed progress: 6730582
Forward closed progress: 6440556
Forward closed progress: 6440037
Forward closed progress: 6436712
Forward closed progress: 6429672
Forward closed progress: 6488676
Forward closed progress: 6495257
Forward closed progress: 6553377
Forward closed progress: 6553939
Forward closed progress: 5649933
Forward closed progress: 5639755
Forward closed progress: 5637915
Forward closed progress: 5617474
Forward closed progress: 5601786
Forward closed progress: 5559365
Forward closed progress: 5632219
Forward closed progress: 5629522
Forward closed progress: 5565068
Forward closed progress: 5572866
Forward closed progress: 5568432
Forward closed progress: 5507101
Forward closed progress: 5484398
Forward closed progress: 5489677
Forward closed progress: 5489877
Forward closed progress: 5376490
Forward closed progress: 5376370
Forward closed progress: 5373028
Forward closed progress: 6059004
Forward closed progress: 5365716
Forward closed progress: 4518541
Forward closed progress: 4609636
Forward closed progress: 4609876
Forward closed progress: 4447049
Forward closed progress: 4441857
Forward closed progress: 4398250
Forward closed progress: 4291044
Forward closed progress: 4430583
Forward closed progress: 4241155
Forward closed progress: 4148879
Forward closed progress: 3812932
Forward closed progress: 3773157
Forward closed progress: 3773260
Forward closed progress: 3521730
Forward closed progress: 3312407
Forward closed progress: 3657899
Forward closed progress: 4027965
Forward closed progress: 4064951
Forward closed progress: 4344075
Forward closed progress: 4346048
Forward closed progress: 4346044
Forward closed progress: 4316999
Forward closed progress: 4297641
Forward closed progress: 4204285
Forward closed progress: 4199608
Forward closed progress: 4204864
Forward closed progress: 4198264
Forward closed progress: 4276183
Forward closed progress: 4322520
Forward closed progress: 4571283
Forward closed progress: 4571759
Forward closed progress: 4834681
Forward closed progress: 4843643
Forward closed progress: 4843205
Forward closed progress: 4965372
Forward closed progress: 5120592
Forward closed progress: 5126927
Forward closed progress: 5124591
Forward closed progress: 5120693
Forward closed progress: 5230020
Forward closed progress: 5282324
Forward closed progress: 5230072
Forward closed progress: 5485110
Forward closed progress: 5200673
Forward closed progress: 5200565
Forward closed progress: 5200859
Forward closed progress: 5200611
Forward closed progress: 5204606
Forward closed progress: 5306059
Forward closed progress: 5024670
Forward closed progress: 5078528
Forward closed progress: 5078706
Forward closed progress: 4928512
Forward closed progress: 4898390
Forward closed progress: 4838688
Forward closed progress: 4837576
Forward closed progress: 4390257
Forward closed progress: 4388583
Forward closed progress: 4331294
Forward closed progress: 4366284
Forward closed progress: 4344482
Forward closed progress: 4341958
Forward closed progress: 4998081
Forward closed progress: 5187956
Forward closed progress: 5212412
Forward closed progress: 5373346
Forward closed progress: 5374785
Forward closed progress: 3710650
Forward closed progress: 3699158
Forward closed progress: 3695495
Forward closed progress: 3635793
Forward closed progress: 3629183
Forward closed progress: 3628257
Forward closed progress: 3624620
Forward closed progress: 3606962
Forward closed progress: 3537819
Forward closed progress: 3779716
Forward closed progress: 3759501
Forward closed progress: 3648403
Forward closed progress: 3683882
Forward closed progress: 3680310
Forward closed progress: 3660724
Forward closed progress: 3896490
Forward closed progress: 3567905
Forward closed progress: 3453658
Forward closed progress: 3307109
Forward closed progress: 3332232
Forward closed progress: 3332716
Forward closed progress: 3064779
Forward closed progress: 3045332
Forward closed progress: 3019767
Forward closed progress: 3083395
Forward closed progress: 3070296
Forward closed progress: 3020944
Forward closed progress: 2971930
Forward closed progress: 2974988
Forward closed progress: 2963492
Forward closed progress: 2961373
Forward closed progress: 2959389
Forward closed progress: 2953937
Forward closed progress: 2939720
Forward closed progress: 2940365
Forward closed progress: 2922971
Forward closed progress: 2574890
Forward closed progress: 2242003
Forward closed progress: 1764322
Forward closed progress: 2077775
Forward closed progress: 2823278
Forward closed progress: 2500708
Forward closed progress: 3497042
Forward closed progress: 3501204
Forward closed progress: 3483520
Forward closed progress: 3450585
Forward closed progress: 3310670
Forward closed progress: 3606672
Forward closed progress: 3701763
Forward closed progress: 4481047
Forward closed progress: 4785093
Forward closed progress: 5611183
Forward closed progress: 6140475
Forward closed progress: 6139420
Forward closed progress: 6037026
Forward closed progress: 6455657
Forward closed progress: 6683847
Forward closed progress: 6697422
Forward closed progress: 6530446
Forward closed progress: 6462005
Forward closed progress: 6327167
Forward closed progress: 6640700
Forward closed progress: 6433451
Forward closed progress: 6409772
Forward closed progress: 6411016
Forward closed progress: 6468628
Forward closed progress: 6402358
Forward closed progress: 6663628
Forward closed progress: 5800517
Forward closed progress: 6012451
Forward closed progress: 6012896
Forward closed progress: 5458805
Forward closed progress: 5391965
Forward closed progress: 5174668
Forward closed progress: 5168389
Forward closed progress: 5164998
Forward closed progress: 5030387
Forward closed progress: 5030027
Forward closed progress: 5030321
Forward closed progress: 5021321
Forward closed progress: 4949544
Forward closed progress: 4911632
Forward closed progress: 4908554
Forward closed progress: 4897219
Forward closed progress: 4908353
Forward closed progress: 4908389
Forward closed progress: 4902231
Forward closed progress: 4902564
Forward closed progress: 4902578
Forward closed progress: 4896935
Forward closed progress: 4894447
Forward closed progress: 4894413
Forward closed progress: 4894443
Forward closed progress: 4885713
Forward closed progress: 6010352
Forward closed progress: 5578938
Forward closed progress: 4449736
Forward closed progress: 4756518
Forward closed progress: 4756794
Forward closed progress: 4519520
Forward closed progress: 4510898
Forward closed progress: 4450582
Forward closed progress: 4294468
Forward closed progress: 4413468
Forward closed progress: 4237467
Forward closed progress: 4084164
Forward closed progress: 3524159
Forward closed progress: 3159574
Forward closed progress: 2546701
Forward closed progress: 2448655
Forward closed progress: 2444741
Forward closed progress: 2446264
Forward closed progress: 2444662
Forward closed progress: 2443746
Forward closed progress: 2444104
Forward closed progress: 2442758
Forward closed progress: 2325233
Forward closed progress: 2264093
Forward closed progress: 2146754
Forward closed progress: 2137816
Forward closed progress: 2145135
Forward closed progress: 2192952
Forward closed progress: 2190345
Forward closed progress: 2244717
Forward closed progress: 2297716
Forward closed progress: 2297802
Forward closed progress: 2217028
Forward closed progress: 2224739
Forward closed progress: 2225144
Forward closed progress: 2253732
Forward closed progress: 2253291
Forward closed progress: 2280184
Forward closed progress: 2271170
Forward closed progress: 2161963
Forward closed progress: 2162263
Forward closed progress: 2124892
Forward closed progress: 2064709
Forward closed progress: 1403571
Forward closed progress: 1406668
Forward closed progress: 1411290
Forward closed progress: 1366617
Forward closed progress: 1370319
Forward closed progress: 1367924
Forward closed progress: 1366593
Forward closed progress: 1366929
Forward closed progress: 1364708
Forward closed progress: 1358793
Forward closed progress: 1319347
Forward closed progress: 1709677
Forward closed progress: 1735687
Forward closed progress: 1881680
Forward closed progress: 2075994
Forward closed progress: 2137492
Forward closed progress: 2138364
Forward closed progress: 2138490
Forward closed progress: 2018794
Forward closed progress: 2011456
Forward closed progress: 2026221
Forward closed progress: 2042860
Forward closed progress: 2056851
Forward closed progress: 2059335
Forward closed progress: 2054800
Forward closed progress: 2055414
Forward closed progress: 2064181
Forward closed progress: 2060169
Forward closed progress: 2051086
Forward closed progress: 2112202
Forward closed progress: 2142437
Forward closed progress: 2005471
Forward closed progress: 2051655
Forward closed progress: 2077309
Forward closed progress: 2077445
Forward closed progress: 2077473
Forward closed progress: 2046896
Forward closed progress: 2024006
Forward closed progress: 2073113
Forward closed progress: 2097327
Forward closed progress: 2097463
Forward closed progress: 2097491
Forward closed progress: 2053208
Forward closed progress: 2024772
Forward closed progress: 2011523
Forward closed progress: 2013293
Forward closed progress: 2026101
Forward closed progress: 2048539
Forward closed progress: 2062489
Forward closed progress: 2201981
Forward closed progress: 2202045
Forward closed progress: 2074203
Forward closed progress: 2015279
Forward closed progress: 2019896
Forward closed progress: 2019410
Forward closed progress: 2022115
Forward closed progress: 2021927
Forward closed progress: 2026605
Forward closed progress: 2025399
Forward closed progress: 2012106
Forward closed progress: 2010263
Forward closed progress: 2076492
Forward closed progress: 2000974
Forward closed progress: 1996846
Forward closed progress: 2001102
Forward closed progress: 2001107
Forward closed progress: 2001156
Forward closed progress: 2001168
Forward closed progress: 2001228
Forward closed progress: 1973799
Forward closed progress: 1973271
Forward closed progress: 1884876
Forward closed progress: 1884716
Forward closed progress: 1884380
Forward closed progress: 1876340
Forward closed progress: 1876310
Forward closed progress: 1875479
Forward closed progress: 1869046
Forward closed progress: 1837285
Forward closed progress: 1771435
Forward closed progress: 1691119
Forward closed progress: 1375762
Forward closed progress: 1375948
Forward closed progress: 1377464
Forward closed progress: 1376531
Forward closed progress: 1379684
Forward closed progress: 1379045
Forward closed progress: 1378519
Forward closed progress: 1378726
Forward closed progress: 1378375
Forward closed progress: 1375682
Forward closed progress: 1379102
Forward closed progress: 1367435
Forward closed progress: 1367435
Control exists for 6 color(s), jumping through 9007199254740992 vertices.
Elapsed: 21088976 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 21088.976
user ??
sys ??
