>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 27216
Perturbation colors: 9007199254740992
All colors: 245139934917030840000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 36100854613001896000
Attractor colors computed in 19268 ms.
Backward progress: 101428
Backward progress: 101232
Backward progress: 101048
Backward progress: 103480
Backward progress: 101036
Backward progress: 101054
Backward progress: 121629
Backward progress: 121974
Backward progress: 114435
Backward progress: 113982
Backward progress: 133074
Backward progress: 132626
Backward progress: 128101
Backward progress: 127398
Backward progress: 126467
Backward progress: 126088
Backward progress: 114575
Backward progress: 113592
Backward progress: 109701
Backward progress: 110997
Backward progress: 111015
Backward progress: 109825
Backward progress: 109028
Backward progress: 102817
Backward progress: 108723
Backward progress: 108828
Backward progress: 110177
Backward progress: 109888
Backward progress: 109904
Backward progress: 108938
Backward progress: 183313
Backward progress: 190202
Backward progress: 158474
Backward progress: 149813
Backward progress: 149891
Backward progress: 146876
Backward progress: 136746
Backward progress: 137842
Backward progress: 138195
Backward progress: 140933
Backward progress: 140542
Backward progress: 145506
Backward progress: 145474
Backward progress: 142228
Backward progress: 143934
Backward progress: 143934
Backward progress: 144422
Backward progress: 136312
Backward progress: 131383
Backward progress: 132053
Backward progress: 130689
Backward progress: 130774
Backward progress: 124057
Backward progress: 128282
Backward progress: 128294
Backward progress: 127275
Backward progress: 127263
Backward progress: 127009
Backward progress: 124035
Backward progress: 123062
Backward progress: 122024
Backward progress: 124613
Backward progress: 124648
Backward progress: 124769
Backward progress: 125783
Backward progress: 125747
Backward progress: 123026
Backward progress: 125438
Backward progress: 123101
Backward progress: 120714
Backward progress: 120732
Backward progress: 120564
Backward progress: 120659
Backward progress: 120571
Backward progress: 120219
Backward progress: 119774
Backward progress: 115015
Backward progress: 115219
Backward progress: 114429
Backward progress: 108990
Backward progress: 108450
Backward progress: 111898
Backward progress: 111906
Backward progress: 110769
Backward progress: 108315
Backward progress: 106498
Backward progress: 297134
Backward progress: 248478
Backward progress: 249661
Backward progress: 209859
Backward progress: 186403
Backward progress: 212966
Backward progress: 213018
Backward progress: 196669
Backward progress: 194560
Backward progress: 189131
Backward progress: 187269
Backward progress: 181933
Backward progress: 184408
Backward progress: 185192
Backward progress: 184202
Backward progress: 184796
Backward progress: 184814
Backward progress: 185240
Backward progress: 185145
Backward progress: 186185
Backward progress: 185102
Backward progress: 166799
Backward progress: 208011
Backward progress: 183889
Backward progress: 179664
Backward progress: 177492
Backward progress: 177152
Backward progress: 175288
Backward progress: 197497
Backward progress: 203274
Backward progress: 182766
Backward progress: 188915
Backward progress: 164066
Backward progress: 160589
Backward progress: 166320
Backward progress: 161166
Backward progress: 154793
Backward progress: 160836
Backward progress: 159360
Backward progress: 164959
Backward progress: 161765
Backward progress: 162390
Backward progress: 163994
Backward progress: 164143
Backward progress: 164548
Backward progress: 164334
Backward progress: 165563
Backward progress: 165585
Backward progress: 166277
Backward progress: 166279
Backward progress: 166166
Backward progress: 165981
Backward progress: 168155
Backward progress: 157465
Backward progress: 159619
Backward progress: 159495
Backward progress: 159553
Backward progress: 159530
Backward progress: 159590
Backward progress: 159748
Backward progress: 159750
Backward progress: 159689
Backward progress: 159574
Backward progress: 159653
Backward progress: 167426
Backward progress: 167354
Backward progress: 167325
Backward progress: 166472
Backward progress: 166162
Backward progress: 168347
Backward progress: 171170
Backward progress: 100340
Backward progress: 126321
Backward progress: 128022
Backward progress: 112226
Backward progress: 116451
Backward progress: 119205
Backward progress: 116547
Backward progress: 121528
Backward progress: 116592
Backward progress: 117662
Backward progress: 117795
Backward progress: 118043
Backward progress: 118046
Backward progress: 118963
Backward progress: 118974
Backward progress: 120065
Backward progress: 120067
Backward progress: 119833
Backward progress: 119430
Backward progress: 120954
Backward progress: 120890
Backward progress: 120935
Backward progress: 120908
Backward progress: 120943
Backward progress: 121206
Backward progress: 121208
Backward progress: 121111
Backward progress: 120891
Backward progress: 120898
Backward progress: 128567
Backward progress: 128536
Backward progress: 128473
Backward progress: 128317
Backward progress: 127802
Backward progress: 127503
Backward progress: 129487
Control exists for 4008 color(s), jumping through 8 vertices.
Elapsed: 288828 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 288.828
user ??
sys ??
