>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 4536
Perturbation colors: 9007199254740992
All colors: 40856655819505140000
Unknown update functions: 4
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 6052837899185947000
Attractor colors computed in 11703 ms.
Backward progress: 188091
Backward progress: 188453
Backward progress: 187303
Backward progress: 185553
Backward progress: 184185
Backward progress: 205296
Backward progress: 208307
Backward progress: 208307
Backward progress: 211181
Backward progress: 211043
Backward progress: 210995
Backward progress: 214148
Backward progress: 214300
Backward progress: 214322
Backward progress: 214778
Backward progress: 218632
Backward progress: 220316
Backward progress: 219816
Backward progress: 221264
Backward progress: 223967
Backward progress: 222930
Backward progress: 224396
Backward progress: 224746
Backward progress: 224218
Backward progress: 223650
Backward progress: 222984
Backward progress: 199361
Backward progress: 291712
Backward progress: 349067
Backward progress: 361800
Backward progress: 361939
Backward progress: 364922
Backward progress: 362152
Backward progress: 360999
Backward progress: 358085
Backward progress: 358213
Backward progress: 360036
Backward progress: 358325
Backward progress: 364992
Backward progress: 365188
Backward progress: 364962
Backward progress: 365781
Backward progress: 372894
Backward progress: 373097
Backward progress: 357549
Backward progress: 356170
Backward progress: 356958
Backward progress: 354051
Backward progress: 364305
Backward progress: 354305
Backward progress: 350770
Backward progress: 347619
Backward progress: 343404
Backward progress: 335887
Backward progress: 275081
Backward progress: 275375
Backward progress: 282762
Backward progress: 278908
Backward progress: 276791
Backward progress: 276336
Backward progress: 275754
Backward progress: 275756
Backward progress: 274816
Backward progress: 214213
Backward progress: 193176
Backward progress: 265564
Backward progress: 289340
Backward progress: 288966
Backward progress: 339627
Backward progress: 339505
Backward progress: 339601
Backward progress: 341107
Backward progress: 342123
Backward progress: 342171
Backward progress: 341999
Backward progress: 341723
Backward progress: 348114
Backward progress: 347646
Backward progress: 348260
Backward progress: 350624
Backward progress: 353260
Backward progress: 351050
Backward progress: 351116
Backward progress: 352356
Backward progress: 349692
Backward progress: 351102
Backward progress: 319879
Backward progress: 317675
Backward progress: 326989
Backward progress: 326544
Backward progress: 326281
Backward progress: 326135
Backward progress: 326124
Backward progress: 326621
Backward progress: 326101
Backward progress: 326917
Backward progress: 314911
Backward progress: 288821
Backward progress: 433882
Backward progress: 449954
Backward progress: 536041
Backward progress: 568855
Backward progress: 574917
Backward progress: 574911
Backward progress: 580767
Backward progress: 601959
Backward progress: 617783
Backward progress: 613783
Backward progress: 611649
Backward progress: 723554
Backward progress: 787593
Backward progress: 813459
Backward progress: 844220
Backward progress: 836200
Backward progress: 827993
Backward progress: 825031
Backward progress: 823497
Backward progress: 832954
Backward progress: 908550
Backward progress: 851724
Backward progress: 851264
Backward progress: 845274
Backward progress: 847027
Backward progress: 834873
Backward progress: 900934
Backward progress: 856778
Backward progress: 866465
Backward progress: 868337
Backward progress: 1065902
Backward progress: 896128
Backward progress: 893219
Backward progress: 892989
Backward progress: 892655
Backward progress: 892502
Backward progress: 892286
Backward progress: 890420
Backward progress: 893885
Backward progress: 837011
Backward progress: 837011
Forward closed progress: 835263
Forward closed progress: 835270
Forward closed progress: 1084513
Forward closed progress: 831195
Forward closed progress: 831285
Forward closed progress: 831595
Forward closed progress: 832215
Forward closed progress: 831905
Forward closed progress: 832127
Forward closed progress: 832725
Forward closed progress: 832841
Forward closed progress: 830071
Forward closed progress: 830868
Forward closed progress: 831670
Forward closed progress: 833558
Forward closed progress: 833638
Forward closed progress: 832018
Forward closed progress: 841103
Forward closed progress: 821751
Forward closed progress: 856550
Forward closed progress: 858359
Forward closed progress: 834326
Forward closed progress: 905414
Forward closed progress: 960401
Forward closed progress: 976674
Forward closed progress: 975946
Forward closed progress: 975925
Forward closed progress: 975925
Forward closed progress: 845503
Forward closed progress: 929703
Forward closed progress: 952560
Forward closed progress: 931761
Forward closed progress: 931751
Forward closed progress: 931751
Forward closed progress: 855673
Forward closed progress: 852000
Forward closed progress: 803519
Forward closed progress: 725615
Forward closed progress: 942472
Forward closed progress: 741290
Forward closed progress: 770396
Forward closed progress: 773916
Forward closed progress: 792436
Forward closed progress: 918649
Forward closed progress: 936042
Forward closed progress: 1013505
Forward closed progress: 1014173
Forward closed progress: 1014301
Forward closed progress: 986027
Forward closed progress: 803779
Forward closed progress: 905687
Forward closed progress: 907677
Forward closed progress: 908063
Forward closed progress: 908022
Forward closed progress: 911355
Forward closed progress: 965121
Forward closed progress: 1015361
Forward closed progress: 1015556
Forward closed progress: 1015594
Forward closed progress: 977684
Forward closed progress: 977941
Forward closed progress: 974917
Forward closed progress: 973190
Forward closed progress: 826842
Forward closed progress: 1041673
Forward closed progress: 1049343
Forward closed progress: 1061455
Forward closed progress: 1026731
Forward closed progress: 1026751
Forward closed progress: 1026759
Forward closed progress: 1026735
Forward closed progress: 961504
Forward closed progress: 896218
Forward closed progress: 905384
Forward closed progress: 964897
Forward closed progress: 965102
Forward closed progress: 965136
Forward closed progress: 929381
Forward closed progress: 808703
Forward closed progress: 857884
Forward closed progress: 847753
Forward closed progress: 901181
Forward closed progress: 901330
Forward closed progress: 901360
Forward closed progress: 810035
Forward closed progress: 1109467
Forward closed progress: 1112745
Forward closed progress: 1048431
Forward closed progress: 829899
Forward closed progress: 1068193
Forward closed progress: 1185990
Forward closed progress: 1341208
Forward closed progress: 1343203
Forward closed progress: 1343561
Forward closed progress: 1305030
Forward closed progress: 1089151
Forward closed progress: 1074585
Forward closed progress: 1029052
Forward closed progress: 953678
Forward closed progress: 832683
Forward closed progress: 1453101
Forward closed progress: 1453643
Forward closed progress: 839496
Forward closed progress: 1041620
Forward closed progress: 1474962
Forward closed progress: 1814856
Forward closed progress: 1905846
Forward closed progress: 1907553
Forward closed progress: 1907969
Forward closed progress: 1804361
Forward closed progress: 1816109
Forward closed progress: 1815899
Forward closed progress: 1671838
Forward closed progress: 1731823
Forward closed progress: 1721570
Forward closed progress: 1595792
Forward closed progress: 1563605
Forward closed progress: 1528288
Forward closed progress: 1528345
Forward closed progress: 1474201
Forward closed progress: 1438132
Forward closed progress: 1451943
Forward closed progress: 1449113
Forward closed progress: 1616073
Forward closed progress: 1616226
Forward closed progress: 1493730
Forward closed progress: 1494707
Forward closed progress: 1494387
Forward closed progress: 1448115
Forward closed progress: 2087929
Forward closed progress: 3062144
Forward closed progress: 3063168
Forward closed progress: 2355806
Forward closed progress: 2354840
Forward closed progress: 2355024
Forward closed progress: 2192107
Forward closed progress: 2167591
Forward closed progress: 2348978
Forward closed progress: 2169377
Forward closed progress: 2172677
Forward closed progress: 2352989
Forward closed progress: 2101412
Forward closed progress: 2676703
Forward closed progress: 2684199
Forward closed progress: 2425881
Forward closed progress: 2328945
Forward closed progress: 2509851
Forward closed progress: 2510086
Forward closed progress: 2286446
Forward closed progress: 2286266
Forward closed progress: 2227226
Forward closed progress: 2199756
Forward closed progress: 1905482
Forward closed progress: 1478080
Forward closed progress: 1507042
Forward closed progress: 1480892
Forward closed progress: 1493700
Forward closed progress: 1493629
Forward closed progress: 1475264
Forward closed progress: 1436939
Forward closed progress: 2054958
Forward closed progress: 2042644
Forward closed progress: 2022720
Forward closed progress: 1934606
Forward closed progress: 1957629
Forward closed progress: 1957767
Forward closed progress: 1982164
Forward closed progress: 1982184
Forward closed progress: 1987397
Forward closed progress: 2070162
Forward closed progress: 2071232
Forward closed progress: 2127005
Forward closed progress: 2127357
Forward closed progress: 2127395
Forward closed progress: 2077732
Forward closed progress: 2079147
Forward closed progress: 2052898
Forward closed progress: 2052528
Forward closed progress: 2052404
Forward closed progress: 2052254
Forward closed progress: 2063073
Forward closed progress: 2063613
Forward closed progress: 2063599
Forward closed progress: 2063718
Forward closed progress: 2063770
Forward closed progress: 2061572
Forward closed progress: 2053179
Forward closed progress: 2195202
Forward closed progress: 2187731
Forward closed progress: 2187668
Forward closed progress: 2135215
Forward closed progress: 2135904
Forward closed progress: 2134960
Forward closed progress: 2125301
Forward closed progress: 2125326
Forward closed progress: 2257340
Forward closed progress: 2257360
Forward closed progress: 2135337
Forward closed progress: 2145479
Forward closed progress: 2142129
Forward closed progress: 2142362
Forward closed progress: 2150319
Forward closed progress: 2204866
Forward closed progress: 2201268
Forward closed progress: 2189987
Forward closed progress: 2059971
Forward closed progress: 2050494
Forward closed progress: 2047613
Forward closed progress: 1984893
Forward closed progress: 1975589
Forward closed progress: 1754455
Forward closed progress: 1726662
Forward closed progress: 1715066
Forward closed progress: 1709438
Forward closed progress: 1740083
Forward closed progress: 1740037
Forward closed progress: 1693414
Forward closed progress: 1693366
Forward closed progress: 1698454
Forward closed progress: 1695949
Forward closed progress: 1641418
Forward closed progress: 1635170
Forward closed progress: 1641500
Forward closed progress: 1641520
Forward closed progress: 1636204
Forward closed progress: 1629874
Forward closed progress: 1620477
Forward closed progress: 1620289
Forward closed progress: 1620337
Forward closed progress: 1620267
Forward closed progress: 1620195
Forward closed progress: 1604369
Forward closed progress: 1600449
Forward closed progress: 1608807
Forward closed progress: 1601294
Forward closed progress: 1601213
Forward closed progress: 1600802
Forward closed progress: 1601201
Forward closed progress: 1601201
Forward closed progress: 1599207
Forward closed progress: 1599235
Forward closed progress: 1599223
Forward closed progress: 1598738
Forward closed progress: 1598760
Forward closed progress: 1598764
Forward closed progress: 1597696
Forward closed progress: 2220413
Forward closed progress: 2266752
Forward closed progress: 2168618
Forward closed progress: 2245759
Forward closed progress: 2248839
Forward closed progress: 2249567
Forward closed progress: 2085342
Forward closed progress: 2084120
Forward closed progress: 2076543
Forward closed progress: 2158483
Forward closed progress: 2058905
Forward closed progress: 2025153
Forward closed progress: 2028179
Forward closed progress: 1920366
Forward closed progress: 1862691
Forward closed progress: 1843202
Forward closed progress: 1820202
Forward closed progress: 1822688
Forward closed progress: 1792478
Forward closed progress: 1799332
Forward closed progress: 1799444
Forward closed progress: 1669128
Forward closed progress: 1668900
Forward closed progress: 1654369
Forward closed progress: 1637608
Forward closed progress: 1597798
Forward closed progress: 1598432
Forward closed progress: 4041489
Forward closed progress: 4911300
Forward closed progress: 4820592
Forward closed progress: 4221391
Forward closed progress: 3715184
Forward closed progress: 3715725
Forward closed progress: 3693453
Forward closed progress: 1822843
Forward closed progress: 2210593
Forward closed progress: 2122301
Forward closed progress: 1806438
Forward closed progress: 1842081
Forward closed progress: 1842133
Forward closed progress: 1807050
Forward closed progress: 1736795
Forward closed progress: 1740072
Forward closed progress: 1732927
Forward closed progress: 1741308
Forward closed progress: 1687775
Forward closed progress: 1662300
Forward closed progress: 1662382
Forward closed progress: 1997051
Forward closed progress: 2174355
Forward closed progress: 2244904
Forward closed progress: 2255879
Forward closed progress: 2311931
Forward closed progress: 2312835
Forward closed progress: 2312999
Forward closed progress: 2296303
Forward closed progress: 2279187
Forward closed progress: 2271213
Forward closed progress: 2253525
Forward closed progress: 2275350
Forward closed progress: 2266566
Forward closed progress: 2333449
Forward closed progress: 2333590
Forward closed progress: 2422323
Forward closed progress: 2466623
Forward closed progress: 2466269
Forward closed progress: 2462504
Forward closed progress: 2476648
Forward closed progress: 2480344
Forward closed progress: 2422620
Forward closed progress: 2392069
Forward closed progress: 2394317
Forward closed progress: 2398405
Forward closed progress: 2310417
Forward closed progress: 2345923
Forward closed progress: 2267835
Forward closed progress: 2308406
Forward closed progress: 2308574
Forward closed progress: 2237740
Forward closed progress: 2231168
Forward closed progress: 2206780
Forward closed progress: 2144263
Forward closed progress: 2097459
Forward closed progress: 1961516
Forward closed progress: 1986120
Forward closed progress: 1986327
Forward closed progress: 2012220
Forward closed progress: 2012243
Forward closed progress: 1832908
Forward closed progress: 1832584
Forward closed progress: 1829311
Forward closed progress: 1824363
Forward closed progress: 1875883
Forward closed progress: 1872180
Forward closed progress: 1749763
Forward closed progress: 1761295
Forward closed progress: 1761144
Forward closed progress: 1759192
Forward closed progress: 1740661
Forward closed progress: 1759433
Forward closed progress: 1759451
Forward closed progress: 1741323
Forward closed progress: 1711064
Forward closed progress: 1713171
Forward closed progress: 1705803
Forward closed progress: 1709266
Forward closed progress: 1709290
Forward closed progress: 1701212
Forward closed progress: 1680525
Forward closed progress: 1680501
Forward closed progress: 1678788
Forward closed progress: 1609936
Forward closed progress: 1600113
Forward closed progress: 1612217
Forward closed progress: 1611501
Forward closed progress: 1589094
Forward closed progress: 1627546
Forward closed progress: 1419840
Forward closed progress: 2274103
Forward closed progress: 2693951
Forward closed progress: 2576531
Forward closed progress: 3254035
Forward closed progress: 3257089
Forward closed progress: 3257405
Forward closed progress: 3241846
Forward closed progress: 3203468
Forward closed progress: 3321247
Forward closed progress: 3332711
Forward closed progress: 3781218
Forward closed progress: 4397311
Forward closed progress: 5299946
Forward closed progress: 6371396
Forward closed progress: 6370175
Forward closed progress: 6278256
Forward closed progress: 6337852
Forward closed progress: 6461116
Forward closed progress: 6471099
Forward closed progress: 6342262
Forward closed progress: 6297423
Forward closed progress: 6145314
Forward closed progress: 6162791
Forward closed progress: 6100364
Forward closed progress: 6050775
Forward closed progress: 6052019
Forward closed progress: 5937954
Forward closed progress: 5869926
Forward closed progress: 6036077
Forward closed progress: 5362254
Forward closed progress: 5502710
Forward closed progress: 5503231
Forward closed progress: 4959735
Forward closed progress: 4879932
Forward closed progress: 4659619
Forward closed progress: 4545515
Forward closed progress: 4528807
Forward closed progress: 4426984
Forward closed progress: 4426508
Forward closed progress: 4427186
Forward closed progress: 4420826
Forward closed progress: 3661164
Forward closed progress: 3661176
Forward closed progress: 3656546
Forward closed progress: 3656545
Forward closed progress: 3656592
Forward closed progress: 3656572
Forward closed progress: 3656754
Forward closed progress: 3656805
Forward closed progress: 3656553
Forward closed progress: 3656615
Forward closed progress: 3656656
Forward closed progress: 3658184
Forward closed progress: 3658182
Forward closed progress: 3659782
Forward closed progress: 3663318
Forward closed progress: 3663320
Forward closed progress: 3661252
Forward closed progress: 3657732
Forward closed progress: 3657648
Forward closed progress: 3656688
Forward closed progress: 3656686
Forward closed progress: 3656663
Forward closed progress: 4053531
Forward closed progress: 3878761
Forward closed progress: 3348328
Forward closed progress: 3507232
Forward closed progress: 3507562
Forward closed progress: 3394122
Forward closed progress: 3386799
Forward closed progress: 3349746
Forward closed progress: 3203823
Forward closed progress: 3078436
Forward closed progress: 2723889
Forward closed progress: 2455942
Forward closed progress: 2369405
Forward closed progress: 2369395
Forward closed progress: 2370375
Forward closed progress: 2365038
Forward closed progress: 2364955
Forward closed progress: 2364805
Forward closed progress: 2364507
Forward closed progress: 2368597
Forward closed progress: 2346805
Forward closed progress: 2034120
Forward closed progress: 2035812
Forward closed progress: 2035852
Forward closed progress: 2037518
Forward closed progress: 2037524
Forward closed progress: 1983853
Forward closed progress: 1983623
Forward closed progress: 1983779
Forward closed progress: 1983875
Forward closed progress: 1987085
Forward closed progress: 1987073
Forward closed progress: 1987699
Forward closed progress: 1989809
Forward closed progress: 1989770
Forward closed progress: 1989888
Forward closed progress: 1985834
Forward closed progress: 1984345
Forward closed progress: 1985829
Forward closed progress: 1985847
Forward closed progress: 1984336
Forward closed progress: 1982359
Forward closed progress: 1863430
Forward closed progress: 1419846
Forward closed progress: 2082956
Forward closed progress: 1926533
Forward closed progress: 1926141
Forward closed progress: 1923890
Forward closed progress: 1925432
Forward closed progress: 1925432
Forward closed progress: 1928697
Forward closed progress: 2249264
Forward closed progress: 2490780
Forward closed progress: 2986719
Forward closed progress: 2989339
Forward closed progress: 2989627
Forward closed progress: 2978689
Forward closed progress: 3006878
Forward closed progress: 3114672
Forward closed progress: 3121503
Forward closed progress: 3310634
Forward closed progress: 3696928
Forward closed progress: 4252798
Forward closed progress: 5391420
Forward closed progress: 5390679
Forward closed progress: 5049026
Forward closed progress: 5224615
Forward closed progress: 5517221
Forward closed progress: 5528398
Forward closed progress: 5506042
Forward closed progress: 5475852
Forward closed progress: 5379277
Forward closed progress: 5487588
Forward closed progress: 5420953
Forward closed progress: 5393583
Forward closed progress: 5407041
Forward closed progress: 4968999
Forward closed progress: 4951618
Forward closed progress: 7002306
Forward closed progress: 7616487
Forward closed progress: 7732719
Forward closed progress: 7793719
Forward closed progress: 7786565
Forward closed progress: 7803796
Forward closed progress: 8108393
Forward closed progress: 7769745
Forward closed progress: 7879104
Forward closed progress: 7879774
Forward closed progress: 7483308
Forward closed progress: 7440142
Forward closed progress: 7226024
Forward closed progress: 7039847
Forward closed progress: 6959359
Forward closed progress: 8026129
Forward closed progress: 8002693
Forward closed progress: 7991193
Forward closed progress: 7987792
Forward closed progress: 8100859
Forward closed progress: 8361506
Forward closed progress: 8393864
Forward closed progress: 8567319
Forward closed progress: 8567758
Forward closed progress: 8707014
Forward closed progress: 9845971
Forward closed progress: 10874080
Forward closed progress: 10874713
Forward closed progress: 10874793
Forward closed progress: 10225390
Forward closed progress: 10288789
Forward closed progress: 10283825
Forward closed progress: 10218686
Forward closed progress: 10391185
Forward closed progress: 11027064
Forward closed progress: 11296579
Forward closed progress: 11299033
Forward closed progress: 11299404
Forward closed progress: 11299448
Forward closed progress: 11161704
Forward closed progress: 11019817
Forward closed progress: 12431031
Forward closed progress: 12417495
Forward closed progress: 12414770
Forward closed progress: 13355250
Forward closed progress: 12751711
Forward closed progress: 12704835
Forward closed progress: 12752984
Forward closed progress: 12687783
Forward closed progress: 12694065
Forward closed progress: 13499113
Forward closed progress: 13499591
Forward closed progress: 12786514
Forward closed progress: 12786153
Forward closed progress: 12787250
Forward closed progress: 14065860
Forward closed progress: 14489732
Forward closed progress: 14494965
Forward closed progress: 14495069
Forward closed progress: 13724910
Forward closed progress: 13690321
Forward closed progress: 13813156
Forward closed progress: 13760143
Forward closed progress: 13683249
Forward closed progress: 13662670
Forward closed progress: 13515900
Forward closed progress: 13193812
Forward closed progress: 13174798
Forward closed progress: 14498068
Forward closed progress: 14510289
Forward closed progress: 13769698
Forward closed progress: 13665925
Forward closed progress: 13842918
Forward closed progress: 13841778
Forward closed progress: 12399975
Forward closed progress: 12337781
Forward closed progress: 12337345
Forward closed progress: 12219039
Forward closed progress: 12440295
Forward closed progress: 12206032
Forward closed progress: 11925816
Forward closed progress: 11357681
Forward closed progress: 10953094
Forward closed progress: 10954403
Forward closed progress: 10945053
Forward closed progress: 19376247
Forward closed progress: 21211110
Forward closed progress: 17683627
Forward closed progress: 17717590
Forward closed progress: 19140511
Forward closed progress: 19144850
Forward closed progress: 18742345
Forward closed progress: 18732864
Forward closed progress: 18698732
Forward closed progress: 17761454
Forward closed progress: 17892545
Forward closed progress: 17971635
Forward closed progress: 19273332
Forward closed progress: 19262285
Forward closed progress: 20734936
Forward closed progress: 20583469
Forward closed progress: 20453800
Forward closed progress: 20440825
Forward closed progress: 20690316
Forward closed progress: 20702571
Forward closed progress: 19562611
Forward closed progress: 19547265
Forward closed progress: 19219796
Forward closed progress: 19408128
Forward closed progress: 19126432
Forward closed progress: 19247627
Forward closed progress: 19087767
Forward closed progress: 19278242
Forward closed progress: 18009501
Forward closed progress: 18253315
Forward closed progress: 18253994
Forward closed progress: 17205294
Forward closed progress: 17024795
Forward closed progress: 16687174
Forward closed progress: 16609724
Forward closed progress: 16591332
Forward closed progress: 15941750
Forward closed progress: 15940840
Forward closed progress: 15938538
Forward closed progress: 15634777
Forward closed progress: 15843695
Forward closed progress: 15864218
Forward closed progress: 15999555
Forward closed progress: 15999815
Forward closed progress: 12532393
Forward closed progress: 12534866
Forward closed progress: 12531530
Forward closed progress: 12439147
Forward closed progress: 12371140
Forward closed progress: 12111169
Forward closed progress: 12358586
Forward closed progress: 12356421
Forward closed progress: 11967164
Forward closed progress: 11973466
Forward closed progress: 11968944
Forward closed progress: 11915094
Forward closed progress: 11719201
Forward closed progress: 11730068
Forward closed progress: 11730440
Forward closed progress: 11194790
Forward closed progress: 11194698
Forward closed progress: 11183971
Forward closed progress: 12275178
Forward closed progress: 10721866
Forward closed progress: 9352019
Forward closed progress: 9043815
Forward closed progress: 9044091
Forward closed progress: 8918907
Forward closed progress: 8912165
Forward closed progress: 8878176
Forward closed progress: 8592967
Forward closed progress: 8635704
Forward closed progress: 8571578
Forward closed progress: 8348847
Forward closed progress: 7882914
Forward closed progress: 7882729
Forward closed progress: 7260319
Forward closed progress: 7238516
Forward closed progress: 8233526
Forward closed progress: 9184210
Forward closed progress: 9277426
Forward closed progress: 10086851
Forward closed progress: 10088834
Forward closed progress: 10089029
Forward closed progress: 10002304
Forward closed progress: 9956312
Forward closed progress: 9740026
Forward closed progress: 9737100
Forward closed progress: 9741435
Forward closed progress: 9735450
Forward closed progress: 9792413
Forward closed progress: 9879705
Forward closed progress: 10576018
Forward closed progress: 10576232
Forward closed progress: 11669830
Forward closed progress: 11755097
Forward closed progress: 11754659
Forward closed progress: 11937963
Forward closed progress: 12249571
Forward closed progress: 12255342
Forward closed progress: 12227331
Forward closed progress: 12148790
Forward closed progress: 12282427
Forward closed progress: 12416338
Forward closed progress: 12282963
Forward closed progress: 12633527
Forward closed progress: 12605521
Forward closed progress: 12605089
Forward closed progress: 12609128
Forward closed progress: 12608880
Forward closed progress: 12613407
Forward closed progress: 12965209
Forward closed progress: 12069441
Forward closed progress: 12213097
Forward closed progress: 12213333
Forward closed progress: 11730668
Forward closed progress: 11587125
Forward closed progress: 11405777
Forward closed progress: 11381663
Forward closed progress: 10905768
Forward closed progress: 10901167
Forward closed progress: 10789042
Forward closed progress: 10808591
Forward closed progress: 10751920
Forward closed progress: 10744598
Forward closed progress: 11794325
Forward closed progress: 12157877
Forward closed progress: 12195127
Forward closed progress: 12562385
Forward closed progress: 12562997
Forward closed progress: 9068277
Forward closed progress: 9038751
Forward closed progress: 9033837
Forward closed progress: 8913363
Forward closed progress: 8900414
Forward closed progress: 8897612
Forward closed progress: 8888108
Forward closed progress: 8830144
Forward closed progress: 8665946
Forward closed progress: 9454287
Forward closed progress: 9428610
Forward closed progress: 9156086
Forward closed progress: 9207486
Forward closed progress: 9204036
Forward closed progress: 9190146
Forward closed progress: 9426496
Forward closed progress: 9105837
Forward closed progress: 8877899
Forward closed progress: 8341042
Forward closed progress: 8380370
Forward closed progress: 8381108
Forward closed progress: 7615175
Forward closed progress: 7577145
Forward closed progress: 7528206
Forward closed progress: 7304644
Forward closed progress: 7374210
Forward closed progress: 7372988
Forward closed progress: 7360802
Forward closed progress: 7215397
Forward closed progress: 7339314
Forward closed progress: 7360789
Forward closed progress: 7366116
Forward closed progress: 7403265
Forward closed progress: 7403234
Forward closed progress: 7029261
Forward closed progress: 7024285
Forward closed progress: 7023579
Forward closed progress: 7010709
Forward closed progress: 6992009
Forward closed progress: 6967033
Forward closed progress: 7036589
Forward closed progress: 7035579
Forward closed progress: 6975683
Forward closed progress: 6979775
Forward closed progress: 6978243
Forward closed progress: 6927998
Forward closed progress: 6902077
Forward closed progress: 6907066
Forward closed progress: 6907344
Forward closed progress: 6822554
Forward closed progress: 6820517
Forward closed progress: 6815336
Forward closed progress: 6902600
Forward closed progress: 6892165
Forward closed progress: 6847784
Forward closed progress: 6744600
Forward closed progress: 6742870
Forward closed progress: 6737777
Forward closed progress: 6735503
Forward closed progress: 6734435
Forward closed progress: 6724317
Forward closed progress: 6711299
Forward closed progress: 6711331
Forward closed progress: 6675813
Forward closed progress: 5686523
Forward closed progress: 5704836
Forward closed progress: 5667034
Forward closed progress: 4506551
Forward closed progress: 3553457
Forward closed progress: 3459531
Forward closed progress: 4215403
Forward closed progress: 3883188
Forward closed progress: 5152764
Forward closed progress: 5155864
Forward closed progress: 5094166
Forward closed progress: 5078607
Forward closed progress: 4751618
Forward closed progress: 4882235
Forward closed progress: 4903856
Forward closed progress: 5619491
Forward closed progress: 5957418
Forward closed progress: 7048750
Forward closed progress: 7873851
Forward closed progress: 7872796
Forward closed progress: 7778646
Forward closed progress: 7810429
Forward closed progress: 7908780
Forward closed progress: 7918054
Forward closed progress: 7724217
Forward closed progress: 7678251
Forward closed progress: 7516348
Forward closed progress: 7479537
Forward closed progress: 7366985
Forward closed progress: 7366754
Forward closed progress: 7367998
Forward closed progress: 7215339
Forward closed progress: 7162533
Forward closed progress: 7444721
Forward closed progress: 6664559
Forward closed progress: 6813530
Forward closed progress: 6813975
Forward closed progress: 6304764
Forward closed progress: 6191375
Forward closed progress: 5978075
Forward closed progress: 5913852
Forward closed progress: 5901860
Forward closed progress: 5826039
Forward closed progress: 5825513
Forward closed progress: 5825807
Forward closed progress: 5822623
Forward closed progress: 5712044
Forward closed progress: 5699806
Forward closed progress: 5697779
Forward closed progress: 5687765
Forward closed progress: 5698294
Forward closed progress: 5698311
Forward closed progress: 5695227
Forward closed progress: 5695465
Forward closed progress: 5695479
Forward closed progress: 5689903
Forward closed progress: 5687747
Forward closed progress: 5687751
Forward closed progress: 5687781
Forward closed progress: 5673325
Forward closed progress: 6636097
Forward closed progress: 6236788
Forward closed progress: 5156887
Forward closed progress: 5384904
Forward closed progress: 5385180
Forward closed progress: 5217855
Forward closed progress: 5205128
Forward closed progress: 5159977
Forward closed progress: 4975838
Forward closed progress: 4990889
Forward closed progress: 4917532
Forward closed progress: 4782625
Forward closed progress: 4258937
Forward closed progress: 3662035
Forward closed progress: 3287455
Forward closed progress: 3053364
Forward closed progress: 3052011
Forward closed progress: 3052500
Forward closed progress: 3047823
Forward closed progress: 3047601
Forward closed progress: 3047383
Forward closed progress: 3047085
Forward closed progress: 2994119
Forward closed progress: 2978865
Forward closed progress: 2926293
Forward closed progress: 2923241
Forward closed progress: 2926334
Forward closed progress: 2965313
Forward closed progress: 2963757
Forward closed progress: 3015188
Forward closed progress: 3065414
Forward closed progress: 3065500
Forward closed progress: 2998926
Forward closed progress: 3005328
Forward closed progress: 3005490
Forward closed progress: 3028688
Forward closed progress: 3028247
Forward closed progress: 3050512
Forward closed progress: 3046772
Forward closed progress: 2947863
Forward closed progress: 2947932
Forward closed progress: 2914414
Forward closed progress: 2795995
Forward closed progress: 2103188
Forward closed progress: 2089907
Forward closed progress: 2094013
Forward closed progress: 1984246
Forward closed progress: 2110094
Forward closed progress: 2017375
Forward closed progress: 2026359
Forward closed progress: 1986338
Forward closed progress: 1948930
Forward closed progress: 1932783
Forward closed progress: 1923485
Forward closed progress: 1780147
Forward closed progress: 2418922
Forward closed progress: 2442685
Forward closed progress: 2798379
Forward closed progress: 3068125
Forward closed progress: 3152254
Forward closed progress: 3153398
Forward closed progress: 3153566
Forward closed progress: 3054421
Forward closed progress: 2967419
Forward closed progress: 2972250
Forward closed progress: 2995275
Forward closed progress: 3047214
Forward closed progress: 3044416
Forward closed progress: 3034583
Forward closed progress: 3145178
Forward closed progress: 3137601
Forward closed progress: 2999955
Forward closed progress: 3177817
Forward closed progress: 3210029
Forward closed progress: 3210210
Forward closed progress: 3210246
Forward closed progress: 3154879
Forward closed progress: 3118352
Forward closed progress: 3211877
Forward closed progress: 3242835
Forward closed progress: 3243016
Forward closed progress: 3243052
Forward closed progress: 3170891
Forward closed progress: 3121142
Forward closed progress: 3056261
Forward closed progress: 3057083
Forward closed progress: 3071195
Forward closed progress: 3119810
Forward closed progress: 3149634
Forward closed progress: 3563761
Forward closed progress: 3563825
Forward closed progress: 3414746
Forward closed progress: 3277674
Forward closed progress: 3277336
Forward closed progress: 3276958
Forward closed progress: 3277103
Forward closed progress: 3277115
Forward closed progress: 3277109
Forward closed progress: 3273709
Forward closed progress: 3268222
Forward closed progress: 3390717
Forward closed progress: 3239342
Forward closed progress: 3234892
Forward closed progress: 3239236
Forward closed progress: 3239241
Forward closed progress: 3239290
Forward closed progress: 3239302
Forward closed progress: 3239560
Forward closed progress: 3187602
Forward closed progress: 2727150
Forward closed progress: 2646523
Forward closed progress: 2550011
Forward closed progress: 2457824
Forward closed progress: 1966163
Forward closed progress: 1967267
Forward closed progress: 1967784
Forward closed progress: 1965047
Forward closed progress: 1967166
Forward closed progress: 1966559
Forward closed progress: 1965129
Forward closed progress: 1965291
Forward closed progress: 1964201
Forward closed progress: 1962323
Forward closed progress: 1969083
Forward closed progress: 1912297
Forward closed progress: 1912297
Control exists for 672 color(s), jumping through 8993934142111744 vertices.
Elapsed: 45378081 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 45378.081
user ??
sys ??
