>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 20
Perturbation colors: 9007199254740992
All colors: 180143985094819840
Unknown update functions: 1
Lowest cardinality: 3
Highest cardinality: 3
Attractor colors: 126100789566373890
Attractor colors computed in 1524 ms.
Backward progress: 105240
Backward progress: 105443
Backward progress: 105479
Backward progress: 105695
Backward progress: 106058
Backward progress: 106266
Backward progress: 114919
Backward progress: 117298
Backward progress: 118682
Backward progress: 118111
Backward progress: 118051
Backward progress: 119549
Backward progress: 122974
Backward progress: 123544
Backward progress: 122591
Backward progress: 124907
Backward progress: 130655
Backward progress: 132828
Backward progress: 129685
Backward progress: 135219
Backward progress: 138284
Backward progress: 135796
Backward progress: 198866
Backward progress: 199267
Backward progress: 207743
Backward progress: 205304
Backward progress: 204571
Backward progress: 206066
Backward progress: 231408
Backward progress: 230201
Backward progress: 238159
Backward progress: 238199
Backward progress: 233810
Backward progress: 233761
Backward progress: 230257
Backward progress: 230229
Backward progress: 232169
Backward progress: 232954
Backward progress: 243758
Backward progress: 270109
Backward progress: 277655
Backward progress: 277672
Backward progress: 277795
Backward progress: 277894
Backward progress: 277266
Backward progress: 277399
Backward progress: 286734
Backward progress: 286746
Backward progress: 286894
Backward progress: 281243
Backward progress: 281267
Backward progress: 281632
Backward progress: 278686
Backward progress: 273927
Backward progress: 271110
Backward progress: 317971
Backward progress: 323742
Backward progress: 322688
Backward progress: 334908
Backward progress: 335183
Backward progress: 334749
Backward progress: 334801
Backward progress: 335127
Backward progress: 335235
Backward progress: 350194
Backward progress: 349900
Backward progress: 349896
Backward progress: 341690
Backward progress: 340816
Backward progress: 342364
Backward progress: 342364
Backward progress: 342793
Backward progress: 314582
Backward progress: 313007
Backward progress: 311828
Backward progress: 308434
Backward progress: 309515
Backward progress: 303738
Backward progress: 314989
Backward progress: 299959
Backward progress: 305141
Backward progress: 305173
Backward progress: 302410
Backward progress: 302361
Backward progress: 299964
Backward progress: 297520
Backward progress: 290030
Backward progress: 284841
Backward progress: 284719
Backward progress: 284650
Backward progress: 280959
Backward progress: 278614
Backward progress: 278425
Backward progress: 277187
Backward progress: 278955
Backward progress: 277736
Backward progress: 276582
Backward progress: 275323
Backward progress: 271896
Backward progress: 271900
Backward progress: 271180
Backward progress: 338912
Backward progress: 353741
Backward progress: 312957
Backward progress: 339335
Backward progress: 339375
Backward progress: 324231
Backward progress: 324024
Backward progress: 312587
Backward progress: 300743
Backward progress: 300900
Backward progress: 292892
Backward progress: 290191
Backward progress: 290055
Backward progress: 275593
Backward progress: 321893
Backward progress: 375860
Backward progress: 379017
Backward progress: 384281
Backward progress: 393921
Backward progress: 394002
Backward progress: 394019
Backward progress: 394065
Backward progress: 388851
Backward progress: 390275
Backward progress: 390920
Backward progress: 388865
Backward progress: 389028
Backward progress: 389273
Backward progress: 401059
Backward progress: 401079
Backward progress: 401497
Backward progress: 394062
Backward progress: 394002
Backward progress: 395028
Backward progress: 394980
Backward progress: 395140
Backward progress: 393015
Backward progress: 393148
Backward progress: 393347
Backward progress: 393498
Backward progress: 394134
Backward progress: 390074
Backward progress: 407676
Backward progress: 388689
Backward progress: 388673
Backward progress: 387768
Backward progress: 386467
Backward progress: 386081
Backward progress: 399541
Backward progress: 397737
Backward progress: 401416
Backward progress: 401432
Backward progress: 399492
Backward progress: 399464
Backward progress: 397761
Backward progress: 397761
Backward progress: 399630
Backward progress: 395878
Backward progress: 386522
Backward progress: 394502
Backward progress: 391071
Backward progress: 391543
Backward progress: 419968
Backward progress: 420636
Backward progress: 420418
Backward progress: 414839
Backward progress: 406478
Backward progress: 402914
Backward progress: 402902
Backward progress: 402264
Backward progress: 400840
Backward progress: 403007
Backward progress: 396374
Backward progress: 408393
Backward progress: 401308
Backward progress: 396275
Backward progress: 390575
Backward progress: 376652
Backward progress: 376144
Backward progress: 375841
Backward progress: 372387
Backward progress: 388160
Backward progress: 347036
Backward progress: 348426
Backward progress: 348601
Backward progress: 349024
Backward progress: 349038
Backward progress: 348989
Backward progress: 348703
Backward progress: 351956
Backward progress: 351885
Backward progress: 346645
Backward progress: 346737
Backward progress: 345971
Backward progress: 346024
Backward progress: 345209
Backward progress: 345137
Backward progress: 344465
Backward progress: 343147
Backward progress: 341858
Backward progress: 292438
Backward progress: 292438
Backward progress: 125259
Backward progress: 156105
Backward progress: 161195
Backward progress: 156093
Backward progress: 214928
Backward progress: 215155
Backward progress: 214806
Backward progress: 216140
Backward progress: 216965
Backward progress: 217516
Backward progress: 241250
Backward progress: 243717
Backward progress: 246246
Backward progress: 236159
Backward progress: 235969
Backward progress: 239783
Backward progress: 241100
Backward progress: 241600
Backward progress: 236353
Backward progress: 235307
Backward progress: 238635
Backward progress: 236333
Backward progress: 233443
Backward progress: 236666
Backward progress: 232412
Backward progress: 263968
Backward progress: 260921
Backward progress: 269671
Backward progress: 269695
Backward progress: 264343
Backward progress: 264322
Backward progress: 260962
Backward progress: 260863
Backward progress: 251472
Backward progress: 250096
Backward progress: 247631
Backward progress: 296333
Backward progress: 306039
Backward progress: 266074
Backward progress: 286630
Backward progress: 286654
Backward progress: 273794
Backward progress: 273666
Backward progress: 265612
Backward progress: 253502
Backward progress: 250039
Backward progress: 247139
Backward progress: 243426
Backward progress: 243290
Backward progress: 227130
Backward progress: 218166
Backward progress: 211451
Backward progress: 204852
Backward progress: 203747
Backward progress: 211237
Backward progress: 203103
Backward progress: 204877
Backward progress: 204984
Backward progress: 205584
Backward progress: 205584
Backward progress: 205674
Backward progress: 206741
Backward progress: 206747
Backward progress: 206369
Backward progress: 206015
Backward progress: 206719
Backward progress: 206782
Backward progress: 207115
Backward progress: 207121
Backward progress: 207100
Backward progress: 206848
Backward progress: 206987
Backward progress: 207317
Backward progress: 206635
Backward progress: 206635
Backward progress: 105804
Backward progress: 105804
Backward progress: 100196
Backward progress: 159276
Backward progress: 161382
Backward progress: 162289
Backward progress: 164217
Backward progress: 164711
Backward progress: 169243
Backward progress: 169283
Backward progress: 165042
Backward progress: 164610
Backward progress: 164680
Backward progress: 165503
Backward progress: 165519
Backward progress: 160680
Backward progress: 160680
Forward closed progress: 160681
Forward closed progress: 160684
Forward closed progress: 304888
Forward closed progress: 160693
Forward closed progress: 160703
Forward closed progress: 160579
Forward closed progress: 160703
Forward closed progress: 141385
Forward closed progress: 141398
Forward closed progress: 141707
Forward closed progress: 141815
Forward closed progress: 141483
Forward closed progress: 135820
Forward closed progress: 135769
Forward closed progress: 137043
Forward closed progress: 137145
Forward closed progress: 135979
Forward closed progress: 136055
Forward closed progress: 137142
Forward closed progress: 148233
Forward closed progress: 136383
Forward closed progress: 136397
Forward closed progress: 140211
Forward closed progress: 190153
Forward closed progress: 190133
Forward closed progress: 190133
Forward closed progress: 190133
Forward closed progress: 136879
Forward closed progress: 140517
Forward closed progress: 140516
Forward closed progress: 207316
Forward closed progress: 207316
Forward closed progress: 207316
Forward closed progress: 137504
Forward closed progress: 138058
Forward closed progress: 139519
Forward closed progress: 156119
Forward closed progress: 159873
Forward closed progress: 177999
Forward closed progress: 191775
Forward closed progress: 226129
Forward closed progress: 226205
Forward closed progress: 226225
Forward closed progress: 199501
Forward closed progress: 161969
Forward closed progress: 237126
Forward closed progress: 229708
Forward closed progress: 232660
Forward closed progress: 290198
Forward closed progress: 415207
Forward closed progress: 415354
Forward closed progress: 415396
Forward closed progress: 306197
Forward closed progress: 162221
Forward closed progress: 249589
Forward closed progress: 213109
Forward closed progress: 179515
Forward closed progress: 179537
Forward closed progress: 188033
Forward closed progress: 212171
Forward closed progress: 212247
Forward closed progress: 212267
Forward closed progress: 195263
Forward closed progress: 165421
Forward closed progress: 227604
Forward closed progress: 270056
Forward closed progress: 375884
Forward closed progress: 376034
Forward closed progress: 376076
Forward closed progress: 293951
Forward closed progress: 167009
Forward closed progress: 293994
Forward closed progress: 296159
Forward closed progress: 270252
Forward closed progress: 255205
Forward closed progress: 171632
Forward closed progress: 240749
Forward closed progress: 338569
Forward closed progress: 445026
Forward closed progress: 445257
Forward closed progress: 445323
Forward closed progress: 359080
Forward closed progress: 280383
Forward closed progress: 279137
Forward closed progress: 280567
Forward closed progress: 248033
Forward closed progress: 221013
Forward closed progress: 172962
Forward closed progress: 258542
Forward closed progress: 258610
Forward closed progress: 173762
Forward closed progress: 330126
Forward closed progress: 590285
Forward closed progress: 807635
Forward closed progress: 996326
Forward closed progress: 996724
Forward closed progress: 996818
Forward closed progress: 827795
Forward closed progress: 832452
Forward closed progress: 832716
Forward closed progress: 697823
Forward closed progress: 847318
Forward closed progress: 678242
Forward closed progress: 724395
Forward closed progress: 720137
Forward closed progress: 728557
Forward closed progress: 728587
Forward closed progress: 728599
Forward closed progress: 696443
Forward closed progress: 640491
Forward closed progress: 666184
Forward closed progress: 666239
Forward closed progress: 666261
Forward closed progress: 578298
Forward closed progress: 680046
Forward closed progress: 686479
Forward closed progress: 791204
Forward closed progress: 770748
Forward closed progress: 608610
Forward closed progress: 608988
Forward closed progress: 609056
Forward closed progress: 417550
Forward closed progress: 595790
Forward closed progress: 631827
Forward closed progress: 632729
Forward closed progress: 646013
Forward closed progress: 646209
Forward closed progress: 643549
Forward closed progress: 601825
Forward closed progress: 602261
Forward closed progress: 531229
Forward closed progress: 626263
Forward closed progress: 632027
Forward closed progress: 622173
Forward closed progress: 644860
Forward closed progress: 645016
Forward closed progress: 622736
Forward closed progress: 607142
Forward closed progress: 463481
Forward closed progress: 587547
Forward closed progress: 851979
Forward closed progress: 826282
Forward closed progress: 827100
Forward closed progress: 832004
Forward closed progress: 1032008
Forward closed progress: 1036337
Forward closed progress: 1189443
Forward closed progress: 1182816
Forward closed progress: 1182860
Forward closed progress: 1074187
Forward closed progress: 1073023
Forward closed progress: 1057550
Forward closed progress: 1057549
Forward closed progress: 1054219
Forward closed progress: 1057021
Forward closed progress: 1053595
Forward closed progress: 1116324
Forward closed progress: 1117168
Forward closed progress: 1117154
Forward closed progress: 1117285
Forward closed progress: 1117343
Forward closed progress: 1088736
Forward closed progress: 1085345
Forward closed progress: 1084029
Forward closed progress: 1084034
Forward closed progress: 1046276
Forward closed progress: 1045602
Forward closed progress: 1044284
Forward closed progress: 1037886
Forward closed progress: 1153733
Forward closed progress: 1153757
Forward closed progress: 1042730
Forward closed progress: 1044217
Forward closed progress: 1138730
Forward closed progress: 1131588
Forward closed progress: 1131628
Forward closed progress: 938330
Forward closed progress: 898058
Forward closed progress: 862571
Forward closed progress: 823777
Forward closed progress: 814376
Forward closed progress: 716701
Forward closed progress: 712048
Forward closed progress: 712427
Forward closed progress: 724163
Forward closed progress: 724213
Forward closed progress: 733395
Forward closed progress: 723589
Forward closed progress: 663612
Forward closed progress: 531744
Forward closed progress: 839957
Forward closed progress: 877277
Forward closed progress: 890053
Forward closed progress: 887855
Forward closed progress: 911692
Forward closed progress: 864625
Forward closed progress: 737673
Forward closed progress: 700130
Forward closed progress: 698780
Forward closed progress: 700433
Forward closed progress: 713677
Forward closed progress: 714634
Forward closed progress: 717975
Forward closed progress: 768850
Forward closed progress: 791784
Forward closed progress: 790376
Forward closed progress: 790396
Forward closed progress: 752419
Forward closed progress: 768872
Forward closed progress: 769403
Forward closed progress: 769512
Forward closed progress: 765746
Forward closed progress: 811109
Forward closed progress: 818922
Forward closed progress: 818937
Forward closed progress: 818697
Forward closed progress: 818713
Forward closed progress: 789292
Forward closed progress: 781157
Forward closed progress: 780896
Forward closed progress: 781362
Forward closed progress: 846158
Forward closed progress: 833420
Forward closed progress: 835834
Forward closed progress: 837109
Forward closed progress: 831575
Forward closed progress: 840043
Forward closed progress: 882920
Forward closed progress: 879619
Forward closed progress: 879631
Forward closed progress: 844720
Forward closed progress: 841198
Forward closed progress: 841851
Forward closed progress: 839451
Forward closed progress: 940511
Forward closed progress: 941123
Forward closed progress: 921379
Forward closed progress: 922621
Forward closed progress: 863572
Forward closed progress: 888798
Forward closed progress: 889226
Forward closed progress: 816316
Forward closed progress: 885814
Forward closed progress: 886054
Forward closed progress: 919707
Forward closed progress: 944183
Forward closed progress: 936397
Forward closed progress: 902203
Forward closed progress: 924662
Forward closed progress: 1062748
Forward closed progress: 1266182
Forward closed progress: 1426702
Forward closed progress: 1450417
Forward closed progress: 1456169
Forward closed progress: 1456466
Forward closed progress: 1456552
Forward closed progress: 1445926
Forward closed progress: 1428093
Forward closed progress: 1469095
Forward closed progress: 1426482
Forward closed progress: 1385304
Forward closed progress: 1387974
Forward closed progress: 1336192
Forward closed progress: 1373294
Forward closed progress: 1382616
Forward closed progress: 1403708
Forward closed progress: 1403780
Forward closed progress: 1493336
Forward closed progress: 1519166
Forward closed progress: 1519072
Forward closed progress: 1593940
Forward closed progress: 1627308
Forward closed progress: 1629814
Forward closed progress: 1629262
Forward closed progress: 1634412
Forward closed progress: 1646215
Forward closed progress: 1667749
Forward closed progress: 1694692
Forward closed progress: 1666651
Forward closed progress: 1792288
Forward closed progress: 1792361
Forward closed progress: 1818426
Forward closed progress: 1818504
Forward closed progress: 1798448
Forward closed progress: 1798316
Forward closed progress: 1792649
Forward closed progress: 1792649
Forward closed progress: 1750585
Forward closed progress: 1763719
Forward closed progress: 1810482
Forward closed progress: 1811906
Forward closed progress: 1272410
Forward closed progress: 1285982
Forward closed progress: 1281772
Forward closed progress: 1205398
Forward closed progress: 1176468
Forward closed progress: 1165852
Forward closed progress: 966118
Forward closed progress: 972167
Forward closed progress: 901261
Forward closed progress: 1039024
Forward closed progress: 1177659
Forward closed progress: 1168713
Forward closed progress: 1263722
Forward closed progress: 1253738
Forward closed progress: 1253772
Forward closed progress: 1191942
Forward closed progress: 1187393
Forward closed progress: 1290384
Forward closed progress: 1294152
Forward closed progress: 1292588
Forward closed progress: 1301160
Forward closed progress: 1306302
Forward closed progress: 1330540
Forward closed progress: 1329720
Forward closed progress: 1329798
Forward closed progress: 1378769
Forward closed progress: 1378785
Forward closed progress: 1332645
Forward closed progress: 1480606
Forward closed progress: 1679448
Forward closed progress: 1668272
Forward closed progress: 1668384
Forward closed progress: 1539648
Forward closed progress: 1487576
Forward closed progress: 1427219
Forward closed progress: 1415325
Forward closed progress: 1435765
Forward closed progress: 1383127
Forward closed progress: 1345754
Forward closed progress: 1393703
Forward closed progress: 1392235
Forward closed progress: 1404351
Forward closed progress: 1404407
Forward closed progress: 1408943
Forward closed progress: 1408663
Forward closed progress: 1324049
Forward closed progress: 1325915
Forward closed progress: 1323433
Forward closed progress: 1325184
Forward closed progress: 1323730
Forward closed progress: 1324233
Forward closed progress: 1324261
Forward closed progress: 1324281
Forward closed progress: 1323551
Forward closed progress: 1324181
Forward closed progress: 1324181
Forward closed progress: 1321384
Forward closed progress: 1406977
Forward closed progress: 1390754
Forward closed progress: 1389926
Forward closed progress: 1382690
Forward closed progress: 1421358
Forward closed progress: 1456364
Forward closed progress: 1437191
Forward closed progress: 1437190
Forward closed progress: 1450022
Forward closed progress: 1446413
Forward closed progress: 1441984
Forward closed progress: 1443570
Forward closed progress: 1437871
Forward closed progress: 1369847
Forward closed progress: 1280794
Forward closed progress: 1230709
Forward closed progress: 1138209
Forward closed progress: 1076534
Forward closed progress: 1056005
Forward closed progress: 1056062
Forward closed progress: 1045339
Forward closed progress: 1034608
Forward closed progress: 1026395
Forward closed progress: 1025498
Forward closed progress: 1007157
Forward closed progress: 1008936
Forward closed progress: 1007076
Forward closed progress: 1008480
Forward closed progress: 1010661
Forward closed progress: 1010813
Forward closed progress: 1001642
Forward closed progress: 1003020
Forward closed progress: 1002852
Forward closed progress: 1000657
Forward closed progress: 997989
Forward closed progress: 997977
Forward closed progress: 993824
Forward closed progress: 896499
Forward closed progress: 1106988
Forward closed progress: 1113163
Forward closed progress: 1409572
Forward closed progress: 1664188
Forward closed progress: 1861611
Forward closed progress: 1858425
Forward closed progress: 1858505
Forward closed progress: 1813796
Forward closed progress: 1821648
Forward closed progress: 2091204
Forward closed progress: 2099225
Forward closed progress: 2096922
Forward closed progress: 2123180
Forward closed progress: 2136801
Forward closed progress: 2205089
Forward closed progress: 2297629
Forward closed progress: 2297665
Forward closed progress: 2209061
Forward closed progress: 2496900
Forward closed progress: 2885700
Forward closed progress: 2888099
Forward closed progress: 2888463
Forward closed progress: 2778823
Forward closed progress: 2740804
Forward closed progress: 2736092
Forward closed progress: 2746282
Forward closed progress: 2806270
Forward closed progress: 2720214
Forward closed progress: 2654791
Forward closed progress: 2545349
Forward closed progress: 2541014
Forward closed progress: 2625223
Forward closed progress: 2621578
Forward closed progress: 2647344
Forward closed progress: 2647424
Forward closed progress: 2665032
Forward closed progress: 2665392
Forward closed progress: 2474660
Forward closed progress: 2619805
Forward closed progress: 2501189
Forward closed progress: 2235269
Forward closed progress: 2238129
Forward closed progress: 2308488
Forward closed progress: 2360126
Forward closed progress: 2359856
Forward closed progress: 2359878
Forward closed progress: 2344356
Forward closed progress: 2345705
Forward closed progress: 2416466
Forward closed progress: 2417733
Forward closed progress: 2432144
Forward closed progress: 2449881
Forward closed progress: 2485513
Forward closed progress: 2485533
Forward closed progress: 2453071
Forward closed progress: 2531513
Forward closed progress: 2562202
Forward closed progress: 2562903
Forward closed progress: 2562959
Forward closed progress: 2515134
Forward closed progress: 2508636
Forward closed progress: 2497502
Forward closed progress: 2479792
Forward closed progress: 2454525
Forward closed progress: 2507813
Forward closed progress: 2508257
Forward closed progress: 2515048
Forward closed progress: 2515088
Forward closed progress: 2536900
Forward closed progress: 2514208
Forward closed progress: 2434860
Forward closed progress: 2419849
Forward closed progress: 2553608
Forward closed progress: 2504386
Forward closed progress: 2503186
Forward closed progress: 2477786
Forward closed progress: 2521190
Forward closed progress: 2456925
Forward closed progress: 2280004
Forward closed progress: 2064538
Forward closed progress: 1949355
Forward closed progress: 2002590
Forward closed progress: 1984515
Forward closed progress: 1987855
Forward closed progress: 1977315
Forward closed progress: 1977585
Forward closed progress: 1977661
Forward closed progress: 1967524
Forward closed progress: 1939034
Forward closed progress: 1947639
Forward closed progress: 1929697
Forward closed progress: 1916112
Forward closed progress: 1907002
Forward closed progress: 1867151
Forward closed progress: 1870857
Forward closed progress: 1871845
Forward closed progress: 1877466
Forward closed progress: 1877040
Forward closed progress: 1893924
Forward closed progress: 1897309
Forward closed progress: 1897143
Forward closed progress: 1897514
Forward closed progress: 1897512
Forward closed progress: 1898488
Forward closed progress: 1898218
Forward closed progress: 1899240
Forward closed progress: 1899174
Forward closed progress: 1902556
Forward closed progress: 1908742
Forward closed progress: 1902439
Forward closed progress: 1914805
Forward closed progress: 1895462
Forward closed progress: 1920608
Forward closed progress: 1908790
Forward closed progress: 1914668
Forward closed progress: 1914740
Forward closed progress: 1910437
Forward closed progress: 1910349
Forward closed progress: 1908771
Forward closed progress: 1908732
Forward closed progress: 1904742
Forward closed progress: 1901867
Forward closed progress: 1896185
Forward closed progress: 1820105
Forward closed progress: 1804195
Forward closed progress: 1541827
Forward closed progress: 1457929
Forward closed progress: 1367825
Forward closed progress: 1512253
Forward closed progress: 1479980
Forward closed progress: 1596741
Forward closed progress: 1590397
Forward closed progress: 1590451
Forward closed progress: 1544255
Forward closed progress: 1542814
Forward closed progress: 1635600
Forward closed progress: 1640006
Forward closed progress: 1644256
Forward closed progress: 1653977
Forward closed progress: 1659313
Forward closed progress: 1697836
Forward closed progress: 1748214
Forward closed progress: 1748250
Forward closed progress: 1701481
Forward closed progress: 1867517
Forward closed progress: 2088076
Forward closed progress: 2081262
Forward closed progress: 2081454
Forward closed progress: 1981793
Forward closed progress: 1943810
Forward closed progress: 1913157
Forward closed progress: 1916968
Forward closed progress: 1930204
Forward closed progress: 1877341
Forward closed progress: 1839431
Forward closed progress: 1927977
Forward closed progress: 1927573
Forward closed progress: 1940238
Forward closed progress: 1940294
Forward closed progress: 1947672
Forward closed progress: 1947870
Forward closed progress: 1869197
Forward closed progress: 1875452
Forward closed progress: 1868581
Forward closed progress: 1863929
Forward closed progress: 1946307
Forward closed progress: 1946191
Forward closed progress: 1945363
Forward closed progress: 1938127
Forward closed progress: 1984819
Forward closed progress: 1941206
Forward closed progress: 1875937
Forward closed progress: 1764156
Forward closed progress: 1688711
Forward closed progress: 1696480
Forward closed progress: 1649409
Forward closed progress: 1641901
Forward closed progress: 1638324
Forward closed progress: 1630560
Forward closed progress: 1624694
Forward closed progress: 1626370
Forward closed progress: 1611335
Forward closed progress: 1613518
Forward closed progress: 1611254
Forward closed progress: 1514224
Forward closed progress: 1446939
Forward closed progress: 1456345
Forward closed progress: 1487117
Forward closed progress: 1470524
Forward closed progress: 1517337
Forward closed progress: 1510519
Forward closed progress: 1504593
Forward closed progress: 1507482
Forward closed progress: 1497168
Forward closed progress: 1460209
Forward closed progress: 2198079
Forward closed progress: 2199723
Forward closed progress: 2287524
Forward closed progress: 3001080
Forward closed progress: 3511117
Forward closed progress: 3657121
Forward closed progress: 3656827
Forward closed progress: 3626499
Forward closed progress: 3626563
Forward closed progress: 3512708
Forward closed progress: 3521775
Forward closed progress: 3499513
Forward closed progress: 3506778
Forward closed progress: 3499020
Forward closed progress: 3499971
Forward closed progress: 3482631
Forward closed progress: 3497727
Forward closed progress: 3477475
Forward closed progress: 3488217
Forward closed progress: 3844833
Forward closed progress: 3827016
Forward closed progress: 3975928
Forward closed progress: 4136072
Forward closed progress: 4181075
Forward closed progress: 4160705
Forward closed progress: 4160739
Forward closed progress: 4107624
Forward closed progress: 4077958
Forward closed progress: 4004886
Forward closed progress: 4001005
Forward closed progress: 3967387
Forward closed progress: 4013073
Forward closed progress: 3989026
Forward closed progress: 3989060
Forward closed progress: 3898838
Forward closed progress: 3874803
Forward closed progress: 3875791
Forward closed progress: 3785821
Forward closed progress: 3781880
Forward closed progress: 3782590
Forward closed progress: 4036381
Forward closed progress: 4043425
Forward closed progress: 4080111
Forward closed progress: 4116177
Forward closed progress: 4116219
Forward closed progress: 4194624
Forward closed progress: 4228077
Forward closed progress: 4386609
Forward closed progress: 4386685
Forward closed progress: 4235935
Forward closed progress: 4351411
Forward closed progress: 4203040
Forward closed progress: 4198916
Forward closed progress: 4191516
Forward closed progress: 4090233
Forward closed progress: 4219194
Forward closed progress: 4216812
Forward closed progress: 4243555
Forward closed progress: 4243623
Forward closed progress: 4284560
Forward closed progress: 4279020
Forward closed progress: 4028433
Forward closed progress: 4062174
Forward closed progress: 4062660
Forward closed progress: 4091336
Forward closed progress: 4081386
Forward closed progress: 4081478
Forward closed progress: 4088704
Forward closed progress: 4083647
Forward closed progress: 4083685
Forward closed progress: 4083695
Forward closed progress: 4091191
Forward closed progress: 4092011
Forward closed progress: 4101447
Forward closed progress: 4101452
Forward closed progress: 4130454
Forward closed progress: 4149790
Forward closed progress: 4149778
Forward closed progress: 4137245
Forward closed progress: 4129332
Forward closed progress: 4133592
Forward closed progress: 4133756
Forward closed progress: 4137470
Forward closed progress: 4137476
Forward closed progress: 4133846
Forward closed progress: 4133846
Forward closed progress: 4131968
Forward closed progress: 4130398
Forward closed progress: 4337646
Forward closed progress: 4337712
Forward closed progress: 4298144
Forward closed progress: 4296982
Forward closed progress: 4296942
Forward closed progress: 4234026
Forward closed progress: 4293553
Forward closed progress: 4288894
Forward closed progress: 4270316
Forward closed progress: 4269605
Forward closed progress: 4268878
Forward closed progress: 4268788
Forward closed progress: 4268638
Forward closed progress: 4264277
Forward closed progress: 4089342
Forward closed progress: 4100756
Forward closed progress: 4100716
Forward closed progress: 4085618
Forward closed progress: 4090880
Forward closed progress: 4090886
Forward closed progress: 4085402
Forward closed progress: 4083334
Forward closed progress: 3845030
Forward closed progress: 3880258
Forward closed progress: 3851669
Forward closed progress: 3824318
Forward closed progress: 3629904
Forward closed progress: 3324710
Forward closed progress: 3373212
Forward closed progress: 3027536
Forward closed progress: 3024325
Forward closed progress: 3023011
Forward closed progress: 3022521
Forward closed progress: 3023004
Forward closed progress: 2672027
Forward closed progress: 2670065
Forward closed progress: 2666135
Forward closed progress: 2612319
Forward closed progress: 2584879
Forward closed progress: 2585139
Forward closed progress: 2585531
Forward closed progress: 2580022
Forward closed progress: 2582280
Forward closed progress: 2580288
Forward closed progress: 2580168
Forward closed progress: 2573776
Forward closed progress: 2568287
Forward closed progress: 2562504
Forward closed progress: 2555682
Forward closed progress: 2501233
Forward closed progress: 2491963
Forward closed progress: 2492472
Forward closed progress: 2491989
Forward closed progress: 2499362
Forward closed progress: 2498910
Forward closed progress: 2496927
Forward closed progress: 2496315
Forward closed progress: 2492077
Forward closed progress: 2490443
Forward closed progress: 2499304
Forward closed progress: 2500830
Forward closed progress: 2515113
Forward closed progress: 2517938
Forward closed progress: 2519565
Forward closed progress: 2521077
Forward closed progress: 2521077
Forward closed progress: 2514431
Forward closed progress: 2514431
Control exists for 14 color(s), jumping through 60341354496 vertices.
Elapsed: 14434260 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 14434.26
user ??
sys ??
