>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 68229
Perturbation colors: 9007199254740992
All colors: 614552197951723100000
Unknown update functions: 3
Lowest cardinality: 1
Highest cardinality: 5
Attractor colors: 72345824414079650000
Attractor colors computed in 90055 ms.
Backward progress: 107486
Backward progress: 118832
Backward progress: 120842
Backward progress: 119298
Backward progress: 118656
Backward progress: 118523
Backward progress: 134186
Backward progress: 134074
Backward progress: 136291
Backward progress: 135987
Backward progress: 141020
Backward progress: 141075
Backward progress: 141070
Backward progress: 140980
Backward progress: 144545
Backward progress: 138926
Backward progress: 142694
Backward progress: 143155
Backward progress: 140535
Backward progress: 139098
Backward progress: 139717
Backward progress: 139437
Backward progress: 139397
Backward progress: 139971
Backward progress: 139417
Backward progress: 140484
Backward progress: 139626
Backward progress: 138671
Backward progress: 138719
Backward progress: 137721
Backward progress: 137046
Backward progress: 136841
Backward progress: 161758
Backward progress: 165654
Backward progress: 166474
Backward progress: 161334
Backward progress: 160712
Backward progress: 160612
Backward progress: 204290
Backward progress: 200967
Backward progress: 193436
Backward progress: 189357
Backward progress: 188947
Backward progress: 188210
Backward progress: 185842
Backward progress: 183887
Backward progress: 183039
Backward progress: 182950
Backward progress: 182534
Backward progress: 182538
Backward progress: 182096
Backward progress: 182112
Backward progress: 182046
Backward progress: 181988
Backward progress: 182048
Backward progress: 181905
Backward progress: 163465
Backward progress: 161375
Backward progress: 151535
Backward progress: 156917
Backward progress: 157450
Backward progress: 154357
Backward progress: 152972
Backward progress: 152490
Backward progress: 150827
Backward progress: 142437
Backward progress: 147506
Backward progress: 147766
Backward progress: 146816
Backward progress: 146976
Backward progress: 158094
Backward progress: 155553
Backward progress: 154885
Backward progress: 154117
Backward progress: 153755
Backward progress: 151683
Backward progress: 150901
Backward progress: 148370
Backward progress: 148581
Backward progress: 148115
Backward progress: 151319
Backward progress: 151497
Backward progress: 150832
Backward progress: 150178
Backward progress: 149815
Backward progress: 148419
Backward progress: 147979
Backward progress: 264702
Backward progress: 270674
Backward progress: 273603
Backward progress: 276623
Backward progress: 269813
Backward progress: 270646
Backward progress: 257487
Backward progress: 205184
Backward progress: 187759
Backward progress: 188333
Backward progress: 187176
Backward progress: 189999
Backward progress: 189330
Backward progress: 189830
Backward progress: 190787
Backward progress: 188263
Backward progress: 186205
Backward progress: 186205
Backward progress: 187257
Backward progress: 171746
Backward progress: 169340
Backward progress: 170289
Backward progress: 168492
Backward progress: 167084
Backward progress: 161597
Backward progress: 166311
Backward progress: 166491
Backward progress: 164766
Backward progress: 164646
Backward progress: 164322
Backward progress: 161113
Backward progress: 159512
Backward progress: 158512
Backward progress: 158368
Backward progress: 158340
Backward progress: 158450
Backward progress: 158993
Backward progress: 158956
Backward progress: 156494
Backward progress: 157720
Backward progress: 156601
Backward progress: 155750
Backward progress: 155758
Backward progress: 155555
Backward progress: 155617
Backward progress: 155545
Backward progress: 155386
Backward progress: 155798
Backward progress: 153649
Backward progress: 153860
Backward progress: 153281
Backward progress: 149822
Backward progress: 149464
Backward progress: 152214
Backward progress: 152238
Backward progress: 151229
Backward progress: 149390
Backward progress: 147794
Backward progress: 241303
Backward progress: 216835
Backward progress: 220922
Backward progress: 220398
Backward progress: 218990
Backward progress: 217273
Backward progress: 216089
Backward progress: 243321
Backward progress: 244955
Backward progress: 234099
Backward progress: 227581
Backward progress: 227086
Backward progress: 225581
Backward progress: 220930
Backward progress: 218428
Backward progress: 217570
Backward progress: 217532
Backward progress: 216898
Backward progress: 216996
Backward progress: 215785
Backward progress: 216387
Backward progress: 215657
Backward progress: 215707
Backward progress: 215668
Backward progress: 215628
Backward progress: 215703
Backward progress: 215585
Backward progress: 216099
Backward progress: 214748
Backward progress: 216297
Backward progress: 216404
Backward progress: 218979
Backward progress: 218907
Backward progress: 220023
Backward progress: 220201
Backward progress: 219613
Backward progress: 219102
Backward progress: 218809
Backward progress: 218343
Backward progress: 218703
Backward progress: 218727
Backward progress: 221076
Backward progress: 221828
Backward progress: 222571
Backward progress: 222386
Backward progress: 222191
Backward progress: 222211
Backward progress: 221846
Backward progress: 221406
Backward progress: 220590
Backward progress: 221011
Backward progress: 221365
Backward progress: 221393
Backward progress: 221277
Backward progress: 222507
Backward progress: 222671
Backward progress: 224140
Backward progress: 224212
Backward progress: 223768
Backward progress: 224964
Backward progress: 225331
Backward progress: 225165
Backward progress: 225181
Backward progress: 224801
Backward progress: 225170
Backward progress: 226461
Backward progress: 225482
Backward progress: 224427
Backward progress: 223127
Backward progress: 222501
Backward progress: 216388
Backward progress: 229738
Backward progress: 229454
Backward progress: 227094
Backward progress: 223903
Backward progress: 223251
Backward progress: 221896
Backward progress: 222074
Backward progress: 221286
Backward progress: 220464
Backward progress: 220022
Backward progress: 217835
Backward progress: 217835
Backward progress: 218362
Backward progress: 215902
Backward progress: 218578
Backward progress: 218756
Backward progress: 218059
Backward progress: 217378
Backward progress: 217002
Backward progress: 215344
Backward progress: 306972
Backward progress: 351437
Backward progress: 363421
Backward progress: 363855
Backward progress: 363279
Backward progress: 361323
Backward progress: 358946
Backward progress: 356282
Backward progress: 362485
Backward progress: 364369
Backward progress: 368339
Backward progress: 368232
Backward progress: 367103
Backward progress: 373415
Backward progress: 373616
Backward progress: 382269
Backward progress: 381392
Backward progress: 379887
Backward progress: 379477
Backward progress: 379537
Backward progress: 377134
Backward progress: 373537
Backward progress: 373222
Backward progress: 372906
Backward progress: 372297
Backward progress: 367679
Backward progress: 371995
Backward progress: 367594
Backward progress: 367340
Backward progress: 363920
Backward progress: 362351
Backward progress: 362381
Backward progress: 364146
Backward progress: 361672
Backward progress: 365287
Backward progress: 364670
Backward progress: 363699
Backward progress: 363173
Backward progress: 362734
Backward progress: 362754
Backward progress: 361014
Backward progress: 360177
Backward progress: 357708
Backward progress: 359806
Backward progress: 359882
Backward progress: 358324
Backward progress: 356743
Backward progress: 354989
Backward progress: 358158
Backward progress: 355614
Backward progress: 351525
Backward progress: 349905
Backward progress: 349967
Backward progress: 349154
Backward progress: 348645
Backward progress: 347468
Backward progress: 345592
Backward progress: 343346
Backward progress: 350618
Backward progress: 298932
Backward progress: 302184
Backward progress: 305400
Backward progress: 305170
Backward progress: 305785
Backward progress: 305859
Backward progress: 304491
Backward progress: 297798
Backward progress: 296326
Backward progress: 292484
Backward progress: 297723
Backward progress: 301556
Backward progress: 303228
Backward progress: 302547
Backward progress: 309482
Backward progress: 309932
Backward progress: 308294
Backward progress: 314330
Backward progress: 314354
Backward progress: 312640
Backward progress: 311914
Backward progress: 320912
Backward progress: 325704
Backward progress: 326566
Backward progress: 326717
Backward progress: 323537
Backward progress: 323414
Backward progress: 327748
Backward progress: 336996
Backward progress: 332126
Backward progress: 329122
Backward progress: 328342
Backward progress: 323744
Backward progress: 332101
Backward progress: 331771
Backward progress: 332985
Backward progress: 332017
Backward progress: 331897
Backward progress: 331053
Backward progress: 329508
Backward progress: 325935
Backward progress: 329265
Backward progress: 329407
Backward progress: 327773
Backward progress: 327457
Backward progress: 325167
Backward progress: 324267
Backward progress: 356476
Backward progress: 349395
Backward progress: 347667
Backward progress: 366834
Backward progress: 362541
Backward progress: 376294
Backward progress: 379342
Backward progress: 379390
Backward progress: 379547
Backward progress: 379484
Backward progress: 383290
Backward progress: 385368
Backward progress: 387152
Backward progress: 388709
Backward progress: 387094
Backward progress: 390453
Backward progress: 389991
Backward progress: 390406
Backward progress: 392145
Backward progress: 392185
Backward progress: 391992
Backward progress: 392023
Backward progress: 392010
Backward progress: 391944
Backward progress: 391934
Backward progress: 391744
Backward progress: 390264
Backward progress: 400559
Backward progress: 354218
Backward progress: 354413
Backward progress: 354075
Backward progress: 354397
Backward progress: 354249
Backward progress: 353776
Backward progress: 354335
Backward progress: 354347
Backward progress: 354249
Backward progress: 354229
Backward progress: 353726
Backward progress: 351666
Backward progress: 350862
Backward progress: 350649
Backward progress: 370241
Backward progress: 368150
Backward progress: 367422
Backward progress: 354842
Backward progress: 351440
Backward progress: 352500
Backward progress: 352284
Backward progress: 353302
Backward progress: 352720
Backward progress: 352671
Backward progress: 352713
Backward progress: 352725
Backward progress: 352515
Backward progress: 352464
Backward progress: 352506
Backward progress: 351642
Backward progress: 347077
Backward progress: 381266
Backward progress: 355852
Backward progress: 349767
Backward progress: 348583
Backward progress: 447991
Backward progress: 458370
Backward progress: 434266
Backward progress: 429959
Backward progress: 429095
Backward progress: 420923
Backward progress: 109148
Backward progress: 100822
Control exists for 8032 color(s), jumping through 6 vertices.
Elapsed: 884554 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 884.554
user ??
sys ??
