>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 60
Perturbation colors: 9007199254740992
All colors: 540431955284459500
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 342273571680157700
Attractor colors computed in 1482 ms.
Backward progress: 103790
Backward progress: 107563
Backward progress: 151931
Backward progress: 146260
Backward progress: 147115
Backward progress: 133411
Backward progress: 130684
Backward progress: 125272
Backward progress: 176519
Backward progress: 174404
Backward progress: 162217
Backward progress: 160463
Backward progress: 151747
Backward progress: 150168
Backward progress: 151277
Backward progress: 162096
Backward progress: 145320
Backward progress: 146814
Backward progress: 146832
Backward progress: 145392
Backward progress: 144243
Backward progress: 139728
Backward progress: 138425
Backward progress: 139048
Backward progress: 139831
Backward progress: 139939
Backward progress: 140479
Backward progress: 140399
Backward progress: 141367
Backward progress: 140370
Backward progress: 134846
Backward progress: 142233
Backward progress: 141562
Backward progress: 146803
Backward progress: 144898
Backward progress: 145841
Backward progress: 141891
Backward progress: 159451
Backward progress: 167676
Backward progress: 151163
Backward progress: 167800
Backward progress: 136878
Backward progress: 133567
Backward progress: 136955
Backward progress: 132603
Backward progress: 128633
Backward progress: 132401
Backward progress: 131733
Backward progress: 134687
Backward progress: 133001
Backward progress: 133742
Backward progress: 135072
Backward progress: 135231
Backward progress: 135582
Backward progress: 135377
Backward progress: 136833
Backward progress: 136843
Backward progress: 138966
Backward progress: 138968
Backward progress: 138780
Backward progress: 138521
Backward progress: 139047
Backward progress: 132461
Backward progress: 135587
Backward progress: 135599
Backward progress: 136195
Backward progress: 136185
Backward progress: 136547
Backward progress: 136834
Backward progress: 136836
Backward progress: 136752
Backward progress: 136404
Backward progress: 135832
Backward progress: 138474
Backward progress: 138306
Backward progress: 140201
Backward progress: 139524
Backward progress: 139347
Backward progress: 139423
Backward progress: 138569
Backward progress: 138607
Backward progress: 138609
Backward progress: 138523
Backward progress: 138297
Backward progress: 137903
Backward progress: 137759
Backward progress: 140501
Forward closed progress: 125647
Forward closed progress: 150648
Forward closed progress: 150066
Forward closed progress: 150070
Forward closed progress: 149305
Forward closed progress: 148064
Forward closed progress: 162082
Forward closed progress: 163114
Forward closed progress: 163288
Forward closed progress: 165310
Forward closed progress: 182521
Forward closed progress: 192740
Forward closed progress: 194185
Forward closed progress: 194213
Forward closed progress: 193339
Forward closed progress: 203954
Forward closed progress: 221557
Forward closed progress: 214008
Forward closed progress: 218528
Forward closed progress: 220118
Forward closed progress: 256606
Forward closed progress: 258084
Forward closed progress: 261522
Forward closed progress: 261312
Forward closed progress: 258599
Forward closed progress: 256161
Forward closed progress: 254166
Forward closed progress: 260670
Forward closed progress: 215675
Forward closed progress: 212391
Forward closed progress: 212415
Forward closed progress: 208789
Forward closed progress: 203528
Forward closed progress: 165631
Forward closed progress: 153943
Forward closed progress: 149401
Forward closed progress: 148170
Forward closed progress: 147735
Forward closed progress: 141757
Forward closed progress: 117391
Forward closed progress: 124288
Forward closed progress: 132760
Forward closed progress: 132730
Forward closed progress: 141912
Forward closed progress: 140030
Forward closed progress: 140032
Forward closed progress: 138826
Forward closed progress: 142078
Forward closed progress: 146330
Forward closed progress: 146222
Forward closed progress: 146282
Forward closed progress: 147242
Forward closed progress: 160958
Forward closed progress: 172282
Forward closed progress: 170304
Forward closed progress: 170310
Forward closed progress: 168842
Forward closed progress: 178994
Forward closed progress: 185270
Forward closed progress: 188078
Forward closed progress: 188240
Forward closed progress: 188348
Forward closed progress: 192128
Forward closed progress: 192248
Forward closed progress: 191482
Forward closed progress: 189946
Forward closed progress: 189826
Forward closed progress: 192962
Forward closed progress: 189090
Forward closed progress: 187830
Forward closed progress: 187854
Forward closed progress: 187077
Forward closed progress: 188139
Forward closed progress: 163029
Forward closed progress: 155939
Forward closed progress: 154054
Forward closed progress: 154489
Forward closed progress: 154141
Forward closed progress: 151473
Forward closed progress: 149209
Forward closed progress: 201291
Forward closed progress: 247606
Forward closed progress: 247971
Forward closed progress: 245475
Forward closed progress: 245743
Forward closed progress: 245650
Forward closed progress: 245678
Forward closed progress: 247870
Forward closed progress: 252857
Forward closed progress: 252450
Forward closed progress: 252848
Forward closed progress: 252608
Forward closed progress: 253445
Forward closed progress: 252762
Forward closed progress: 254096
Forward closed progress: 251349
Forward closed progress: 275705
Forward closed progress: 277775
Forward closed progress: 277664
Forward closed progress: 273533
Forward closed progress: 260127
Forward closed progress: 267024
Forward closed progress: 267036
Forward closed progress: 267040
Forward closed progress: 267698
Forward closed progress: 267032
Forward closed progress: 267320
Forward closed progress: 267247
Forward closed progress: 267199
Forward closed progress: 267174
Forward closed progress: 252482
Forward closed progress: 394936
Forward closed progress: 386858
Forward closed progress: 386143
Forward closed progress: 380939
Forward closed progress: 381054
Forward closed progress: 380985
Forward closed progress: 379128
Forward closed progress: 380307
Forward closed progress: 378658
Forward closed progress: 378740
Forward closed progress: 378668
Forward closed progress: 380467
Forward closed progress: 379798
Forward closed progress: 380754
Forward closed progress: 380064
Forward closed progress: 389795
Forward closed progress: 378184
Forward closed progress: 406272
Forward closed progress: 369765
Forward closed progress: 389644
Forward closed progress: 405054
Forward closed progress: 402715
Forward closed progress: 401729
Forward closed progress: 402075
Forward closed progress: 402045
Forward closed progress: 401840
Forward closed progress: 401856
Forward closed progress: 388675
Forward closed progress: 150503
Forward closed progress: 150503
Control exists for 38 color(s), jumping through 6 vertices.
Elapsed: 346631 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 346.631
user ??
sys ??
