>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 10080
Perturbation colors: 9007199254740992
All colors: 90792568487789200000
Unknown update functions: 3
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 42117663715168880000
Attractor colors computed in 3314 ms.
Backward progress: 109317
Backward progress: 113011
Backward progress: 113961
Backward progress: 121763
Backward progress: 120008
Backward progress: 120095
Backward progress: 120633
Backward progress: 119568
Backward progress: 114835
Backward progress: 113507
Backward progress: 111926
Backward progress: 112679
Backward progress: 113387
Backward progress: 110074
Backward progress: 109810
Backward progress: 106414
Backward progress: 116766
Backward progress: 121083
Backward progress: 121082
Backward progress: 121150
Backward progress: 120801
Backward progress: 120858
Backward progress: 121481
Backward progress: 120915
Backward progress: 124933
Backward progress: 116681
Backward progress: 108090
Backward progress: 134119
Backward progress: 151814
Backward progress: 151867
Backward progress: 189319
Backward progress: 189197
Backward progress: 188361
Backward progress: 189059
Backward progress: 191039
Backward progress: 191055
Backward progress: 188829
Backward progress: 181824
Backward progress: 186869
Backward progress: 186401
Backward progress: 181194
Backward progress: 181871
Backward progress: 183440
Backward progress: 178164
Backward progress: 178186
Backward progress: 178267
Backward progress: 171587
Backward progress: 172037
Backward progress: 141473
Backward progress: 133125
Backward progress: 137074
Backward progress: 136614
Backward progress: 136300
Backward progress: 136255
Backward progress: 136207
Backward progress: 136397
Backward progress: 136157
Backward progress: 135289
Backward progress: 106637
Backward progress: 152507
Backward progress: 158129
Backward progress: 179177
Backward progress: 185291
Backward progress: 186960
Backward progress: 186935
Backward progress: 188744
Backward progress: 191496
Backward progress: 194460
Backward progress: 192682
Backward progress: 194211
Backward progress: 223450
Backward progress: 241635
Backward progress: 248985
Backward progress: 258280
Backward progress: 255747
Backward progress: 255166
Backward progress: 255017
Backward progress: 251919
Backward progress: 250935
Backward progress: 250279
Backward progress: 252004
Backward progress: 272787
Backward progress: 255078
Backward progress: 255058
Backward progress: 254348
Backward progress: 269188
Backward progress: 260420
Backward progress: 264152
Backward progress: 264620
Backward progress: 316083
Backward progress: 272941
Backward progress: 271788
Backward progress: 271688
Backward progress: 271544
Backward progress: 271485
Backward progress: 270688
Backward progress: 269950
Backward progress: 269081
Backward progress: 249278
Backward progress: 249278
Forward closed progress: 248493
Forward closed progress: 248501
Forward closed progress: 324190
Forward closed progress: 246631
Forward closed progress: 246710
Forward closed progress: 246986
Forward closed progress: 247538
Forward closed progress: 247262
Forward closed progress: 248608
Forward closed progress: 249719
Forward closed progress: 249855
Forward closed progress: 247915
Forward closed progress: 248617
Forward closed progress: 249324
Forward closed progress: 251489
Forward closed progress: 251573
Forward closed progress: 249650
Forward closed progress: 252576
Forward closed progress: 246714
Forward closed progress: 256560
Forward closed progress: 257112
Forward closed progress: 250366
Forward closed progress: 276709
Forward closed progress: 287950
Forward closed progress: 292733
Forward closed progress: 292490
Forward closed progress: 292470
Forward closed progress: 292470
Forward closed progress: 253805
Forward closed progress: 281833
Forward closed progress: 316870
Forward closed progress: 301051
Forward closed progress: 301041
Forward closed progress: 301041
Forward closed progress: 256957
Forward closed progress: 256651
Forward closed progress: 247962
Forward closed progress: 227952
Forward closed progress: 308621
Forward closed progress: 234998
Forward closed progress: 236734
Forward closed progress: 238638
Forward closed progress: 259775
Forward closed progress: 268030
Forward closed progress: 275769
Forward closed progress: 276064
Forward closed progress: 276090
Forward closed progress: 268463
Forward closed progress: 242576
Forward closed progress: 315279
Forward closed progress: 317057
Forward closed progress: 317443
Forward closed progress: 317402
Forward closed progress: 320820
Forward closed progress: 370704
Forward closed progress: 390616
Forward closed progress: 390955
Forward closed progress: 390993
Forward closed progress: 352138
Forward closed progress: 352184
Forward closed progress: 350151
Forward closed progress: 348680
Forward closed progress: 252907
Forward closed progress: 322815
Forward closed progress: 322652
Forward closed progress: 325593
Forward closed progress: 316883
Forward closed progress: 316943
Forward closed progress: 316953
Forward closed progress: 316891
Forward closed progress: 287672
Forward closed progress: 271790
Forward closed progress: 278370
Forward closed progress: 284361
Forward closed progress: 284671
Forward closed progress: 284697
Forward closed progress: 275333
Forward closed progress: 249095
Forward closed progress: 262248
Forward closed progress: 263004
Forward closed progress: 267477
Forward closed progress: 267756
Forward closed progress: 267780
Forward closed progress: 249455
Forward closed progress: 329210
Forward closed progress: 330059
Forward closed progress: 310735
Forward closed progress: 247484
Forward closed progress: 365858
Forward closed progress: 451856
Forward closed progress: 479251
Forward closed progress: 482560
Forward closed progress: 482884
Forward closed progress: 440477
Forward closed progress: 338722
Forward closed progress: 329394
Forward closed progress: 321925
Forward closed progress: 276146
Forward closed progress: 249460
Forward closed progress: 453752
Forward closed progress: 454236
Forward closed progress: 252929
Forward closed progress: 349088
Forward closed progress: 490144
Forward closed progress: 614209
Forward closed progress: 638365
Forward closed progress: 641241
Forward closed progress: 641589
Forward closed progress: 595176
Forward closed progress: 608741
Forward closed progress: 607900
Forward closed progress: 536474
Forward closed progress: 567146
Forward closed progress: 566627
Forward closed progress: 501558
Forward closed progress: 492416
Forward closed progress: 486294
Forward closed progress: 482459
Forward closed progress: 482591
Forward closed progress: 468636
Forward closed progress: 459443
Forward closed progress: 471468
Forward closed progress: 473362
Forward closed progress: 529295
Forward closed progress: 528463
Forward closed progress: 495922
Forward closed progress: 497133
Forward closed progress: 496684
Forward closed progress: 455946
Forward closed progress: 666588
Forward closed progress: 1011359
Forward closed progress: 1012237
Forward closed progress: 738507
Forward closed progress: 737759
Forward closed progress: 737943
Forward closed progress: 696581
Forward closed progress: 687234
Forward closed progress: 883793
Forward closed progress: 689161
Forward closed progress: 690250
Forward closed progress: 692434
Forward closed progress: 648299
Forward closed progress: 857288
Forward closed progress: 862899
Forward closed progress: 708869
Forward closed progress: 687136
Forward closed progress: 791912
Forward closed progress: 791705
Forward closed progress: 720686
Forward closed progress: 720548
Forward closed progress: 710599
Forward closed progress: 685379
Forward closed progress: 607557
Forward closed progress: 465194
Forward closed progress: 472591
Forward closed progress: 465948
Forward closed progress: 465646
Forward closed progress: 465398
Forward closed progress: 459925
Forward closed progress: 458227
Forward closed progress: 602957
Forward closed progress: 598941
Forward closed progress: 596127
Forward closed progress: 720101
Forward closed progress: 744812
Forward closed progress: 745022
Forward closed progress: 770892
Forward closed progress: 770919
Forward closed progress: 776405
Forward closed progress: 865994
Forward closed progress: 866831
Forward closed progress: 912143
Forward closed progress: 912736
Forward closed progress: 912774
Forward closed progress: 865238
Forward closed progress: 857278
Forward closed progress: 838503
Forward closed progress: 838207
Forward closed progress: 838115
Forward closed progress: 838013
Forward closed progress: 847034
Forward closed progress: 847757
Forward closed progress: 847737
Forward closed progress: 848019
Forward closed progress: 848087
Forward closed progress: 844876
Forward closed progress: 836573
Forward closed progress: 979145
Forward closed progress: 970074
Forward closed progress: 970011
Forward closed progress: 888101
Forward closed progress: 888977
Forward closed progress: 888873
Forward closed progress: 878450
Forward closed progress: 878475
Forward closed progress: 1024411
Forward closed progress: 1024361
Forward closed progress: 898972
Forward closed progress: 909812
Forward closed progress: 907493
Forward closed progress: 907742
Forward closed progress: 915317
Forward closed progress: 962082
Forward closed progress: 958461
Forward closed progress: 949821
Forward closed progress: 816533
Forward closed progress: 808792
Forward closed progress: 805685
Forward closed progress: 742435
Forward closed progress: 735699
Forward closed progress: 594277
Forward closed progress: 566367
Forward closed progress: 553787
Forward closed progress: 549165
Forward closed progress: 583070
Forward closed progress: 582995
Forward closed progress: 539003
Forward closed progress: 538955
Forward closed progress: 544379
Forward closed progress: 543033
Forward closed progress: 511976
Forward closed progress: 505128
Forward closed progress: 512096
Forward closed progress: 512116
Forward closed progress: 506426
Forward closed progress: 499458
Forward closed progress: 493184
Forward closed progress: 492948
Forward closed progress: 493010
Forward closed progress: 492902
Forward closed progress: 492830
Forward closed progress: 485234
Forward closed progress: 483956
Forward closed progress: 489902
Forward closed progress: 485657
Forward closed progress: 485576
Forward closed progress: 485321
Forward closed progress: 485626
Forward closed progress: 485626
Forward closed progress: 485584
Forward closed progress: 485617
Forward closed progress: 485601
Forward closed progress: 485227
Forward closed progress: 485254
Forward closed progress: 485258
Forward closed progress: 484655
Forward closed progress: 780120
Forward closed progress: 876525
Forward closed progress: 900396
Forward closed progress: 943412
Forward closed progress: 945235
Forward closed progress: 945369
Forward closed progress: 860451
Forward closed progress: 842788
Forward closed progress: 863192
Forward closed progress: 868117
Forward closed progress: 906650
Forward closed progress: 921026
Forward closed progress: 951004
Forward closed progress: 1131189
Forward closed progress: 1131323
Forward closed progress: 956154
Forward closed progress: 978864
Forward closed progress: 1066314
Forward closed progress: 1071422
Forward closed progress: 1071790
Forward closed progress: 810702
Forward closed progress: 803410
Forward closed progress: 805414
Forward closed progress: 717298
Forward closed progress: 717408
Forward closed progress: 717448
Forward closed progress: 503455
Forward closed progress: 503173
Forward closed progress: 502513
Forward closed progress: 502650
Forward closed progress: 502121
Forward closed progress: 501436
Forward closed progress: 497280
Forward closed progress: 495112
Forward closed progress: 495056
Forward closed progress: 489751
Forward closed progress: 490291
Forward closed progress: 1041940
Forward closed progress: 1249954
Forward closed progress: 1223319
Forward closed progress: 1115025
Forward closed progress: 893655
Forward closed progress: 894448
Forward closed progress: 878230
Forward closed progress: 514475
Forward closed progress: 573763
Forward closed progress: 560947
Forward closed progress: 520281
Forward closed progress: 531136
Forward closed progress: 531176
Forward closed progress: 520491
Forward closed progress: 502100
Forward closed progress: 505432
Forward closed progress: 501058
Forward closed progress: 506460
Forward closed progress: 487866
Forward closed progress: 479108
Forward closed progress: 479186
Forward closed progress: 603328
Forward closed progress: 659200
Forward closed progress: 711407
Forward closed progress: 719235
Forward closed progress: 746713
Forward closed progress: 747280
Forward closed progress: 747352
Forward closed progress: 737439
Forward closed progress: 763547
Forward closed progress: 758069
Forward closed progress: 742541
Forward closed progress: 761244
Forward closed progress: 765100
Forward closed progress: 831227
Forward closed progress: 831368
Forward closed progress: 860176
Forward closed progress: 884956
Forward closed progress: 884392
Forward closed progress: 890088
Forward closed progress: 909728
Forward closed progress: 912260
Forward closed progress: 911402
Forward closed progress: 906889
Forward closed progress: 913328
Forward closed progress: 917368
Forward closed progress: 849103
Forward closed progress: 866320
Forward closed progress: 809396
Forward closed progress: 844740
Forward closed progress: 844860
Forward closed progress: 824802
Forward closed progress: 817823
Forward closed progress: 809200
Forward closed progress: 773031
Forward closed progress: 755949
Forward closed progress: 726324
Forward closed progress: 748063
Forward closed progress: 748270
Forward closed progress: 771985
Forward closed progress: 772008
Forward closed progress: 618472
Forward closed progress: 615038
Forward closed progress: 611765
Forward closed progress: 607157
Forward closed progress: 653795
Forward closed progress: 650762
Forward closed progress: 563754
Forward closed progress: 569434
Forward closed progress: 569235
Forward closed progress: 567806
Forward closed progress: 550275
Forward closed progress: 567828
Forward closed progress: 567833
Forward closed progress: 550693
Forward closed progress: 529976
Forward closed progress: 531607
Forward closed progress: 528011
Forward closed progress: 527987
Forward closed progress: 525757
Forward closed progress: 503424
Forward closed progress: 503859
Forward closed progress: 460614
Forward closed progress: 616738
Forward closed progress: 743874
Forward closed progress: 710635
Forward closed progress: 851525
Forward closed progress: 855584
Forward closed progress: 855834
Forward closed progress: 846120
Forward closed progress: 852954
Forward closed progress: 894827
Forward closed progress: 904894
Forward closed progress: 1024901
Forward closed progress: 1149445
Forward closed progress: 1321277
Forward closed progress: 1562197
Forward closed progress: 1559866
Forward closed progress: 1492767
Forward closed progress: 1543782
Forward closed progress: 1605170
Forward closed progress: 1615491
Forward closed progress: 1599072
Forward closed progress: 1571083
Forward closed progress: 1556786
Forward closed progress: 1585186
Forward closed progress: 1567124
Forward closed progress: 1574210
Forward closed progress: 1575454
Forward closed progress: 1524786
Forward closed progress: 1505405
Forward closed progress: 1535505
Forward closed progress: 1365930
Forward closed progress: 1409555
Forward closed progress: 1409977
Forward closed progress: 1289584
Forward closed progress: 1268145
Forward closed progress: 1225841
Forward closed progress: 1222936
Forward closed progress: 1219467
Forward closed progress: 1199696
Forward closed progress: 1199516
Forward closed progress: 1199810
Forward closed progress: 1197696
Forward closed progress: 1032620
Forward closed progress: 1032632
Forward closed progress: 1032594
Forward closed progress: 1032593
Forward closed progress: 1032642
Forward closed progress: 1032621
Forward closed progress: 1032773
Forward closed progress: 1032835
Forward closed progress: 1032601
Forward closed progress: 1032663
Forward closed progress: 1032704
Forward closed progress: 1034160
Forward closed progress: 1034158
Forward closed progress: 1035710
Forward closed progress: 1039156
Forward closed progress: 1039158
Forward closed progress: 1037180
Forward closed progress: 1033756
Forward closed progress: 1033672
Forward closed progress: 1032754
Forward closed progress: 1032746
Forward closed progress: 1032717
Forward closed progress: 1104170
Forward closed progress: 1087253
Forward closed progress: 978457
Forward closed progress: 1029376
Forward closed progress: 1029666
Forward closed progress: 992208
Forward closed progress: 989697
Forward closed progress: 978747
Forward closed progress: 952568
Forward closed progress: 926112
Forward closed progress: 826542
Forward closed progress: 742627
Forward closed progress: 720110
Forward closed progress: 720100
Forward closed progress: 720840
Forward closed progress: 718785
Forward closed progress: 718756
Forward closed progress: 718696
Forward closed progress: 718434
Forward closed progress: 716189
Forward closed progress: 712054
Forward closed progress: 630790
Forward closed progress: 632230
Forward closed progress: 632270
Forward closed progress: 633684
Forward closed progress: 633690
Forward closed progress: 595684
Forward closed progress: 595328
Forward closed progress: 595484
Forward closed progress: 595580
Forward closed progress: 598286
Forward closed progress: 598274
Forward closed progress: 598480
Forward closed progress: 599528
Forward closed progress: 599465
Forward closed progress: 599583
Forward closed progress: 596951
Forward closed progress: 595630
Forward closed progress: 596970
Forward closed progress: 596988
Forward closed progress: 595621
Forward closed progress: 594442
Forward closed progress: 552005
Forward closed progress: 460620
Forward closed progress: 586799
Forward closed progress: 565686
Forward closed progress: 565568
Forward closed progress: 565305
Forward closed progress: 566033
Forward closed progress: 566033
Forward closed progress: 567830
Forward closed progress: 729616
Forward closed progress: 839563
Forward closed progress: 1029936
Forward closed progress: 1033973
Forward closed progress: 1034227
Forward closed progress: 1025804
Forward closed progress: 1068798
Forward closed progress: 1139029
Forward closed progress: 1151769
Forward closed progress: 1309586
Forward closed progress: 1502392
Forward closed progress: 1726434
Forward closed progress: 2204268
Forward closed progress: 2202852
Forward closed progress: 1907394
Forward closed progress: 2043616
Forward closed progress: 2237595
Forward closed progress: 2251018
Forward closed progress: 2242931
Forward closed progress: 2217389
Forward closed progress: 2208877
Forward closed progress: 2315891
Forward closed progress: 2272499
Forward closed progress: 2309571
Forward closed progress: 2320944
Forward closed progress: 2022117
Forward closed progress: 2009175
Forward closed progress: 2242495
Forward closed progress: 2245157
Forward closed progress: 2333157
Forward closed progress: 2347898
Forward closed progress: 2338792
Forward closed progress: 2351235
Forward closed progress: 2386070
Forward closed progress: 2230873
Forward closed progress: 2280997
Forward closed progress: 2281690
Forward closed progress: 2159987
Forward closed progress: 2140858
Forward closed progress: 2094476
Forward closed progress: 2087537
Forward closed progress: 2085527
Forward closed progress: 2106499
Forward closed progress: 2102437
Forward closed progress: 2153575
Forward closed progress: 2151942
Forward closed progress: 1753911
Forward closed progress: 1792277
Forward closed progress: 1798799
Forward closed progress: 1828468
Forward closed progress: 1828849
Forward closed progress: 1865251
Forward closed progress: 1999223
Forward closed progress: 2107246
Forward closed progress: 2108029
Forward closed progress: 2108091
Forward closed progress: 2021687
Forward closed progress: 2023574
Forward closed progress: 2022796
Forward closed progress: 2013967
Forward closed progress: 2026727
Forward closed progress: 2095075
Forward closed progress: 2128172
Forward closed progress: 2128676
Forward closed progress: 2129125
Forward closed progress: 2129159
Forward closed progress: 2110921
Forward closed progress: 2098371
Forward closed progress: 2305167
Forward closed progress: 2299820
Forward closed progress: 2298899
Forward closed progress: 2394434
Forward closed progress: 2323750
Forward closed progress: 2321331
Forward closed progress: 2331961
Forward closed progress: 2322119
Forward closed progress: 2323120
Forward closed progress: 2451434
Forward closed progress: 2451908
Forward closed progress: 2342665
Forward closed progress: 2342304
Forward closed progress: 2343576
Forward closed progress: 2497906
Forward closed progress: 2550397
Forward closed progress: 2556046
Forward closed progress: 2556122
Forward closed progress: 2467317
Forward closed progress: 2462858
Forward closed progress: 2479599
Forward closed progress: 2474255
Forward closed progress: 2462243
Forward closed progress: 2458998
Forward closed progress: 2433872
Forward closed progress: 2423907
Forward closed progress: 2417496
Forward closed progress: 2508763
Forward closed progress: 2509640
Forward closed progress: 2423267
Forward closed progress: 2413834
Forward closed progress: 2455382
Forward closed progress: 2453543
Forward closed progress: 2284474
Forward closed progress: 2271890
Forward closed progress: 2271654
Forward closed progress: 2252641
Forward closed progress: 2276874
Forward closed progress: 2250947
Forward closed progress: 2225242
Forward closed progress: 2151358
Forward closed progress: 2107833
Forward closed progress: 2108674
Forward closed progress: 2106385
Forward closed progress: 4269426
Forward closed progress: 4760204
Forward closed progress: 4398739
Forward closed progress: 4437689
Forward closed progress: 4862229
Forward closed progress: 4874928
Forward closed progress: 4782423
Forward closed progress: 4746057
Forward closed progress: 4617559
Forward closed progress: 4690711
Forward closed progress: 4739925
Forward closed progress: 5385324
Forward closed progress: 5638247
Forward closed progress: 6532617
Forward closed progress: 6899509
Forward closed progress: 6829495
Forward closed progress: 6991590
Forward closed progress: 7243599
Forward closed progress: 7273889
Forward closed progress: 6992799
Forward closed progress: 6866895
Forward closed progress: 7071127
Forward closed progress: 7018422
Forward closed progress: 6893240
Forward closed progress: 7046112
Forward closed progress: 6955253
Forward closed progress: 7144776
Forward closed progress: 6237775
Forward closed progress: 6435812
Forward closed progress: 6437156
Forward closed progress: 5908994
Forward closed progress: 5765062
Forward closed progress: 5530035
Forward closed progress: 5495421
Forward closed progress: 6809264
Forward closed progress: 6778472
Forward closed progress: 6697486
Forward closed progress: 6678067
Forward closed progress: 8717246
Forward closed progress: 9042069
Forward closed progress: 9062410
Forward closed progress: 9378296
Forward closed progress: 9380685
Forward closed progress: 7814407
Forward closed progress: 7783152
Forward closed progress: 7777606
Forward closed progress: 7673465
Forward closed progress: 7571913
Forward closed progress: 7092134
Forward closed progress: 7616621
Forward closed progress: 7603223
Forward closed progress: 6878417
Forward closed progress: 6950829
Forward closed progress: 6933999
Forward closed progress: 6702078
Forward closed progress: 6363025
Forward closed progress: 6421706
Forward closed progress: 6424933
Forward closed progress: 5936618
Forward closed progress: 5875717
Forward closed progress: 5803911
Forward closed progress: 5399895
Forward closed progress: 5138994
Forward closed progress: 6238148
Forward closed progress: 5484282
Forward closed progress: 4336715
Forward closed progress: 4498360
Forward closed progress: 4499338
Forward closed progress: 4322929
Forward closed progress: 4283971
Forward closed progress: 4211157
Forward closed progress: 4032900
Forward closed progress: 4103342
Forward closed progress: 3918415
Forward closed progress: 3791550
Forward closed progress: 3369375
Forward closed progress: 3369198
Forward closed progress: 2569679
Forward closed progress: 2846048
Forward closed progress: 3037242
Forward closed progress: 3149797
Forward closed progress: 3159786
Forward closed progress: 3228032
Forward closed progress: 3232562
Forward closed progress: 3187619
Forward closed progress: 3143272
Forward closed progress: 3138002
Forward closed progress: 3053443
Forward closed progress: 3051923
Forward closed progress: 3053408
Forward closed progress: 3051575
Forward closed progress: 3055439
Forward closed progress: 3066327
Forward closed progress: 3231657
Forward closed progress: 3231575
Forward closed progress: 3403623
Forward closed progress: 3421597
Forward closed progress: 3419792
Forward closed progress: 3426468
Forward closed progress: 3448807
Forward closed progress: 3457061
Forward closed progress: 3352212
Forward closed progress: 3315718
Forward closed progress: 3326273
Forward closed progress: 3355610
Forward closed progress: 3326403
Forward closed progress: 3419206
Forward closed progress: 3301793
Forward closed progress: 3301613
Forward closed progress: 3302513
Forward closed progress: 3302078
Forward closed progress: 3304305
Forward closed progress: 3332191
Forward closed progress: 3183024
Forward closed progress: 3213499
Forward closed progress: 3213805
Forward closed progress: 3101911
Forward closed progress: 3080094
Forward closed progress: 3047342
Forward closed progress: 3045018
Forward closed progress: 2909270
Forward closed progress: 2907884
Forward closed progress: 2891140
Forward closed progress: 2897913
Forward closed progress: 2891410
Forward closed progress: 2890675
Forward closed progress: 3075929
Forward closed progress: 3153021
Forward closed progress: 3167594
Forward closed progress: 3276278
Forward closed progress: 3277105
Forward closed progress: 2815536
Forward closed progress: 2806451
Forward closed progress: 2805136
Forward closed progress: 2774062
Forward closed progress: 2772404
Forward closed progress: 2772130
Forward closed progress: 2771217
Forward closed progress: 2759166
Forward closed progress: 2724020
Forward closed progress: 2886307
Forward closed progress: 2874559
Forward closed progress: 2807072
Forward closed progress: 2842485
Forward closed progress: 2835384
Forward closed progress: 2825204
Forward closed progress: 2886044
Forward closed progress: 2771190
Forward closed progress: 2697822
Forward closed progress: 2607218
Forward closed progress: 2629620
Forward closed progress: 2630227
Forward closed progress: 2467592
Forward closed progress: 2454939
Forward closed progress: 2440136
Forward closed progress: 2473605
Forward closed progress: 2466605
Forward closed progress: 2443591
Forward closed progress: 2414858
Forward closed progress: 2415576
Forward closed progress: 2411764
Forward closed progress: 2410522
Forward closed progress: 2410038
Forward closed progress: 2404459
Forward closed progress: 2400623
Forward closed progress: 2400508
Forward closed progress: 2388855
Forward closed progress: 2196723
Forward closed progress: 1930537
Forward closed progress: 1471059
Forward closed progress: 1254697
Forward closed progress: 1660770
Forward closed progress: 1565017
Forward closed progress: 2151306
Forward closed progress: 2158484
Forward closed progress: 2157384
Forward closed progress: 2147670
Forward closed progress: 2097512
Forward closed progress: 2201700
Forward closed progress: 2231178
Forward closed progress: 2788580
Forward closed progress: 3073232
Forward closed progress: 3818147
Forward closed progress: 4354900
Forward closed progress: 4351816
Forward closed progress: 4283048
Forward closed progress: 4217104
Forward closed progress: 4282437
Forward closed progress: 4297529
Forward closed progress: 4230301
Forward closed progress: 4202257
Forward closed progress: 4094158
Forward closed progress: 4138241
Forward closed progress: 4064676
Forward closed progress: 4065581
Forward closed progress: 4066825
Forward closed progress: 4112743
Forward closed progress: 4057886
Forward closed progress: 4208264
Forward closed progress: 3577606
Forward closed progress: 3721959
Forward closed progress: 3722617
Forward closed progress: 3283163
Forward closed progress: 3195494
Forward closed progress: 3031238
Forward closed progress: 3017949
Forward closed progress: 3014558
Forward closed progress: 2910160
Forward closed progress: 2909388
Forward closed progress: 2909938
Forward closed progress: 2905562
Forward closed progress: 2861397
Forward closed progress: 2849459
Forward closed progress: 2847297
Forward closed progress: 2840891
Forward closed progress: 2849259
Forward closed progress: 2849282
Forward closed progress: 2845523
Forward closed progress: 2845886
Forward closed progress: 2845890
Forward closed progress: 2842109
Forward closed progress: 2839936
Forward closed progress: 2839967
Forward closed progress: 2840005
Forward closed progress: 2832893
Forward closed progress: 3610986
Forward closed progress: 3275692
Forward closed progress: 2513521
Forward closed progress: 2717767
Forward closed progress: 2718193
Forward closed progress: 2571350
Forward closed progress: 2560219
Forward closed progress: 2515369
Forward closed progress: 2388643
Forward closed progress: 2439895
Forward closed progress: 2342983
Forward closed progress: 2272056
Forward closed progress: 1945872
Forward closed progress: 1409371
Forward closed progress: 1266135
Forward closed progress: 1238255
Forward closed progress: 1236860
Forward closed progress: 1237082
Forward closed progress: 1235480
Forward closed progress: 1235312
Forward closed progress: 1235184
Forward closed progress: 1234922
Forward closed progress: 1200973
Forward closed progress: 1188553
Forward closed progress: 1147107
Forward closed progress: 1144523
Forward closed progress: 1147088
Forward closed progress: 1170207
Forward closed progress: 1168863
Forward closed progress: 1196289
Forward closed progress: 1223201
Forward closed progress: 1223287
Forward closed progress: 1183674
Forward closed progress: 1187335
Forward closed progress: 1187470
Forward closed progress: 1201609
Forward closed progress: 1201049
Forward closed progress: 1214049
Forward closed progress: 1210995
Forward closed progress: 1156434
Forward closed progress: 1156503
Forward closed progress: 1137584
Forward closed progress: 1099146
Forward closed progress: 690214
Forward closed progress: 698673
Forward closed progress: 702263
Forward closed progress: 670180
Forward closed progress: 674467
Forward closed progress: 667651
Forward closed progress: 667020
Forward closed progress: 662530
Forward closed progress: 662866
Forward closed progress: 660682
Forward closed progress: 654579
Forward closed progress: 634950
Forward closed progress: 846020
Forward closed progress: 856336
Forward closed progress: 944920
Forward closed progress: 1037486
Forward closed progress: 1066026
Forward closed progress: 1067565
Forward closed progress: 1067695
Forward closed progress: 1017210
Forward closed progress: 1016414
Forward closed progress: 1019747
Forward closed progress: 1032269
Forward closed progress: 1042694
Forward closed progress: 1042122
Forward closed progress: 1047561
Forward closed progress: 1104590
Forward closed progress: 1092064
Forward closed progress: 1005684
Forward closed progress: 1036099
Forward closed progress: 1044369
Forward closed progress: 1044588
Forward closed progress: 1044616
Forward closed progress: 1031142
Forward closed progress: 1022179
Forward closed progress: 1047913
Forward closed progress: 1055789
Forward closed progress: 1056008
Forward closed progress: 1056036
Forward closed progress: 1036288
Forward closed progress: 1022949
Forward closed progress: 1014011
Forward closed progress: 1014799
Forward closed progress: 1026851
Forward closed progress: 1053459
Forward closed progress: 1069377
Forward closed progress: 1198929
Forward closed progress: 1198999
Forward closed progress: 1106319
Forward closed progress: 1044990
Forward closed progress: 1044688
Forward closed progress: 1044336
Forward closed progress: 1044589
Forward closed progress: 1044605
Forward closed progress: 1044597
Forward closed progress: 1043757
Forward closed progress: 1041683
Forward closed progress: 1076017
Forward closed progress: 1040727
Forward closed progress: 1038856
Forward closed progress: 1040149
Forward closed progress: 1040154
Forward closed progress: 1040232
Forward closed progress: 1040244
Forward closed progress: 1040304
Forward closed progress: 1026275
Forward closed progress: 932768
Forward closed progress: 904632
Forward closed progress: 880310
Forward closed progress: 846699
Forward closed progress: 690384
Forward closed progress: 691037
Forward closed progress: 691549
Forward closed progress: 690237
Forward closed progress: 691779
Forward closed progress: 690545
Forward closed progress: 690425
Forward closed progress: 689664
Forward closed progress: 689718
Forward closed progress: 689326
Forward closed progress: 688021
Forward closed progress: 689693
Forward closed progress: 682670
Forward closed progress: 682670
Control exists for 4676 color(s), jumping through 8993934142111744 vertices.
Elapsed: 16038102 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 16038.102
user ??
sys ??
