>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 720
Perturbation colors: 9007199254740992
All colors: 6485183463413514000
Unknown update functions: 3
Lowest cardinality: 2
Highest cardinality: 3
Attractor colors: 3152519739159347000
Attractor colors computed in 917 ms.
Backward progress: 102285
Backward progress: 102315
Backward progress: 100049
Backward progress: 100028
Backward progress: 171116
Backward progress: 171718
Backward progress: 174363
Backward progress: 174458
Backward progress: 174074
Backward progress: 174902
Backward progress: 194104
Backward progress: 193514
Backward progress: 197928
Backward progress: 197950
Backward progress: 195374
Backward progress: 195346
Backward progress: 193644
Backward progress: 193538
Backward progress: 226623
Backward progress: 226045
Backward progress: 228183
Backward progress: 247217
Backward progress: 255503
Backward progress: 255541
Backward progress: 255559
Backward progress: 255778
Backward progress: 254449
Backward progress: 255154
Backward progress: 263269
Backward progress: 263303
Backward progress: 263183
Backward progress: 260197
Backward progress: 260077
Backward progress: 260488
Backward progress: 256591
Backward progress: 255661
Backward progress: 254971
Backward progress: 309772
Backward progress: 312716
Backward progress: 312527
Backward progress: 321523
Backward progress: 321933
Backward progress: 321773
Backward progress: 321357
Backward progress: 321496
Backward progress: 322013
Backward progress: 332497
Backward progress: 332455
Backward progress: 332644
Backward progress: 328593
Backward progress: 327982
Backward progress: 327661
Backward progress: 327594
Backward progress: 328018
Backward progress: 317435
Backward progress: 315760
Backward progress: 316543
Backward progress: 316238
Backward progress: 317285
Backward progress: 311927
Backward progress: 318836
Backward progress: 313711
Backward progress: 317208
Backward progress: 317246
Backward progress: 315009
Backward progress: 314967
Backward progress: 313667
Backward progress: 311571
Backward progress: 303048
Backward progress: 280911
Backward progress: 280837
Backward progress: 280650
Backward progress: 279586
Backward progress: 274066
Backward progress: 273161
Backward progress: 270489
Backward progress: 273485
Backward progress: 271290
Backward progress: 269387
Backward progress: 265892
Backward progress: 257316
Backward progress: 257318
Backward progress: 255218
Backward progress: 309899
Backward progress: 317392
Backward progress: 289359
Backward progress: 305454
Backward progress: 305476
Backward progress: 294253
Backward progress: 294140
Backward progress: 286483
Backward progress: 274723
Backward progress: 273681
Backward progress: 271893
Backward progress: 267770
Backward progress: 232515
Backward progress: 328843
Backward progress: 365109
Backward progress: 370973
Backward progress: 373841
Backward progress: 386265
Backward progress: 386529
Backward progress: 386527
Backward progress: 385624
Backward progress: 382796
Backward progress: 384191
Backward progress: 382815
Backward progress: 383023
Backward progress: 383582
Backward progress: 395244
Backward progress: 395265
Backward progress: 395763
Backward progress: 390496
Backward progress: 390173
Backward progress: 390864
Backward progress: 390720
Backward progress: 391118
Backward progress: 388106
Backward progress: 387681
Backward progress: 388054
Backward progress: 389163
Backward progress: 383642
Backward progress: 388465
Backward progress: 380116
Backward progress: 380084
Backward progress: 379464
Backward progress: 378762
Backward progress: 378540
Backward progress: 392124
Backward progress: 390999
Backward progress: 394749
Backward progress: 394787
Backward progress: 392593
Backward progress: 392544
Backward progress: 391119
Backward progress: 391119
Backward progress: 382299
Backward progress: 380748
Backward progress: 378503
Backward progress: 380923
Backward progress: 379734
Backward progress: 379883
Backward progress: 364792
Backward progress: 364799
Backward progress: 364510
Backward progress: 363700
Backward progress: 357914
Backward progress: 356772
Backward progress: 356990
Backward progress: 356322
Backward progress: 357232
Backward progress: 354070
Backward progress: 360005
Backward progress: 357112
Backward progress: 354925
Backward progress: 352731
Backward progress: 344794
Backward progress: 344260
Backward progress: 343811
Backward progress: 341177
Backward progress: 345041
Backward progress: 330484
Backward progress: 331424
Backward progress: 331603
Backward progress: 332039
Backward progress: 332047
Backward progress: 332019
Backward progress: 331735
Backward progress: 333338
Backward progress: 333294
Backward progress: 330989
Backward progress: 331177
Backward progress: 330081
Backward progress: 330117
Backward progress: 329941
Backward progress: 330010
Backward progress: 329771
Backward progress: 328729
Backward progress: 285977
Backward progress: 285977
Backward progress: 138349
Backward progress: 210734
Backward progress: 219059
Backward progress: 214224
Backward progress: 324886
Backward progress: 325290
Backward progress: 324474
Backward progress: 327782
Backward progress: 328514
Backward progress: 329549
Backward progress: 359377
Backward progress: 362619
Backward progress: 366662
Backward progress: 358670
Backward progress: 358304
Backward progress: 360974
Backward progress: 363352
Backward progress: 364085
Backward progress: 355005
Backward progress: 357160
Backward progress: 361708
Backward progress: 360417
Backward progress: 356241
Backward progress: 361830
Backward progress: 353052
Backward progress: 405878
Backward progress: 401949
Backward progress: 413187
Backward progress: 413217
Backward progress: 405699
Backward progress: 405678
Backward progress: 401655
Backward progress: 400919
Backward progress: 391617
Backward progress: 387554
Backward progress: 384700
Backward progress: 462865
Backward progress: 470777
Backward progress: 415222
Backward progress: 441190
Backward progress: 441220
Backward progress: 422027
Backward progress: 421829
Backward progress: 410092
Backward progress: 387137
Backward progress: 385325
Backward progress: 382577
Backward progress: 373977
Backward progress: 315227
Backward progress: 311654
Backward progress: 299505
Backward progress: 299540
Backward progress: 297183
Backward progress: 290154
Backward progress: 289184
Backward progress: 293361
Backward progress: 284372
Backward progress: 286021
Backward progress: 286146
Backward progress: 286956
Backward progress: 286954
Backward progress: 287080
Backward progress: 288585
Backward progress: 288591
Backward progress: 288170
Backward progress: 287526
Backward progress: 288208
Backward progress: 288286
Backward progress: 288688
Backward progress: 288694
Backward progress: 288673
Backward progress: 288367
Backward progress: 290212
Backward progress: 290514
Backward progress: 288966
Backward progress: 288966
Backward progress: 120771
Backward progress: 123635
Backward progress: 128847
Backward progress: 128467
Backward progress: 119895
Backward progress: 120655
Backward progress: 117665
Backward progress: 336475
Backward progress: 344098
Backward progress: 345281
Backward progress: 347707
Backward progress: 349088
Backward progress: 358706
Backward progress: 358734
Backward progress: 351401
Backward progress: 349193
Backward progress: 349379
Backward progress: 350849
Backward progress: 350885
Backward progress: 341557
Backward progress: 341557
Forward closed progress: 341558
Forward closed progress: 341561
Forward closed progress: 636284
Forward closed progress: 341570
Forward closed progress: 341580
Forward closed progress: 341476
Forward closed progress: 341580
Forward closed progress: 319549
Forward closed progress: 319562
Forward closed progress: 319827
Forward closed progress: 319919
Forward closed progress: 319635
Forward closed progress: 311089
Forward closed progress: 311046
Forward closed progress: 312092
Forward closed progress: 312178
Forward closed progress: 311214
Forward closed progress: 311274
Forward closed progress: 312185
Forward closed progress: 323138
Forward closed progress: 311582
Forward closed progress: 311596
Forward closed progress: 314585
Forward closed progress: 450151
Forward closed progress: 450137
Forward closed progress: 450137
Forward closed progress: 450137
Forward closed progress: 311979
Forward closed progress: 315135
Forward closed progress: 315135
Forward closed progress: 473832
Forward closed progress: 473832
Forward closed progress: 473832
Forward closed progress: 312514
Forward closed progress: 313237
Forward closed progress: 315056
Forward closed progress: 317656
Forward closed progress: 324036
Forward closed progress: 339854
Forward closed progress: 348178
Forward closed progress: 411647
Forward closed progress: 411723
Forward closed progress: 411743
Forward closed progress: 393839
Forward closed progress: 327542
Forward closed progress: 378551
Forward closed progress: 366265
Forward closed progress: 369087
Forward closed progress: 394482
Forward closed progress: 579982
Forward closed progress: 580111
Forward closed progress: 580147
Forward closed progress: 527274
Forward closed progress: 322585
Forward closed progress: 401558
Forward closed progress: 366856
Forward closed progress: 345385
Forward closed progress: 345407
Forward closed progress: 352441
Forward closed progress: 407850
Forward closed progress: 407926
Forward closed progress: 407946
Forward closed progress: 392442
Forward closed progress: 328275
Forward closed progress: 441750
Forward closed progress: 443756
Forward closed progress: 423692
Forward closed progress: 409707
Forward closed progress: 336406
Forward closed progress: 433428
Forward closed progress: 529651
Forward closed progress: 712005
Forward closed progress: 712202
Forward closed progress: 712260
Forward closed progress: 640998
Forward closed progress: 529310
Forward closed progress: 527698
Forward closed progress: 527834
Forward closed progress: 479040
Forward closed progress: 429066
Forward closed progress: 341760
Forward closed progress: 435102
Forward closed progress: 435154
Forward closed progress: 342400
Forward closed progress: 538221
Forward closed progress: 914190
Forward closed progress: 1065533
Forward closed progress: 1211628
Forward closed progress: 1211946
Forward closed progress: 1212024
Forward closed progress: 1122935
Forward closed progress: 1126582
Forward closed progress: 1126798
Forward closed progress: 1010452
Forward closed progress: 1117988
Forward closed progress: 942726
Forward closed progress: 835772
Forward closed progress: 821956
Forward closed progress: 827934
Forward closed progress: 827964
Forward closed progress: 827976
Forward closed progress: 798178
Forward closed progress: 836243
Forward closed progress: 841823
Forward closed progress: 911847
Forward closed progress: 902078
Forward closed progress: 812280
Forward closed progress: 812551
Forward closed progress: 812603
Forward closed progress: 691604
Forward closed progress: 973122
Forward closed progress: 1008770
Forward closed progress: 1153126
Forward closed progress: 1169315
Forward closed progress: 1176436
Forward closed progress: 1165744
Forward closed progress: 1160374
Forward closed progress: 1313080
Forward closed progress: 1313236
Forward closed progress: 1305400
Forward closed progress: 1222776
Forward closed progress: 1227338
Forward closed progress: 1037343
Forward closed progress: 1208224
Forward closed progress: 1219288
Forward closed progress: 1207209
Forward closed progress: 1240397
Forward closed progress: 1240513
Forward closed progress: 1207915
Forward closed progress: 1169459
Forward closed progress: 896751
Forward closed progress: 1408955
Forward closed progress: 1619224
Forward closed progress: 1613380
Forward closed progress: 1614510
Forward closed progress: 1632707
Forward closed progress: 1839121
Forward closed progress: 1853365
Forward closed progress: 2162786
Forward closed progress: 2155551
Forward closed progress: 2155411
Forward closed progress: 2071618
Forward closed progress: 2070094
Forward closed progress: 2131457
Forward closed progress: 2131456
Forward closed progress: 2130241
Forward closed progress: 2128501
Forward closed progress: 2186570
Forward closed progress: 2187483
Forward closed progress: 2187469
Forward closed progress: 2187588
Forward closed progress: 2187640
Forward closed progress: 2159199
Forward closed progress: 2153203
Forward closed progress: 2154084
Forward closed progress: 2154092
Forward closed progress: 2297875
Forward closed progress: 2297033
Forward closed progress: 2295289
Forward closed progress: 2279788
Forward closed progress: 2513921
Forward closed progress: 2513949
Forward closed progress: 2342633
Forward closed progress: 2345820
Forward closed progress: 2462833
Forward closed progress: 2456422
Forward closed progress: 2455645
Forward closed progress: 2211465
Forward closed progress: 2210067
Forward closed progress: 2127813
Forward closed progress: 2103378
Forward closed progress: 2073373
Forward closed progress: 1858913
Forward closed progress: 2001193
Forward closed progress: 2003196
Forward closed progress: 2029909
Forward closed progress: 1962409
Forward closed progress: 1942589
Forward closed progress: 1942439
Forward closed progress: 1933731
Forward closed progress: 1935278
Forward closed progress: 1914926
Forward closed progress: 1823054
Forward closed progress: 1369919
Forward closed progress: 2722064
Forward closed progress: 2684745
Forward closed progress: 2820272
Forward closed progress: 2805542
Forward closed progress: 2844872
Forward closed progress: 2427102
Forward closed progress: 2427166
Forward closed progress: 2405690
Forward closed progress: 2405446
Forward closed progress: 2394642
Forward closed progress: 2368466
Forward closed progress: 2085158
Forward closed progress: 2086018
Forward closed progress: 1859401
Forward closed progress: 1911361
Forward closed progress: 1859488
Forward closed progress: 1834925
Forward closed progress: 1877070
Forward closed progress: 1878337
Forward closed progress: 1882672
Forward closed progress: 1926994
Forward closed progress: 1975211
Forward closed progress: 1973096
Forward closed progress: 1973116
Forward closed progress: 1948186
Forward closed progress: 1989954
Forward closed progress: 1990672
Forward closed progress: 1990819
Forward closed progress: 2006227
Forward closed progress: 2056034
Forward closed progress: 2064774
Forward closed progress: 2064798
Forward closed progress: 2064188
Forward closed progress: 2064204
Forward closed progress: 2034077
Forward closed progress: 2016133
Forward closed progress: 2015899
Forward closed progress: 2016777
Forward closed progress: 2169085
Forward closed progress: 2155273
Forward closed progress: 2158598
Forward closed progress: 2160165
Forward closed progress: 2148501
Forward closed progress: 2164351
Forward closed progress: 2213272
Forward closed progress: 2207986
Forward closed progress: 2207998
Forward closed progress: 2168272
Forward closed progress: 2166066
Forward closed progress: 2162280
Forward closed progress: 2150884
Forward closed progress: 2409376
Forward closed progress: 2405669
Forward closed progress: 2378839
Forward closed progress: 2381691
Forward closed progress: 2228127
Forward closed progress: 2320840
Forward closed progress: 2321852
Forward closed progress: 2191911
Forward closed progress: 2344911
Forward closed progress: 2335019
Forward closed progress: 2402742
Forward closed progress: 2420406
Forward closed progress: 2414684
Forward closed progress: 2331908
Forward closed progress: 2519502
Forward closed progress: 3430255
Forward closed progress: 3475558
Forward closed progress: 3818537
Forward closed progress: 3875177
Forward closed progress: 3892810
Forward closed progress: 3893059
Forward closed progress: 3893131
Forward closed progress: 3881895
Forward closed progress: 3843937
Forward closed progress: 3916710
Forward closed progress: 3875203
Forward closed progress: 3748630
Forward closed progress: 3796083
Forward closed progress: 3807960
Forward closed progress: 3834342
Forward closed progress: 3834396
Forward closed progress: 4055863
Forward closed progress: 4126650
Forward closed progress: 4126578
Forward closed progress: 4189257
Forward closed progress: 4220666
Forward closed progress: 4223570
Forward closed progress: 4223096
Forward closed progress: 4230023
Forward closed progress: 4265786
Forward closed progress: 4202955
Forward closed progress: 4419207
Forward closed progress: 4419071
Forward closed progress: 4453896
Forward closed progress: 4453956
Forward closed progress: 4429926
Forward closed progress: 4429764
Forward closed progress: 4421807
Forward closed progress: 4421807
Forward closed progress: 4360882
Forward closed progress: 4373644
Forward closed progress: 4493218
Forward closed progress: 4495378
Forward closed progress: 3696222
Forward closed progress: 3726846
Forward closed progress: 3721250
Forward closed progress: 3542249
Forward closed progress: 3348843
Forward closed progress: 3275116
Forward closed progress: 2860572
Forward closed progress: 2984338
Forward closed progress: 2506688
Forward closed progress: 3634212
Forward closed progress: 4386693
Forward closed progress: 4375448
Forward closed progress: 5132316
Forward closed progress: 5114726
Forward closed progress: 5114752
Forward closed progress: 4939595
Forward closed progress: 4958526
Forward closed progress: 5282862
Forward closed progress: 5287812
Forward closed progress: 5295046
Forward closed progress: 5338955
Forward closed progress: 5365730
Forward closed progress: 5722420
Forward closed progress: 5720080
Forward closed progress: 5720158
Forward closed progress: 6039354
Forward closed progress: 6039366
Forward closed progress: 5777345
Forward closed progress: 6091928
Forward closed progress: 6686503
Forward closed progress: 6664315
Forward closed progress: 6664407
Forward closed progress: 6228870
Forward closed progress: 6117078
Forward closed progress: 5624841
Forward closed progress: 5466982
Forward closed progress: 5493657
Forward closed progress: 5495988
Forward closed progress: 5245514
Forward closed progress: 5430849
Forward closed progress: 5426507
Forward closed progress: 5489905
Forward closed progress: 5489941
Forward closed progress: 5478647
Forward closed progress: 5466043
Forward closed progress: 4823476
Forward closed progress: 4843051
Forward closed progress: 4821617
Forward closed progress: 4823573
Forward closed progress: 4821694
Forward closed progress: 4822045
Forward closed progress: 4822233
Forward closed progress: 4822313
Forward closed progress: 4820850
Forward closed progress: 4837426
Forward closed progress: 4837426
Forward closed progress: 4811937
Forward closed progress: 5320591
Forward closed progress: 5199172
Forward closed progress: 5198082
Forward closed progress: 5166442
Forward closed progress: 5307361
Forward closed progress: 5347987
Forward closed progress: 5245095
Forward closed progress: 5245094
Forward closed progress: 5265900
Forward closed progress: 5260859
Forward closed progress: 5252014
Forward closed progress: 5246052
Forward closed progress: 5245501
Forward closed progress: 4771951
Forward closed progress: 4204393
Forward closed progress: 4136830
Forward closed progress: 3683914
Forward closed progress: 3432502
Forward closed progress: 3364393
Forward closed progress: 3364450
Forward closed progress: 3287081
Forward closed progress: 3261956
Forward closed progress: 3126069
Forward closed progress: 3120964
Forward closed progress: 3129997
Forward closed progress: 3120715
Forward closed progress: 3123319
Forward closed progress: 3127444
Forward closed progress: 3127912
Forward closed progress: 3111574
Forward closed progress: 3114891
Forward closed progress: 3114393
Forward closed progress: 3110258
Forward closed progress: 3091611
Forward closed progress: 3091477
Forward closed progress: 3071238
Forward closed progress: 2476254
Forward closed progress: 3839181
Forward closed progress: 3856844
Forward closed progress: 4408350
Forward closed progress: 5258117
Forward closed progress: 6049301
Forward closed progress: 6044725
Forward closed progress: 6044554
Forward closed progress: 5961833
Forward closed progress: 5992402
Forward closed progress: 6390902
Forward closed progress: 6400925
Forward closed progress: 6411268
Forward closed progress: 6532880
Forward closed progress: 6562984
Forward closed progress: 6949873
Forward closed progress: 7239155
Forward closed progress: 7239183
Forward closed progress: 6983156
Forward closed progress: 7318977
Forward closed progress: 7921030
Forward closed progress: 7924033
Forward closed progress: 7923023
Forward closed progress: 7707485
Forward closed progress: 7679120
Forward closed progress: 7543872
Forward closed progress: 7429818
Forward closed progress: 7406978
Forward closed progress: 7414636
Forward closed progress: 7203251
Forward closed progress: 8182462
Forward closed progress: 8169313
Forward closed progress: 8545789
Forward closed progress: 8539027
Forward closed progress: 8682311
Forward closed progress: 8682463
Forward closed progress: 8663661
Forward closed progress: 8663437
Forward closed progress: 8655369
Forward closed progress: 8647091
Forward closed progress: 8649719
Forward closed progress: 8054286
Forward closed progress: 8650421
Forward closed progress: 8250425
Forward closed progress: 7543950
Forward closed progress: 7548001
Forward closed progress: 7777868
Forward closed progress: 7965626
Forward closed progress: 7965173
Forward closed progress: 7965191
Forward closed progress: 7947691
Forward closed progress: 7973174
Forward closed progress: 8092364
Forward closed progress: 8093687
Forward closed progress: 8129071
Forward closed progress: 8235729
Forward closed progress: 8377255
Forward closed progress: 8377271
Forward closed progress: 8297748
Forward closed progress: 8385913
Forward closed progress: 8429039
Forward closed progress: 8429519
Forward closed progress: 8429563
Forward closed progress: 8335270
Forward closed progress: 8330888
Forward closed progress: 8302926
Forward closed progress: 8266327
Forward closed progress: 8177034
Forward closed progress: 8280188
Forward closed progress: 8280208
Forward closed progress: 8330081
Forward closed progress: 8330115
Forward closed progress: 8376669
Forward closed progress: 8294709
Forward closed progress: 8079345
Forward closed progress: 7880500
Forward closed progress: 8437093
Forward closed progress: 8321509
Forward closed progress: 8291511
Forward closed progress: 8272453
Forward closed progress: 8272557
Forward closed progress: 8241457
Forward closed progress: 8241201
Forward closed progress: 8227109
Forward closed progress: 8178845
Forward closed progress: 8301898
Forward closed progress: 8118311
Forward closed progress: 7519395
Forward closed progress: 6499654
Forward closed progress: 6481986
Forward closed progress: 6433884
Forward closed progress: 6352951
Forward closed progress: 6362494
Forward closed progress: 6357520
Forward closed progress: 6357730
Forward closed progress: 6357790
Forward closed progress: 6345669
Forward closed progress: 6288669
Forward closed progress: 6288979
Forward closed progress: 6264422
Forward closed progress: 6190700
Forward closed progress: 6140360
Forward closed progress: 6145087
Forward closed progress: 6146119
Forward closed progress: 6154689
Forward closed progress: 6154379
Forward closed progress: 6195813
Forward closed progress: 6206917
Forward closed progress: 6206797
Forward closed progress: 6207300
Forward closed progress: 6207390
Forward closed progress: 6208503
Forward closed progress: 6208283
Forward closed progress: 6210383
Forward closed progress: 6212137
Forward closed progress: 6221131
Forward closed progress: 6206433
Forward closed progress: 6206333
Forward closed progress: 6166119
Forward closed progress: 6218949
Forward closed progress: 6207235
Forward closed progress: 6217381
Forward closed progress: 6217441
Forward closed progress: 6210381
Forward closed progress: 6210279
Forward closed progress: 6207145
Forward closed progress: 6206641
Forward closed progress: 6198278
Forward closed progress: 6192037
Forward closed progress: 6185422
Forward closed progress: 6010826
Forward closed progress: 5942001
Forward closed progress: 5182531
Forward closed progress: 4562045
Forward closed progress: 4356911
Forward closed progress: 4951049
Forward closed progress: 4892174
Forward closed progress: 5597872
Forward closed progress: 5590657
Forward closed progress: 5590257
Forward closed progress: 5530282
Forward closed progress: 5566451
Forward closed progress: 5756920
Forward closed progress: 5758237
Forward closed progress: 5771880
Forward closed progress: 5878082
Forward closed progress: 5899489
Forward closed progress: 6314832
Forward closed progress: 6588008
Forward closed progress: 6588036
Forward closed progress: 6362023
Forward closed progress: 6562986
Forward closed progress: 6919482
Forward closed progress: 6913570
Forward closed progress: 6912470
Forward closed progress: 6731583
Forward closed progress: 6697832
Forward closed progress: 6523226
Forward closed progress: 6436950
Forward closed progress: 6397497
Forward closed progress: 6398499
Forward closed progress: 6183236
Forward closed progress: 6560680
Forward closed progress: 6555955
Forward closed progress: 6660503
Forward closed progress: 6660611
Forward closed progress: 6644804
Forward closed progress: 6644678
Forward closed progress: 6638897
Forward closed progress: 6629648
Forward closed progress: 6632924
Forward closed progress: 6264649
Forward closed progress: 6300176
Forward closed progress: 6263295
Forward closed progress: 6232957
Forward closed progress: 6579608
Forward closed progress: 6580398
Forward closed progress: 6556988
Forward closed progress: 6562798
Forward closed progress: 6562870
Forward closed progress: 6541354
Forward closed progress: 6541190
Forward closed progress: 6532286
Forward closed progress: 6499201
Forward closed progress: 6625853
Forward closed progress: 6487648
Forward closed progress: 6200588
Forward closed progress: 5493544
Forward closed progress: 5360080
Forward closed progress: 5311702
Forward closed progress: 5185444
Forward closed progress: 5163660
Forward closed progress: 5149615
Forward closed progress: 5141555
Forward closed progress: 5085411
Forward closed progress: 5078862
Forward closed progress: 5078918
Forward closed progress: 5067738
Forward closed progress: 5068817
Forward closed progress: 5067675
Forward closed progress: 4655827
Forward closed progress: 4134659
Forward closed progress: 4232228
Forward closed progress: 4283429
Forward closed progress: 4255490
Forward closed progress: 4373411
Forward closed progress: 4351648
Forward closed progress: 4329283
Forward closed progress: 4348011
Forward closed progress: 4321052
Forward closed progress: 4172528
Forward closed progress: 7451400
Forward closed progress: 7485748
Forward closed progress: 7601974
Forward closed progress: 9511464
Forward closed progress: 11153649
Forward closed progress: 11399126
Forward closed progress: 11398731
Forward closed progress: 11364696
Forward closed progress: 11364744
Forward closed progress: 11206479
Forward closed progress: 11218505
Forward closed progress: 11044303
Forward closed progress: 11116538
Forward closed progress: 11107471
Forward closed progress: 11164009
Forward closed progress: 11175983
Forward closed progress: 11170533
Forward closed progress: 11166463
Forward closed progress: 11159459
Forward closed progress: 11274783
Forward closed progress: 11246683
Forward closed progress: 11260612
Forward closed progress: 12097264
Forward closed progress: 11690723
Forward closed progress: 11663104
Forward closed progress: 11839257
Forward closed progress: 11860635
Forward closed progress: 11850477
Forward closed progress: 11850497
Forward closed progress: 11761594
Forward closed progress: 11707778
Forward closed progress: 11589876
Forward closed progress: 11581095
Forward closed progress: 11733506
Forward closed progress: 11761099
Forward closed progress: 11758715
Forward closed progress: 11758735
Forward closed progress: 11695400
Forward closed progress: 11661740
Forward closed progress: 12000383
Forward closed progress: 11995824
Forward closed progress: 12055187
Forward closed progress: 12152864
Forward closed progress: 12152300
Forward closed progress: 12472848
Forward closed progress: 12563994
Forward closed progress: 13072460
Forward closed progress: 13072652
Forward closed progress: 12734138
Forward closed progress: 12912854
Forward closed progress: 12616888
Forward closed progress: 12605592
Forward closed progress: 12588515
Forward closed progress: 12349715
Forward closed progress: 12319185
Forward closed progress: 12667732
Forward closed progress: 12666189
Forward closed progress: 12659360
Forward closed progress: 12766142
Forward closed progress: 12760371
Forward closed progress: 12834492
Forward closed progress: 12780348
Forward closed progress: 12075319
Forward closed progress: 12122812
Forward closed progress: 12122272
Forward closed progress: 12319735
Forward closed progress: 12299478
Forward closed progress: 12275780
Forward closed progress: 12292103
Forward closed progress: 12278877
Forward closed progress: 12278915
Forward closed progress: 12278892
Forward closed progress: 12280163
Forward closed progress: 12301473
Forward closed progress: 12303802
Forward closed progress: 12328574
Forward closed progress: 12328577
Forward closed progress: 12459084
Forward closed progress: 12522397
Forward closed progress: 12522271
Forward closed progress: 12487174
Forward closed progress: 12489836
Forward closed progress: 12463768
Forward closed progress: 12506541
Forward closed progress: 12506881
Forward closed progress: 12521547
Forward closed progress: 12521553
Forward closed progress: 12508563
Forward closed progress: 12508583
Forward closed progress: 12503061
Forward closed progress: 12499193
Forward closed progress: 13387000
Forward closed progress: 13399729
Forward closed progress: 13179224
Forward closed progress: 13177749
Forward closed progress: 13201039
Forward closed progress: 12920187
Forward closed progress: 12920193
Forward closed progress: 12918196
Forward closed progress: 12917449
Forward closed progress: 12867373
Forward closed progress: 12991766
Forward closed progress: 12983000
Forward closed progress: 12971620
Forward closed progress: 12971680
Forward closed progress: 12971660
Forward closed progress: 12952480
Forward closed progress: 12951615
Forward closed progress: 12950410
Forward closed progress: 12950112
Forward closed progress: 12949806
Forward closed progress: 12938692
Forward closed progress: 12431856
Forward closed progress: 12477663
Forward closed progress: 12477521
Forward closed progress: 12417080
Forward closed progress: 12438850
Forward closed progress: 12438856
Forward closed progress: 12409579
Forward closed progress: 12389357
Forward closed progress: 11534900
Forward closed progress: 11704371
Forward closed progress: 11614853
Forward closed progress: 11494151
Forward closed progress: 11230190
Forward closed progress: 10574187
Forward closed progress: 10587973
Forward closed progress: 9753662
Forward closed progress: 9747122
Forward closed progress: 9744778
Forward closed progress: 9744611
Forward closed progress: 9745214
Forward closed progress: 8798875
Forward closed progress: 8795155
Forward closed progress: 8789230
Forward closed progress: 8556941
Forward closed progress: 8565027
Forward closed progress: 8571620
Forward closed progress: 8566992
Forward closed progress: 8555759
Forward closed progress: 8572264
Forward closed progress: 8564861
Forward closed progress: 8564330
Forward closed progress: 8542443
Forward closed progress: 8504346
Forward closed progress: 8477892
Forward closed progress: 8464828
Forward closed progress: 8130236
Forward closed progress: 8124311
Forward closed progress: 8126674
Forward closed progress: 8125438
Forward closed progress: 8143536
Forward closed progress: 8141004
Forward closed progress: 8135244
Forward closed progress: 8136246
Forward closed progress: 8129576
Forward closed progress: 8107249
Forward closed progress: 8150625
Forward closed progress: 8153537
Forward closed progress: 8187389
Forward closed progress: 8172647
Forward closed progress: 8178557
Forward closed progress: 8164012
Forward closed progress: 8167193
Forward closed progress: 8171357
Forward closed progress: 8174715
Forward closed progress: 8174727
Forward closed progress: 8171457
Forward closed progress: 8170182
Forward closed progress: 8170269
Forward closed progress: 8172186
Forward closed progress: 8171929
Forward closed progress: 8167107
Forward closed progress: 8167107
Forward closed progress: 8138920
Forward closed progress: 8138920
Control exists for 350 color(s), jumping through 9007199254740992 vertices.
Elapsed: 46493672 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 46493.672
user ??
sys ??
