>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 18
Perturbation colors: 9007199254740992
All colors: 162129586585337860
Unknown update functions: 3
Lowest cardinality: 0
Highest cardinality: 1
Attractor colors: 36028797018963970
Attractor colors computed in 325 ms.
Backward progress: 103372
Backward progress: 103248
Backward progress: 105779
Backward progress: 112324
Backward progress: 115239
Backward progress: 115248
Backward progress: 115260
Backward progress: 115337
Backward progress: 114754
Backward progress: 114781
Backward progress: 117821
Backward progress: 117826
Backward progress: 117778
Backward progress: 116104
Backward progress: 116114
Backward progress: 116249
Backward progress: 115156
Backward progress: 114226
Backward progress: 113536
Backward progress: 128380
Backward progress: 129407
Backward progress: 129310
Backward progress: 132787
Backward progress: 132947
Backward progress: 132847
Backward progress: 133115
Backward progress: 133176
Backward progress: 133374
Backward progress: 137635
Backward progress: 137592
Backward progress: 137629
Backward progress: 135729
Backward progress: 135497
Backward progress: 135403
Backward progress: 135437
Backward progress: 135628
Backward progress: 127088
Backward progress: 126493
Backward progress: 126302
Backward progress: 126089
Backward progress: 126558
Backward progress: 124653
Backward progress: 127204
Backward progress: 123594
Backward progress: 125066
Backward progress: 125082
Backward progress: 124279
Backward progress: 124251
Backward progress: 123599
Backward progress: 122849
Backward progress: 121458
Backward progress: 117654
Backward progress: 117541
Backward progress: 117500
Backward progress: 117300
Backward progress: 116433
Backward progress: 116291
Backward progress: 115868
Backward progress: 116386
Backward progress: 116011
Backward progress: 115669
Backward progress: 115179
Backward progress: 113914
Backward progress: 113915
Backward progress: 113606
Backward progress: 136337
Backward progress: 140138
Backward progress: 127303
Backward progress: 136072
Backward progress: 136094
Backward progress: 130709
Backward progress: 130596
Backward progress: 126933
Backward progress: 122153
Backward progress: 122928
Backward progress: 121140
Backward progress: 119399
Backward progress: 107426
Backward progress: 137716
Backward progress: 152962
Backward progress: 154127
Backward progress: 155491
Backward progress: 159505
Backward progress: 159586
Backward progress: 159603
Backward progress: 159819
Backward progress: 158487
Backward progress: 159173
Backward progress: 158502
Backward progress: 158579
Backward progress: 158818
Backward progress: 163736
Backward progress: 163756
Backward progress: 163994
Backward progress: 161362
Backward progress: 161302
Backward progress: 161730
Backward progress: 161682
Backward progress: 161842
Backward progress: 160907
Backward progress: 160808
Backward progress: 160928
Backward progress: 161367
Backward progress: 159442
Backward progress: 164153
Backward progress: 157415
Backward progress: 157399
Backward progress: 157117
Backward progress: 156617
Backward progress: 156473
Backward progress: 161227
Backward progress: 160812
Backward progress: 162364
Backward progress: 162380
Backward progress: 161534
Backward progress: 161506
Backward progress: 160836
Backward progress: 160836
Backward progress: 161466
Backward progress: 160839
Backward progress: 158942
Backward progress: 161362
Backward progress: 160173
Backward progress: 160322
Backward progress: 159408
Backward progress: 159479
Backward progress: 159336
Backward progress: 158824
Backward progress: 156139
Backward progress: 154997
Backward progress: 155215
Backward progress: 154547
Backward progress: 154995
Backward progress: 153426
Backward progress: 156392
Backward progress: 154755
Backward progress: 153586
Backward progress: 152633
Backward progress: 149609
Backward progress: 149389
Backward progress: 149259
Backward progress: 148300
Backward progress: 152162
Backward progress: 139898
Backward progress: 140318
Backward progress: 140425
Backward progress: 140597
Backward progress: 140605
Backward progress: 140577
Backward progress: 140485
Backward progress: 141418
Backward progress: 141374
Backward progress: 139765
Backward progress: 139791
Backward progress: 139479
Backward progress: 139515
Backward progress: 139339
Backward progress: 139408
Backward progress: 139169
Backward progress: 138363
Backward progress: 121181
Backward progress: 121165
Backward progress: 103484
Backward progress: 103643
Backward progress: 103410
Backward progress: 104236
Backward progress: 104439
Backward progress: 104744
Backward progress: 114015
Backward progress: 114821
Backward progress: 115937
Backward progress: 112090
Backward progress: 112002
Backward progress: 112700
Backward progress: 113409
Backward progress: 113681
Backward progress: 111086
Backward progress: 111436
Backward progress: 113000
Backward progress: 112595
Backward progress: 111445
Backward progress: 112888
Backward progress: 110892
Backward progress: 123274
Backward progress: 122112
Backward progress: 125442
Backward progress: 125452
Backward progress: 123386
Backward progress: 123379
Backward progress: 122153
Backward progress: 122046
Backward progress: 119617
Backward progress: 118635
Backward progress: 117732
Backward progress: 137353
Backward progress: 139581
Backward progress: 124027
Backward progress: 131820
Backward progress: 131830
Backward progress: 126772
Backward progress: 126711
Backward progress: 123565
Backward progress: 117842
Backward progress: 117283
Backward progress: 116557
Backward progress: 114395
Backward progress: 102050
Backward progress: 100408
Forward closed progress: 149846
Forward closed progress: 104365
Forward closed progress: 104365
Forward closed progress: 104365
Forward closed progress: 110675
Forward closed progress: 156305
Forward closed progress: 156434
Forward closed progress: 156470
Forward closed progress: 128823
Forward closed progress: 101874
Forward closed progress: 120792
Forward closed progress: 122967
Forward closed progress: 113762
Forward closed progress: 107999
Forward closed progress: 107239
Forward closed progress: 137708
Forward closed progress: 180451
Forward closed progress: 180648
Forward closed progress: 180706
Forward closed progress: 156058
Forward closed progress: 125184
Forward closed progress: 124198
Forward closed progress: 125764
Forward closed progress: 113370
Forward closed progress: 101470
Forward closed progress: 114763
Forward closed progress: 114815
Forward closed progress: 146820
Forward closed progress: 247651
Forward closed progress: 311863
Forward closed progress: 366752
Forward closed progress: 367070
Forward closed progress: 367148
Forward closed progress: 324499
Forward closed progress: 328146
Forward closed progress: 328362
Forward closed progress: 278196
Forward closed progress: 314069
Forward closed progress: 257971
Forward closed progress: 223480
Forward closed progress: 217416
Forward closed progress: 220092
Forward closed progress: 220122
Forward closed progress: 220134
Forward closed progress: 209738
Forward closed progress: 227303
Forward closed progress: 232641
Forward closed progress: 255947
Forward closed progress: 250911
Forward closed progress: 214813
Forward closed progress: 215084
Forward closed progress: 215136
Forward closed progress: 167926
Forward closed progress: 225495
Forward closed progress: 253177
Forward closed progress: 253862
Forward closed progress: 261675
Forward closed progress: 261831
Forward closed progress: 262149
Forward closed progress: 246233
Forward closed progress: 246661
Forward closed progress: 218868
Forward closed progress: 249684
Forward closed progress: 254168
Forward closed progress: 250940
Forward closed progress: 262928
Forward closed progress: 263044
Forward closed progress: 255343
Forward closed progress: 248277
Forward closed progress: 192562
Forward closed progress: 263025
Forward closed progress: 326109
Forward closed progress: 321121
Forward closed progress: 321875
Forward closed progress: 327266
Forward closed progress: 386047
Forward closed progress: 387904
Forward closed progress: 447299
Forward closed progress: 441594
Forward closed progress: 441632
Forward closed progress: 410362
Forward closed progress: 409290
Forward closed progress: 410403
Forward closed progress: 410402
Forward closed progress: 410180
Forward closed progress: 409868
Forward closed progress: 432548
Forward closed progress: 433305
Forward closed progress: 433291
Forward closed progress: 433410
Forward closed progress: 433462
Forward closed progress: 421253
Forward closed progress: 420310
Forward closed progress: 420757
Forward closed progress: 420762
Forward closed progress: 408141
Forward closed progress: 407499
Forward closed progress: 406373
Forward closed progress: 402799
Forward closed progress: 447872
Forward closed progress: 447894
Forward closed progress: 407643
Forward closed progress: 408973
Forward closed progress: 437855
Forward closed progress: 431686
Forward closed progress: 431722
Forward closed progress: 360466
Forward closed progress: 350606
Forward closed progress: 330736
Forward closed progress: 323613
Forward closed progress: 320623
Forward closed progress: 282308
Forward closed progress: 276907
Forward closed progress: 277168
Forward closed progress: 282652
Forward closed progress: 282688
Forward closed progress: 285973
Forward closed progress: 282112
Forward closed progress: 258202
Forward closed progress: 212256
Forward closed progress: 340645
Forward closed progress: 355183
Forward closed progress: 365143
Forward closed progress: 364835
Forward closed progress: 370913
Forward closed progress: 353981
Forward closed progress: 308578
Forward closed progress: 292792
Forward closed progress: 292299
Forward closed progress: 289739
Forward closed progress: 298681
Forward closed progress: 299564
Forward closed progress: 302899
Forward closed progress: 320136
Forward closed progress: 331688
Forward closed progress: 330477
Forward closed progress: 330497
Forward closed progress: 318546
Forward closed progress: 329749
Forward closed progress: 330255
Forward closed progress: 330359
Forward closed progress: 330914
Forward closed progress: 351435
Forward closed progress: 354250
Forward closed progress: 354259
Forward closed progress: 354058
Forward closed progress: 354074
Forward closed progress: 341697
Forward closed progress: 336761
Forward closed progress: 336527
Forward closed progress: 336959
Forward closed progress: 355264
Forward closed progress: 351258
Forward closed progress: 353115
Forward closed progress: 354139
Forward closed progress: 351115
Forward closed progress: 355448
Forward closed progress: 370497
Forward closed progress: 367650
Forward closed progress: 367662
Forward closed progress: 353803
Forward closed progress: 352873
Forward closed progress: 354144
Forward closed progress: 352238
Forward closed progress: 389649
Forward closed progress: 390241
Forward closed progress: 384727
Forward closed progress: 385729
Forward closed progress: 361489
Forward closed progress: 372511
Forward closed progress: 372859
Forward closed progress: 346255
Forward closed progress: 373869
Forward closed progress: 374013
Forward closed progress: 386785
Forward closed progress: 393160
Forward closed progress: 390714
Forward closed progress: 376982
Forward closed progress: 386733
Forward closed progress: 482775
Forward closed progress: 550034
Forward closed progress: 628534
Forward closed progress: 638918
Forward closed progress: 641556
Forward closed progress: 641805
Forward closed progress: 641877
Forward closed progress: 637805
Forward closed progress: 631693
Forward closed progress: 653349
Forward closed progress: 635621
Forward closed progress: 603843
Forward closed progress: 619989
Forward closed progress: 627105
Forward closed progress: 635943
Forward closed progress: 635997
Forward closed progress: 675258
Forward closed progress: 688617
Forward closed progress: 688545
Forward closed progress: 716321
Forward closed progress: 727959
Forward closed progress: 730155
Forward closed progress: 729681
Forward closed progress: 731963
Forward closed progress: 742620
Forward closed progress: 731009
Forward closed progress: 771980
Forward closed progress: 771979
Forward closed progress: 781814
Forward closed progress: 781874
Forward closed progress: 774716
Forward closed progress: 774608
Forward closed progress: 772267
Forward closed progress: 772267
Forward closed progress: 754987
Forward closed progress: 753902
Forward closed progress: 782358
Forward closed progress: 783723
Forward closed progress: 577818
Forward closed progress: 587655
Forward closed progress: 584013
Forward closed progress: 541526
Forward closed progress: 517715
Forward closed progress: 509497
Forward closed progress: 417438
Forward closed progress: 423057
Forward closed progress: 395180
Forward closed progress: 462523
Forward closed progress: 526068
Forward closed progress: 522927
Forward closed progress: 571626
Forward closed progress: 564678
Forward closed progress: 564704
Forward closed progress: 545808
Forward closed progress: 546975
Forward closed progress: 584927
Forward closed progress: 587637
Forward closed progress: 587791
Forward closed progress: 593043
Forward closed progress: 596861
Forward closed progress: 614171
Forward closed progress: 613619
Forward closed progress: 613697
Forward closed progress: 637644
Forward closed progress: 637656
Forward closed progress: 616112
Forward closed progress: 665313
Forward closed progress: 731339
Forward closed progress: 723371
Forward closed progress: 723463
Forward closed progress: 675611
Forward closed progress: 660788
Forward closed progress: 624220
Forward closed progress: 614489
Forward closed progress: 617434
Forward closed progress: 617664
Forward closed progress: 601673
Forward closed progress: 621487
Forward closed progress: 620515
Forward closed progress: 626627
Forward closed progress: 626663
Forward closed progress: 628555
Forward closed progress: 628291
Forward closed progress: 587802
Forward closed progress: 589047
Forward closed progress: 587582
Forward closed progress: 587529
Forward closed progress: 587092
Forward closed progress: 587443
Forward closed progress: 587471
Forward closed progress: 587491
Forward closed progress: 587244
Forward closed progress: 587874
Forward closed progress: 587874
Forward closed progress: 586094
Forward closed progress: 629854
Forward closed progress: 621521
Forward closed progress: 620981
Forward closed progress: 618505
Forward closed progress: 636791
Forward closed progress: 647503
Forward closed progress: 640672
Forward closed progress: 640671
Forward closed progress: 644231
Forward closed progress: 643066
Forward closed progress: 642137
Forward closed progress: 641416
Forward closed progress: 640926
Forward closed progress: 604781
Forward closed progress: 562772
Forward closed progress: 551498
Forward closed progress: 504032
Forward closed progress: 476075
Forward closed progress: 467368
Forward closed progress: 467425
Forward closed progress: 462037
Forward closed progress: 458286
Forward closed progress: 449469
Forward closed progress: 448558
Forward closed progress: 449602
Forward closed progress: 448495
Forward closed progress: 449146
Forward closed progress: 450499
Forward closed progress: 450651
Forward closed progress: 445734
Forward closed progress: 446557
Forward closed progress: 446389
Forward closed progress: 445022
Forward closed progress: 442891
Forward closed progress: 442879
Forward closed progress: 440217
Forward closed progress: 391862
Forward closed progress: 506536
Forward closed progress: 510033
Forward closed progress: 618765
Forward closed progress: 742395
Forward closed progress: 848532
Forward closed progress: 846079
Forward closed progress: 846147
Forward closed progress: 831360
Forward closed progress: 844440
Forward closed progress: 940513
Forward closed progress: 946821
Forward closed progress: 946675
Forward closed progress: 964189
Forward closed progress: 974256
Forward closed progress: 1025328
Forward closed progress: 1070908
Forward closed progress: 1070936
Forward closed progress: 1028340
Forward closed progress: 1132671
Forward closed progress: 1267552
Forward closed progress: 1269692
Forward closed progress: 1269984
Forward closed progress: 1226076
Forward closed progress: 1218232
Forward closed progress: 1232941
Forward closed progress: 1207008
Forward closed progress: 1222481
Forward closed progress: 1225487
Forward closed progress: 1196483
Forward closed progress: 1108322
Forward closed progress: 1106170
Forward closed progress: 1134215
Forward closed progress: 1131453
Forward closed progress: 1143815
Forward closed progress: 1143863
Forward closed progress: 1149755
Forward closed progress: 1150115
Forward closed progress: 1068447
Forward closed progress: 1133815
Forward closed progress: 1081624
Forward closed progress: 955225
Forward closed progress: 957593
Forward closed progress: 984034
Forward closed progress: 1003580
Forward closed progress: 1003283
Forward closed progress: 1003301
Forward closed progress: 999052
Forward closed progress: 1002293
Forward closed progress: 1021793
Forward closed progress: 1022787
Forward closed progress: 1027630
Forward closed progress: 1037405
Forward closed progress: 1052721
Forward closed progress: 1052737
Forward closed progress: 1040259
Forward closed progress: 1059696
Forward closed progress: 1068213
Forward closed progress: 1068654
Forward closed progress: 1068698
Forward closed progress: 1051466
Forward closed progress: 1049723
Forward closed progress: 1047247
Forward closed progress: 1040697
Forward closed progress: 1031594
Forward closed progress: 1045936
Forward closed progress: 1046212
Forward closed progress: 1050151
Forward closed progress: 1050185
Forward closed progress: 1057789
Forward closed progress: 1049489
Forward closed progress: 1023277
Forward closed progress: 1015333
Forward closed progress: 1069306
Forward closed progress: 1052612
Forward closed progress: 1051780
Forward closed progress: 1043932
Forward closed progress: 1060954
Forward closed progress: 1037948
Forward closed progress: 966378
Forward closed progress: 866279
Forward closed progress: 835044
Forward closed progress: 849858
Forward closed progress: 837860
Forward closed progress: 838455
Forward closed progress: 835970
Forward closed progress: 836180
Forward closed progress: 836240
Forward closed progress: 833290
Forward closed progress: 822873
Forward closed progress: 824718
Forward closed progress: 818115
Forward closed progress: 809746
Forward closed progress: 798656
Forward closed progress: 799881
Forward closed progress: 800657
Forward closed progress: 802892
Forward closed progress: 802612
Forward closed progress: 807792
Forward closed progress: 809601
Forward closed progress: 809481
Forward closed progress: 809796
Forward closed progress: 809788
Forward closed progress: 810598
Forward closed progress: 810378
Forward closed progress: 810890
Forward closed progress: 811542
Forward closed progress: 814040
Forward closed progress: 811443
Forward closed progress: 814918
Forward closed progress: 808040
Forward closed progress: 815202
Forward closed progress: 812565
Forward closed progress: 814867
Forward closed progress: 814927
Forward closed progress: 813294
Forward closed progress: 813222
Forward closed progress: 812546
Forward closed progress: 812507
Forward closed progress: 811726
Forward closed progress: 810378
Forward closed progress: 806149
Forward closed progress: 779638
Forward closed progress: 773749
Forward closed progress: 660531
Forward closed progress: 631725
Forward closed progress: 616968
Forward closed progress: 681115
Forward closed progress: 674810
Forward closed progress: 733083
Forward closed progress: 728549
Forward closed progress: 728591
Forward closed progress: 711841
Forward closed progress: 717514
Forward closed progress: 754548
Forward closed progress: 757743
Forward closed progress: 759705
Forward closed progress: 765986
Forward closed progress: 769966
Forward closed progress: 793095
Forward closed progress: 818383
Forward closed progress: 818411
Forward closed progress: 796308
Forward closed progress: 855177
Forward closed progress: 932519
Forward closed progress: 927787
Forward closed progress: 927931
Forward closed progress: 887850
Forward closed progress: 875713
Forward closed progress: 857581
Forward closed progress: 847358
Forward closed progress: 846626
Forward closed progress: 846992
Forward closed progress: 830491
Forward closed progress: 864828
Forward closed progress: 864784
Forward closed progress: 871409
Forward closed progress: 871445
Forward closed progress: 874035
Forward closed progress: 874233
Forward closed progress: 835645
Forward closed progress: 839575
Forward closed progress: 835425
Forward closed progress: 832541
Forward closed progress: 875113
Forward closed progress: 875073
Forward closed progress: 874533
Forward closed progress: 872057
Forward closed progress: 892633
Forward closed progress: 873869
Forward closed progress: 838755
Forward closed progress: 780015
Forward closed progress: 757600
Forward closed progress: 756835
Forward closed progress: 733757
Forward closed progress: 729238
Forward closed progress: 727826
Forward closed progress: 724941
Forward closed progress: 719124
Forward closed progress: 717445
Forward closed progress: 718524
Forward closed progress: 717382
Forward closed progress: 663392
Forward closed progress: 641749
Forward closed progress: 648857
Forward closed progress: 659338
Forward closed progress: 652195
Forward closed progress: 670903
Forward closed progress: 668025
Forward closed progress: 664539
Forward closed progress: 666462
Forward closed progress: 661653
Forward closed progress: 648965
Forward closed progress: 974257
Forward closed progress: 975341
Forward closed progress: 1034246
Forward closed progress: 1322494
Forward closed progress: 1545055
Forward closed progress: 1603027
Forward closed progress: 1602832
Forward closed progress: 1579528
Forward closed progress: 1579576
Forward closed progress: 1544080
Forward closed progress: 1549924
Forward closed progress: 1545877
Forward closed progress: 1552769
Forward closed progress: 1545076
Forward closed progress: 1545731
Forward closed progress: 1542775
Forward closed progress: 1558038
Forward closed progress: 1548968
Forward closed progress: 1552883
Forward closed progress: 1709226
Forward closed progress: 1703094
Forward closed progress: 1681145
Forward closed progress: 1715932
Forward closed progress: 1722877
Forward closed progress: 1714579
Forward closed progress: 1714599
Forward closed progress: 1700996
Forward closed progress: 1686333
Forward closed progress: 1661977
Forward closed progress: 1659436
Forward closed progress: 1682805
Forward closed progress: 1690427
Forward closed progress: 1688359
Forward closed progress: 1688379
Forward closed progress: 1676882
Forward closed progress: 1669675
Forward closed progress: 1740908
Forward closed progress: 1745578
Forward closed progress: 1756471
Forward closed progress: 1771004
Forward closed progress: 1771036
Forward closed progress: 1808368
Forward closed progress: 1819771
Forward closed progress: 1879390
Forward closed progress: 1879450
Forward closed progress: 1825468
Forward closed progress: 1877858
Forward closed progress: 1810992
Forward closed progress: 1809882
Forward closed progress: 1806903
Forward closed progress: 1768933
Forward closed progress: 1807980
Forward closed progress: 1806437
Forward closed progress: 1818872
Forward closed progress: 1818924
Forward closed progress: 1834698
Forward closed progress: 1832740
Forward closed progress: 1740883
Forward closed progress: 1748869
Forward closed progress: 1748779
Forward closed progress: 1763810
Forward closed progress: 1759324
Forward closed progress: 1759438
Forward closed progress: 1763176
Forward closed progress: 1760473
Forward closed progress: 1760511
Forward closed progress: 1760521
Forward closed progress: 1763695
Forward closed progress: 1764515
Forward closed progress: 1768847
Forward closed progress: 1768852
Forward closed progress: 1783272
Forward closed progress: 1793464
Forward closed progress: 1793452
Forward closed progress: 1787603
Forward closed progress: 1784020
Forward closed progress: 1787055
Forward closed progress: 1787219
Forward closed progress: 1789171
Forward closed progress: 1789177
Forward closed progress: 1787309
Forward closed progress: 1787309
Forward closed progress: 1786093
Forward closed progress: 1784873
Forward closed progress: 1862923
Forward closed progress: 1863051
Forward closed progress: 1842731
Forward closed progress: 1841989
Forward closed progress: 1841949
Forward closed progress: 1816467
Forward closed progress: 1834861
Forward closed progress: 1833174
Forward closed progress: 1827283
Forward closed progress: 1826905
Forward closed progress: 1826541
Forward closed progress: 1826451
Forward closed progress: 1826301
Forward closed progress: 1824214
Forward closed progress: 1765661
Forward closed progress: 1771523
Forward closed progress: 1771483
Forward closed progress: 1763739
Forward closed progress: 1766461
Forward closed progress: 1766467
Forward closed progress: 1763523
Forward closed progress: 1762233
Forward closed progress: 1669612
Forward closed progress: 1690445
Forward closed progress: 1673989
Forward closed progress: 1658465
Forward closed progress: 1600570
Forward closed progress: 1487955
Forward closed progress: 1518802
Forward closed progress: 1378208
Forward closed progress: 1376746
Forward closed progress: 1376223
Forward closed progress: 1376154
Forward closed progress: 1376341
Forward closed progress: 1231750
Forward closed progress: 1230948
Forward closed progress: 1224747
Forward closed progress: 1194734
Forward closed progress: 1184568
Forward closed progress: 1184955
Forward closed progress: 1179142
Forward closed progress: 1177190
Forward closed progress: 1183246
Forward closed progress: 1182601
Forward closed progress: 1182553
Forward closed progress: 1180184
Forward closed progress: 1177383
Forward closed progress: 1174642
Forward closed progress: 1172534
Forward closed progress: 1145421
Forward closed progress: 1143042
Forward closed progress: 1143397
Forward closed progress: 1143062
Forward closed progress: 1145560
Forward closed progress: 1145244
Forward closed progress: 1144526
Forward closed progress: 1144454
Forward closed progress: 1143122
Forward closed progress: 1142661
Forward closed progress: 1144826
Forward closed progress: 1145983
Forward closed progress: 1150855
Forward closed progress: 1151826
Forward closed progress: 1151826
Forward closed progress: 1149615
Forward closed progress: 1149615
Control exists for 4 color(s), jumping through 3298534883328 vertices.
Elapsed: 5179734 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5179.734
user ??
sys ??
