>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 181440
Perturbation colors: 9007199254740992
All colors: 1634266232780205600000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 103402
Backward progress: 103412
Attractor colors: 127109595882904880000
Attractor colors computed in 100952 ms.
Backward progress: 103196
Backward progress: 106916
Backward progress: 106619
Backward progress: 106555
Backward progress: 103025
Backward progress: 102445
Backward progress: 101767
Backward progress: 101067
Backward progress: 101105
Backward progress: 101295
Backward progress: 100782
Backward progress: 110605
Backward progress: 110434
Backward progress: 107404
Backward progress: 109542
Backward progress: 110066
Backward progress: 143298
Backward progress: 160834
Backward progress: 161914
Backward progress: 161918
Backward progress: 161489
Backward progress: 179378
Backward progress: 196259
Backward progress: 197267
Backward progress: 196691
Backward progress: 196412
Backward progress: 203135
Backward progress: 193136
Backward progress: 196704
Backward progress: 196722
Backward progress: 193204
Backward progress: 193148
Backward progress: 190861
Backward progress: 190274
Backward progress: 209666
Backward progress: 209996
Backward progress: 199789
Backward progress: 199681
Backward progress: 266074
Backward progress: 265436
Backward progress: 246575
Backward progress: 244249
Backward progress: 242008
Backward progress: 240396
Backward progress: 239784
Backward progress: 201712
Backward progress: 201984
Backward progress: 192228
Backward progress: 195837
Backward progress: 195855
Backward progress: 192352
Backward progress: 191801
Backward progress: 183119
Backward progress: 185551
Backward progress: 185641
Backward progress: 192846
Backward progress: 192405
Backward progress: 192501
Backward progress: 190271
Backward progress: 660179
Backward progress: 734876
Backward progress: 510224
Backward progress: 527303
Backward progress: 535869
Backward progress: 523799
Backward progress: 524255
Backward progress: 497765
Backward progress: 393404
Backward progress: 378517
Backward progress: 434432
Backward progress: 364227
Backward progress: 424463
Backward progress: 382199
Backward progress: 392534
Backward progress: 419282
Backward progress: 415473
Backward progress: 425050
Backward progress: 452186
Backward progress: 430577
Backward progress: 465027
Backward progress: 450861
Backward progress: 454499
Backward progress: 434701
Backward progress: 364563
Backward progress: 380539
Backward progress: 365845
Backward progress: 358757
Backward progress: 313001
Backward progress: 363893
Backward progress: 363933
Backward progress: 349533
Backward progress: 349471
Backward progress: 346637
Backward progress: 312713
Backward progress: 301983
Backward progress: 324228
Backward progress: 362879
Backward progress: 385297
Backward progress: 388153
Backward progress: 397701
Backward progress: 395650
Backward progress: 460311
Backward progress: 444131
Backward progress: 455041
Backward progress: 443363
Backward progress: 429885
Backward progress: 433125
Backward progress: 428660
Backward progress: 431074
Backward progress: 429121
Backward progress: 426453
Backward progress: 437491
Backward progress: 403550
Backward progress: 409243
Backward progress: 399610
Backward progress: 362882
Backward progress: 333776
Backward progress: 402977
Backward progress: 403019
Backward progress: 379763
Backward progress: 380585
Backward progress: 378933
Backward progress: 333206
Backward progress: 318846
Backward progress: 522029
Backward progress: 508052
Backward progress: 519108
Backward progress: 524378
Backward progress: 522450
Backward progress: 609682
Backward progress: 609784
Backward progress: 563868
Backward progress: 544438
Backward progress: 539420
Backward progress: 524225
Backward progress: 523531
Backward progress: 521103
Backward progress: 523319
Backward progress: 524659
Backward progress: 517987
Backward progress: 513661
Backward progress: 513731
Backward progress: 515328
Backward progress: 515172
Backward progress: 518872
Backward progress: 515042
Backward progress: 508160
Backward progress: 511818
Backward progress: 510982
Backward progress: 509734
Backward progress: 553265
Backward progress: 552797
Backward progress: 522492
Backward progress: 535379
Backward progress: 455576
Backward progress: 430526
Backward progress: 444035
Backward progress: 442064
Backward progress: 424340
Backward progress: 423970
Backward progress: 423713
Backward progress: 426699
Backward progress: 422726
Backward progress: 421849
Backward progress: 435210
Backward progress: 439711
Backward progress: 448417
Backward progress: 447372
Backward progress: 422296
Backward progress: 434108
Backward progress: 428810
Backward progress: 419364
Backward progress: 419446
Backward progress: 418851
Backward progress: 426473
Backward progress: 422299
Backward progress: 425813
Backward progress: 423763
Backward progress: 423987
Backward progress: 423677
Backward progress: 429739
Backward progress: 418870
Backward progress: 417255
Backward progress: 417217
Backward progress: 416771
Backward progress: 416846
Backward progress: 411992
Backward progress: 419041
Backward progress: 387618
Backward progress: 376513
Backward progress: 367155
Backward progress: 402246
Backward progress: 402117
Backward progress: 390619
Backward progress: 391043
Backward progress: 390207
Backward progress: 367672
Backward progress: 367703
Backward progress: 369161
Backward progress: 369163
Backward progress: 368441
Backward progress: 368233
Backward progress: 367186
Backward progress: 337924
Backward progress: 314018
Backward progress: 332494
Backward progress: 332518
Backward progress: 310122
Backward progress: 309397
Backward progress: 287459
Backward progress: 286707
Backward progress: 284279
Backward progress: 285108
Backward progress: 123471
Backward progress: 100216
Backward progress: 100061
Backward progress: 100151
Backward progress: 101477
Backward progress: 101479
Backward progress: 100823
Backward progress: 100615
Backward progress: 104973
Backward progress: 105223
Backward progress: 101503
Backward progress: 100844
Backward progress: 100153
Backward progress: 100153
Backward progress: 108727
Backward progress: 126783
Backward progress: 127910
Backward progress: 126214
Backward progress: 126307
Backward progress: 126302
Backward progress: 123592
Backward progress: 124200
Backward progress: 139214
Backward progress: 139209
Backward progress: 140024
Backward progress: 154386
Backward progress: 144369
Backward progress: 150030
Backward progress: 200430
Backward progress: 208553
Backward progress: 223147
Backward progress: 220477
Backward progress: 210184
Backward progress: 210238
Backward progress: 196216
Backward progress: 186506
Backward progress: 173067
Backward progress: 170576
Backward progress: 170960
Backward progress: 191686
Backward progress: 185065
Backward progress: 200184
Backward progress: 200810
Backward progress: 201205
Backward progress: 206889
Backward progress: 215508
Backward progress: 215299
Backward progress: 214206
Backward progress: 238088
Backward progress: 148486
Backward progress: 148130
Backward progress: 142180
Backward progress: 135255
Backward progress: 136870
Backward progress: 136027
Backward progress: 135891
Backward progress: 129267
Backward progress: 135535
Backward progress: 135543
Backward progress: 134395
Backward progress: 134381
Backward progress: 133915
Backward progress: 129045
Backward progress: 128888
Backward progress: 129058
Backward progress: 130580
Backward progress: 132893
Backward progress: 133557
Backward progress: 133725
Backward progress: 133709
Backward progress: 134322
Backward progress: 134643
Backward progress: 132414
Backward progress: 132724
Backward progress: 132571
Backward progress: 132778
Backward progress: 132692
Backward progress: 132844
Backward progress: 132670
Backward progress: 132464
Backward progress: 132150
Backward progress: 133313
Backward progress: 133315
Backward progress: 132738
Backward progress: 132756
Backward progress: 132724
Backward progress: 132074
Backward progress: 132015
Backward progress: 148755
Backward progress: 152348
Backward progress: 151863
Backward progress: 148978
Backward progress: 152407
Backward progress: 152411
Backward progress: 149891
Backward progress: 149861
Backward progress: 149268
Backward progress: 148790
Backward progress: 148455
Backward progress: 149623
Backward progress: 150519
Backward progress: 152726
Backward progress: 152782
Backward progress: 157083
Backward progress: 157843
Backward progress: 163434
Backward progress: 158279
Backward progress: 159642
Backward progress: 163531
Backward progress: 165417
Backward progress: 165296
Backward progress: 165301
Backward progress: 167169
Backward progress: 165881
Backward progress: 164424
Backward progress: 164472
Backward progress: 164061
Backward progress: 167106
Backward progress: 167967
Backward progress: 167968
Backward progress: 167944
Backward progress: 169235
Backward progress: 169088
Backward progress: 172254
Backward progress: 172256
Backward progress: 170999
Backward progress: 170953
Backward progress: 170655
Backward progress: 169521
Backward progress: 170415
Backward progress: 170446
Backward progress: 170940
Backward progress: 170767
Backward progress: 170975
Backward progress: 171681
Backward progress: 171683
Backward progress: 171333
Backward progress: 171145
Backward progress: 170448
Backward progress: 172527
Backward progress: 172628
Backward progress: 170712
Backward progress: 170369
Backward progress: 170029
Backward progress: 174664
Control exists for 14112 color(s), jumping through 6 vertices.
Elapsed: 823741 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 823.741
user ??
sys ??
