>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 3240
Perturbation colors: 9007199254740992
All colors: 29183325585360814000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 3026418949592973300
Attractor colors computed in 6827 ms.
Backward progress: 245700
Backward progress: 263861
Backward progress: 190810
Backward progress: 196243
Backward progress: 194843
Backward progress: 189115
Backward progress: 189427
Backward progress: 182494
Backward progress: 147467
Backward progress: 140889
Backward progress: 147047
Backward progress: 124513
Backward progress: 138019
Backward progress: 126921
Backward progress: 129298
Backward progress: 135493
Backward progress: 134967
Backward progress: 145072
Backward progress: 151024
Backward progress: 145502
Backward progress: 152053
Backward progress: 146997
Backward progress: 149095
Backward progress: 143309
Backward progress: 121871
Backward progress: 124719
Backward progress: 121039
Backward progress: 120829
Backward progress: 107485
Backward progress: 119371
Backward progress: 119411
Backward progress: 115941
Backward progress: 115915
Backward progress: 115165
Backward progress: 107269
Backward progress: 104451
Backward progress: 122141
Backward progress: 157648
Backward progress: 156491
Backward progress: 157898
Backward progress: 162165
Backward progress: 161919
Backward progress: 168364
Backward progress: 164882
Backward progress: 175246
Backward progress: 167656
Backward progress: 162775
Backward progress: 162829
Backward progress: 162233
Backward progress: 162509
Backward progress: 162174
Backward progress: 161354
Backward progress: 163338
Backward progress: 149335
Backward progress: 150798
Backward progress: 146721
Backward progress: 123358
Backward progress: 121755
Backward progress: 141538
Backward progress: 141580
Backward progress: 134561
Backward progress: 121335
Backward progress: 115507
Backward progress: 188925
Backward progress: 183261
Backward progress: 184749
Backward progress: 177661
Backward progress: 175449
Backward progress: 200474
Backward progress: 200576
Backward progress: 187214
Backward progress: 181178
Backward progress: 178630
Backward progress: 174792
Backward progress: 174244
Backward progress: 174194
Backward progress: 174876
Backward progress: 175601
Backward progress: 174031
Backward progress: 174271
Backward progress: 173828
Backward progress: 174400
Backward progress: 174255
Backward progress: 175639
Backward progress: 174145
Backward progress: 170343
Backward progress: 174073
Backward progress: 173181
Backward progress: 171877
Backward progress: 188286
Backward progress: 187831
Backward progress: 177490
Backward progress: 190324
Backward progress: 142988
Backward progress: 138579
Backward progress: 141791
Backward progress: 139639
Backward progress: 135637
Backward progress: 135360
Backward progress: 135272
Backward progress: 136057
Backward progress: 135040
Backward progress: 141085
Backward progress: 139006
Backward progress: 139499
Backward progress: 142138
Backward progress: 142022
Backward progress: 131514
Backward progress: 136097
Backward progress: 133121
Backward progress: 130076
Backward progress: 131186
Backward progress: 130722
Backward progress: 131228
Backward progress: 130849
Backward progress: 130987
Backward progress: 131000
Backward progress: 130408
Backward progress: 126205
Backward progress: 126101
Backward progress: 127380
Backward progress: 125588
Backward progress: 127030
Backward progress: 119777
Backward progress: 114268
Backward progress: 113373
Backward progress: 122132
Backward progress: 122130
Backward progress: 119005
Backward progress: 113245
Backward progress: 113154
Backward progress: 113269
Backward progress: 113271
Backward progress: 113214
Backward progress: 113150
Backward progress: 113216
Backward progress: 102835
Backward progress: 102859
Control exists for 336 color(s), jumping through 6 vertices.
Elapsed: 168112 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 168.112
user ??
sys ??
