>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 648
Perturbation colors: 9007199254740992
All colors: 5836665117072163000
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 2
Attractor colors: 900719925474099200
Attractor colors computed in 644 ms.
Backward progress: 101920
Backward progress: 102024
Backward progress: 110304
Backward progress: 110557
Backward progress: 113570
Backward progress: 113281
Backward progress: 112897
Backward progress: 113661
Backward progress: 125383
Backward progress: 124902
Backward progress: 128164
Backward progress: 128208
Backward progress: 126292
Backward progress: 126264
Backward progress: 125014
Backward progress: 124958
Backward progress: 137397
Backward progress: 136979
Backward progress: 139426
Backward progress: 145926
Backward progress: 149008
Backward progress: 149017
Backward progress: 149029
Backward progress: 149106
Backward progress: 148527
Backward progress: 148554
Backward progress: 152314
Backward progress: 152319
Backward progress: 152343
Backward progress: 150389
Backward progress: 150409
Backward progress: 150586
Backward progress: 149133
Backward progress: 148203
Backward progress: 147513
Backward progress: 166277
Backward progress: 167542
Backward progress: 167434
Backward progress: 171285
Backward progress: 171498
Backward progress: 171404
Backward progress: 171656
Backward progress: 171717
Backward progress: 171899
Backward progress: 176680
Backward progress: 176621
Backward progress: 176626
Backward progress: 174482
Backward progress: 174218
Backward progress: 173938
Backward progress: 173974
Backward progress: 174184
Backward progress: 164772
Backward progress: 163930
Backward progress: 163729
Backward progress: 163518
Backward progress: 163987
Backward progress: 161799
Backward progress: 164918
Backward progress: 160920
Backward progress: 162584
Backward progress: 162616
Backward progress: 161674
Backward progress: 161646
Backward progress: 160930
Backward progress: 160029
Backward progress: 158866
Backward progress: 153171
Backward progress: 153058
Backward progress: 153017
Backward progress: 152807
Backward progress: 151502
Backward progress: 151360
Backward progress: 150865
Backward progress: 151487
Backward progress: 151016
Backward progress: 150602
Backward progress: 149876
Backward progress: 148059
Backward progress: 148060
Backward progress: 147615
Backward progress: 177860
Backward progress: 181721
Backward progress: 165158
Backward progress: 175547
Backward progress: 175591
Backward progress: 168974
Backward progress: 168861
Backward progress: 164418
Backward progress: 157752
Backward progress: 159200
Backward progress: 157412
Backward progress: 155551
Backward progress: 136030
Backward progress: 181575
Backward progress: 196615
Backward progress: 197916
Backward progress: 199291
Backward progress: 204003
Backward progress: 204084
Backward progress: 204123
Backward progress: 204091
Backward progress: 202770
Backward progress: 203469
Backward progress: 202796
Backward progress: 202873
Backward progress: 203112
Backward progress: 208702
Backward progress: 208722
Backward progress: 208960
Backward progress: 205944
Backward progress: 205884
Backward progress: 206340
Backward progress: 206292
Backward progress: 206452
Backward progress: 205460
Backward progress: 205312
Backward progress: 205391
Backward progress: 205830
Backward progress: 203617
Backward progress: 208796
Backward progress: 200400
Backward progress: 200368
Backward progress: 199884
Backward progress: 199254
Backward progress: 199056
Backward progress: 204988
Backward progress: 204519
Backward progress: 206275
Backward progress: 206307
Backward progress: 205329
Backward progress: 205301
Backward progress: 204567
Backward progress: 204567
Backward progress: 207819
Backward progress: 207146
Backward progress: 205153
Backward progress: 207960
Backward progress: 206386
Backward progress: 206535
Backward progress: 203704
Backward progress: 203775
Backward progress: 203632
Backward progress: 203112
Backward progress: 199767
Backward progress: 198623
Backward progress: 198841
Backward progress: 198171
Backward progress: 198891
Backward progress: 197190
Backward progress: 200668
Backward progress: 198799
Backward progress: 197538
Backward progress: 196427
Backward progress: 193027
Backward progress: 192767
Backward progress: 192569
Backward progress: 191440
Backward progress: 195602
Backward progress: 180894
Backward progress: 181454
Backward progress: 181561
Backward progress: 181769
Backward progress: 181785
Backward progress: 181749
Backward progress: 181621
Backward progress: 182708
Backward progress: 182664
Backward progress: 180575
Backward progress: 180531
Backward progress: 180115
Backward progress: 180151
Backward progress: 179975
Backward progress: 180062
Backward progress: 179805
Backward progress: 178835
Backward progress: 157544
Backward progress: 157544
Backward progress: 181181
Backward progress: 186818
Backward progress: 185747
Backward progress: 297048
Backward progress: 297364
Backward progress: 296692
Backward progress: 300702
Backward progress: 301610
Backward progress: 302798
Backward progress: 343612
Backward progress: 346720
Backward progress: 351672
Backward progress: 332734
Backward progress: 332502
Backward progress: 335475
Backward progress: 282518
Backward progress: 283289
Backward progress: 277128
Backward progress: 285969
Backward progress: 295254
Backward progress: 295224
Backward progress: 289552
Backward progress: 295800
Backward progress: 288260
Backward progress: 335498
Backward progress: 332930
Backward progress: 345867
Backward progress: 345971
Backward progress: 339644
Backward progress: 339588
Backward progress: 333224
Backward progress: 333026
Backward progress: 325970
Backward progress: 324679
Backward progress: 323749
Backward progress: 404459
Backward progress: 414432
Backward progress: 362248
Backward progress: 391601
Backward progress: 391705
Backward progress: 376756
Backward progress: 376516
Backward progress: 360796
Backward progress: 342427
Backward progress: 341583
Backward progress: 338831
Backward progress: 334139
Backward progress: 286031
Backward progress: 283956
Backward progress: 287779
Backward progress: 287778
Backward progress: 290526
Backward progress: 287884
Backward progress: 289344
Backward progress: 287936
Backward progress: 282832
Backward progress: 280308
Backward progress: 285173
Backward progress: 282286
Backward progress: 286188
Backward progress: 286484
Backward progress: 287978
Backward progress: 287990
Backward progress: 288278
Backward progress: 291002
Backward progress: 291034
Backward progress: 290078
Backward progress: 289118
Backward progress: 290638
Backward progress: 290852
Backward progress: 291660
Backward progress: 291692
Backward progress: 291620
Backward progress: 291044
Backward progress: 291660
Backward progress: 292428
Backward progress: 290684
Backward progress: 290684
Backward progress: 219871
Backward progress: 227125
Backward progress: 228974
Backward progress: 231619
Backward progress: 232480
Backward progress: 241029
Backward progress: 241085
Backward progress: 233362
Backward progress: 230896
Backward progress: 231061
Backward progress: 232186
Backward progress: 232222
Backward progress: 224707
Backward progress: 224707
Forward closed progress: 224708
Forward closed progress: 224712
Forward closed progress: 417958
Forward closed progress: 224722
Forward closed progress: 224734
Forward closed progress: 224494
Forward closed progress: 224734
Forward closed progress: 202351
Forward closed progress: 202369
Forward closed progress: 202693
Forward closed progress: 202909
Forward closed progress: 202459
Forward closed progress: 196072
Forward closed progress: 196014
Forward closed progress: 197228
Forward closed progress: 197428
Forward closed progress: 196200
Forward closed progress: 196272
Forward closed progress: 197356
Forward closed progress: 210612
Forward closed progress: 196648
Forward closed progress: 196662
Forward closed progress: 200564
Forward closed progress: 284332
Forward closed progress: 284318
Forward closed progress: 284266
Forward closed progress: 284214
Forward closed progress: 197152
Forward closed progress: 200434
Forward closed progress: 200434
Forward closed progress: 293391
Forward closed progress: 293355
Forward closed progress: 293319
Forward closed progress: 197687
Forward closed progress: 198406
Forward closed progress: 200190
Forward closed progress: 202320
Forward closed progress: 208290
Forward closed progress: 220568
Forward closed progress: 226550
Forward closed progress: 263547
Forward closed progress: 263629
Forward closed progress: 263669
Forward closed progress: 251047
Forward closed progress: 211722
Forward closed progress: 266859
Forward closed progress: 258595
Forward closed progress: 261509
Forward closed progress: 289585
Forward closed progress: 411779
Forward closed progress: 411908
Forward closed progress: 411980
Forward closed progress: 353846
Forward closed progress: 209496
Forward closed progress: 284139
Forward closed progress: 248415
Forward closed progress: 227010
Forward closed progress: 227032
Forward closed progress: 232124
Forward closed progress: 263091
Forward closed progress: 263173
Forward closed progress: 263213
Forward closed progress: 252221
Forward closed progress: 214866
Forward closed progress: 340457
Forward closed progress: 342843
Forward closed progress: 326369
Forward closed progress: 309382
Forward closed progress: 238509
Forward closed progress: 316211
Forward closed progress: 381425
Forward closed progress: 489109
Forward closed progress: 489353
Forward closed progress: 489501
Forward closed progress: 438429
Forward closed progress: 356641
Forward closed progress: 352563
Forward closed progress: 354193
Forward closed progress: 324457
Forward closed progress: 292797
Forward closed progress: 242505
Forward closed progress: 343940
Forward closed progress: 344044
Forward closed progress: 244949
Forward closed progress: 442439
Forward closed progress: 730065
Forward closed progress: 881079
Forward closed progress: 1019051
Forward closed progress: 1019413
Forward closed progress: 1019589
Forward closed progress: 933185
Forward closed progress: 937277
Forward closed progress: 937773
Forward closed progress: 822229
Forward closed progress: 924775
Forward closed progress: 739866
Forward closed progress: 630264
Forward closed progress: 619282
Forward closed progress: 624010
Forward closed progress: 624038
Forward closed progress: 624054
Forward closed progress: 602964
Forward closed progress: 632390
Forward closed progress: 638831
Forward closed progress: 714820
Forward closed progress: 699389
Forward closed progress: 620667
Forward closed progress: 620947
Forward closed progress: 621051
Forward closed progress: 502118
Forward closed progress: 703067
Forward closed progress: 740649
Forward closed progress: 741536
Forward closed progress: 749839
Forward closed progress: 750155
Forward closed progress: 735759
Forward closed progress: 690037
Forward closed progress: 691515
Forward closed progress: 605798
Forward closed progress: 697811
Forward closed progress: 703531
Forward closed progress: 698630
Forward closed progress: 726503
Forward closed progress: 726735
Forward closed progress: 702803
Forward closed progress: 684748
Forward closed progress: 523275
Forward closed progress: 797043
Forward closed progress: 960236
Forward closed progress: 951451
Forward closed progress: 952774
Forward closed progress: 957208
Forward closed progress: 1099014
Forward closed progress: 1106897
Forward closed progress: 1275626
Forward closed progress: 1268556
Forward closed progress: 1268632
Forward closed progress: 1202532
Forward closed progress: 1200775
Forward closed progress: 1212188
Forward closed progress: 1212187
Forward closed progress: 1211422
Forward closed progress: 1210252
Forward closed progress: 1237282
Forward closed progress: 1238360
Forward closed progress: 1238340
Forward closed progress: 1238494
Forward closed progress: 1238630
Forward closed progress: 1201494
Forward closed progress: 1197835
Forward closed progress: 1196722
Forward closed progress: 1196727
Forward closed progress: 1168506
Forward closed progress: 1167584
Forward closed progress: 1165696
Forward closed progress: 1153558
Forward closed progress: 1291823
Forward closed progress: 1291867
Forward closed progress: 1169276
Forward closed progress: 1171907
Forward closed progress: 1244726
Forward closed progress: 1236828
Forward closed progress: 1236884
Forward closed progress: 1044426
Forward closed progress: 1029120
Forward closed progress: 954107
Forward closed progress: 927529
Forward closed progress: 920633
Forward closed progress: 798179
Forward closed progress: 778664
Forward closed progress: 779255
Forward closed progress: 793388
Forward closed progress: 793460
Forward closed progress: 802424
Forward closed progress: 791732
Forward closed progress: 728786
Forward closed progress: 584098
Forward closed progress: 1027939
Forward closed progress: 1057777
Forward closed progress: 1109482
Forward closed progress: 1109373
Forward closed progress: 1113516
Forward closed progress: 1065978
Forward closed progress: 934787
Forward closed progress: 871791
Forward closed progress: 869219
Forward closed progress: 851327
Forward closed progress: 877936
Forward closed progress: 879420
Forward closed progress: 882199
Forward closed progress: 918089
Forward closed progress: 941918
Forward closed progress: 940523
Forward closed progress: 940563
Forward closed progress: 912018
Forward closed progress: 936416
Forward closed progress: 937084
Forward closed progress: 937221
Forward closed progress: 941570
Forward closed progress: 999730
Forward closed progress: 1003755
Forward closed progress: 1003764
Forward closed progress: 1003535
Forward closed progress: 1003567
Forward closed progress: 965484
Forward closed progress: 949060
Forward closed progress: 948826
Forward closed progress: 949362
Forward closed progress: 1031197
Forward closed progress: 1024953
Forward closed progress: 1028040
Forward closed progress: 1028980
Forward closed progress: 1019580
Forward closed progress: 1025887
Forward closed progress: 1064155
Forward closed progress: 1060725
Forward closed progress: 1060733
Forward closed progress: 1020804
Forward closed progress: 1017313
Forward closed progress: 1010455
Forward closed progress: 1001662
Forward closed progress: 1124746
Forward closed progress: 1124492
Forward closed progress: 1110327
Forward closed progress: 1111599
Forward closed progress: 1031748
Forward closed progress: 1065435
Forward closed progress: 1065873
Forward closed progress: 976161
Forward closed progress: 1083245
Forward closed progress: 1083917
Forward closed progress: 1135211
Forward closed progress: 1155638
Forward closed progress: 1151500
Forward closed progress: 1099325
Forward closed progress: 1125709
Forward closed progress: 1551767
Forward closed progress: 1665174
Forward closed progress: 1909188
Forward closed progress: 1944167
Forward closed progress: 1966068
Forward closed progress: 1966418
Forward closed progress: 1966618
Forward closed progress: 1950719
Forward closed progress: 1926131
Forward closed progress: 2000032
Forward closed progress: 1969040
Forward closed progress: 1872745
Forward closed progress: 1919539
Forward closed progress: 1929361
Forward closed progress: 1951885
Forward closed progress: 1951957
Forward closed progress: 2086810
Forward closed progress: 2128171
Forward closed progress: 2128075
Forward closed progress: 2182559
Forward closed progress: 2219080
Forward closed progress: 2222106
Forward closed progress: 2221458
Forward closed progress: 2227049
Forward closed progress: 2256417
Forward closed progress: 2223269
Forward closed progress: 2366593
Forward closed progress: 2366820
Forward closed progress: 2391732
Forward closed progress: 2391892
Forward closed progress: 2373778
Forward closed progress: 2373634
Forward closed progress: 2367684
Forward closed progress: 2367684
Forward closed progress: 2322373
Forward closed progress: 2330888
Forward closed progress: 2417442
Forward closed progress: 2419587
Forward closed progress: 1833973
Forward closed progress: 1855350
Forward closed progress: 1849468
Forward closed progress: 1710595
Forward closed progress: 1625934
Forward closed progress: 1594376
Forward closed progress: 1267110
Forward closed progress: 1287433
Forward closed progress: 1212988
Forward closed progress: 1991718
Forward closed progress: 2471324
Forward closed progress: 2608038
Forward closed progress: 3059227
Forward closed progress: 3025294
Forward closed progress: 3025650
Forward closed progress: 2868157
Forward closed progress: 2899947
Forward closed progress: 3345765
Forward closed progress: 3362516
Forward closed progress: 3368407
Forward closed progress: 3414859
Forward closed progress: 3444523
Forward closed progress: 3621406
Forward closed progress: 3613474
Forward closed progress: 3613807
Forward closed progress: 3842452
Forward closed progress: 3842572
Forward closed progress: 3634091
Forward closed progress: 4000872
Forward closed progress: 4399505
Forward closed progress: 4356820
Forward closed progress: 4358080
Forward closed progress: 3945116
Forward closed progress: 3894016
Forward closed progress: 3635454
Forward closed progress: 3534606
Forward closed progress: 3553016
Forward closed progress: 3555002
Forward closed progress: 3400950
Forward closed progress: 3623665
Forward closed progress: 3618865
Forward closed progress: 3669891
Forward closed progress: 3670323
Forward closed progress: 3686347
Forward closed progress: 3684235
Forward closed progress: 3265210
Forward closed progress: 3271457
Forward closed progress: 3263682
Forward closed progress: 3264019
Forward closed progress: 3260989
Forward closed progress: 3261873
Forward closed progress: 3262125
Forward closed progress: 3262231
Forward closed progress: 3261718
Forward closed progress: 3264814
Forward closed progress: 3264814
Forward closed progress: 3255533
Forward closed progress: 3844651
Forward closed progress: 3746410
Forward closed progress: 3743170
Forward closed progress: 3718442
Forward closed progress: 3825849
Forward closed progress: 3895564
Forward closed progress: 3807992
Forward closed progress: 3807991
Forward closed progress: 3821717
Forward closed progress: 3818423
Forward closed progress: 3813641
Forward closed progress: 3808871
Forward closed progress: 3808477
Forward closed progress: 3264244
Forward closed progress: 2801708
Forward closed progress: 2710079
Forward closed progress: 1931904
Forward closed progress: 1877036
Forward closed progress: 1855111
Forward closed progress: 1855325
Forward closed progress: 1803190
Forward closed progress: 1793881
Forward closed progress: 1756824
Forward closed progress: 1754013
Forward closed progress: 1760057
Forward closed progress: 1753734
Forward closed progress: 1757147
Forward closed progress: 1760761
Forward closed progress: 1761237
Forward closed progress: 1739909
Forward closed progress: 1741884
Forward closed progress: 1741384
Forward closed progress: 1737709
Forward closed progress: 1730862
Forward closed progress: 1730870
Forward closed progress: 1717129
Forward closed progress: 1208913
Forward closed progress: 1639014
Forward closed progress: 1662207
Forward closed progress: 1915876
Forward closed progress: 2273912
Forward closed progress: 2601164
Forward closed progress: 2598653
Forward closed progress: 2598821
Forward closed progress: 2575292
Forward closed progress: 2639367
Forward closed progress: 2904756
Forward closed progress: 2912810
Forward closed progress: 2915668
Forward closed progress: 2976778
Forward closed progress: 3005264
Forward closed progress: 3173040
Forward closed progress: 3306459
Forward closed progress: 3306515
Forward closed progress: 3185619
Forward closed progress: 3371581
Forward closed progress: 3675561
Forward closed progress: 3679350
Forward closed progress: 3680018
Forward closed progress: 3607042
Forward closed progress: 3604431
Forward closed progress: 3600960
Forward closed progress: 3575585
Forward closed progress: 3647219
Forward closed progress: 3652614
Forward closed progress: 3563486
Forward closed progress: 3838762
Forward closed progress: 3831863
Forward closed progress: 4039547
Forward closed progress: 4036567
Forward closed progress: 4075823
Forward closed progress: 4075919
Forward closed progress: 4087903
Forward closed progress: 4089667
Forward closed progress: 3789272
Forward closed progress: 4105252
Forward closed progress: 3856073
Forward closed progress: 3395366
Forward closed progress: 3399591
Forward closed progress: 3502709
Forward closed progress: 3578204
Forward closed progress: 3577562
Forward closed progress: 3577618
Forward closed progress: 3567171
Forward closed progress: 3579672
Forward closed progress: 3642603
Forward closed progress: 3644209
Forward closed progress: 3663056
Forward closed progress: 3706587
Forward closed progress: 3764076
Forward closed progress: 3764124
Forward closed progress: 3721153
Forward closed progress: 3771967
Forward closed progress: 3797179
Forward closed progress: 3797739
Forward closed progress: 3797867
Forward closed progress: 3744705
Forward closed progress: 3741729
Forward closed progress: 3726826
Forward closed progress: 3706307
Forward closed progress: 3669346
Forward closed progress: 3729078
Forward closed progress: 3729526
Forward closed progress: 3746204
Forward closed progress: 3746336
Forward closed progress: 3773991
Forward closed progress: 3742644
Forward closed progress: 3637130
Forward closed progress: 3676744
Forward closed progress: 3691536
Forward closed progress: 3690736
Forward closed progress: 3703060
Forward closed progress: 3699456
Forward closed progress: 3699580
Forward closed progress: 3699648
Forward closed progress: 3668926
Forward closed progress: 3667155
Forward closed progress: 3658804
Forward closed progress: 3657578
Forward closed progress: 3651660
Forward closed progress: 3649951
Forward closed progress: 3640505
Forward closed progress: 3641744
Forward closed progress: 3642555
Forward closed progress: 3646392
Forward closed progress: 3646243
Forward closed progress: 3657149
Forward closed progress: 3660411
Forward closed progress: 3660333
Forward closed progress: 3661951
Forward closed progress: 3661636
Forward closed progress: 3662384
Forward closed progress: 3662160
Forward closed progress: 3662966
Forward closed progress: 3663536
Forward closed progress: 3663696
Forward closed progress: 3668204
Forward closed progress: 3663312
Forward closed progress: 3682660
Forward closed progress: 3672936
Forward closed progress: 3677621
Forward closed progress: 3677741
Forward closed progress: 3673832
Forward closed progress: 3673760
Forward closed progress: 3672572
Forward closed progress: 3672221
Forward closed progress: 3667408
Forward closed progress: 3663403
Forward closed progress: 3605587
Forward closed progress: 4011072
Forward closed progress: 3951139
Forward closed progress: 3950499
Forward closed progress: 3927491
Forward closed progress: 4053853
Forward closed progress: 3900354
Forward closed progress: 3511607
Forward closed progress: 3077604
Forward closed progress: 3019504
Forward closed progress: 3056041
Forward closed progress: 3044363
Forward closed progress: 3053425
Forward closed progress: 3048675
Forward closed progress: 3048997
Forward closed progress: 3049181
Forward closed progress: 3041712
Forward closed progress: 3012008
Forward closed progress: 3012007
Forward closed progress: 3002321
Forward closed progress: 2979000
Forward closed progress: 2948452
Forward closed progress: 2951257
Forward closed progress: 2952679
Forward closed progress: 2958672
Forward closed progress: 2958265
Forward closed progress: 2978196
Forward closed progress: 2985180
Forward closed progress: 2984996
Forward closed progress: 2986466
Forward closed progress: 2986346
Forward closed progress: 2987764
Forward closed progress: 2987388
Forward closed progress: 2988974
Forward closed progress: 2990018
Forward closed progress: 2996838
Forward closed progress: 2989451
Forward closed progress: 2998761
Forward closed progress: 2976888
Forward closed progress: 3005026
Forward closed progress: 2998973
Forward closed progress: 3005408
Forward closed progress: 3005648
Forward closed progress: 3001027
Forward closed progress: 3000883
Forward closed progress: 2998964
Forward closed progress: 2998847
Forward closed progress: 3002510
Forward closed progress: 2990486
Forward closed progress: 2982485
Forward closed progress: 2886284
Forward closed progress: 2866949
Forward closed progress: 2453970
Forward closed progress: 2344430
Forward closed progress: 2505922
Forward closed progress: 3019419
Forward closed progress: 3141866
Forward closed progress: 3680316
Forward closed progress: 3645771
Forward closed progress: 3646191
Forward closed progress: 3507549
Forward closed progress: 3544892
Forward closed progress: 4008861
Forward closed progress: 4029453
Forward closed progress: 4055964
Forward closed progress: 4110440
Forward closed progress: 4139944
Forward closed progress: 4351099
Forward closed progress: 4584022
Forward closed progress: 4584206
Forward closed progress: 4375809
Forward closed progress: 4823602
Forward closed progress: 5202958
Forward closed progress: 5154282
Forward closed progress: 5155618
Forward closed progress: 4826244
Forward closed progress: 4792275
Forward closed progress: 4637493
Forward closed progress: 4537719
Forward closed progress: 4535802
Forward closed progress: 4537973
Forward closed progress: 4383537
Forward closed progress: 4676783
Forward closed progress: 4668152
Forward closed progress: 4721380
Forward closed progress: 4721812
Forward closed progress: 4746984
Forward closed progress: 4748568
Forward closed progress: 4349519
Forward closed progress: 4369018
Forward closed progress: 4348420
Forward closed progress: 4333396
Forward closed progress: 4822957
Forward closed progress: 4817365
Forward closed progress: 4814125
Forward closed progress: 4789589
Forward closed progress: 4968387
Forward closed progress: 4738252
Forward closed progress: 4296780
Forward closed progress: 3740226
Forward closed progress: 3573024
Forward closed progress: 3055663
Forward closed progress: 2989184
Forward closed progress: 2975036
Forward closed progress: 2942032
Forward closed progress: 2933347
Forward closed progress: 2907685
Forward closed progress: 2900068
Forward closed progress: 2904414
Forward closed progress: 2899789
Forward closed progress: 2320384
Forward closed progress: 2143761
Forward closed progress: 2200202
Forward closed progress: 2240549
Forward closed progress: 2210871
Forward closed progress: 2283633
Forward closed progress: 2277742
Forward closed progress: 2259596
Forward closed progress: 2267642
Forward closed progress: 2248688
Forward closed progress: 2261998
Forward closed progress: 2215690
Forward closed progress: 4060019
Forward closed progress: 4095339
Forward closed progress: 4200197
Forward closed progress: 5266305
Forward closed progress: 6122888
Forward closed progress: 6274216
Forward closed progress: 6273986
Forward closed progress: 6233569
Forward closed progress: 6233673
Forward closed progress: 6140785
Forward closed progress: 6160728
Forward closed progress: 6127049
Forward closed progress: 6205665
Forward closed progress: 6199610
Forward closed progress: 6237808
Forward closed progress: 6252551
Forward closed progress: 6245834
Forward closed progress: 6240857
Forward closed progress: 6237192
Forward closed progress: 6321222
Forward closed progress: 6308919
Forward closed progress: 6318534
Forward closed progress: 6885553
Forward closed progress: 6586683
Forward closed progress: 6523371
Forward closed progress: 6625562
Forward closed progress: 6641470
Forward closed progress: 6630062
Forward closed progress: 6630102
Forward closed progress: 6574808
Forward closed progress: 6545087
Forward closed progress: 6473475
Forward closed progress: 6466480
Forward closed progress: 6557149
Forward closed progress: 6578340
Forward closed progress: 6575908
Forward closed progress: 6575948
Forward closed progress: 6532207
Forward closed progress: 6509988
Forward closed progress: 6753807
Forward closed progress: 6754091
Forward closed progress: 6796088
Forward closed progress: 6845258
Forward closed progress: 6844701
Forward closed progress: 7022357
Forward closed progress: 7088747
Forward closed progress: 7411825
Forward closed progress: 7412209
Forward closed progress: 7196712
Forward closed progress: 7319078
Forward closed progress: 7142466
Forward closed progress: 7134218
Forward closed progress: 7116797
Forward closed progress: 7012509
Forward closed progress: 6987124
Forward closed progress: 7270118
Forward closed progress: 7271716
Forward closed progress: 7265914
Forward closed progress: 7309930
Forward closed progress: 7304741
Forward closed progress: 7361234
Forward closed progress: 7337074
Forward closed progress: 6897493
Forward closed progress: 6943025
Forward closed progress: 6942611
Forward closed progress: 7064746
Forward closed progress: 7032952
Forward closed progress: 6997368
Forward closed progress: 7007063
Forward closed progress: 6996815
Forward closed progress: 6996853
Forward closed progress: 6996830
Forward closed progress: 6997764
Forward closed progress: 6996324
Forward closed progress: 6997768
Forward closed progress: 7014126
Forward closed progress: 7014131
Forward closed progress: 7072501
Forward closed progress: 7110309
Forward closed progress: 7110187
Forward closed progress: 7083593
Forward closed progress: 7085050
Forward closed progress: 7063273
Forward closed progress: 7047790
Forward closed progress: 7047922
Forward closed progress: 7054396
Forward closed progress: 7054408
Forward closed progress: 7048274
Forward closed progress: 7048284
Forward closed progress: 7043440
Forward closed progress: 7039010
Forward closed progress: 7547631
Forward closed progress: 7559654
Forward closed progress: 7476948
Forward closed progress: 7474845
Forward closed progress: 7496089
Forward closed progress: 7371173
Forward closed progress: 7371185
Forward closed progress: 7369852
Forward closed progress: 7369445
Forward closed progress: 7327280
Forward closed progress: 7432522
Forward closed progress: 7426175
Forward closed progress: 7420569
Forward closed progress: 7420629
Forward closed progress: 7420609
Forward closed progress: 7404503
Forward closed progress: 7403647
Forward closed progress: 7402739
Forward closed progress: 7402521
Forward closed progress: 7402319
Forward closed progress: 7395203
Forward closed progress: 7036043
Forward closed progress: 7056534
Forward closed progress: 7056392
Forward closed progress: 7029443
Forward closed progress: 7038433
Forward closed progress: 7038445
Forward closed progress: 7028189
Forward closed progress: 7021979
Forward closed progress: 6521117
Forward closed progress: 6588685
Forward closed progress: 6545812
Forward closed progress: 6491119
Forward closed progress: 6333216
Forward closed progress: 5830757
Forward closed progress: 5701780
Forward closed progress: 5296433
Forward closed progress: 5290367
Forward closed progress: 5288282
Forward closed progress: 5287980
Forward closed progress: 5289125
Forward closed progress: 4811136
Forward closed progress: 4807638
Forward closed progress: 4684255
Forward closed progress: 4635695
Forward closed progress: 4626487
Forward closed progress: 4631436
Forward closed progress: 4611908
Forward closed progress: 4600409
Forward closed progress: 4625224
Forward closed progress: 4623460
Forward closed progress: 4623190
Forward closed progress: 4611379
Forward closed progress: 4593713
Forward closed progress: 4582331
Forward closed progress: 4572421
Forward closed progress: 4427656
Forward closed progress: 4408539
Forward closed progress: 4394170
Forward closed progress: 4394758
Forward closed progress: 4393095
Forward closed progress: 4405891
Forward closed progress: 4403166
Forward closed progress: 4397754
Forward closed progress: 4397322
Forward closed progress: 4390822
Forward closed progress: 4385851
Forward closed progress: 4420045
Forward closed progress: 4422958
Forward closed progress: 4436001
Forward closed progress: 4422163
Forward closed progress: 4428137
Forward closed progress: 4413582
Forward closed progress: 4415567
Forward closed progress: 4417971
Forward closed progress: 4420827
Forward closed progress: 4420851
Forward closed progress: 4418070
Forward closed progress: 4417305
Forward closed progress: 4417374
Forward closed progress: 4418832
Forward closed progress: 4418567
Forward closed progress: 4414778
Forward closed progress: 4414778
Forward closed progress: 4405331
Forward closed progress: 4405331
Control exists for 100 color(s), jumping through 120247025664 vertices.
Elapsed: 31612622 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 31612.622
user ??
sys ??
