>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 6480
Perturbation colors: 9007199254740992
All colors: 58366651170721630000
Unknown update functions: 6
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 6845471433603154000
Attractor colors computed in 2279 ms.
Backward progress: 102191
Backward progress: 101723
Backward progress: 102602
Backward progress: 102574
Backward progress: 102523
Backward progress: 101782
Backward progress: 101538
Backward progress: 101430
Backward progress: 105041
Backward progress: 104792
Backward progress: 103752
Backward progress: 104347
Backward progress: 104398
Backward progress: 124613
Backward progress: 133843
Backward progress: 134643
Backward progress: 134647
Backward progress: 134409
Backward progress: 144156
Backward progress: 151131
Backward progress: 153903
Backward progress: 153973
Backward progress: 153351
Backward progress: 156607
Backward progress: 152251
Backward progress: 153924
Backward progress: 153942
Backward progress: 152459
Backward progress: 152227
Backward progress: 149792
Backward progress: 149297
Backward progress: 229137
Backward progress: 234638
Backward progress: 227536
Backward progress: 213222
Backward progress: 261694
Backward progress: 260273
Backward progress: 254077
Backward progress: 253335
Backward progress: 252361
Backward progress: 251888
Backward progress: 243970
Backward progress: 242783
Backward progress: 236955
Backward progress: 239532
Backward progress: 239550
Backward progress: 237631
Backward progress: 235647
Backward progress: 199087
Backward progress: 216593
Backward progress: 216968
Backward progress: 237138
Backward progress: 235047
Backward progress: 235140
Backward progress: 232240
Backward progress: 210720
Backward progress: 354133
Backward progress: 370985
Backward progress: 306576
Backward progress: 291494
Backward progress: 291594
Backward progress: 285246
Backward progress: 270163
Backward progress: 271862
Backward progress: 274180
Backward progress: 276946
Backward progress: 276883
Backward progress: 279101
Backward progress: 278392
Backward progress: 278543
Backward progress: 277750
Backward progress: 281437
Backward progress: 281437
Backward progress: 282417
Backward progress: 272826
Backward progress: 264068
Backward progress: 263520
Backward progress: 264357
Backward progress: 262494
Backward progress: 267706
Backward progress: 257885
Backward progress: 261864
Backward progress: 261876
Backward progress: 260488
Backward progress: 260456
Backward progress: 260113
Backward progress: 257711
Backward progress: 256675
Backward progress: 253029
Backward progress: 257057
Backward progress: 256350
Backward progress: 256821
Backward progress: 257820
Backward progress: 257762
Backward progress: 241993
Backward progress: 242360
Backward progress: 241285
Backward progress: 236084
Backward progress: 236118
Backward progress: 236048
Backward progress: 236131
Backward progress: 236013
Backward progress: 235615
Backward progress: 235557
Backward progress: 235603
Backward progress: 230541
Backward progress: 230805
Backward progress: 228716
Backward progress: 216526
Backward progress: 214723
Backward progress: 217053
Backward progress: 217061
Backward progress: 214158
Backward progress: 211426
Backward progress: 209718
Backward progress: 274362
Backward progress: 267186
Backward progress: 267989
Backward progress: 262436
Backward progress: 261690
Backward progress: 259635
Backward progress: 276446
Backward progress: 276498
Backward progress: 263429
Backward progress: 261626
Backward progress: 256422
Backward progress: 254873
Backward progress: 253913
Backward progress: 261064
Backward progress: 253590
Backward progress: 252064
Backward progress: 252613
Backward progress: 252527
Backward progress: 253008
Backward progress: 252867
Backward progress: 254256
Backward progress: 252773
Backward progress: 249102
Backward progress: 249057
Backward progress: 247392
Backward progress: 246839
Backward progress: 280078
Backward progress: 287626
Backward progress: 257525
Backward progress: 279472
Backward progress: 247491
Backward progress: 240589
Backward progress: 249537
Backward progress: 243253
Backward progress: 233060
Backward progress: 243739
Backward progress: 240547
Backward progress: 249113
Backward progress: 244147
Backward progress: 245674
Backward progress: 248131
Backward progress: 248550
Backward progress: 248868
Backward progress: 248632
Backward progress: 249584
Backward progress: 249600
Backward progress: 249731
Backward progress: 250826
Backward progress: 250828
Backward progress: 250692
Backward progress: 250498
Backward progress: 252962
Backward progress: 236557
Backward progress: 241187
Backward progress: 241231
Backward progress: 244025
Backward progress: 243891
Backward progress: 243829
Backward progress: 244189
Backward progress: 244302
Backward progress: 244304
Backward progress: 244247
Backward progress: 244183
Backward progress: 240029
Backward progress: 243754
Backward progress: 243010
Backward progress: 241786
Backward progress: 241512
Backward progress: 241528
Backward progress: 241527
Backward progress: 241489
Backward progress: 245215
Backward progress: 102081
Backward progress: 101939
Backward progress: 101851
Backward progress: 102213
Backward progress: 102420
Backward progress: 102422
Backward progress: 102323
Backward progress: 102195
Backward progress: 101564
Backward progress: 100850
Backward progress: 100046
Backward progress: 104576
Backward progress: 134937
Backward progress: 137959
Backward progress: 137328
Backward progress: 137416
Backward progress: 137401
Backward progress: 123520
Backward progress: 131298
Backward progress: 153498
Backward progress: 143770
Backward progress: 145635
Backward progress: 152081
Backward progress: 145483
Backward progress: 149156
Backward progress: 181727
Backward progress: 186775
Backward progress: 196809
Backward progress: 199219
Backward progress: 197066
Backward progress: 196122
Backward progress: 196099
Backward progress: 196177
Backward progress: 186120
Backward progress: 177391
Backward progress: 167064
Backward progress: 165426
Backward progress: 167634
Backward progress: 176609
Backward progress: 174312
Backward progress: 178068
Backward progress: 178429
Backward progress: 178739
Backward progress: 182219
Backward progress: 181341
Backward progress: 191543
Backward progress: 191360
Backward progress: 190755
Backward progress: 202719
Backward progress: 138102
Backward progress: 137882
Backward progress: 133144
Backward progress: 128232
Backward progress: 129756
Backward progress: 129109
Backward progress: 160590
Backward progress: 142937
Backward progress: 148350
Backward progress: 148358
Backward progress: 147760
Backward progress: 147760
Backward progress: 147494
Backward progress: 146249
Backward progress: 145172
Backward progress: 141935
Backward progress: 144764
Backward progress: 158575
Backward progress: 148033
Backward progress: 148162
Backward progress: 148142
Backward progress: 157239
Backward progress: 159533
Backward progress: 157347
Backward progress: 159877
Backward progress: 159881
Backward progress: 158545
Backward progress: 158532
Backward progress: 158233
Backward progress: 156931
Backward progress: 158859
Backward progress: 156018
Backward progress: 155640
Backward progress: 160060
Backward progress: 160636
Backward progress: 160692
Backward progress: 183345
Backward progress: 186999
Backward progress: 195399
Backward progress: 186999
Backward progress: 194839
Backward progress: 187734
Backward progress: 189223
Backward progress: 189480
Backward progress: 189625
Backward progress: 189635
Backward progress: 190211
Backward progress: 190277
Backward progress: 192049
Backward progress: 192051
Backward progress: 191764
Backward progress: 191373
Backward progress: 194617
Backward progress: 194651
Backward progress: 196534
Backward progress: 196444
Backward progress: 196382
Backward progress: 196646
Backward progress: 196813
Backward progress: 196815
Backward progress: 196732
Backward progress: 196614
Backward progress: 193685
Backward progress: 195863
Backward progress: 195341
Backward progress: 194823
Backward progress: 194366
Backward progress: 194390
Backward progress: 194426
Backward progress: 194405
Backward progress: 199416
Control exists for 760 color(s), jumping through 8 vertices.
Elapsed: 459792 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 459.792
user ??
sys ??
