>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 18
Perturbation colors: 9007199254740992
All colors: 162129586585337860
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 2
Attractor colors: 54043195528445950
Attractor colors computed in 1309 ms.
Backward progress: 108822
Backward progress: 109070
Backward progress: 112797
Backward progress: 111943
Backward progress: 111515
Backward progress: 112257
Backward progress: 123523
Backward progress: 122989
Backward progress: 126583
Backward progress: 126605
Backward progress: 124561
Backward progress: 124533
Backward progress: 123045
Backward progress: 123015
Backward progress: 127501
Backward progress: 127578
Backward progress: 131979
Backward progress: 142713
Backward progress: 146897
Backward progress: 146906
Backward progress: 146918
Backward progress: 146995
Backward progress: 146389
Backward progress: 146419
Backward progress: 150745
Backward progress: 150750
Backward progress: 150728
Backward progress: 148131
Backward progress: 148141
Backward progress: 148292
Backward progress: 146871
Backward progress: 144730
Backward progress: 143625
Backward progress: 164240
Backward progress: 165417
Backward progress: 165288
Backward progress: 170241
Backward progress: 170412
Backward progress: 170300
Backward progress: 170928
Backward progress: 171021
Backward progress: 171206
Backward progress: 177288
Backward progress: 177223
Backward progress: 177285
Backward progress: 174180
Backward progress: 173897
Backward progress: 173749
Backward progress: 173783
Backward progress: 173974
Backward progress: 161721
Backward progress: 161205
Backward progress: 160798
Backward progress: 160632
Backward progress: 160159
Backward progress: 160697
Backward progress: 158207
Backward progress: 162196
Backward progress: 156545
Backward progress: 158584
Backward progress: 158600
Backward progress: 157521
Backward progress: 157493
Backward progress: 156550
Backward progress: 155527
Backward progress: 153082
Backward progress: 148787
Backward progress: 148674
Backward progress: 148633
Backward progress: 148373
Backward progress: 147322
Backward progress: 147180
Backward progress: 146609
Backward progress: 147335
Backward progress: 146812
Backward progress: 146350
Backward progress: 145712
Backward progress: 144063
Backward progress: 144064
Backward progress: 143695
Backward progress: 173661
Backward progress: 179571
Backward progress: 161704
Backward progress: 173531
Backward progress: 173553
Backward progress: 166536
Backward progress: 166412
Backward progress: 161334
Backward progress: 155069
Backward progress: 155538
Backward progress: 152522
Backward progress: 150298
Backward progress: 136867
Backward progress: 170117
Backward progress: 209933
Backward progress: 211588
Backward progress: 214442
Backward progress: 222446
Backward progress: 222549
Backward progress: 222550
Backward progress: 223244
Backward progress: 220422
Backward progress: 221419
Backward progress: 220437
Backward progress: 220582
Backward progress: 220827
Backward progress: 230371
Backward progress: 231820
Backward progress: 232455
Backward progress: 229334
Backward progress: 229274
Backward progress: 229836
Backward progress: 230184
Backward progress: 230426
Backward progress: 229135
Backward progress: 229106
Backward progress: 229253
Backward progress: 230289
Backward progress: 228070
Backward progress: 238216
Backward progress: 226119
Backward progress: 226103
Backward progress: 225398
Backward progress: 224451
Backward progress: 224263
Backward progress: 234477
Backward progress: 233530
Backward progress: 236750
Backward progress: 236766
Backward progress: 235082
Backward progress: 235054
Backward progress: 233576
Backward progress: 233576
Backward progress: 241656
Backward progress: 240811
Backward progress: 237466
Backward progress: 240450
Backward progress: 238813
Backward progress: 238879
Backward progress: 254202
Backward progress: 254565
Backward progress: 254430
Backward progress: 253822
Backward progress: 250665
Backward progress: 249017
Backward progress: 249017
Backward progress: 247885
Backward progress: 248669
Backward progress: 247096
Backward progress: 251072
Backward progress: 249276
Backward progress: 248054
Backward progress: 246494
Backward progress: 243462
Backward progress: 243218
Backward progress: 243065
Backward progress: 241960
Backward progress: 246362
Backward progress: 230562
Backward progress: 231102
Backward progress: 231203
Backward progress: 231399
Backward progress: 231407
Backward progress: 231379
Backward progress: 231263
Backward progress: 245229
Backward progress: 248116
Backward progress: 233356
Backward progress: 241023
Backward progress: 241039
Backward progress: 236811
Backward progress: 236724
Backward progress: 236364
Backward progress: 232902
Backward progress: 227319
Backward progress: 226701
Backward progress: 224725
Backward progress: 224770
Backward progress: 224483
Backward progress: 222119
Backward progress: 187831
Backward progress: 187831
Backward progress: 100003
Backward progress: 102233
Backward progress: 135873
Backward progress: 136110
Backward progress: 135739
Backward progress: 137017
Backward progress: 137316
Backward progress: 137621
Backward progress: 151064
Backward progress: 152462
Backward progress: 153894
Backward progress: 148067
Backward progress: 147979
Backward progress: 148835
Backward progress: 150159
Backward progress: 150468
Backward progress: 146365
Backward progress: 146996
Backward progress: 148011
Backward progress: 148311
Backward progress: 146766
Backward progress: 148442
Backward progress: 145874
Backward progress: 163392
Backward progress: 161605
Backward progress: 166349
Backward progress: 166359
Backward progress: 163470
Backward progress: 163463
Backward progress: 161646
Backward progress: 161539
Backward progress: 156450
Backward progress: 155575
Backward progress: 154210
Backward progress: 180266
Backward progress: 184323
Backward progress: 162374
Backward progress: 173224
Backward progress: 173234
Backward progress: 166402
Backward progress: 166341
Backward progress: 161912
Backward progress: 154396
Backward progress: 152939
Backward progress: 151511
Backward progress: 148839
Backward progress: 133384
Backward progress: 130608
Backward progress: 126577
Backward progress: 123652
Backward progress: 123147
Backward progress: 124713
Backward progress: 121277
Backward progress: 121927
Backward progress: 121964
Backward progress: 122226
Backward progress: 122226
Backward progress: 122262
Backward progress: 122721
Backward progress: 122723
Backward progress: 122583
Backward progress: 122399
Backward progress: 122647
Backward progress: 122670
Backward progress: 122799
Backward progress: 122801
Backward progress: 122794
Backward progress: 122694
Backward progress: 122867
Backward progress: 122973
Backward progress: 122667
Backward progress: 122667
Backward progress: 100202
Backward progress: 102797
Backward progress: 102825
Backward progress: 100485
Backward progress: 100085
Backward progress: 100105
Backward progress: 100543
Backward progress: 100556
Forward closed progress: 182514
Forward closed progress: 114252
Forward closed progress: 114238
Forward closed progress: 114238
Forward closed progress: 114238
Forward closed progress: 125962
Forward closed progress: 125962
Forward closed progress: 125962
Forward closed progress: 118184
Forward closed progress: 131127
Forward closed progress: 173269
Forward closed progress: 173586
Forward closed progress: 173692
Forward closed progress: 148377
Forward closed progress: 101759
Forward closed progress: 141818
Forward closed progress: 137984
Forward closed progress: 140144
Forward closed progress: 154366
Forward closed progress: 211756
Forward closed progress: 211885
Forward closed progress: 211921
Forward closed progress: 183030
Forward closed progress: 101361
Forward closed progress: 145476
Forward closed progress: 125297
Forward closed progress: 119341
Forward closed progress: 119391
Forward closed progress: 126009
Forward closed progress: 155651
Forward closed progress: 155757
Forward closed progress: 155789
Forward closed progress: 142382
Forward closed progress: 102937
Forward closed progress: 171619
Forward closed progress: 173827
Forward closed progress: 160648
Forward closed progress: 152077
Forward closed progress: 106058
Forward closed progress: 146396
Forward closed progress: 189358
Forward closed progress: 247409
Forward closed progress: 247670
Forward closed progress: 247754
Forward closed progress: 218581
Forward closed progress: 167131
Forward closed progress: 166145
Forward closed progress: 167615
Forward closed progress: 149349
Forward closed progress: 133349
Forward closed progress: 107372
Forward closed progress: 154842
Forward closed progress: 154894
Forward closed progress: 108172
Forward closed progress: 197864
Forward closed progress: 338114
Forward closed progress: 424638
Forward closed progress: 510620
Forward closed progress: 510961
Forward closed progress: 511049
Forward closed progress: 467469
Forward closed progress: 471388
Forward closed progress: 471648
Forward closed progress: 396738
Forward closed progress: 449546
Forward closed progress: 361824
Forward closed progress: 341213
Forward closed progress: 328137
Forward closed progress: 333931
Forward closed progress: 333981
Forward closed progress: 334005
Forward closed progress: 303818
Forward closed progress: 324137
Forward closed progress: 330318
Forward closed progress: 367445
Forward closed progress: 359047
Forward closed progress: 304265
Forward closed progress: 304571
Forward closed progress: 304627
Forward closed progress: 234087
Forward closed progress: 323333
Forward closed progress: 353837
Forward closed progress: 354583
Forward closed progress: 360524
Forward closed progress: 360684
Forward closed progress: 359159
Forward closed progress: 336721
Forward closed progress: 337149
Forward closed progress: 297535
Forward closed progress: 341463
Forward closed progress: 346255
Forward closed progress: 342095
Forward closed progress: 355912
Forward closed progress: 356032
Forward closed progress: 344080
Forward closed progress: 335378
Forward closed progress: 258929
Forward closed progress: 334556
Forward closed progress: 452688
Forward closed progress: 449034
Forward closed progress: 450105
Forward closed progress: 454204
Forward closed progress: 528354
Forward closed progress: 532527
Forward closed progress: 612586
Forward closed progress: 606881
Forward closed progress: 606919
Forward closed progress: 572588
Forward closed progress: 571151
Forward closed progress: 573577
Forward closed progress: 573576
Forward closed progress: 573354
Forward closed progress: 571794
Forward closed progress: 608585
Forward closed progress: 609629
Forward closed progress: 609609
Forward closed progress: 609779
Forward closed progress: 609855
Forward closed progress: 586892
Forward closed progress: 585459
Forward closed progress: 582485
Forward closed progress: 582490
Forward closed progress: 550340
Forward closed progress: 549622
Forward closed progress: 548270
Forward closed progress: 541110
Forward closed progress: 601077
Forward closed progress: 601099
Forward closed progress: 545954
Forward closed progress: 547261
Forward closed progress: 588861
Forward closed progress: 582680
Forward closed progress: 582716
Forward closed progress: 480115
Forward closed progress: 468956
Forward closed progress: 439341
Forward closed progress: 429933
Forward closed progress: 426312
Forward closed progress: 376087
Forward closed progress: 372931
Forward closed progress: 373190
Forward closed progress: 379538
Forward closed progress: 379574
Forward closed progress: 383723
Forward closed progress: 378998
Forward closed progress: 349904
Forward closed progress: 284496
Forward closed progress: 467970
Forward closed progress: 486059
Forward closed progress: 497371
Forward closed progress: 496604
Forward closed progress: 504182
Forward closed progress: 479637
Forward closed progress: 419272
Forward closed progress: 394800
Forward closed progress: 394247
Forward closed progress: 395437
Forward closed progress: 410942
Forward closed progress: 412142
Forward closed progress: 414414
Forward closed progress: 433623
Forward closed progress: 447173
Forward closed progress: 445962
Forward closed progress: 445982
Forward closed progress: 430970
Forward closed progress: 448661
Forward closed progress: 449167
Forward closed progress: 449271
Forward closed progress: 451366
Forward closed progress: 489878
Forward closed progress: 492693
Forward closed progress: 492702
Forward closed progress: 492501
Forward closed progress: 492517
Forward closed progress: 469310
Forward closed progress: 458308
Forward closed progress: 458069
Forward closed progress: 458527
Forward closed progress: 485420
Forward closed progress: 481414
Forward closed progress: 483524
Forward closed progress: 484543
Forward closed progress: 478536
Forward closed progress: 483486
Forward closed progress: 505622
Forward closed progress: 502724
Forward closed progress: 502736
Forward closed progress: 478368
Forward closed progress: 478401
Forward closed progress: 478203
Forward closed progress: 477119
Forward closed progress: 535099
Forward closed progress: 535603
Forward closed progress: 526227
Forward closed progress: 527241
Forward closed progress: 491660
Forward closed progress: 506548
Forward closed progress: 506900
Forward closed progress: 467585
Forward closed progress: 512794
Forward closed progress: 513002
Forward closed progress: 534975
Forward closed progress: 549781
Forward closed progress: 546065
Forward closed progress: 524084
Forward closed progress: 536994
Forward closed progress: 675146
Forward closed progress: 784791
Forward closed progress: 886596
Forward closed progress: 901172
Forward closed progress: 905333
Forward closed progress: 905827
Forward closed progress: 905969
Forward closed progress: 893748
Forward closed progress: 888380
Forward closed progress: 878808
Forward closed progress: 899798
Forward closed progress: 882070
Forward closed progress: 844884
Forward closed progress: 867662
Forward closed progress: 875673
Forward closed progress: 880905
Forward closed progress: 881261
Forward closed progress: 882037
Forward closed progress: 928406
Forward closed progress: 927250
Forward closed progress: 945672
Forward closed progress: 945624
Forward closed progress: 941651
Forward closed progress: 970231
Forward closed progress: 986116
Forward closed progress: 989010
Forward closed progress: 988620
Forward closed progress: 972469
Forward closed progress: 973423
Forward closed progress: 970774
Forward closed progress: 970122
Forward closed progress: 981145
Forward closed progress: 968382
Forward closed progress: 1016023
Forward closed progress: 1016022
Forward closed progress: 1027009
Forward closed progress: 1027069
Forward closed progress: 1019047
Forward closed progress: 1018939
Forward closed progress: 1016310
Forward closed progress: 1016310
Forward closed progress: 1010546
Forward closed progress: 991832
Forward closed progress: 994828
Forward closed progress: 1033424
Forward closed progress: 1034789
Forward closed progress: 795390
Forward closed progress: 807975
Forward closed progress: 804333
Forward closed progress: 748898
Forward closed progress: 722505
Forward closed progress: 712859
Forward closed progress: 620916
Forward closed progress: 615457
Forward closed progress: 611110
Forward closed progress: 610900
Forward closed progress: 602874
Forward closed progress: 583899
Forward closed progress: 589764
Forward closed progress: 553749
Forward closed progress: 640433
Forward closed progress: 723375
Forward closed progress: 719658
Forward closed progress: 779596
Forward closed progress: 772648
Forward closed progress: 772674
Forward closed progress: 747326
Forward closed progress: 750489
Forward closed progress: 811243
Forward closed progress: 814005
Forward closed progress: 812357
Forward closed progress: 818385
Forward closed progress: 826262
Forward closed progress: 845368
Forward closed progress: 844776
Forward closed progress: 844854
Forward closed progress: 876233
Forward closed progress: 876245
Forward closed progress: 847413
Forward closed progress: 897318
Forward closed progress: 991334
Forward closed progress: 983392
Forward closed progress: 983484
Forward closed progress: 914760
Forward closed progress: 904287
Forward closed progress: 849673
Forward closed progress: 841259
Forward closed progress: 839675
Forward closed progress: 839913
Forward closed progress: 820796
Forward closed progress: 853176
Forward closed progress: 852204
Forward closed progress: 859012
Forward closed progress: 859048
Forward closed progress: 861288
Forward closed progress: 861024
Forward closed progress: 813361
Forward closed progress: 814696
Forward closed progress: 813141
Forward closed progress: 813171
Forward closed progress: 812644
Forward closed progress: 813009
Forward closed progress: 813037
Forward closed progress: 813057
Forward closed progress: 812768
Forward closed progress: 813398
Forward closed progress: 813398
Forward closed progress: 811528
Forward closed progress: 877679
Forward closed progress: 865928
Forward closed progress: 865388
Forward closed progress: 862216
Forward closed progress: 891200
Forward closed progress: 915462
Forward closed progress: 903614
Forward closed progress: 903613
Forward closed progress: 909609
Forward closed progress: 908444
Forward closed progress: 905967
Forward closed progress: 905735
Forward closed progress: 904832
Forward closed progress: 903940
Forward closed progress: 855921
Forward closed progress: 795788
Forward closed progress: 764859
Forward closed progress: 692839
Forward closed progress: 662330
Forward closed progress: 652785
Forward closed progress: 652842
Forward closed progress: 646109
Forward closed progress: 642388
Forward closed progress: 632601
Forward closed progress: 631646
Forward closed progress: 632906
Forward closed progress: 631583
Forward closed progress: 632450
Forward closed progress: 634235
Forward closed progress: 634387
Forward closed progress: 627958
Forward closed progress: 628997
Forward closed progress: 628829
Forward closed progress: 627030
Forward closed progress: 624689
Forward closed progress: 624677
Forward closed progress: 621586
Forward closed progress: 550215
Forward closed progress: 700367
Forward closed progress: 704010
Forward closed progress: 872568
Forward closed progress: 1050609
Forward closed progress: 1196819
Forward closed progress: 1194582
Forward closed progress: 1194686
Forward closed progress: 1174351
Forward closed progress: 1204988
Forward closed progress: 1368206
Forward closed progress: 1376483
Forward closed progress: 1372656
Forward closed progress: 1392246
Forward closed progress: 1414167
Forward closed progress: 1472153
Forward closed progress: 1531712
Forward closed progress: 1531740
Forward closed progress: 1475645
Forward closed progress: 1598798
Forward closed progress: 1809844
Forward closed progress: 1814041
Forward closed progress: 1814423
Forward closed progress: 1750225
Forward closed progress: 1755742
Forward closed progress: 1762961
Forward closed progress: 1749782
Forward closed progress: 1753896
Forward closed progress: 1757660
Forward closed progress: 1723047
Forward closed progress: 1526626
Forward closed progress: 1524359
Forward closed progress: 1567150
Forward closed progress: 1564308
Forward closed progress: 1578206
Forward closed progress: 1578254
Forward closed progress: 1585682
Forward closed progress: 1586042
Forward closed progress: 1486951
Forward closed progress: 1598652
Forward closed progress: 1505594
Forward closed progress: 1312980
Forward closed progress: 1315528
Forward closed progress: 1358060
Forward closed progress: 1389452
Forward closed progress: 1389160
Forward closed progress: 1389178
Forward closed progress: 1384926
Forward closed progress: 1392335
Forward closed progress: 1426359
Forward closed progress: 1427431
Forward closed progress: 1436578
Forward closed progress: 1450137
Forward closed progress: 1474440
Forward closed progress: 1474456
Forward closed progress: 1453135
Forward closed progress: 1474616
Forward closed progress: 1488017
Forward closed progress: 1488507
Forward closed progress: 1488553
Forward closed progress: 1461637
Forward closed progress: 1459651
Forward closed progress: 1454097
Forward closed progress: 1445365
Forward closed progress: 1432086
Forward closed progress: 1458564
Forward closed progress: 1458896
Forward closed progress: 1463431
Forward closed progress: 1463465
Forward closed progress: 1474957
Forward closed progress: 1462697
Forward closed progress: 1420825
Forward closed progress: 1407990
Forward closed progress: 1492235
Forward closed progress: 1465863
Forward closed progress: 1464991
Forward closed progress: 1452951
Forward closed progress: 1479797
Forward closed progress: 1444627
Forward closed progress: 1339071
Forward closed progress: 1203303
Forward closed progress: 1186193
Forward closed progress: 1173417
Forward closed progress: 1165978
Forward closed progress: 1170489
Forward closed progress: 1172118
Forward closed progress: 1172332
Forward closed progress: 1172392
Forward closed progress: 1169096
Forward closed progress: 1148671
Forward closed progress: 1150060
Forward closed progress: 1142556
Forward closed progress: 1134150
Forward closed progress: 1118722
Forward closed progress: 1120318
Forward closed progress: 1121324
Forward closed progress: 1124303
Forward closed progress: 1124605
Forward closed progress: 1132936
Forward closed progress: 1136471
Forward closed progress: 1136345
Forward closed progress: 1136574
Forward closed progress: 1136875
Forward closed progress: 1137799
Forward closed progress: 1137525
Forward closed progress: 1138015
Forward closed progress: 1139417
Forward closed progress: 1143271
Forward closed progress: 1140436
Forward closed progress: 1148381
Forward closed progress: 1134936
Forward closed progress: 1148406
Forward closed progress: 1140562
Forward closed progress: 1144143
Forward closed progress: 1144203
Forward closed progress: 1141532
Forward closed progress: 1141460
Forward closed progress: 1140331
Forward closed progress: 1140175
Forward closed progress: 1140202
Forward closed progress: 1138614
Forward closed progress: 1137877
Forward closed progress: 1112356
Forward closed progress: 1121859
Forward closed progress: 1118891
Forward closed progress: 1108146
Forward closed progress: 1111704
Forward closed progress: 1111748
Forward closed progress: 1109200
Forward closed progress: 1109128
Forward closed progress: 1108029
Forward closed progress: 1105572
Forward closed progress: 1104384
Forward closed progress: 1103590
Forward closed progress: 1102521
Forward closed progress: 1097671
Forward closed progress: 1083402
Forward closed progress: 934907
Forward closed progress: 881119
Forward closed progress: 839591
Forward closed progress: 924588
Forward closed progress: 915601
Forward closed progress: 986094
Forward closed progress: 981550
Forward closed progress: 981592
Forward closed progress: 958390
Forward closed progress: 969825
Forward closed progress: 1030836
Forward closed progress: 1034123
Forward closed progress: 1035949
Forward closed progress: 1043070
Forward closed progress: 1051109
Forward closed progress: 1079236
Forward closed progress: 1111974
Forward closed progress: 1112002
Forward closed progress: 1082593
Forward closed progress: 1142877
Forward closed progress: 1250470
Forward closed progress: 1245773
Forward closed progress: 1245925
Forward closed progress: 1191274
Forward closed progress: 1183471
Forward closed progress: 1150769
Forward closed progress: 1144479
Forward closed progress: 1137535
Forward closed progress: 1137901
Forward closed progress: 1118143
Forward closed progress: 1172154
Forward closed progress: 1172055
Forward closed progress: 1179376
Forward closed progress: 1179412
Forward closed progress: 1182698
Forward closed progress: 1182896
Forward closed progress: 1137979
Forward closed progress: 1142359
Forward closed progress: 1137759
Forward closed progress: 1134703
Forward closed progress: 1198895
Forward closed progress: 1198839
Forward closed progress: 1198299
Forward closed progress: 1195127
Forward closed progress: 1229069
Forward closed progress: 1200668
Forward closed progress: 1154252
Forward closed progress: 1076803
Forward closed progress: 1046616
Forward closed progress: 1022457
Forward closed progress: 997465
Forward closed progress: 992928
Forward closed progress: 989407
Forward closed progress: 986562
Forward closed progress: 979671
Forward closed progress: 977945
Forward closed progress: 979456
Forward closed progress: 977882
Forward closed progress: 903494
Forward closed progress: 871676
Forward closed progress: 879546
Forward closed progress: 898671
Forward closed progress: 887348
Forward closed progress: 920352
Forward closed progress: 913984
Forward closed progress: 908744
Forward closed progress: 907893
Forward closed progress: 900999
Forward closed progress: 880833
Forward closed progress: 1321585
Forward closed progress: 1322809
Forward closed progress: 1382888
Forward closed progress: 1769707
Forward closed progress: 2057092
Forward closed progress: 2134031
Forward closed progress: 2133836
Forward closed progress: 2110457
Forward closed progress: 2110509
Forward closed progress: 2066967
Forward closed progress: 2072907
Forward closed progress: 2071036
Forward closed progress: 2078279
Forward closed progress: 2070065
Forward closed progress: 2070758
Forward closed progress: 2066507
Forward closed progress: 2088134
Forward closed progress: 2078866
Forward closed progress: 2083117
Forward closed progress: 2325419
Forward closed progress: 2257568
Forward closed progress: 2248761
Forward closed progress: 2273564
Forward closed progress: 2286677
Forward closed progress: 2276181
Forward closed progress: 2276211
Forward closed progress: 2248355
Forward closed progress: 2231374
Forward closed progress: 2195277
Forward closed progress: 2192092
Forward closed progress: 2226016
Forward closed progress: 2233254
Forward closed progress: 2231186
Forward closed progress: 2231206
Forward closed progress: 2217172
Forward closed progress: 2208781
Forward closed progress: 2304309
Forward closed progress: 2309465
Forward closed progress: 2325956
Forward closed progress: 2346049
Forward closed progress: 2346131
Forward closed progress: 2393494
Forward closed progress: 2414149
Forward closed progress: 2497870
Forward closed progress: 2497932
Forward closed progress: 2420590
Forward closed progress: 2476254
Forward closed progress: 2388640
Forward closed progress: 2386747
Forward closed progress: 2382957
Forward closed progress: 2330839
Forward closed progress: 2402519
Forward closed progress: 2400992
Forward closed progress: 2416087
Forward closed progress: 2416139
Forward closed progress: 2438199
Forward closed progress: 2435551
Forward closed progress: 2303212
Forward closed progress: 2319048
Forward closed progress: 2318958
Forward closed progress: 2335415
Forward closed progress: 2330077
Forward closed progress: 2330191
Forward closed progress: 2333929
Forward closed progress: 2330982
Forward closed progress: 2331020
Forward closed progress: 2331030
Forward closed progress: 2335062
Forward closed progress: 2335882
Forward closed progress: 2341062
Forward closed progress: 2341067
Forward closed progress: 2358443
Forward closed progress: 2370115
Forward closed progress: 2370103
Forward closed progress: 2363254
Forward closed progress: 2359019
Forward closed progress: 2362421
Forward closed progress: 2362585
Forward closed progress: 2364885
Forward closed progress: 2364891
Forward closed progress: 2362675
Forward closed progress: 2362675
Forward closed progress: 2361195
Forward closed progress: 2359711
Forward closed progress: 2489691
Forward closed progress: 2489755
Forward closed progress: 2465713
Forward closed progress: 2464837
Forward closed progress: 2464797
Forward closed progress: 2428725
Forward closed progress: 2465516
Forward closed progress: 2463933
Forward closed progress: 2453300
Forward closed progress: 2452886
Forward closed progress: 2452474
Forward closed progress: 2452384
Forward closed progress: 2452234
Forward closed progress: 2449697
Forward closed progress: 2346633
Forward closed progress: 2353593
Forward closed progress: 2353553
Forward closed progress: 2344351
Forward closed progress: 2347577
Forward closed progress: 2347583
Forward closed progress: 2344135
Forward closed progress: 2342689
Forward closed progress: 2186621
Forward closed progress: 2211352
Forward closed progress: 2191353
Forward closed progress: 2172601
Forward closed progress: 2125134
Forward closed progress: 1959425
Forward closed progress: 1982129
Forward closed progress: 1806837
Forward closed progress: 1805196
Forward closed progress: 1804536
Forward closed progress: 1804330
Forward closed progress: 1804829
Forward closed progress: 1623577
Forward closed progress: 1622415
Forward closed progress: 1616006
Forward closed progress: 1581836
Forward closed progress: 1567304
Forward closed progress: 1567584
Forward closed progress: 1564678
Forward closed progress: 1561301
Forward closed progress: 1565256
Forward closed progress: 1563482
Forward closed progress: 1563419
Forward closed progress: 1559342
Forward closed progress: 1555112
Forward closed progress: 1550742
Forward closed progress: 1547363
Forward closed progress: 1514420
Forward closed progress: 1509630
Forward closed progress: 1510206
Forward closed progress: 1509654
Forward closed progress: 1514597
Forward closed progress: 1514105
Forward closed progress: 1512790
Forward closed progress: 1511744
Forward closed progress: 1509561
Forward closed progress: 1508822
Forward closed progress: 1518190
Forward closed progress: 1519436
Forward closed progress: 1524476
Forward closed progress: 1525627
Forward closed progress: 1525627
Forward closed progress: 1523068
Forward closed progress: 1523068
Control exists for 6 color(s), jumping through 3298534883328 vertices.
Elapsed: 5932770 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5932.77
user ??
sys ??
