>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 6
Perturbation colors: 9007199254740992
All colors: 54043195528445950
Unknown update functions: 1
Lowest cardinality: 2
Highest cardinality: 2
Attractor colors: 45035996273704960
Attractor colors computed in 324 ms.
Backward progress: 101841
Backward progress: 101717
Backward progress: 104248
Backward progress: 110793
Backward progress: 113698
Backward progress: 113707
Backward progress: 113719
Backward progress: 113796
Backward progress: 113213
Backward progress: 113240
Backward progress: 116280
Backward progress: 116285
Backward progress: 116233
Backward progress: 114559
Backward progress: 114569
Backward progress: 114704
Backward progress: 113611
Backward progress: 112681
Backward progress: 111991
Backward progress: 126803
Backward progress: 127834
Backward progress: 127731
Backward progress: 131216
Backward progress: 131376
Backward progress: 131276
Backward progress: 131544
Backward progress: 131605
Backward progress: 131803
Backward progress: 136064
Backward progress: 136021
Backward progress: 136058
Backward progress: 134158
Backward progress: 133926
Backward progress: 133820
Backward progress: 133854
Backward progress: 134045
Backward progress: 125507
Backward progress: 124918
Backward progress: 124727
Backward progress: 124514
Backward progress: 124983
Backward progress: 123078
Backward progress: 125629
Backward progress: 122019
Backward progress: 123491
Backward progress: 123507
Backward progress: 122704
Backward progress: 122676
Backward progress: 122024
Backward progress: 121270
Backward progress: 119879
Backward progress: 116089
Backward progress: 115976
Backward progress: 115935
Backward progress: 115735
Backward progress: 114864
Backward progress: 114722
Backward progress: 114299
Backward progress: 114817
Backward progress: 114442
Backward progress: 114100
Backward progress: 113618
Backward progress: 112353
Backward progress: 112354
Backward progress: 112061
Backward progress: 134620
Backward progress: 138421
Backward progress: 125586
Backward progress: 134355
Backward progress: 134377
Backward progress: 128992
Backward progress: 128879
Backward progress: 125216
Backward progress: 120438
Backward progress: 121213
Backward progress: 119425
Backward progress: 117684
Backward progress: 106059
Backward progress: 135867
Backward progress: 151209
Backward progress: 152380
Backward progress: 153750
Backward progress: 157764
Backward progress: 157845
Backward progress: 157862
Backward progress: 158078
Backward progress: 156746
Backward progress: 157432
Backward progress: 156761
Backward progress: 156838
Backward progress: 157077
Backward progress: 161995
Backward progress: 162015
Backward progress: 162253
Backward progress: 159621
Backward progress: 159561
Backward progress: 159995
Backward progress: 159947
Backward progress: 160107
Backward progress: 159176
Backward progress: 159077
Backward progress: 159197
Backward progress: 159636
Backward progress: 157711
Backward progress: 162422
Backward progress: 155726
Backward progress: 155710
Backward progress: 155432
Backward progress: 154932
Backward progress: 154788
Backward progress: 159542
Backward progress: 159131
Backward progress: 160683
Backward progress: 160699
Backward progress: 159853
Backward progress: 159825
Backward progress: 159155
Backward progress: 159155
Backward progress: 159767
Backward progress: 159140
Backward progress: 157231
Backward progress: 159687
Backward progress: 158462
Backward progress: 158611
Backward progress: 157673
Backward progress: 157744
Backward progress: 157601
Backward progress: 157089
Backward progress: 154400
Backward progress: 153258
Backward progress: 153476
Backward progress: 152808
Backward progress: 153256
Backward progress: 151687
Backward progress: 154653
Backward progress: 153016
Backward progress: 151847
Backward progress: 150898
Backward progress: 147874
Backward progress: 147654
Backward progress: 147524
Backward progress: 146569
Backward progress: 150431
Backward progress: 138197
Backward progress: 138617
Backward progress: 138724
Backward progress: 138896
Backward progress: 138904
Backward progress: 138876
Backward progress: 138784
Backward progress: 139717
Backward progress: 139673
Backward progress: 138076
Backward progress: 138102
Backward progress: 137790
Backward progress: 137826
Backward progress: 137650
Backward progress: 137725
Backward progress: 137480
Backward progress: 136678
Backward progress: 119632
Backward progress: 119632
Backward progress: 102024
Backward progress: 102183
Backward progress: 101950
Backward progress: 102776
Backward progress: 102979
Backward progress: 103284
Backward progress: 112555
Backward progress: 113361
Backward progress: 114471
Backward progress: 110624
Backward progress: 110536
Backward progress: 111228
Backward progress: 111949
Backward progress: 112221
Backward progress: 109638
Backward progress: 109968
Backward progress: 111534
Backward progress: 111129
Backward progress: 109983
Backward progress: 111426
Backward progress: 109430
Backward progress: 121812
Backward progress: 120650
Backward progress: 123980
Backward progress: 123990
Backward progress: 121924
Backward progress: 121917
Backward progress: 120691
Backward progress: 120592
Backward progress: 118163
Backward progress: 117201
Backward progress: 116298
Backward progress: 135779
Backward progress: 138007
Backward progress: 122453
Backward progress: 130246
Backward progress: 130256
Backward progress: 125198
Backward progress: 125137
Backward progress: 121991
Backward progress: 116280
Backward progress: 115721
Backward progress: 114995
Backward progress: 112845
Backward progress: 100750
Forward closed progress: 147258
Forward closed progress: 102279
Forward closed progress: 102279
Forward closed progress: 102279
Forward closed progress: 109146
Forward closed progress: 154242
Forward closed progress: 154371
Forward closed progress: 154407
Forward closed progress: 126760
Forward closed progress: 100297
Forward closed progress: 119215
Forward closed progress: 121390
Forward closed progress: 112185
Forward closed progress: 106422
Forward closed progress: 105740
Forward closed progress: 136209
Forward closed progress: 178508
Forward closed progress: 178705
Forward closed progress: 178763
Forward closed progress: 154115
Forward closed progress: 123175
Forward closed progress: 122189
Forward closed progress: 123755
Forward closed progress: 111361
Forward closed progress: 113186
Forward closed progress: 113238
Forward closed progress: 145303
Forward closed progress: 245170
Forward closed progress: 309388
Forward closed progress: 364277
Forward closed progress: 364595
Forward closed progress: 364673
Forward closed progress: 322024
Forward closed progress: 325671
Forward closed progress: 325887
Forward closed progress: 275721
Forward closed progress: 311594
Forward closed progress: 255496
Forward closed progress: 220915
Forward closed progress: 214827
Forward closed progress: 217503
Forward closed progress: 217533
Forward closed progress: 217545
Forward closed progress: 207149
Forward closed progress: 224714
Forward closed progress: 230052
Forward closed progress: 253358
Forward closed progress: 248322
Forward closed progress: 212224
Forward closed progress: 212495
Forward closed progress: 212547
Forward closed progress: 165337
Forward closed progress: 222903
Forward closed progress: 250583
Forward closed progress: 251268
Forward closed progress: 258939
Forward closed progress: 259095
Forward closed progress: 259402
Forward closed progress: 243480
Forward closed progress: 243908
Forward closed progress: 216115
Forward closed progress: 246907
Forward closed progress: 251387
Forward closed progress: 248157
Forward closed progress: 260145
Forward closed progress: 260261
Forward closed progress: 252560
Forward closed progress: 245494
Forward closed progress: 189955
Forward closed progress: 259602
Forward closed progress: 322710
Forward closed progress: 317658
Forward closed progress: 318412
Forward closed progress: 323899
Forward closed progress: 382676
Forward closed progress: 384533
Forward closed progress: 443904
Forward closed progress: 438199
Forward closed progress: 438237
Forward closed progress: 406967
Forward closed progress: 405895
Forward closed progress: 406996
Forward closed progress: 406995
Forward closed progress: 406773
Forward closed progress: 406461
Forward closed progress: 429141
Forward closed progress: 429898
Forward closed progress: 429884
Forward closed progress: 430003
Forward closed progress: 430055
Forward closed progress: 417846
Forward closed progress: 416903
Forward closed progress: 417350
Forward closed progress: 417355
Forward closed progress: 404798
Forward closed progress: 404156
Forward closed progress: 403030
Forward closed progress: 399456
Forward closed progress: 444529
Forward closed progress: 444551
Forward closed progress: 404300
Forward closed progress: 405660
Forward closed progress: 434548
Forward closed progress: 428379
Forward closed progress: 428415
Forward closed progress: 357135
Forward closed progress: 347259
Forward closed progress: 327389
Forward closed progress: 320266
Forward closed progress: 317276
Forward closed progress: 278961
Forward closed progress: 273548
Forward closed progress: 273809
Forward closed progress: 279293
Forward closed progress: 279329
Forward closed progress: 282614
Forward closed progress: 278753
Forward closed progress: 254843
Forward closed progress: 209337
Forward closed progress: 334769
Forward closed progress: 349285
Forward closed progress: 359245
Forward closed progress: 358931
Forward closed progress: 364994
Forward closed progress: 348062
Forward closed progress: 302750
Forward closed progress: 286964
Forward closed progress: 286471
Forward closed progress: 283911
Forward closed progress: 292791
Forward closed progress: 293674
Forward closed progress: 297075
Forward closed progress: 314242
Forward closed progress: 325638
Forward closed progress: 324427
Forward closed progress: 324447
Forward closed progress: 312496
Forward closed progress: 323699
Forward closed progress: 324205
Forward closed progress: 324309
Forward closed progress: 324858
Forward closed progress: 345379
Forward closed progress: 348194
Forward closed progress: 348203
Forward closed progress: 348002
Forward closed progress: 348018
Forward closed progress: 335641
Forward closed progress: 330705
Forward closed progress: 330471
Forward closed progress: 330903
Forward closed progress: 349208
Forward closed progress: 345202
Forward closed progress: 347059
Forward closed progress: 348083
Forward closed progress: 345059
Forward closed progress: 349404
Forward closed progress: 364459
Forward closed progress: 361600
Forward closed progress: 361612
Forward closed progress: 347729
Forward closed progress: 346799
Forward closed progress: 348070
Forward closed progress: 346158
Forward closed progress: 383569
Forward closed progress: 384161
Forward closed progress: 378647
Forward closed progress: 379649
Forward closed progress: 355409
Forward closed progress: 366431
Forward closed progress: 366779
Forward closed progress: 340751
Forward closed progress: 367941
Forward closed progress: 368085
Forward closed progress: 380857
Forward closed progress: 387232
Forward closed progress: 384786
Forward closed progress: 371478
Forward closed progress: 380927
Forward closed progress: 475216
Forward closed progress: 542955
Forward closed progress: 620944
Forward closed progress: 631334
Forward closed progress: 634006
Forward closed progress: 634255
Forward closed progress: 634327
Forward closed progress: 630243
Forward closed progress: 624281
Forward closed progress: 645937
Forward closed progress: 628209
Forward closed progress: 596427
Forward closed progress: 612573
Forward closed progress: 619689
Forward closed progress: 628527
Forward closed progress: 628581
Forward closed progress: 667874
Forward closed progress: 681233
Forward closed progress: 681161
Forward closed progress: 708979
Forward closed progress: 720635
Forward closed progress: 722831
Forward closed progress: 722357
Forward closed progress: 724639
Forward closed progress: 735296
Forward closed progress: 723685
Forward closed progress: 764656
Forward closed progress: 764655
Forward closed progress: 774490
Forward closed progress: 774550
Forward closed progress: 767392
Forward closed progress: 767284
Forward closed progress: 764943
Forward closed progress: 764943
Forward closed progress: 747663
Forward closed progress: 746566
Forward closed progress: 775022
Forward closed progress: 776387
Forward closed progress: 570640
Forward closed progress: 580477
Forward closed progress: 576835
Forward closed progress: 534348
Forward closed progress: 510965
Forward closed progress: 502747
Forward closed progress: 411111
Forward closed progress: 416154
Forward closed progress: 388871
Forward closed progress: 455382
Forward closed progress: 518393
Forward closed progress: 515216
Forward closed progress: 563075
Forward closed progress: 556127
Forward closed progress: 556153
Forward closed progress: 537257
Forward closed progress: 538424
Forward closed progress: 576376
Forward closed progress: 579086
Forward closed progress: 579240
Forward closed progress: 584492
Forward closed progress: 588310
Forward closed progress: 605620
Forward closed progress: 605068
Forward closed progress: 605164
Forward closed progress: 629111
Forward closed progress: 629123
Forward closed progress: 607579
Forward closed progress: 656804
Forward closed progress: 722830
Forward closed progress: 714862
Forward closed progress: 714954
Forward closed progress: 667120
Forward closed progress: 652297
Forward closed progress: 615729
Forward closed progress: 606054
Forward closed progress: 608999
Forward closed progress: 609229
Forward closed progress: 593292
Forward closed progress: 613106
Forward closed progress: 612134
Forward closed progress: 618246
Forward closed progress: 618282
Forward closed progress: 620174
Forward closed progress: 619910
Forward closed progress: 580027
Forward closed progress: 581272
Forward closed progress: 579807
Forward closed progress: 579754
Forward closed progress: 579317
Forward closed progress: 579674
Forward closed progress: 579702
Forward closed progress: 579722
Forward closed progress: 579475
Forward closed progress: 580105
Forward closed progress: 580105
Forward closed progress: 578325
Forward closed progress: 621602
Forward closed progress: 613359
Forward closed progress: 612819
Forward closed progress: 610343
Forward closed progress: 628629
Forward closed progress: 639341
Forward closed progress: 632666
Forward closed progress: 632665
Forward closed progress: 636231
Forward closed progress: 635066
Forward closed progress: 634137
Forward closed progress: 633416
Forward closed progress: 632926
Forward closed progress: 597360
Forward closed progress: 555729
Forward closed progress: 544443
Forward closed progress: 497217
Forward closed progress: 469278
Forward closed progress: 460609
Forward closed progress: 460690
Forward closed progress: 455450
Forward closed progress: 451699
Forward closed progress: 442958
Forward closed progress: 442055
Forward closed progress: 443099
Forward closed progress: 441992
Forward closed progress: 442643
Forward closed progress: 443996
Forward closed progress: 444148
Forward closed progress: 439207
Forward closed progress: 440030
Forward closed progress: 439862
Forward closed progress: 438495
Forward closed progress: 436382
Forward closed progress: 436370
Forward closed progress: 433723
Forward closed progress: 385856
Forward closed progress: 496853
Forward closed progress: 500350
Forward closed progress: 609529
Forward closed progress: 730957
Forward closed progress: 833836
Forward closed progress: 831383
Forward closed progress: 831451
Forward closed progress: 816664
Forward closed progress: 829744
Forward closed progress: 925817
Forward closed progress: 932125
Forward closed progress: 931979
Forward closed progress: 949493
Forward closed progress: 959560
Forward closed progress: 1010662
Forward closed progress: 1056242
Forward closed progress: 1056270
Forward closed progress: 1013674
Forward closed progress: 1118245
Forward closed progress: 1253372
Forward closed progress: 1255512
Forward closed progress: 1255804
Forward closed progress: 1211902
Forward closed progress: 1203957
Forward closed progress: 1218666
Forward closed progress: 1192435
Forward closed progress: 1207920
Forward closed progress: 1210926
Forward closed progress: 1181931
Forward closed progress: 1091892
Forward closed progress: 1089780
Forward closed progress: 1117825
Forward closed progress: 1115063
Forward closed progress: 1127425
Forward closed progress: 1127473
Forward closed progress: 1133365
Forward closed progress: 1133725
Forward closed progress: 1053126
Forward closed progress: 1118314
Forward closed progress: 1066117
Forward closed progress: 940894
Forward closed progress: 943280
Forward closed progress: 969537
Forward closed progress: 988889
Forward closed progress: 988592
Forward closed progress: 988610
Forward closed progress: 984361
Forward closed progress: 987602
Forward closed progress: 1007102
Forward closed progress: 1008096
Forward closed progress: 1012939
Forward closed progress: 1022714
Forward closed progress: 1038030
Forward closed progress: 1038046
Forward closed progress: 1025568
Forward closed progress: 1045011
Forward closed progress: 1053528
Forward closed progress: 1053969
Forward closed progress: 1054013
Forward closed progress: 1036781
Forward closed progress: 1035038
Forward closed progress: 1032562
Forward closed progress: 1026012
Forward closed progress: 1016909
Forward closed progress: 1031251
Forward closed progress: 1031527
Forward closed progress: 1035466
Forward closed progress: 1035500
Forward closed progress: 1043104
Forward closed progress: 1034804
Forward closed progress: 1008592
Forward closed progress: 1000924
Forward closed progress: 1053492
Forward closed progress: 1036798
Forward closed progress: 1035966
Forward closed progress: 1028118
Forward closed progress: 1045140
Forward closed progress: 1022134
Forward closed progress: 952557
Forward closed progress: 854565
Forward closed progress: 823018
Forward closed progress: 838771
Forward closed progress: 826731
Forward closed progress: 827430
Forward closed progress: 824969
Forward closed progress: 825179
Forward closed progress: 825239
Forward closed progress: 822283
Forward closed progress: 812031
Forward closed progress: 813876
Forward closed progress: 807273
Forward closed progress: 798986
Forward closed progress: 787866
Forward closed progress: 789091
Forward closed progress: 789867
Forward closed progress: 792102
Forward closed progress: 791822
Forward closed progress: 797002
Forward closed progress: 798811
Forward closed progress: 798691
Forward closed progress: 799030
Forward closed progress: 799022
Forward closed progress: 799832
Forward closed progress: 799612
Forward closed progress: 800124
Forward closed progress: 800776
Forward closed progress: 803274
Forward closed progress: 800677
Forward closed progress: 804152
Forward closed progress: 797334
Forward closed progress: 804496
Forward closed progress: 801859
Forward closed progress: 804161
Forward closed progress: 804221
Forward closed progress: 802588
Forward closed progress: 802516
Forward closed progress: 801840
Forward closed progress: 801801
Forward closed progress: 801020
Forward closed progress: 799672
Forward closed progress: 795419
Forward closed progress: 768920
Forward closed progress: 763170
Forward closed progress: 651460
Forward closed progress: 623317
Forward closed progress: 608298
Forward closed progress: 671784
Forward closed progress: 665407
Forward closed progress: 722591
Forward closed progress: 718057
Forward closed progress: 718099
Forward closed progress: 701349
Forward closed progress: 707022
Forward closed progress: 744056
Forward closed progress: 747251
Forward closed progress: 749213
Forward closed progress: 755494
Forward closed progress: 759474
Forward closed progress: 782603
Forward closed progress: 807891
Forward closed progress: 807919
Forward closed progress: 785816
Forward closed progress: 844769
Forward closed progress: 922171
Forward closed progress: 917439
Forward closed progress: 917583
Forward closed progress: 877520
Forward closed progress: 865406
Forward closed progress: 847286
Forward closed progress: 837087
Forward closed progress: 836367
Forward closed progress: 836733
Forward closed progress: 820259
Forward closed progress: 854596
Forward closed progress: 854552
Forward closed progress: 861177
Forward closed progress: 861213
Forward closed progress: 863803
Forward closed progress: 864001
Forward closed progress: 825794
Forward closed progress: 829724
Forward closed progress: 825574
Forward closed progress: 822690
Forward closed progress: 864713
Forward closed progress: 864673
Forward closed progress: 864133
Forward closed progress: 861657
Forward closed progress: 882233
Forward closed progress: 863469
Forward closed progress: 828970
Forward closed progress: 770932
Forward closed progress: 748485
Forward closed progress: 748087
Forward closed progress: 724910
Forward closed progress: 720415
Forward closed progress: 719066
Forward closed progress: 716181
Forward closed progress: 710400
Forward closed progress: 708729
Forward closed progress: 709808
Forward closed progress: 708666
Forward closed progress: 655227
Forward closed progress: 633815
Forward closed progress: 640761
Forward closed progress: 651260
Forward closed progress: 644111
Forward closed progress: 662603
Forward closed progress: 659725
Forward closed progress: 656311
Forward closed progress: 658234
Forward closed progress: 653497
Forward closed progress: 640809
Forward closed progress: 963140
Forward closed progress: 964224
Forward closed progress: 1023711
Forward closed progress: 1310996
Forward closed progress: 1531781
Forward closed progress: 1589765
Forward closed progress: 1589558
Forward closed progress: 1566254
Forward closed progress: 1566302
Forward closed progress: 1530806
Forward closed progress: 1536680
Forward closed progress: 1532855
Forward closed progress: 1539747
Forward closed progress: 1532054
Forward closed progress: 1532709
Forward closed progress: 1529753
Forward closed progress: 1545040
Forward closed progress: 1535946
Forward closed progress: 1539885
Forward closed progress: 1696366
Forward closed progress: 1690574
Forward closed progress: 1668583
Forward closed progress: 1703490
Forward closed progress: 1710261
Forward closed progress: 1701963
Forward closed progress: 1701983
Forward closed progress: 1688380
Forward closed progress: 1673717
Forward closed progress: 1649409
Forward closed progress: 1646844
Forward closed progress: 1670237
Forward closed progress: 1677859
Forward closed progress: 1675791
Forward closed progress: 1675811
Forward closed progress: 1664314
Forward closed progress: 1657107
Forward closed progress: 1728340
Forward closed progress: 1733010
Forward closed progress: 1743903
Forward closed progress: 1758436
Forward closed progress: 1758468
Forward closed progress: 1795800
Forward closed progress: 1807203
Forward closed progress: 1866830
Forward closed progress: 1866890
Forward closed progress: 1812908
Forward closed progress: 1865472
Forward closed progress: 1798270
Forward closed progress: 1797160
Forward closed progress: 1794181
Forward closed progress: 1756211
Forward closed progress: 1795258
Forward closed progress: 1793715
Forward closed progress: 1806150
Forward closed progress: 1806202
Forward closed progress: 1821976
Forward closed progress: 1820018
Forward closed progress: 1728369
Forward closed progress: 1736355
Forward closed progress: 1736265
Forward closed progress: 1751165
Forward closed progress: 1746679
Forward closed progress: 1746805
Forward closed progress: 1750543
Forward closed progress: 1747840
Forward closed progress: 1747878
Forward closed progress: 1747888
Forward closed progress: 1751062
Forward closed progress: 1751882
Forward closed progress: 1756214
Forward closed progress: 1756219
Forward closed progress: 1770639
Forward closed progress: 1780831
Forward closed progress: 1780819
Forward closed progress: 1774970
Forward closed progress: 1771387
Forward closed progress: 1774427
Forward closed progress: 1774591
Forward closed progress: 1776543
Forward closed progress: 1776549
Forward closed progress: 1774681
Forward closed progress: 1774681
Forward closed progress: 1773465
Forward closed progress: 1772245
Forward closed progress: 1849591
Forward closed progress: 1849727
Forward closed progress: 1829407
Forward closed progress: 1828665
Forward closed progress: 1828625
Forward closed progress: 1803143
Forward closed progress: 1821517
Forward closed progress: 1819812
Forward closed progress: 1813933
Forward closed progress: 1813555
Forward closed progress: 1813191
Forward closed progress: 1813101
Forward closed progress: 1812951
Forward closed progress: 1810864
Forward closed progress: 1753045
Forward closed progress: 1758907
Forward closed progress: 1758867
Forward closed progress: 1751123
Forward closed progress: 1753845
Forward closed progress: 1753851
Forward closed progress: 1750907
Forward closed progress: 1749617
Forward closed progress: 1657779
Forward closed progress: 1678514
Forward closed progress: 1662112
Forward closed progress: 1646588
Forward closed progress: 1588787
Forward closed progress: 1476526
Forward closed progress: 1508306
Forward closed progress: 1367803
Forward closed progress: 1366341
Forward closed progress: 1365818
Forward closed progress: 1365749
Forward closed progress: 1365936
Forward closed progress: 1221484
Forward closed progress: 1220682
Forward closed progress: 1214475
Forward closed progress: 1184507
Forward closed progress: 1174263
Forward closed progress: 1174650
Forward closed progress: 1169013
Forward closed progress: 1167055
Forward closed progress: 1173001
Forward closed progress: 1172356
Forward closed progress: 1172308
Forward closed progress: 1169981
Forward closed progress: 1167210
Forward closed progress: 1164485
Forward closed progress: 1162393
Forward closed progress: 1135338
Forward closed progress: 1132959
Forward closed progress: 1133332
Forward closed progress: 1132979
Forward closed progress: 1135445
Forward closed progress: 1135129
Forward closed progress: 1134427
Forward closed progress: 1134355
Forward closed progress: 1133039
Forward closed progress: 1132578
Forward closed progress: 1134713
Forward closed progress: 1135852
Forward closed progress: 1140684
Forward closed progress: 1141655
Forward closed progress: 1141655
Forward closed progress: 1139484
Forward closed progress: 1139484
Control exists for 5 color(s), jumping through 60123512832 vertices.
Elapsed: 4038844 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 4038.844
user ??
sys ??
