>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 604800
Perturbation colors: 9007199254740992
All colors: 5447554109267352000000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 1600471221176417400000
Attractor colors computed in 6030 ms.
Backward progress: 102264
Backward progress: 105812
Backward progress: 125477
Backward progress: 127315
Backward progress: 127181
Backward progress: 127442
Backward progress: 127267
Backward progress: 127275
Backward progress: 126959
Backward progress: 126991
Backward progress: 131926
Backward progress: 132882
Backward progress: 133054
Backward progress: 160452
Backward progress: 148311
Backward progress: 121055
Backward progress: 139538
Backward progress: 143522
Backward progress: 138676
Backward progress: 138716
Backward progress: 138711
Backward progress: 138713
Backward progress: 138200
Backward progress: 147929
Backward progress: 152975
Backward progress: 152947
Backward progress: 152954
Backward progress: 150428
Backward progress: 150589
Backward progress: 145903
Backward progress: 147281
Backward progress: 150089
Backward progress: 150141
Backward progress: 150146
Backward progress: 149994
Backward progress: 160841
Backward progress: 160666
Backward progress: 157648
Backward progress: 157630
Backward progress: 159655
Backward progress: 159648
Backward progress: 159738
Backward progress: 196936
Backward progress: 230768
Backward progress: 232486
Backward progress: 232498
Backward progress: 232120
Backward progress: 267050
Backward progress: 298572
Backward progress: 302100
Backward progress: 301840
Backward progress: 301284
Backward progress: 308084
Backward progress: 294476
Backward progress: 298371
Backward progress: 298405
Backward progress: 294590
Backward progress: 294494
Backward progress: 291363
Backward progress: 290742
Backward progress: 310945
Backward progress: 310927
Backward progress: 295929
Backward progress: 295510
Backward progress: 372345
Backward progress: 371633
Backward progress: 351634
Backward progress: 350108
Backward progress: 350086
Backward progress: 348881
Backward progress: 346304
Backward progress: 345860
Backward progress: 345659
Backward progress: 345942
Backward progress: 345715
Backward progress: 343604
Backward progress: 297631
Backward progress: 297112
Backward progress: 285442
Backward progress: 291253
Backward progress: 291297
Backward progress: 285708
Backward progress: 284315
Backward progress: 278376
Backward progress: 281799
Backward progress: 281337
Backward progress: 287430
Backward progress: 287019
Backward progress: 287041
Backward progress: 284653
Backward progress: 496077
Backward progress: 519160
Backward progress: 417785
Backward progress: 409849
Backward progress: 410016
Backward progress: 400050
Backward progress: 390190
Backward progress: 391188
Backward progress: 396570
Backward progress: 410663
Backward progress: 407934
Backward progress: 413267
Backward progress: 413494
Backward progress: 404480
Backward progress: 409676
Backward progress: 479645
Backward progress: 480707
Backward progress: 446173
Backward progress: 373663
Backward progress: 378657
Backward progress: 372588
Backward progress: 363344
Backward progress: 346567
Backward progress: 363156
Backward progress: 363176
Backward progress: 358774
Backward progress: 358750
Backward progress: 357526
Backward progress: 346518
Backward progress: 341506
Backward progress: 338212
Backward progress: 339364
Backward progress: 338519
Backward progress: 339399
Backward progress: 341377
Backward progress: 341119
Backward progress: 321710
Backward progress: 324098
Backward progress: 321445
Backward progress: 316917
Backward progress: 316925
Backward progress: 315750
Backward progress: 316536
Backward progress: 315652
Backward progress: 314646
Backward progress: 316963
Backward progress: 308542
Backward progress: 310118
Backward progress: 307765
Backward progress: 290999
Backward progress: 289518
Backward progress: 303076
Backward progress: 303104
Backward progress: 298840
Backward progress: 298824
Backward progress: 298399
Backward progress: 289349
Backward progress: 284394
Backward progress: 402435
Backward progress: 382697
Backward progress: 393392
Backward progress: 391490
Backward progress: 388863
Backward progress: 442833
Backward progress: 442951
Backward progress: 409981
Backward progress: 406958
Backward progress: 406926
Backward progress: 401379
Backward progress: 394877
Backward progress: 393983
Backward progress: 393760
Backward progress: 394019
Backward progress: 393628
Backward progress: 389827
Backward progress: 382279
Backward progress: 378530
Backward progress: 379306
Backward progress: 375959
Backward progress: 376927
Backward progress: 376948
Backward progress: 376836
Backward progress: 376637
Backward progress: 380300
Backward progress: 376602
Backward progress: 371361
Backward progress: 370261
Backward progress: 367917
Backward progress: 365857
Backward progress: 421306
Backward progress: 424021
Backward progress: 373399
Backward progress: 374062
Backward progress: 306990
Backward progress: 286793
Backward progress: 294930
Backward progress: 292235
Backward progress: 281354
Backward progress: 294456
Backward progress: 291288
Backward progress: 300239
Backward progress: 293640
Backward progress: 295479
Backward progress: 297107
Backward progress: 297516
Backward progress: 297975
Backward progress: 297745
Backward progress: 299033
Backward progress: 299153
Backward progress: 299800
Backward progress: 299802
Backward progress: 299626
Backward progress: 299381
Backward progress: 300882
Backward progress: 280107
Backward progress: 280955
Backward progress: 280969
Backward progress: 281117
Backward progress: 281102
Backward progress: 281330
Backward progress: 281517
Backward progress: 281519
Backward progress: 281426
Backward progress: 281366
Backward progress: 281504
Backward progress: 283326
Backward progress: 283252
Backward progress: 282369
Backward progress: 282276
Backward progress: 282284
Backward progress: 325087
Backward progress: 325669
Backward progress: 164509
Backward progress: 124269
Backward progress: 146782
Backward progress: 147674
Backward progress: 141831
Backward progress: 127608
Backward progress: 176855
Backward progress: 161862
Backward progress: 158735
Backward progress: 158875
Backward progress: 158821
Backward progress: 169066
Backward progress: 170832
Backward progress: 218839
Backward progress: 219036
Backward progress: 221263
Backward progress: 243219
Backward progress: 228517
Backward progress: 237255
Backward progress: 268869
Backward progress: 282062
Backward progress: 312135
Backward progress: 316645
Backward progress: 327070
Backward progress: 315800
Backward progress: 314776
Backward progress: 314854
Backward progress: 314852
Backward progress: 299272
Backward progress: 291253
Backward progress: 286910
Backward progress: 269919
Backward progress: 288425
Backward progress: 282103
Backward progress: 300837
Backward progress: 302647
Backward progress: 303055
Backward progress: 315818
Backward progress: 336608
Backward progress: 336454
Backward progress: 334567
Backward progress: 334387
Backward progress: 334066
Backward progress: 368432
Backward progress: 264056
Backward progress: 261262
Backward progress: 241140
Backward progress: 218843
Backward progress: 219414
Backward progress: 218344
Backward progress: 216943
Backward progress: 204034
Backward progress: 210768
Backward progress: 210784
Backward progress: 209345
Backward progress: 209340
Backward progress: 208620
Backward progress: 202977
Backward progress: 202553
Backward progress: 202777
Backward progress: 225573
Backward progress: 219329
Backward progress: 226144
Backward progress: 227638
Backward progress: 227637
Backward progress: 227675
Backward progress: 227679
Backward progress: 227658
Backward progress: 227666
Backward progress: 228099
Backward progress: 226983
Backward progress: 227469
Backward progress: 227467
Backward progress: 227483
Backward progress: 227485
Backward progress: 227178
Backward progress: 228084
Backward progress: 228550
Backward progress: 228552
Backward progress: 229564
Backward progress: 229178
Backward progress: 229129
Backward progress: 229126
Backward progress: 230680
Backward progress: 230783
Backward progress: 230787
Backward progress: 229651
Backward progress: 229717
Backward progress: 229497
Backward progress: 229309
Backward progress: 227805
Backward progress: 228189
Backward progress: 228191
Backward progress: 227919
Backward progress: 227628
Backward progress: 227371
Backward progress: 239699
Backward progress: 241732
Backward progress: 237921
Backward progress: 243895
Backward progress: 243905
Backward progress: 240746
Backward progress: 240721
Backward progress: 239250
Backward progress: 235839
Backward progress: 234966
Backward progress: 238455
Backward progress: 239366
Backward progress: 235171
Backward progress: 228600
Backward progress: 221942
Backward progress: 226484
Backward progress: 221942
Backward progress: 226248
Backward progress: 219639
Backward progress: 220880
Backward progress: 221289
Backward progress: 221328
Backward progress: 221331
Backward progress: 222204
Backward progress: 222171
Backward progress: 223078
Backward progress: 223080
Backward progress: 222731
Backward progress: 222414
Backward progress: 223036
Backward progress: 223046
Backward progress: 223148
Backward progress: 223122
Backward progress: 223242
Backward progress: 223477
Backward progress: 223479
Backward progress: 223363
Backward progress: 223255
Backward progress: 223308
Backward progress: 224378
Backward progress: 224339
Backward progress: 223864
Backward progress: 223748
Backward progress: 223756
Backward progress: 245431
Backward progress: 230012
Backward progress: 230010
Backward progress: 230022
Backward progress: 230028
Backward progress: 230030
Backward progress: 230132
Backward progress: 229975
Forward closed progress: 100716
Control exists for 177688 color(s), jumping through 6 vertices.
Elapsed: 925043 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 925.043
user ??
sys ??
