>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 44212392
Perturbation colors: 9007199254740992
All colors: 398229824272716600000000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 101681
Backward progress: 138842
Backward progress: 155081
Backward progress: 154993
Backward progress: 160902
Backward progress: 160791
Backward progress: 158527
Backward progress: 158331
Backward progress: 158416
Backward progress: 158527
Backward progress: 164782
Backward progress: 139690
Backward progress: 187203
Backward progress: 205117
Backward progress: 205815
Backward progress: 256098
Backward progress: 254720
Backward progress: 254654
Backward progress: 255194
Backward progress: 255244
Backward progress: 253224
Backward progress: 202332
Backward progress: 225453
Backward progress: 227948
Backward progress: 197293
Backward progress: 215282
Backward progress: 224731
Backward progress: 225712
Backward progress: 225684
Backward progress: 219115
Backward progress: 219170
Backward progress: 218134
Backward progress: 222962
Backward progress: 222700
Backward progress: 222268
Backward progress: 222379
Backward progress: 222403
Backward progress: 222142
Backward progress: 203475
Backward progress: 223256
Backward progress: 220726
Backward progress: 220676
Backward progress: 222708
Backward progress: 222756
Backward progress: 221614
Backward progress: 215147
Backward progress: 241689
Backward progress: 243331
Backward progress: 246626
Backward progress: 251728
Backward progress: 250853
Backward progress: 266985
Backward progress: 268615
Backward progress: 265911
Backward progress: 252858
Backward progress: 252979
Backward progress: 252969
Backward progress: 253033
Backward progress: 253030
Backward progress: 253024
Backward progress: 253003
Backward progress: 255964
Backward progress: 245146
Backward progress: 250594
Backward progress: 208759
Backward progress: 204785
Backward progress: 204694
Backward progress: 206028
Backward progress: 206279
Backward progress: 207457
Backward progress: 207472
Backward progress: 207457
Backward progress: 207878
Backward progress: 199520
Backward progress: 194840
Backward progress: 185432
Backward progress: 184447
Backward progress: 184191
Backward progress: 183926
Backward progress: 181825
Backward progress: 177973
Backward progress: 183509
Backward progress: 178901
Backward progress: 185728
Backward progress: 188430
Backward progress: 187685
Backward progress: 182541
Backward progress: 178959
Backward progress: 178031
Backward progress: 180426
Backward progress: 180120
Backward progress: 179546
Backward progress: 180738
Backward progress: 190695
Backward progress: 188353
Backward progress: 187728
Backward progress: 185558
Backward progress: 185862
Backward progress: 187711
Backward progress: 187381
Backward progress: 187593
Backward progress: 187852
Backward progress: 187958
Backward progress: 187850
Backward progress: 186970
Backward progress: 186566
Backward progress: 186945
Backward progress: 186390
Backward progress: 187005
Backward progress: 187089
Backward progress: 187086
Backward progress: 186958
Backward progress: 186384
Backward progress: 185532
Backward progress: 185392
Backward progress: 186668
Backward progress: 187480
Backward progress: 187908
Backward progress: 188124
Backward progress: 189260
Backward progress: 188968
Backward progress: 189144
Backward progress: 189012
Backward progress: 189108
Backward progress: 189200
Backward progress: 188764
Backward progress: 189116
Backward progress: 189164
Backward progress: 189124
Backward progress: 188768
Backward progress: 188468
Backward progress: 196820
Backward progress: 193794
Backward progress: 193266
Backward progress: 184749
Backward progress: 184741
Backward progress: 201099
Backward progress: 203875
Backward progress: 203040
Backward progress: 190308
Backward progress: 183489
Backward progress: 166338
Backward progress: 165912
Backward progress: 166744
Backward progress: 166360
Backward progress: 166720
Backward progress: 166428
Backward progress: 167224
Backward progress: 167272
Backward progress: 167232
Backward progress: 166432
Backward progress: 165716
Backward progress: 171657
Backward progress: 174834
Backward progress: 174885
Backward progress: 175537
Backward progress: 175790
Backward progress: 175634
Backward progress: 175399
Backward progress: 176623
Backward progress: 176748
Backward progress: 176954
Backward progress: 177021
Backward progress: 177066
Backward progress: 177012
Backward progress: 143788
Backward progress: 138306
Backward progress: 140432
Backward progress: 138953
Backward progress: 138311
Backward progress: 138363
Backward progress: 138302
Backward progress: 138307
Backward progress: 138334
Backward progress: 138484
Backward progress: 138430
Backward progress: 138526
Backward progress: 138779
Backward progress: 139061
Backward progress: 139032
Backward progress: 138764
Backward progress: 138556
Backward progress: 138460
Backward progress: 138513
Backward progress: 138523
Backward progress: 138642
Backward progress: 138662
Backward progress: 138667
Backward progress: 138426
Backward progress: 138480
Backward progress: 138490
Backward progress: 138044
Backward progress: 131332
Backward progress: 130272
Backward progress: 148734
Backward progress: 138588
Backward progress: 111621
Backward progress: 110771
Backward progress: 107345
Backward progress: 109317
Backward progress: 109445
Backward progress: 109561
Backward progress: 109615
Backward progress: 108434
Backward progress: 108378
Backward progress: 107358
Backward progress: 106003
Backward progress: 104196
Backward progress: 104535
Backward progress: 103363
Backward progress: 101581
Backward progress: 103935
Backward progress: 105970
Backward progress: 106148
Backward progress: 106204
Backward progress: 106252
Backward progress: 104000
Backward progress: 102088
Attractor colors: 9642927378140611000000
Attractor colors computed in 451999 ms.
Backward progress: 111694
Backward progress: 136864
Backward progress: 105423
Backward progress: 112150
Backward progress: 112301
Backward progress: 109516
Backward progress: 103571
Backward progress: 106186
Backward progress: 109935
Backward progress: 109956
Backward progress: 114710
Backward progress: 118442
Backward progress: 130461
Backward progress: 144140
Backward progress: 142174
Backward progress: 141577
Backward progress: 141577
Backward progress: 147033
Backward progress: 145449
Backward progress: 121652
Backward progress: 124458
Backward progress: 123109
Backward progress: 131253
Backward progress: 120201
Backward progress: 129829
Backward progress: 130076
Backward progress: 127925
Backward progress: 127631
Backward progress: 126320
Backward progress: 119249
Backward progress: 117423
Backward progress: 117907
Backward progress: 117539
Backward progress: 106822
Backward progress: 112341
Backward progress: 103113
Backward progress: 107973
Backward progress: 108196
Backward progress: 105078
Backward progress: 104722
Backward progress: 103183
Backward progress: 100646
Backward progress: 101724
Backward progress: 107081
Backward progress: 115369
Backward progress: 114299
Backward progress: 108898
Backward progress: 111573
Backward progress: 111257
Backward progress: 111533
Backward progress: 111960
Backward progress: 112041
Backward progress: 108983
Backward progress: 109393
Backward progress: 110218
Backward progress: 189601
Backward progress: 169038
Backward progress: 178794
Backward progress: 171670
Backward progress: 170874
Backward progress: 170666
Backward progress: 168128
Backward progress: 190849
Backward progress: 164168
Backward progress: 163292
Backward progress: 190626
Backward progress: 169328
Backward progress: 169319
Backward progress: 168843
Backward progress: 169971
Backward progress: 174988
Backward progress: 179453
Backward progress: 179270
Backward progress: 191389
Backward progress: 191133
Backward progress: 191139
Backward progress: 191151
Backward progress: 208986
Backward progress: 208087
Backward progress: 207597
Backward progress: 207520
Backward progress: 207523
Backward progress: 207511
Backward progress: 207462
Backward progress: 222255
Backward progress: 246472
Backward progress: 249102
Backward progress: 249092
Backward progress: 249129
Backward progress: 249059
Backward progress: 257391
Backward progress: 255043
Backward progress: 254962
Backward progress: 255488
Backward progress: 257614
Backward progress: 259575
Backward progress: 207847
Backward progress: 213707
Backward progress: 213824
Backward progress: 215035
Backward progress: 215412
Backward progress: 218321
Backward progress: 218203
Backward progress: 216886
Backward progress: 214602
Backward progress: 214511
Backward progress: 219431
Backward progress: 219466
Backward progress: 218083
Backward progress: 219422
Backward progress: 219652
Backward progress: 219202
Backward progress: 221262
Backward progress: 219913
Backward progress: 273519
Backward progress: 272497
Backward progress: 275063
Backward progress: 275038
Backward progress: 272953
Backward progress: 272757
Backward progress: 292648
Backward progress: 293397
Backward progress: 272370
Backward progress: 272231
Backward progress: 286736
Backward progress: 286982
Backward progress: 284005
Backward progress: 283695
Backward progress: 281927
Backward progress: 270912
Backward progress: 268375
Backward progress: 263233
Backward progress: 266723
Backward progress: 266819
Backward progress: 289048
Backward progress: 287201
Backward progress: 292924
Backward progress: 293516
Backward progress: 316488
Backward progress: 307035
Backward progress: 307895
Backward progress: 313188
Backward progress: 312648
Backward progress: 321641
Backward progress: 342101
Backward progress: 353911
Backward progress: 377480
Backward progress: 377064
Backward progress: 377185
Backward progress: 376404
Backward progress: 376805
Backward progress: 374615
Backward progress: 374635
Backward progress: 395734
Backward progress: 402253
Backward progress: 403036
Backward progress: 419054
Backward progress: 413576
Backward progress: 413568
Backward progress: 412446
Backward progress: 394057
Backward progress: 468159
Backward progress: 491154
Backward progress: 482510
Backward progress: 480009
Backward progress: 476963
Backward progress: 476989
Backward progress: 456641
Backward progress: 464509
Backward progress: 474641
Backward progress: 473877
Backward progress: 473803
Backward progress: 479640
Backward progress: 477421
Backward progress: 461328
Backward progress: 462912
Backward progress: 466531
Backward progress: 468953
Backward progress: 468990
Backward progress: 466078
Backward progress: 493832
Backward progress: 493385
Backward progress: 483459
Backward progress: 482707
Backward progress: 488239
Backward progress: 489354
Backward progress: 546580
Backward progress: 587425
Backward progress: 595593
Backward progress: 597032
Backward progress: 592306
Backward progress: 591527
Backward progress: 609455
Backward progress: 626709
Backward progress: 657362
Backward progress: 663766
Backward progress: 655576
Backward progress: 653017
Backward progress: 687043
Backward progress: 686966
Backward progress: 686961
Backward progress: 686290
Backward progress: 697175
Backward progress: 700886
Backward progress: 677972
Backward progress: 688250
Backward progress: 688530
Backward progress: 678617
Backward progress: 676184
Backward progress: 670168
Backward progress: 664408
Backward progress: 772108
Backward progress: 773794
Backward progress: 748557
Backward progress: 743658
Backward progress: 858956
Backward progress: 856756
Backward progress: 832317
Backward progress: 829311
Backward progress: 822420
Backward progress: 816903
Backward progress: 812740
Backward progress: 810101
Backward progress: 747579
Backward progress: 742561
Backward progress: 712891
Backward progress: 731276
Backward progress: 731746
Backward progress: 714198
Backward progress: 704483
Backward progress: 691879
Backward progress: 701862
Backward progress: 701491
Backward progress: 711249
Backward progress: 708883
Backward progress: 709375
Backward progress: 702252
Backward progress: 1044551
Backward progress: 1120497
Backward progress: 952958
Backward progress: 956114
Backward progress: 923845
Backward progress: 924748
Backward progress: 911380
Backward progress: 910491
Backward progress: 864370
Backward progress: 866154
Backward progress: 864737
Backward progress: 882884
Backward progress: 876530
Backward progress: 893546
Backward progress: 891924
Backward progress: 875252
Backward progress: 861135
Backward progress: 861135
Backward progress: 867974
Backward progress: 805739
Backward progress: 790063
Backward progress: 793914
Backward progress: 786750
Backward progress: 781883
Backward progress: 759487
Backward progress: 777074
Backward progress: 777439
Backward progress: 772901
Backward progress: 772604
Backward progress: 770786
Backward progress: 759221
Backward progress: 754634
Backward progress: 751950
Backward progress: 755444
Backward progress: 754548
Backward progress: 755104
Backward progress: 758093
Backward progress: 757530
Backward progress: 740526
Backward progress: 745804
Backward progress: 740775
Backward progress: 736831
Backward progress: 736921
Backward progress: 735829
Backward progress: 736485
Backward progress: 735570
Backward progress: 734335
Backward progress: 735740
Backward progress: 725296
Backward progress: 726249
Backward progress: 722934
Backward progress: 709162
Backward progress: 707153
Backward progress: 719506
Backward progress: 719706
Backward progress: 715639
Backward progress: 715113
Backward progress: 706703
Backward progress: 701593
Backward progress: 943382
Backward progress: 895818
Backward progress: 904673
Backward progress: 877427
Backward progress: 860900
Backward progress: 949775
Backward progress: 951471
Backward progress: 904599
Backward progress: 898700
Backward progress: 885137
Backward progress: 867689
Backward progress: 857485
Backward progress: 854221
Backward progress: 838649
Backward progress: 834225
Backward progress: 835343
Backward progress: 831965
Backward progress: 835419
Backward progress: 834844
Backward progress: 837218
Backward progress: 833896
Backward progress: 836580
Backward progress: 836077
Backward progress: 835508
Backward progress: 835528
Backward progress: 835257
Backward progress: 837300
Backward progress: 830899
Backward progress: 833012
Backward progress: 834362
Backward progress: 835172
Backward progress: 834253
Backward progress: 837916
Backward progress: 838411
Backward progress: 842886
Backward progress: 842946
Backward progress: 842676
Backward progress: 844647
Backward progress: 845246
Backward progress: 844940
Backward progress: 844952
Backward progress: 844172
Backward progress: 844785
Backward progress: 846495
Backward progress: 845385
Backward progress: 841390
Backward progress: 836320
Backward progress: 833315
Backward progress: 814243
Backward progress: 817088
Backward progress: 815543
Backward progress: 807707
Backward progress: 798338
Backward progress: 796939
Backward progress: 1019937
Backward progress: 1041730
Backward progress: 915425
Backward progress: 915145
Backward progress: 912797
Backward progress: 912815
Backward progress: 905737
Backward progress: 917621
Backward progress: 914882
Backward progress: 915736
Backward progress: 914046
Backward progress: 910642
Backward progress: 909982
Backward progress: 907417
Backward progress: 904842
Backward progress: 904860
Backward progress: 902379
Backward progress: 918667
Backward progress: 919340
Backward progress: 918831
Backward progress: 918285
Backward progress: 916535
Backward progress: 918144
Backward progress: 918499
Backward progress: 916610
Backward progress: 914252
Backward progress: 912732
Backward progress: 909096
Backward progress: 908572
Backward progress: 907994
Backward progress: 904919
Backward progress: 902435
Backward progress: 901839
Backward progress: 900691
Backward progress: 912079
Backward progress: 872410
Backward progress: 868940
Backward progress: 874840
Backward progress: 874596
Backward progress: 873120
Backward progress: 873138
Backward progress: 868072
Backward progress: 857813
Backward progress: 860256
Backward progress: 843721
Backward progress: 840982
Backward progress: 841836
Backward progress: 840146
Backward progress: 837238
Backward progress: 836948
Backward progress: 834808
Backward progress: 832291
Backward progress: 832309
Backward progress: 830080
Backward progress: 833063
Backward progress: 834872
Backward progress: 835114
Backward progress: 835126
Backward progress: 833884
Backward progress: 835469
Backward progress: 838246
Backward progress: 837072
Backward progress: 835486
Backward progress: 833960
Backward progress: 831137
Backward progress: 830610
Backward progress: 830029
Backward progress: 827490
Backward progress: 847954
Backward progress: 843330
Backward progress: 856061
Backward progress: 847670
Backward progress: 852500
Backward progress: 853557
Backward progress: 853563
Backward progress: 854631
Backward progress: 859028
Backward progress: 859727
Backward progress: 861113
Backward progress: 861056
Backward progress: 864287
Backward progress: 863990
Backward progress: 864254
Backward progress: 867209
Backward progress: 867221
Backward progress: 866504
Backward progress: 866561
Backward progress: 866565
Backward progress: 866530
Backward progress: 865498
Backward progress: 868689
Backward progress: 827312
Backward progress: 831362
Backward progress: 831464
Backward progress: 831665
Backward progress: 831530
Backward progress: 831497
Backward progress: 832181
Backward progress: 832187
Backward progress: 831869
Backward progress: 831461
Backward progress: 831818
Backward progress: 834027
Backward progress: 834171
Backward progress: 831532
Backward progress: 831199
Backward progress: 829505
Backward progress: 833740
Backward progress: 833018
Backward progress: 814014
Backward progress: 774162
Backward progress: 818784
Backward progress: 825539
Backward progress: 815088
Backward progress: 812487
Backward progress: 811955
Backward progress: 806323
Backward progress: 511670
Backward progress: 476135
Backward progress: 324381
Backward progress: 433285
Backward progress: 293822
Backward progress: 300189
Backward progress: 304890
Backward progress: 305187
Backward progress: 290152
Backward progress: 290470
Backward progress: 269341
Backward progress: 273269
Backward progress: 273265
Backward progress: 280653
Backward progress: 283114
Backward progress: 295701
Backward progress: 298739
Backward progress: 327797
Backward progress: 327627
Backward progress: 339988
Backward progress: 334844
Backward progress: 333976
Backward progress: 333976
Backward progress: 341836
Backward progress: 339516
Backward progress: 282654
Backward progress: 287989
Backward progress: 285167
Backward progress: 299605
Backward progress: 274287
Backward progress: 291009
Backward progress: 291256
Backward progress: 287380
Backward progress: 287084
Backward progress: 284585
Backward progress: 272589
Backward progress: 269733
Backward progress: 270788
Backward progress: 269691
Backward progress: 269305
Backward progress: 248982
Backward progress: 266322
Backward progress: 275223
Backward progress: 254881
Backward progress: 265731
Backward progress: 265954
Backward progress: 258973
Backward progress: 258617
Backward progress: 255014
Backward progress: 247575
Backward progress: 242627
Backward progress: 245363
Backward progress: 244865
Backward progress: 236174
Backward progress: 229544
Backward progress: 229108
Backward progress: 211914
Backward progress: 217405
Backward progress: 211914
Backward progress: 211998
Backward progress: 202435
Backward progress: 205440
Backward progress: 205977
Backward progress: 207030
Backward progress: 207039
Backward progress: 209541
Backward progress: 209673
Backward progress: 212121
Backward progress: 212133
Backward progress: 211518
Backward progress: 210681
Backward progress: 214731
Backward progress: 214833
Backward progress: 215040
Backward progress: 214905
Backward progress: 214878
Backward progress: 215574
Backward progress: 215580
Backward progress: 215256
Backward progress: 214848
Backward progress: 215229
Backward progress: 219552
Backward progress: 219696
Backward progress: 217614
Backward progress: 217275
Backward progress: 216714
Backward progress: 216714
Backward progress: 119105
Backward progress: 126466
Backward progress: 127132
Backward progress: 185759
Backward progress: 201647
Backward progress: 225261
Backward progress: 225818
Backward progress: 227398
Backward progress: 227418
Backward progress: 227408
Backward progress: 228504
Backward progress: 222217
Backward progress: 223925
Backward progress: 225983
Backward progress: 228227
Backward progress: 246178
Backward progress: 247025
Backward progress: 247021
Backward progress: 250780
Backward progress: 251080
Backward progress: 250890
Backward progress: 252298
Backward progress: 252592
Backward progress: 256422
Backward progress: 256817
Backward progress: 258679
Backward progress: 259115
Backward progress: 259122
Backward progress: 260432
Backward progress: 260568
Backward progress: 260498
Backward progress: 260432
Backward progress: 264627
Backward progress: 266673
Backward progress: 266835
Backward progress: 268131
Backward progress: 268151
Backward progress: 269702
Backward progress: 272965
Backward progress: 273043
Backward progress: 273009
Backward progress: 304420
Backward progress: 320800
Backward progress: 327224
Backward progress: 326278
Backward progress: 324153
Backward progress: 324153
Backward progress: 323785
Backward progress: 319453
Backward progress: 319595
Backward progress: 316568
Backward progress: 331880
Backward progress: 333383
Backward progress: 333573
Backward progress: 333287
Backward progress: 349513
Backward progress: 380555
Backward progress: 368496
Backward progress: 388563
Backward progress: 386452
Backward progress: 375153
Backward progress: 375153
Backward progress: 374651
Backward progress: 388700
Backward progress: 387320
Backward progress: 375381
Backward progress: 380913
Backward progress: 383888
Backward progress: 384148
Backward progress: 381450
Backward progress: 373199
Backward progress: 373171
Backward progress: 373524
Backward progress: 373615
Backward progress: 373485
Backward progress: 397796
Backward progress: 400621
Backward progress: 399232
Backward progress: 419110
Backward progress: 419998
Backward progress: 420769
Backward progress: 419919
Backward progress: 427247
Backward progress: 427417
Backward progress: 420102
Backward progress: 420085
Backward progress: 422415
Backward progress: 420018
Backward progress: 418065
Backward progress: 420448
Backward progress: 418905
Backward progress: 427165
Backward progress: 429253
Backward progress: 422542
Backward progress: 423118
Backward progress: 423118
Backward progress: 413808
Backward progress: 410220
Backward progress: 410712
Backward progress: 408580
Backward progress: 408868
Backward progress: 409012
Backward progress: 407056
Backward progress: 406960
Backward progress: 403428
Backward progress: 403749
Backward progress: 403768
Backward progress: 406341
Backward progress: 405979
Backward progress: 403495
Backward progress: 478975
Backward progress: 467880
Backward progress: 467706
Backward progress: 465047
Backward progress: 465883
Backward progress: 465955
Backward progress: 466077
Backward progress: 466037
Backward progress: 465947
Backward progress: 470353
Backward progress: 469107
Backward progress: 471527
Backward progress: 471543
Backward progress: 470655
Backward progress: 466390
Backward progress: 466406
Backward progress: 465406
Backward progress: 465354
Backward progress: 466431
Backward progress: 466718
Backward progress: 466668
Backward progress: 467324
Backward progress: 468340
Backward progress: 469492
Backward progress: 469844
Backward progress: 469318
Backward progress: 469862
Backward progress: 470416
Backward progress: 469376
Backward progress: 470282
Backward progress: 470322
Backward progress: 469412
Backward progress: 469404
Backward progress: 469936
Backward progress: 469352
Backward progress: 468508
Backward progress: 468572
Backward progress: 465699
Backward progress: 465763
Backward progress: 465411
Backward progress: 464139
Backward progress: 461765
Backward progress: 471142
Backward progress: 476540
Backward progress: 476582
Backward progress: 475464
Backward progress: 474387
Backward progress: 480841
Backward progress: 481354
Backward progress: 484336
Backward progress: 481617
Backward progress: 484757
Backward progress: 486129
Backward progress: 487640
Backward progress: 495769
Backward progress: 495769
Backward progress: 497641
Backward progress: 496881
Backward progress: 496207
Backward progress: 472292
Backward progress: 391830
Backward progress: 404814
Backward progress: 401742
Backward progress: 426592
Backward progress: 429322
Backward progress: 428787
Backward progress: 428715
Backward progress: 425081
Backward progress: 426435
Backward progress: 426540
Backward progress: 425660
Backward progress: 426586
Backward progress: 426310
Backward progress: 424702
Backward progress: 423923
Backward progress: 422843
Backward progress: 433405
Backward progress: 417566
Backward progress: 411287
Backward progress: 403840
Backward progress: 403110
Backward progress: 422317
Backward progress: 434152
Backward progress: 434518
Backward progress: 447697
Backward progress: 439815
Backward progress: 439833
Backward progress: 437052
Backward progress: 436266
Backward progress: 446052
Backward progress: 447435
Backward progress: 447409
Backward progress: 447459
Backward progress: 450235
Backward progress: 450550
Backward progress: 453102
Backward progress: 453224
Backward progress: 452781
Backward progress: 465903
Backward progress: 475494
Backward progress: 477905
Backward progress: 477391
Backward progress: 475784
Backward progress: 475784
Backward progress: 475324
Backward progress: 472005
Backward progress: 472091
Backward progress: 467996
Backward progress: 476804
Backward progress: 485903
Backward progress: 485209
Backward progress: 491016
Backward progress: 491500
Backward progress: 486371
Backward progress: 486371
Backward progress: 485861
Backward progress: 489488
Backward progress: 490092
Backward progress: 485811
Backward progress: 487206
Backward progress: 488576
Backward progress: 488352
Backward progress: 487329
Backward progress: 483236
Backward progress: 483052
Backward progress: 483294
Backward progress: 483351
Backward progress: 482689
Backward progress: 481316
Backward progress: 485047
Backward progress: 483347
Backward progress: 483175
Backward progress: 486989
Backward progress: 486492
Backward progress: 489035
Backward progress: 489103
Backward progress: 489259
Backward progress: 494190
Backward progress: 495472
Backward progress: 499726
Backward progress: 501404
Backward progress: 501456
Backward progress: 500146
Backward progress: 502580
Backward progress: 502791
Backward progress: 503822
Backward progress: 502874
Backward progress: 504490
Backward progress: 504794
Backward progress: 505344
Backward progress: 508619
Backward progress: 508619
Backward progress: 509298
Backward progress: 508968
Backward progress: 508698
Backward progress: 503301
Backward progress: 489178
Backward progress: 489318
Backward progress: 493032
Backward progress: 492684
Backward progress: 492322
Backward progress: 494155
Backward progress: 497130
Backward progress: 496237
Backward progress: 496291
Backward progress: 496287
Backward progress: 496267
Backward progress: 496546
Backward progress: 497078
Backward progress: 497078
Backward progress: 497208
Backward progress: 497218
Backward progress: 497018
Backward progress: 498430
Backward progress: 498448
Backward progress: 501548
Backward progress: 753849
Backward progress: 926013
Backward progress: 1093439
Backward progress: 1220097
Backward progress: 1304709
Backward progress: 1304459
Backward progress: 1310844
Backward progress: 1310762
Backward progress: 1310239
Backward progress: 1310228
Backward progress: 1310231
Backward progress: 1312047
Backward progress: 1334975
Backward progress: 1580079
Backward progress: 1591674
Backward progress: 1605336
Backward progress: 1785714
Backward progress: 1782300
Backward progress: 1781476
Backward progress: 1775165
Backward progress: 1775169
Backward progress: 1774974
Backward progress: 1709963
Backward progress: 1706398
Backward progress: 1985100
Backward progress: 2021887
Backward progress: 1866653
Backward progress: 1961871
Backward progress: 1963503
Backward progress: 1963936
Backward progress: 1963891
Backward progress: 1894790
Backward progress: 1894722
Backward progress: 1841130
Backward progress: 1791924
Backward progress: 1791284
Backward progress: 1790658
Backward progress: 1784713
Backward progress: 1784713
Backward progress: 1784645
Backward progress: 1830551
Backward progress: 2028738
Backward progress: 2024864
Backward progress: 2023722
Backward progress: 2018522
Backward progress: 2018524
Backward progress: 2015712
Backward progress: 2044910
Backward progress: 2059922
Backward progress: 2061449
Backward progress: 2130227
Backward progress: 2129631
Backward progress: 2129502
Backward progress: 2110855
Backward progress: 2113566
Backward progress: 2114269
Backward progress: 2114536
Backward progress: 2114500
Backward progress: 2114523
Backward progress: 2114491
Backward progress: 2326339
Backward progress: 2338150
Backward progress: 2324575
Backward progress: 2313610
Backward progress: 2314045
Backward progress: 2313616
Backward progress: 2315007
Backward progress: 2316929
Backward progress: 2316629
Backward progress: 2316120
Backward progress: 2494902
Backward progress: 2198354
Backward progress: 2210065
Backward progress: 2090817
Backward progress: 2027823
Backward progress: 2027758
Backward progress: 2027744
Backward progress: 1968290
Backward progress: 1964421
Backward progress: 1967958
Backward progress: 1967922
Backward progress: 1963619
Backward progress: 1963698
Backward progress: 1963679
Backward progress: 1964062
Backward progress: 1963627
Backward progress: 1963751
Backward progress: 1963634
Backward progress: 1893471
Backward progress: 1893408
Backward progress: 1893135
Backward progress: 1795286
Backward progress: 1790583
Backward progress: 1731949
Backward progress: 1721968
Backward progress: 1710015
Backward progress: 1703791
Backward progress: 1703767
Backward progress: 1711028
Backward progress: 1710944
Backward progress: 1645711
Backward progress: 1645785
Backward progress: 1701605
Backward progress: 1711376
Backward progress: 1710184
Backward progress: 1701654
Backward progress: 1702337
Backward progress: 1702815
Backward progress: 1695569
Backward progress: 1696674
Backward progress: 1697045
Backward progress: 1641027
Backward progress: 1638211
Backward progress: 1637537
Backward progress: 1637388
Backward progress: 1636345
Backward progress: 1683446
Backward progress: 1665153
Backward progress: 1664172
Backward progress: 1719864
Backward progress: 1651366
Backward progress: 1656925
Backward progress: 1660585
Backward progress: 1664258
Backward progress: 1670221
Backward progress: 1669647
Backward progress: 1680040
Backward progress: 1679434
Backward progress: 1687835
Backward progress: 1687116
Backward progress: 1686800
Backward progress: 1684049
Backward progress: 1680524
Backward progress: 1679298
Backward progress: 1677229
Backward progress: 1670172
Backward progress: 1672790
Backward progress: 1672408
Backward progress: 1671327
Backward progress: 1670945
Backward progress: 1669635
Backward progress: 1668298
Backward progress: 1665523
Backward progress: 1663335
Backward progress: 1663221
Backward progress: 1678155
Backward progress: 1685050
Backward progress: 1689434
Backward progress: 1691770
Backward progress: 1693645
Backward progress: 1693217
Backward progress: 1694626
Backward progress: 1696252
Backward progress: 1696009
Backward progress: 1696090
Backward progress: 1695345
Backward progress: 1695371
Backward progress: 1693383
Backward progress: 1694436
Backward progress: 1694484
Backward progress: 1694366
Backward progress: 1693988
Backward progress: 1693392
Backward progress: 1693061
Backward progress: 1749737
Backward progress: 1757062
Backward progress: 1755626
Backward progress: 1713751
Backward progress: 1713755
Backward progress: 1735442
Backward progress: 1737946
Backward progress: 1736988
Backward progress: 1724096
Backward progress: 1716813
Backward progress: 1694786
Backward progress: 1692134
Backward progress: 1705834
Backward progress: 1708761
Backward progress: 1695712
Backward progress: 1696448
Backward progress: 1695058
Backward progress: 1695924
Backward progress: 1695948
Backward progress: 1695889
Backward progress: 1695434
Backward progress: 1694693
Backward progress: 1702176
Backward progress: 1710001
Backward progress: 1710120
Backward progress: 1708622
Backward progress: 1709150
Backward progress: 1710012
Backward progress: 1710074
Backward progress: 1710230
Backward progress: 1710166
Backward progress: 1711030
Backward progress: 1710706
Backward progress: 1710592
Backward progress: 1710476
Backward progress: 1710392
Backward progress: 1385576
Backward progress: 1321843
Backward progress: 1338501
Backward progress: 1321843
Backward progress: 1323234
Backward progress: 1314203
Backward progress: 1319551
Backward progress: 1320514
Backward progress: 1322341
Backward progress: 1322359
Backward progress: 1325671
Backward progress: 1325236
Backward progress: 1330202
Backward progress: 1331113
Backward progress: 1330965
Backward progress: 1329488
Backward progress: 1328506
Backward progress: 1327153
Backward progress: 1332211
Backward progress: 1332355
Backward progress: 1332754
Backward progress: 1332445
Backward progress: 1332604
Backward progress: 1333840
Backward progress: 1334161
Backward progress: 1334105
Backward progress: 1333583
Backward progress: 1333189
Backward progress: 1332487
Backward progress: 1332340
Backward progress: 1336609
Backward progress: 1336789
Backward progress: 1334065
Backward progress: 1333537
Backward progress: 1332790
Backward progress: 1320994
Backward progress: 1317577
Backward progress: 1317595
Backward progress: 1453668
Backward progress: 1381903
Backward progress: 828198
Backward progress: 825482
Backward progress: 809997
Backward progress: 813015
Backward progress: 816909
Backward progress: 800846
Backward progress: 793646
Backward progress: 796071
Backward progress: 796537
Backward progress: 799101
Backward progress: 798057
Backward progress: 801020
Backward progress: 792365
Backward progress: 789415
Backward progress: 785083
Backward progress: 782849
Backward progress: 761820
Backward progress: 745756
Backward progress: 746758
Backward progress: 794031
Backward progress: 805924
Backward progress: 844818
Backward progress: 841103
Backward progress: 841139
Backward progress: 837100
Backward progress: 832306
Backward progress: 854480
Backward progress: 860445
Backward progress: 864213
Backward progress: 874890
Backward progress: 874481
Backward progress: 887924
Backward progress: 887956
Backward progress: 885567
Backward progress: 884111
Backward progress: 886010
Backward progress: 881308
Backward progress: 881332
Backward progress: 880516
Backward progress: 875795
Backward progress: 810660
Backward progress: 819539
Backward progress: 818814
Backward progress: 821614
Backward progress: 820598
Backward progress: 820368
Backward progress: 819898
Backward progress: 820385
Backward progress: 816992
Backward progress: 819990
Backward progress: 820022
Backward progress: 818210
Backward progress: 816208
Backward progress: 815393
Backward progress: 824605
Backward progress: 819260
Backward progress: 819532
Backward progress: 816077
Backward progress: 814241
Backward progress: 812510
Backward progress: 798005
Backward progress: 784916
Backward progress: 807576
Backward progress: 814097
Backward progress: 840393
Backward progress: 832051
Backward progress: 832083
Backward progress: 820333
Backward progress: 817176
Backward progress: 828708
Backward progress: 833014
Backward progress: 834944
Backward progress: 839998
Backward progress: 838747
Backward progress: 846707
Backward progress: 846739
Backward progress: 839781
Backward progress: 835539
Backward progress: 836265
Backward progress: 832033
Backward progress: 832045
Backward progress: 830788
Backward progress: 825533
Backward progress: 829267
Backward progress: 828571
Backward progress: 831609
Backward progress: 830603
Backward progress: 830394
Backward progress: 829840
Backward progress: 830407
Backward progress: 826056
Backward progress: 829496
Backward progress: 829528
Backward progress: 826852
Backward progress: 824408
Backward progress: 818953
Backward progress: 825935
Backward progress: 819620
Backward progress: 819274
Backward progress: 815334
Backward progress: 813432
Backward progress: 810488
Backward progress: 790238
Backward progress: 772122
Backward progress: 772122
Forward closed progress: 741050
Forward closed progress: 726342
Forward closed progress: 835629
Forward closed progress: 641821
Forward closed progress: 584729
Forward closed progress: 577115
Forward closed progress: 583749
Forward closed progress: 519917
Forward closed progress: 457633
Forward closed progress: 457648
Forward closed progress: 457654
Forward closed progress: 344780
Forward closed progress: 306209
Forward closed progress: 287232
Forward closed progress: 292900
Forward closed progress: 293130
Forward closed progress: 282457
Forward closed progress: 280699
Forward closed progress: 284373
Forward closed progress: 269220
Forward closed progress: 264761
Forward closed progress: 320201
Forward closed progress: 323657
Forward closed progress: 254253
Forward closed progress: 267214
Forward closed progress: 301308
Forward closed progress: 324747
Forward closed progress: 324747
Forward closed progress: 324747
Forward closed progress: 254923
Forward closed progress: 263289
Forward closed progress: 247500
Forward closed progress: 202580
Forward closed progress: 187665
Forward closed progress: 179957
Forward closed progress: 158581
Forward closed progress: 189104
Forward closed progress: 158762
Forward closed progress: 158332
Forward closed progress: 158536
Forward closed progress: 158708
Forward closed progress: 157163
Forward closed progress: 157883
Forward closed progress: 159276
Forward closed progress: 159448
Forward closed progress: 159018
Forward closed progress: 159222
Forward closed progress: 159394
Forward closed progress: 157676
Forward closed progress: 156229
Forward closed progress: 150185
Forward closed progress: 189965
Forward closed progress: 253442
Forward closed progress: 309777
Forward closed progress: 310401
Forward closed progress: 310743
Forward closed progress: 255507
Forward closed progress: 153056
Forward closed progress: 175000
Forward closed progress: 174950
Forward closed progress: 176380
Forward closed progress: 174756
Forward closed progress: 180764
Forward closed progress: 210160
Forward closed progress: 208780
Forward closed progress: 209705
Forward closed progress: 210199
Forward closed progress: 211454
Forward closed progress: 203068
Forward closed progress: 192730
Forward closed progress: 144744
Forward closed progress: 191728
Forward closed progress: 198352
Forward closed progress: 217644
Forward closed progress: 207798
Forward closed progress: 207798
Forward closed progress: 207798
Forward closed progress: 200524
Forward closed progress: 196146
Forward closed progress: 173384
Forward closed progress: 228022
Forward closed progress: 274275
Forward closed progress: 274850
Forward closed progress: 275170
Forward closed progress: 226531
Forward closed progress: 138694
Forward closed progress: 138950
Forward closed progress: 151386
Forward closed progress: 167768
Forward closed progress: 168343
Forward closed progress: 168663
Forward closed progress: 128587
Forward closed progress: 153258
Forward closed progress: 157678
Forward closed progress: 146505
Forward closed progress: 142124
Forward closed progress: 104662
Forward closed progress: 134348
Forward closed progress: 141757
Forward closed progress: 136544
Forward closed progress: 136982
Forward closed progress: 137138
Forward closed progress: 125574
Forward closed progress: 125581
Forward closed progress: 125156
Forward closed progress: 125566
Forward closed progress: 121317
Forward closed progress: 106280
Forward closed progress: 167180
Forward closed progress: 167856
Forward closed progress: 103290
Forward closed progress: 129780
Forward closed progress: 187391
Forward closed progress: 324434
Forward closed progress: 347090
Forward closed progress: 348788
Forward closed progress: 349624
Forward closed progress: 302628
Forward closed progress: 325596
Forward closed progress: 326054
Forward closed progress: 305237
Forward closed progress: 357646
Forward closed progress: 351755
Forward closed progress: 344625
Forward closed progress: 333927
Forward closed progress: 338884
Forward closed progress: 338260
Forward closed progress: 319146
Forward closed progress: 261857
Forward closed progress: 257299
Forward closed progress: 261693
Forward closed progress: 318041
Forward closed progress: 313458
Forward closed progress: 272797
Forward closed progress: 283248
Forward closed progress: 283807
Forward closed progress: 251702
Forward closed progress: 301939
Forward closed progress: 311873
Forward closed progress: 311664
Forward closed progress: 310878
Forward closed progress: 400255
Forward closed progress: 403454
Forward closed progress: 333815
Forward closed progress: 331259
Forward closed progress: 331778
Forward closed progress: 306595
Forward closed progress: 303099
Forward closed progress: 300725
Forward closed progress: 286730
Forward closed progress: 184774
Forward closed progress: 211760
Forward closed progress: 210467
Forward closed progress: 213229
Forward closed progress: 197244
Forward closed progress: 197182
Forward closed progress: 196679
Forward closed progress: 217036
Forward closed progress: 209112
Forward closed progress: 206504
Forward closed progress: 209865
Forward closed progress: 176123
Forward closed progress: 100687
Forward closed progress: 103011
Forward closed progress: 102663
Forward closed progress: 104691
Forward closed progress: 106842
Forward closed progress: 109818
Forward closed progress: 110159
Forward closed progress: 110204
Forward closed progress: 112142
Forward closed progress: 112108
Forward closed progress: 111999
Forward closed progress: 111932
Forward closed progress: 110744
Forward closed progress: 111162
Forward closed progress: 111526
Forward closed progress: 111482
Forward closed progress: 118521
Forward closed progress: 115839
Forward closed progress: 131385
Forward closed progress: 131665
Forward closed progress: 116579
Forward closed progress: 118012
Forward closed progress: 117519
Forward closed progress: 118942
Forward closed progress: 118586
Forward closed progress: 118968
Forward closed progress: 118568
Forward closed progress: 118871
Forward closed progress: 114350
Forward closed progress: 105387
Forward closed progress: 104433
Forward closed progress: 112261
Control exists for 1070580 color(s), jumping through 6 vertices.
Elapsed: 8247800 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 8247.8
user ??
sys ??
