>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 4536
Perturbation colors: 9007199254740992
All colors: 40856655819505140000
Unknown update functions: 4
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 6052837899185947000
Attractor colors computed in 11718 ms.
Backward progress: 103058
Backward progress: 107381
Backward progress: 113408
Backward progress: 108401
Backward progress: 108463
Backward progress: 108458
Backward progress: 108460
Backward progress: 107610
Backward progress: 112065
Backward progress: 113986
Backward progress: 113930
Backward progress: 113869
Backward progress: 112909
Backward progress: 112678
Backward progress: 106136
Backward progress: 106946
Backward progress: 108639
Backward progress: 108656
Backward progress: 108676
Backward progress: 108397
Backward progress: 121016
Backward progress: 120896
Backward progress: 117790
Backward progress: 120396
Backward progress: 120536
Backward progress: 154315
Backward progress: 170030
Backward progress: 170538
Backward progress: 170542
Backward progress: 170388
Backward progress: 186649
Backward progress: 200286
Backward progress: 202910
Backward progress: 202714
Backward progress: 202530
Backward progress: 210216
Backward progress: 198454
Backward progress: 202202
Backward progress: 202220
Backward progress: 198726
Backward progress: 198502
Backward progress: 194811
Backward progress: 194515
Backward progress: 240647
Backward progress: 241607
Backward progress: 223977
Backward progress: 222645
Backward progress: 275602
Backward progress: 275154
Backward progress: 261059
Backward progress: 258947
Backward progress: 256492
Backward progress: 255335
Backward progress: 224483
Backward progress: 221279
Backward progress: 211061
Backward progress: 214973
Backward progress: 214991
Backward progress: 211557
Backward progress: 209089
Backward progress: 195865
Backward progress: 207593
Backward progress: 207533
Backward progress: 211462
Backward progress: 211173
Backward progress: 211189
Backward progress: 208279
Backward progress: 579547
Backward progress: 572918
Backward progress: 446277
Backward progress: 410998
Backward progress: 411110
Backward progress: 389955
Backward progress: 353813
Backward progress: 356396
Backward progress: 358510
Backward progress: 369621
Backward progress: 368308
Backward progress: 393398
Backward progress: 394875
Backward progress: 384468
Backward progress: 395328
Backward progress: 395328
Backward progress: 395977
Backward progress: 361663
Backward progress: 340239
Backward progress: 343445
Backward progress: 336440
Backward progress: 332707
Backward progress: 301697
Backward progress: 324422
Backward progress: 324434
Backward progress: 318072
Backward progress: 318059
Backward progress: 316628
Backward progress: 301610
Backward progress: 294213
Backward progress: 292973
Backward progress: 297861
Backward progress: 298504
Backward progress: 299211
Backward progress: 303215
Backward progress: 303079
Backward progress: 289340
Backward progress: 299798
Backward progress: 290117
Backward progress: 283530
Backward progress: 283574
Backward progress: 282449
Backward progress: 282653
Backward progress: 282351
Backward progress: 281154
Backward progress: 281333
Backward progress: 266143
Backward progress: 267288
Backward progress: 262889
Backward progress: 240010
Backward progress: 237782
Backward progress: 254217
Backward progress: 254225
Backward progress: 248330
Backward progress: 237264
Backward progress: 231267
Backward progress: 386897
Backward progress: 363083
Backward progress: 367753
Backward progress: 356581
Backward progress: 349003
Backward progress: 391691
Backward progress: 391747
Backward progress: 362647
Backward progress: 357870
Backward progress: 349939
Backward progress: 346613
Backward progress: 344812
Backward progress: 344596
Backward progress: 346322
Backward progress: 345870
Backward progress: 346200
Backward progress: 346218
Backward progress: 346644
Backward progress: 346549
Backward progress: 348494
Backward progress: 346506
Backward progress: 333952
Backward progress: 346908
Backward progress: 343660
Backward progress: 338846
Backward progress: 383493
Backward progress: 391306
Backward progress: 354700
Backward progress: 643338
Backward progress: 966714
Backward progress: 1081222
Backward progress: 1126434
Backward progress: 1118402
Backward progress: 1118528
Backward progress: 1118505
Backward progress: 907948
Backward progress: 884644
Backward progress: 828421
Backward progress: 807554
Backward progress: 811051
Backward progress: 823129
Backward progress: 850107
Backward progress: 849925
Backward progress: 901657
Backward progress: 895627
Backward progress: 894797
Backward progress: 911842
Backward progress: 911842
Backward progress: 912890
Backward progress: 912642
Backward progress: 883480
Backward progress: 892945
Backward progress: 880954
Backward progress: 918943
Backward progress: 917605
Backward progress: 935530
Backward progress: 888328
Backward progress: 921372
Backward progress: 921384
Backward progress: 911261
Backward progress: 911248
Backward progress: 908403
Backward progress: 886680
Backward progress: 884699
Backward progress: 930730
Backward progress: 927889
Backward progress: 920408
Backward progress: 921006
Backward progress: 927026
Backward progress: 922901
Backward progress: 923320
Backward progress: 1079446
Backward progress: 1081958
Backward progress: 1089100
Backward progress: 1126589
Backward progress: 1125931
Backward progress: 1132635
Backward progress: 1084272
Backward progress: 1102467
Backward progress: 1178676
Backward progress: 1135299
Backward progress: 1108635
Backward progress: 1057603
Backward progress: 1060931
Backward progress: 1053784
Backward progress: 1056342
Backward progress: 1054294
Backward progress: 1050458
Backward progress: 1050557
Backward progress: 1029868
Backward progress: 980325
Backward progress: 980091
Backward progress: 993939
Backward progress: 974208
Backward progress: 997865
Backward progress: 971055
Backward progress: 893951
Backward progress: 880066
Backward progress: 962340
Backward progress: 962349
Backward progress: 935313
Backward progress: 935286
Backward progress: 932498
Backward progress: 877838
Backward progress: 870166
Backward progress: 870433
Backward progress: 870435
Backward progress: 870313
Backward progress: 870097
Backward progress: 870104
Backward progress: 983023
Backward progress: 980935
Backward progress: 980458
Backward progress: 978295
Backward progress: 983535
Backward progress: 984363
Backward progress: 984222
Backward progress: 999186
Backward progress: 998340
Backward progress: 957843
Backward progress: 982358
Backward progress: 939330
Backward progress: 929243
Backward progress: 929408
Backward progress: 923553
Backward progress: 922551
Backward progress: 920939
Backward progress: 918735
Backward progress: 903788
Backward progress: 846940
Backward progress: 849044
Backward progress: 843291
Backward progress: 802061
Backward progress: 797944
Backward progress: 821896
Backward progress: 821912
Backward progress: 815026
Backward progress: 814999
Backward progress: 813241
Backward progress: 797206
Backward progress: 789436
Backward progress: 660876
Backward progress: 586590
Backward progress: 646817
Backward progress: 646863
Backward progress: 593047
Backward progress: 592982
Backward progress: 592927
Backward progress: 585823
Backward progress: 524487
Backward progress: 524589
Backward progress: 422043
Backward progress: 422559
Backward progress: 393693
Backward progress: 397244
Backward progress: 129001
Control exists for 672 color(s), jumping through 6 vertices.
Elapsed: 1249821 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1249.821
user ??
sys ??
