>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 9072
Perturbation colors: 9007199254740992
All colors: 81713311639010280000
Unknown update functions: 4
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 15132094747964867000
Attractor colors computed in 9289 ms.
Backward progress: 101878
Backward progress: 101892
Backward progress: 100847
Backward progress: 100823
Backward progress: 107813
Backward progress: 108751
Backward progress: 125689
Backward progress: 125977
Backward progress: 126003
Backward progress: 126253
Backward progress: 126393
Backward progress: 127467
Backward progress: 132484
Backward progress: 134091
Backward progress: 135337
Backward progress: 136053
Backward progress: 135977
Backward progress: 136664
Backward progress: 142294
Backward progress: 142910
Backward progress: 141643
Backward progress: 150657
Backward progress: 155431
Backward progress: 154532
Backward progress: 144167
Backward progress: 147145
Backward progress: 144812
Backward progress: 273922
Backward progress: 278019
Backward progress: 281861
Backward progress: 281865
Backward progress: 281190
Backward progress: 282577
Backward progress: 303308
Backward progress: 301285
Backward progress: 301057
Backward progress: 311648
Backward progress: 311674
Backward progress: 309349
Backward progress: 309286
Backward progress: 305572
Backward progress: 303825
Backward progress: 302641
Backward progress: 302377
Backward progress: 300881
Backward progress: 381691
Backward progress: 380621
Backward progress: 377561
Backward progress: 424647
Backward progress: 455324
Backward progress: 456319
Backward progress: 464161
Backward progress: 464173
Backward progress: 464234
Backward progress: 465566
Backward progress: 462258
Backward progress: 465722
Backward progress: 480598
Backward progress: 480394
Backward progress: 479742
Backward progress: 472861
Backward progress: 472885
Backward progress: 476762
Backward progress: 466029
Backward progress: 429866
Backward progress: 425076
Backward progress: 426797
Backward progress: 724886
Backward progress: 747393
Backward progress: 741314
Backward progress: 770576
Backward progress: 770978
Backward progress: 768545
Backward progress: 766390
Backward progress: 766690
Backward progress: 776324
Backward progress: 822373
Backward progress: 821449
Backward progress: 816033
Backward progress: 794452
Backward progress: 791368
Backward progress: 794150
Backward progress: 795886
Backward progress: 796491
Backward progress: 677179
Backward progress: 669331
Backward progress: 668479
Backward progress: 662436
Backward progress: 668410
Backward progress: 646301
Backward progress: 669208
Backward progress: 642542
Backward progress: 635913
Backward progress: 662861
Backward progress: 662881
Backward progress: 653124
Backward progress: 653043
Backward progress: 648004
Backward progress: 642813
Backward progress: 636018
Backward progress: 629159
Backward progress: 627721
Backward progress: 567230
Backward progress: 565822
Backward progress: 565618
Backward progress: 569877
Backward progress: 569501
Backward progress: 567750
Backward progress: 554802
Backward progress: 554245
Backward progress: 550066
Backward progress: 552563
Backward progress: 549755
Backward progress: 545767
Backward progress: 538457
Backward progress: 518818
Backward progress: 520795
Backward progress: 514310
Backward progress: 508578
Backward progress: 613169
Backward progress: 619295
Backward progress: 592114
Backward progress: 581441
Backward progress: 609727
Backward progress: 609777
Backward progress: 590003
Backward progress: 589657
Backward progress: 580129
Backward progress: 551037
Backward progress: 546304
Backward progress: 550510
Backward progress: 545797
Backward progress: 539477
Backward progress: 476151
Backward progress: 957767
Backward progress: 1104576
Backward progress: 1139393
Backward progress: 1147912
Backward progress: 1179786
Backward progress: 1179972
Backward progress: 1179927
Backward progress: 1173043
Backward progress: 1164572
Backward progress: 1168248
Backward progress: 1164590
Backward progress: 1164934
Backward progress: 1173673
Backward progress: 1225738
Backward progress: 1225358
Backward progress: 1222146
Backward progress: 1194878
Backward progress: 1193715
Backward progress: 1198598
Backward progress: 1197962
Backward progress: 1198489
Backward progress: 1176097
Backward progress: 1171834
Backward progress: 1171224
Backward progress: 1176972
Backward progress: 1153762
Backward progress: 1185191
Backward progress: 1173971
Backward progress: 1173939
Backward progress: 1173235
Backward progress: 1172031
Backward progress: 1171843
Backward progress: 1238768
Backward progress: 1234611
Backward progress: 1233185
Backward progress: 1263759
Backward progress: 1263779
Backward progress: 1253020
Backward progress: 1252965
Backward progress: 1246940
Backward progress: 1240999
Backward progress: 1233815
Backward progress: 1233807
Backward progress: 1353309
Backward progress: 1347806
Backward progress: 1312442
Backward progress: 1313930
Backward progress: 1328972
Backward progress: 1318896
Backward progress: 1320099
Backward progress: 1340179
Backward progress: 1340788
Backward progress: 1344245
Backward progress: 1367217
Backward progress: 1365564
Backward progress: 1360304
Backward progress: 1322687
Backward progress: 1307624
Backward progress: 1310185
Backward progress: 1303331
Backward progress: 1302940
Backward progress: 1291457
Backward progress: 1308115
Backward progress: 1297985
Backward progress: 1281778
Backward progress: 1261466
Backward progress: 1230480
Backward progress: 1230020
Backward progress: 1239458
Backward progress: 1216670
Backward progress: 1264098
Backward progress: 1193190
Backward progress: 1190742
Backward progress: 1190758
Backward progress: 1190766
Backward progress: 1190847
Backward progress: 1191135
Backward progress: 1191143
Backward progress: 1191099
Backward progress: 1190891
Backward progress: 1160009
Backward progress: 1173291
Backward progress: 1170524
Backward progress: 1167597
Backward progress: 1148341
Backward progress: 1126145
Backward progress: 1125680
Backward progress: 1126023
Backward progress: 1131105
Backward progress: 1130585
Backward progress: 1128301
Backward progress: 1113935
Backward progress: 1112213
Backward progress: 1106314
Backward progress: 1109847
Backward progress: 1106254
Backward progress: 1100577
Backward progress: 1094809
Backward progress: 1062754
Backward progress: 1065234
Backward progress: 1058492
Backward progress: 1054710
Backward progress: 1010331
Backward progress: 1010139
Backward progress: 992996
Backward progress: 991366
Backward progress: 1004670
Backward progress: 1004690
Backward progress: 994986
Backward progress: 994919
Backward progress: 994559
Backward progress: 989874
Backward progress: 971157
Backward progress: 968888
Backward progress: 969014
Backward progress: 968420
Backward progress: 968584
Backward progress: 967880
Backward progress: 964353
Backward progress: 715595
Backward progress: 714058
Backward progress: 699383
Backward progress: 699383
Backward progress: 362307
Backward progress: 399315
Backward progress: 434177
Backward progress: 422443
Backward progress: 519098
Backward progress: 519469
Backward progress: 518969
Backward progress: 525305
Backward progress: 525925
Backward progress: 530239
Backward progress: 567577
Backward progress: 567671
Backward progress: 569446
Backward progress: 553142
Backward progress: 546545
Backward progress: 548460
Backward progress: 551811
Backward progress: 552342
Backward progress: 526029
Backward progress: 521424
Backward progress: 519835
Backward progress: 512501
Backward progress: 509465
Backward progress: 515256
Backward progress: 499790
Backward progress: 569087
Backward progress: 559348
Backward progress: 557841
Backward progress: 583073
Backward progress: 583087
Backward progress: 573943
Backward progress: 573919
Backward progress: 565702
Backward progress: 561853
Backward progress: 556251
Backward progress: 549546
Backward progress: 546127
Backward progress: 540315
Backward progress: 538773
Backward progress: 595805
Backward progress: 599230
Backward progress: 564372
Backward progress: 542650
Backward progress: 569459
Backward progress: 569473
Backward progress: 549407
Backward progress: 549293
Backward progress: 539616
Backward progress: 500681
Backward progress: 488002
Backward progress: 487904
Backward progress: 485919
Backward progress: 479471
Backward progress: 404672
Backward progress: 389808
Backward progress: 361727
Backward progress: 358904
Backward progress: 358491
Backward progress: 359965
Backward progress: 355054
Backward progress: 355822
Backward progress: 356008
Backward progress: 356306
Backward progress: 356307
Backward progress: 356355
Backward progress: 357285
Backward progress: 357287
Backward progress: 357087
Backward progress: 356915
Backward progress: 357115
Backward progress: 357130
Backward progress: 357255
Backward progress: 357257
Backward progress: 357246
Backward progress: 357146
Backward progress: 358314
Backward progress: 358404
Backward progress: 358082
Backward progress: 358082
Backward progress: 183090
Backward progress: 181260
Backward progress: 188747
Backward progress: 188747
Backward progress: 192398
Backward progress: 190478
Backward progress: 195341
Backward progress: 191006
Backward progress: 183457
Backward progress: 182941
Backward progress: 184750
Backward progress: 181417
Backward progress: 265298
Backward progress: 268064
Backward progress: 270797
Backward progress: 274128
Backward progress: 275256
Backward progress: 275510
Backward progress: 277672
Backward progress: 284534
Backward progress: 284562
Backward progress: 277951
Backward progress: 275447
Backward progress: 290186
Backward progress: 290258
Backward progress: 293304
Backward progress: 292834
Backward progress: 295389
Backward progress: 293860
Backward progress: 275729
Backward progress: 275865
Backward progress: 276459
Backward progress: 276486
Backward progress: 278143
Backward progress: 276358
Backward progress: 276462
Backward progress: 276256
Backward progress: 276256
Backward progress: 276086
Backward progress: 268997
Backward progress: 269029
Backward progress: 269137
Backward progress: 270301
Backward progress: 270153
Backward progress: 269431
Backward progress: 269572
Backward progress: 269596
Backward progress: 269074
Backward progress: 269074
Forward closed progress: 269075
Forward closed progress: 269078
Forward closed progress: 444288
Forward closed progress: 269087
Forward closed progress: 269097
Forward closed progress: 268985
Forward closed progress: 269097
Forward closed progress: 250176
Forward closed progress: 250217
Forward closed progress: 250991
Forward closed progress: 251087
Forward closed progress: 250391
Forward closed progress: 229741
Forward closed progress: 229389
Forward closed progress: 231713
Forward closed progress: 231803
Forward closed progress: 229911
Forward closed progress: 230071
Forward closed progress: 241111
Forward closed progress: 243575
Forward closed progress: 236055
Forward closed progress: 242122
Forward closed progress: 242210
Forward closed progress: 236101
Forward closed progress: 251139
Forward closed progress: 305458
Forward closed progress: 305373
Forward closed progress: 305418
Forward closed progress: 305418
Forward closed progress: 237158
Forward closed progress: 250443
Forward closed progress: 250405
Forward closed progress: 318509
Forward closed progress: 318549
Forward closed progress: 318549
Forward closed progress: 238341
Forward closed progress: 239487
Forward closed progress: 239983
Forward closed progress: 242874
Forward closed progress: 242810
Forward closed progress: 242018
Forward closed progress: 242146
Forward closed progress: 243066
Forward closed progress: 243002
Forward closed progress: 242082
Forward closed progress: 243574
Forward closed progress: 247054
Forward closed progress: 268164
Forward closed progress: 283656
Forward closed progress: 335856
Forward closed progress: 336084
Forward closed progress: 336104
Forward closed progress: 310226
Forward closed progress: 249276
Forward closed progress: 283704
Forward closed progress: 273999
Forward closed progress: 274043
Forward closed progress: 271718
Forward closed progress: 284568
Forward closed progress: 313520
Forward closed progress: 403461
Forward closed progress: 403777
Forward closed progress: 403813
Forward closed progress: 352623
Forward closed progress: 244498
Forward closed progress: 299692
Forward closed progress: 283798
Forward closed progress: 270580
Forward closed progress: 270602
Forward closed progress: 285034
Forward closed progress: 333462
Forward closed progress: 333690
Forward closed progress: 333710
Forward closed progress: 309468
Forward closed progress: 247224
Forward closed progress: 335086
Forward closed progress: 349105
Forward closed progress: 329843
Forward closed progress: 329277
Forward closed progress: 252174
Forward closed progress: 303918
Forward closed progress: 367241
Forward closed progress: 449122
Forward closed progress: 449605
Forward closed progress: 449663
Forward closed progress: 398766
Forward closed progress: 344537
Forward closed progress: 340428
Forward closed progress: 346311
Forward closed progress: 321663
Forward closed progress: 294930
Forward closed progress: 254286
Forward closed progress: 322804
Forward closed progress: 322880
Forward closed progress: 255910
Forward closed progress: 394509
Forward closed progress: 636031
Forward closed progress: 787943
Forward closed progress: 881779
Forward closed progress: 882657
Forward closed progress: 882739
Forward closed progress: 791616
Forward closed progress: 799516
Forward closed progress: 799740
Forward closed progress: 694524
Forward closed progress: 796173
Forward closed progress: 736570
Forward closed progress: 712172
Forward closed progress: 690272
Forward closed progress: 698082
Forward closed progress: 698168
Forward closed progress: 698180
Forward closed progress: 655438
Forward closed progress: 696474
Forward closed progress: 733638
Forward closed progress: 804617
Forward closed progress: 809579
Forward closed progress: 671855
Forward closed progress: 672631
Forward closed progress: 672727
Forward closed progress: 534005
Forward closed progress: 649267
Forward closed progress: 726879
Forward closed progress: 769197
Forward closed progress: 773049
Forward closed progress: 810466
Forward closed progress: 810638
Forward closed progress: 821536
Forward closed progress: 777978
Forward closed progress: 848204
Forward closed progress: 740831
Forward closed progress: 1125198
Forward closed progress: 1080713
Forward closed progress: 1078337
Forward closed progress: 1121927
Forward closed progress: 1122123
Forward closed progress: 1105050
Forward closed progress: 1074074
Forward closed progress: 872065
Forward closed progress: 1303456
Forward closed progress: 1244511
Forward closed progress: 1226729
Forward closed progress: 1228139
Forward closed progress: 1248089
Forward closed progress: 1391639
Forward closed progress: 1396211
Forward closed progress: 1492242
Forward closed progress: 1473365
Forward closed progress: 1473409
Forward closed progress: 1407637
Forward closed progress: 1405757
Forward closed progress: 1401854
Forward closed progress: 1401327
Forward closed progress: 1400035
Forward closed progress: 1398670
Forward closed progress: 1443726
Forward closed progress: 1447382
Forward closed progress: 1447354
Forward closed progress: 1447626
Forward closed progress: 1447678
Forward closed progress: 1425831
Forward closed progress: 1414313
Forward closed progress: 1402366
Forward closed progress: 1402399
Forward closed progress: 1337512
Forward closed progress: 1335998
Forward closed progress: 1334508
Forward closed progress: 1327253
Forward closed progress: 1411425
Forward closed progress: 1411485
Forward closed progress: 1332851
Forward closed progress: 1335515
Forward closed progress: 1388782
Forward closed progress: 1366876
Forward closed progress: 1366892
Forward closed progress: 1222672
Forward closed progress: 1202654
Forward closed progress: 1174374
Forward closed progress: 1147463
Forward closed progress: 1142457
Forward closed progress: 1043714
Forward closed progress: 1070699
Forward closed progress: 1069351
Forward closed progress: 1077634
Forward closed progress: 1077698
Forward closed progress: 1083034
Forward closed progress: 1076942
Forward closed progress: 1032694
Forward closed progress: 1032830
Forward closed progress: 819149
Forward closed progress: 1665981
Forward closed progress: 1961421
Forward closed progress: 1944694
Forward closed progress: 1892097
Forward closed progress: 1774264
Forward closed progress: 1718992
Forward closed progress: 1690849
Forward closed progress: 1609575
Forward closed progress: 1612057
Forward closed progress: 1565537
Forward closed progress: 1606286
Forward closed progress: 1608169
Forward closed progress: 1620641
Forward closed progress: 1691267
Forward closed progress: 1764981
Forward closed progress: 1759866
Forward closed progress: 1759914
Forward closed progress: 1733848
Forward closed progress: 1747562
Forward closed progress: 1748460
Forward closed progress: 1748666
Forward closed progress: 1756553
Forward closed progress: 1806114
Forward closed progress: 1814348
Forward closed progress: 1814372
Forward closed progress: 1813185
Forward closed progress: 1813201
Forward closed progress: 1788953
Forward closed progress: 1775515
Forward closed progress: 1774840
Forward closed progress: 1776674
Forward closed progress: 1772982
Forward closed progress: 1765507
Forward closed progress: 1768628
Forward closed progress: 1770926
Forward closed progress: 1764103
Forward closed progress: 1787428
Forward closed progress: 1824460
Forward closed progress: 1812466
Forward closed progress: 1812510
Forward closed progress: 1784893
Forward closed progress: 1789306
Forward closed progress: 1804521
Forward closed progress: 1794498
Forward closed progress: 1844813
Forward closed progress: 1839897
Forward closed progress: 1834452
Forward closed progress: 1835422
Forward closed progress: 1760866
Forward closed progress: 1812027
Forward closed progress: 1812519
Forward closed progress: 1691256
Forward closed progress: 1770659
Forward closed progress: 1785446
Forward closed progress: 1822903
Forward closed progress: 1835613
Forward closed progress: 1830396
Forward closed progress: 1791498
Forward closed progress: 1816496
Forward closed progress: 2212459
Forward closed progress: 2393222
Forward closed progress: 2641533
Forward closed progress: 2633060
Forward closed progress: 2592305
Forward closed progress: 2592809
Forward closed progress: 2592881
Forward closed progress: 2582487
Forward closed progress: 2543981
Forward closed progress: 2583632
Forward closed progress: 2545156
Forward closed progress: 2479536
Forward closed progress: 2513155
Forward closed progress: 2526650
Forward closed progress: 2542396
Forward closed progress: 2542516
Forward closed progress: 2563998
Forward closed progress: 2584022
Forward closed progress: 2583860
Forward closed progress: 2635732
Forward closed progress: 2663214
Forward closed progress: 2668122
Forward closed progress: 2667258
Forward closed progress: 2674179
Forward closed progress: 2692784
Forward closed progress: 2672571
Forward closed progress: 2736546
Forward closed progress: 2733237
Forward closed progress: 2733489
Forward closed progress: 2759285
Forward closed progress: 2759351
Forward closed progress: 2748674
Forward closed progress: 2748476
Forward closed progress: 2744771
Forward closed progress: 2741716
Forward closed progress: 2733801
Forward closed progress: 2733801
Forward closed progress: 2681381
Forward closed progress: 2671938
Forward closed progress: 2717774
Forward closed progress: 2720291
Forward closed progress: 2359054
Forward closed progress: 2372183
Forward closed progress: 2362841
Forward closed progress: 2284965
Forward closed progress: 2181753
Forward closed progress: 2152114
Forward closed progress: 1959908
Forward closed progress: 1990611
Forward closed progress: 1928434
Forward closed progress: 2052252
Forward closed progress: 2265546
Forward closed progress: 2257090
Forward closed progress: 2446344
Forward closed progress: 2430988
Forward closed progress: 2431014
Forward closed progress: 2374965
Forward closed progress: 2370002
Forward closed progress: 2444778
Forward closed progress: 2448648
Forward closed progress: 2447683
Forward closed progress: 2482580
Forward closed progress: 2488664
Forward closed progress: 2473267
Forward closed progress: 2471414
Forward closed progress: 2471527
Forward closed progress: 2514597
Forward closed progress: 2514613
Forward closed progress: 2475565
Forward closed progress: 2578338
Forward closed progress: 2738687
Forward closed progress: 2719819
Forward closed progress: 2719911
Forward closed progress: 2610531
Forward closed progress: 2594134
Forward closed progress: 2553584
Forward closed progress: 2514603
Forward closed progress: 2525361
Forward closed progress: 2528006
Forward closed progress: 2454368
Forward closed progress: 2521012
Forward closed progress: 2519684
Forward closed progress: 2534586
Forward closed progress: 2534674
Forward closed progress: 2539360
Forward closed progress: 2538822
Forward closed progress: 2395535
Forward closed progress: 2397295
Forward closed progress: 2395720
Forward closed progress: 2395656
Forward closed progress: 2395006
Forward closed progress: 2394225
Forward closed progress: 2393392
Forward closed progress: 2394311
Forward closed progress: 2394555
Forward closed progress: 2394589
Forward closed progress: 2394186
Forward closed progress: 2393765
Forward closed progress: 2401025
Forward closed progress: 2392127
Forward closed progress: 2500496
Forward closed progress: 2479743
Forward closed progress: 2477951
Forward closed progress: 2472619
Forward closed progress: 2507920
Forward closed progress: 2527064
Forward closed progress: 2504194
Forward closed progress: 2504193
Forward closed progress: 2509085
Forward closed progress: 2507259
Forward closed progress: 2506616
Forward closed progress: 2504802
Forward closed progress: 2504606
Forward closed progress: 2395286
Forward closed progress: 2270210
Forward closed progress: 2239713
Forward closed progress: 2144832
Forward closed progress: 2062759
Forward closed progress: 2029570
Forward closed progress: 2029657
Forward closed progress: 2001391
Forward closed progress: 1992661
Forward closed progress: 1971248
Forward closed progress: 1965829
Forward closed progress: 1967289
Forward closed progress: 1965319
Forward closed progress: 1966678
Forward closed progress: 1969257
Forward closed progress: 1969625
Forward closed progress: 1959243
Forward closed progress: 1960372
Forward closed progress: 1959558
Forward closed progress: 1957202
Forward closed progress: 1952022
Forward closed progress: 1952010
Forward closed progress: 1946654
Forward closed progress: 1750950
Forward closed progress: 3090241
Forward closed progress: 3075225
Forward closed progress: 3321573
Forward closed progress: 3933868
Forward closed progress: 4557803
Forward closed progress: 4552452
Forward closed progress: 4552576
Forward closed progress: 4504437
Forward closed progress: 4553237
Forward closed progress: 4880432
Forward closed progress: 4896450
Forward closed progress: 4884691
Forward closed progress: 5093498
Forward closed progress: 5112619
Forward closed progress: 5143954
Forward closed progress: 5296452
Forward closed progress: 5296488
Forward closed progress: 5164452
Forward closed progress: 5484162
Forward closed progress: 5866635
Forward closed progress: 5876184
Forward closed progress: 5876868
Forward closed progress: 5754485
Forward closed progress: 5734437
Forward closed progress: 5859186
Forward closed progress: 5717425
Forward closed progress: 5782704
Forward closed progress: 5799961
Forward closed progress: 5621801
Forward closed progress: 7908854
Forward closed progress: 8385752
Forward closed progress: 8937152
Forward closed progress: 8927058
Forward closed progress: 9009660
Forward closed progress: 9009788
Forward closed progress: 9018870
Forward closed progress: 9010502
Forward closed progress: 8279318
Forward closed progress: 9594356
Forward closed progress: 9113926
Forward closed progress: 9113738
Forward closed progress: 9112940
Forward closed progress: 7892761
Forward closed progress: 7928651
Forward closed progress: 8496064
Forward closed progress: 8846070
Forward closed progress: 8837048
Forward closed progress: 8837078
Forward closed progress: 8768797
Forward closed progress: 8772711
Forward closed progress: 9044969
Forward closed progress: 9054206
Forward closed progress: 9094316
Forward closed progress: 9064312
Forward closed progress: 9219541
Forward closed progress: 9219563
Forward closed progress: 9113940
Forward closed progress: 9330964
Forward closed progress: 9662512
Forward closed progress: 9653529
Forward closed progress: 9653603
Forward closed progress: 9341964
Forward closed progress: 9412232
Forward closed progress: 9359506
Forward closed progress: 9236269
Forward closed progress: 9130551
Forward closed progress: 9450314
Forward closed progress: 9454204
Forward closed progress: 9541795
Forward closed progress: 9541881
Forward closed progress: 9656246
Forward closed progress: 9519422
Forward closed progress: 8973506
Forward closed progress: 9190976
Forward closed progress: 9381024
Forward closed progress: 9378176
Forward closed progress: 9410805
Forward closed progress: 9499102
Forward closed progress: 9494108
Forward closed progress: 9494222
Forward closed progress: 9480444
Forward closed progress: 9368086
Forward closed progress: 9327212
Forward closed progress: 9319526
Forward closed progress: 9285832
Forward closed progress: 9300233
Forward closed progress: 9376456
Forward closed progress: 9384762
Forward closed progress: 9383234
Forward closed progress: 9387805
Forward closed progress: 9362286
Forward closed progress: 9479266
Forward closed progress: 9573466
Forward closed progress: 9569373
Forward closed progress: 9569540
Forward closed progress: 9550851
Forward closed progress: 9569704
Forward closed progress: 9652329
Forward closed progress: 9600783
Forward closed progress: 9607117
Forward closed progress: 9613517
Forward closed progress: 9678563
Forward closed progress: 9639096
Forward closed progress: 9653085
Forward closed progress: 9653149
Forward closed progress: 9638462
Forward closed progress: 9638402
Forward closed progress: 9636711
Forward closed progress: 9627801
Forward closed progress: 9587025
Forward closed progress: 9671000
Forward closed progress: 9612598
Forward closed progress: 9551296
Forward closed progress: 9381207
Forward closed progress: 10259124
Forward closed progress: 10047737
Forward closed progress: 10042113
Forward closed progress: 9970084
Forward closed progress: 10143142
Forward closed progress: 9863706
Forward closed progress: 8884603
Forward closed progress: 7683600
Forward closed progress: 7381372
Forward closed progress: 8597300
Forward closed progress: 8962382
Forward closed progress: 8935833
Forward closed progress: 8956525
Forward closed progress: 8882525
Forward closed progress: 8882783
Forward closed progress: 8843174
Forward closed progress: 8818939
Forward closed progress: 8635772
Forward closed progress: 8484021
Forward closed progress: 8443895
Forward closed progress: 8400158
Forward closed progress: 8278837
Forward closed progress: 8284090
Forward closed progress: 8309728
Forward closed progress: 8330492
Forward closed progress: 8325440
Forward closed progress: 8321744
Forward closed progress: 8349306
Forward closed progress: 8360302
Forward closed progress: 8359852
Forward closed progress: 8502702
Forward closed progress: 8519617
Forward closed progress: 8286759
Forward closed progress: 8286577
Forward closed progress: 8184533
Forward closed progress: 8168829
Forward closed progress: 8168496
Forward closed progress: 8128994
Forward closed progress: 8157267
Forward closed progress: 8127614
Forward closed progress: 8147570
Forward closed progress: 8129292
Forward closed progress: 8156952
Forward closed progress: 8113057
Forward closed progress: 8105113
Forward closed progress: 8143974
Forward closed progress: 8144178
Forward closed progress: 8126417
Forward closed progress: 8126211
Forward closed progress: 8119265
Forward closed progress: 8115872
Forward closed progress: 8104462
Forward closed progress: 8103635
Forward closed progress: 8041482
Forward closed progress: 8036667
Forward closed progress: 8018690
Forward closed progress: 7945962
Forward closed progress: 7698048
Forward closed progress: 7682400
Forward closed progress: 7081491
Forward closed progress: 7081071
Forward closed progress: 7148412
Forward closed progress: 7084248
Forward closed progress: 7046268
Forward closed progress: 7040472
Forward closed progress: 7031462
Forward closed progress: 7027729
Forward closed progress: 7017350
Forward closed progress: 5103042
Forward closed progress: 5013218
Forward closed progress: 5045727
Forward closed progress: 5389363
Forward closed progress: 5374526
Forward closed progress: 5750707
Forward closed progress: 5736351
Forward closed progress: 5736451
Forward closed progress: 5684314
Forward closed progress: 5722381
Forward closed progress: 5844911
Forward closed progress: 5853948
Forward closed progress: 5854915
Forward closed progress: 5946725
Forward closed progress: 5956242
Forward closed progress: 5946018
Forward closed progress: 5998737
Forward closed progress: 5998773
Forward closed progress: 5954751
Forward closed progress: 6147562
Forward closed progress: 6418443
Forward closed progress: 6402144
Forward closed progress: 6402564
Forward closed progress: 6295112
Forward closed progress: 6300211
Forward closed progress: 6342888
Forward closed progress: 6278547
Forward closed progress: 6273160
Forward closed progress: 6279700
Forward closed progress: 6185676
Forward closed progress: 6321833
Forward closed progress: 6319655
Forward closed progress: 6338268
Forward closed progress: 6338356
Forward closed progress: 6342988
Forward closed progress: 6346630
Forward closed progress: 6189240
Forward closed progress: 6197013
Forward closed progress: 6189335
Forward closed progress: 6189271
Forward closed progress: 6188621
Forward closed progress: 6166353
Forward closed progress: 6294476
Forward closed progress: 6310661
Forward closed progress: 6308901
Forward closed progress: 6302889
Forward closed progress: 6354438
Forward closed progress: 6290047
Forward closed progress: 6150990
Forward closed progress: 5852637
Forward closed progress: 5822027
Forward closed progress: 5848559
Forward closed progress: 5769406
Forward closed progress: 5739910
Forward closed progress: 5727621
Forward closed progress: 5721869
Forward closed progress: 5709360
Forward closed progress: 5700007
Forward closed progress: 5698379
Forward closed progress: 5700433
Forward closed progress: 5697603
Forward closed progress: 5290720
Forward closed progress: 5241676
Forward closed progress: 5317589
Forward closed progress: 5370486
Forward closed progress: 5326459
Forward closed progress: 5462822
Forward closed progress: 5451496
Forward closed progress: 5390767
Forward closed progress: 5419952
Forward closed progress: 5376561
Forward closed progress: 5342108
Forward closed progress: 7721834
Forward closed progress: 7727023
Forward closed progress: 8250941
Forward closed progress: 10378141
Forward closed progress: 11849615
Forward closed progress: 12152457
Forward closed progress: 12150676
Forward closed progress: 12035406
Forward closed progress: 12035496
Forward closed progress: 11853669
Forward closed progress: 11906906
Forward closed progress: 11898693
Forward closed progress: 11951414
Forward closed progress: 11951269
Forward closed progress: 11967768
Forward closed progress: 11967869
Forward closed progress: 12000069
Forward closed progress: 11983572
Forward closed progress: 12085820
Forward closed progress: 12037243
Forward closed progress: 11984451
Forward closed progress: 12981252
Forward closed progress: 13264887
Forward closed progress: 13172626
Forward closed progress: 13427693
Forward closed progress: 13522719
Forward closed progress: 13503157
Forward closed progress: 13498802
Forward closed progress: 13431909
Forward closed progress: 13425777
Forward closed progress: 13311865
Forward closed progress: 13221214
Forward closed progress: 13036517
Forward closed progress: 13020681
Forward closed progress: 13219404
Forward closed progress: 13264631
Forward closed progress: 13251063
Forward closed progress: 13251083
Forward closed progress: 13178087
Forward closed progress: 13125533
Forward closed progress: 13356380
Forward closed progress: 13342717
Forward closed progress: 13367901
Forward closed progress: 13441600
Forward closed progress: 13443215
Forward closed progress: 13410829
Forward closed progress: 13404277
Forward closed progress: 13449403
Forward closed progress: 13606103
Forward closed progress: 13606183
Forward closed progress: 13473358
Forward closed progress: 13839267
Forward closed progress: 13426806
Forward closed progress: 13426300
Forward closed progress: 13314049
Forward closed progress: 13280819
Forward closed progress: 13237398
Forward closed progress: 13237471
Forward closed progress: 13220344
Forward closed progress: 13088798
Forward closed progress: 13337975
Forward closed progress: 13331801
Forward closed progress: 13372708
Forward closed progress: 13372788
Forward closed progress: 13416354
Forward closed progress: 13419923
Forward closed progress: 13074920
Forward closed progress: 13092818
Forward closed progress: 13092578
Forward closed progress: 13211286
Forward closed progress: 13191500
Forward closed progress: 13191804
Forward closed progress: 13218789
Forward closed progress: 13197798
Forward closed progress: 13197900
Forward closed progress: 13197910
Forward closed progress: 13213220
Forward closed progress: 13215206
Forward closed progress: 13225403
Forward closed progress: 13225405
Forward closed progress: 13244162
Forward closed progress: 13272628
Forward closed progress: 13272586
Forward closed progress: 13257033
Forward closed progress: 13242501
Forward closed progress: 13247487
Forward closed progress: 13247079
Forward closed progress: 13247130
Forward closed progress: 13257222
Forward closed progress: 13257232
Forward closed progress: 13254996
Forward closed progress: 13247818
Forward closed progress: 13247358
Forward closed progress: 13244142
Forward closed progress: 13239722
Forward closed progress: 13267447
Forward closed progress: 13183947
Forward closed progress: 13601091
Forward closed progress: 13596283
Forward closed progress: 13497759
Forward closed progress: 13497053
Forward closed progress: 13497314
Forward closed progress: 13407219
Forward closed progress: 13407229
Forward closed progress: 13399205
Forward closed progress: 13404443
Forward closed progress: 13404719
Forward closed progress: 13404619
Forward closed progress: 13401541
Forward closed progress: 13396391
Forward closed progress: 13396056
Forward closed progress: 13449345
Forward closed progress: 13462976
Forward closed progress: 13438026
Forward closed progress: 13441200
Forward closed progress: 13439928
Forward closed progress: 13440088
Forward closed progress: 13440104
Forward closed progress: 13434464
Forward closed progress: 13431094
Forward closed progress: 13431032
Forward closed progress: 13430208
Forward closed progress: 13419245
Forward closed progress: 13422659
Forward closed progress: 13426230
Forward closed progress: 13426842
Forward closed progress: 13426874
Forward closed progress: 13420269
Forward closed progress: 13419595
Forward closed progress: 13417622
Forward closed progress: 13415151
Forward closed progress: 13070112
Forward closed progress: 13077691
Forward closed progress: 13077451
Forward closed progress: 13056626
Forward closed progress: 13051954
Forward closed progress: 13061396
Forward closed progress: 13061406
Forward closed progress: 13051214
Forward closed progress: 13032830
Forward closed progress: 13031719
Forward closed progress: 12553583
Forward closed progress: 12644961
Forward closed progress: 12479264
Forward closed progress: 12431171
Forward closed progress: 12054601
Forward closed progress: 11565526
Forward closed progress: 11662598
Forward closed progress: 10852252
Forward closed progress: 10846743
Forward closed progress: 10844830
Forward closed progress: 10844568
Forward closed progress: 10845243
Forward closed progress: 10017774
Forward closed progress: 10014777
Forward closed progress: 10005780
Forward closed progress: 9839246
Forward closed progress: 9824630
Forward closed progress: 9827501
Forward closed progress: 9787338
Forward closed progress: 9796814
Forward closed progress: 9827503
Forward closed progress: 9827735
Forward closed progress: 9827759
Forward closed progress: 9823736
Forward closed progress: 9823773
Forward closed progress: 9828947
Forward closed progress: 9834588
Forward closed progress: 9845862
Forward closed progress: 9847452
Forward closed progress: 9847558
Forward closed progress: 9841308
Forward closed progress: 9838716
Forward closed progress: 9833650
Forward closed progress: 9828403
Forward closed progress: 9859105
Forward closed progress: 9852496
Forward closed progress: 9856157
Forward closed progress: 9839795
Forward closed progress: 9769048
Forward closed progress: 9769868
Forward closed progress: 9769636
Forward closed progress: 9770098
Forward closed progress: 9770238
Forward closed progress: 9770254
Forward closed progress: 9769080
Forward closed progress: 9768974
Forward closed progress: 9768964
Forward closed progress: 9769270
Forward closed progress: 9770930
Forward closed progress: 9771374
Forward closed progress: 9771406
Forward closed progress: 9769688
Forward closed progress: 9769266
Forward closed progress: 9769266
Forward closed progress: 9768014
Forward closed progress: 9744184
Forward closed progress: 9705329
Forward closed progress: 9688760
Forward closed progress: 9686893
Forward closed progress: 9687261
Forward closed progress: 9686042
Forward closed progress: 9684534
Forward closed progress: 9658837
Forward closed progress: 9557894
Forward closed progress: 9562989
Forward closed progress: 9562567
Forward closed progress: 9566319
Forward closed progress: 9566453
Forward closed progress: 9566465
Forward closed progress: 9564461
Forward closed progress: 9564215
Forward closed progress: 9564762
Forward closed progress: 9566261
Forward closed progress: 9571420
Forward closed progress: 9572092
Forward closed progress: 9572128
Forward closed progress: 9569246
Forward closed progress: 9568442
Forward closed progress: 9566895
Forward closed progress: 9564470
Forward closed progress: 9560205
Forward closed progress: 9559445
Forward closed progress: 9559483
Forward closed progress: 9558465
Forward closed progress: 9558653
Forward closed progress: 9558066
Forward closed progress: 9557337
Forward closed progress: 9553974
Forward closed progress: 9553021
Forward closed progress: 9559145
Forward closed progress: 9557614
Forward closed progress: 9580685
Forward closed progress: 9578749
Forward closed progress: 9563114
Forward closed progress: 9561822
Forward closed progress: 9545507
Forward closed progress: 9544495
Forward closed progress: 9549646
Forward closed progress: 9553492
Forward closed progress: 9578046
Forward closed progress: 9569518
Forward closed progress: 9572420
Forward closed progress: 9572420
Forward closed progress: 9559290
Forward closed progress: 9559290
Control exists for 1680 color(s), jumping through 129142358016 vertices.
Elapsed: 76831081 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 76831.081
user ??
sys ??
