>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 504
Perturbation colors: 9007199254740992
All colors: 4539628424389460000
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 1513209474796486700
Attractor colors computed in 5789 ms.
Backward progress: 102607
Backward progress: 108634
Backward progress: 103949
Backward progress: 104011
Backward progress: 104006
Backward progress: 104008
Backward progress: 103182
Backward progress: 107637
Backward progress: 109558
Backward progress: 109502
Backward progress: 109441
Backward progress: 108481
Backward progress: 108250
Backward progress: 101708
Backward progress: 102518
Backward progress: 104211
Backward progress: 104228
Backward progress: 104248
Backward progress: 103969
Backward progress: 115984
Backward progress: 115864
Backward progress: 112886
Backward progress: 115364
Backward progress: 115504
Backward progress: 147863
Backward progress: 162750
Backward progress: 163258
Backward progress: 163262
Backward progress: 163108
Backward progress: 178541
Backward progress: 192178
Backward progress: 193974
Backward progress: 193778
Backward progress: 193594
Backward progress: 200944
Backward progress: 189726
Backward progress: 193330
Backward progress: 193348
Backward progress: 189998
Backward progress: 189774
Backward progress: 186191
Backward progress: 185901
Backward progress: 228305
Backward progress: 229265
Backward progress: 213035
Backward progress: 211847
Backward progress: 263028
Backward progress: 262580
Backward progress: 248901
Backward progress: 246885
Backward progress: 244574
Backward progress: 243449
Backward progress: 213685
Backward progress: 210689
Backward progress: 200903
Backward progress: 204671
Backward progress: 204689
Backward progress: 201399
Backward progress: 199075
Backward progress: 186499
Backward progress: 197435
Backward progress: 197375
Backward progress: 201304
Backward progress: 201015
Backward progress: 201031
Backward progress: 198265
Backward progress: 549399
Backward progress: 546726
Backward progress: 428029
Backward progress: 394100
Backward progress: 394212
Backward progress: 374261
Backward progress: 336773
Backward progress: 339244
Backward progress: 341590
Backward progress: 352230
Backward progress: 350969
Backward progress: 374108
Backward progress: 375787
Backward progress: 365920
Backward progress: 376720
Backward progress: 376720
Backward progress: 377369
Backward progress: 344619
Backward progress: 323899
Backward progress: 327087
Backward progress: 320330
Backward progress: 316149
Backward progress: 287307
Backward progress: 309066
Backward progress: 309078
Backward progress: 302986
Backward progress: 302973
Backward progress: 301594
Backward progress: 287220
Backward progress: 280121
Backward progress: 279105
Backward progress: 283561
Backward progress: 284204
Backward progress: 284911
Backward progress: 288663
Backward progress: 288527
Backward progress: 275208
Backward progress: 284784
Backward progress: 276027
Backward progress: 269776
Backward progress: 269820
Backward progress: 268723
Backward progress: 268933
Backward progress: 268639
Backward progress: 267484
Backward progress: 267789
Backward progress: 253355
Backward progress: 254500
Backward progress: 250227
Backward progress: 228496
Backward progress: 226366
Backward progress: 242129
Backward progress: 242137
Backward progress: 236466
Backward progress: 225848
Backward progress: 220075
Backward progress: 367201
Backward progress: 344487
Backward progress: 349157
Backward progress: 339795
Backward progress: 332809
Backward progress: 373993
Backward progress: 374049
Backward progress: 345953
Backward progress: 341416
Backward progress: 333929
Backward progress: 330715
Backward progress: 328922
Backward progress: 328558
Backward progress: 330136
Backward progress: 329738
Backward progress: 330038
Backward progress: 330056
Backward progress: 330482
Backward progress: 330387
Backward progress: 332242
Backward progress: 330344
Backward progress: 318406
Backward progress: 330450
Backward progress: 327498
Backward progress: 322980
Backward progress: 365615
Backward progress: 373426
Backward progress: 338362
Backward progress: 624387
Backward progress: 926707
Backward progress: 1039563
Backward progress: 1082395
Backward progress: 1074751
Backward progress: 1074877
Backward progress: 1074854
Backward progress: 874951
Backward progress: 853071
Backward progress: 795088
Backward progress: 775189
Backward progress: 778574
Backward progress: 790652
Backward progress: 816766
Backward progress: 816584
Backward progress: 865365
Backward progress: 859855
Backward progress: 859025
Backward progress: 875627
Backward progress: 875627
Backward progress: 876675
Backward progress: 876427
Backward progress: 848161
Backward progress: 857334
Backward progress: 845635
Backward progress: 881787
Backward progress: 880449
Backward progress: 896634
Backward progress: 852604
Backward progress: 884502
Backward progress: 884514
Backward progress: 874701
Backward progress: 874688
Backward progress: 871915
Backward progress: 850956
Backward progress: 848975
Backward progress: 891101
Backward progress: 888464
Backward progress: 881271
Backward progress: 881731
Backward progress: 887301
Backward progress: 883470
Backward progress: 883889
Backward progress: 1027549
Backward progress: 1031633
Backward progress: 1038775
Backward progress: 1074110
Backward progress: 1073452
Backward progress: 1082708
Backward progress: 1034345
Backward progress: 1051552
Backward progress: 1121711
Backward progress: 1082334
Backward progress: 1056598
Backward progress: 1008628
Backward progress: 1011774
Backward progress: 1004795
Backward progress: 1007363
Backward progress: 1005379
Backward progress: 1001693
Backward progress: 1001792
Backward progress: 982402
Backward progress: 935429
Backward progress: 935207
Backward progress: 948168
Backward progress: 929091
Backward progress: 947936
Backward progress: 924064
Backward progress: 851168
Backward progress: 838341
Backward progress: 917195
Backward progress: 917204
Backward progress: 891208
Backward progress: 891181
Backward progress: 888493
Backward progress: 836113
Backward progress: 828705
Backward progress: 828960
Backward progress: 828962
Backward progress: 828846
Backward progress: 828642
Backward progress: 828635
Backward progress: 940306
Backward progress: 938630
Backward progress: 938159
Backward progress: 936082
Backward progress: 940706
Backward progress: 941534
Backward progress: 941393
Backward progress: 955321
Backward progress: 954475
Backward progress: 914594
Backward progress: 936953
Backward progress: 898561
Backward progress: 889020
Backward progress: 889185
Backward progress: 883546
Backward progress: 882616
Backward progress: 881052
Backward progress: 878936
Backward progress: 864779
Backward progress: 810611
Backward progress: 812683
Backward progress: 807144
Backward progress: 768464
Backward progress: 764663
Backward progress: 787511
Backward progress: 787527
Backward progress: 780949
Backward progress: 780922
Backward progress: 779224
Backward progress: 763925
Backward progress: 756523
Backward progress: 633027
Backward progress: 562497
Backward progress: 620602
Backward progress: 620648
Backward progress: 568748
Backward progress: 568683
Backward progress: 568630
Backward progress: 561758
Backward progress: 502558
Backward progress: 502660
Backward progress: 404669
Backward progress: 405321
Backward progress: 377491
Backward progress: 381030
Backward progress: 123321
Control exists for 168 color(s), jumping through 6 vertices.
Elapsed: 1484688 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1484.688
user ??
sys ??
