>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 9072
Perturbation colors: 9007199254740992
All colors: 81713311639010280000
Unknown update functions: 4
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 15132094747964867000
Attractor colors computed in 9460 ms.
Backward progress: 107372
Backward progress: 121963
Backward progress: 122375
Backward progress: 122379
Backward progress: 122183
Backward progress: 137340
Backward progress: 148106
Backward progress: 152498
Backward progress: 152352
Backward progress: 152250
Backward progress: 168584
Backward progress: 146514
Backward progress: 154279
Backward progress: 154297
Backward progress: 146834
Backward progress: 146610
Backward progress: 143813
Backward progress: 143493
Backward progress: 188177
Backward progress: 189077
Backward progress: 177963
Backward progress: 171519
Backward progress: 216972
Backward progress: 216747
Backward progress: 194957
Backward progress: 191713
Backward progress: 182011
Backward progress: 180117
Backward progress: 173241
Backward progress: 171705
Backward progress: 162593
Backward progress: 167882
Backward progress: 167900
Backward progress: 163137
Backward progress: 158337
Backward progress: 150283
Backward progress: 159787
Backward progress: 159967
Backward progress: 162865
Backward progress: 162375
Backward progress: 162633
Backward progress: 158217
Backward progress: 463575
Backward progress: 459125
Backward progress: 354624
Backward progress: 323201
Backward progress: 323338
Backward progress: 308458
Backward progress: 270351
Backward progress: 271386
Backward progress: 279722
Backward progress: 297840
Backward progress: 295089
Backward progress: 314401
Backward progress: 313584
Backward progress: 307102
Backward progress: 315841
Backward progress: 315841
Backward progress: 316282
Backward progress: 287937
Backward progress: 271399
Backward progress: 279098
Backward progress: 266256
Backward progress: 264988
Backward progress: 241058
Backward progress: 234322
Backward progress: 254576
Backward progress: 254588
Backward progress: 244956
Backward progress: 244925
Backward progress: 241424
Backward progress: 239158
Backward progress: 234013
Backward progress: 224028
Backward progress: 223946
Backward progress: 227389
Backward progress: 227705
Backward progress: 229153
Backward progress: 235477
Backward progress: 235088
Backward progress: 227836
Backward progress: 236880
Backward progress: 228655
Backward progress: 221829
Backward progress: 221842
Backward progress: 221416
Backward progress: 221584
Backward progress: 220982
Backward progress: 219540
Backward progress: 218348
Backward progress: 209496
Backward progress: 212228
Backward progress: 206134
Backward progress: 186848
Backward progress: 185057
Backward progress: 184455
Backward progress: 196586
Backward progress: 196594
Backward progress: 188109
Backward progress: 186449
Backward progress: 184007
Backward progress: 175702
Backward progress: 367023
Backward progress: 343836
Backward progress: 347532
Backward progress: 342760
Backward progress: 335434
Backward progress: 417612
Backward progress: 417670
Backward progress: 372870
Backward progress: 365336
Backward progress: 353877
Backward progress: 348386
Backward progress: 346616
Backward progress: 323322
Backward progress: 321966
Backward progress: 322358
Backward progress: 322751
Backward progress: 322982
Backward progress: 324069
Backward progress: 323988
Backward progress: 325765
Backward progress: 325727
Backward progress: 327803
Backward progress: 325806
Backward progress: 323228
Backward progress: 312526
Backward progress: 326314
Backward progress: 323672
Backward progress: 316666
Backward progress: 358246
Backward progress: 366640
Backward progress: 332015
Backward progress: 658655
Backward progress: 931823
Backward progress: 1046948
Backward progress: 1088216
Backward progress: 1078082
Backward progress: 1078268
Backward progress: 1078226
Backward progress: 879269
Backward progress: 857441
Backward progress: 791095
Backward progress: 771482
Backward progress: 773315
Backward progress: 798162
Backward progress: 840553
Backward progress: 839910
Backward progress: 889098
Backward progress: 875293
Backward progress: 873709
Backward progress: 889508
Backward progress: 889508
Backward progress: 890428
Backward progress: 890212
Backward progress: 861539
Backward progress: 878979
Backward progress: 858297
Backward progress: 893514
Backward progress: 892096
Backward progress: 917431
Backward progress: 874854
Backward progress: 868078
Backward progress: 898217
Backward progress: 898229
Backward progress: 883678
Backward progress: 883647
Backward progress: 876008
Backward progress: 871688
Backward progress: 865234
Backward progress: 863297
Backward progress: 910488
Backward progress: 909391
Backward progress: 902276
Backward progress: 903057
Backward progress: 908239
Backward progress: 904848
Backward progress: 905342
Backward progress: 1026899
Backward progress: 1030716
Backward progress: 1048667
Backward progress: 1105110
Backward progress: 1103235
Backward progress: 1138563
Backward progress: 1094757
Backward progress: 1112595
Backward progress: 1183603
Backward progress: 1142576
Backward progress: 1111396
Backward progress: 1063659
Backward progress: 1067029
Backward progress: 1064253
Backward progress: 1066924
Backward progress: 1063096
Backward progress: 1056591
Backward progress: 1021669
Backward progress: 975974
Backward progress: 975585
Backward progress: 999829
Backward progress: 967556
Backward progress: 985880
Backward progress: 962049
Backward progress: 900719
Backward progress: 887702
Backward progress: 884709
Backward progress: 949538
Backward progress: 949556
Backward progress: 911076
Backward progress: 911031
Backward progress: 897295
Backward progress: 893060
Backward progress: 881151
Backward progress: 870219
Backward progress: 870618
Backward progress: 870620
Backward progress: 870434
Backward progress: 870066
Backward progress: 869783
Backward progress: 988893
Backward progress: 989548
Backward progress: 988818
Backward progress: 986175
Backward progress: 990362
Backward progress: 990804
Backward progress: 993323
Backward progress: 1014268
Backward progress: 1012632
Backward progress: 982729
Backward progress: 1005379
Backward progress: 965507
Backward progress: 954577
Backward progress: 954709
Backward progress: 950490
Backward progress: 949142
Backward progress: 946816
Backward progress: 943732
Backward progress: 921233
Backward progress: 864236
Backward progress: 868898
Backward progress: 859622
Backward progress: 816102
Backward progress: 812179
Backward progress: 811571
Backward progress: 830893
Backward progress: 830909
Backward progress: 821279
Backward progress: 821234
Backward progress: 817742
Backward progress: 815082
Backward progress: 810545
Backward progress: 799282
Backward progress: 672289
Backward progress: 618561
Backward progress: 611023
Backward progress: 702039
Backward progress: 702085
Backward progress: 621910
Backward progress: 621775
Backward progress: 621699
Backward progress: 610448
Backward progress: 521179
Backward progress: 498014
Backward progress: 498116
Backward progress: 401190
Backward progress: 402530
Backward progress: 373376
Backward progress: 376641
Backward progress: 118878
Control exists for 1680 color(s), jumping through 6 vertices.
Elapsed: 1132855 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1132.855
user ??
sys ??
