>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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 10093 ms.
Backward progress: 101063
Backward progress: 116134
Backward progress: 117902
Backward progress: 117914
Backward progress: 117506
Backward progress: 133673
Backward progress: 143576
Backward progress: 148712
Backward progress: 148420
Backward progress: 147856
Backward progress: 151162
Backward progress: 144644
Backward progress: 146671
Backward progress: 146705
Backward progress: 144758
Backward progress: 144662
Backward progress: 142481
Backward progress: 142046
Backward progress: 170645
Backward progress: 171107
Backward progress: 160669
Backward progress: 160004
Backward progress: 191513
Backward progress: 190709
Backward progress: 183436
Backward progress: 182674
Backward progress: 182646
Backward progress: 181195
Backward progress: 180146
Backward progress: 179898
Backward progress: 179755
Backward progress: 180044
Backward progress: 179811
Backward progress: 178620
Backward progress: 161045
Backward progress: 159726
Backward progress: 153524
Backward progress: 156646
Backward progress: 156690
Backward progress: 153790
Backward progress: 152027
Backward progress: 147510
Backward progress: 152161
Backward progress: 152179
Backward progress: 154524
Backward progress: 154021
Backward progress: 154043
Backward progress: 152489
Backward progress: 258992
Backward progress: 267551
Backward progress: 226352
Backward progress: 218695
Backward progress: 218917
Backward progress: 214857
Backward progress: 202461
Backward progress: 203067
Backward progress: 203313
Backward progress: 208710
Backward progress: 207653
Backward progress: 214802
Backward progress: 214039
Backward progress: 209420
Backward progress: 210972
Backward progress: 240493
Backward progress: 241627
Backward progress: 226597
Backward progress: 194519
Backward progress: 195961
Backward progress: 193220
Backward progress: 192504
Backward progress: 182567
Backward progress: 189242
Backward progress: 189262
Backward progress: 187422
Backward progress: 187398
Backward progress: 186906
Backward progress: 182518
Backward progress: 180630
Backward progress: 178864
Backward progress: 179864
Backward progress: 179739
Backward progress: 179979
Backward progress: 181277
Backward progress: 181219
Backward progress: 172434
Backward progress: 175622
Backward progress: 171977
Backward progress: 170041
Backward progress: 170049
Backward progress: 169530
Backward progress: 169676
Backward progress: 169400
Backward progress: 168986
Backward progress: 169481
Backward progress: 164460
Backward progress: 164916
Backward progress: 163571
Backward progress: 155681
Backward progress: 154868
Backward progress: 160916
Backward progress: 160944
Backward progress: 158954
Backward progress: 158938
Backward progress: 158733
Backward progress: 154699
Backward progress: 152230
Backward progress: 220821
Backward progress: 211271
Backward progress: 213326
Backward progress: 202262
Backward progress: 198651
Backward progress: 221367
Backward progress: 221485
Backward progress: 207977
Backward progress: 206486
Backward progress: 206448
Backward progress: 202563
Backward progress: 199689
Backward progress: 199187
Backward progress: 199022
Backward progress: 199287
Backward progress: 198890
Backward progress: 196809
Backward progress: 192997
Backward progress: 192490
Backward progress: 193028
Backward progress: 191325
Backward progress: 191813
Backward progress: 191674
Backward progress: 191658
Backward progress: 191444
Backward progress: 193147
Backward progress: 191401
Backward progress: 187220
Backward progress: 189314
Backward progress: 187438
Backward progress: 185366
Backward progress: 212055
Backward progress: 211722
Backward progress: 187704
Backward progress: 182719
Backward progress: 157112
Backward progress: 152076
Backward progress: 155624
Backward progress: 153240
Backward progress: 148970
Backward progress: 154558
Backward progress: 153218
Backward progress: 156803
Backward progress: 154112
Backward progress: 155141
Backward progress: 156073
Backward progress: 156242
Backward progress: 156485
Backward progress: 156363
Backward progress: 157071
Backward progress: 157111
Backward progress: 157514
Backward progress: 157516
Backward progress: 157410
Backward progress: 157273
Backward progress: 157984
Backward progress: 147942
Backward progress: 148902
Backward progress: 148916
Backward progress: 148988
Backward progress: 148969
Backward progress: 149037
Backward progress: 149154
Backward progress: 149156
Backward progress: 149097
Backward progress: 149029
Backward progress: 149095
Backward progress: 150349
Backward progress: 150259
Backward progress: 149684
Backward progress: 149627
Backward progress: 149635
Backward progress: 177049
Backward progress: 177631
Backward progress: 107603
Backward progress: 108180
Backward progress: 109655
Backward progress: 116595
Backward progress: 111015
Backward progress: 114283
Backward progress: 127123
Backward progress: 131022
Backward progress: 139071
Backward progress: 144116
Backward progress: 148623
Backward progress: 146637
Backward progress: 146172
Backward progress: 146307
Backward progress: 146259
Backward progress: 138283
Backward progress: 134562
Backward progress: 132845
Backward progress: 126962
Backward progress: 137001
Backward progress: 133883
Backward progress: 138527
Backward progress: 140501
Backward progress: 141166
Backward progress: 151052
Backward progress: 169117
Backward progress: 168884
Backward progress: 167185
Backward progress: 167091
Backward progress: 166758
Backward progress: 182873
Backward progress: 142161
Backward progress: 140603
Backward progress: 132602
Backward progress: 120500
Backward progress: 121337
Backward progress: 120475
Backward progress: 125299
Backward progress: 114485
Backward progress: 120296
Backward progress: 120312
Backward progress: 118838
Backward progress: 118838
Backward progress: 118040
Backward progress: 113270
Backward progress: 112846
Backward progress: 116191
Backward progress: 132998
Backward progress: 123637
Backward progress: 125146
Backward progress: 125959
Backward progress: 125960
Backward progress: 126014
Backward progress: 126018
Backward progress: 125985
Backward progress: 125999
Backward progress: 126272
Backward progress: 126221
Backward progress: 126509
Backward progress: 126507
Backward progress: 126535
Backward progress: 126537
Backward progress: 126303
Backward progress: 126569
Backward progress: 126995
Backward progress: 126997
Backward progress: 128113
Backward progress: 127937
Backward progress: 127832
Backward progress: 127827
Backward progress: 128926
Backward progress: 129047
Backward progress: 129051
Backward progress: 128433
Backward progress: 128459
Backward progress: 128263
Backward progress: 128331
Backward progress: 127257
Backward progress: 127541
Backward progress: 127543
Backward progress: 127293
Backward progress: 127064
Backward progress: 126831
Backward progress: 135857
Backward progress: 138956
Backward progress: 131491
Backward progress: 137826
Backward progress: 137836
Backward progress: 134878
Backward progress: 134849
Backward progress: 133374
Backward progress: 129194
Backward progress: 127606
Backward progress: 130932
Backward progress: 131588
Backward progress: 126289
Backward progress: 121412
Backward progress: 118985
Backward progress: 121319
Backward progress: 118985
Backward progress: 120638
Backward progress: 117057
Backward progress: 117646
Backward progress: 117815
Backward progress: 117910
Backward progress: 117913
Backward progress: 118434
Backward progress: 118441
Backward progress: 119046
Backward progress: 119048
Backward progress: 118839
Backward progress: 118618
Backward progress: 119328
Backward progress: 119338
Backward progress: 119404
Backward progress: 119374
Backward progress: 119414
Backward progress: 119587
Backward progress: 119589
Backward progress: 119503
Backward progress: 119379
Backward progress: 119392
Backward progress: 120126
Backward progress: 120079
Backward progress: 119728
Backward progress: 119644
Backward progress: 119652
Backward progress: 131349
Backward progress: 123144
Backward progress: 123138
Backward progress: 123150
Backward progress: 123156
Backward progress: 123158
Backward progress: 123180
Backward progress: 123103
Control exists for 456 color(s), jumping through 6 vertices.
Elapsed: 355184 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 355.184
user ??
sys ??
