>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 3240
Perturbation colors: 9007199254740992
All colors: 29183325585360814000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 3026418949592973300
Attractor colors computed in 4705 ms.
Backward progress: 108402
Backward progress: 109876
Backward progress: 106852
Backward progress: 106884
Backward progress: 106879
Backward progress: 106883
Backward progress: 106134
Backward progress: 107452
Backward progress: 108156
Backward progress: 108128
Backward progress: 108042
Backward progress: 107154
Backward progress: 105134
Backward progress: 103606
Backward progress: 106388
Backward progress: 106806
Backward progress: 106860
Backward progress: 106865
Backward progress: 106729
Backward progress: 114637
Backward progress: 114116
Backward progress: 112447
Backward progress: 113884
Backward progress: 113964
Backward progress: 134210
Backward progress: 139086
Backward progress: 139594
Backward progress: 139602
Backward progress: 139444
Backward progress: 145540
Backward progress: 149460
Backward progress: 153268
Backward progress: 153072
Backward progress: 152888
Backward progress: 157762
Backward progress: 150763
Backward progress: 152460
Backward progress: 152496
Backward progress: 150867
Backward progress: 150779
Backward progress: 149028
Backward progress: 148456
Backward progress: 176964
Backward progress: 177294
Backward progress: 166096
Backward progress: 165137
Backward progress: 193720
Backward progress: 193348
Backward progress: 186014
Backward progress: 185139
Backward progress: 183802
Backward progress: 182550
Backward progress: 165713
Backward progress: 163718
Backward progress: 159162
Backward progress: 160932
Backward progress: 160968
Backward progress: 159354
Backward progress: 158083
Backward progress: 151574
Backward progress: 158199
Backward progress: 158289
Backward progress: 159678
Backward progress: 159389
Backward progress: 159405
Backward progress: 157993
Backward progress: 250843
Backward progress: 256841
Backward progress: 219671
Backward progress: 209139
Backward progress: 209237
Backward progress: 207073
Backward progress: 192603
Backward progress: 193091
Backward progress: 193703
Backward progress: 197462
Backward progress: 197009
Backward progress: 203581
Backward progress: 203205
Backward progress: 200837
Backward progress: 202039
Backward progress: 201399
Backward progress: 201929
Backward progress: 190321
Backward progress: 186911
Backward progress: 185441
Backward progress: 185985
Backward progress: 186912
Backward progress: 184836
Backward progress: 184759
Backward progress: 176180
Backward progress: 181705
Backward progress: 181737
Backward progress: 180328
Backward progress: 180316
Backward progress: 179816
Backward progress: 176180
Backward progress: 174655
Backward progress: 177203
Backward progress: 179535
Backward progress: 179445
Backward progress: 179642
Backward progress: 181164
Backward progress: 181103
Backward progress: 176924
Backward progress: 180988
Backward progress: 177586
Backward progress: 175564
Backward progress: 175582
Backward progress: 175034
Backward progress: 175180
Backward progress: 174847
Backward progress: 174366
Backward progress: 174214
Backward progress: 168656
Backward progress: 168954
Backward progress: 167673
Backward progress: 160799
Backward progress: 159741
Backward progress: 164949
Backward progress: 165005
Backward progress: 163291
Backward progress: 163275
Backward progress: 163080
Backward progress: 159574
Backward progress: 157575
Backward progress: 238958
Backward progress: 230890
Backward progress: 232045
Backward progress: 216082
Backward progress: 211899
Backward progress: 234938
Backward progress: 235094
Backward progress: 219450
Backward progress: 217739
Backward progress: 213974
Backward progress: 210189
Backward progress: 207346
Backward progress: 207963
Backward progress: 209121
Backward progress: 208516
Backward progress: 208939
Backward progress: 208828
Backward progress: 208402
Backward progress: 208299
Backward progress: 209005
Backward progress: 209089
Backward progress: 209089
Backward progress: 209313
Backward progress: 209187
Backward progress: 208246
Backward progress: 203095
Backward progress: 209551
Backward progress: 207603
Backward progress: 205381
Backward progress: 217422
Backward progress: 220608
Backward progress: 205286
Backward progress: 219225
Backward progress: 175941
Backward progress: 172448
Backward progress: 175584
Backward progress: 171973
Backward progress: 172357
Backward progress: 172357
Backward progress: 171630
Backward progress: 168177
Backward progress: 174952
Backward progress: 173578
Backward progress: 177450
Backward progress: 173363
Backward progress: 174000
Backward progress: 176432
Backward progress: 176577
Backward progress: 177038
Backward progress: 176796
Backward progress: 178104
Backward progress: 178118
Backward progress: 178827
Backward progress: 178831
Backward progress: 178649
Backward progress: 178394
Backward progress: 179575
Backward progress: 168736
Backward progress: 170816
Backward progress: 170830
Backward progress: 170910
Backward progress: 170887
Backward progress: 170947
Backward progress: 171138
Backward progress: 171142
Backward progress: 171045
Backward progress: 170897
Backward progress: 171042
Backward progress: 173398
Backward progress: 173148
Backward progress: 172063
Backward progress: 171968
Backward progress: 171976
Backward progress: 173869
Backward progress: 102716
Backward progress: 101354
Backward progress: 101147
Backward progress: 101209
Backward progress: 101208
Backward progress: 106030
Backward progress: 108020
Backward progress: 108936
Backward progress: 102339
Backward progress: 104012
Backward progress: 101040
Backward progress: 101041
Backward progress: 153747
Backward progress: 153562
Backward progress: 148452
Backward progress: 148126
Backward progress: 151261
Backward progress: 150991
Backward progress: 150188
Backward progress: 148317
Backward progress: 148361
Backward progress: 144989
Backward progress: 140776
Backward progress: 136850
Backward progress: 135940
Backward progress: 143897
Backward progress: 141321
Backward progress: 138900
Backward progress: 138349
Backward progress: 136967
Backward progress: 136566
Backward progress: 138288
Backward progress: 146636
Backward progress: 143306
Backward progress: 145945
Backward progress: 148632
Backward progress: 148988
Backward progress: 159509
Backward progress: 176092
Backward progress: 175970
Backward progress: 174202
Backward progress: 173970
Backward progress: 173439
Backward progress: 179428
Backward progress: 144686
Backward progress: 143453
Backward progress: 140521
Backward progress: 136825
Backward progress: 137264
Backward progress: 135808
Backward progress: 142354
Backward progress: 130701
Backward progress: 136623
Backward progress: 136639
Backward progress: 135074
Backward progress: 135071
Backward progress: 134298
Backward progress: 129799
Backward progress: 129381
Backward progress: 129018
Backward progress: 143610
Backward progress: 138899
Backward progress: 139220
Backward progress: 139839
Backward progress: 139838
Backward progress: 139853
Backward progress: 139857
Backward progress: 139835
Backward progress: 139978
Backward progress: 140463
Backward progress: 140759
Backward progress: 140757
Backward progress: 140773
Backward progress: 140777
Backward progress: 140595
Backward progress: 140537
Backward progress: 141272
Backward progress: 141327
Backward progress: 141331
Backward progress: 140572
Backward progress: 145506
Backward progress: 147425
Backward progress: 140256
Backward progress: 145537
Backward progress: 145545
Backward progress: 142426
Backward progress: 142413
Backward progress: 141371
Backward progress: 137679
Backward progress: 138404
Backward progress: 141575
Backward progress: 142028
Backward progress: 142513
Backward progress: 155616
Backward progress: 157328
Backward progress: 160535
Backward progress: 157328
Backward progress: 161413
Backward progress: 155753
Backward progress: 157360
Backward progress: 157491
Backward progress: 157745
Backward progress: 157748
Backward progress: 158694
Backward progress: 158701
Backward progress: 159740
Backward progress: 159744
Backward progress: 159410
Backward progress: 158972
Backward progress: 160483
Backward progress: 160492
Backward progress: 160548
Backward progress: 160521
Backward progress: 160558
Backward progress: 160871
Backward progress: 160875
Backward progress: 160718
Backward progress: 160448
Backward progress: 160454
Backward progress: 161723
Backward progress: 161602
Backward progress: 160931
Backward progress: 160776
Backward progress: 160784
Backward progress: 170630
Backward progress: 164644
Backward progress: 164392
Backward progress: 164611
Backward progress: 164932
Backward progress: 164933
Backward progress: 164971
Backward progress: 164968
Backward progress: 102657
Backward progress: 101895
Backward progress: 101786
Backward progress: 101682
Backward progress: 101269
Backward progress: 102677
Backward progress: 101749
Backward progress: 101449
Backward progress: 101523
Backward progress: 101473
Backward progress: 100554
Backward progress: 102038
Backward progress: 102046
Backward progress: 101275
Backward progress: 100891
Backward progress: 100859
Backward progress: 100359
Backward progress: 100284
Backward progress: 105013
Backward progress: 104853
Backward progress: 103172
Backward progress: 104500
Backward progress: 102364
Backward progress: 103438
Backward progress: 103520
Backward progress: 103548
Backward progress: 103390
Backward progress: 105260
Backward progress: 106400
Backward progress: 106408
Backward progress: 105465
Backward progress: 104757
Backward progress: 101208
Backward progress: 101119
Backward progress: 102412
Backward progress: 102425
Backward progress: 102461
Backward progress: 102572
Backward progress: 102828
Backward progress: 102792
Backward progress: 102812
Backward progress: 102323
Backward progress: 102303
Backward progress: 104304
Backward progress: 103604
Backward progress: 100572
Backward progress: 100721
Backward progress: 106815
Backward progress: 107857
Backward progress: 108994
Backward progress: 109023
Backward progress: 110115
Backward progress: 110127
Backward progress: 109749
Backward progress: 109380
Backward progress: 108887
Backward progress: 108887
Forward closed progress: 178100
Forward closed progress: 117046
Forward closed progress: 129678
Forward closed progress: 129812
Forward closed progress: 129876
Forward closed progress: 117894
Forward closed progress: 118991
Forward closed progress: 119113
Forward closed progress: 106854
Forward closed progress: 115348
Forward closed progress: 114103
Forward closed progress: 118341
Forward closed progress: 117131
Forward closed progress: 117426
Forward closed progress: 117434
Forward closed progress: 115152
Forward closed progress: 108518
Forward closed progress: 105999
Forward closed progress: 105847
Forward closed progress: 105855
Forward closed progress: 103889
Forward closed progress: 104743
Forward closed progress: 106446
Forward closed progress: 113508
Forward closed progress: 115497
Forward closed progress: 115253
Forward closed progress: 146066
Forward closed progress: 146276
Forward closed progress: 120787
Forward closed progress: 120731
Forward closed progress: 120763
Forward closed progress: 111653
Forward closed progress: 111117
Forward closed progress: 111832
Forward closed progress: 108365
Control exists for 336 color(s), jumping through 6 vertices.
Elapsed: 431833 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 431.833
user ??
sys ??
