>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 120960
Perturbation colors: 9007199254740992
All colors: 1089510821853470400000
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 4
Attractor colors: 126352991145506640000
Attractor colors computed in 5460 ms.
Backward progress: 105040
Backward progress: 105460
Backward progress: 100967
Backward progress: 100745
Backward progress: 121170
Backward progress: 120470
Backward progress: 113882
Backward progress: 113111
Backward progress: 111999
Backward progress: 111581
Backward progress: 101707
Backward progress: 101440
Backward progress: 156505
Backward progress: 164729
Backward progress: 133835
Backward progress: 128158
Backward progress: 128236
Backward progress: 125064
Backward progress: 120018
Backward progress: 120736
Backward progress: 121130
Backward progress: 123330
Backward progress: 122731
Backward progress: 125638
Backward progress: 126732
Backward progress: 124940
Backward progress: 126527
Backward progress: 126527
Backward progress: 127674
Backward progress: 121013
Backward progress: 116994
Backward progress: 118889
Backward progress: 116186
Backward progress: 115277
Backward progress: 110587
Backward progress: 114051
Backward progress: 114063
Backward progress: 113119
Backward progress: 113097
Backward progress: 112873
Backward progress: 110609
Backward progress: 109697
Backward progress: 109263
Backward progress: 110770
Backward progress: 110822
Backward progress: 110905
Backward progress: 111575
Backward progress: 111465
Backward progress: 108976
Backward progress: 110534
Backward progress: 108920
Backward progress: 107519
Backward progress: 107543
Backward progress: 107277
Backward progress: 107403
Backward progress: 107266
Backward progress: 106999
Backward progress: 107106
Backward progress: 104753
Backward progress: 105713
Backward progress: 103854
Backward progress: 101860
Backward progress: 101868
Backward progress: 100663
Backward progress: 150768
Backward progress: 140712
Backward progress: 142467
Backward progress: 138945
Backward progress: 135861
Backward progress: 152022
Backward progress: 152074
Backward progress: 139840
Backward progress: 138285
Backward progress: 135861
Backward progress: 134676
Backward progress: 134301
Backward progress: 135510
Backward progress: 136980
Backward progress: 136430
Backward progress: 136718
Backward progress: 136661
Backward progress: 137118
Backward progress: 136855
Backward progress: 137775
Backward progress: 136769
Backward progress: 129632
Backward progress: 135208
Backward progress: 133030
Backward progress: 131784
Backward progress: 149435
Backward progress: 152932
Backward progress: 137107
Backward progress: 145523
Backward progress: 129704
Backward progress: 124139
Backward progress: 128806
Backward progress: 125876
Backward progress: 120151
Backward progress: 125983
Backward progress: 123633
Backward progress: 127181
Backward progress: 125316
Backward progress: 126355
Backward progress: 127315
Backward progress: 127502
Backward progress: 127768
Backward progress: 127765
Backward progress: 128819
Backward progress: 128847
Backward progress: 129861
Backward progress: 129863
Backward progress: 129477
Backward progress: 129636
Backward progress: 129624
Backward progress: 131067
Backward progress: 123154
Backward progress: 124612
Backward progress: 124630
Backward progress: 124710
Backward progress: 124667
Backward progress: 124791
Backward progress: 125124
Backward progress: 125126
Backward progress: 124875
Backward progress: 124887
Backward progress: 124857
Backward progress: 124974
Backward progress: 126864
Backward progress: 126702
Backward progress: 126066
Backward progress: 125943
Backward progress: 126015
Backward progress: 128349
Backward progress: 112491
Backward progress: 112421
Backward progress: 111852
Backward progress: 111966
Backward progress: 111967
Backward progress: 103746
Backward progress: 105986
Backward progress: 121540
Backward progress: 121541
Backward progress: 121959
Backward progress: 129781
Backward progress: 123073
Backward progress: 127107
Backward progress: 158502
Backward progress: 164354
Backward progress: 175092
Backward progress: 178388
Backward progress: 173841
Backward progress: 173909
Backward progress: 164913
Backward progress: 156556
Backward progress: 148290
Backward progress: 146614
Backward progress: 147766
Backward progress: 160451
Backward progress: 155250
Backward progress: 158692
Backward progress: 158918
Backward progress: 159048
Backward progress: 166494
Backward progress: 170446
Backward progress: 170300
Backward progress: 169880
Backward progress: 180624
Backward progress: 160012
Backward progress: 159692
Backward progress: 110704
Backward progress: 106195
Backward progress: 104406
Backward progress: 104457
Backward progress: 100290
Backward progress: 104286
Backward progress: 103524
Backward progress: 108316
Backward progress: 103153
Backward progress: 105264
Backward progress: 105272
Backward progress: 104731
Backward progress: 104719
Backward progress: 104467
Backward progress: 102565
Backward progress: 101411
Backward progress: 102026
Backward progress: 108341
Backward progress: 105350
Backward progress: 105528
Backward progress: 105498
Backward progress: 111879
Backward progress: 112869
Backward progress: 109460
Backward progress: 110812
Backward progress: 110816
Backward progress: 109933
Backward progress: 109905
Backward progress: 109651
Backward progress: 108491
Backward progress: 108412
Backward progress: 110133
Backward progress: 110775
Backward progress: 110831
Backward progress: 119870
Backward progress: 120995
Backward progress: 125944
Backward progress: 120995
Backward progress: 123653
Backward progress: 121297
Backward progress: 121860
Backward progress: 122021
Backward progress: 122215
Backward progress: 122218
Backward progress: 122888
Backward progress: 122902
Backward progress: 123742
Backward progress: 123744
Backward progress: 123379
Backward progress: 123327
Backward progress: 123319
Backward progress: 124163
Backward progress: 124174
Backward progress: 124236
Backward progress: 124189
Backward progress: 124268
Backward progress: 124540
Backward progress: 124542
Backward progress: 124346
Backward progress: 124333
Backward progress: 124313
Backward progress: 124376
Backward progress: 125339
Backward progress: 125254
Backward progress: 124833
Backward progress: 124743
Backward progress: 124779
Backward progress: 129155
Control exists for 14028 color(s), jumping through 8 vertices.
Elapsed: 226611 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 226.611
user ??
sys ??
