>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 489888
Perturbation colors: 9007199254740992
All colors: 4412518828506555000000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 302641894959297300000
Attractor colors computed in 34444 ms.
Backward progress: 100733
Backward progress: 105981
Backward progress: 109585
Backward progress: 109354
Backward progress: 109323
Backward progress: 105553
Backward progress: 104933
Backward progress: 104307
Backward progress: 103370
Backward progress: 103348
Backward progress: 103538
Backward progress: 103073
Backward progress: 113083
Backward progress: 112899
Backward progress: 109846
Backward progress: 112017
Backward progress: 112484
Backward progress: 146495
Backward progress: 164488
Backward progress: 165076
Backward progress: 165080
Backward progress: 164884
Backward progress: 183137
Backward progress: 200382
Backward progress: 201390
Backward progress: 201142
Backward progress: 200940
Backward progress: 207751
Backward progress: 197558
Backward progress: 201077
Backward progress: 201095
Backward progress: 197626
Backward progress: 197570
Backward progress: 195336
Backward progress: 194752
Backward progress: 215312
Backward progress: 215642
Backward progress: 204745
Backward progress: 204607
Backward progress: 270410
Backward progress: 269833
Backward progress: 251157
Backward progress: 248893
Backward progress: 246605
Backward progress: 245014
Backward progress: 244642
Backward progress: 206524
Backward progress: 206576
Backward progress: 196820
Backward progress: 200380
Backward progress: 200398
Backward progress: 196944
Backward progress: 196363
Backward progress: 187521
Backward progress: 190277
Backward progress: 190367
Backward progress: 197365
Backward progress: 196947
Backward progress: 196963
Backward progress: 194833
Backward progress: 329711
Backward progress: 356943
Backward progress: 270018
Backward progress: 262865
Backward progress: 263002
Backward progress: 253978
Backward progress: 250225
Backward progress: 254672
Backward progress: 258393
Backward progress: 266684
Backward progress: 264737
Backward progress: 267399
Backward progress: 271652
Backward progress: 265043
Backward progress: 272960
Backward progress: 272960
Backward progress: 273528
Backward progress: 254435
Backward progress: 245397
Backward progress: 249791
Backward progress: 244883
Backward progress: 242246
Backward progress: 226771
Backward progress: 241187
Backward progress: 241199
Backward progress: 237354
Backward progress: 237338
Backward progress: 236324
Backward progress: 226744
Backward progress: 223174
Backward progress: 221131
Backward progress: 221235
Backward progress: 222952
Backward progress: 223441
Backward progress: 224869
Backward progress: 224585
Backward progress: 221309
Backward progress: 222791
Backward progress: 221502
Backward progress: 218685
Backward progress: 219369
Backward progress: 218078
Backward progress: 218694
Backward progress: 218192
Backward progress: 217397
Backward progress: 219303
Backward progress: 213456
Backward progress: 214507
Backward progress: 212685
Backward progress: 203745
Backward progress: 198467
Backward progress: 209838
Backward progress: 209846
Backward progress: 206013
Backward progress: 206035
Backward progress: 205875
Backward progress: 198371
Backward progress: 194652
Backward progress: 308564
Backward progress: 290334
Backward progress: 300939
Backward progress: 308099
Backward progress: 306523
Backward progress: 352138
Backward progress: 352190
Backward progress: 321653
Backward progress: 317168
Backward progress: 312942
Backward progress: 308647
Backward progress: 308355
Backward progress: 306024
Backward progress: 307928
Backward progress: 305826
Backward progress: 304494
Backward progress: 305244
Backward progress: 306861
Backward progress: 306720
Backward progress: 309041
Backward progress: 306647
Backward progress: 301054
Backward progress: 303770
Backward progress: 303066
Backward progress: 302112
Backward progress: 338602
Backward progress: 340527
Backward progress: 309395
Backward progress: 314508
Backward progress: 296375
Backward progress: 271031
Backward progress: 284748
Backward progress: 283141
Backward progress: 265183
Backward progress: 278548
Backward progress: 274545
Backward progress: 278039
Backward progress: 287424
Backward progress: 290205
Backward progress: 291936
Backward progress: 290289
Backward progress: 294095
Backward progress: 299824
Backward progress: 297612
Backward progress: 297089
Backward progress: 297107
Backward progress: 296567
Backward progress: 302237
Backward progress: 303448
Backward progress: 304196
Backward progress: 303622
Backward progress: 305866
Backward progress: 305552
Backward progress: 307989
Backward progress: 307995
Backward progress: 307293
Backward progress: 307280
Backward progress: 307146
Backward progress: 306116
Backward progress: 313313
Backward progress: 284082
Backward progress: 287161
Backward progress: 287205
Backward progress: 288095
Backward progress: 287985
Backward progress: 288145
Backward progress: 288898
Backward progress: 288900
Backward progress: 288522
Backward progress: 288410
Backward progress: 287328
Backward progress: 293056
Backward progress: 293308
Backward progress: 289027
Backward progress: 288653
Backward progress: 287891
Backward progress: 288792
Backward progress: 126103
Backward progress: 101327
Backward progress: 101333
Backward progress: 100120
Backward progress: 100112
Backward progress: 101751
Backward progress: 101795
Backward progress: 102724
Backward progress: 102612
Backward progress: 102674
Backward progress: 104023
Backward progress: 104025
Backward progress: 103354
Backward progress: 103130
Backward progress: 102011
Backward progress: 107669
Backward progress: 107919
Backward progress: 104127
Backward progress: 103450
Backward progress: 102751
Backward progress: 102751
Backward progress: 101491
Backward progress: 111606
Backward progress: 130071
Backward progress: 135346
Backward progress: 132490
Backward progress: 132609
Backward progress: 132594
Backward progress: 128088
Backward progress: 129560
Backward progress: 144771
Backward progress: 144734
Backward progress: 145673
Backward progress: 160408
Backward progress: 150169
Backward progress: 155962
Backward progress: 207464
Backward progress: 215815
Backward progress: 230791
Backward progress: 228009
Backward progress: 220979
Backward progress: 217475
Backward progress: 217442
Backward progress: 217530
Backward progress: 203219
Backward progress: 193155
Backward progress: 179563
Backward progress: 176998
Backward progress: 177382
Backward progress: 198833
Backward progress: 192094
Backward progress: 207645
Backward progress: 208257
Backward progress: 208672
Backward progress: 214867
Backward progress: 223470
Backward progress: 223224
Backward progress: 222131
Backward progress: 247076
Backward progress: 154845
Backward progress: 154581
Backward progress: 148421
Backward progress: 141338
Backward progress: 142951
Backward progress: 142086
Backward progress: 142062
Backward progress: 135020
Backward progress: 141327
Backward progress: 141335
Backward progress: 140155
Backward progress: 140153
Backward progress: 139679
Backward progress: 134798
Backward progress: 134425
Backward progress: 134296
Backward progress: 136478
Backward progress: 138851
Backward progress: 139543
Backward progress: 139707
Backward progress: 139704
Backward progress: 140343
Backward progress: 140711
Backward progress: 138345
Backward progress: 138709
Backward progress: 138548
Backward progress: 138756
Backward progress: 138679
Backward progress: 138834
Backward progress: 138657
Backward progress: 138442
Backward progress: 138102
Backward progress: 139251
Backward progress: 139253
Backward progress: 138687
Backward progress: 138687
Backward progress: 138673
Backward progress: 138022
Backward progress: 137958
Backward progress: 154662
Backward progress: 158283
Backward progress: 157782
Backward progress: 154917
Backward progress: 158410
Backward progress: 158414
Backward progress: 155831
Backward progress: 155816
Backward progress: 155221
Backward progress: 154755
Backward progress: 154388
Backward progress: 155701
Backward progress: 156623
Backward progress: 158827
Backward progress: 158883
Backward progress: 163369
Backward progress: 164141
Backward progress: 169475
Backward progress: 164141
Backward progress: 166264
Backward progress: 170227
Backward progress: 172179
Backward progress: 171985
Backward progress: 171990
Backward progress: 173982
Backward progress: 172599
Backward progress: 171094
Backward progress: 171142
Backward progress: 170713
Backward progress: 173896
Backward progress: 174758
Backward progress: 174784
Backward progress: 174760
Backward progress: 176073
Backward progress: 175924
Backward progress: 179150
Backward progress: 179152
Backward progress: 177877
Backward progress: 177857
Backward progress: 177553
Backward progress: 176364
Backward progress: 177394
Backward progress: 177425
Backward progress: 177887
Backward progress: 177753
Backward progress: 177942
Backward progress: 178659
Backward progress: 178661
Backward progress: 178302
Backward progress: 178094
Backward progress: 177336
Backward progress: 179473
Backward progress: 179570
Backward progress: 177602
Backward progress: 177247
Backward progress: 176897
Backward progress: 181692
Control exists for 33600 color(s), jumping through 6 vertices.
Elapsed: 598225 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 598.225
user ??
sys ??
