>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 3
Perturbation colors: 9007199254740992
All colors: 27021597764222976
Unknown update functions: 1
Lowest cardinality: 1
Highest cardinality: 1
Attractor colors: 18014398509481984
Attractor colors computed in 339 ms.
Backward progress: 102605
Backward progress: 102874
Backward progress: 105611
Backward progress: 105274
Backward progress: 104890
Backward progress: 105542
Backward progress: 114432
Backward progress: 114029
Backward progress: 116915
Backward progress: 116937
Backward progress: 115249
Backward progress: 115221
Backward progress: 114085
Backward progress: 114057
Backward progress: 122886
Backward progress: 122702
Backward progress: 125233
Backward progress: 133315
Backward progress: 136761
Backward progress: 136772
Backward progress: 136784
Backward progress: 136873
Backward progress: 136239
Backward progress: 136274
Backward progress: 140358
Backward progress: 140364
Backward progress: 140414
Backward progress: 138191
Backward progress: 138203
Backward progress: 138419
Backward progress: 136989
Backward progress: 136059
Backward progress: 135369
Backward progress: 154991
Backward progress: 156638
Backward progress: 156455
Backward progress: 163966
Backward progress: 164200
Backward progress: 164104
Backward progress: 164596
Backward progress: 164724
Backward progress: 165054
Backward progress: 171651
Backward progress: 171614
Backward progress: 171757
Backward progress: 168771
Backward progress: 168479
Backward progress: 168726
Backward progress: 168794
Backward progress: 169131
Backward progress: 159790
Backward progress: 159170
Backward progress: 159378
Backward progress: 159208
Backward progress: 159992
Backward progress: 156982
Backward progress: 162033
Backward progress: 157985
Backward progress: 160383
Backward progress: 160409
Backward progress: 158966
Backward progress: 158931
Backward progress: 157990
Backward progress: 157210
Backward progress: 152840
Backward progress: 143290
Backward progress: 143007
Backward progress: 142924
Backward progress: 142492
Backward progress: 140840
Backward progress: 140550
Backward progress: 139602
Backward progress: 140766
Backward progress: 139961
Backward progress: 139190
Backward progress: 138304
Backward progress: 135948
Backward progress: 135949
Backward progress: 135439
Backward progress: 159562
Backward progress: 163387
Backward progress: 149488
Backward progress: 158797
Backward progress: 158819
Backward progress: 153106
Backward progress: 152993
Backward progress: 149118
Backward progress: 144040
Backward progress: 144935
Backward progress: 143147
Backward progress: 141406
Backward progress: 128321
Backward progress: 167620
Backward progress: 185310
Backward progress: 187151
Backward progress: 188515
Backward progress: 197393
Backward progress: 197506
Backward progress: 197521
Backward progress: 197601
Backward progress: 196269
Backward progress: 196955
Backward progress: 196284
Backward progress: 196444
Backward progress: 196785
Backward progress: 204283
Backward progress: 204301
Backward progress: 204705
Backward progress: 200666
Backward progress: 200572
Backward progress: 201343
Backward progress: 201247
Backward progress: 201517
Backward progress: 199753
Backward progress: 199538
Backward progress: 199761
Backward progress: 200444
Backward progress: 197452
Backward progress: 202243
Backward progress: 195159
Backward progress: 195143
Backward progress: 194833
Backward progress: 194309
Backward progress: 194157
Backward progress: 201699
Backward progress: 200960
Backward progress: 203456
Backward progress: 203482
Backward progress: 202004
Backward progress: 201969
Backward progress: 200984
Backward progress: 200984
Backward progress: 199405
Backward progress: 198770
Backward progress: 196873
Backward progress: 199293
Backward progress: 198104
Backward progress: 198253
Backward progress: 193504
Backward progress: 193474
Backward progress: 193291
Backward progress: 192647
Backward progress: 189207
Backward progress: 188065
Backward progress: 188283
Backward progress: 187615
Backward progress: 187915
Backward progress: 185697
Backward progress: 189589
Backward progress: 187366
Backward progress: 185712
Backward progress: 184227
Backward progress: 179792
Backward progress: 179564
Backward progress: 179410
Backward progress: 178194
Backward progress: 182056
Backward progress: 169370
Backward progress: 169814
Backward progress: 169921
Backward progress: 170101
Backward progress: 170109
Backward progress: 170081
Backward progress: 169981
Backward progress: 170930
Backward progress: 170886
Backward progress: 169217
Backward progress: 169227
Backward progress: 168899
Backward progress: 168935
Backward progress: 168759
Backward progress: 168828
Backward progress: 168589
Backward progress: 167763
Backward progress: 146548
Backward progress: 146548
Backward progress: 110422
Backward progress: 113585
Backward progress: 111491
Backward progress: 158575
Backward progress: 158803
Backward progress: 158545
Backward progress: 160363
Backward progress: 160769
Backward progress: 161319
Backward progress: 180441
Backward progress: 182038
Backward progress: 184249
Backward progress: 175878
Backward progress: 175702
Backward progress: 176900
Backward progress: 177843
Backward progress: 178294
Backward progress: 174075
Backward progress: 174765
Backward progress: 177390
Backward progress: 176727
Backward progress: 175004
Backward progress: 177718
Backward progress: 173726
Backward progress: 197848
Backward progress: 195561
Backward progress: 202481
Backward progress: 202501
Backward progress: 198176
Backward progress: 198162
Backward progress: 195602
Backward progress: 195503
Backward progress: 190670
Backward progress: 188797
Backward progress: 187838
Backward progress: 226468
Backward progress: 231120
Backward progress: 200677
Backward progress: 216801
Backward progress: 216821
Backward progress: 206558
Backward progress: 206436
Backward progress: 200215
Backward progress: 189966
Backward progress: 188847
Backward progress: 187395
Backward progress: 183173
Backward progress: 160600
Backward progress: 159320
Backward progress: 153841
Backward progress: 150123
Backward progress: 149593
Backward progress: 152037
Backward progress: 148989
Backward progress: 149897
Backward progress: 149971
Backward progress: 150567
Backward progress: 150567
Backward progress: 150639
Backward progress: 151589
Backward progress: 151593
Backward progress: 151313
Backward progress: 150897
Backward progress: 151357
Backward progress: 151403
Backward progress: 151653
Backward progress: 151657
Backward progress: 151643
Backward progress: 151451
Backward progress: 151669
Backward progress: 151845
Backward progress: 151313
Backward progress: 151313
Backward progress: 106345
Backward progress: 108832
Backward progress: 109466
Backward progress: 110654
Backward progress: 110875
Backward progress: 114104
Backward progress: 114132
Backward progress: 111116
Backward progress: 110298
Backward progress: 110341
Backward progress: 110762
Backward progress: 110774
Backward progress: 108003
Backward progress: 108003
Forward closed progress: 108004
Forward closed progress: 108007
Forward closed progress: 203788
Forward closed progress: 108016
Forward closed progress: 108026
Forward closed progress: 107922
Forward closed progress: 108026
Forward closed progress: 125540
Forward closed progress: 125526
Forward closed progress: 125526
Forward closed progress: 125526
Forward closed progress: 137450
Forward closed progress: 137450
Forward closed progress: 137450
Forward closed progress: 107313
Forward closed progress: 112283
Forward closed progress: 131857
Forward closed progress: 131933
Forward closed progress: 131953
Forward closed progress: 121729
Forward closed progress: 100677
Forward closed progress: 128141
Forward closed progress: 123675
Forward closed progress: 126607
Forward closed progress: 143704
Forward closed progress: 203622
Forward closed progress: 203751
Forward closed progress: 203787
Forward closed progress: 169078
Forward closed progress: 135383
Forward closed progress: 119911
Forward closed progress: 110373
Forward closed progress: 110395
Forward closed progress: 114849
Forward closed progress: 131847
Forward closed progress: 131923
Forward closed progress: 131943
Forward closed progress: 122679
Forward closed progress: 101837
Forward closed progress: 160096
Forward closed progress: 162256
Forward closed progress: 150998
Forward closed progress: 142677
Forward closed progress: 105664
Forward closed progress: 135656
Forward closed progress: 166125
Forward closed progress: 209888
Forward closed progress: 210085
Forward closed progress: 210143
Forward closed progress: 185495
Forward closed progress: 154621
Forward closed progress: 153635
Forward closed progress: 155201
Forward closed progress: 142735
Forward closed progress: 130187
Forward closed progress: 109646
Forward closed progress: 160428
Forward closed progress: 160480
Forward closed progress: 110446
Forward closed progress: 203769
Forward closed progress: 341060
Forward closed progress: 425412
Forward closed progress: 499141
Forward closed progress: 499459
Forward closed progress: 499537
Forward closed progress: 444326
Forward closed progress: 447973
Forward closed progress: 448189
Forward closed progress: 380607
Forward closed progress: 429634
Forward closed progress: 352666
Forward closed progress: 305155
Forward closed progress: 296679
Forward closed progress: 300437
Forward closed progress: 300467
Forward closed progress: 300479
Forward closed progress: 285507
Forward closed progress: 309420
Forward closed progress: 314868
Forward closed progress: 355342
Forward closed progress: 348292
Forward closed progress: 298798
Forward closed progress: 299069
Forward closed progress: 299121
Forward closed progress: 228503
Forward closed progress: 314278
Forward closed progress: 347840
Forward closed progress: 348525
Forward closed progress: 356331
Forward closed progress: 356487
Forward closed progress: 353023
Forward closed progress: 330849
Forward closed progress: 331277
Forward closed progress: 292561
Forward closed progress: 339741
Forward closed progress: 346061
Forward closed progress: 341313
Forward closed progress: 356371
Forward closed progress: 356487
Forward closed progress: 345308
Forward closed progress: 335028
Forward closed progress: 255349
Forward closed progress: 358865
Forward closed progress: 435249
Forward closed progress: 428152
Forward closed progress: 428930
Forward closed progress: 436003
Forward closed progress: 510920
Forward closed progress: 514305
Forward closed progress: 597327
Forward closed progress: 590682
Forward closed progress: 590720
Forward closed progress: 553025
Forward closed progress: 551921
Forward closed progress: 558293
Forward closed progress: 558292
Forward closed progress: 557980
Forward closed progress: 557548
Forward closed progress: 583155
Forward closed progress: 583912
Forward closed progress: 583898
Forward closed progress: 584017
Forward closed progress: 584069
Forward closed progress: 570931
Forward closed progress: 569119
Forward closed progress: 573361
Forward closed progress: 573369
Forward closed progress: 562507
Forward closed progress: 561825
Forward closed progress: 560541
Forward closed progress: 556533
Forward closed progress: 622224
Forward closed progress: 622252
Forward closed progress: 561377
Forward closed progress: 562668
Forward closed progress: 600005
Forward closed progress: 592686
Forward closed progress: 592722
Forward closed progress: 498214
Forward closed progress: 485902
Forward closed progress: 457879
Forward closed progress: 448116
Forward closed progress: 444060
Forward closed progress: 388497
Forward closed progress: 379116
Forward closed progress: 379609
Forward closed progress: 386539
Forward closed progress: 386575
Forward closed progress: 391246
Forward closed progress: 385999
Forward closed progress: 353473
Forward closed progress: 287808
Forward closed progress: 452364
Forward closed progress: 471729
Forward closed progress: 485169
Forward closed progress: 485458
Forward closed progress: 494956
Forward closed progress: 468548
Forward closed progress: 404712
Forward closed progress: 385674
Forward closed progress: 385176
Forward closed progress: 379198
Forward closed progress: 391064
Forward closed progress: 391984
Forward closed progress: 395220
Forward closed progress: 415110
Forward closed progress: 429380
Forward closed progress: 427977
Forward closed progress: 427997
Forward closed progress: 414483
Forward closed progress: 430335
Forward closed progress: 431028
Forward closed progress: 431170
Forward closed progress: 433568
Forward closed progress: 457812
Forward closed progress: 461385
Forward closed progress: 461394
Forward closed progress: 461161
Forward closed progress: 461177
Forward closed progress: 447142
Forward closed progress: 439647
Forward closed progress: 439413
Forward closed progress: 439897
Forward closed progress: 463816
Forward closed progress: 458568
Forward closed progress: 460751
Forward closed progress: 461835
Forward closed progress: 458377
Forward closed progress: 463780
Forward closed progress: 482341
Forward closed progress: 478948
Forward closed progress: 478960
Forward closed progress: 462173
Forward closed progress: 460738
Forward closed progress: 461863
Forward closed progress: 459138
Forward closed progress: 509176
Forward closed progress: 510080
Forward closed progress: 502590
Forward closed progress: 503982
Forward closed progress: 472399
Forward closed progress: 487089
Forward closed progress: 487567
Forward closed progress: 452045
Forward closed progress: 485836
Forward closed progress: 485980
Forward closed progress: 502056
Forward closed progress: 509383
Forward closed progress: 506649
Forward closed progress: 490089
Forward closed progress: 503701
Forward closed progress: 631875
Forward closed progress: 709136
Forward closed progress: 807351
Forward closed progress: 820819
Forward closed progress: 825740
Forward closed progress: 825989
Forward closed progress: 826061
Forward closed progress: 821989
Forward closed progress: 814204
Forward closed progress: 840932
Forward closed progress: 820036
Forward closed progress: 779828
Forward closed progress: 798889
Forward closed progress: 806347
Forward closed progress: 818633
Forward closed progress: 818687
Forward closed progress: 876795
Forward closed progress: 893632
Forward closed progress: 893560
Forward closed progress: 926124
Forward closed progress: 939046
Forward closed progress: 941242
Forward closed progress: 940768
Forward closed progress: 943438
Forward closed progress: 957795
Forward closed progress: 942484
Forward closed progress: 1001933
Forward closed progress: 1002196
Forward closed progress: 1015671
Forward closed progress: 1015731
Forward closed progress: 1005841
Forward closed progress: 1005733
Forward closed progress: 1002484
Forward closed progress: 1002484
Forward closed progress: 980743
Forward closed progress: 981404
Forward closed progress: 1017809
Forward closed progress: 1019206
Forward closed progress: 747592
Forward closed progress: 761205
Forward closed progress: 757427
Forward closed progress: 702362
Forward closed progress: 670803
Forward closed progress: 659831
Forward closed progress: 544143
Forward closed progress: 550119
Forward closed progress: 512985
Forward closed progress: 621098
Forward closed progress: 722773
Forward closed progress: 718554
Forward closed progress: 795047
Forward closed progress: 784555
Forward closed progress: 784581
Forward closed progress: 755101
Forward closed progress: 760269
Forward closed progress: 825950
Forward closed progress: 828826
Forward closed progress: 830714
Forward closed progress: 838662
Forward closed progress: 844758
Forward closed progress: 875421
Forward closed progress: 874869
Forward closed progress: 874947
Forward closed progress: 917337
Forward closed progress: 917349
Forward closed progress: 877362
Forward closed progress: 953978
Forward closed progress: 1064631
Forward closed progress: 1051292
Forward closed progress: 1051384
Forward closed progress: 970794
Forward closed progress: 946309
Forward closed progress: 879143
Forward closed progress: 862381
Forward closed progress: 866810
Forward closed progress: 867072
Forward closed progress: 839975
Forward closed progress: 875039
Forward closed progress: 873551
Forward closed progress: 882343
Forward closed progress: 882379
Forward closed progress: 885635
Forward closed progress: 885371
Forward closed progress: 820039
Forward closed progress: 821691
Forward closed progress: 819665
Forward closed progress: 819688
Forward closed progress: 819251
Forward closed progress: 819602
Forward closed progress: 819630
Forward closed progress: 819650
Forward closed progress: 819253
Forward closed progress: 820054
Forward closed progress: 820054
Forward closed progress: 817647
Forward closed progress: 884068
Forward closed progress: 872047
Forward closed progress: 871327
Forward closed progress: 866351
Forward closed progress: 895931
Forward closed progress: 912091
Forward closed progress: 901408
Forward closed progress: 901407
Forward closed progress: 907443
Forward closed progress: 905422
Forward closed progress: 903521
Forward closed progress: 902152
Forward closed progress: 901662
Forward closed progress: 847064
Forward closed progress: 776367
Forward closed progress: 756308
Forward closed progress: 684004
Forward closed progress: 637898
Forward closed progress: 623374
Forward closed progress: 623431
Forward closed progress: 615734
Forward closed progress: 610011
Forward closed progress: 594604
Forward closed progress: 593345
Forward closed progress: 594812
Forward closed progress: 593282
Forward closed progress: 593933
Forward closed progress: 595439
Forward closed progress: 595591
Forward closed progress: 590476
Forward closed progress: 591542
Forward closed progress: 591374
Forward closed progress: 589854
Forward closed progress: 586418
Forward closed progress: 586406
Forward closed progress: 582832
Forward closed progress: 508479
Forward closed progress: 678431
Forward closed progress: 682811
Forward closed progress: 793454
Forward closed progress: 932012
Forward closed progress: 1057496
Forward closed progress: 1055043
Forward closed progress: 1055111
Forward closed progress: 1040180
Forward closed progress: 1056263
Forward closed progress: 1152336
Forward closed progress: 1158644
Forward closed progress: 1159704
Forward closed progress: 1182339
Forward closed progress: 1193918
Forward closed progress: 1261337
Forward closed progress: 1317099
Forward closed progress: 1317127
Forward closed progress: 1265663
Forward closed progress: 1370474
Forward closed progress: 1505682
Forward closed progress: 1507822
Forward closed progress: 1508114
Forward closed progress: 1462773
Forward closed progress: 1454927
Forward closed progress: 1467612
Forward closed progress: 1441205
Forward closed progress: 1460136
Forward closed progress: 1463142
Forward closed progress: 1426542
Forward closed progress: 1353864
Forward closed progress: 1351790
Forward closed progress: 1388495
Forward closed progress: 1385733
Forward closed progress: 1400219
Forward closed progress: 1400267
Forward closed progress: 1406723
Forward closed progress: 1407281
Forward closed progress: 1313292
Forward closed progress: 1393717
Forward closed progress: 1335142
Forward closed progress: 1209906
Forward closed progress: 1212274
Forward closed progress: 1254035
Forward closed progress: 1285300
Forward closed progress: 1284847
Forward closed progress: 1284865
Forward closed progress: 1278302
Forward closed progress: 1284110
Forward closed progress: 1314643
Forward closed progress: 1315685
Forward closed progress: 1324943
Forward closed progress: 1342691
Forward closed progress: 1367433
Forward closed progress: 1367449
Forward closed progress: 1345545
Forward closed progress: 1374373
Forward closed progress: 1387712
Forward closed progress: 1387945
Forward closed progress: 1387989
Forward closed progress: 1360425
Forward closed progress: 1357954
Forward closed progress: 1353632
Forward closed progress: 1342948
Forward closed progress: 1327917
Forward closed progress: 1352501
Forward closed progress: 1352981
Forward closed progress: 1358332
Forward closed progress: 1358366
Forward closed progress: 1370762
Forward closed progress: 1357670
Forward closed progress: 1314414
Forward closed progress: 1301645
Forward closed progress: 1377373
Forward closed progress: 1350456
Forward closed progress: 1349452
Forward closed progress: 1337676
Forward closed progress: 1358313
Forward closed progress: 1329066
Forward closed progress: 1235987
Forward closed progress: 1105526
Forward closed progress: 1068830
Forward closed progress: 1085874
Forward closed progress: 1075396
Forward closed progress: 1077454
Forward closed progress: 1074189
Forward closed progress: 1074399
Forward closed progress: 1074459
Forward closed progress: 1069979
Forward closed progress: 1055231
Forward closed progress: 1057149
Forward closed progress: 1050020
Forward closed progress: 1040079
Forward closed progress: 1025237
Forward closed progress: 1026990
Forward closed progress: 1027784
Forward closed progress: 1031015
Forward closed progress: 1030720
Forward closed progress: 1039370
Forward closed progress: 1041912
Forward closed progress: 1041792
Forward closed progress: 1042119
Forward closed progress: 1042083
Forward closed progress: 1042893
Forward closed progress: 1042673
Forward closed progress: 1043431
Forward closed progress: 1044213
Forward closed progress: 1047708
Forward closed progress: 1044114
Forward closed progress: 1047595
Forward closed progress: 1040479
Forward closed progress: 1052353
Forward closed progress: 1048281
Forward closed progress: 1051562
Forward closed progress: 1051622
Forward closed progress: 1049319
Forward closed progress: 1049247
Forward closed progress: 1048262
Forward closed progress: 1048223
Forward closed progress: 1046168
Forward closed progress: 1044820
Forward closed progress: 1040591
Forward closed progress: 998839
Forward closed progress: 992811
Forward closed progress: 855887
Forward closed progress: 827018
Forward closed progress: 760726
Forward closed progress: 854873
Forward closed progress: 846160
Forward closed progress: 928227
Forward closed progress: 922741
Forward closed progress: 922783
Forward closed progress: 897953
Forward closed progress: 910047
Forward closed progress: 972407
Forward closed progress: 975852
Forward closed progress: 980836
Forward closed progress: 989453
Forward closed progress: 995221
Forward closed progress: 1033081
Forward closed progress: 1074382
Forward closed progress: 1074410
Forward closed progress: 1036294
Forward closed progress: 1123140
Forward closed progress: 1245795
Forward closed progress: 1239205
Forward closed progress: 1239349
Forward closed progress: 1175434
Forward closed progress: 1157176
Forward closed progress: 1122220
Forward closed progress: 1106518
Forward closed progress: 1104808
Forward closed progress: 1105328
Forward closed progress: 1078990
Forward closed progress: 1135638
Forward closed progress: 1136093
Forward closed progress: 1145110
Forward closed progress: 1145146
Forward closed progress: 1149948
Forward closed progress: 1150146
Forward closed progress: 1091877
Forward closed progress: 1096445
Forward closed progress: 1091503
Forward closed progress: 1087623
Forward closed progress: 1146396
Forward closed progress: 1146356
Forward closed progress: 1145636
Forward closed progress: 1140948
Forward closed progress: 1171850
Forward closed progress: 1143872
Forward closed progress: 1095603
Forward closed progress: 1008696
Forward closed progress: 974200
Forward closed progress: 973338
Forward closed progress: 939062
Forward closed progress: 933038
Forward closed progress: 931251
Forward closed progress: 927367
Forward closed progress: 917917
Forward closed progress: 915552
Forward closed progress: 916631
Forward closed progress: 915489
Forward closed progress: 841641
Forward closed progress: 805751
Forward closed progress: 813453
Forward closed progress: 825803
Forward closed progress: 818066
Forward closed progress: 838930
Forward closed progress: 835620
Forward closed progress: 831450
Forward closed progress: 833481
Forward closed progress: 828204
Forward closed progress: 810360
Forward closed progress: 1222131
Forward closed progress: 1223215
Forward closed progress: 1282120
Forward closed progress: 1644614
Forward closed progress: 1926961
Forward closed progress: 1998544
Forward closed progress: 1998349
Forward closed progress: 1972511
Forward closed progress: 1972559
Forward closed progress: 1929058
Forward closed progress: 1934837
Forward closed progress: 1930728
Forward closed progress: 1937943
Forward closed progress: 1930000
Forward closed progress: 1930769
Forward closed progress: 1926822
Forward closed progress: 1948033
Forward closed progress: 1938963
Forward closed progress: 1943391
Forward closed progress: 2136254
Forward closed progress: 2120153
Forward closed progress: 2094635
Forward closed progress: 2138751
Forward closed progress: 2146976
Forward closed progress: 2137482
Forward closed progress: 2137502
Forward closed progress: 2119367
Forward closed progress: 2102116
Forward closed progress: 2071165
Forward closed progress: 2068624
Forward closed progress: 2098764
Forward closed progress: 2107995
Forward closed progress: 2105611
Forward closed progress: 2105631
Forward closed progress: 2090756
Forward closed progress: 2081716
Forward closed progress: 2171618
Forward closed progress: 2176442
Forward closed progress: 2194166
Forward closed progress: 2212912
Forward closed progress: 2212944
Forward closed progress: 2268900
Forward closed progress: 2284061
Forward closed progress: 2366485
Forward closed progress: 2366545
Forward closed progress: 2289766
Forward closed progress: 2351184
Forward closed progress: 2271746
Forward closed progress: 2269720
Forward closed progress: 2265475
Forward closed progress: 2212911
Forward closed progress: 2269682
Forward closed progress: 2268033
Forward closed progress: 2283795
Forward closed progress: 2283847
Forward closed progress: 2306406
Forward closed progress: 2303536
Forward closed progress: 2176311
Forward closed progress: 2186441
Forward closed progress: 2186321
Forward closed progress: 2208094
Forward closed progress: 2203608
Forward closed progress: 2205546
Forward closed progress: 2211029
Forward closed progress: 2207860
Forward closed progress: 2207898
Forward closed progress: 2207908
Forward closed progress: 2213048
Forward closed progress: 2214103
Forward closed progress: 2220993
Forward closed progress: 2220996
Forward closed progress: 2244382
Forward closed progress: 2260778
Forward closed progress: 2260768
Forward closed progress: 2251537
Forward closed progress: 2246190
Forward closed progress: 2254012
Forward closed progress: 2254264
Forward closed progress: 2257674
Forward closed progress: 2257680
Forward closed progress: 2254354
Forward closed progress: 2254354
Forward closed progress: 2252994
Forward closed progress: 2251916
Forward closed progress: 2366299
Forward closed progress: 2366435
Forward closed progress: 2332323
Forward closed progress: 2331535
Forward closed progress: 2331491
Forward closed progress: 2291367
Forward closed progress: 2315438
Forward closed progress: 2312746
Forward closed progress: 2306906
Forward closed progress: 2306528
Forward closed progress: 2306074
Forward closed progress: 2305960
Forward closed progress: 2305762
Forward closed progress: 2302601
Forward closed progress: 2225793
Forward closed progress: 2235602
Forward closed progress: 2235562
Forward closed progress: 2222209
Forward closed progress: 2226991
Forward closed progress: 2226997
Forward closed progress: 2221993
Forward closed progress: 2219909
Forward closed progress: 2085591
Forward closed progress: 2119129
Forward closed progress: 2102191
Forward closed progress: 2076993
Forward closed progress: 2003108
Forward closed progress: 1860891
Forward closed progress: 1894722
Forward closed progress: 1720137
Forward closed progress: 1718202
Forward closed progress: 1717447
Forward closed progress: 1717378
Forward closed progress: 1717628
Forward closed progress: 1531809
Forward closed progress: 1530762
Forward closed progress: 1525480
Forward closed progress: 1486749
Forward closed progress: 1479187
Forward closed progress: 1479812
Forward closed progress: 1462651
Forward closed progress: 1460567
Forward closed progress: 1473875
Forward closed progress: 1473176
Forward closed progress: 1473125
Forward closed progress: 1470607
Forward closed progress: 1466009
Forward closed progress: 1460744
Forward closed progress: 1458214
Forward closed progress: 1412792
Forward closed progress: 1411255
Forward closed progress: 1410184
Forward closed progress: 1409849
Forward closed progress: 1412453
Forward closed progress: 1412137
Forward closed progress: 1411345
Forward closed progress: 1411273
Forward closed progress: 1409909
Forward closed progress: 1409424
Forward closed progress: 1412914
Forward closed progress: 1414071
Forward closed progress: 1419908
Forward closed progress: 1421236
Forward closed progress: 1421236
Forward closed progress: 1418339
Forward closed progress: 1418339
Control exists for 2 color(s), jumping through 60616605696 vertices.
Elapsed: 5551473 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5551.473
user ??
sys ??
