>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 27993600
Perturbation colors: 9007199254740992
All colors: 252143933057517430000000
Unknown update functions: 10
Lowest cardinality: 0
Highest cardinality: 3
Backward progress: 111350
Backward progress: 111561
Backward progress: 110792
Backward progress: 102321
Backward progress: 113835
Backward progress: 104856
Backward progress: 105761
Backward progress: 105399
Backward progress: 109196
Backward progress: 106149
Backward progress: 106000
Backward progress: 106432
Backward progress: 105670
Backward progress: 105455
Backward progress: 118300
Backward progress: 100524
Backward progress: 100527
Backward progress: 100520
Backward progress: 100373
Backward progress: 100320
Backward progress: 100066
Backward progress: 100600
Backward progress: 109802
Backward progress: 108646
Backward progress: 108274
Backward progress: 119337
Backward progress: 114389
Backward progress: 114374
Backward progress: 114651
Backward progress: 114520
Backward progress: 118435
Backward progress: 121091
Backward progress: 124353
Backward progress: 124968
Backward progress: 124880
Backward progress: 124992
Backward progress: 124914
Backward progress: 123975
Backward progress: 123425
Backward progress: 123184
Backward progress: 124579
Backward progress: 124607
Backward progress: 124379
Backward progress: 124338
Backward progress: 127441
Backward progress: 126768
Backward progress: 125281
Backward progress: 125388
Backward progress: 125548
Backward progress: 122125
Backward progress: 123798
Backward progress: 123669
Backward progress: 124617
Backward progress: 124360
Backward progress: 124303
Backward progress: 125277
Backward progress: 125244
Backward progress: 125276
Backward progress: 125156
Backward progress: 133415
Backward progress: 132782
Backward progress: 131909
Backward progress: 131681
Backward progress: 131266
Backward progress: 152784
Backward progress: 155415
Backward progress: 156508
Backward progress: 156260
Backward progress: 153258
Backward progress: 151853
Backward progress: 152075
Backward progress: 152499
Backward progress: 151758
Backward progress: 151285
Backward progress: 168105
Backward progress: 158563
Backward progress: 159876
Backward progress: 159038
Backward progress: 180399
Backward progress: 155031
Backward progress: 164067
Backward progress: 163690
Backward progress: 155538
Backward progress: 155176
Backward progress: 155192
Backward progress: 158761
Backward progress: 151534
Backward progress: 151640
Backward progress: 151645
Backward progress: 151134
Backward progress: 151040
Backward progress: 150791
Backward progress: 148512
Backward progress: 146766
Backward progress: 185173
Backward progress: 189818
Backward progress: 172058
Backward progress: 164069
Backward progress: 164087
Backward progress: 162637
Backward progress: 155942
Backward progress: 156034
Backward progress: 155765
Backward progress: 156229
Backward progress: 153802
Backward progress: 154094
Backward progress: 151968
Backward progress: 152823
Backward progress: 152727
Backward progress: 154284
Backward progress: 154320
Backward progress: 154397
Backward progress: 153648
Backward progress: 152128
Backward progress: 153014
Backward progress: 151663
Backward progress: 152061
Backward progress: 150017
Backward progress: 151018
Backward progress: 149937
Backward progress: 150792
Backward progress: 150814
Backward progress: 150817
Backward progress: 150988
Backward progress: 150907
Backward progress: 147797
Backward progress: 148015
Backward progress: 148021
Backward progress: 147522
Backward progress: 147243
Backward progress: 147217
Backward progress: 147391
Backward progress: 147140
Backward progress: 146566
Backward progress: 150398
Backward progress: 142368
Backward progress: 148664
Backward progress: 122818
Backward progress: 120083
Backward progress: 129332
Backward progress: 124964
Backward progress: 125290
Backward progress: 123737
Backward progress: 123583
Backward progress: 124775
Backward progress: 116806
Backward progress: 105787
Backward progress: 106202
Backward progress: 107851
Backward progress: 105582
Backward progress: 105181
Backward progress: 104627
Backward progress: 104580
Backward progress: 103844
Backward progress: 103943
Backward progress: 103179
Backward progress: 102662
Backward progress: 103166
Backward progress: 102463
Backward progress: 104547
Backward progress: 124593
Backward progress: 122731
Backward progress: 122738
Backward progress: 121431
Backward progress: 120837
Backward progress: 119953
Backward progress: 138471
Backward progress: 144988
Backward progress: 143805
Backward progress: 143062
Backward progress: 161265
Backward progress: 161098
Backward progress: 159699
Backward progress: 177303
Backward progress: 177310
Backward progress: 175372
Backward progress: 174268
Backward progress: 173811
Backward progress: 247202
Backward progress: 297870
Backward progress: 302022
Backward progress: 302063
Backward progress: 278172
Backward progress: 277896
Backward progress: 280555
Backward progress: 271535
Backward progress: 239136
Backward progress: 236278
Backward progress: 235217
Backward progress: 234401
Backward progress: 240754
Backward progress: 240239
Backward progress: 242096
Backward progress: 241412
Backward progress: 250444
Backward progress: 252292
Backward progress: 222565
Backward progress: 224106
Backward progress: 218306
Backward progress: 215833
Backward progress: 215839
Backward progress: 214843
Backward progress: 214686
Backward progress: 214137
Backward progress: 215710
Backward progress: 203049
Backward progress: 195612
Backward progress: 192457
Backward progress: 196259
Backward progress: 180174
Backward progress: 178994
Backward progress: 185400
Backward progress: 182964
Backward progress: 182690
Backward progress: 181556
Backward progress: 180946
Backward progress: 171036
Backward progress: 161947
Backward progress: 161985
Backward progress: 160482
Backward progress: 156302
Backward progress: 156305
Backward progress: 146311
Backward progress: 154561
Backward progress: 109789
Backward progress: 109692
Backward progress: 106052
Backward progress: 106061
Backward progress: 106637
Backward progress: 108240
Backward progress: 127987
Backward progress: 161127
Backward progress: 214785
Backward progress: 211708
Backward progress: 207684
Backward progress: 207704
Backward progress: 207628
Backward progress: 205536
Backward progress: 205747
Backward progress: 159159
Backward progress: 153629
Backward progress: 152319
Backward progress: 147050
Backward progress: 147164
Backward progress: 136315
Backward progress: 128165
Backward progress: 126218
Backward progress: 125924
Backward progress: 132119
Backward progress: 132937
Backward progress: 136612
Backward progress: 137941
Backward progress: 139157
Backward progress: 139193
Backward progress: 139166
Backward progress: 137339
Backward progress: 137380
Backward progress: 130965
Backward progress: 127463
Backward progress: 125860
Backward progress: 123857
Backward progress: 124071
Backward progress: 123707
Backward progress: 122379
Backward progress: 122685
Backward progress: 119999
Backward progress: 118086
Backward progress: 124330
Backward progress: 124272
Backward progress: 123444
Backward progress: 103919
Attractor colors: 2496795633414203000000
Attractor colors computed in 330855 ms.
Backward progress: 124840
Backward progress: 123607
Backward progress: 123326
Backward progress: 115090
Backward progress: 107768
Backward progress: 107624
Backward progress: 108074
Backward progress: 111232
Backward progress: 111074
Backward progress: 113307
Backward progress: 152869
Backward progress: 153255
Backward progress: 129444
Backward progress: 129608
Backward progress: 139746
Backward progress: 139756
Backward progress: 138634
Backward progress: 138323
Backward progress: 137946
Backward progress: 127677
Backward progress: 122335
Backward progress: 121538
Backward progress: 116576
Backward progress: 120926
Backward progress: 121016
Backward progress: 144570
Backward progress: 141838
Backward progress: 142938
Backward progress: 153455
Backward progress: 142274
Backward progress: 142640
Backward progress: 143328
Backward progress: 143322
Backward progress: 149216
Backward progress: 152933
Backward progress: 159556
Backward progress: 161429
Backward progress: 161350
Backward progress: 161357
Backward progress: 161292
Backward progress: 161293
Backward progress: 160935
Backward progress: 169683
Backward progress: 171946
Backward progress: 172221
Backward progress: 184234
Backward progress: 177531
Backward progress: 170062
Backward progress: 170734
Backward progress: 170839
Backward progress: 170849
Backward progress: 183183
Backward progress: 186300
Backward progress: 183410
Backward progress: 183483
Backward progress: 183478
Backward progress: 183480
Backward progress: 182781
Backward progress: 186100
Backward progress: 186701
Backward progress: 186665
Backward progress: 186617
Backward progress: 186146
Backward progress: 185568
Backward progress: 185384
Backward progress: 181843
Backward progress: 182215
Backward progress: 183181
Backward progress: 183145
Backward progress: 183151
Backward progress: 182911
Backward progress: 201262
Backward progress: 201119
Backward progress: 199354
Backward progress: 200340
Backward progress: 201779
Backward progress: 251393
Backward progress: 271007
Backward progress: 272473
Backward progress: 272423
Backward progress: 256994
Backward progress: 272725
Backward progress: 284944
Backward progress: 288427
Backward progress: 279033
Backward progress: 274091
Backward progress: 306539
Backward progress: 273782
Backward progress: 277559
Backward progress: 277577
Backward progress: 275099
Backward progress: 275336
Backward progress: 291787
Backward progress: 287203
Backward progress: 353624
Backward progress: 354074
Backward progress: 343003
Backward progress: 340042
Backward progress: 334433
Backward progress: 387804
Backward progress: 387123
Backward progress: 380393
Backward progress: 379380
Backward progress: 377754
Backward progress: 377377
Backward progress: 338054
Backward progress: 341142
Backward progress: 304308
Backward progress: 305724
Backward progress: 305742
Backward progress: 304540
Backward progress: 302733
Backward progress: 289133
Backward progress: 300916
Backward progress: 301112
Backward progress: 305859
Backward progress: 305570
Backward progress: 307260
Backward progress: 301249
Backward progress: 431813
Backward progress: 445168
Backward progress: 389016
Backward progress: 372318
Backward progress: 372404
Backward progress: 366672
Backward progress: 349639
Backward progress: 350852
Backward progress: 350731
Backward progress: 352783
Backward progress: 352444
Backward progress: 358224
Backward progress: 357069
Backward progress: 367022
Backward progress: 365260
Backward progress: 391820
Backward progress: 391820
Backward progress: 393199
Backward progress: 383244
Backward progress: 367157
Backward progress: 376769
Backward progress: 362863
Backward progress: 360389
Backward progress: 341907
Backward progress: 353502
Backward progress: 353514
Backward progress: 352163
Backward progress: 351885
Backward progress: 351611
Backward progress: 341781
Backward progress: 340239
Backward progress: 342259
Backward progress: 339651
Backward progress: 345330
Backward progress: 345562
Backward progress: 345788
Backward progress: 346995
Backward progress: 346934
Backward progress: 339879
Backward progress: 343907
Backward progress: 340879
Backward progress: 335388
Backward progress: 335460
Backward progress: 334560
Backward progress: 334684
Backward progress: 334418
Backward progress: 332954
Backward progress: 332768
Backward progress: 339364
Backward progress: 329917
Backward progress: 334499
Backward progress: 325293
Backward progress: 306801
Backward progress: 303885
Backward progress: 314605
Backward progress: 314613
Backward progress: 312675
Backward progress: 303023
Backward progress: 300738
Backward progress: 442472
Backward progress: 427909
Backward progress: 430173
Backward progress: 413851
Backward progress: 409839
Backward progress: 401665
Backward progress: 481635
Backward progress: 475466
Backward progress: 460877
Backward progress: 458223
Backward progress: 444517
Backward progress: 443258
Backward progress: 443999
Backward progress: 417234
Backward progress: 427857
Backward progress: 405571
Backward progress: 406747
Backward progress: 406765
Backward progress: 405595
Backward progress: 404094
Backward progress: 412569
Backward progress: 412049
Backward progress: 416073
Backward progress: 404961
Backward progress: 406685
Backward progress: 405394
Backward progress: 406444
Backward progress: 406335
Backward progress: 407207
Backward progress: 406557
Backward progress: 409844
Backward progress: 406376
Backward progress: 388972
Backward progress: 396768
Backward progress: 393702
Backward progress: 398579
Backward progress: 394902
Backward progress: 395477
Backward progress: 391195
Backward progress: 453039
Backward progress: 479587
Backward progress: 425708
Backward progress: 472376
Backward progress: 407762
Backward progress: 399864
Backward progress: 415428
Backward progress: 405623
Backward progress: 387716
Backward progress: 408744
Backward progress: 401618
Backward progress: 413103
Backward progress: 406780
Backward progress: 408212
Backward progress: 411240
Backward progress: 411806
Backward progress: 412317
Backward progress: 412013
Backward progress: 416045
Backward progress: 416163
Backward progress: 419215
Backward progress: 419217
Backward progress: 418718
Backward progress: 419242
Backward progress: 419109
Backward progress: 423644
Backward progress: 404865
Backward progress: 415551
Backward progress: 415603
Backward progress: 416857
Backward progress: 416828
Backward progress: 416671
Backward progress: 417079
Backward progress: 417081
Backward progress: 416858
Backward progress: 416820
Backward progress: 416768
Backward progress: 417503
Backward progress: 427026
Backward progress: 426630
Backward progress: 430415
Backward progress: 428251
Backward progress: 427747
Backward progress: 427831
Backward progress: 425795
Backward progress: 425822
Backward progress: 425824
Backward progress: 425713
Backward progress: 425431
Backward progress: 424524
Backward progress: 424247
Backward progress: 423557
Backward progress: 424851
Backward progress: 430465
Backward progress: 431283
Backward progress: 430463
Backward progress: 155948
Backward progress: 135368
Backward progress: 191913
Backward progress: 145361
Backward progress: 146963
Backward progress: 147067
Backward progress: 146917
Backward progress: 127609
Backward progress: 134478
Backward progress: 137533
Backward progress: 138587
Backward progress: 139435
Backward progress: 154687
Backward progress: 152957
Backward progress: 150782
Backward progress: 166848
Backward progress: 166753
Backward progress: 239163
Backward progress: 238058
Backward progress: 239811
Backward progress: 239252
Backward progress: 190501
Backward progress: 201090
Backward progress: 190929
Backward progress: 216691
Backward progress: 185609
Backward progress: 198462
Backward progress: 198468
Backward progress: 196879
Backward progress: 196444
Backward progress: 195905
Backward progress: 183235
Backward progress: 181160
Backward progress: 181139
Backward progress: 181139
Backward progress: 169030
Backward progress: 185754
Backward progress: 191452
Backward progress: 177667
Backward progress: 186372
Backward progress: 186378
Backward progress: 184487
Backward progress: 183894
Backward progress: 183263
Backward progress: 177177
Backward progress: 175321
Backward progress: 174030
Backward progress: 175565
Backward progress: 175491
Backward progress: 174352
Backward progress: 171903
Backward progress: 196059
Backward progress: 200043
Backward progress: 217085
Backward progress: 206089
Backward progress: 215295
Backward progress: 206060
Backward progress: 209376
Backward progress: 210022
Backward progress: 210517
Backward progress: 210517
Backward progress: 214652
Backward progress: 214766
Backward progress: 220731
Backward progress: 220733
Backward progress: 219778
Backward progress: 215672
Backward progress: 215431
Backward progress: 228123
Backward progress: 228175
Backward progress: 229441
Backward progress: 229412
Backward progress: 229241
Backward progress: 230000
Backward progress: 230002
Backward progress: 229587
Backward progress: 229464
Backward progress: 229396
Backward progress: 230128
Backward progress: 240001
Backward progress: 239605
Backward progress: 243534
Backward progress: 241704
Backward progress: 240742
Backward progress: 240910
Backward progress: 238902
Backward progress: 238939
Backward progress: 238941
Backward progress: 238738
Backward progress: 238174
Backward progress: 237110
Backward progress: 237141
Backward progress: 237141
Backward progress: 107904
Backward progress: 131423
Backward progress: 131023
Backward progress: 131027
Backward progress: 130168
Backward progress: 129148
Backward progress: 143080
Backward progress: 144800
Backward progress: 144600
Backward progress: 144728
Backward progress: 148139
Backward progress: 148401
Backward progress: 209954
Backward progress: 227506
Backward progress: 212801
Backward progress: 212829
Backward progress: 179941
Backward progress: 191454
Backward progress: 211479
Backward progress: 202958
Backward progress: 208087
Backward progress: 210410
Backward progress: 235974
Backward progress: 253188
Backward progress: 253197
Backward progress: 243534
Backward progress: 240718
Backward progress: 236618
Backward progress: 240725
Backward progress: 209755
Backward progress: 204579
Backward progress: 204124
Backward progress: 197543
Backward progress: 197555
Backward progress: 194045
Backward progress: 193735
Backward progress: 156104
Backward progress: 142496
Backward progress: 137448
Backward progress: 135836
Backward progress: 135461
Backward progress: 127748
Backward progress: 103477
Backward progress: 110697
Backward progress: 119362
Backward progress: 119310
Backward progress: 128396
Backward progress: 126923
Backward progress: 126925
Backward progress: 125549
Backward progress: 127789
Backward progress: 130293
Backward progress: 130369
Backward progress: 130245
Backward progress: 130149
Backward progress: 131927
Backward progress: 131975
Backward progress: 155109
Backward progress: 171149
Backward progress: 164877
Backward progress: 164883
Backward progress: 152935
Backward progress: 162899
Backward progress: 169779
Backward progress: 172863
Backward progress: 173001
Backward progress: 173169
Backward progress: 184931
Backward progress: 185047
Backward progress: 180023
Backward progress: 178575
Backward progress: 176897
Backward progress: 178999
Backward progress: 176343
Backward progress: 174681
Backward progress: 174481
Backward progress: 171329
Backward progress: 171341
Backward progress: 170720
Backward progress: 174288
Backward progress: 149844
Backward progress: 141620
Backward progress: 139397
Backward progress: 139772
Backward progress: 139472
Backward progress: 135573
Backward progress: 132951
Backward progress: 156346
Backward progress: 175512
Backward progress: 173296
Backward progress: 169659
Backward progress: 169700
Backward progress: 169653
Backward progress: 171400
Backward progress: 174148
Backward progress: 174807
Backward progress: 175003
Backward progress: 174855
Backward progress: 174495
Backward progress: 183046
Backward progress: 183429
Backward progress: 183377
Backward progress: 181760
Backward progress: 178505
Backward progress: 180170
Backward progress: 176603
Backward progress: 232323
Backward progress: 228038
Backward progress: 227642
Backward progress: 224262
Backward progress: 224286
Backward progress: 224268
Backward progress: 224316
Backward progress: 225023
Backward progress: 224600
Backward progress: 224648
Backward progress: 224618
Backward progress: 225297
Backward progress: 228397
Backward progress: 224719
Backward progress: 364701
Backward progress: 414540
Backward progress: 496422
Backward progress: 585875
Backward progress: 582894
Backward progress: 581064
Backward progress: 581502
Backward progress: 581376
Backward progress: 581248
Backward progress: 581264
Backward progress: 556029
Backward progress: 579493
Backward progress: 621621
Backward progress: 618417
Backward progress: 619273
Backward progress: 650942
Backward progress: 628203
Backward progress: 638376
Backward progress: 628877
Backward progress: 747033
Backward progress: 767246
Backward progress: 812405
Backward progress: 759883
Backward progress: 750446
Backward progress: 750592
Backward progress: 750555
Backward progress: 730717
Backward progress: 730467
Backward progress: 707418
Backward progress: 687862
Backward progress: 683491
Backward progress: 707257
Backward progress: 742338
Backward progress: 731006
Backward progress: 739686
Backward progress: 739932
Backward progress: 740183
Backward progress: 762821
Backward progress: 755515
Backward progress: 748269
Backward progress: 747496
Backward progress: 787806
Backward progress: 787676
Backward progress: 786991
Backward progress: 787051
Backward progress: 891881
Backward progress: 769813
Backward progress: 768926
Backward progress: 642318
Backward progress: 602511
Backward progress: 585949
Backward progress: 586778
Backward progress: 574399
Backward progress: 595960
Backward progress: 585059
Backward progress: 604985
Backward progress: 573919
Backward progress: 588507
Backward progress: 588515
Backward progress: 587254
Backward progress: 586917
Backward progress: 586535
Backward progress: 571733
Backward progress: 568311
Backward progress: 573660
Backward progress: 572076
Backward progress: 603145
Backward progress: 586229
Backward progress: 586843
Backward progress: 586429
Backward progress: 614302
Backward progress: 618229
Backward progress: 603857
Backward progress: 613078
Backward progress: 613082
Backward progress: 610856
Backward progress: 610489
Backward progress: 610112
Backward progress: 605804
Backward progress: 601385
Backward progress: 602019
Backward progress: 611255
Backward progress: 612624
Backward progress: 609756
Backward progress: 656950
Backward progress: 661780
Backward progress: 689203
Backward progress: 671884
Backward progress: 696755
Backward progress: 685429
Backward progress: 691619
Backward progress: 692149
Backward progress: 692475
Backward progress: 692479
Backward progress: 695594
Backward progress: 695653
Backward progress: 701304
Backward progress: 701306
Backward progress: 700323
Backward progress: 691816
Backward progress: 691623
Backward progress: 705440
Backward progress: 705474
Backward progress: 706168
Backward progress: 706128
Backward progress: 703400
Backward progress: 703648
Backward progress: 703650
Backward progress: 703291
Backward progress: 703061
Backward progress: 703015
Backward progress: 703356
Backward progress: 707592
Backward progress: 707328
Backward progress: 709674
Backward progress: 708560
Backward progress: 707993
Backward progress: 708159
Backward progress: 706919
Backward progress: 706958
Backward progress: 706960
Backward progress: 706785
Backward progress: 706253
Backward progress: 705477
Backward progress: 705494
Backward progress: 735296
Backward progress: 368405
Backward progress: 350095
Backward progress: 316407
Backward progress: 318450
Backward progress: 333447
Backward progress: 332534
Backward progress: 314128
Backward progress: 320271
Backward progress: 313603
Backward progress: 313603
Forward closed progress: 272998
Forward closed progress: 260667
Forward closed progress: 331727
Forward closed progress: 215373
Forward closed progress: 189301
Forward closed progress: 184810
Forward closed progress: 185000
Forward closed progress: 122995
Control exists for 277200 color(s), jumping through 8 vertices.
Elapsed: 1947995 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1947.995
user ??
sys ??
