>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 20
Uncertainty colors: 16505959680
Perturbation colors: 1048576
All colors: 17307753177415680
Unknown update functions: 8
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 55895811686400
Attractor colors computed in 5127 ms.
Backward progress: 101551
Backward progress: 101785
Backward progress: 130128
Backward progress: 130956
Backward progress: 157419
Backward progress: 172346
Backward progress: 168515
Backward progress: 164805
Backward progress: 163299
Backward progress: 163167
Backward progress: 161987
Backward progress: 180844
Backward progress: 182275
Backward progress: 186395
Backward progress: 186425
Backward progress: 157382
Backward progress: 157337
Backward progress: 159652
Backward progress: 150720
Backward progress: 147904
Backward progress: 142133
Backward progress: 105495
Backward progress: 113572
Backward progress: 123254
Backward progress: 147769
Backward progress: 149149
Backward progress: 147409
Backward progress: 127575
Backward progress: 126030
Backward progress: 117000
Backward progress: 115215
Backward progress: 110919
Forward closed progress: 100586
Forward closed progress: 100792
Forward closed progress: 100641
Forward closed progress: 138743
Forward closed progress: 142751
Forward closed progress: 142751
Forward closed progress: 141356
Forward closed progress: 141716
Forward closed progress: 140290
Forward closed progress: 183134
Forward closed progress: 185214
Forward closed progress: 187194
Forward closed progress: 165792
Forward closed progress: 168714
Forward closed progress: 135627
Forward closed progress: 146343
Forward closed progress: 153759
Forward closed progress: 138327
Forward closed progress: 139497
Forward closed progress: 146082
Forward closed progress: 138597
Forward closed progress: 138642
Forward closed progress: 203563
Forward closed progress: 191773
Forward closed progress: 120841
Forward closed progress: 134222
Forward closed progress: 283747
Forward closed progress: 310853
Forward closed progress: 312220
Forward closed progress: 322472
Forward closed progress: 326908
Forward closed progress: 336987
Forward closed progress: 337144
Forward closed progress: 327148
Forward closed progress: 318652
Forward closed progress: 341482
Forward closed progress: 328378
Forward closed progress: 342758
Forward closed progress: 343542
Forward closed progress: 321453
Forward closed progress: 321757
Forward closed progress: 318072
Forward closed progress: 319962
Forward closed progress: 318288
Forward closed progress: 293298
Forward closed progress: 292700
Forward closed progress: 289806
Forward closed progress: 278994
Forward closed progress: 235270
Forward closed progress: 220088
Forward closed progress: 182374
Forward closed progress: 231194
Forward closed progress: 237415
Forward closed progress: 336279
Forward closed progress: 335853
Forward closed progress: 355869
Forward closed progress: 349571
Forward closed progress: 363381
Forward closed progress: 364277
Forward closed progress: 344514
Forward closed progress: 344866
Forward closed progress: 334245
Forward closed progress: 335941
Forward closed progress: 334613
Forward closed progress: 311259
Forward closed progress: 310555
Forward closed progress: 307675
Forward closed progress: 296459
Forward closed progress: 262264
Forward closed progress: 252228
Forward closed progress: 229930
Forward closed progress: 310389
Forward closed progress: 344444
Forward closed progress: 695559
Forward closed progress: 702102
Forward closed progress: 712764
Forward closed progress: 769097
Forward closed progress: 771236
Forward closed progress: 790637
Forward closed progress: 801419
Forward closed progress: 815621
Forward closed progress: 816098
Forward closed progress: 796034
Forward closed progress: 776790
Forward closed progress: 856342
Forward closed progress: 839322
Forward closed progress: 890974
Forward closed progress: 893914
Forward closed progress: 825710
Forward closed progress: 826854
Forward closed progress: 812739
Forward closed progress: 819417
Forward closed progress: 813657
Forward closed progress: 737067
Forward closed progress: 734898
Forward closed progress: 724323
Forward closed progress: 684761
Forward closed progress: 562167
Forward closed progress: 523187
Forward closed progress: 442624
Forward closed progress: 509366
Forward closed progress: 519393
Forward closed progress: 527661
Forward closed progress: 626864
Forward closed progress: 629182
Forward closed progress: 630098
Forward closed progress: 631972
Forward closed progress: 639734
Forward closed progress: 636854
Forward closed progress: 664343
Forward closed progress: 657391
Forward closed progress: 673002
Forward closed progress: 673877
Forward closed progress: 651585
Forward closed progress: 652410
Forward closed progress: 632139
Forward closed progress: 633932
Forward closed progress: 632539
Forward closed progress: 604142
Forward closed progress: 603299
Forward closed progress: 600292
Forward closed progress: 589167
Forward closed progress: 547920
Forward closed progress: 539572
Forward closed progress: 517356
Forward closed progress: 462726
Forward closed progress: 457030
Forward closed progress: 460429
Forward closed progress: 513984
Forward closed progress: 513969
Forward closed progress: 526489
Forward closed progress: 524020
Forward closed progress: 532751
Forward closed progress: 533311
Forward closed progress: 521711
Forward closed progress: 521931
Forward closed progress: 515921
Forward closed progress: 516981
Forward closed progress: 516151
Forward closed progress: 502192
Forward closed progress: 501752
Forward closed progress: 499952
Forward closed progress: 492942
Forward closed progress: 473001
Forward closed progress: 467257
Forward closed progress: 455234
Forward closed progress: 455234
Control exists for 53306400 color(s), jumping through 1048576 vertices.
Elapsed: 245824 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 245.824
user ??
sys ??
