>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 117573120
Perturbation colors: 9007199254740992
All colors: 1059004518841573200000000
Unknown update functions: 9
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 110051
Backward progress: 110054
Backward progress: 101927
Backward progress: 101442
Backward progress: 104196
Backward progress: 172987
Backward progress: 157152
Backward progress: 140992
Backward progress: 140941
Backward progress: 138508
Backward progress: 115886
Backward progress: 116535
Backward progress: 119577
Backward progress: 117829
Backward progress: 117632
Backward progress: 117848
Backward progress: 117913
Backward progress: 116960
Backward progress: 116961
Backward progress: 116962
Backward progress: 116946
Backward progress: 116947
Backward progress: 116957
Backward progress: 116960
Backward progress: 116921
Backward progress: 118643
Backward progress: 116018
Backward progress: 103257
Backward progress: 115833
Backward progress: 112313
Backward progress: 113026
Backward progress: 113407
Backward progress: 112194
Backward progress: 113593
Backward progress: 111319
Backward progress: 107581
Backward progress: 107562
Backward progress: 113623
Backward progress: 108191
Backward progress: 106892
Backward progress: 110772
Backward progress: 108264
Backward progress: 107964
Backward progress: 105570
Backward progress: 103701
Backward progress: 104471
Backward progress: 104539
Backward progress: 105124
Backward progress: 104816
Backward progress: 105618
Backward progress: 105631
Backward progress: 105867
Backward progress: 105545
Backward progress: 105407
Backward progress: 104097
Backward progress: 105056
Backward progress: 105038
Backward progress: 105077
Backward progress: 105023
Backward progress: 105063
Backward progress: 105138
Backward progress: 105070
Backward progress: 105080
Backward progress: 113310
Backward progress: 113515
Backward progress: 113726
Backward progress: 110546
Backward progress: 110414
Backward progress: 110357
Backward progress: 108015
Backward progress: 108027
Backward progress: 107532
Attractor colors: 34455779741116000000000
Attractor colors computed in 137891 ms.
Backward progress: 110402
Backward progress: 107183
Backward progress: 107956
Backward progress: 109806
Backward progress: 109823
Backward progress: 115273
Backward progress: 122746
Backward progress: 129928
Backward progress: 136847
Backward progress: 136804
Backward progress: 136863
Backward progress: 136832
Backward progress: 136834
Backward progress: 136164
Backward progress: 148707
Backward progress: 150410
Backward progress: 151891
Backward progress: 164712
Backward progress: 157314
Backward progress: 147924
Backward progress: 172055
Backward progress: 178824
Backward progress: 175646
Backward progress: 175710
Backward progress: 175705
Backward progress: 175707
Backward progress: 174555
Backward progress: 177123
Backward progress: 178720
Backward progress: 178619
Backward progress: 178423
Backward progress: 181120
Backward progress: 181085
Backward progress: 179844
Backward progress: 172379
Backward progress: 173079
Backward progress: 173882
Backward progress: 173924
Backward progress: 173939
Backward progress: 173755
Backward progress: 182614
Backward progress: 182317
Backward progress: 180534
Backward progress: 182177
Backward progress: 182332
Backward progress: 223338
Backward progress: 241842
Backward progress: 242398
Backward progress: 242402
Backward progress: 242226
Backward progress: 261462
Backward progress: 275379
Backward progress: 280698
Backward progress: 280462
Backward progress: 280308
Backward progress: 286402
Backward progress: 276375
Backward progress: 279988
Backward progress: 280006
Backward progress: 276833
Backward progress: 276407
Backward progress: 274564
Backward progress: 273944
Backward progress: 285856
Backward progress: 288601
Backward progress: 275000
Backward progress: 275808
Backward progress: 316650
Backward progress: 316118
Backward progress: 306201
Backward progress: 304771
Backward progress: 302031
Backward progress: 301121
Backward progress: 295315
Backward progress: 277840
Backward progress: 276079
Backward progress: 269608
Backward progress: 272282
Backward progress: 272300
Backward progress: 270492
Backward progress: 268092
Backward progress: 256113
Backward progress: 267762
Backward progress: 268617
Backward progress: 272459
Backward progress: 271611
Backward progress: 271855
Backward progress: 269597
Backward progress: 450352
Backward progress: 470953
Backward progress: 394874
Backward progress: 379144
Backward progress: 379222
Backward progress: 370411
Backward progress: 354986
Backward progress: 357729
Backward progress: 359280
Backward progress: 365172
Backward progress: 365113
Backward progress: 374740
Backward progress: 373600
Backward progress: 373005
Backward progress: 378669
Backward progress: 378669
Backward progress: 379296
Backward progress: 365545
Backward progress: 355039
Backward progress: 356800
Backward progress: 353216
Backward progress: 349927
Backward progress: 338285
Backward progress: 337807
Backward progress: 346925
Backward progress: 346937
Backward progress: 344624
Backward progress: 344586
Backward progress: 344508
Backward progress: 343949
Backward progress: 341897
Backward progress: 337769
Backward progress: 335984
Backward progress: 331256
Backward progress: 339486
Backward progress: 340425
Backward progress: 341440
Backward progress: 344699
Backward progress: 344516
Backward progress: 327984
Backward progress: 335424
Backward progress: 327920
Backward progress: 317521
Backward progress: 317715
Backward progress: 317016
Backward progress: 317326
Backward progress: 316960
Backward progress: 315101
Backward progress: 312869
Backward progress: 300971
Backward progress: 301882
Backward progress: 298353
Backward progress: 275446
Backward progress: 272675
Backward progress: 272395
Backward progress: 282033
Backward progress: 282047
Backward progress: 278031
Backward progress: 278019
Backward progress: 277879
Backward progress: 277724
Backward progress: 275864
Backward progress: 270787
Backward progress: 264007
Backward progress: 656784
Backward progress: 577703
Backward progress: 586628
Backward progress: 546805
Backward progress: 541244
Backward progress: 493300
Backward progress: 591978
Backward progress: 592034
Backward progress: 515903
Backward progress: 509729
Backward progress: 495900
Backward progress: 486107
Backward progress: 462823
Backward progress: 448856
Backward progress: 449010
Backward progress: 446203
Backward progress: 447887
Backward progress: 443889
Backward progress: 445047
Backward progress: 443521
Backward progress: 446952
Backward progress: 448538
Backward progress: 450814
Backward progress: 446795
Backward progress: 449479
Backward progress: 447235
Backward progress: 444813
Backward progress: 444884
Backward progress: 444896
Backward progress: 444832
Backward progress: 444828
Backward progress: 444826
Backward progress: 440898
Backward progress: 401263
Backward progress: 524598
Backward progress: 460601
Backward progress: 461361
Backward progress: 459438
Backward progress: 461703
Backward progress: 462831
Backward progress: 463428
Backward progress: 461350
Backward progress: 461623
Backward progress: 463510
Backward progress: 462157
Backward progress: 459825
Backward progress: 460382
Backward progress: 516662
Backward progress: 526298
Backward progress: 475434
Backward progress: 521581
Backward progress: 480653
Backward progress: 469683
Backward progress: 492555
Backward progress: 477722
Backward progress: 453466
Backward progress: 472711
Backward progress: 465218
Backward progress: 485118
Backward progress: 470419
Backward progress: 472246
Backward progress: 478300
Backward progress: 479475
Backward progress: 480809
Backward progress: 480218
Backward progress: 486985
Backward progress: 486830
Backward progress: 486782
Backward progress: 490562
Backward progress: 490564
Backward progress: 489722
Backward progress: 488616
Backward progress: 492167
Backward progress: 468216
Backward progress: 473029
Backward progress: 472975
Backward progress: 473559
Backward progress: 473536
Backward progress: 473364
Backward progress: 473441
Backward progress: 473843
Backward progress: 473845
Backward progress: 473687
Backward progress: 473347
Backward progress: 473529
Backward progress: 502178
Backward progress: 502017
Backward progress: 503242
Backward progress: 503824
Backward progress: 503417
Backward progress: 501943
Backward progress: 514577
Backward progress: 514617
Backward progress: 162218
Backward progress: 100514
Backward progress: 105477
Backward progress: 105277
Backward progress: 116745
Backward progress: 116745
Backward progress: 117192
Backward progress: 117050
Backward progress: 128523
Backward progress: 137084
Backward progress: 109475
Backward progress: 111923
Backward progress: 119016
Backward progress: 119022
Backward progress: 113027
Backward progress: 112984
Backward progress: 109322
Backward progress: 100572
Backward progress: 115348
Backward progress: 120852
Backward progress: 127114
Backward progress: 120962
Backward progress: 132006
Backward progress: 119629
Backward progress: 123099
Backward progress: 123739
Backward progress: 124514
Backward progress: 124513
Backward progress: 128907
Backward progress: 128939
Backward progress: 128905
Backward progress: 132696
Backward progress: 132698
Backward progress: 131856
Backward progress: 130750
Backward progress: 133948
Backward progress: 133912
Backward progress: 134406
Backward progress: 134383
Backward progress: 134213
Backward progress: 134269
Backward progress: 134671
Backward progress: 134673
Backward progress: 134515
Backward progress: 134175
Backward progress: 134303
Backward progress: 155219
Backward progress: 155106
Backward progress: 156091
Backward progress: 156667
Backward progress: 157168
Backward progress: 155694
Backward progress: 167506
Backward progress: 167506
Backward progress: 129245
Backward progress: 179738
Backward progress: 177602
Backward progress: 177259
Backward progress: 177373
Backward progress: 177374
Backward progress: 161841
Backward progress: 163963
Backward progress: 172644
Backward progress: 172717
Backward progress: 174315
Backward progress: 175551
Backward progress: 186638
Backward progress: 186800
Backward progress: 192998
Backward progress: 186300
Backward progress: 189827
Backward progress: 230570
Backward progress: 235125
Backward progress: 244550
Backward progress: 244768
Backward progress: 241687
Backward progress: 241761
Backward progress: 226933
Backward progress: 218046
Backward progress: 199503
Backward progress: 197742
Backward progress: 200218
Backward progress: 222487
Backward progress: 220259
Backward progress: 223597
Backward progress: 224433
Backward progress: 225899
Backward progress: 239412
Backward progress: 254083
Backward progress: 253937
Backward progress: 252738
Backward progress: 270757
Backward progress: 228260
Backward progress: 228032
Backward progress: 203390
Backward progress: 197465
Backward progress: 193730
Backward progress: 193744
Backward progress: 190971
Backward progress: 192268
Backward progress: 190471
Backward progress: 197969
Backward progress: 186729
Backward progress: 186869
Backward progress: 193044
Backward progress: 193052
Backward progress: 192376
Backward progress: 192366
Backward progress: 192366
Backward progress: 192119
Backward progress: 190175
Backward progress: 186384
Backward progress: 185963
Backward progress: 185855
Backward progress: 189794
Backward progress: 209502
Backward progress: 196554
Backward progress: 196687
Backward progress: 196656
Backward progress: 403694
Backward progress: 397411
Backward progress: 326313
Backward progress: 329173
Backward progress: 339532
Backward progress: 339536
Backward progress: 324594
Backward progress: 324554
Backward progress: 319599
Backward progress: 290296
Backward progress: 286957
Backward progress: 300978
Backward progress: 311140
Backward progress: 303652
Backward progress: 304444
Backward progress: 317777
Backward progress: 355294
Backward progress: 345820
Backward progress: 346544
Backward progress: 341703
Backward progress: 337965
Backward progress: 328008
Backward progress: 328168
Backward progress: 404621
Backward progress: 416336
Backward progress: 430179
Backward progress: 416993
Backward progress: 436607
Backward progress: 416605
Backward progress: 420255
Backward progress: 420571
Backward progress: 421330
Backward progress: 421336
Backward progress: 424974
Backward progress: 424986
Backward progress: 424968
Backward progress: 428790
Backward progress: 428792
Backward progress: 427998
Backward progress: 426595
Backward progress: 429953
Backward progress: 429785
Backward progress: 430245
Backward progress: 430215
Backward progress: 430058
Backward progress: 430112
Backward progress: 430511
Backward progress: 430513
Backward progress: 430381
Backward progress: 430023
Backward progress: 430066
Backward progress: 459991
Backward progress: 459937
Backward progress: 460401
Backward progress: 461109
Backward progress: 462274
Backward progress: 460519
Backward progress: 460085
Backward progress: 468562
Backward progress: 135693
Backward progress: 122741
Backward progress: 108265
Backward progress: 128561
Backward progress: 142968
Backward progress: 142517
Backward progress: 113928
Backward progress: 134226
Backward progress: 124824
Backward progress: 124824
Forward closed progress: 118817
Forward closed progress: 118454
Forward closed progress: 203403
Forward closed progress: 112464
Forward closed progress: 110414
Forward closed progress: 110336
Forward closed progress: 110386
Forward closed progress: 105941
Forward closed progress: 104058
Forward closed progress: 104078
Forward closed progress: 104088
Forward closed progress: 104063
Control exists for 3825360 color(s), jumping through 8 vertices.
Elapsed: 1255705 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1255.705
user ??
sys ??
