>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 388800
Perturbation colors: 9007199254740992
All colors: 3501999070243297700000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 287509800211332460000
Attractor colors computed in 17157 ms.
Backward progress: 104848
Backward progress: 105898
Backward progress: 103758
Backward progress: 103654
Backward progress: 128380
Backward progress: 128356
Backward progress: 130244
Backward progress: 130779
Backward progress: 130462
Backward progress: 131442
Backward progress: 136309
Backward progress: 136549
Backward progress: 121845
Backward progress: 120140
Backward progress: 131923
Backward progress: 131937
Backward progress: 131095
Backward progress: 131074
Backward progress: 126542
Backward progress: 124820
Backward progress: 122728
Backward progress: 118972
Backward progress: 117797
Backward progress: 115164
Backward progress: 116837
Backward progress: 116885
Backward progress: 132564
Backward progress: 132147
Backward progress: 134663
Backward progress: 150900
Backward progress: 145739
Backward progress: 148450
Backward progress: 153465
Backward progress: 153073
Backward progress: 177120
Backward progress: 181722
Backward progress: 204497
Backward progress: 207895
Backward progress: 207761
Backward progress: 208006
Backward progress: 207843
Backward progress: 207851
Backward progress: 207370
Backward progress: 207392
Backward progress: 220975
Backward progress: 222858
Backward progress: 223483
Backward progress: 250237
Backward progress: 237477
Backward progress: 208133
Backward progress: 232418
Backward progress: 237063
Backward progress: 231876
Backward progress: 231955
Backward progress: 231945
Backward progress: 231947
Backward progress: 231144
Backward progress: 238728
Backward progress: 241766
Backward progress: 241365
Backward progress: 241261
Backward progress: 241217
Backward progress: 242181
Backward progress: 242246
Backward progress: 241990
Backward progress: 236842
Backward progress: 237884
Backward progress: 239907
Backward progress: 239949
Backward progress: 239979
Backward progress: 239763
Backward progress: 249578
Backward progress: 246626
Backward progress: 242831
Backward progress: 242618
Backward progress: 245914
Backward progress: 245903
Backward progress: 246164
Backward progress: 289514
Backward progress: 323460
Backward progress: 324614
Backward progress: 324626
Backward progress: 324346
Backward progress: 359629
Backward progress: 388006
Backward progress: 395116
Backward progress: 395384
Backward progress: 394692
Backward progress: 407017
Backward progress: 386002
Backward progress: 392216
Backward progress: 392250
Backward progress: 386491
Backward progress: 386058
Backward progress: 380865
Backward progress: 379816
Backward progress: 405225
Backward progress: 405912
Backward progress: 388022
Backward progress: 384168
Backward progress: 465977
Backward progress: 465032
Backward progress: 447130
Backward progress: 445823
Backward progress: 445797
Backward progress: 443533
Backward progress: 440988
Backward progress: 410752
Backward progress: 410273
Backward progress: 409953
Backward progress: 410174
Backward progress: 407855
Backward progress: 384978
Backward progress: 380068
Backward progress: 368373
Backward progress: 374537
Backward progress: 374581
Backward progress: 369583
Backward progress: 364213
Backward progress: 355649
Backward progress: 362217
Backward progress: 361959
Backward progress: 367886
Backward progress: 366544
Backward progress: 366820
Backward progress: 363224
Backward progress: 608482
Backward progress: 630308
Backward progress: 533222
Backward progress: 519883
Backward progress: 520050
Backward progress: 508446
Backward progress: 492970
Backward progress: 494703
Backward progress: 503144
Backward progress: 514856
Backward progress: 511858
Backward progress: 520577
Backward progress: 517650
Backward progress: 508381
Backward progress: 513179
Backward progress: 570532
Backward progress: 571697
Backward progress: 542894
Backward progress: 479889
Backward progress: 483598
Backward progress: 477363
Backward progress: 474205
Backward progress: 458460
Backward progress: 455757
Backward progress: 470658
Backward progress: 470678
Backward progress: 467476
Backward progress: 467428
Backward progress: 467568
Backward progress: 466659
Backward progress: 460556
Backward progress: 455678
Backward progress: 452386
Backward progress: 447924
Backward progress: 449986
Backward progress: 449151
Backward progress: 452503
Backward progress: 458131
Backward progress: 457115
Backward progress: 439341
Backward progress: 446692
Backward progress: 438759
Backward progress: 432347
Backward progress: 432251
Backward progress: 431667
Backward progress: 432493
Backward progress: 430879
Backward progress: 429311
Backward progress: 426339
Backward progress: 403682
Backward progress: 406414
Backward progress: 400842
Backward progress: 373648
Backward progress: 370576
Backward progress: 369933
Backward progress: 388832
Backward progress: 388879
Backward progress: 383945
Backward progress: 383908
Backward progress: 383975
Backward progress: 383200
Backward progress: 375788
Backward progress: 368846
Backward progress: 362650
Backward progress: 467838
Backward progress: 454008
Backward progress: 458577
Backward progress: 443517
Backward progress: 443830
Backward progress: 502972
Backward progress: 503142
Backward progress: 468183
Backward progress: 465347
Backward progress: 465303
Backward progress: 457917
Backward progress: 449884
Backward progress: 448981
Backward progress: 448655
Backward progress: 448856
Backward progress: 444985
Backward progress: 424878
Backward progress: 391243
Backward progress: 389482
Backward progress: 385220
Backward progress: 385126
Backward progress: 384241
Backward progress: 385417
Backward progress: 381309
Backward progress: 385277
Backward progress: 384749
Backward progress: 387250
Backward progress: 382841
Backward progress: 376721
Backward progress: 371297
Backward progress: 371713
Backward progress: 370053
Backward progress: 366236
Backward progress: 415124
Backward progress: 415058
Backward progress: 368620
Backward progress: 371850
Backward progress: 320837
Backward progress: 304855
Backward progress: 315958
Backward progress: 310322
Backward progress: 297731
Backward progress: 311751
Backward progress: 304439
Backward progress: 311106
Backward progress: 301249
Backward progress: 304374
Backward progress: 306191
Backward progress: 307666
Backward progress: 308665
Backward progress: 308197
Backward progress: 310368
Backward progress: 310306
Backward progress: 312303
Backward progress: 312305
Backward progress: 311801
Backward progress: 311173
Backward progress: 312975
Backward progress: 295007
Backward progress: 297635
Backward progress: 297665
Backward progress: 297950
Backward progress: 297909
Backward progress: 297946
Backward progress: 298414
Backward progress: 298416
Backward progress: 298208
Backward progress: 297804
Backward progress: 297666
Backward progress: 300860
Backward progress: 300752
Backward progress: 298763
Backward progress: 298507
Backward progress: 298523
Backward progress: 335127
Backward progress: 336437
Backward progress: 144157
Backward progress: 109987
Backward progress: 100978
Backward progress: 111817
Backward progress: 115265
Backward progress: 114759
Backward progress: 122720
Backward progress: 171837
Backward progress: 172873
Backward progress: 167546
Backward progress: 116463
Backward progress: 120474
Backward progress: 118460
Backward progress: 125684
Backward progress: 113265
Backward progress: 111107
Backward progress: 123145
Backward progress: 123153
Backward progress: 121593
Backward progress: 121572
Backward progress: 118066
Backward progress: 116465
Backward progress: 113160
Backward progress: 109488
Backward progress: 108332
Backward progress: 108332
Backward progress: 108170
Backward progress: 109819
Backward progress: 113919
Backward progress: 107512
Backward progress: 110612
Backward progress: 118433
Backward progress: 118441
Backward progress: 113106
Backward progress: 113050
Backward progress: 110612
Backward progress: 104881
Backward progress: 105358
Backward progress: 124112
Backward progress: 184580
Backward progress: 258736
Backward progress: 238514
Backward progress: 235719
Backward progress: 235991
Backward progress: 235925
Backward progress: 241606
Backward progress: 245946
Backward progress: 306252
Backward progress: 314492
Backward progress: 318232
Backward progress: 332449
Backward progress: 355252
Backward progress: 355652
Backward progress: 381632
Backward progress: 363535
Backward progress: 374304
Backward progress: 415924
Backward progress: 429400
Backward progress: 465560
Backward progress: 469478
Backward progress: 487863
Backward progress: 468578
Backward progress: 467681
Backward progress: 467823
Backward progress: 467834
Backward progress: 446700
Backward progress: 428277
Backward progress: 422663
Backward progress: 402096
Backward progress: 438836
Backward progress: 439703
Backward progress: 433419
Backward progress: 433416
Backward progress: 433440
Backward progress: 433446
Backward progress: 432382
Backward progress: 448733
Backward progress: 454819
Backward progress: 455194
Backward progress: 466530
Backward progress: 466546
Backward progress: 521596
Backward progress: 520985
Backward progress: 512329
Backward progress: 512086
Backward progress: 509756
Backward progress: 567882
Backward progress: 481157
Backward progress: 476218
Backward progress: 432759
Backward progress: 409750
Backward progress: 387858
Backward progress: 387843
Backward progress: 377020
Backward progress: 365225
Backward progress: 363431
Backward progress: 377405
Backward progress: 362424
Backward progress: 360727
Backward progress: 371611
Backward progress: 371627
Backward progress: 369620
Backward progress: 369596
Backward progress: 367956
Backward progress: 366352
Backward progress: 361022
Backward progress: 356908
Backward progress: 356409
Backward progress: 360186
Backward progress: 362390
Backward progress: 407886
Backward progress: 392332
Backward progress: 401539
Backward progress: 404098
Backward progress: 404094
Backward progress: 404131
Backward progress: 404135
Backward progress: 404110
Backward progress: 404118
Backward progress: 404853
Backward progress: 404949
Backward progress: 406066
Backward progress: 406064
Backward progress: 406080
Backward progress: 406082
Backward progress: 405452
Backward progress: 406404
Backward progress: 407238
Backward progress: 407200
Backward progress: 408865
Backward progress: 408084
Backward progress: 408070
Backward progress: 408017
Backward progress: 411214
Backward progress: 411319
Backward progress: 411323
Backward progress: 409123
Backward progress: 409232
Backward progress: 408614
Backward progress: 408653
Backward progress: 407224
Backward progress: 406854
Backward progress: 407725
Backward progress: 407727
Backward progress: 407224
Backward progress: 407224
Backward progress: 406589
Backward progress: 406364
Backward progress: 405959
Backward progress: 445436
Backward progress: 445716
Backward progress: 434781
Backward progress: 438223
Backward progress: 455172
Backward progress: 455182
Backward progress: 446642
Backward progress: 446526
Backward progress: 443269
Backward progress: 430490
Backward progress: 417170
Backward progress: 422104
Backward progress: 428103
Backward progress: 427224
Backward progress: 429132
Backward progress: 429244
Backward progress: 429265
Backward progress: 429273
Backward progress: 429164
Backward progress: 429130
Backward progress: 429128
Backward progress: 429099
Backward progress: 430163
Backward progress: 417565
Backward progress: 409781
Backward progress: 390985
Backward progress: 387589
Backward progress: 396758
Backward progress: 387689
Backward progress: 392027
Backward progress: 381488
Backward progress: 381536
Backward progress: 382525
Backward progress: 383157
Backward progress: 383436
Backward progress: 383440
Backward progress: 384349
Backward progress: 384333
Backward progress: 385765
Backward progress: 385767
Backward progress: 385404
Backward progress: 384872
Backward progress: 385807
Backward progress: 385759
Backward progress: 385980
Backward progress: 385931
Backward progress: 385976
Backward progress: 386281
Backward progress: 386283
Backward progress: 386144
Backward progress: 385883
Backward progress: 385693
Backward progress: 387002
Backward progress: 386899
Backward progress: 386088
Backward progress: 385928
Backward progress: 385809
Backward progress: 418921
Backward progress: 396270
Backward progress: 396264
Backward progress: 396264
Backward progress: 396280
Backward progress: 396292
Backward progress: 396356
Backward progress: 396219
Backward progress: 130898
Backward progress: 113827
Backward progress: 106461
Backward progress: 105044
Forward closed progress: 146383
Forward closed progress: 118192
Forward closed progress: 121282
Forward closed progress: 107371
Forward closed progress: 107845
Forward closed progress: 107777
Forward closed progress: 102368
Forward closed progress: 109080
Forward closed progress: 108726
Forward closed progress: 116453
Forward closed progress: 116905
Forward closed progress: 112789
Forward closed progress: 110997
Forward closed progress: 134829
Forward closed progress: 135083
Forward closed progress: 115032
Forward closed progress: 114900
Forward closed progress: 115004
Forward closed progress: 112178
Forward closed progress: 109282
Forward closed progress: 106185
Forward closed progress: 104536
Control exists for 31920 color(s), jumping through 8 vertices.
Elapsed: 1489236 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1489.236
user ??
sys ??
