>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 52488
Perturbation colors: 9007199254740992
All colors: 472769874482845200000
Unknown update functions: 9
Lowest cardinality: 0
Highest cardinality: 2
Attractor colors: 14411518807585587000
Attractor colors computed in 1345 ms.
Backward progress: 103681
Backward progress: 105680
Backward progress: 107206
Backward progress: 108005
Backward progress: 107939
Backward progress: 109450
Backward progress: 111939
Backward progress: 112792
Backward progress: 111685
Backward progress: 114582
Backward progress: 117986
Backward progress: 118733
Backward progress: 115993
Backward progress: 119030
Backward progress: 116908
Backward progress: 164155
Backward progress: 165564
Backward progress: 170540
Backward progress: 166319
Backward progress: 165544
Backward progress: 165634
Backward progress: 181552
Backward progress: 180696
Backward progress: 186296
Backward progress: 186328
Backward progress: 182978
Backward progress: 182943
Backward progress: 180784
Backward progress: 180728
Backward progress: 189890
Backward progress: 189816
Backward progress: 195520
Backward progress: 210638
Backward progress: 216884
Backward progress: 216899
Backward progress: 217198
Backward progress: 217380
Backward progress: 215824
Backward progress: 216029
Backward progress: 222203
Backward progress: 222239
Backward progress: 222319
Backward progress: 219272
Backward progress: 219296
Backward progress: 219677
Backward progress: 217370
Backward progress: 215286
Backward progress: 213726
Backward progress: 248619
Backward progress: 252887
Backward progress: 252164
Backward progress: 261592
Backward progress: 261930
Backward progress: 261503
Backward progress: 261524
Backward progress: 261774
Backward progress: 262103
Backward progress: 272758
Backward progress: 272896
Backward progress: 273384
Backward progress: 269776
Backward progress: 269488
Backward progress: 270288
Backward progress: 270288
Backward progress: 270974
Backward progress: 260622
Backward progress: 260202
Backward progress: 258631
Backward progress: 258549
Backward progress: 259825
Backward progress: 255153
Backward progress: 262134
Backward progress: 259589
Backward progress: 263476
Backward progress: 263504
Backward progress: 261327
Backward progress: 261285
Backward progress: 259637
Backward progress: 258090
Backward progress: 250212
Backward progress: 247697
Backward progress: 236598
Backward progress: 232977
Backward progress: 232887
Backward progress: 223191
Backward progress: 220770
Backward progress: 220108
Backward progress: 219158
Backward progress: 220474
Backward progress: 219574
Backward progress: 218640
Backward progress: 217557
Backward progress: 214612
Backward progress: 214616
Backward progress: 213866
Backward progress: 265057
Backward progress: 274151
Backward progress: 247119
Backward progress: 266152
Backward progress: 266184
Backward progress: 254417
Backward progress: 254248
Backward progress: 246475
Backward progress: 237516
Backward progress: 238976
Backward progress: 234740
Backward progress: 232315
Backward progress: 231881
Backward progress: 196617
Backward progress: 247765
Backward progress: 268167
Backward progress: 269820
Backward progress: 271522
Backward progress: 276238
Backward progress: 276325
Backward progress: 276344
Backward progress: 276390
Backward progress: 274728
Backward progress: 275683
Backward progress: 274740
Backward progress: 274837
Backward progress: 275120
Backward progress: 280782
Backward progress: 280854
Backward progress: 281068
Backward progress: 278463
Backward progress: 278393
Backward progress: 278929
Backward progress: 278881
Backward progress: 279147
Backward progress: 278466
Backward progress: 278845
Backward progress: 279347
Backward progress: 279908
Backward progress: 277608
Backward progress: 283890
Backward progress: 276398
Backward progress: 276382
Backward progress: 275930
Backward progress: 275320
Backward progress: 275207
Backward progress: 280745
Backward progress: 280602
Backward progress: 282432
Backward progress: 282448
Backward progress: 281419
Backward progress: 281391
Backward progress: 280626
Backward progress: 280626
Backward progress: 287009
Backward progress: 283639
Backward progress: 279106
Backward progress: 282682
Backward progress: 280684
Backward progress: 280857
Backward progress: 285625
Backward progress: 285779
Backward progress: 285556
Backward progress: 283725
Backward progress: 279932
Backward progress: 278876
Backward progress: 278804
Backward progress: 277978
Backward progress: 277769
Backward progress: 275627
Backward progress: 280748
Backward progress: 278222
Backward progress: 276218
Backward progress: 274559
Backward progress: 269670
Backward progress: 269364
Backward progress: 269260
Backward progress: 267376
Backward progress: 272512
Backward progress: 256038
Backward progress: 256498
Backward progress: 256662
Backward progress: 256884
Backward progress: 256894
Backward progress: 256859
Backward progress: 256759
Backward progress: 257118
Backward progress: 257064
Backward progress: 254917
Backward progress: 255011
Backward progress: 254615
Backward progress: 254652
Backward progress: 254442
Backward progress: 254535
Backward progress: 254239
Backward progress: 253895
Backward progress: 253305
Backward progress: 215514
Backward progress: 215514
Backward progress: 106924
Backward progress: 134521
Backward progress: 139691
Backward progress: 134824
Backward progress: 181366
Backward progress: 181747
Backward progress: 181230
Backward progress: 183286
Backward progress: 184045
Backward progress: 184892
Backward progress: 202524
Backward progress: 204627
Backward progress: 207381
Backward progress: 203006
Backward progress: 202750
Backward progress: 205833
Backward progress: 207154
Backward progress: 208024
Backward progress: 202677
Backward progress: 202712
Backward progress: 200555
Backward progress: 200177
Backward progress: 197677
Backward progress: 201581
Backward progress: 197277
Backward progress: 220188
Backward progress: 217991
Backward progress: 224912
Backward progress: 224934
Backward progress: 220589
Backward progress: 220568
Backward progress: 218037
Backward progress: 217873
Backward progress: 212676
Backward progress: 210553
Backward progress: 208891
Backward progress: 252678
Backward progress: 259376
Backward progress: 228869
Backward progress: 245657
Backward progress: 245679
Backward progress: 234988
Backward progress: 234855
Backward progress: 228149
Backward progress: 218426
Backward progress: 217148
Backward progress: 215330
Backward progress: 211440
Backward progress: 211006
Backward progress: 180181
Backward progress: 178695
Backward progress: 175244
Backward progress: 172797
Backward progress: 172216
Backward progress: 174608
Backward progress: 171586
Backward progress: 172320
Backward progress: 172484
Backward progress: 172864
Backward progress: 172864
Backward progress: 172972
Backward progress: 173763
Backward progress: 173769
Backward progress: 173465
Backward progress: 173221
Backward progress: 173577
Backward progress: 173664
Backward progress: 173905
Backward progress: 173911
Backward progress: 173890
Backward progress: 173754
Backward progress: 173869
Backward progress: 174131
Backward progress: 173633
Backward progress: 173633
Backward progress: 203551
Backward progress: 205583
Backward progress: 220759
Backward progress: 219555
Backward progress: 220655
Backward progress: 221682
Backward progress: 230111
Backward progress: 230161
Backward progress: 222635
Backward progress: 221272
Backward progress: 221356
Backward progress: 222709
Backward progress: 222775
Backward progress: 214255
Backward progress: 214255
Forward closed progress: 214256
Forward closed progress: 214259
Forward closed progress: 402799
Forward closed progress: 214268
Forward closed progress: 214305
Forward closed progress: 214123
Forward closed progress: 214305
Forward closed progress: 190438
Forward closed progress: 190463
Forward closed progress: 190924
Forward closed progress: 191090
Forward closed progress: 190589
Forward closed progress: 182913
Forward closed progress: 182791
Forward closed progress: 185333
Forward closed progress: 185487
Forward closed progress: 183333
Forward closed progress: 184070
Forward closed progress: 186509
Forward closed progress: 196283
Forward closed progress: 184551
Forward closed progress: 184396
Forward closed progress: 184438
Forward closed progress: 184244
Forward closed progress: 191781
Forward closed progress: 273008
Forward closed progress: 272983
Forward closed progress: 272983
Forward closed progress: 272942
Forward closed progress: 186242
Forward closed progress: 194032
Forward closed progress: 194036
Forward closed progress: 269625
Forward closed progress: 269625
Forward closed progress: 269595
Forward closed progress: 187028
Forward closed progress: 187803
Forward closed progress: 187323
Forward closed progress: 186568
Forward closed progress: 188608
Forward closed progress: 191424
Forward closed progress: 197896
Forward closed progress: 217217
Forward closed progress: 229197
Forward closed progress: 280953
Forward closed progress: 281057
Forward closed progress: 281085
Forward closed progress: 256141
Forward closed progress: 200878
Forward closed progress: 255921
Forward closed progress: 243147
Forward closed progress: 243206
Forward closed progress: 243118
Forward closed progress: 250456
Forward closed progress: 283592
Forward closed progress: 391474
Forward closed progress: 391695
Forward closed progress: 391757
Forward closed progress: 326189
Forward closed progress: 326067
Forward closed progress: 325562
Forward closed progress: 324801
Forward closed progress: 197996
Forward closed progress: 280612
Forward closed progress: 249682
Forward closed progress: 224370
Forward closed progress: 224429
Forward closed progress: 235033
Forward closed progress: 279973
Forward closed progress: 280077
Forward closed progress: 280105
Forward closed progress: 257721
Forward closed progress: 202972
Forward closed progress: 320824
Forward closed progress: 327631
Forward closed progress: 301368
Forward closed progress: 287055
Forward closed progress: 209860
Forward closed progress: 275155
Forward closed progress: 348144
Forward closed progress: 447574
Forward closed progress: 447908
Forward closed progress: 448006
Forward closed progress: 389885
Forward closed progress: 316286
Forward closed progress: 314722
Forward closed progress: 318404
Forward closed progress: 286082
Forward closed progress: 257368
Forward closed progress: 212968
Forward closed progress: 304011
Forward closed progress: 304087
Forward closed progress: 215016
Forward closed progress: 389256
Forward closed progress: 668231
Forward closed progress: 842256
Forward closed progress: 1005763
Forward closed progress: 1006270
Forward closed progress: 1006400
Forward closed progress: 889591
Forward closed progress: 897915
Forward closed progress: 898275
Forward closed progress: 771277
Forward closed progress: 885984
Forward closed progress: 740408
Forward closed progress: 618303
Forward closed progress: 598136
Forward closed progress: 607077
Forward closed progress: 607115
Forward closed progress: 607131
Forward closed progress: 569511
Forward closed progress: 619162
Forward closed progress: 634939
Forward closed progress: 699589
Forward closed progress: 688175
Forward closed progress: 582695
Forward closed progress: 583105
Forward closed progress: 583185
Forward closed progress: 450759
Forward closed progress: 618473
Forward closed progress: 676215
Forward closed progress: 677217
Forward closed progress: 695710
Forward closed progress: 695990
Forward closed progress: 689529
Forward closed progress: 645021
Forward closed progress: 770535
Forward closed progress: 646113
Forward closed progress: 570529
Forward closed progress: 662423
Forward closed progress: 669619
Forward closed progress: 661855
Forward closed progress: 694254
Forward closed progress: 694426
Forward closed progress: 675961
Forward closed progress: 652379
Forward closed progress: 501191
Forward closed progress: 697324
Forward closed progress: 863375
Forward closed progress: 829484
Forward closed progress: 832177
Forward closed progress: 852205
Forward closed progress: 990793
Forward closed progress: 1001478
Forward closed progress: 1137617
Forward closed progress: 1127682
Forward closed progress: 1127754
Forward closed progress: 1053027
Forward closed progress: 1049676
Forward closed progress: 1052277
Forward closed progress: 1051484
Forward closed progress: 1050224
Forward closed progress: 1048060
Forward closed progress: 1103650
Forward closed progress: 1106413
Forward closed progress: 1106390
Forward closed progress: 1106624
Forward closed progress: 1106708
Forward closed progress: 1073650
Forward closed progress: 1073263
Forward closed progress: 1063007
Forward closed progress: 1063057
Forward closed progress: 1032308
Forward closed progress: 1030798
Forward closed progress: 1028279
Forward closed progress: 1018650
Forward closed progress: 1139923
Forward closed progress: 1139983
Forward closed progress: 1030970
Forward closed progress: 1033557
Forward closed progress: 1102964
Forward closed progress: 1093350
Forward closed progress: 1093368
Forward closed progress: 936110
Forward closed progress: 915065
Forward closed progress: 867604
Forward closed progress: 848288
Forward closed progress: 840829
Forward closed progress: 733490
Forward closed progress: 726525
Forward closed progress: 727000
Forward closed progress: 740252
Forward closed progress: 740269
Forward closed progress: 753795
Forward closed progress: 746178
Forward closed progress: 674418
Forward closed progress: 542242
Forward closed progress: 893152
Forward closed progress: 932309
Forward closed progress: 959252
Forward closed progress: 956894
Forward closed progress: 975607
Forward closed progress: 926521
Forward closed progress: 805843
Forward closed progress: 763350
Forward closed progress: 762460
Forward closed progress: 772526
Forward closed progress: 780918
Forward closed progress: 783968
Forward closed progress: 797039
Forward closed progress: 842414
Forward closed progress: 844490
Forward closed progress: 871074
Forward closed progress: 868245
Forward closed progress: 868299
Forward closed progress: 835010
Forward closed progress: 852834
Forward closed progress: 853596
Forward closed progress: 853754
Forward closed progress: 854885
Forward closed progress: 853810
Forward closed progress: 853405
Forward closed progress: 852197
Forward closed progress: 897513
Forward closed progress: 905258
Forward closed progress: 905292
Forward closed progress: 904678
Forward closed progress: 904706
Forward closed progress: 874070
Forward closed progress: 867878
Forward closed progress: 864856
Forward closed progress: 865829
Forward closed progress: 926121
Forward closed progress: 916384
Forward closed progress: 921624
Forward closed progress: 925431
Forward closed progress: 917387
Forward closed progress: 929295
Forward closed progress: 969757
Forward closed progress: 964022
Forward closed progress: 963992
Forward closed progress: 928771
Forward closed progress: 923957
Forward closed progress: 926248
Forward closed progress: 917594
Forward closed progress: 1014031
Forward closed progress: 1014675
Forward closed progress: 999237
Forward closed progress: 1000797
Forward closed progress: 939277
Forward closed progress: 966683
Forward closed progress: 967231
Forward closed progress: 891084
Forward closed progress: 968633
Forward closed progress: 967877
Forward closed progress: 999747
Forward closed progress: 1016794
Forward closed progress: 1010657
Forward closed progress: 970424
Forward closed progress: 993032
Forward closed progress: 993344
Forward closed progress: 1178645
Forward closed progress: 1290835
Forward closed progress: 1430240
Forward closed progress: 1459419
Forward closed progress: 1466573
Forward closed progress: 1466855
Forward closed progress: 1466941
Forward closed progress: 1458280
Forward closed progress: 1448619
Forward closed progress: 1489635
Forward closed progress: 1457889
Forward closed progress: 1391098
Forward closed progress: 1419259
Forward closed progress: 1431962
Forward closed progress: 1448690
Forward closed progress: 1449245
Forward closed progress: 1523076
Forward closed progress: 1549024
Forward closed progress: 1548936
Forward closed progress: 1596506
Forward closed progress: 1619830
Forward closed progress: 1622960
Forward closed progress: 1622417
Forward closed progress: 1626838
Forward closed progress: 1647391
Forward closed progress: 1624906
Forward closed progress: 1709850
Forward closed progress: 1708802
Forward closed progress: 1727569
Forward closed progress: 1727643
Forward closed progress: 1714003
Forward closed progress: 1713871
Forward closed progress: 1709378
Forward closed progress: 1709378
Forward closed progress: 1678118
Forward closed progress: 1680493
Forward closed progress: 1724533
Forward closed progress: 1726977
Forward closed progress: 1340855
Forward closed progress: 1351121
Forward closed progress: 1346459
Forward closed progress: 1277918
Forward closed progress: 1237750
Forward closed progress: 1222402
Forward closed progress: 1054103
Forward closed progress: 1054087
Forward closed progress: 1067475
Forward closed progress: 997151
Forward closed progress: 1151910
Forward closed progress: 1301290
Forward closed progress: 1292041
Forward closed progress: 1397342
Forward closed progress: 1386815
Forward closed progress: 1386853
Forward closed progress: 1341124
Forward closed progress: 1343329
Forward closed progress: 1432118
Forward closed progress: 1438174
Forward closed progress: 1433186
Forward closed progress: 1444018
Forward closed progress: 1451508
Forward closed progress: 1489108
Forward closed progress: 1487208
Forward closed progress: 1487432
Forward closed progress: 1537983
Forward closed progress: 1537995
Forward closed progress: 1492411
Forward closed progress: 1594026
Forward closed progress: 1759867
Forward closed progress: 1749867
Forward closed progress: 1750005
Forward closed progress: 1643384
Forward closed progress: 1611136
Forward closed progress: 1525223
Forward closed progress: 1491629
Forward closed progress: 1498214
Forward closed progress: 1498516
Forward closed progress: 1465310
Forward closed progress: 1513012
Forward closed progress: 1511404
Forward closed progress: 1522898
Forward closed progress: 1522934
Forward closed progress: 1526314
Forward closed progress: 1525786
Forward closed progress: 1441700
Forward closed progress: 1444693
Forward closed progress: 1441212
Forward closed progress: 1440877
Forward closed progress: 1440160
Forward closed progress: 1440639
Forward closed progress: 1440683
Forward closed progress: 1440721
Forward closed progress: 1440316
Forward closed progress: 1441910
Forward closed progress: 1441910
Forward closed progress: 1437522
Forward closed progress: 1558728
Forward closed progress: 1535830
Forward closed progress: 1534978
Forward closed progress: 1530174
Forward closed progress: 1569157
Forward closed progress: 1594977
Forward closed progress: 1579031
Forward closed progress: 1579030
Forward closed progress: 1590292
Forward closed progress: 1586478
Forward closed progress: 1583479
Forward closed progress: 1580366
Forward closed progress: 1579580
Forward closed progress: 1481290
Forward closed progress: 1446145
Forward closed progress: 1287355
Forward closed progress: 1210346
Forward closed progress: 1159453
Forward closed progress: 1145895
Forward closed progress: 1145994
Forward closed progress: 1136680
Forward closed progress: 1130038
Forward closed progress: 1110156
Forward closed progress: 1109111
Forward closed progress: 1110634
Forward closed progress: 1109048
Forward closed progress: 1109783
Forward closed progress: 1111301
Forward closed progress: 1111571
Forward closed progress: 1105927
Forward closed progress: 1106786
Forward closed progress: 1106594
Forward closed progress: 1104992
Forward closed progress: 1101803
Forward closed progress: 1101807
Forward closed progress: 1097905
Forward closed progress: 987652
Forward closed progress: 1302232
Forward closed progress: 1309931
Forward closed progress: 1605037
Forward closed progress: 1933261
Forward closed progress: 2198639
Forward closed progress: 2193851
Forward closed progress: 2193983
Forward closed progress: 2154475
Forward closed progress: 2181984
Forward closed progress: 2441097
Forward closed progress: 2462915
Forward closed progress: 2453429
Forward closed progress: 2493125
Forward closed progress: 2514286
Forward closed progress: 2635111
Forward closed progress: 2739583
Forward closed progress: 2739621
Forward closed progress: 2641875
Forward closed progress: 2915192
Forward closed progress: 3305212
Forward closed progress: 3322210
Forward closed progress: 3322712
Forward closed progress: 3213827
Forward closed progress: 3191353
Forward closed progress: 3244989
Forward closed progress: 3160948
Forward closed progress: 3195908
Forward closed progress: 3200568
Forward closed progress: 3138020
Forward closed progress: 3014777
Forward closed progress: 2839016
Forward closed progress: 2911790
Forward closed progress: 2901174
Forward closed progress: 2925024
Forward closed progress: 2925088
Forward closed progress: 2936548
Forward closed progress: 2937268
Forward closed progress: 2757465
Forward closed progress: 2914345
Forward closed progress: 2794586
Forward closed progress: 2531041
Forward closed progress: 2537409
Forward closed progress: 2617329
Forward closed progress: 2674080
Forward closed progress: 2673415
Forward closed progress: 2673433
Forward closed progress: 2660962
Forward closed progress: 2667893
Forward closed progress: 2729563
Forward closed progress: 2732194
Forward closed progress: 2747729
Forward closed progress: 2775707
Forward closed progress: 2820966
Forward closed progress: 2820982
Forward closed progress: 2783244
Forward closed progress: 2843985
Forward closed progress: 2871325
Forward closed progress: 2871988
Forward closed progress: 2872032
Forward closed progress: 2822652
Forward closed progress: 2817891
Forward closed progress: 2810514
Forward closed progress: 2788943
Forward closed progress: 2759901
Forward closed progress: 2804304
Forward closed progress: 2804596
Forward closed progress: 2815634
Forward closed progress: 2815668
Forward closed progress: 2839167
Forward closed progress: 2813800
Forward closed progress: 2733979
Forward closed progress: 2724714
Forward closed progress: 2881305
Forward closed progress: 2831919
Forward closed progress: 2830047
Forward closed progress: 2808559
Forward closed progress: 2855946
Forward closed progress: 2790932
Forward closed progress: 2598718
Forward closed progress: 2477097
Forward closed progress: 2104606
Forward closed progress: 2133845
Forward closed progress: 2112339
Forward closed progress: 2118797
Forward closed progress: 2114617
Forward closed progress: 2114827
Forward closed progress: 2114887
Forward closed progress: 2109610
Forward closed progress: 2090292
Forward closed progress: 2092831
Forward closed progress: 2080441
Forward closed progress: 2061766
Forward closed progress: 2041476
Forward closed progress: 2043754
Forward closed progress: 2045228
Forward closed progress: 2049417
Forward closed progress: 2049611
Forward closed progress: 2061519
Forward closed progress: 2065259
Forward closed progress: 2065139
Forward closed progress: 2065464
Forward closed progress: 2065444
Forward closed progress: 2066472
Forward closed progress: 2066236
Forward closed progress: 2067158
Forward closed progress: 2068489
Forward closed progress: 2073209
Forward closed progress: 2068270
Forward closed progress: 2074342
Forward closed progress: 2062248
Forward closed progress: 2078062
Forward closed progress: 2073699
Forward closed progress: 2077847
Forward closed progress: 2077907
Forward closed progress: 2075031
Forward closed progress: 2074959
Forward closed progress: 2073723
Forward closed progress: 2073684
Forward closed progress: 2071087
Forward closed progress: 2068997
Forward closed progress: 2061440
Forward closed progress: 2005306
Forward closed progress: 1981389
Forward closed progress: 1706393
Forward closed progress: 1627508
Forward closed progress: 1557018
Forward closed progress: 1732403
Forward closed progress: 1696513
Forward closed progress: 1696466
Forward closed progress: 1832953
Forward closed progress: 1823763
Forward closed progress: 1823829
Forward closed progress: 1784306
Forward closed progress: 1795884
Forward closed progress: 1795565
Forward closed progress: 1795385
Forward closed progress: 1794617
Forward closed progress: 1882999
Forward closed progress: 1890281
Forward closed progress: 1891269
Forward closed progress: 1904715
Forward closed progress: 1912629
Forward closed progress: 1965583
Forward closed progress: 2018767
Forward closed progress: 2018795
Forward closed progress: 1972553
Forward closed progress: 2104139
Forward closed progress: 2300087
Forward closed progress: 2291522
Forward closed progress: 2291668
Forward closed progress: 2206722
Forward closed progress: 2180360
Forward closed progress: 2136437
Forward closed progress: 2101698
Forward closed progress: 2097374
Forward closed progress: 2097892
Forward closed progress: 2063755
Forward closed progress: 2146872
Forward closed progress: 2145591
Forward closed progress: 2158282
Forward closed progress: 2158318
Forward closed progress: 2163140
Forward closed progress: 2163536
Forward closed progress: 2083447
Forward closed progress: 2092157
Forward closed progress: 2082959
Forward closed progress: 2076559
Forward closed progress: 2185567
Forward closed progress: 2185279
Forward closed progress: 2184427
Forward closed progress: 2179623
Forward closed progress: 2228798
Forward closed progress: 2180903
Forward closed progress: 2094944
Forward closed progress: 2016601
Forward closed progress: 1833551
Forward closed progress: 1833292
Forward closed progress: 1792485
Forward closed progress: 1787232
Forward closed progress: 1785002
Forward closed progress: 1780036
Forward closed progress: 1766853
Forward closed progress: 1764744
Forward closed progress: 1766037
Forward closed progress: 1764681
Forward closed progress: 1645323
Forward closed progress: 1583201
Forward closed progress: 1600663
Forward closed progress: 1629557
Forward closed progress: 1610974
Forward closed progress: 1669595
Forward closed progress: 1662735
Forward closed progress: 1656263
Forward closed progress: 1646957
Forward closed progress: 1633358
Forward closed progress: 1605964
Forward closed progress: 2859672
Forward closed progress: 2889572
Forward closed progress: 3098470
Forward closed progress: 3915681
Forward closed progress: 4587136
Forward closed progress: 4746317
Forward closed progress: 4745821
Forward closed progress: 4689819
Forward closed progress: 4689909
Forward closed progress: 4591897
Forward closed progress: 4608609
Forward closed progress: 4614907
Forward closed progress: 4702046
Forward closed progress: 4706524
Forward closed progress: 4750043
Forward closed progress: 4773313
Forward closed progress: 4774627
Forward closed progress: 4754557
Forward closed progress: 4745160
Forward closed progress: 4809805
Forward closed progress: 4780617
Forward closed progress: 4789867
Forward closed progress: 5245457
Forward closed progress: 5156340
Forward closed progress: 5064754
Forward closed progress: 5171145
Forward closed progress: 5206044
Forward closed progress: 5183986
Forward closed progress: 5184020
Forward closed progress: 5123657
Forward closed progress: 5086999
Forward closed progress: 5001249
Forward closed progress: 4993775
Forward closed progress: 5091774
Forward closed progress: 5121911
Forward closed progress: 5117719
Forward closed progress: 5117753
Forward closed progress: 5065117
Forward closed progress: 5034513
Forward closed progress: 5304450
Forward closed progress: 5305518
Forward closed progress: 5340147
Forward closed progress: 5382281
Forward closed progress: 5381302
Forward closed progress: 5518104
Forward closed progress: 5557690
Forward closed progress: 5871934
Forward closed progress: 5872232
Forward closed progress: 5672815
Forward closed progress: 5797094
Forward closed progress: 5610986
Forward closed progress: 5608080
Forward closed progress: 5600734
Forward closed progress: 5541608
Forward closed progress: 5509557
Forward closed progress: 5703648
Forward closed progress: 5703424
Forward closed progress: 5698482
Forward closed progress: 5738694
Forward closed progress: 5731402
Forward closed progress: 5780629
Forward closed progress: 5758311
Forward closed progress: 5383125
Forward closed progress: 5423161
Forward closed progress: 5422747
Forward closed progress: 5536961
Forward closed progress: 5510240
Forward closed progress: 5456131
Forward closed progress: 5475148
Forward closed progress: 5461432
Forward closed progress: 5461500
Forward closed progress: 5461474
Forward closed progress: 5463889
Forward closed progress: 5481630
Forward closed progress: 5484569
Forward closed progress: 5503830
Forward closed progress: 5503667
Forward closed progress: 5572108
Forward closed progress: 5613086
Forward closed progress: 5612714
Forward closed progress: 5584691
Forward closed progress: 5586881
Forward closed progress: 5566410
Forward closed progress: 5600646
Forward closed progress: 5601354
Forward closed progress: 5608862
Forward closed progress: 5604919
Forward closed progress: 5595174
Forward closed progress: 5599185
Forward closed progress: 5564037
Forward closed progress: 5558741
Forward closed progress: 5553569
Forward closed progress: 6007615
Forward closed progress: 6023253
Forward closed progress: 5924784
Forward closed progress: 5917911
Forward closed progress: 5940667
Forward closed progress: 5783824
Forward closed progress: 5783836
Forward closed progress: 5781134
Forward closed progress: 5780383
Forward closed progress: 5733203
Forward closed progress: 5733439
Forward closed progress: 5723899
Forward closed progress: 5796489
Forward closed progress: 5790734
Forward closed progress: 5799791
Forward closed progress: 5801952
Forward closed progress: 5801863
Forward closed progress: 5779742
Forward closed progress: 5777987
Forward closed progress: 5776138
Forward closed progress: 5779017
Forward closed progress: 5778469
Forward closed progress: 5777942
Forward closed progress: 5768860
Forward closed progress: 5770648
Forward closed progress: 5768818
Forward closed progress: 5530124
Forward closed progress: 5558637
Forward closed progress: 5558157
Forward closed progress: 5521751
Forward closed progress: 5535963
Forward closed progress: 5535975
Forward closed progress: 5520710
Forward closed progress: 5512492
Forward closed progress: 5367162
Forward closed progress: 5458338
Forward closed progress: 5413798
Forward closed progress: 5340670
Forward closed progress: 4786072
Forward closed progress: 4521619
Forward closed progress: 4511222
Forward closed progress: 4477637
Forward closed progress: 4081135
Forward closed progress: 4078549
Forward closed progress: 4077781
Forward closed progress: 4077609
Forward closed progress: 4077794
Forward closed progress: 3613695
Forward closed progress: 3612417
Forward closed progress: 3597421
Forward closed progress: 3513845
Forward closed progress: 3464606
Forward closed progress: 3466259
Forward closed progress: 3436768
Forward closed progress: 3426468
Forward closed progress: 3424763
Forward closed progress: 3459574
Forward closed progress: 3451906
Forward closed progress: 3451738
Forward closed progress: 3444111
Forward closed progress: 3437740
Forward closed progress: 3413135
Forward closed progress: 3407193
Forward closed progress: 3296816
Forward closed progress: 3297684
Forward closed progress: 3296452
Forward closed progress: 3294728
Forward closed progress: 3285641
Forward closed progress: 3286999
Forward closed progress: 3284102
Forward closed progress: 3295781
Forward closed progress: 3292823
Forward closed progress: 3290549
Forward closed progress: 3285181
Forward closed progress: 3280452
Forward closed progress: 3277792
Forward closed progress: 3312068
Forward closed progress: 3319935
Forward closed progress: 3329479
Forward closed progress: 3314635
Forward closed progress: 3323644
Forward closed progress: 3304102
Forward closed progress: 3306726
Forward closed progress: 3308859
Forward closed progress: 3313101
Forward closed progress: 3313121
Forward closed progress: 3308939
Forward closed progress: 3307967
Forward closed progress: 3308051
Forward closed progress: 3309844
Forward closed progress: 3309285
Forward closed progress: 3304324
Forward closed progress: 3304324
Forward closed progress: 3298591
Forward closed progress: 3298591
Control exists for 1600 color(s), jumping through 60599304192 vertices.
Elapsed: 20664447 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 20664.447
user ??
sys ??
