>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 3
Perturbation colors: 9007199254740992
All colors: 27021597764222976
Unknown update functions: 1
Lowest cardinality: 1
Highest cardinality: 1
Attractor colors: 18014398509481984
Attractor colors computed in 330 ms.
Backward progress: 102470
Backward progress: 102346
Backward progress: 104877
Backward progress: 111402
Backward progress: 114307
Backward progress: 114316
Backward progress: 114328
Backward progress: 114405
Backward progress: 113822
Backward progress: 113858
Backward progress: 116907
Backward progress: 116912
Backward progress: 116860
Backward progress: 115195
Backward progress: 115205
Backward progress: 115349
Backward progress: 114247
Backward progress: 113317
Backward progress: 112627
Backward progress: 127607
Backward progress: 128648
Backward progress: 128549
Backward progress: 132094
Backward progress: 132254
Backward progress: 132151
Backward progress: 132419
Backward progress: 132480
Backward progress: 132678
Backward progress: 137004
Backward progress: 136961
Backward progress: 136998
Backward progress: 135089
Backward progress: 134854
Backward progress: 134765
Backward progress: 134799
Backward progress: 135016
Backward progress: 126280
Backward progress: 125670
Backward progress: 125480
Backward progress: 125267
Backward progress: 125768
Backward progress: 123818
Backward progress: 126369
Backward progress: 122732
Backward progress: 124238
Backward progress: 124254
Backward progress: 123433
Backward progress: 123405
Backward progress: 122737
Backward progress: 121977
Backward progress: 120586
Backward progress: 116733
Backward progress: 116605
Backward progress: 116564
Backward progress: 116364
Backward progress: 115500
Backward progress: 115358
Backward progress: 114939
Backward progress: 115457
Backward progress: 115082
Backward progress: 114740
Backward progress: 114258
Backward progress: 112990
Backward progress: 112991
Backward progress: 112697
Backward progress: 135452
Backward progress: 139369
Backward progress: 126456
Backward progress: 135451
Backward progress: 135473
Backward progress: 129956
Backward progress: 129843
Backward progress: 126086
Backward progress: 121244
Backward progress: 122019
Backward progress: 120231
Backward progress: 118442
Backward progress: 106817
Backward progress: 136623
Backward progress: 152118
Backward progress: 153303
Backward progress: 154691
Backward progress: 158711
Backward progress: 158792
Backward progress: 158809
Backward progress: 159025
Backward progress: 157669
Backward progress: 158379
Backward progress: 157684
Backward progress: 157761
Backward progress: 158001
Backward progress: 162963
Backward progress: 162983
Backward progress: 163221
Backward progress: 160584
Backward progress: 160522
Backward progress: 160955
Backward progress: 160907
Backward progress: 161096
Backward progress: 160155
Backward progress: 160057
Backward progress: 160180
Backward progress: 160645
Backward progress: 158681
Backward progress: 163392
Backward progress: 156696
Backward progress: 156680
Backward progress: 156418
Backward progress: 155902
Backward progress: 155758
Backward progress: 160512
Backward progress: 160101
Backward progress: 161687
Backward progress: 161703
Backward progress: 160839
Backward progress: 160811
Backward progress: 160125
Backward progress: 160125
Backward progress: 160835
Backward progress: 160176
Backward progress: 158225
Backward progress: 160740
Backward progress: 159514
Backward progress: 159667
Backward progress: 158630
Backward progress: 158665
Backward progress: 158522
Backward progress: 158010
Backward progress: 155325
Backward progress: 154151
Backward progress: 154373
Backward progress: 153687
Backward progress: 154153
Backward progress: 152634
Backward progress: 155610
Backward progress: 153973
Backward progress: 152784
Backward progress: 151859
Backward progress: 148806
Backward progress: 148570
Backward progress: 148440
Backward progress: 147466
Backward progress: 151328
Backward progress: 139070
Backward progress: 139490
Backward progress: 139605
Backward progress: 139785
Backward progress: 139793
Backward progress: 139765
Backward progress: 139673
Backward progress: 140606
Backward progress: 140562
Backward progress: 138949
Backward progress: 138991
Backward progress: 138663
Backward progress: 138699
Backward progress: 138523
Backward progress: 138598
Backward progress: 138353
Backward progress: 137543
Backward progress: 120491
Backward progress: 120491
Backward progress: 102600
Backward progress: 102759
Backward progress: 102520
Backward progress: 103346
Backward progress: 103549
Backward progress: 103849
Backward progress: 113151
Backward progress: 113957
Backward progress: 115067
Backward progress: 111259
Backward progress: 111163
Backward progress: 111871
Backward progress: 112587
Backward progress: 112888
Backward progress: 110251
Backward progress: 110563
Backward progress: 112155
Backward progress: 111742
Backward progress: 110584
Backward progress: 112040
Backward progress: 110042
Backward progress: 122424
Backward progress: 121262
Backward progress: 124614
Backward progress: 124624
Backward progress: 122540
Backward progress: 122533
Backward progress: 121303
Backward progress: 121204
Backward progress: 118775
Backward progress: 117793
Backward progress: 116890
Backward progress: 136511
Backward progress: 138771
Backward progress: 123145
Backward progress: 131088
Backward progress: 131098
Backward progress: 125944
Backward progress: 125883
Backward progress: 122683
Backward progress: 116912
Backward progress: 116353
Backward progress: 115627
Backward progress: 113429
Backward progress: 101334
Forward closed progress: 148081
Forward closed progress: 102742
Forward closed progress: 102742
Forward closed progress: 102742
Forward closed progress: 109655
Forward closed progress: 154991
Forward closed progress: 155120
Forward closed progress: 155156
Forward closed progress: 127223
Forward closed progress: 100650
Forward closed progress: 119440
Forward closed progress: 121835
Forward closed progress: 112516
Forward closed progress: 106693
Forward closed progress: 106077
Forward closed progress: 136877
Forward closed progress: 179395
Forward closed progress: 179592
Forward closed progress: 179650
Forward closed progress: 154692
Forward closed progress: 123628
Forward closed progress: 122642
Forward closed progress: 124304
Forward closed progress: 111814
Forward closed progress: 113585
Forward closed progress: 113637
Forward closed progress: 145633
Forward closed progress: 245554
Forward closed progress: 310056
Forward closed progress: 365110
Forward closed progress: 365428
Forward closed progress: 365506
Forward closed progress: 322609
Forward closed progress: 328032
Forward closed progress: 328248
Forward closed progress: 276786
Forward closed progress: 312843
Forward closed progress: 256625
Forward closed progress: 221854
Forward closed progress: 215702
Forward closed progress: 218418
Forward closed progress: 218448
Forward closed progress: 218460
Forward closed progress: 207988
Forward closed progress: 225553
Forward closed progress: 231227
Forward closed progress: 254491
Forward closed progress: 249383
Forward closed progress: 213101
Forward closed progress: 213372
Forward closed progress: 213424
Forward closed progress: 165906
Forward closed progress: 223472
Forward closed progress: 251907
Forward closed progress: 252592
Forward closed progress: 260677
Forward closed progress: 260833
Forward closed progress: 261618
Forward closed progress: 245508
Forward closed progress: 245936
Forward closed progress: 218083
Forward closed progress: 248875
Forward closed progress: 253355
Forward closed progress: 250125
Forward closed progress: 262433
Forward closed progress: 262549
Forward closed progress: 254816
Forward closed progress: 247646
Forward closed progress: 191863
Forward closed progress: 261510
Forward closed progress: 324618
Forward closed progress: 319566
Forward closed progress: 320350
Forward closed progress: 326039
Forward closed progress: 385414
Forward closed progress: 387261
Forward closed progress: 447074
Forward closed progress: 441157
Forward closed progress: 441195
Forward closed progress: 409625
Forward closed progress: 408523
Forward closed progress: 409628
Forward closed progress: 409627
Forward closed progress: 409405
Forward closed progress: 409093
Forward closed progress: 431753
Forward closed progress: 432634
Forward closed progress: 432620
Forward closed progress: 432739
Forward closed progress: 432791
Forward closed progress: 420458
Forward closed progress: 419623
Forward closed progress: 420050
Forward closed progress: 420055
Forward closed progress: 407452
Forward closed progress: 406810
Forward closed progress: 405704
Forward closed progress: 402110
Forward closed progress: 447421
Forward closed progress: 447443
Forward closed progress: 406954
Forward closed progress: 408150
Forward closed progress: 436981
Forward closed progress: 431418
Forward closed progress: 431454
Forward closed progress: 359494
Forward closed progress: 349527
Forward closed progress: 329589
Forward closed progress: 322434
Forward closed progress: 319429
Forward closed progress: 280996
Forward closed progress: 275586
Forward closed progress: 275847
Forward closed progress: 281403
Forward closed progress: 281439
Forward closed progress: 284760
Forward closed progress: 280863
Forward closed progress: 256665
Forward closed progress: 211071
Forward closed progress: 337459
Forward closed progress: 352413
Forward closed progress: 362373
Forward closed progress: 361870
Forward closed progress: 367933
Forward closed progress: 350849
Forward closed progress: 305453
Forward closed progress: 289583
Forward closed progress: 289090
Forward closed progress: 286302
Forward closed progress: 295182
Forward closed progress: 296095
Forward closed progress: 299624
Forward closed progress: 317089
Forward closed progress: 328641
Forward closed progress: 327370
Forward closed progress: 327390
Forward closed progress: 315375
Forward closed progress: 326578
Forward closed progress: 327084
Forward closed progress: 327188
Forward closed progress: 327735
Forward closed progress: 348250
Forward closed progress: 351111
Forward closed progress: 351122
Forward closed progress: 350913
Forward closed progress: 350929
Forward closed progress: 338512
Forward closed progress: 333476
Forward closed progress: 333222
Forward closed progress: 333654
Forward closed progress: 351959
Forward closed progress: 347953
Forward closed progress: 349818
Forward closed progress: 350862
Forward closed progress: 347818
Forward closed progress: 352167
Forward closed progress: 367255
Forward closed progress: 364571
Forward closed progress: 364583
Forward closed progress: 350616
Forward closed progress: 349728
Forward closed progress: 351083
Forward closed progress: 349141
Forward closed progress: 386552
Forward closed progress: 387144
Forward closed progress: 381630
Forward closed progress: 382632
Forward closed progress: 358332
Forward closed progress: 369354
Forward closed progress: 369702
Forward closed progress: 343674
Forward closed progress: 370948
Forward closed progress: 371092
Forward closed progress: 383864
Forward closed progress: 390239
Forward closed progress: 387793
Forward closed progress: 374449
Forward closed progress: 383898
Forward closed progress: 478187
Forward closed progress: 547210
Forward closed progress: 625761
Forward closed progress: 635995
Forward closed progress: 638601
Forward closed progress: 638850
Forward closed progress: 638922
Forward closed progress: 634810
Forward closed progress: 628840
Forward closed progress: 650740
Forward closed progress: 632706
Forward closed progress: 600654
Forward closed progress: 616800
Forward closed progress: 624048
Forward closed progress: 633048
Forward closed progress: 633102
Forward closed progress: 672395
Forward closed progress: 685862
Forward closed progress: 685790
Forward closed progress: 713241
Forward closed progress: 724933
Forward closed progress: 727702
Forward closed progress: 727228
Forward closed progress: 729596
Forward closed progress: 740325
Forward closed progress: 728642
Forward closed progress: 769613
Forward closed progress: 769612
Forward closed progress: 779735
Forward closed progress: 779795
Forward closed progress: 772421
Forward closed progress: 772313
Forward closed progress: 769900
Forward closed progress: 769900
Forward closed progress: 752620
Forward closed progress: 751071
Forward closed progress: 779527
Forward closed progress: 781044
Forward closed progress: 574423
Forward closed progress: 584260
Forward closed progress: 580618
Forward closed progress: 537919
Forward closed progress: 514536
Forward closed progress: 506318
Forward closed progress: 414082
Forward closed progress: 419125
Forward closed progress: 391800
Forward closed progress: 458709
Forward closed progress: 522286
Forward closed progress: 519095
Forward closed progress: 567310
Forward closed progress: 560098
Forward closed progress: 560124
Forward closed progress: 540992
Forward closed progress: 542155
Forward closed progress: 580131
Forward closed progress: 583081
Forward closed progress: 583217
Forward closed progress: 588469
Forward closed progress: 592287
Forward closed progress: 609597
Forward closed progress: 609045
Forward closed progress: 609123
Forward closed progress: 633274
Forward closed progress: 633286
Forward closed progress: 611538
Forward closed progress: 661235
Forward closed progress: 727273
Forward closed progress: 721053
Forward closed progress: 721145
Forward closed progress: 672071
Forward closed progress: 657032
Forward closed progress: 620250
Forward closed progress: 610485
Forward closed progress: 613434
Forward closed progress: 613664
Forward closed progress: 597727
Forward closed progress: 617541
Forward closed progress: 616569
Forward closed progress: 622825
Forward closed progress: 622861
Forward closed progress: 624825
Forward closed progress: 624561
Forward closed progress: 584402
Forward closed progress: 585655
Forward closed progress: 584182
Forward closed progress: 584081
Forward closed progress: 583644
Forward closed progress: 584067
Forward closed progress: 584095
Forward closed progress: 584119
Forward closed progress: 583868
Forward closed progress: 584498
Forward closed progress: 584498
Forward closed progress: 582718
Forward closed progress: 625801
Forward closed progress: 617558
Forward closed progress: 617018
Forward closed progress: 614542
Forward closed progress: 632920
Forward closed progress: 643632
Forward closed progress: 637023
Forward closed progress: 637022
Forward closed progress: 640590
Forward closed progress: 639421
Forward closed progress: 638500
Forward closed progress: 637775
Forward closed progress: 637281
Forward closed progress: 601667
Forward closed progress: 560036
Forward closed progress: 548698
Forward closed progress: 501304
Forward closed progress: 472929
Forward closed progress: 464080
Forward closed progress: 464137
Forward closed progress: 458893
Forward closed progress: 455054
Forward closed progress: 446255
Forward closed progress: 445330
Forward closed progress: 446374
Forward closed progress: 445267
Forward closed progress: 445918
Forward closed progress: 447271
Forward closed progress: 447445
Forward closed progress: 442473
Forward closed progress: 443296
Forward closed progress: 443128
Forward closed progress: 441739
Forward closed progress: 439626
Forward closed progress: 439614
Forward closed progress: 436923
Forward closed progress: 388761
Forward closed progress: 499854
Forward closed progress: 503351
Forward closed progress: 614567
Forward closed progress: 737803
Forward closed progress: 841883
Forward closed progress: 839134
Forward closed progress: 839202
Forward closed progress: 824039
Forward closed progress: 837107
Forward closed progress: 933440
Forward closed progress: 940258
Forward closed progress: 940002
Forward closed progress: 957516
Forward closed progress: 967583
Forward closed progress: 1018685
Forward closed progress: 1064563
Forward closed progress: 1064591
Forward closed progress: 1021697
Forward closed progress: 1127967
Forward closed progress: 1263619
Forward closed progress: 1272103
Forward closed progress: 1272395
Forward closed progress: 1224857
Forward closed progress: 1216710
Forward closed progress: 1232577
Forward closed progress: 1205460
Forward closed progress: 1221022
Forward closed progress: 1224036
Forward closed progress: 1195041
Forward closed progress: 1103122
Forward closed progress: 1100996
Forward closed progress: 1129041
Forward closed progress: 1126279
Forward closed progress: 1138833
Forward closed progress: 1138881
Forward closed progress: 1144869
Forward closed progress: 1145229
Forward closed progress: 1064074
Forward closed progress: 1129734
Forward closed progress: 1077083
Forward closed progress: 951500
Forward closed progress: 954028
Forward closed progress: 980465
Forward closed progress: 999917
Forward closed progress: 999580
Forward closed progress: 999598
Forward closed progress: 995269
Forward closed progress: 998510
Forward closed progress: 1018006
Forward closed progress: 1019130
Forward closed progress: 1023973
Forward closed progress: 1033748
Forward closed progress: 1049194
Forward closed progress: 1049210
Forward closed progress: 1036602
Forward closed progress: 1056184
Forward closed progress: 1064685
Forward closed progress: 1065739
Forward closed progress: 1065783
Forward closed progress: 1048067
Forward closed progress: 1046280
Forward closed progress: 1043808
Forward closed progress: 1037218
Forward closed progress: 1028115
Forward closed progress: 1042457
Forward closed progress: 1042733
Forward closed progress: 1046760
Forward closed progress: 1046794
Forward closed progress: 1054486
Forward closed progress: 1046098
Forward closed progress: 1019782
Forward closed progress: 1012114
Forward closed progress: 1064502
Forward closed progress: 1047672
Forward closed progress: 1046840
Forward closed progress: 1038992
Forward closed progress: 1056014
Forward closed progress: 1033008
Forward closed progress: 963269
Forward closed progress: 864697
Forward closed progress: 832278
Forward closed progress: 849049
Forward closed progress: 836509
Forward closed progress: 836876
Forward closed progress: 834303
Forward closed progress: 834513
Forward closed progress: 834573
Forward closed progress: 831571
Forward closed progress: 821089
Forward closed progress: 823066
Forward closed progress: 816169
Forward closed progress: 807778
Forward closed progress: 796348
Forward closed progress: 797573
Forward closed progress: 798409
Forward closed progress: 800720
Forward closed progress: 800440
Forward closed progress: 805620
Forward closed progress: 807489
Forward closed progress: 807369
Forward closed progress: 807508
Forward closed progress: 807500
Forward closed progress: 808464
Forward closed progress: 808244
Forward closed progress: 808774
Forward closed progress: 809446
Forward closed progress: 812044
Forward closed progress: 809347
Forward closed progress: 812822
Forward closed progress: 805996
Forward closed progress: 813158
Forward closed progress: 810521
Forward closed progress: 812951
Forward closed progress: 813011
Forward closed progress: 811290
Forward closed progress: 811218
Forward closed progress: 810502
Forward closed progress: 810463
Forward closed progress: 809762
Forward closed progress: 808334
Forward closed progress: 803823
Forward closed progress: 777070
Forward closed progress: 771319
Forward closed progress: 657451
Forward closed progress: 629295
Forward closed progress: 614453
Forward closed progress: 678691
Forward closed progress: 672347
Forward closed progress: 730156
Forward closed progress: 725234
Forward closed progress: 725276
Forward closed progress: 708282
Forward closed progress: 713951
Forward closed progress: 751021
Forward closed progress: 754484
Forward closed progress: 756428
Forward closed progress: 762709
Forward closed progress: 766689
Forward closed progress: 789818
Forward closed progress: 815338
Forward closed progress: 815366
Forward closed progress: 793031
Forward closed progress: 852604
Forward closed progress: 930120
Forward closed progress: 927677
Forward closed progress: 927821
Forward closed progress: 886378
Forward closed progress: 873986
Forward closed progress: 855990
Forward closed progress: 845567
Forward closed progress: 844818
Forward closed progress: 845184
Forward closed progress: 828710
Forward closed progress: 863047
Forward closed progress: 863003
Forward closed progress: 869772
Forward closed progress: 869808
Forward closed progress: 872470
Forward closed progress: 872668
Forward closed progress: 834173
Forward closed progress: 838115
Forward closed progress: 833953
Forward closed progress: 831069
Forward closed progress: 872800
Forward closed progress: 872760
Forward closed progress: 872220
Forward closed progress: 869744
Forward closed progress: 890320
Forward closed progress: 871556
Forward closed progress: 837033
Forward closed progress: 778757
Forward closed progress: 755956
Forward closed progress: 755990
Forward closed progress: 732219
Forward closed progress: 727378
Forward closed progress: 726029
Forward closed progress: 723066
Forward closed progress: 717229
Forward closed progress: 715540
Forward closed progress: 716641
Forward closed progress: 715477
Forward closed progress: 661466
Forward closed progress: 640067
Forward closed progress: 647013
Forward closed progress: 657578
Forward closed progress: 650399
Forward closed progress: 668891
Forward closed progress: 666013
Forward closed progress: 662599
Forward closed progress: 664522
Forward closed progress: 659785
Forward closed progress: 647097
Forward closed progress: 969544
Forward closed progress: 970628
Forward closed progress: 1033338
Forward closed progress: 1322073
Forward closed progress: 1545136
Forward closed progress: 1603724
Forward closed progress: 1603511
Forward closed progress: 1578991
Forward closed progress: 1579039
Forward closed progress: 1543071
Forward closed progress: 1549055
Forward closed progress: 1545218
Forward closed progress: 1552396
Forward closed progress: 1544425
Forward closed progress: 1545080
Forward closed progress: 1542124
Forward closed progress: 1557608
Forward closed progress: 1548387
Forward closed progress: 1552380
Forward closed progress: 1710088
Forward closed progress: 1704555
Forward closed progress: 1682162
Forward closed progress: 1717071
Forward closed progress: 1724484
Forward closed progress: 1715682
Forward closed progress: 1715702
Forward closed progress: 1702003
Forward closed progress: 1687222
Forward closed progress: 1662411
Forward closed progress: 1659833
Forward closed progress: 1683390
Forward closed progress: 1691312
Forward closed progress: 1689100
Forward closed progress: 1689120
Forward closed progress: 1677527
Forward closed progress: 1670152
Forward closed progress: 1741291
Forward closed progress: 1746201
Forward closed progress: 1757070
Forward closed progress: 1771603
Forward closed progress: 1771635
Forward closed progress: 1808967
Forward closed progress: 1820370
Forward closed progress: 1880213
Forward closed progress: 1880273
Forward closed progress: 1826075
Forward closed progress: 1877922
Forward closed progress: 1810559
Forward closed progress: 1809457
Forward closed progress: 1806412
Forward closed progress: 1768442
Forward closed progress: 1807489
Forward closed progress: 1805946
Forward closed progress: 1818517
Forward closed progress: 1818569
Forward closed progress: 1834455
Forward closed progress: 1832497
Forward closed progress: 1740488
Forward closed progress: 1748506
Forward closed progress: 1748416
Forward closed progress: 1763316
Forward closed progress: 1758830
Forward closed progress: 1758944
Forward closed progress: 1762750
Forward closed progress: 1760017
Forward closed progress: 1760055
Forward closed progress: 1760065
Forward closed progress: 1763255
Forward closed progress: 1764107
Forward closed progress: 1768455
Forward closed progress: 1768460
Forward closed progress: 1782880
Forward closed progress: 1793098
Forward closed progress: 1793086
Forward closed progress: 1787227
Forward closed progress: 1783650
Forward closed progress: 1786690
Forward closed progress: 1786854
Forward closed progress: 1788830
Forward closed progress: 1788836
Forward closed progress: 1786944
Forward closed progress: 1786944
Forward closed progress: 1785728
Forward closed progress: 1784492
Forward closed progress: 1861792
Forward closed progress: 1861928
Forward closed progress: 1841600
Forward closed progress: 1840858
Forward closed progress: 1840818
Forward closed progress: 1815312
Forward closed progress: 1833686
Forward closed progress: 1831981
Forward closed progress: 1826046
Forward closed progress: 1825652
Forward closed progress: 1825280
Forward closed progress: 1825190
Forward closed progress: 1825032
Forward closed progress: 1822929
Forward closed progress: 1765106
Forward closed progress: 1771016
Forward closed progress: 1770960
Forward closed progress: 1763196
Forward closed progress: 1765950
Forward closed progress: 1765956
Forward closed progress: 1762980
Forward closed progress: 1761682
Forward closed progress: 1669485
Forward closed progress: 1690286
Forward closed progress: 1673741
Forward closed progress: 1658151
Forward closed progress: 1599748
Forward closed progress: 1486771
Forward closed progress: 1518639
Forward closed progress: 1377248
Forward closed progress: 1375758
Forward closed progress: 1375265
Forward closed progress: 1375162
Forward closed progress: 1375345
Forward closed progress: 1230458
Forward closed progress: 1229644
Forward closed progress: 1223051
Forward closed progress: 1192773
Forward closed progress: 1182299
Forward closed progress: 1182686
Forward closed progress: 1177015
Forward closed progress: 1175055
Forward closed progress: 1180981
Forward closed progress: 1180336
Forward closed progress: 1180288
Forward closed progress: 1177959
Forward closed progress: 1175188
Forward closed progress: 1172459
Forward closed progress: 1170367
Forward closed progress: 1143072
Forward closed progress: 1140693
Forward closed progress: 1141072
Forward closed progress: 1140713
Forward closed progress: 1143179
Forward closed progress: 1142863
Forward closed progress: 1142161
Forward closed progress: 1142089
Forward closed progress: 1140773
Forward closed progress: 1140312
Forward closed progress: 1142397
Forward closed progress: 1143502
Forward closed progress: 1148366
Forward closed progress: 1149353
Forward closed progress: 1149353
Forward closed progress: 1147166
Forward closed progress: 1147166
Control exists for 2 color(s), jumping through 60123512832 vertices.
Elapsed: 5187438 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5187.438
user ??
sys ??
