>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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: 4107282860161892400
Attractor colors computed in 3088 ms.
Backward progress: 105462
Backward progress: 112068
Backward progress: 118186
Backward progress: 118094
Backward progress: 117838
Backward progress: 122229
Backward progress: 112879
Backward progress: 115724
Backward progress: 115758
Backward progress: 113011
Backward progress: 112915
Backward progress: 110790
Backward progress: 110147
Backward progress: 142567
Backward progress: 142864
Backward progress: 132022
Backward progress: 130422
Backward progress: 146522
Backward progress: 146254
Backward progress: 137763
Backward progress: 136775
Backward progress: 136747
Backward progress: 134876
Backward progress: 133543
Backward progress: 133155
Backward progress: 132927
Backward progress: 133104
Backward progress: 132871
Backward progress: 131161
Backward progress: 131317
Backward progress: 125053
Backward progress: 129425
Backward progress: 129469
Backward progress: 125345
Backward progress: 122332
Backward progress: 119217
Backward progress: 123639
Backward progress: 123708
Backward progress: 125013
Backward progress: 124792
Backward progress: 124814
Backward progress: 122460
Backward progress: 215231
Backward progress: 220633
Backward progress: 188281
Backward progress: 181063
Backward progress: 181285
Backward progress: 178867
Backward progress: 165403
Backward progress: 165641
Backward progress: 164899
Backward progress: 172400
Backward progress: 170951
Backward progress: 178531
Backward progress: 176565
Backward progress: 173298
Backward progress: 174322
Backward progress: 199487
Backward progress: 200251
Backward progress: 187764
Backward progress: 160046
Backward progress: 161596
Backward progress: 157979
Backward progress: 158965
Backward progress: 148962
Backward progress: 152079
Backward progress: 152099
Backward progress: 149571
Backward progress: 149547
Backward progress: 148831
Backward progress: 146237
Backward progress: 144869
Backward progress: 145813
Backward progress: 145599
Backward progress: 145702
Backward progress: 147794
Backward progress: 147736
Backward progress: 140195
Backward progress: 143649
Backward progress: 139507
Backward progress: 137538
Backward progress: 137540
Backward progress: 137099
Backward progress: 137245
Backward progress: 136853
Backward progress: 136355
Backward progress: 136088
Backward progress: 132815
Backward progress: 133271
Backward progress: 131608
Backward progress: 126294
Backward progress: 125519
Backward progress: 128199
Backward progress: 128227
Backward progress: 125637
Backward progress: 125621
Backward progress: 125337
Backward progress: 122333
Backward progress: 200978
Backward progress: 191662
Backward progress: 193183
Backward progress: 175898
Backward progress: 170768
Backward progress: 208332
Backward progress: 208450
Backward progress: 190791
Backward progress: 188856
Backward progress: 188818
Backward progress: 182533
Backward progress: 178595
Backward progress: 177813
Backward progress: 177561
Backward progress: 177826
Backward progress: 177429
Backward progress: 174307
Backward progress: 168687
Backward progress: 167961
Backward progress: 167658
Backward progress: 166455
Backward progress: 167213
Backward progress: 167277
Backward progress: 167252
Backward progress: 167097
Backward progress: 168545
Backward progress: 167079
Backward progress: 163258
Backward progress: 165368
Backward progress: 163531
Backward progress: 159859
Backward progress: 181029
Backward progress: 180180
Backward progress: 161067
Backward progress: 155506
Backward progress: 133781
Backward progress: 130412
Backward progress: 133207
Backward progress: 130644
Backward progress: 127375
Backward progress: 131450
Backward progress: 130990
Backward progress: 134036
Backward progress: 131837
Backward progress: 132488
Backward progress: 133508
Backward progress: 133594
Backward progress: 133987
Backward progress: 133790
Backward progress: 134515
Backward progress: 135126
Backward progress: 135128
Backward progress: 134972
Backward progress: 134757
Backward progress: 135236
Backward progress: 126802
Backward progress: 128041
Backward progress: 128049
Backward progress: 128110
Backward progress: 128100
Backward progress: 128168
Backward progress: 128337
Backward progress: 128339
Backward progress: 128255
Backward progress: 128135
Backward progress: 128148
Backward progress: 129336
Backward progress: 129244
Backward progress: 128629
Backward progress: 128547
Backward progress: 128555
Backward progress: 153350
Backward progress: 153824
Forward closed progress: 113620
Forward closed progress: 112905
Forward closed progress: 111567
Forward closed progress: 109116
Control exists for 456 color(s), jumping through 6 vertices.
Elapsed: 186061 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 186.061
user ??
sys ??
