>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 9
Perturbation colors: 9007199254740992
All colors: 81064793292668930
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 1
Attractor colors: 36028797018963970
Attractor colors computed in 374 ms.
Backward progress: 105135
Backward progress: 104685
Backward progress: 107712
Backward progress: 107744
Backward progress: 105946
Backward progress: 105911
Backward progress: 104741
Backward progress: 104713
Backward progress: 111774
Backward progress: 111625
Backward progress: 114330
Backward progress: 121210
Backward progress: 124495
Backward progress: 124510
Backward progress: 124695
Backward progress: 124780
Backward progress: 124298
Backward progress: 124462
Backward progress: 127946
Backward progress: 127958
Backward progress: 127906
Backward progress: 126227
Backward progress: 126251
Backward progress: 126471
Backward progress: 125143
Backward progress: 124141
Backward progress: 123395
Backward progress: 140342
Backward progress: 142407
Backward progress: 142094
Backward progress: 146624
Backward progress: 146875
Backward progress: 146666
Backward progress: 146743
Backward progress: 146885
Backward progress: 147109
Backward progress: 152381
Backward progress: 152258
Backward progress: 152211
Backward progress: 150274
Backward progress: 149760
Backward progress: 149986
Backward progress: 149986
Backward progress: 150411
Backward progress: 140817
Backward progress: 140347
Backward progress: 138783
Backward progress: 138554
Backward progress: 139203
Backward progress: 136777
Backward progress: 139983
Backward progress: 136051
Backward progress: 137967
Backward progress: 137995
Backward progress: 136888
Backward progress: 136846
Backward progress: 136056
Backward progress: 135214
Backward progress: 133417
Backward progress: 130031
Backward progress: 129875
Backward progress: 129806
Backward progress: 128033
Backward progress: 126771
Backward progress: 126587
Backward progress: 126118
Backward progress: 126798
Backward progress: 126342
Backward progress: 125841
Backward progress: 125343
Backward progress: 123860
Backward progress: 123864
Backward progress: 123465
Backward progress: 148728
Backward progress: 153085
Backward progress: 138824
Backward progress: 148795
Backward progress: 148827
Backward progress: 142735
Backward progress: 142566
Backward progress: 138454
Backward progress: 133292
Backward progress: 134168
Backward progress: 132254
Backward progress: 131018
Backward progress: 130806
Backward progress: 118363
Backward progress: 152135
Backward progress: 169089
Backward progress: 170519
Backward progress: 171985
Backward progress: 176543
Backward progress: 176630
Backward progress: 176649
Backward progress: 176661
Backward progress: 175221
Backward progress: 175960
Backward progress: 175237
Backward progress: 175322
Backward progress: 175561
Backward progress: 180823
Backward progress: 180843
Backward progress: 181097
Backward progress: 178253
Backward progress: 178193
Backward progress: 178606
Backward progress: 178558
Backward progress: 178736
Backward progress: 177798
Backward progress: 178089
Backward progress: 178484
Backward progress: 178931
Backward progress: 176890
Backward progress: 182368
Backward progress: 174916
Backward progress: 174900
Backward progress: 174602
Backward progress: 174059
Backward progress: 173909
Backward progress: 179131
Backward progress: 178876
Backward progress: 180544
Backward progress: 180560
Backward progress: 179614
Backward progress: 179586
Backward progress: 178900
Backward progress: 178900
Backward progress: 184032
Backward progress: 182154
Backward progress: 178235
Backward progress: 181085
Backward progress: 179460
Backward progress: 179609
Backward progress: 183354
Backward progress: 183804
Backward progress: 183613
Backward progress: 181722
Backward progress: 178238
Backward progress: 177340
Backward progress: 177292
Backward progress: 176622
Backward progress: 176483
Backward progress: 174392
Backward progress: 179056
Backward progress: 176915
Backward progress: 175196
Backward progress: 173494
Backward progress: 169266
Backward progress: 169014
Backward progress: 168906
Backward progress: 167247
Backward progress: 171953
Backward progress: 156970
Backward progress: 157410
Backward progress: 157534
Backward progress: 157727
Backward progress: 157737
Backward progress: 157702
Backward progress: 157606
Backward progress: 158304
Backward progress: 158255
Backward progress: 156544
Backward progress: 156588
Backward progress: 156250
Backward progress: 156282
Backward progress: 156101
Backward progress: 156167
Backward progress: 155922
Backward progress: 155650
Backward progress: 155101
Backward progress: 137286
Backward progress: 137286
Backward progress: 114478
Backward progress: 114716
Backward progress: 114465
Backward progress: 115901
Backward progress: 116378
Backward progress: 116927
Backward progress: 128249
Backward progress: 129246
Backward progress: 130745
Backward progress: 127219
Backward progress: 127023
Backward progress: 128550
Backward progress: 129125
Backward progress: 129653
Backward progress: 126640
Backward progress: 126575
Backward progress: 125116
Backward progress: 124691
Backward progress: 123508
Backward progress: 125642
Backward progress: 123131
Backward progress: 137633
Backward progress: 136367
Backward progress: 140572
Backward progress: 140594
Backward progress: 137988
Backward progress: 137967
Backward progress: 136408
Backward progress: 136309
Backward progress: 133938
Backward progress: 132845
Backward progress: 131840
Backward progress: 157347
Backward progress: 160607
Backward progress: 142225
Backward progress: 152138
Backward progress: 152160
Backward progress: 145918
Backward progress: 145785
Backward progress: 141763
Backward progress: 135580
Backward progress: 135083
Backward progress: 134182
Backward progress: 132089
Backward progress: 131877
Backward progress: 117003
Backward progress: 116146
Backward progress: 112927
Backward progress: 110722
Backward progress: 110207
Backward progress: 112224
Backward progress: 109324
Backward progress: 110002
Backward progress: 110109
Backward progress: 110469
Backward progress: 110469
Backward progress: 110559
Backward progress: 111266
Backward progress: 111272
Backward progress: 111014
Backward progress: 110780
Backward progress: 111124
Backward progress: 111187
Backward progress: 111400
Backward progress: 111406
Backward progress: 111385
Backward progress: 111253
Backward progress: 111392
Backward progress: 111602
Backward progress: 111160
Backward progress: 111160
Forward closed progress: 156630
Forward closed progress: 108568
Forward closed progress: 108568
Forward closed progress: 108568
Forward closed progress: 101907
Forward closed progress: 102004
Forward closed progress: 102030
Forward closed progress: 100221
Forward closed progress: 114569
Forward closed progress: 161627
Forward closed progress: 161778
Forward closed progress: 161822
Forward closed progress: 133119
Forward closed progress: 105043
Forward closed progress: 102014
Forward closed progress: 102111
Forward closed progress: 102137
Forward closed progress: 126280
Forward closed progress: 128908
Forward closed progress: 118850
Forward closed progress: 112719
Forward closed progress: 111759
Forward closed progress: 144158
Forward closed progress: 188813
Forward closed progress: 189038
Forward closed progress: 189104
Forward closed progress: 163054
Forward closed progress: 129711
Forward closed progress: 128609
Forward closed progress: 130499
Forward closed progress: 117269
Forward closed progress: 104861
Forward closed progress: 119312
Forward closed progress: 119382
Forward closed progress: 153129
Forward closed progress: 256999
Forward closed progress: 326394
Forward closed progress: 382988
Forward closed progress: 383392
Forward closed progress: 383492
Forward closed progress: 338879
Forward closed progress: 343565
Forward closed progress: 343839
Forward closed progress: 291054
Forward closed progress: 327975
Forward closed progress: 269960
Forward closed progress: 233505
Forward closed progress: 227039
Forward closed progress: 229892
Forward closed progress: 229928
Forward closed progress: 229946
Forward closed progress: 219120
Forward closed progress: 237012
Forward closed progress: 243392
Forward closed progress: 267258
Forward closed progress: 261924
Forward closed progress: 223611
Forward closed progress: 223982
Forward closed progress: 224054
Forward closed progress: 174232
Forward closed progress: 234817
Forward closed progress: 264685
Forward closed progress: 265501
Forward closed progress: 274835
Forward closed progress: 275057
Forward closed progress: 276650
Forward closed progress: 259740
Forward closed progress: 260168
Forward closed progress: 231425
Forward closed progress: 264047
Forward closed progress: 268603
Forward closed progress: 264741
Forward closed progress: 277896
Forward closed progress: 278054
Forward closed progress: 270049
Forward closed progress: 262444
Forward closed progress: 204365
Forward closed progress: 279115
Forward closed progress: 344140
Forward closed progress: 339211
Forward closed progress: 340001
Forward closed progress: 346481
Forward closed progress: 408681
Forward closed progress: 410449
Forward closed progress: 473647
Forward closed progress: 467354
Forward closed progress: 467402
Forward closed progress: 434662
Forward closed progress: 433536
Forward closed progress: 434246
Forward closed progress: 434242
Forward closed progress: 434020
Forward closed progress: 433708
Forward closed progress: 457405
Forward closed progress: 458172
Forward closed progress: 458158
Forward closed progress: 458277
Forward closed progress: 458329
Forward closed progress: 445715
Forward closed progress: 444950
Forward closed progress: 445346
Forward closed progress: 445353
Forward closed progress: 431128
Forward closed progress: 430474
Forward closed progress: 429303
Forward closed progress: 425642
Forward closed progress: 473060
Forward closed progress: 473090
Forward closed progress: 430486
Forward closed progress: 432248
Forward closed progress: 462199
Forward closed progress: 455592
Forward closed progress: 455636
Forward closed progress: 380533
Forward closed progress: 369794
Forward closed progress: 348616
Forward closed progress: 340984
Forward closed progress: 337864
Forward closed progress: 297870
Forward closed progress: 292098
Forward closed progress: 292289
Forward closed progress: 298077
Forward closed progress: 298125
Forward closed progress: 301596
Forward closed progress: 297549
Forward closed progress: 272317
Forward closed progress: 224891
Forward closed progress: 357634
Forward closed progress: 373874
Forward closed progress: 383846
Forward closed progress: 383173
Forward closed progress: 390260
Forward closed progress: 372188
Forward closed progress: 323456
Forward closed progress: 307202
Forward closed progress: 306829
Forward closed progress: 304777
Forward closed progress: 314308
Forward closed progress: 315237
Forward closed progress: 319228
Forward closed progress: 337527
Forward closed progress: 349992
Forward closed progress: 348533
Forward closed progress: 348553
Forward closed progress: 336171
Forward closed progress: 348233
Forward closed progress: 348764
Forward closed progress: 348873
Forward closed progress: 349510
Forward closed progress: 371683
Forward closed progress: 374816
Forward closed progress: 374831
Forward closed progress: 374590
Forward closed progress: 374606
Forward closed progress: 361659
Forward closed progress: 356399
Forward closed progress: 356150
Forward closed progress: 356606
Forward closed progress: 374994
Forward closed progress: 370582
Forward closed progress: 372623
Forward closed progress: 373822
Forward closed progress: 370711
Forward closed progress: 376598
Forward closed progress: 392478
Forward closed progress: 389199
Forward closed progress: 389211
Forward closed progress: 375052
Forward closed progress: 374146
Forward closed progress: 375743
Forward closed progress: 373725
Forward closed progress: 413018
Forward closed progress: 413658
Forward closed progress: 407606
Forward closed progress: 408656
Forward closed progress: 383080
Forward closed progress: 394576
Forward closed progress: 394940
Forward closed progress: 367893
Forward closed progress: 396033
Forward closed progress: 396177
Forward closed progress: 409431
Forward closed progress: 415786
Forward closed progress: 413188
Forward closed progress: 399420
Forward closed progress: 409228
Forward closed progress: 510455
Forward closed progress: 582116
Forward closed progress: 664554
Forward closed progress: 673716
Forward closed progress: 676595
Forward closed progress: 676877
Forward closed progress: 676963
Forward closed progress: 672807
Forward closed progress: 666692
Forward closed progress: 689190
Forward closed progress: 670477
Forward closed progress: 637164
Forward closed progress: 654457
Forward closed progress: 662187
Forward closed progress: 671589
Forward closed progress: 671655
Forward closed progress: 712178
Forward closed progress: 726081
Forward closed progress: 725993
Forward closed progress: 754718
Forward closed progress: 766567
Forward closed progress: 769048
Forward closed progress: 768505
Forward closed progress: 770813
Forward closed progress: 782020
Forward closed progress: 769859
Forward closed progress: 812486
Forward closed progress: 812396
Forward closed progress: 822899
Forward closed progress: 822973
Forward closed progress: 815315
Forward closed progress: 815183
Forward closed progress: 812684
Forward closed progress: 812684
Forward closed progress: 795057
Forward closed progress: 794721
Forward closed progress: 824616
Forward closed progress: 825988
Forward closed progress: 607981
Forward closed progress: 618505
Forward closed progress: 614777
Forward closed progress: 570026
Forward closed progress: 545944
Forward closed progress: 537327
Forward closed progress: 442051
Forward closed progress: 447156
Forward closed progress: 417951
Forward closed progress: 487284
Forward closed progress: 553019
Forward closed progress: 549489
Forward closed progress: 599065
Forward closed progress: 591928
Forward closed progress: 591958
Forward closed progress: 572197
Forward closed progress: 573497
Forward closed progress: 613499
Forward closed progress: 616209
Forward closed progress: 616429
Forward closed progress: 621801
Forward closed progress: 625964
Forward closed progress: 643526
Forward closed progress: 642974
Forward closed progress: 643059
Forward closed progress: 667816
Forward closed progress: 667828
Forward closed progress: 645474
Forward closed progress: 695517
Forward closed progress: 762229
Forward closed progress: 754083
Forward closed progress: 754187
Forward closed progress: 705225
Forward closed progress: 690581
Forward closed progress: 653255
Forward closed progress: 643548
Forward closed progress: 646575
Forward closed progress: 647225
Forward closed progress: 630856
Forward closed progress: 652024
Forward closed progress: 651052
Forward closed progress: 657260
Forward closed progress: 657296
Forward closed progress: 659236
Forward closed progress: 658972
Forward closed progress: 618223
Forward closed progress: 619567
Forward closed progress: 618003
Forward closed progress: 618049
Forward closed progress: 617513
Forward closed progress: 617872
Forward closed progress: 617900
Forward closed progress: 617920
Forward closed progress: 617628
Forward closed progress: 618258
Forward closed progress: 618258
Forward closed progress: 616379
Forward closed progress: 661646
Forward closed progress: 653187
Forward closed progress: 652647
Forward closed progress: 650075
Forward closed progress: 669594
Forward closed progress: 680396
Forward closed progress: 673402
Forward closed progress: 673401
Forward closed progress: 676966
Forward closed progress: 675799
Forward closed progress: 674872
Forward closed progress: 674149
Forward closed progress: 673659
Forward closed progress: 637067
Forward closed progress: 593126
Forward closed progress: 582228
Forward closed progress: 533789
Forward closed progress: 504134
Forward closed progress: 494416
Forward closed progress: 494479
Forward closed progress: 489019
Forward closed progress: 485163
Forward closed progress: 476064
Forward closed progress: 475167
Forward closed progress: 476274
Forward closed progress: 475104
Forward closed progress: 475818
Forward closed progress: 477243
Forward closed progress: 477395
Forward closed progress: 472110
Forward closed progress: 472996
Forward closed progress: 472828
Forward closed progress: 471389
Forward closed progress: 469213
Forward closed progress: 469201
Forward closed progress: 466428
Forward closed progress: 414720
Forward closed progress: 528362
Forward closed progress: 532381
Forward closed progress: 656753
Forward closed progress: 789429
Forward closed progress: 900554
Forward closed progress: 897535
Forward closed progress: 897617
Forward closed progress: 881440
Forward closed progress: 895037
Forward closed progress: 998893
Forward closed progress: 1006640
Forward closed progress: 1006506
Forward closed progress: 1024680
Forward closed progress: 1035247
Forward closed progress: 1087873
Forward closed progress: 1136074
Forward closed progress: 1136112
Forward closed progress: 1090885
Forward closed progress: 1209081
Forward closed progress: 1354992
Forward closed progress: 1357153
Forward closed progress: 1357523
Forward closed progress: 1309746
Forward closed progress: 1297965
Forward closed progress: 1314163
Forward closed progress: 1285505
Forward closed progress: 1301747
Forward closed progress: 1307661
Forward closed progress: 1277802
Forward closed progress: 1185682
Forward closed progress: 1183475
Forward closed progress: 1212334
Forward closed progress: 1208584
Forward closed progress: 1221652
Forward closed progress: 1221716
Forward closed progress: 1228008
Forward closed progress: 1228368
Forward closed progress: 1142363
Forward closed progress: 1210810
Forward closed progress: 1156484
Forward closed progress: 1025607
Forward closed progress: 1028010
Forward closed progress: 1055412
Forward closed progress: 1075545
Forward closed progress: 1075248
Forward closed progress: 1075266
Forward closed progress: 1071017
Forward closed progress: 1074300
Forward closed progress: 1094662
Forward closed progress: 1095656
Forward closed progress: 1100809
Forward closed progress: 1110844
Forward closed progress: 1126780
Forward closed progress: 1126796
Forward closed progress: 1113698
Forward closed progress: 1133147
Forward closed progress: 1141676
Forward closed progress: 1142117
Forward closed progress: 1142161
Forward closed progress: 1124597
Forward closed progress: 1122854
Forward closed progress: 1120190
Forward closed progress: 1113576
Forward closed progress: 1104157
Forward closed progress: 1119245
Forward closed progress: 1119521
Forward closed progress: 1123500
Forward closed progress: 1123534
Forward closed progress: 1131414
Forward closed progress: 1122838
Forward closed progress: 1095612
Forward closed progress: 1087642
Forward closed progress: 1140945
Forward closed progress: 1123539
Forward closed progress: 1122611
Forward closed progress: 1114335
Forward closed progress: 1132073
Forward closed progress: 1108079
Forward closed progress: 1035990
Forward closed progress: 930414
Forward closed progress: 895133
Forward closed progress: 914073
Forward closed progress: 900065
Forward closed progress: 900170
Forward closed progress: 897825
Forward closed progress: 898035
Forward closed progress: 898095
Forward closed progress: 895133
Forward closed progress: 884633
Forward closed progress: 886374
Forward closed progress: 878884
Forward closed progress: 870613
Forward closed progress: 859106
Forward closed progress: 860331
Forward closed progress: 861107
Forward closed progress: 863390
Forward closed progress: 863110
Forward closed progress: 868466
Forward closed progress: 870299
Forward closed progress: 870179
Forward closed progress: 870534
Forward closed progress: 870538
Forward closed progress: 871348
Forward closed progress: 871128
Forward closed progress: 871638
Forward closed progress: 872298
Forward closed progress: 874844
Forward closed progress: 872199
Forward closed progress: 875856
Forward closed progress: 868584
Forward closed progress: 876004
Forward closed progress: 873291
Forward closed progress: 875641
Forward closed progress: 875701
Forward closed progress: 874036
Forward closed progress: 873964
Forward closed progress: 873272
Forward closed progress: 873233
Forward closed progress: 872452
Forward closed progress: 871104
Forward closed progress: 866829
Forward closed progress: 839550
Forward closed progress: 833606
Forward closed progress: 709012
Forward closed progress: 679505
Forward closed progress: 663346
Forward closed progress: 735263
Forward closed progress: 723458
Forward closed progress: 783937
Forward closed progress: 779053
Forward closed progress: 779099
Forward closed progress: 761502
Forward closed progress: 767380
Forward closed progress: 807210
Forward closed progress: 810575
Forward closed progress: 812687
Forward closed progress: 819088
Forward closed progress: 823445
Forward closed progress: 847285
Forward closed progress: 873383
Forward closed progress: 873411
Forward closed progress: 850498
Forward closed progress: 912183
Forward closed progress: 990322
Forward closed progress: 985192
Forward closed progress: 985348
Forward closed progress: 944477
Forward closed progress: 933080
Forward closed progress: 913078
Forward closed progress: 903239
Forward closed progress: 902549
Forward closed progress: 903631
Forward closed progress: 886725
Forward closed progress: 923078
Forward closed progress: 922931
Forward closed progress: 929652
Forward closed progress: 929688
Forward closed progress: 932374
Forward closed progress: 932572
Forward closed progress: 893477
Forward closed progress: 897770
Forward closed progress: 893257
Forward closed progress: 890139
Forward closed progress: 934100
Forward closed progress: 934060
Forward closed progress: 933520
Forward closed progress: 930948
Forward closed progress: 952757
Forward closed progress: 933120
Forward closed progress: 897649
Forward closed progress: 836833
Forward closed progress: 814473
Forward closed progress: 816862
Forward closed progress: 792589
Forward closed progress: 787446
Forward closed progress: 786075
Forward closed progress: 783232
Forward closed progress: 777511
Forward closed progress: 775862
Forward closed progress: 776941
Forward closed progress: 775799
Forward closed progress: 718199
Forward closed progress: 695025
Forward closed progress: 702211
Forward closed progress: 713162
Forward closed progress: 705812
Forward closed progress: 724922
Forward closed progress: 721924
Forward closed progress: 718390
Forward closed progress: 720547
Forward closed progress: 715606
Forward closed progress: 702378
Forward closed progress: 1050639
Forward closed progress: 1051899
Forward closed progress: 1133207
Forward closed progress: 1448677
Forward closed progress: 1695025
Forward closed progress: 1758896
Forward closed progress: 1758577
Forward closed progress: 1730641
Forward closed progress: 1730703
Forward closed progress: 1693295
Forward closed progress: 1700314
Forward closed progress: 1695908
Forward closed progress: 1702817
Forward closed progress: 1695117
Forward closed progress: 1695782
Forward closed progress: 1692583
Forward closed progress: 1710239
Forward closed progress: 1698548
Forward closed progress: 1702948
Forward closed progress: 1856723
Forward closed progress: 1856782
Forward closed progress: 1832582
Forward closed progress: 1870755
Forward closed progress: 1879334
Forward closed progress: 1868873
Forward closed progress: 1868899
Forward closed progress: 1854276
Forward closed progress: 1837716
Forward closed progress: 1809823
Forward closed progress: 1806718
Forward closed progress: 1835008
Forward closed progress: 1843546
Forward closed progress: 1841171
Forward closed progress: 1841197
Forward closed progress: 1829247
Forward closed progress: 1821400
Forward closed progress: 1897521
Forward closed progress: 1903383
Forward closed progress: 1915116
Forward closed progress: 1930517
Forward closed progress: 1930547
Forward closed progress: 1969299
Forward closed progress: 1981170
Forward closed progress: 2044807
Forward closed progress: 2044893
Forward closed progress: 1986875
Forward closed progress: 2044441
Forward closed progress: 1966672
Forward closed progress: 1965498
Forward closed progress: 1962386
Forward closed progress: 1922582
Forward closed progress: 1963651
Forward closed progress: 1961564
Forward closed progress: 1974959
Forward closed progress: 1975037
Forward closed progress: 1992091
Forward closed progress: 1990083
Forward closed progress: 1891057
Forward closed progress: 1899657
Forward closed progress: 1899567
Forward closed progress: 1916368
Forward closed progress: 1911210
Forward closed progress: 1911290
Forward closed progress: 1915752
Forward closed progress: 1912481
Forward closed progress: 1912537
Forward closed progress: 1912553
Forward closed progress: 1916581
Forward closed progress: 1917721
Forward closed progress: 1922843
Forward closed progress: 1922850
Forward closed progress: 1939580
Forward closed progress: 1951194
Forward closed progress: 1951166
Forward closed progress: 1944473
Forward closed progress: 1940449
Forward closed progress: 1943690
Forward closed progress: 1943854
Forward closed progress: 1946204
Forward closed progress: 1946216
Forward closed progress: 1943944
Forward closed progress: 1943944
Forward closed progress: 1942412
Forward closed progress: 1940866
Forward closed progress: 2025098
Forward closed progress: 2025218
Forward closed progress: 2001858
Forward closed progress: 2000892
Forward closed progress: 2000832
Forward closed progress: 1972560
Forward closed progress: 1991776
Forward closed progress: 1989910
Forward closed progress: 1983513
Forward closed progress: 1983008
Forward closed progress: 1982558
Forward closed progress: 1982436
Forward closed progress: 1982242
Forward closed progress: 1979720
Forward closed progress: 1918614
Forward closed progress: 1925587
Forward closed progress: 1925517
Forward closed progress: 1916410
Forward closed progress: 1919690
Forward closed progress: 1919702
Forward closed progress: 1916194
Forward closed progress: 1914724
Forward closed progress: 1813382
Forward closed progress: 1837663
Forward closed progress: 1819238
Forward closed progress: 1800704
Forward closed progress: 1733291
Forward closed progress: 1613692
Forward closed progress: 1650989
Forward closed progress: 1495074
Forward closed progress: 1494051
Forward closed progress: 1493796
Forward closed progress: 1493727
Forward closed progress: 1494077
Forward closed progress: 1325706
Forward closed progress: 1324904
Forward closed progress: 1318254
Forward closed progress: 1287903
Forward closed progress: 1275831
Forward closed progress: 1276304
Forward closed progress: 1269358
Forward closed progress: 1267359
Forward closed progress: 1274328
Forward closed progress: 1273659
Forward closed progress: 1273611
Forward closed progress: 1271237
Forward closed progress: 1268103
Forward closed progress: 1265162
Forward closed progress: 1263028
Forward closed progress: 1233636
Forward closed progress: 1231163
Forward closed progress: 1231533
Forward closed progress: 1231183
Forward closed progress: 1233709
Forward closed progress: 1233393
Forward closed progress: 1232655
Forward closed progress: 1232583
Forward closed progress: 1231243
Forward closed progress: 1230770
Forward closed progress: 1232869
Forward closed progress: 1234046
Forward closed progress: 1239127
Forward closed progress: 1240138
Forward closed progress: 1240138
Forward closed progress: 1237878
Forward closed progress: 1237878
Control exists for 4 color(s), jumping through 60599304192 vertices.
Elapsed: 5947434 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5947.434
user ??
sys ??
