>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 3657830400
Perturbation colors: 9007199254740992
All colors: 32946807252848945000000000
Unknown update functions: 9
Lowest cardinality: 0
Highest cardinality: 4
Backward progress: 198551
Backward progress: 214920
Backward progress: 155866
Backward progress: 160051
Backward progress: 157149
Backward progress: 152550
Backward progress: 152576
Backward progress: 152482
Backward progress: 124595
Backward progress: 120006
Backward progress: 123627
Backward progress: 119440
Backward progress: 134028
Backward progress: 120016
Backward progress: 123651
Backward progress: 133835
Backward progress: 137746
Backward progress: 138932
Backward progress: 142876
Backward progress: 142826
Backward progress: 148710
Backward progress: 147006
Backward progress: 147010
Backward progress: 143481
Backward progress: 129926
Backward progress: 140701
Backward progress: 132105
Backward progress: 132779
Backward progress: 128163
Backward progress: 126149
Backward progress: 133819
Backward progress: 129391
Backward progress: 125933
Backward progress: 126949
Backward progress: 124672
Backward progress: 138001
Backward progress: 132789
Backward progress: 130350
Backward progress: 133504
Backward progress: 137363
Backward progress: 139373
Backward progress: 142671
Backward progress: 142281
Backward progress: 149888
Backward progress: 150879
Backward progress: 155299
Backward progress: 153563
Backward progress: 153555
Backward progress: 153567
Backward progress: 153559
Backward progress: 153561
Backward progress: 149631
Backward progress: 149630
Backward progress: 150715
Backward progress: 149120
Backward progress: 149624
Backward progress: 152147
Backward progress: 151065
Backward progress: 144112
Backward progress: 150197
Backward progress: 150810
Backward progress: 149832
Backward progress: 149915
Backward progress: 149918
Backward progress: 149919
Backward progress: 148609
Backward progress: 150113
Backward progress: 151477
Backward progress: 148578
Backward progress: 149454
Backward progress: 148851
Backward progress: 148329
Backward progress: 148116
Backward progress: 147620
Backward progress: 148374
Backward progress: 148965
Backward progress: 148451
Backward progress: 148616
Backward progress: 152833
Backward progress: 151370
Backward progress: 149112
Backward progress: 148472
Backward progress: 148157
Backward progress: 157595
Backward progress: 166778
Backward progress: 164530
Backward progress: 164532
Backward progress: 155004
Backward progress: 151727
Backward progress: 151767
Backward progress: 151550
Backward progress: 150289
Backward progress: 148926
Backward progress: 158633
Backward progress: 149438
Backward progress: 152659
Backward progress: 152664
Backward progress: 149542
Backward progress: 147032
Backward progress: 148089
Backward progress: 146952
Backward progress: 143904
Backward progress: 142755
Backward progress: 154746
Backward progress: 154761
Backward progress: 148452
Backward progress: 147133
Backward progress: 147132
Backward progress: 147021
Backward progress: 146771
Backward progress: 145882
Backward progress: 142743
Backward progress: 142670
Backward progress: 142683
Backward progress: 142582
Backward progress: 139595
Backward progress: 138677
Backward progress: 139576
Backward progress: 139581
Backward progress: 138617
Backward progress: 137073
Backward progress: 137419
Backward progress: 136733
Backward progress: 138765
Backward progress: 136685
Backward progress: 136933
Backward progress: 137865
Backward progress: 138725
Backward progress: 137189
Backward progress: 136679
Backward progress: 135997
Backward progress: 134983
Backward progress: 187968
Backward progress: 166587
Backward progress: 167959
Backward progress: 147359
Backward progress: 146754
Backward progress: 175370
Backward progress: 175385
Backward progress: 155961
Backward progress: 152726
Backward progress: 152725
Backward progress: 152500
Backward progress: 150660
Backward progress: 148771
Backward progress: 148687
Backward progress: 148708
Backward progress: 148524
Backward progress: 137616
Backward progress: 130577
Backward progress: 101570
Backward progress: 107310
Backward progress: 100315
Backward progress: 114027
Backward progress: 154202
Backward progress: 150827
Backward progress: 150834
Backward progress: 142751
Backward progress: 140326
Backward progress: 140565
Backward progress: 139815
Backward progress: 110572
Backward progress: 109907
Backward progress: 109434
Backward progress: 114506
Backward progress: 113169
Backward progress: 106724
Backward progress: 105917
Backward progress: 100785
Backward progress: 100791
Backward progress: 103700
Backward progress: 139703
Backward progress: 164116
Backward progress: 168186
Backward progress: 160776
Backward progress: 160781
Backward progress: 160772
Backward progress: 133912
Backward progress: 147906
Backward progress: 143753
Backward progress: 137098
Backward progress: 139141
Backward progress: 139510
Backward progress: 139141
Backward progress: 134792
Backward progress: 134804
Backward progress: 117072
Backward progress: 175663
Backward progress: 157013
Backward progress: 157561
Backward progress: 164447
Backward progress: 167869
Backward progress: 168454
Backward progress: 166127
Backward progress: 165530
Backward progress: 172701
Backward progress: 164527
Backward progress: 154264
Backward progress: 161646
Backward progress: 163214
Backward progress: 176211
Backward progress: 192073
Backward progress: 192068
Backward progress: 188316
Backward progress: 184803
Backward progress: 184806
Backward progress: 176522
Backward progress: 176304
Backward progress: 176309
Backward progress: 176322
Backward progress: 200696
Backward progress: 200519
Backward progress: 209160
Backward progress: 214399
Backward progress: 217419
Backward progress: 217425
Backward progress: 206268
Backward progress: 204650
Backward progress: 193727
Backward progress: 189827
Backward progress: 181822
Backward progress: 241763
Backward progress: 261888
Backward progress: 258135
Backward progress: 261415
Backward progress: 258749
Backward progress: 258765
Backward progress: 243623
Backward progress: 246296
Backward progress: 246949
Backward progress: 246698
Backward progress: 257588
Backward progress: 258122
Backward progress: 254368
Backward progress: 253875
Backward progress: 253635
Backward progress: 260048
Backward progress: 260348
Backward progress: 259436
Backward progress: 325512
Backward progress: 324824
Backward progress: 281941
Backward progress: 280745
Backward progress: 280526
Backward progress: 280633
Backward progress: 292839
Backward progress: 302667
Backward progress: 292640
Backward progress: 292360
Backward progress: 158981
Backward progress: 158266
Backward progress: 158329
Backward progress: 158392
Backward progress: 153324
Backward progress: 149725
Backward progress: 145319
Backward progress: 161569
Backward progress: 155829
Backward progress: 156768
Backward progress: 156778
Backward progress: 156007
Backward progress: 155153
Backward progress: 150915
Backward progress: 150574
Backward progress: 140478
Backward progress: 139754
Backward progress: 142896
Backward progress: 142900
Backward progress: 142653
Backward progress: 142679
Backward progress: 139399
Backward progress: 137359
Backward progress: 135918
Backward progress: 138283
Backward progress: 138293
Backward progress: 135897
Backward progress: 134175
Backward progress: 133090
Backward progress: 134346
Backward progress: 134356
Backward progress: 133315
Backward progress: 132991
Backward progress: 132882
Backward progress: 132874
Backward progress: 136381
Backward progress: 134356
Backward progress: 134249
Backward progress: 134300
Backward progress: 134039
Backward progress: 134606
Backward progress: 138770
Backward progress: 140844
Backward progress: 149189
Backward progress: 156431
Backward progress: 162366
Backward progress: 160839
Backward progress: 160361
Backward progress: 160363
Backward progress: 154637
Backward progress: 154638
Backward progress: 154353
Backward progress: 154623
Backward progress: 154321
Backward progress: 154323
Backward progress: 154510
Backward progress: 154609
Backward progress: 146415
Backward progress: 149474
Backward progress: 149151
Backward progress: 149473
Backward progress: 151299
Backward progress: 153815
Backward progress: 153818
Backward progress: 152669
Backward progress: 158138
Backward progress: 159984
Backward progress: 159288
Backward progress: 159290
Backward progress: 156044
Backward progress: 155702
Backward progress: 155766
Backward progress: 155434
Backward progress: 157292
Backward progress: 153188
Backward progress: 151192
Backward progress: 151023
Backward progress: 150486
Backward progress: 150636
Backward progress: 150636
Backward progress: 156632
Backward progress: 163976
Backward progress: 152037
Backward progress: 149289
Backward progress: 129145
Backward progress: 128523
Backward progress: 121415
Backward progress: 121424
Backward progress: 120093
Backward progress: 119900
Backward progress: 115877
Backward progress: 115774
Backward progress: 111142
Backward progress: 109304
Backward progress: 101651
Backward progress: 104919
Backward progress: 101467
Backward progress: 101602
Backward progress: 101896
Backward progress: 101600
Backward progress: 101606
Backward progress: 101708
Backward progress: 101525
Backward progress: 100333
Backward progress: 102149
Backward progress: 102158
Backward progress: 100864
Backward progress: 100659
Backward progress: 100536
Backward progress: 103807
Backward progress: 102284
Backward progress: 121106
Backward progress: 118365
Backward progress: 118373
Backward progress: 111483
Backward progress: 111097
Backward progress: 111422
Backward progress: 111651
Backward progress: 102452
Backward progress: 108274
Backward progress: 105909
Backward progress: 111521
Backward progress: 111537
Backward progress: 111231
Backward progress: 114026
Backward progress: 113664
Backward progress: 113787
Backward progress: 125326
Backward progress: 125950
Backward progress: 127462
Backward progress: 106935
Backward progress: 115634
Backward progress: 114589
Backward progress: 114590
Backward progress: 105586
Backward progress: 116176
Backward progress: 117133
Backward progress: 117779
Backward progress: 118150
Backward progress: 122220
Backward progress: 130670
Backward progress: 131475
Backward progress: 125811
Backward progress: 138895
Backward progress: 138774
Backward progress: 131851
Backward progress: 112054
Backward progress: 100784
Backward progress: 108574
Backward progress: 100506
Backward progress: 103666
Backward progress: 103414
Backward progress: 102723
Backward progress: 103904
Backward progress: 102730
Backward progress: 103070
Backward progress: 102751
Backward progress: 102326
Backward progress: 102645
Backward progress: 102310
Backward progress: 102313
Backward progress: 102361
Backward progress: 102505
Backward progress: 101402
Backward progress: 100700
Backward progress: 101037
Backward progress: 101636
Backward progress: 102444
Backward progress: 102902
Backward progress: 102318
Backward progress: 104639
Backward progress: 101720
Backward progress: 103498
Attractor colors: 990607450580772000000000
Attractor colors computed in 570605 ms.
Backward progress: 132794
Backward progress: 180283
Backward progress: 181045
Backward progress: 180890
Backward progress: 180794
Backward progress: 146967
Backward progress: 161393
Backward progress: 162023
Backward progress: 164578
Backward progress: 163299
Backward progress: 183720
Backward progress: 183808
Backward progress: 184921
Backward progress: 185101
Backward progress: 184991
Backward progress: 183826
Backward progress: 188009
Backward progress: 188234
Backward progress: 173362
Backward progress: 172563
Backward progress: 181916
Backward progress: 181926
Backward progress: 180629
Backward progress: 180612
Backward progress: 180597
Backward progress: 179930
Backward progress: 178035
Backward progress: 173337
Backward progress: 173024
Backward progress: 171468
Backward progress: 167916
Backward progress: 169308
Backward progress: 169353
Backward progress: 171803
Backward progress: 171613
Backward progress: 175729
Backward progress: 176436
Backward progress: 178465
Backward progress: 180355
Backward progress: 181575
Backward progress: 181583
Backward progress: 197401
Backward progress: 209147
Backward progress: 220629
Backward progress: 226672
Backward progress: 226629
Backward progress: 226688
Backward progress: 226657
Backward progress: 226659
Backward progress: 225136
Backward progress: 228474
Backward progress: 228323
Backward progress: 229482
Backward progress: 241263
Backward progress: 230837
Backward progress: 218551
Backward progress: 260941
Backward progress: 272347
Backward progress: 268770
Backward progress: 269085
Backward progress: 269080
Backward progress: 269082
Backward progress: 266598
Backward progress: 284037
Backward progress: 287412
Backward progress: 286929
Backward progress: 288384
Backward progress: 285737
Backward progress: 283317
Backward progress: 282411
Backward progress: 274226
Backward progress: 263489
Backward progress: 268099
Backward progress: 274603
Backward progress: 274589
Backward progress: 274789
Backward progress: 274600
Backward progress: 291037
Backward progress: 290917
Backward progress: 286512
Backward progress: 290642
Backward progress: 291352
Backward progress: 359917
Backward progress: 396219
Backward progress: 396807
Backward progress: 396811
Backward progress: 396619
Backward progress: 433253
Backward progress: 468222
Backward progress: 469887
Backward progress: 469651
Backward progress: 469497
Backward progress: 505560
Backward progress: 477728
Backward progress: 490307
Backward progress: 490325
Backward progress: 477926
Backward progress: 477878
Backward progress: 476435
Backward progress: 475313
Backward progress: 500044
Backward progress: 498334
Backward progress: 476884
Backward progress: 475605
Backward progress: 576817
Backward progress: 575589
Backward progress: 540858
Backward progress: 538073
Backward progress: 533628
Backward progress: 531609
Backward progress: 519697
Backward progress: 477973
Backward progress: 473955
Backward progress: 463203
Backward progress: 466818
Backward progress: 466836
Backward progress: 463083
Backward progress: 459742
Backward progress: 449411
Backward progress: 453151
Backward progress: 453271
Backward progress: 461744
Backward progress: 460896
Backward progress: 461188
Backward progress: 458557
Backward progress: 1427866
Backward progress: 1584481
Backward progress: 1110123
Backward progress: 1145655
Backward progress: 1164370
Backward progress: 1140343
Backward progress: 1140655
Backward progress: 1084309
Backward progress: 862700
Backward progress: 833172
Backward progress: 952561
Backward progress: 811297
Backward progress: 946665
Backward progress: 859961
Backward progress: 892724
Backward progress: 934835
Backward progress: 935547
Backward progress: 948947
Backward progress: 986565
Backward progress: 969581
Backward progress: 1042674
Backward progress: 1019796
Backward progress: 1021888
Backward progress: 990034
Backward progress: 846618
Backward progress: 891317
Backward progress: 850073
Backward progress: 836735
Backward progress: 755327
Backward progress: 744349
Backward progress: 826416
Backward progress: 826456
Backward progress: 810232
Backward progress: 810142
Backward progress: 804498
Backward progress: 799652
Backward progress: 783909
Backward progress: 745381
Backward progress: 731387
Backward progress: 773882
Backward progress: 772222
Backward progress: 850338
Backward progress: 891912
Backward progress: 906254
Backward progress: 921087
Backward progress: 917500
Backward progress: 1074793
Backward progress: 1033385
Backward progress: 1033827
Backward progress: 1048811
Backward progress: 1027226
Backward progress: 997557
Backward progress: 994490
Backward progress: 1000844
Backward progress: 995516
Backward progress: 998844
Backward progress: 994680
Backward progress: 988352
Backward progress: 990864
Backward progress: 932806
Backward progress: 961584
Backward progress: 923301
Backward progress: 849582
Backward progress: 800275
Backward progress: 793715
Backward progress: 900891
Backward progress: 900949
Backward progress: 863916
Backward progress: 863904
Backward progress: 863438
Backward progress: 863225
Backward progress: 848466
Backward progress: 792785
Backward progress: 771195
Backward progress: 1168160
Backward progress: 1142658
Backward progress: 1160464
Backward progress: 1153978
Backward progress: 1151013
Backward progress: 1157944
Backward progress: 1313920
Backward progress: 1314046
Backward progress: 1221179
Backward progress: 1192445
Backward progress: 1184659
Backward progress: 1158947
Backward progress: 1158468
Backward progress: 1103182
Backward progress: 1102974
Backward progress: 1108082
Backward progress: 1088154
Backward progress: 1075824
Backward progress: 1075580
Backward progress: 1077922
Backward progress: 1071964
Backward progress: 1081942
Backward progress: 1081771
Backward progress: 1085178
Backward progress: 1073612
Backward progress: 1057647
Backward progress: 1059814
Backward progress: 1059830
Backward progress: 1059740
Backward progress: 1059736
Backward progress: 1059734
Backward progress: 1057663
Backward progress: 1057695
Backward progress: 1035106
Backward progress: 1044420
Backward progress: 1041860
Backward progress: 1039400
Backward progress: 1139556
Backward progress: 1125303
Backward progress: 1065690
Backward progress: 1088900
Backward progress: 894187
Backward progress: 849763
Backward progress: 879127
Backward progress: 875844
Backward progress: 836545
Backward progress: 836236
Backward progress: 835582
Backward progress: 845520
Backward progress: 831847
Backward progress: 830640
Backward progress: 830207
Backward progress: 854115
Backward progress: 872292
Backward progress: 884705
Backward progress: 880138
Backward progress: 864277
Backward progress: 883903
Backward progress: 874062
Backward progress: 852079
Backward progress: 852615
Backward progress: 853693
Backward progress: 853697
Backward progress: 851191
Backward progress: 850447
Backward progress: 866872
Backward progress: 865572
Backward progress: 870242
Backward progress: 865410
Backward progress: 863589
Backward progress: 863109
Backward progress: 863133
Backward progress: 862905
Backward progress: 868773
Backward progress: 848585
Backward progress: 846394
Backward progress: 846385
Backward progress: 846826
Backward progress: 846557
Backward progress: 846874
Backward progress: 861108
Backward progress: 834974
Backward progress: 835736
Backward progress: 835738
Backward progress: 835234
Backward progress: 835060
Backward progress: 843027
Backward progress: 768024
Backward progress: 740422
Backward progress: 724026
Backward progress: 723503
Backward progress: 775971
Backward progress: 775916
Backward progress: 757486
Backward progress: 757466
Backward progress: 757244
Backward progress: 756694
Backward progress: 749164
Backward progress: 723782
Backward progress: 717131
Backward progress: 718859
Backward progress: 718861
Backward progress: 717489
Backward progress: 717438
Backward progress: 717401
Backward progress: 715750
Backward progress: 649611
Backward progress: 610244
Backward progress: 608811
Backward progress: 632473
Backward progress: 632505
Backward progress: 602369
Backward progress: 602349
Backward progress: 601646
Backward progress: 601144
Backward progress: 572260
Backward progress: 562010
Backward progress: 560359
Backward progress: 548447
Backward progress: 551132
Backward progress: 243349
Backward progress: 161975
Backward progress: 235764
Backward progress: 159284
Backward progress: 164755
Backward progress: 164807
Backward progress: 164802
Backward progress: 160289
Backward progress: 183127
Backward progress: 195344
Backward progress: 199981
Backward progress: 201145
Backward progress: 206615
Backward progress: 214245
Backward progress: 213509
Backward progress: 246050
Backward progress: 246050
Backward progress: 246591
Backward progress: 246449
Backward progress: 207006
Backward progress: 212518
Backward progress: 208478
Backward progress: 210816
Backward progress: 199747
Backward progress: 198801
Backward progress: 210201
Backward progress: 210207
Backward progress: 208472
Backward progress: 208457
Backward progress: 207238
Backward progress: 206299
Backward progress: 203707
Backward progress: 198050
Backward progress: 197476
Backward progress: 197476
Backward progress: 194956
Backward progress: 193876
Backward progress: 193912
Backward progress: 192886
Backward progress: 194161
Backward progress: 194414
Backward progress: 194105
Backward progress: 220122
Backward progress: 228663
Backward progress: 212016
Backward progress: 213408
Backward progress: 218402
Backward progress: 218408
Backward progress: 214434
Backward progress: 214405
Backward progress: 212361
Backward progress: 210320
Backward progress: 202450
Backward progress: 197925
Backward progress: 195930
Backward progress: 197283
Backward progress: 189884
Backward progress: 189877
Backward progress: 190343
Backward progress: 187751
Backward progress: 187751
Backward progress: 187755
Backward progress: 195509
Backward progress: 196629
Backward progress: 216557
Backward progress: 196617
Backward progress: 200347
Backward progress: 209779
Backward progress: 215249
Backward progress: 216529
Backward progress: 216430
Backward progress: 216775
Backward progress: 222089
Backward progress: 218925
Backward progress: 217556
Backward progress: 217463
Backward progress: 217519
Backward progress: 217463
Backward progress: 214001
Backward progress: 212532
Backward progress: 221744
Backward progress: 224971
Backward progress: 225472
Backward progress: 225382
Backward progress: 227798
Backward progress: 227504
Backward progress: 237761
Backward progress: 237463
Backward progress: 233584
Backward progress: 233578
Backward progress: 233706
Backward progress: 233201
Backward progress: 233159
Backward progress: 233582
Backward progress: 233581
Backward progress: 234138
Backward progress: 234140
Backward progress: 233765
Backward progress: 233425
Backward progress: 237463
Backward progress: 237523
Backward progress: 238465
Backward progress: 238378
Backward progress: 236838
Backward progress: 239301
Backward progress: 239303
Backward progress: 237523
Backward progress: 237150
Backward progress: 237063
Backward progress: 235402
Backward progress: 241890
Backward progress: 242196
Backward progress: 236791
Backward progress: 235694
Backward progress: 234225
Backward progress: 234225
Backward progress: 135304
Backward progress: 164375
Backward progress: 162848
Backward progress: 162852
Backward progress: 159529
Backward progress: 157524
Backward progress: 193228
Backward progress: 206344
Backward progress: 204624
Backward progress: 209767
Backward progress: 220821
Backward progress: 216554
Backward progress: 216590
Backward progress: 215165
Backward progress: 265602
Backward progress: 296832
Backward progress: 297241
Backward progress: 297269
Backward progress: 296803
Backward progress: 328063
Backward progress: 381947
Backward progress: 359326
Backward progress: 371283
Backward progress: 371717
Backward progress: 369649
Backward progress: 372130
Backward progress: 366869
Backward progress: 357614
Backward progress: 346333
Backward progress: 339398
Backward progress: 313249
Backward progress: 313261
Backward progress: 308336
Backward progress: 334239
Backward progress: 240822
Backward progress: 208405
Backward progress: 202813
Backward progress: 198280
Backward progress: 198135
Backward progress: 191195
Backward progress: 158232
Backward progress: 163538
Backward progress: 170873
Backward progress: 170849
Backward progress: 178328
Backward progress: 175124
Backward progress: 175126
Backward progress: 168502
Backward progress: 169294
Backward progress: 173624
Backward progress: 174988
Backward progress: 174044
Backward progress: 173864
Backward progress: 175464
Backward progress: 175064
Backward progress: 175072
Backward progress: 173448
Backward progress: 196038
Backward progress: 218020
Backward progress: 212830
Backward progress: 212836
Backward progress: 201040
Backward progress: 214674
Backward progress: 227372
Backward progress: 228308
Backward progress: 228360
Backward progress: 228412
Backward progress: 232352
Backward progress: 230732
Backward progress: 227506
Backward progress: 225172
Backward progress: 222512
Backward progress: 215304
Backward progress: 215316
Backward progress: 215113
Backward progress: 232778
Backward progress: 187909
Backward progress: 172798
Backward progress: 172002
Backward progress: 172147
Backward progress: 172031
Backward progress: 170474
Backward progress: 169735
Backward progress: 206466
Backward progress: 322287
Backward progress: 416730
Backward progress: 486283
Backward progress: 490027
Backward progress: 483537
Backward progress: 483651
Backward progress: 483652
Backward progress: 473767
Backward progress: 476529
Backward progress: 607958
Backward progress: 607867
Backward progress: 608995
Backward progress: 655154
Backward progress: 663066
Backward progress: 713256
Backward progress: 702648
Backward progress: 786663
Backward progress: 729205
Backward progress: 764852
Backward progress: 1039778
Backward progress: 1089645
Backward progress: 1180668
Backward progress: 1204569
Backward progress: 1154706
Backward progress: 1154780
Backward progress: 1067741
Backward progress: 1009175
Backward progress: 941596
Backward progress: 927891
Backward progress: 929499
Backward progress: 1048052
Backward progress: 1011250
Backward progress: 1050463
Backward progress: 1051562
Backward progress: 1052309
Backward progress: 1070274
Backward progress: 1085671
Backward progress: 1085525
Backward progress: 1083509
Backward progress: 1184736
Backward progress: 1076949
Backward progress: 1076726
Backward progress: 625397
Backward progress: 592885
Backward progress: 586920
Backward progress: 586953
Backward progress: 553108
Backward progress: 561103
Backward progress: 558916
Backward progress: 562308
Backward progress: 562161
Backward progress: 546103
Backward progress: 545175
Backward progress: 554083
Backward progress: 554091
Backward progress: 552856
Backward progress: 552846
Backward progress: 552846
Backward progress: 552336
Backward progress: 549852
Backward progress: 544985
Backward progress: 544221
Backward progress: 545523
Backward progress: 544368
Backward progress: 551535
Backward progress: 557182
Backward progress: 558416
Backward progress: 558694
Backward progress: 558681
Backward progress: 562172
Backward progress: 562638
Backward progress: 561971
Backward progress: 562318
Backward progress: 562139
Backward progress: 562489
Backward progress: 562361
Backward progress: 562790
Backward progress: 562310
Backward progress: 561967
Backward progress: 561346
Backward progress: 561346
Backward progress: 562931
Backward progress: 562933
Backward progress: 562313
Backward progress: 562310
Backward progress: 562016
Backward progress: 561320
Backward progress: 560785
Backward progress: 625336
Backward progress: 627531
Backward progress: 626683
Backward progress: 588331
Backward progress: 589488
Backward progress: 592885
Backward progress: 592889
Backward progress: 589525
Backward progress: 589498
Backward progress: 588542
Backward progress: 584204
Backward progress: 573976
Backward progress: 575385
Backward progress: 578341
Backward progress: 580100
Backward progress: 584771
Backward progress: 584775
Backward progress: 585002
Backward progress: 584663
Backward progress: 583390
Backward progress: 583290
Backward progress: 583346
Backward progress: 601573
Backward progress: 603389
Backward progress: 629477
Backward progress: 603461
Backward progress: 608059
Backward progress: 617351
Backward progress: 621312
Backward progress: 620979
Backward progress: 620989
Backward progress: 621243
Backward progress: 624339
Backward progress: 621787
Backward progress: 619289
Backward progress: 619232
Backward progress: 619262
Backward progress: 619232
Backward progress: 617785
Backward progress: 617190
Backward progress: 623394
Backward progress: 625198
Backward progress: 625618
Backward progress: 625572
Backward progress: 626966
Backward progress: 626895
Backward progress: 634020
Backward progress: 633894
Backward progress: 631558
Backward progress: 631541
Backward progress: 631679
Backward progress: 631205
Backward progress: 631213
Backward progress: 631306
Backward progress: 631305
Backward progress: 631598
Backward progress: 631600
Backward progress: 631401
Backward progress: 631225
Backward progress: 629599
Backward progress: 629017
Backward progress: 629489
Backward progress: 629364
Backward progress: 628757
Backward progress: 630000
Backward progress: 630002
Backward progress: 629099
Backward progress: 628834
Backward progress: 628813
Backward progress: 627404
Backward progress: 629750
Backward progress: 628347
Backward progress: 625560
Backward progress: 625000
Backward progress: 623134
Backward progress: 648396
Backward progress: 320101
Backward progress: 290369
Backward progress: 229940
Backward progress: 230468
Backward progress: 261181
Backward progress: 259252
Backward progress: 235459
Backward progress: 246967
Backward progress: 231024
Backward progress: 231024
Forward closed progress: 199707
Forward closed progress: 198974
Forward closed progress: 286521
Forward closed progress: 168696
Forward closed progress: 154620
Forward closed progress: 154538
Forward closed progress: 154594
Forward closed progress: 146551
Forward closed progress: 132826
Forward closed progress: 132846
Forward closed progress: 132856
Forward closed progress: 132831
Forward closed progress: 100990
Forward closed progress: 112673
Control exists for 109979520 color(s), jumping through 8 vertices.
Elapsed: 3335912 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 3335.912
user ??
sys ??
