>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 65318400
Perturbation colors: 9007199254740992
All colors: 588335843800874000000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 32776117224091900000000
Attractor colors computed in 39296 ms.
Backward progress: 119788
Backward progress: 165156
Backward progress: 158036
Backward progress: 155314
Backward progress: 171935
Backward progress: 142000
Backward progress: 142730
Backward progress: 149019
Backward progress: 149012
Backward progress: 155070
Backward progress: 157758
Backward progress: 187354
Backward progress: 189093
Backward progress: 188965
Backward progress: 189242
Backward progress: 189060
Backward progress: 189068
Backward progress: 188620
Backward progress: 188673
Backward progress: 222541
Backward progress: 225709
Backward progress: 226221
Backward progress: 261035
Backward progress: 248642
Backward progress: 204603
Backward progress: 238716
Backward progress: 241585
Backward progress: 231427
Backward progress: 231448
Backward progress: 231466
Backward progress: 231468
Backward progress: 230856
Backward progress: 232718
Backward progress: 236350
Backward progress: 236294
Backward progress: 236409
Backward progress: 237565
Backward progress: 234243
Backward progress: 234807
Backward progress: 235758
Backward progress: 235708
Backward progress: 235728
Backward progress: 315477
Backward progress: 315517
Backward progress: 303944
Backward progress: 303950
Backward progress: 309886
Backward progress: 309869
Backward progress: 320903
Backward progress: 425207
Backward progress: 477053
Backward progress: 477801
Backward progress: 477813
Backward progress: 477517
Backward progress: 532701
Backward progress: 563560
Backward progress: 589024
Backward progress: 589020
Backward progress: 588804
Backward progress: 685559
Backward progress: 585884
Backward progress: 609447
Backward progress: 609481
Backward progress: 600309
Backward progress: 595301
Backward progress: 572309
Backward progress: 569122
Backward progress: 843358
Backward progress: 844690
Backward progress: 750679
Backward progress: 729559
Backward progress: 809135
Backward progress: 808865
Backward progress: 775961
Backward progress: 773220
Backward progress: 773188
Backward progress: 762619
Backward progress: 758562
Backward progress: 757435
Backward progress: 756671
Backward progress: 756800
Backward progress: 751727
Backward progress: 747659
Backward progress: 677295
Backward progress: 694601
Backward progress: 694645
Backward progress: 681843
Backward progress: 645823
Backward progress: 625953
Backward progress: 647219
Backward progress: 647543
Backward progress: 672918
Backward progress: 672653
Backward progress: 675531
Backward progress: 644183
Backward progress: 1902494
Backward progress: 1859316
Backward progress: 1604504
Backward progress: 1529057
Backward progress: 1529279
Backward progress: 1508082
Backward progress: 1326310
Backward progress: 1327216
Backward progress: 1310210
Backward progress: 1350861
Backward progress: 1345089
Backward progress: 1436128
Backward progress: 1533099
Backward progress: 1512565
Backward progress: 1520161
Backward progress: 1780127
Backward progress: 1781185
Backward progress: 1671306
Backward progress: 1358202
Backward progress: 1416487
Backward progress: 1320591
Backward progress: 1312421
Backward progress: 1144880
Backward progress: 1165008
Backward progress: 1165028
Backward progress: 1137050
Backward progress: 1137016
Backward progress: 1126175
Backward progress: 1102919
Backward progress: 1101241
Backward progress: 1105328
Backward progress: 1104848
Backward progress: 1105353
Backward progress: 1119058
Backward progress: 1118824
Backward progress: 1025560
Backward progress: 1062534
Backward progress: 1015438
Backward progress: 971347
Backward progress: 971350
Backward progress: 963905
Backward progress: 960985
Backward progress: 955635
Backward progress: 931133
Backward progress: 981352
Backward progress: 922144
Backward progress: 949073
Backward progress: 896430
Backward progress: 817614
Backward progress: 796568
Backward progress: 810562
Backward progress: 810590
Backward progress: 788739
Backward progress: 788719
Backward progress: 782638
Backward progress: 765385
Backward progress: 1398328
Backward progress: 1352764
Backward progress: 1358920
Backward progress: 1216766
Backward progress: 1175682
Backward progress: 1536578
Backward progress: 1522584
Backward progress: 1453070
Backward progress: 1446303
Backward progress: 1446261
Backward progress: 1380192
Backward progress: 1365625
Backward progress: 1362588
Backward progress: 1359614
Backward progress: 1372046
Backward progress: 1372211
Backward progress: 1358314
Backward progress: 1382145
Backward progress: 1258289
Backward progress: 1271429
Backward progress: 1271473
Backward progress: 1257275
Backward progress: 1239481
Backward progress: 1193468
Backward progress: 1172847
Backward progress: 1173036
Backward progress: 1173936
Backward progress: 1173930
Backward progress: 1171443
Backward progress: 1171195
Backward progress: 1177262
Backward progress: 1171160
Backward progress: 1132777
Backward progress: 1121052
Backward progress: 1114436
Backward progress: 1141879
Backward progress: 1129570
Backward progress: 1132008
Backward progress: 1105971
Backward progress: 1252120
Backward progress: 1257268
Backward progress: 1157926
Backward progress: 2553516
Backward progress: 3156135
Backward progress: 3311028
Backward progress: 3329545
Backward progress: 3275037
Backward progress: 3275401
Backward progress: 3275348
Backward progress: 2775908
Backward progress: 2696640
Backward progress: 2478243
Backward progress: 2457311
Backward progress: 2458945
Backward progress: 2466157
Backward progress: 2516767
Backward progress: 2516553
Backward progress: 2672174
Backward progress: 2799491
Backward progress: 2798754
Backward progress: 2814737
Backward progress: 3106958
Backward progress: 3108614
Backward progress: 3092343
Backward progress: 2776518
Backward progress: 2854995
Backward progress: 2722004
Backward progress: 2733255
Backward progress: 2727059
Backward progress: 2869796
Backward progress: 2656010
Backward progress: 2691464
Backward progress: 2691484
Backward progress: 2645539
Backward progress: 2645505
Backward progress: 2632006
Backward progress: 2622819
Backward progress: 2840035
Backward progress: 2838042
Backward progress: 2820031
Backward progress: 2820962
Backward progress: 2825732
Backward progress: 2821648
Backward progress: 2822403
Backward progress: 3036794
Backward progress: 3026056
Backward progress: 3030922
Backward progress: 3096515
Backward progress: 3095609
Backward progress: 3044942
Backward progress: 2944937
Backward progress: 2961956
Backward progress: 3148152
Backward progress: 3090822
Backward progress: 3026204
Backward progress: 2975764
Backward progress: 2980551
Backward progress: 2972735
Backward progress: 2974978
Backward progress: 2970503
Backward progress: 2945736
Backward progress: 3124160
Backward progress: 3030819
Backward progress: 3030269
Backward progress: 3137427
Backward progress: 2941249
Backward progress: 2992609
Backward progress: 2930778
Backward progress: 2793046
Backward progress: 2731473
Backward progress: 2784281
Backward progress: 2784353
Backward progress: 2713173
Backward progress: 2713078
Backward progress: 2700381
Backward progress: 2680081
Backward progress: 2680089
Backward progress: 2680844
Backward progress: 2680846
Backward progress: 2680622
Backward progress: 2679398
Backward progress: 2676798
Backward progress: 2799272
Backward progress: 2808783
Backward progress: 2805905
Backward progress: 2797972
Backward progress: 2802743
Backward progress: 2802310
Backward progress: 2799034
Backward progress: 2819858
Backward progress: 2818791
Backward progress: 2745234
Backward progress: 2802737
Backward progress: 2715505
Backward progress: 2665446
Backward progress: 2665449
Backward progress: 2652756
Backward progress: 2649130
Backward progress: 2645568
Backward progress: 2632048
Backward progress: 2674315
Backward progress: 2584125
Backward progress: 2607515
Backward progress: 2554566
Backward progress: 2460252
Backward progress: 2442648
Backward progress: 2454351
Backward progress: 2454385
Backward progress: 2438536
Backward progress: 2438501
Backward progress: 2434168
Backward progress: 2422447
Backward progress: 2116411
Backward progress: 2116377
Backward progress: 1848774
Backward progress: 1972819
Backward progress: 1972293
Backward progress: 1861602
Backward progress: 1861390
Backward progress: 1861217
Backward progress: 1839988
Backward progress: 1840064
Backward progress: 1706461
Backward progress: 1705255
Backward progress: 1705295
Backward progress: 1705297
Backward progress: 1705209
Backward progress: 1704983
Backward progress: 1704459
Backward progress: 1704409
Backward progress: 1282676
Backward progress: 1319634
Backward progress: 1319486
Backward progress: 1319488
Backward progress: 1306797
Backward progress: 1296131
Backward progress: 1311531
Backward progress: 1311538
Backward progress: 1311047
Backward progress: 1307730
Backward progress: 1304707
Backward progress: 1310982
Backward progress: 1310984
Backward progress: 1301159
Backward progress: 1427160
Backward progress: 1418983
Backward progress: 1418323
Backward progress: 1418331
Backward progress: 1344943
Backward progress: 1337923
Backward progress: 1312811
Backward progress: 1306283
Backward progress: 1276260
Backward progress: 1264020
Backward progress: 1220500
Backward progress: 1205268
Backward progress: 1200352
Backward progress: 1197238
Backward progress: 1118056
Backward progress: 1317004
Backward progress: 1327811
Backward progress: 567558
Backward progress: 431599
Backward progress: 122043
Backward progress: 122065
Backward progress: 122053
Backward progress: 127461
Backward progress: 128013
Backward progress: 128509
Backward progress: 137909
Backward progress: 137316
Backward progress: 186239
Backward progress: 231129
Backward progress: 226179
Backward progress: 232352
Backward progress: 290864
Backward progress: 291262
Backward progress: 286000
Backward progress: 220463
Backward progress: 244511
Backward progress: 218371
Backward progress: 271101
Backward progress: 187807
Backward progress: 197235
Backward progress: 197243
Backward progress: 191210
Backward progress: 191201
Backward progress: 186378
Backward progress: 177402
Backward progress: 181776
Backward progress: 181776
Backward progress: 165625
Backward progress: 187469
Backward progress: 192915
Backward progress: 139361
Backward progress: 153877
Backward progress: 153885
Backward progress: 145919
Backward progress: 145890
Backward progress: 139887
Backward progress: 128345
Backward progress: 127868
Backward progress: 129794
Backward progress: 130052
Backward progress: 127096
Backward progress: 105923
Backward progress: 113741
Backward progress: 100794
Backward progress: 100044
Backward progress: 100910
Backward progress: 100621
Backward progress: 100623
Backward progress: 100270
Backward progress: 103620
Backward progress: 103632
Backward progress: 104229
Backward progress: 104215
Backward progress: 104567
Backward progress: 104573
Backward progress: 105109
Backward progress: 105111
Backward progress: 104954
Backward progress: 104251
Backward progress: 103610
Backward progress: 106957
Backward progress: 106921
Backward progress: 106753
Backward progress: 108662
Backward progress: 108124
Backward progress: 107785
Backward progress: 107937
Backward progress: 108257
Backward progress: 107037
Backward progress: 107102
Backward progress: 107104
Backward progress: 106945
Backward progress: 106493
Backward progress: 106033
Backward progress: 106015
Backward progress: 106015
Backward progress: 101789
Backward progress: 103846
Backward progress: 103646
Backward progress: 103678
Backward progress: 103671
Backward progress: 104678
Backward progress: 104628
Backward progress: 130195
Backward progress: 130196
Backward progress: 126926
Backward progress: 124121
Backward progress: 119461
Backward progress: 120141
Backward progress: 120311
Backward progress: 118706
Backward progress: 101450
Backward progress: 118685
Backward progress: 102002
Backward progress: 102719
Backward progress: 103458
Backward progress: 104553
Backward progress: 105040
Backward progress: 105186
Backward progress: 105202
Backward progress: 105083
Backward progress: 105111
Backward progress: 105643
Backward progress: 105643
Backward progress: 105643
Backward progress: 105436
Backward progress: 104854
Backward progress: 105033
Backward progress: 105321
Backward progress: 105332
Backward progress: 105378
Backward progress: 105384
Backward progress: 105038
Backward progress: 105113
Backward progress: 105553
Backward progress: 105555
Backward progress: 108068
Backward progress: 108058
Backward progress: 107867
Backward progress: 109262
Backward progress: 109264
Backward progress: 110427
Backward progress: 111025
Backward progress: 111290
Backward progress: 111310
Backward progress: 110947
Backward progress: 111086
Backward progress: 111709
Backward progress: 112201
Backward progress: 112257
Backward progress: 113529
Backward progress: 112483
Backward progress: 112585
Backward progress: 109030
Backward progress: 109345
Backward progress: 109347
Backward progress: 108919
Backward progress: 107878
Backward progress: 109076
Backward progress: 110896
Forward closed progress: 102509
Forward closed progress: 104457
Forward closed progress: 108905
Forward closed progress: 106165
Forward closed progress: 105567
Forward closed progress: 105485
Forward closed progress: 105441
Forward closed progress: 104860
Forward closed progress: 107519
Forward closed progress: 107707
Forward closed progress: 107754
Forward closed progress: 105189
Forward closed progress: 105187
Forward closed progress: 105157
Forward closed progress: 104526
Forward closed progress: 122373
Forward closed progress: 126234
Forward closed progress: 126287
Forward closed progress: 124948
Forward closed progress: 124954
Forward closed progress: 123774
Forward closed progress: 127140
Forward closed progress: 126939
Forward closed progress: 127317
Forward closed progress: 132614
Forward closed progress: 129616
Forward closed progress: 130248
Forward closed progress: 131094
Forward closed progress: 142486
Forward closed progress: 150349
Forward closed progress: 150520
Forward closed progress: 150154
Forward closed progress: 149224
Forward closed progress: 156632
Forward closed progress: 166173
Forward closed progress: 163425
Forward closed progress: 162036
Forward closed progress: 181863
Forward closed progress: 182451
Forward closed progress: 178975
Forward closed progress: 179269
Forward closed progress: 176756
Forward closed progress: 175328
Forward closed progress: 167198
Forward closed progress: 173756
Forward closed progress: 173960
Forward closed progress: 205773
Forward closed progress: 220618
Forward closed progress: 216406
Forward closed progress: 226420
Forward closed progress: 230838
Forward closed progress: 230619
Forward closed progress: 231803
Forward closed progress: 232028
Forward closed progress: 231997
Forward closed progress: 232019
Forward closed progress: 243898
Forward closed progress: 243889
Forward closed progress: 250019
Forward closed progress: 243688
Forward closed progress: 245284
Forward closed progress: 245420
Forward closed progress: 257170
Forward closed progress: 257591
Forward closed progress: 258618
Forward closed progress: 258487
Forward closed progress: 262879
Forward closed progress: 265037
Forward closed progress: 266067
Forward closed progress: 264595
Forward closed progress: 251907
Forward closed progress: 273168
Forward closed progress: 272653
Forward closed progress: 287630
Forward closed progress: 299861
Forward closed progress: 293254
Forward closed progress: 293439
Forward closed progress: 293236
Forward closed progress: 290917
Forward closed progress: 289610
Forward closed progress: 289075
Forward closed progress: 289267
Forward closed progress: 289069
Forward closed progress: 287585
Forward closed progress: 287481
Forward closed progress: 287465
Forward closed progress: 286514
Forward closed progress: 276157
Forward closed progress: 240893
Forward closed progress: 234486
Forward closed progress: 228986
Forward closed progress: 224491
Forward closed progress: 240573
Forward closed progress: 256452
Forward closed progress: 260604
Forward closed progress: 260408
Forward closed progress: 261630
Forward closed progress: 260897
Forward closed progress: 260258
Forward closed progress: 260402
Forward closed progress: 260221
Forward closed progress: 260142
Forward closed progress: 260127
Forward closed progress: 232183
Forward closed progress: 252646
Forward closed progress: 252514
Forward closed progress: 351290
Forward closed progress: 443122
Forward closed progress: 509121
Forward closed progress: 508102
Forward closed progress: 508114
Forward closed progress: 506057
Forward closed progress: 502363
Forward closed progress: 542283
Forward closed progress: 545712
Forward closed progress: 546366
Forward closed progress: 552240
Forward closed progress: 605287
Forward closed progress: 610538
Forward closed progress: 615426
Forward closed progress: 615622
Forward closed progress: 611226
Forward closed progress: 615302
Forward closed progress: 660889
Forward closed progress: 619378
Forward closed progress: 651349
Forward closed progress: 662019
Forward closed progress: 1125667
Forward closed progress: 763007
Forward closed progress: 774082
Forward closed progress: 773560
Forward closed progress: 764648
Forward closed progress: 758074
Forward closed progress: 753079
Forward closed progress: 787357
Forward closed progress: 653724
Forward closed progress: 653224
Forward closed progress: 643391
Forward closed progress: 588366
Forward closed progress: 523301
Forward closed progress: 526530
Forward closed progress: 503321
Forward closed progress: 485429
Forward closed progress: 475706
Forward closed progress: 469007
Forward closed progress: 468746
Forward closed progress: 451477
Forward closed progress: 387067
Forward closed progress: 439745
Forward closed progress: 492435
Forward closed progress: 489496
Forward closed progress: 535295
Forward closed progress: 531530
Forward closed progress: 531536
Forward closed progress: 528890
Forward closed progress: 528146
Forward closed progress: 553617
Forward closed progress: 554511
Forward closed progress: 555147
Forward closed progress: 561936
Forward closed progress: 595668
Forward closed progress: 604540
Forward closed progress: 600114
Forward closed progress: 600180
Forward closed progress: 595715
Forward closed progress: 602022
Forward closed progress: 622645
Forward closed progress: 607035
Forward closed progress: 622067
Forward closed progress: 629079
Forward closed progress: 642234
Forward closed progress: 642648
Forward closed progress: 639171
Forward closed progress: 634579
Forward closed progress: 634165
Forward closed progress: 648025
Forward closed progress: 633665
Forward closed progress: 629219
Forward closed progress: 584858
Forward closed progress: 541590
Forward closed progress: 546932
Forward closed progress: 528960
Forward closed progress: 518448
Forward closed progress: 516312
Forward closed progress: 512850
Forward closed progress: 512676
Forward closed progress: 499143
Forward closed progress: 466528
Forward closed progress: 638121
Forward closed progress: 793431
Forward closed progress: 790670
Forward closed progress: 776796
Forward closed progress: 778409
Forward closed progress: 777233
Forward closed progress: 777277
Forward closed progress: 783102
Forward closed progress: 793527
Forward closed progress: 794819
Forward closed progress: 796792
Forward closed progress: 795285
Forward closed progress: 802688
Forward closed progress: 802737
Forward closed progress: 805950
Forward closed progress: 797694
Forward closed progress: 875504
Forward closed progress: 878278
Forward closed progress: 876505
Forward closed progress: 849829
Forward closed progress: 856499
Forward closed progress: 836929
Forward closed progress: 840901
Forward closed progress: 836999
Forward closed progress: 835032
Forward closed progress: 825944
Forward closed progress: 850094
Forward closed progress: 849969
Forward closed progress: 849912
Forward closed progress: 851152
Forward closed progress: 849827
Forward closed progress: 849745
Forward closed progress: 849598
Forward closed progress: 849558
Forward closed progress: 849508
Forward closed progress: 793499
Forward closed progress: 1227558
Forward closed progress: 1205735
Forward closed progress: 1201908
Forward closed progress: 1179797
Forward closed progress: 1180819
Forward closed progress: 1180014
Forward closed progress: 1179991
Forward closed progress: 1176884
Forward closed progress: 1185919
Forward closed progress: 1179397
Forward closed progress: 1179993
Forward closed progress: 1179359
Forward closed progress: 1189947
Forward closed progress: 1186895
Forward closed progress: 1192883
Forward closed progress: 1186498
Forward closed progress: 1217048
Forward closed progress: 1164690
Forward closed progress: 2402561
Forward closed progress: 2563133
Forward closed progress: 2995602
Forward closed progress: 3603379
Forward closed progress: 3553716
Forward closed progress: 3544751
Forward closed progress: 3546832
Forward closed progress: 3546533
Forward closed progress: 3545133
Forward closed progress: 3527496
Forward closed progress: 3527528
Forward closed progress: 3474107
Forward closed progress: 2078497
Forward closed progress: 2079059
Forward closed progress: 2079897
Forward closed progress: 2086871
Forward closed progress: 2087375
Forward closed progress: 2087159
Forward closed progress: 2086943
Forward closed progress: 2063328
Forward closed progress: 2097666
Forward closed progress: 2055180
Forward closed progress: 2055720
Forward closed progress: 2216410
Forward closed progress: 2281007
Forward closed progress: 2223016
Forward closed progress: 2126955
Forward closed progress: 2165943
Forward closed progress: 2161222
Forward closed progress: 2159562
Forward closed progress: 2157400
Forward closed progress: 2157310
Forward closed progress: 2157269
Forward closed progress: 2143211
Forward closed progress: 2143209
Forward closed progress: 2115411
Forward closed progress: 2082194
Forward closed progress: 2070558
Forward closed progress: 2142333
Forward closed progress: 2149772
Forward closed progress: 2149780
Forward closed progress: 2148662
Forward closed progress: 2148692
Forward closed progress: 2141256
Forward closed progress: 2131018
Forward closed progress: 2178414
Forward closed progress: 2177811
Forward closed progress: 2179635
Forward closed progress: 2180875
Forward closed progress: 2198481
Forward closed progress: 2228488
Forward closed progress: 2228536
Forward closed progress: 2213691
Forward closed progress: 2240395
Forward closed progress: 1951613
Forward closed progress: 1948230
Forward closed progress: 1782364
Forward closed progress: 1765100
Forward closed progress: 1751345
Forward closed progress: 1751345
Forward closed progress: 1743231
Forward closed progress: 1700308
Forward closed progress: 1696424
Forward closed progress: 1632689
Forward closed progress: 1633251
Forward closed progress: 1630209
Forward closed progress: 1647175
Forward closed progress: 1646718
Forward closed progress: 1659034
Forward closed progress: 1647499
Forward closed progress: 1587865
Forward closed progress: 1607197
Forward closed progress: 1607037
Forward closed progress: 1602549
Forward closed progress: 1589943
Forward closed progress: 1582597
Forward closed progress: 1577689
Forward closed progress: 1567092
Forward closed progress: 1567216
Forward closed progress: 1567230
Forward closed progress: 1566312
Forward closed progress: 1565027
Forward closed progress: 1565129
Forward closed progress: 1566553
Forward closed progress: 1566529
Forward closed progress: 1572610
Forward closed progress: 1578180
Forward closed progress: 1578192
Forward closed progress: 1573262
Forward closed progress: 1568520
Forward closed progress: 1556657
Forward closed progress: 1538850
Forward closed progress: 1538940
Forward closed progress: 1542363
Forward closed progress: 1542279
Forward closed progress: 1545877
Forward closed progress: 1545827
Forward closed progress: 1527100
Forward closed progress: 1526561
Forward closed progress: 1525838
Forward closed progress: 1503740
Forward closed progress: 1499149
Forward closed progress: 1498735
Forward closed progress: 1502219
Forward closed progress: 1520935
Forward closed progress: 1520544
Forward closed progress: 1537562
Forward closed progress: 1531511
Forward closed progress: 1522096
Forward closed progress: 1525374
Forward closed progress: 1525384
Forward closed progress: 1528230
Forward closed progress: 1530534
Forward closed progress: 1525784
Forward closed progress: 1525122
Forward closed progress: 1525074
Forward closed progress: 1507800
Forward closed progress: 1506646
Forward closed progress: 1505176
Forward closed progress: 1506474
Forward closed progress: 1506405
Forward closed progress: 1510981
Forward closed progress: 1510293
Forward closed progress: 1510437
Forward closed progress: 1509028
Forward closed progress: 1510248
Forward closed progress: 1509028
Forward closed progress: 1512726
Forward closed progress: 1515966
Forward closed progress: 1513086
Forward closed progress: 1514718
Forward closed progress: 1489836
Forward closed progress: 1493010
Forward closed progress: 1198349
Forward closed progress: 1186567
Forward closed progress: 1163067
Forward closed progress: 1163579
Forward closed progress: 1156271
Forward closed progress: 1154788
Forward closed progress: 1192694
Forward closed progress: 1108164
Forward closed progress: 1108132
Forward closed progress: 1108144
Forward closed progress: 1108136
Forward closed progress: 1108063
Forward closed progress: 691683
Forward closed progress: 669962
Forward closed progress: 635304
Forward closed progress: 636988
Forward closed progress: 638110
Forward closed progress: 634479
Forward closed progress: 638085
Forward closed progress: 638097
Forward closed progress: 637097
Forward closed progress: 636611
Forward closed progress: 636629
Forward closed progress: 631591
Forward closed progress: 660294
Forward closed progress: 632996
Forward closed progress: 605929
Forward closed progress: 605929
Forward closed progress: 605891
Forward closed progress: 606941
Forward closed progress: 608330
Forward closed progress: 608334
Forward closed progress: 607681
Forward closed progress: 598455
Forward closed progress: 598973
Forward closed progress: 599837
Forward closed progress: 599839
Forward closed progress: 595203
Forward closed progress: 595203
Control exists for 3638880 color(s), jumping through 6 vertices.
Elapsed: 8976698 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 8976.698
user ??
sys ??
