>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 288000
Perturbation colors: 4294967296
All colors: 1236950581248000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 63977832841216
Attractor colors computed in 11644 ms.
Backward progress: 103621
Backward progress: 103621
Backward progress: 111145
Backward progress: 111304
Backward progress: 111265
Backward progress: 109301
Backward progress: 110179
Backward progress: 109898
Backward progress: 109758
Backward progress: 109748
Backward progress: 109583
Backward progress: 109579
Backward progress: 109222
Backward progress: 108236
Backward progress: 108992
Backward progress: 113312
Backward progress: 113312
Backward progress: 111905
Backward progress: 111907
Backward progress: 112137
Backward progress: 112143
Backward progress: 112142
Backward progress: 111793
Backward progress: 112359
Backward progress: 116241
Backward progress: 116243
Backward progress: 116246
Backward progress: 116238
Backward progress: 116513
Backward progress: 116594
Backward progress: 114951
Backward progress: 129378
Backward progress: 126892
Backward progress: 126990
Backward progress: 126986
Backward progress: 128897
Backward progress: 128897
Backward progress: 128629
Backward progress: 128375
Backward progress: 127070
Backward progress: 126999
Backward progress: 129341
Backward progress: 129342
Backward progress: 129322
Backward progress: 129237
Backward progress: 129220
Backward progress: 129243
Backward progress: 129235
Backward progress: 129237
Backward progress: 129209
Backward progress: 128805
Backward progress: 130222
Backward progress: 130222
Backward progress: 130175
Backward progress: 130176
Backward progress: 130129
Backward progress: 130567
Backward progress: 130144
Backward progress: 131300
Backward progress: 130832
Backward progress: 130864
Backward progress: 130844
Backward progress: 129728
Backward progress: 129728
Backward progress: 128622
Backward progress: 128254
Backward progress: 152516
Backward progress: 153237
Backward progress: 152942
Backward progress: 149308
Backward progress: 152545
Backward progress: 152467
Backward progress: 152464
Backward progress: 152489
Backward progress: 152488
Backward progress: 151404
Backward progress: 151576
Backward progress: 152397
Backward progress: 152099
Backward progress: 152099
Backward progress: 152099
Backward progress: 150795
Backward progress: 150253
Backward progress: 150273
Backward progress: 151291
Backward progress: 151287
Backward progress: 151787
Backward progress: 151983
Backward progress: 155127
Backward progress: 154141
Backward progress: 153598
Backward progress: 153377
Backward progress: 153273
Backward progress: 153166
Backward progress: 152652
Backward progress: 152469
Backward progress: 152461
Backward progress: 152757
Backward progress: 152448
Backward progress: 153690
Backward progress: 153313
Backward progress: 153313
Forward closed progress: 148902
Forward closed progress: 148434
Forward closed progress: 149482
Forward closed progress: 156588
Forward closed progress: 156577
Forward closed progress: 149395
Forward closed progress: 150399
Forward closed progress: 143157
Forward closed progress: 134106
Forward closed progress: 134052
Forward closed progress: 134050
Forward closed progress: 133712
Forward closed progress: 134380
Forward closed progress: 135838
Forward closed progress: 134352
Forward closed progress: 134849
Forward closed progress: 134848
Forward closed progress: 134848
Forward closed progress: 134687
Forward closed progress: 134957
Forward closed progress: 133475
Forward closed progress: 133474
Forward closed progress: 133472
Forward closed progress: 133412
Forward closed progress: 100253
Forward closed progress: 114495
Forward closed progress: 179197
Forward closed progress: 183488
Forward closed progress: 182897
Forward closed progress: 188311
Forward closed progress: 181673
Forward closed progress: 181667
Forward closed progress: 175704
Forward closed progress: 175713
Forward closed progress: 176210
Forward closed progress: 174775
Forward closed progress: 174776
Forward closed progress: 174851
Forward closed progress: 172366
Forward closed progress: 207511
Forward closed progress: 207761
Forward closed progress: 213276
Forward closed progress: 213270
Forward closed progress: 207641
Forward closed progress: 207143
Forward closed progress: 184123
Forward closed progress: 183415
Forward closed progress: 260759
Forward closed progress: 236631
Forward closed progress: 236714
Forward closed progress: 237059
Forward closed progress: 237049
Forward closed progress: 237029
Forward closed progress: 242654
Forward closed progress: 242646
Forward closed progress: 236855
Forward closed progress: 229770
Forward closed progress: 229778
Forward closed progress: 228286
Forward closed progress: 226171
Forward closed progress: 224620
Forward closed progress: 224066
Forward closed progress: 221792
Forward closed progress: 218760
Forward closed progress: 218803
Forward closed progress: 218794
Forward closed progress: 218799
Forward closed progress: 218597
Forward closed progress: 217951
Forward closed progress: 215926
Forward closed progress: 222071
Forward closed progress: 224314
Forward closed progress: 223879
Forward closed progress: 297747
Forward closed progress: 299407
Forward closed progress: 322353
Forward closed progress: 318104
Forward closed progress: 318094
Forward closed progress: 305650
Forward closed progress: 303497
Forward closed progress: 297146
Forward closed progress: 294966
Forward closed progress: 293388
Forward closed progress: 304736
Forward closed progress: 304710
Forward closed progress: 304663
Forward closed progress: 302371
Forward closed progress: 302848
Forward closed progress: 294185
Forward closed progress: 290590
Forward closed progress: 294668
Forward closed progress: 294667
Forward closed progress: 294663
Forward closed progress: 294659
Forward closed progress: 296304
Forward closed progress: 296300
Forward closed progress: 294647
Forward closed progress: 291503
Forward closed progress: 291503
Forward closed progress: 291499
Forward closed progress: 290545
Forward closed progress: 289133
Forward closed progress: 375881
Forward closed progress: 392603
Forward closed progress: 415998
Forward closed progress: 390378
Forward closed progress: 388305
Forward closed progress: 388298
Forward closed progress: 387609
Forward closed progress: 385867
Forward closed progress: 370562
Forward closed progress: 370869
Forward closed progress: 370564
Forward closed progress: 370275
Forward closed progress: 370134
Forward closed progress: 369124
Forward closed progress: 382220
Forward closed progress: 384837
Forward closed progress: 372939
Forward closed progress: 372938
Forward closed progress: 372937
Forward closed progress: 372941
Forward closed progress: 372822
Forward closed progress: 369423
Forward closed progress: 363596
Forward closed progress: 360528
Forward closed progress: 340099
Forward closed progress: 359660
Forward closed progress: 364939
Forward closed progress: 364955
Forward closed progress: 364940
Forward closed progress: 364906
Forward closed progress: 352464
Forward closed progress: 352434
Forward closed progress: 352434
Forward closed progress: 352398
Forward closed progress: 352395
Forward closed progress: 351338
Forward closed progress: 344202
Forward closed progress: 342243
Forward closed progress: 341661
Forward closed progress: 336060
Forward closed progress: 334388
Forward closed progress: 305126
Forward closed progress: 256508
Forward closed progress: 267054
Forward closed progress: 267094
Forward closed progress: 267099
Forward closed progress: 267094
Forward closed progress: 267090
Forward closed progress: 267087
Forward closed progress: 268146
Forward closed progress: 268144
Forward closed progress: 266173
Forward closed progress: 260555
Forward closed progress: 260556
Forward closed progress: 260528
Forward closed progress: 259711
Forward closed progress: 259696
Forward closed progress: 259690
Forward closed progress: 259682
Forward closed progress: 259330
Forward closed progress: 250613
Forward closed progress: 262584
Forward closed progress: 263142
Forward closed progress: 263136
Forward closed progress: 263129
Forward closed progress: 262339
Forward closed progress: 262337
Forward closed progress: 262323
Forward closed progress: 257880
Forward closed progress: 255955
Forward closed progress: 255955
Forward closed progress: 254045
Forward closed progress: 249766
Forward closed progress: 241053
Forward closed progress: 349382
Forward closed progress: 369257
Forward closed progress: 369326
Forward closed progress: 369254
Forward closed progress: 369395
Forward closed progress: 370014
Forward closed progress: 369908
Forward closed progress: 369793
Forward closed progress: 378587
Forward closed progress: 378698
Forward closed progress: 378773
Forward closed progress: 378677
Forward closed progress: 378570
Forward closed progress: 355235
Forward closed progress: 396282
Forward closed progress: 392822
Forward closed progress: 392908
Forward closed progress: 392895
Forward closed progress: 390783
Forward closed progress: 390781
Forward closed progress: 390567
Forward closed progress: 390179
Forward closed progress: 390198
Forward closed progress: 381678
Forward closed progress: 390718
Forward closed progress: 390723
Forward closed progress: 385592
Forward closed progress: 385587
Forward closed progress: 385579
Forward closed progress: 385294
Forward closed progress: 385156
Forward closed progress: 381461
Forward closed progress: 369688
Forward closed progress: 369691
Forward closed progress: 359047
Forward closed progress: 355188
Forward closed progress: 355166
Forward closed progress: 355206
Forward closed progress: 355204
Forward closed progress: 354693
Forward closed progress: 353521
Forward closed progress: 353017
Forward closed progress: 352151
Forward closed progress: 354822
Forward closed progress: 352696
Forward closed progress: 353339
Forward closed progress: 348251
Forward closed progress: 343081
Forward closed progress: 344894
Forward closed progress: 344893
Forward closed progress: 345903
Forward closed progress: 333662
Forward closed progress: 333418
Forward closed progress: 333442
Forward closed progress: 333325
Forward closed progress: 333316
Forward closed progress: 333316
Forward closed progress: 333296
Forward closed progress: 333284
Forward closed progress: 333234
Forward closed progress: 333277
Forward closed progress: 335885
Forward closed progress: 335775
Forward closed progress: 335734
Forward closed progress: 335703
Forward closed progress: 324449
Forward closed progress: 324912
Forward closed progress: 324605
Forward closed progress: 324586
Forward closed progress: 324777
Forward closed progress: 299562
Forward closed progress: 300162
Forward closed progress: 299643
Forward closed progress: 299548
Forward closed progress: 299450
Forward closed progress: 313514
Forward closed progress: 312918
Forward closed progress: 312787
Forward closed progress: 312168
Forward closed progress: 310218
Forward closed progress: 310299
Forward closed progress: 308316
Forward closed progress: 307611
Forward closed progress: 308729
Forward closed progress: 308588
Forward closed progress: 308153
Forward closed progress: 308163
Forward closed progress: 307524
Forward closed progress: 307342
Forward closed progress: 307052
Forward closed progress: 296952
Forward closed progress: 295990
Forward closed progress: 296354
Forward closed progress: 296160
Forward closed progress: 287935
Forward closed progress: 287988
Forward closed progress: 287989
Forward closed progress: 288032
Forward closed progress: 290959
Forward closed progress: 290883
Forward closed progress: 290901
Forward closed progress: 291513
Forward closed progress: 292822
Forward closed progress: 292795
Forward closed progress: 292803
Forward closed progress: 292810
Forward closed progress: 292804
Forward closed progress: 292797
Forward closed progress: 292789
Forward closed progress: 293333
Forward closed progress: 297869
Forward closed progress: 297729
Forward closed progress: 297731
Forward closed progress: 297328
Forward closed progress: 297343
Forward closed progress: 297324
Forward closed progress: 297330
Forward closed progress: 297315
Forward closed progress: 297310
Forward closed progress: 297278
Forward closed progress: 297276
Forward closed progress: 297904
Forward closed progress: 297590
Forward closed progress: 297392
Forward closed progress: 297416
Forward closed progress: 297239
Forward closed progress: 297277
Forward closed progress: 297322
Forward closed progress: 297942
Forward closed progress: 297241
Forward closed progress: 297069
Forward closed progress: 296915
Forward closed progress: 296915
Forward closed progress: 296811
Forward closed progress: 296788
Forward closed progress: 291606
Forward closed progress: 290014
Forward closed progress: 289861
Forward closed progress: 591325
Forward closed progress: 591325
Forward closed progress: 586276
Forward closed progress: 569599
Forward closed progress: 587850
Forward closed progress: 587808
Forward closed progress: 610084
Forward closed progress: 578054
Forward closed progress: 574914
Forward closed progress: 574763
Forward closed progress: 609853
Forward closed progress: 620490
Forward closed progress: 590555
Forward closed progress: 740050
Forward closed progress: 740060
Forward closed progress: 740050
Forward closed progress: 739487
Forward closed progress: 728999
Forward closed progress: 720340
Forward closed progress: 720445
Forward closed progress: 720490
Forward closed progress: 720580
Forward closed progress: 720571
Forward closed progress: 720566
Forward closed progress: 719828
Forward closed progress: 717760
Forward closed progress: 717770
Forward closed progress: 715959
Forward closed progress: 713076
Forward closed progress: 712867
Forward closed progress: 712909
Forward closed progress: 713470
Forward closed progress: 704694
Forward closed progress: 704322
Forward closed progress: 680877
Forward closed progress: 623611
Forward closed progress: 590625
Forward closed progress: 591574
Forward closed progress: 591198
Forward closed progress: 587536
Forward closed progress: 587529
Forward closed progress: 586762
Forward closed progress: 586713
Forward closed progress: 581807
Forward closed progress: 581998
Forward closed progress: 581322
Forward closed progress: 581330
Forward closed progress: 580295
Forward closed progress: 580288
Forward closed progress: 577599
Forward closed progress: 577450
Forward closed progress: 554589
Forward closed progress: 556576
Forward closed progress: 557000
Forward closed progress: 546036
Forward closed progress: 545596
Forward closed progress: 545580
Forward closed progress: 543061
Forward closed progress: 542819
Forward closed progress: 521509
Forward closed progress: 520403
Forward closed progress: 525518
Forward closed progress: 524837
Forward closed progress: 522952
Forward closed progress: 520649
Forward closed progress: 518431
Forward closed progress: 481547
Forward closed progress: 447919
Forward closed progress: 453552
Forward closed progress: 453565
Forward closed progress: 453570
Forward closed progress: 453569
Forward closed progress: 453566
Forward closed progress: 453563
Forward closed progress: 453473
Forward closed progress: 451883
Forward closed progress: 451881
Forward closed progress: 450018
Forward closed progress: 449280
Forward closed progress: 447811
Forward closed progress: 446517
Forward closed progress: 441367
Forward closed progress: 445445
Forward closed progress: 445450
Forward closed progress: 445450
Forward closed progress: 445447
Forward closed progress: 445392
Forward closed progress: 444401
Forward closed progress: 443303
Forward closed progress: 443303
Forward closed progress: 442282
Forward closed progress: 442282
Forward closed progress: 442037
Forward closed progress: 441709
Forward closed progress: 437019
Forward closed progress: 417038
Forward closed progress: 417842
Forward closed progress: 417880
Forward closed progress: 417835
Forward closed progress: 417887
Forward closed progress: 418133
Forward closed progress: 418104
Forward closed progress: 418064
Forward closed progress: 418258
Forward closed progress: 418285
Forward closed progress: 418343
Forward closed progress: 418292
Forward closed progress: 418261
Forward closed progress: 412370
Forward closed progress: 413142
Forward closed progress: 413139
Forward closed progress: 413137
Forward closed progress: 413135
Forward closed progress: 413122
Forward closed progress: 413148
Forward closed progress: 413145
Forward closed progress: 412903
Forward closed progress: 412701
Forward closed progress: 412460
Forward closed progress: 412622
Forward closed progress: 411878
Forward closed progress: 411283
Forward closed progress: 413652
Forward closed progress: 414035
Forward closed progress: 414037
Forward closed progress: 414036
Forward closed progress: 413986
Forward closed progress: 413997
Forward closed progress: 413986
Forward closed progress: 414004
Forward closed progress: 413967
Forward closed progress: 413304
Forward closed progress: 414870
Forward closed progress: 417750
Forward closed progress: 417330
Forward closed progress: 417328
Forward closed progress: 415884
Forward closed progress: 415841
Forward closed progress: 414311
Forward closed progress: 411479
Forward closed progress: 411315
Forward closed progress: 411769
Forward closed progress: 411746
Forward closed progress: 411754
Forward closed progress: 411218
Forward closed progress: 410453
Forward closed progress: 413501
Forward closed progress: 414325
Forward closed progress: 413983
Forward closed progress: 414082
Forward closed progress: 414596
Forward closed progress: 412177
Forward closed progress: 411795
Forward closed progress: 411901
Forward closed progress: 411534
Forward closed progress: 630653
Forward closed progress: 629190
Forward closed progress: 579568
Forward closed progress: 565702
Forward closed progress: 565697
Forward closed progress: 563662
Forward closed progress: 617692
Forward closed progress: 612483
Forward closed progress: 632763
Forward closed progress: 633427
Forward closed progress: 633450
Forward closed progress: 633456
Forward closed progress: 633455
Forward closed progress: 633452
Forward closed progress: 633727
Forward closed progress: 633725
Forward closed progress: 633418
Forward closed progress: 633107
Forward closed progress: 632689
Forward closed progress: 632679
Forward closed progress: 632179
Forward closed progress: 632030
Forward closed progress: 626800
Forward closed progress: 489104
Forward closed progress: 489588
Forward closed progress: 469535
Forward closed progress: 465915
Forward closed progress: 462962
Forward closed progress: 470793
Forward closed progress: 471476
Forward closed progress: 471482
Forward closed progress: 471470
Forward closed progress: 471473
Forward closed progress: 471462
Forward closed progress: 470975
Forward closed progress: 470996
Forward closed progress: 471284
Forward closed progress: 467862
Forward closed progress: 467831
Forward closed progress: 466989
Forward closed progress: 466588
Forward closed progress: 466594
Forward closed progress: 466589
Forward closed progress: 466592
Forward closed progress: 466128
Forward closed progress: 465054
Forward closed progress: 463443
Forward closed progress: 429312
Forward closed progress: 437281
Forward closed progress: 439457
Forward closed progress: 438240
Forward closed progress: 428481
Forward closed progress: 416887
Forward closed progress: 425521
Forward closed progress: 425032
Forward closed progress: 423326
Forward closed progress: 424171
Forward closed progress: 423478
Forward closed progress: 420967
Forward closed progress: 420840
Forward closed progress: 416867
Forward closed progress: 415436
Forward closed progress: 415292
Forward closed progress: 415161
Forward closed progress: 414970
Forward closed progress: 414574
Forward closed progress: 414370
Forward closed progress: 403433
Forward closed progress: 403290
Forward closed progress: 403290
Control exists for 14896 color(s), jumping through 262103040 vertices.
Elapsed: 604788 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 604.788
user ??
sys ??
