>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 145152000
Perturbation colors: 9007199254740992
All colors: 1307412986224164500000000
Unknown update functions: 8
Lowest cardinality: 0
Highest cardinality: 4
Attractor colors: 61648154003208870000000
Attractor colors computed in 26213 ms.
Backward progress: 107309
Backward progress: 107811
Backward progress: 105911
Backward progress: 116718
Backward progress: 110869
Backward progress: 112641
Backward progress: 107685
Backward progress: 116194
Backward progress: 111527
Backward progress: 138553
Backward progress: 103767
Backward progress: 112341
Backward progress: 112377
Backward progress: 106766
Backward progress: 106721
Backward progress: 103363
Backward progress: 102984
Backward progress: 104992
Backward progress: 104686
Backward progress: 104742
Backward progress: 101594
Backward progress: 168523
Backward progress: 200435
Backward progress: 124430
Backward progress: 124466
Backward progress: 109221
Backward progress: 109031
Backward progress: 107514
Backward progress: 117003
Backward progress: 116957
Backward progress: 119817
Backward progress: 130757
Backward progress: 131259
Backward progress: 129359
Backward progress: 141035
Backward progress: 135272
Backward progress: 137186
Backward progress: 135800
Backward progress: 130214
Backward progress: 139859
Backward progress: 134056
Backward progress: 170253
Backward progress: 170104
Backward progress: 179802
Backward progress: 181912
Backward progress: 181140
Backward progress: 184964
Backward progress: 184779
Backward progress: 225285
Backward progress: 172817
Backward progress: 186473
Backward progress: 186525
Backward progress: 177183
Backward progress: 177138
Backward progress: 172218
Backward progress: 171620
Backward progress: 195186
Backward progress: 193480
Backward progress: 204414
Backward progress: 201274
Backward progress: 228686
Backward progress: 209490
Backward progress: 210586
Backward progress: 229330
Backward progress: 229297
Backward progress: 235932
Backward progress: 240613
Backward progress: 259083
Backward progress: 264526
Backward progress: 264170
Backward progress: 265107
Backward progress: 264499
Backward progress: 264521
Backward progress: 263892
Backward progress: 264044
Backward progress: 306960
Backward progress: 307920
Backward progress: 309878
Backward progress: 363167
Backward progress: 341022
Backward progress: 362538
Backward progress: 351896
Backward progress: 354896
Backward progress: 319529
Backward progress: 311836
Backward progress: 374421
Backward progress: 381057
Backward progress: 362020
Backward progress: 362056
Backward progress: 362092
Backward progress: 362098
Backward progress: 360877
Backward progress: 363240
Backward progress: 367173
Backward progress: 367029
Backward progress: 367066
Backward progress: 368035
Backward progress: 361186
Backward progress: 361677
Backward progress: 362585
Backward progress: 362534
Backward progress: 362551
Backward progress: 407678
Backward progress: 407366
Backward progress: 397539
Backward progress: 397548
Backward progress: 406270
Backward progress: 406215
Backward progress: 406539
Backward progress: 496613
Backward progress: 515673
Backward progress: 517020
Backward progress: 517042
Backward progress: 508870
Backward progress: 549116
Backward progress: 555467
Backward progress: 579337
Backward progress: 577179
Backward progress: 575992
Backward progress: 595409
Backward progress: 555392
Backward progress: 564831
Backward progress: 564881
Backward progress: 555524
Backward progress: 555428
Backward progress: 541349
Backward progress: 537486
Backward progress: 679250
Backward progress: 679866
Backward progress: 619145
Backward progress: 612169
Backward progress: 671431
Backward progress: 671053
Backward progress: 644621
Backward progress: 639521
Backward progress: 639391
Backward progress: 631803
Backward progress: 622804
Backward progress: 620172
Backward progress: 618778
Backward progress: 619060
Backward progress: 613274
Backward progress: 607890
Backward progress: 585288
Backward progress: 600276
Backward progress: 600346
Backward progress: 585580
Backward progress: 573366
Backward progress: 562268
Backward progress: 579942
Backward progress: 580080
Backward progress: 582345
Backward progress: 581914
Backward progress: 581960
Backward progress: 573580
Backward progress: 938036
Backward progress: 973303
Backward progress: 841577
Backward progress: 820790
Backward progress: 821261
Backward progress: 809533
Backward progress: 774907
Backward progress: 775861
Backward progress: 772520
Backward progress: 806972
Backward progress: 801522
Backward progress: 843750
Backward progress: 829478
Backward progress: 818080
Backward progress: 825167
Backward progress: 863050
Backward progress: 864438
Backward progress: 819314
Backward progress: 837971
Backward progress: 802158
Backward progress: 820624
Backward progress: 827212
Backward progress: 809220
Backward progress: 823802
Backward progress: 757218
Backward progress: 774641
Backward progress: 774733
Backward progress: 762868
Backward progress: 762708
Backward progress: 757104
Backward progress: 743053
Backward progress: 725457
Backward progress: 740369
Backward progress: 738629
Backward progress: 739254
Backward progress: 757533
Backward progress: 757133
Backward progress: 695942
Backward progress: 727066
Backward progress: 696086
Backward progress: 683303
Backward progress: 683329
Backward progress: 678580
Backward progress: 679770
Backward progress: 675240
Backward progress: 671282
Backward progress: 665718
Backward progress: 642208
Backward progress: 644232
Backward progress: 634303
Backward progress: 600443
Backward progress: 591144
Backward progress: 607743
Backward progress: 607923
Backward progress: 593808
Backward progress: 592419
Backward progress: 590899
Backward progress: 572441
Backward progress: 1596320
Backward progress: 1388002
Backward progress: 1400196
Backward progress: 1006379
Backward progress: 909705
Backward progress: 1181293
Backward progress: 1181637
Backward progress: 1056119
Backward progress: 1043189
Backward progress: 1042959
Backward progress: 996561
Backward progress: 953467
Backward progress: 945583
Backward progress: 941517
Backward progress: 941862
Backward progress: 925022
Backward progress: 858445
Backward progress: 853530
Backward progress: 849283
Backward progress: 839513
Backward progress: 845073
Backward progress: 845313
Backward progress: 841960
Backward progress: 841560
Backward progress: 843513
Backward progress: 845467
Backward progress: 844639
Backward progress: 843807
Backward progress: 841487
Backward progress: 841384
Backward progress: 777135
Backward progress: 994978
Backward progress: 863529
Backward progress: 854438
Backward progress: 854258
Backward progress: 843218
Backward progress: 834800
Backward progress: 929103
Backward progress: 927704
Backward progress: 838418
Backward progress: 834195
Backward progress: 714755
Backward progress: 707290
Backward progress: 711683
Backward progress: 689716
Backward progress: 694737
Backward progress: 692141
Backward progress: 683955
Backward progress: 682993
Backward progress: 713832
Backward progress: 710398
Backward progress: 734016
Backward progress: 718386
Backward progress: 720833
Backward progress: 730511
Backward progress: 730871
Backward progress: 734132
Backward progress: 732499
Backward progress: 737605
Backward progress: 742172
Backward progress: 742182
Backward progress: 740990
Backward progress: 739329
Backward progress: 742694
Backward progress: 679645
Backward progress: 689476
Backward progress: 689516
Backward progress: 689731
Backward progress: 689681
Backward progress: 689993
Backward progress: 690013
Backward progress: 691242
Backward progress: 691252
Backward progress: 690616
Backward progress: 689632
Backward progress: 689743
Backward progress: 719410
Backward progress: 719420
Backward progress: 718638
Backward progress: 718663
Backward progress: 715221
Backward progress: 712386
Backward progress: 736172
Backward progress: 815536
Backward progress: 817842
Backward progress: 327420
Backward progress: 259129
Backward progress: 157028
Backward progress: 157089
Backward progress: 157062
Backward progress: 160500
Backward progress: 163203
Backward progress: 164271
Backward progress: 192182
Backward progress: 197190
Backward progress: 241664
Backward progress: 243524
Backward progress: 243303
Backward progress: 254711
Backward progress: 283160
Backward progress: 283874
Backward progress: 276944
Backward progress: 306592
Backward progress: 288469
Backward progress: 291235
Backward progress: 284859
Backward progress: 302626
Backward progress: 292348
Backward progress: 352198
Backward progress: 272236
Backward progress: 289922
Backward progress: 289958
Backward progress: 278521
Backward progress: 278476
Backward progress: 271442
Backward progress: 270801
Backward progress: 267835
Backward progress: 267223
Backward progress: 267279
Backward progress: 263763
Backward progress: 274663
Backward progress: 250089
Backward progress: 251365
Backward progress: 262861
Backward progress: 262863
Backward progress: 260367
Backward progress: 277746
Backward progress: 275730
Backward progress: 279718
Backward progress: 279798
Backward progress: 279774
Backward progress: 280190
Backward progress: 280146
Backward progress: 280134
Backward progress: 275501
Backward progress: 274485
Backward progress: 277509
Backward progress: 273108
Backward progress: 264862
Backward progress: 258398
Backward progress: 264760
Backward progress: 264776
Backward progress: 260762
Backward progress: 258074
Backward progress: 254784
Backward progress: 461185
Backward progress: 516161
Backward progress: 287866
Backward progress: 356497
Backward progress: 356549
Backward progress: 314156
Backward progress: 309918
Backward progress: 287578
Backward progress: 246008
Backward progress: 236238
Backward progress: 243931
Backward progress: 244491
Backward progress: 234647
Backward progress: 208402
Backward progress: 197712
Backward progress: 173459
Backward progress: 173163
Backward progress: 176511
Backward progress: 173163
Backward progress: 178959
Backward progress: 150519
Backward progress: 159867
Backward progress: 160297
Backward progress: 163438
Backward progress: 163438
Backward progress: 169123
Backward progress: 178019
Backward progress: 178029
Backward progress: 175750
Backward progress: 172448
Backward progress: 183232
Backward progress: 183272
Backward progress: 183497
Backward progress: 183437
Backward progress: 183749
Backward progress: 183759
Backward progress: 186102
Backward progress: 186112
Backward progress: 184925
Backward progress: 182957
Backward progress: 183072
Backward progress: 219552
Backward progress: 219562
Backward progress: 218850
Backward progress: 218900
Backward progress: 218281
Backward progress: 212691
Backward progress: 252888
Backward progress: 252888
Backward progress: 157870
Backward progress: 109557
Backward progress: 110413
Backward progress: 110841
Backward progress: 113874
Backward progress: 110841
Backward progress: 112023
Backward progress: 101584
Backward progress: 101962
Backward progress: 101756
Backward progress: 101053
Backward progress: 101097
Backward progress: 101119
Backward progress: 100359
Backward progress: 100290
Backward progress: 100294
Backward progress: 100145
Forward closed progress: 148909
Forward closed progress: 150786
Forward closed progress: 150796
Forward closed progress: 150916
Forward closed progress: 150956
Forward closed progress: 143455
Forward closed progress: 145099
Forward closed progress: 145169
Forward closed progress: 133261
Forward closed progress: 116778
Forward closed progress: 117645
Forward closed progress: 147423
Forward closed progress: 152486
Forward closed progress: 152490
Forward closed progress: 152494
Forward closed progress: 152494
Forward closed progress: 152494
Forward closed progress: 147558
Forward closed progress: 146786
Forward closed progress: 146788
Forward closed progress: 146788
Forward closed progress: 146788
Forward closed progress: 146788
Forward closed progress: 140400
Forward closed progress: 155370
Forward closed progress: 145018
Forward closed progress: 156946
Forward closed progress: 165620
Forward closed progress: 136656
Forward closed progress: 136928
Forward closed progress: 136960
Forward closed progress: 142758
Forward closed progress: 148605
Forward closed progress: 148814
Forward closed progress: 149461
Forward closed progress: 149525
Forward closed progress: 148292
Forward closed progress: 137937
Forward closed progress: 137295
Forward closed progress: 224888
Forward closed progress: 226106
Forward closed progress: 190196
Forward closed progress: 202229
Forward closed progress: 202303
Forward closed progress: 203413
Forward closed progress: 184441
Forward closed progress: 117071
Forward closed progress: 136624
Forward closed progress: 187314
Forward closed progress: 130901
Forward closed progress: 133111
Forward closed progress: 129879
Forward closed progress: 123812
Forward closed progress: 118241
Forward closed progress: 118269
Forward closed progress: 118283
Forward closed progress: 112951
Forward closed progress: 110245
Forward closed progress: 109309
Forward closed progress: 105966
Forward closed progress: 102988
Forward closed progress: 102557
Forward closed progress: 100933
Forward closed progress: 107051
Forward closed progress: 107069
Forward closed progress: 100979
Forward closed progress: 100753
Forward closed progress: 106605
Forward closed progress: 106854
Forward closed progress: 106810
Forward closed progress: 110986
Forward closed progress: 109456
Forward closed progress: 111718
Forward closed progress: 107814
Forward closed progress: 102489
Forward closed progress: 102563
Forward closed progress: 106922
Forward closed progress: 106707
Forward closed progress: 110845
Forward closed progress: 110537
Forward closed progress: 279144
Forward closed progress: 288139
Forward closed progress: 289637
Forward closed progress: 266969
Forward closed progress: 265971
Forward closed progress: 247349
Forward closed progress: 247435
Forward closed progress: 238958
Forward closed progress: 174936
Forward closed progress: 175176
Forward closed progress: 178045
Forward closed progress: 180776
Forward closed progress: 173445
Forward closed progress: 171992
Forward closed progress: 170926
Forward closed progress: 170940
Forward closed progress: 174365
Forward closed progress: 174537
Forward closed progress: 174580
Forward closed progress: 169112
Forward closed progress: 166183
Forward closed progress: 165053
Forward closed progress: 161739
Forward closed progress: 157256
Forward closed progress: 177687
Forward closed progress: 181499
Forward closed progress: 181551
Forward closed progress: 179485
Forward closed progress: 181783
Forward closed progress: 183827
Forward closed progress: 183834
Forward closed progress: 184212
Forward closed progress: 191933
Forward closed progress: 187297
Forward closed progress: 187633
Forward closed progress: 188263
Forward closed progress: 199715
Forward closed progress: 214188
Forward closed progress: 207805
Forward closed progress: 207777
Forward closed progress: 205288
Forward closed progress: 206208
Forward closed progress: 209799
Forward closed progress: 207827
Forward closed progress: 234795
Forward closed progress: 235143
Forward closed progress: 226257
Forward closed progress: 226431
Forward closed progress: 216385
Forward closed progress: 225619
Forward closed progress: 225735
Forward closed progress: 130147
Forward closed progress: 130087
Forward closed progress: 130507
Forward closed progress: 126182
Forward closed progress: 110247
Forward closed progress: 107259
Forward closed progress: 107257
Forward closed progress: 107307
Forward closed progress: 159287
Forward closed progress: 206075
Forward closed progress: 241529
Forward closed progress: 237950
Forward closed progress: 239095
Forward closed progress: 271635
Forward closed progress: 273955
Forward closed progress: 274527
Forward closed progress: 278815
Forward closed progress: 308913
Forward closed progress: 338094
Forward closed progress: 319525
Forward closed progress: 292791
Forward closed progress: 301081
Forward closed progress: 293199
Forward closed progress: 303589
Forward closed progress: 309055
Forward closed progress: 310773
Forward closed progress: 310777
Forward closed progress: 309307
Forward closed progress: 305744
Forward closed progress: 301220
Forward closed progress: 300578
Forward closed progress: 276071
Forward closed progress: 242446
Forward closed progress: 249061
Forward closed progress: 224082
Forward closed progress: 214497
Forward closed progress: 213173
Forward closed progress: 209713
Forward closed progress: 209083
Forward closed progress: 204113
Forward closed progress: 201473
Forward closed progress: 168944
Forward closed progress: 190666
Forward closed progress: 214621
Forward closed progress: 205597
Forward closed progress: 227881
Forward closed progress: 223513
Forward closed progress: 223974
Forward closed progress: 244490
Forward closed progress: 244904
Forward closed progress: 245456
Forward closed progress: 258759
Forward closed progress: 284377
Forward closed progress: 302859
Forward closed progress: 289799
Forward closed progress: 275655
Forward closed progress: 278665
Forward closed progress: 277602
Forward closed progress: 283017
Forward closed progress: 287666
Forward closed progress: 304022
Forward closed progress: 302922
Forward closed progress: 301492
Forward closed progress: 279579
Forward closed progress: 253873
Forward closed progress: 262522
Forward closed progress: 246220
Forward closed progress: 239496
Forward closed progress: 239510
Forward closed progress: 237383
Forward closed progress: 236963
Forward closed progress: 233061
Forward closed progress: 230421
Forward closed progress: 215884
Forward closed progress: 370964
Forward closed progress: 374352
Forward closed progress: 375474
Forward closed progress: 403135
Forward closed progress: 519463
Forward closed progress: 660064
Forward closed progress: 630652
Forward closed progress: 629451
Forward closed progress: 629485
Forward closed progress: 629493
Forward closed progress: 621325
Forward closed progress: 626901
Forward closed progress: 625749
Forward closed progress: 630537
Forward closed progress: 281970
Forward closed progress: 282290
Forward closed progress: 283923
Forward closed progress: 289846
Forward closed progress: 290182
Forward closed progress: 290038
Forward closed progress: 289894
Forward closed progress: 290046
Forward closed progress: 290332
Forward closed progress: 290675
Forward closed progress: 261741
Forward closed progress: 261084
Forward closed progress: 260791
Forward closed progress: 258472
Forward closed progress: 253671
Forward closed progress: 253626
Forward closed progress: 253690
Forward closed progress: 254304
Forward closed progress: 254024
Forward closed progress: 253738
Forward closed progress: 251810
Forward closed progress: 251834
Forward closed progress: 264797
Forward closed progress: 264897
Forward closed progress: 254794
Forward closed progress: 255843
Forward closed progress: 255968
Forward closed progress: 255963
Forward closed progress: 252386
Forward closed progress: 251568
Forward closed progress: 251473
Forward closed progress: 251479
Forward closed progress: 250923
Forward closed progress: 248603
Forward closed progress: 247273
Forward closed progress: 233168
Forward closed progress: 233232
Forward closed progress: 230760
Forward closed progress: 231823
Forward closed progress: 242246
Forward closed progress: 238592
Forward closed progress: 233899
Forward closed progress: 236818
Forward closed progress: 237117
Forward closed progress: 237169
Forward closed progress: 237179
Forward closed progress: 236851
Forward closed progress: 236706
Forward closed progress: 238129
Forward closed progress: 239098
Forward closed progress: 239104
Forward closed progress: 239162
Forward closed progress: 239172
Forward closed progress: 238008
Forward closed progress: 237145
Forward closed progress: 238152
Forward closed progress: 238355
Forward closed progress: 238377
Forward closed progress: 237032
Forward closed progress: 300764
Forward closed progress: 270314
Forward closed progress: 270814
Forward closed progress: 270528
Forward closed progress: 263378
Forward closed progress: 263790
Forward closed progress: 271047
Forward closed progress: 263032
Forward closed progress: 263016
Forward closed progress: 263505
Forward closed progress: 261283
Forward closed progress: 259829
Forward closed progress: 259857
Forward closed progress: 259871
Forward closed progress: 260997
Forward closed progress: 259788
Forward closed progress: 262248
Forward closed progress: 262232
Forward closed progress: 262280
Forward closed progress: 262228
Forward closed progress: 262234
Forward closed progress: 262122
Forward closed progress: 263220
Forward closed progress: 262122
Forward closed progress: 229957
Forward closed progress: 229961
Forward closed progress: 229961
Forward closed progress: 228631
Forward closed progress: 228687
Forward closed progress: 235444
Forward closed progress: 234831
Forward closed progress: 235953
Forward closed progress: 235973
Forward closed progress: 236477
Forward closed progress: 237001
Forward closed progress: 237867
Forward closed progress: 237773
Forward closed progress: 237755
Forward closed progress: 237709
Forward closed progress: 241588
Forward closed progress: 241519
Forward closed progress: 240974
Forward closed progress: 241986
Forward closed progress: 241658
Forward closed progress: 242330
Forward closed progress: 242338
Forward closed progress: 241534
Forward closed progress: 241890
Forward closed progress: 247494
Forward closed progress: 246134
Forward closed progress: 243075
Forward closed progress: 242871
Forward closed progress: 262651
Forward closed progress: 260207
Forward closed progress: 260231
Forward closed progress: 258709
Forward closed progress: 253529
Forward closed progress: 255805
Forward closed progress: 259554
Forward closed progress: 258128
Forward closed progress: 258098
Forward closed progress: 256800
Forward closed progress: 257324
Forward closed progress: 257290
Forward closed progress: 257258
Forward closed progress: 257230
Forward closed progress: 256940
Forward closed progress: 256624
Forward closed progress: 261352
Forward closed progress: 264068
Forward closed progress: 269052
Forward closed progress: 268076
Forward closed progress: 258231
Forward closed progress: 258027
Forward closed progress: 258027
Control exists for 6844320 color(s), jumping through 6 vertices.
Elapsed: 2434649 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 2434.649
user ??
sys ??
