>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 36
Perturbation colors: 9007199254740992
All colors: 324259173170675700
Unknown update functions: 2
Lowest cardinality: 2
Highest cardinality: 2
Attractor colors: 81064793292668930
Attractor colors computed in 6394 ms.
Backward progress: 104639
Backward progress: 104634
Backward progress: 108831
Backward progress: 116191
Backward progress: 116104
Backward progress: 118615
Backward progress: 119619
Backward progress: 156822
Backward progress: 157112
Backward progress: 155977
Backward progress: 153856
Backward progress: 152624
Backward progress: 152692
Backward progress: 142918
Backward progress: 149530
Backward progress: 182994
Backward progress: 185279
Backward progress: 186451
Backward progress: 191573
Backward progress: 188746
Backward progress: 191478
Backward progress: 190501
Backward progress: 192088
Backward progress: 190582
Backward progress: 190726
Backward progress: 191186
Backward progress: 191512
Backward progress: 189116
Backward progress: 192026
Backward progress: 190560
Backward progress: 191008
Backward progress: 199403
Backward progress: 184980
Backward progress: 184826
Backward progress: 184020
Backward progress: 165500
Backward progress: 146879
Backward progress: 122102
Backward progress: 190895
Backward progress: 209290
Backward progress: 208879
Backward progress: 258068
Backward progress: 257946
Backward progress: 267478
Backward progress: 268578
Backward progress: 271598
Backward progress: 271614
Backward progress: 271666
Backward progress: 254442
Backward progress: 265277
Backward progress: 264809
Backward progress: 259905
Backward progress: 262079
Backward progress: 264725
Backward progress: 260961
Backward progress: 261005
Backward progress: 261617
Backward progress: 255211
Backward progress: 256327
Backward progress: 232814
Backward progress: 222403
Backward progress: 215099
Backward progress: 214538
Backward progress: 214031
Backward progress: 212481
Backward progress: 212403
Backward progress: 212783
Backward progress: 212313
Backward progress: 210875
Backward progress: 174683
Backward progress: 254320
Backward progress: 262309
Backward progress: 298747
Backward progress: 308947
Backward progress: 311206
Backward progress: 311199
Backward progress: 313689
Backward progress: 318495
Backward progress: 322462
Backward progress: 320140
Backward progress: 323218
Backward progress: 372666
Backward progress: 396268
Backward progress: 411675
Backward progress: 430937
Backward progress: 425450
Backward progress: 420769
Backward progress: 418853
Backward progress: 418037
Backward progress: 423120
Backward progress: 440294
Backward progress: 420394
Backward progress: 418718
Backward progress: 417870
Backward progress: 442053
Backward progress: 428569
Backward progress: 434902
Backward progress: 437782
Backward progress: 521540
Backward progress: 450134
Backward progress: 448863
Backward progress: 448787
Backward progress: 448778
Backward progress: 448910
Backward progress: 448730
Backward progress: 447536
Backward progress: 445836
Backward progress: 417180
Backward progress: 417180
Forward closed progress: 416259
Forward closed progress: 416268
Forward closed progress: 560303
Forward closed progress: 413945
Forward closed progress: 414026
Forward closed progress: 414311
Forward closed progress: 414881
Forward closed progress: 414596
Forward closed progress: 414815
Forward closed progress: 415472
Forward closed progress: 415634
Forward closed progress: 414139
Forward closed progress: 414858
Forward closed progress: 415582
Forward closed progress: 417517
Forward closed progress: 417617
Forward closed progress: 415934
Forward closed progress: 418704
Forward closed progress: 410885
Forward closed progress: 426793
Forward closed progress: 427461
Forward closed progress: 416089
Forward closed progress: 447885
Forward closed progress: 477567
Forward closed progress: 485776
Forward closed progress: 485525
Forward closed progress: 485505
Forward closed progress: 485505
Forward closed progress: 421035
Forward closed progress: 457977
Forward closed progress: 479450
Forward closed progress: 487043
Forward closed progress: 487033
Forward closed progress: 487033
Forward closed progress: 425863
Forward closed progress: 424823
Forward closed progress: 405158
Forward closed progress: 368019
Forward closed progress: 494951
Forward closed progress: 379814
Forward closed progress: 382650
Forward closed progress: 392796
Forward closed progress: 496160
Forward closed progress: 538996
Forward closed progress: 578822
Forward closed progress: 579278
Forward closed progress: 579360
Forward closed progress: 527898
Forward closed progress: 431363
Forward closed progress: 608838
Forward closed progress: 612336
Forward closed progress: 612952
Forward closed progress: 612911
Forward closed progress: 614162
Forward closed progress: 673204
Forward closed progress: 723791
Forward closed progress: 723986
Forward closed progress: 724024
Forward closed progress: 645623
Forward closed progress: 646408
Forward closed progress: 642362
Forward closed progress: 639754
Forward closed progress: 444204
Forward closed progress: 608252
Forward closed progress: 603676
Forward closed progress: 608893
Forward closed progress: 580859
Forward closed progress: 580874
Forward closed progress: 580880
Forward closed progress: 580862
Forward closed progress: 545678
Forward closed progress: 501009
Forward closed progress: 513176
Forward closed progress: 543830
Forward closed progress: 544028
Forward closed progress: 544062
Forward closed progress: 509395
Forward closed progress: 434755
Forward closed progress: 465657
Forward closed progress: 455571
Forward closed progress: 472883
Forward closed progress: 473003
Forward closed progress: 473027
Forward closed progress: 435475
Forward closed progress: 602864
Forward closed progress: 603616
Forward closed progress: 562405
Forward closed progress: 426204
Forward closed progress: 658168
Forward closed progress: 794617
Forward closed progress: 880695
Forward closed progress: 882618
Forward closed progress: 882968
Forward closed progress: 794441
Forward closed progress: 586605
Forward closed progress: 570791
Forward closed progress: 553938
Forward closed progress: 479077
Forward closed progress: 428312
Forward closed progress: 823540
Forward closed progress: 824042
Forward closed progress: 432277
Forward closed progress: 650145
Forward closed progress: 905539
Forward closed progress: 1136579
Forward closed progress: 1217435
Forward closed progress: 1218898
Forward closed progress: 1219252
Forward closed progress: 1120159
Forward closed progress: 1130620
Forward closed progress: 1130542
Forward closed progress: 1046317
Forward closed progress: 1135725
Forward closed progress: 1117274
Forward closed progress: 1070512
Forward closed progress: 986897
Forward closed progress: 977335
Forward closed progress: 977404
Forward closed progress: 946910
Forward closed progress: 894570
Forward closed progress: 919706
Forward closed progress: 922131
Forward closed progress: 1055848
Forward closed progress: 1054614
Forward closed progress: 987613
Forward closed progress: 988730
Forward closed progress: 988416
Forward closed progress: 895283
Forward closed progress: 1421223
Forward closed progress: 2163726
Forward closed progress: 2164630
Forward closed progress: 1587261
Forward closed progress: 1539608
Forward closed progress: 1539792
Forward closed progress: 1490646
Forward closed progress: 1472750
Forward closed progress: 1911823
Forward closed progress: 1473907
Forward closed progress: 1476778
Forward closed progress: 1477870
Forward closed progress: 1363531
Forward closed progress: 1860663
Forward closed progress: 1875226
Forward closed progress: 1525147
Forward closed progress: 1476178
Forward closed progress: 1647673
Forward closed progress: 1648043
Forward closed progress: 1492258
Forward closed progress: 1479559
Forward closed progress: 1465999
Forward closed progress: 1416184
Forward closed progress: 1254341
Forward closed progress: 955348
Forward closed progress: 975085
Forward closed progress: 957586
Forward closed progress: 955559
Forward closed progress: 955399
Forward closed progress: 943075
Forward closed progress: 939598
Forward closed progress: 1154324
Forward closed progress: 1148404
Forward closed progress: 1156816
Forward closed progress: 1551125
Forward closed progress: 1599992
Forward closed progress: 1600297
Forward closed progress: 1650195
Forward closed progress: 1650244
Forward closed progress: 1656697
Forward closed progress: 1793687
Forward closed progress: 1795640
Forward closed progress: 1911652
Forward closed progress: 1912004
Forward closed progress: 1912042
Forward closed progress: 1823456
Forward closed progress: 1805824
Forward closed progress: 1799588
Forward closed progress: 1799123
Forward closed progress: 1798763
Forward closed progress: 1798295
Forward closed progress: 1798319
Forward closed progress: 1834078
Forward closed progress: 1835234
Forward closed progress: 1835214
Forward closed progress: 1835384
Forward closed progress: 1835460
Forward closed progress: 1829784
Forward closed progress: 1811614
Forward closed progress: 2167892
Forward closed progress: 2149947
Forward closed progress: 2149839
Forward closed progress: 1990070
Forward closed progress: 1991826
Forward closed progress: 1989108
Forward closed progress: 1956598
Forward closed progress: 1956648
Forward closed progress: 2267499
Forward closed progress: 2267549
Forward closed progress: 1981810
Forward closed progress: 2010292
Forward closed progress: 2006368
Forward closed progress: 2006716
Forward closed progress: 1908774
Forward closed progress: 1902949
Forward closed progress: 1897195
Forward closed progress: 1885690
Forward closed progress: 1716552
Forward closed progress: 1693442
Forward closed progress: 1656645
Forward closed progress: 1565249
Forward closed progress: 1547886
Forward closed progress: 1257297
Forward closed progress: 1201216
Forward closed progress: 1168768
Forward closed progress: 1154410
Forward closed progress: 1229290
Forward closed progress: 1229268
Forward closed progress: 1128687
Forward closed progress: 1126646
Forward closed progress: 1141344
Forward closed progress: 1139071
Forward closed progress: 1075150
Forward closed progress: 1057820
Forward closed progress: 1075232
Forward closed progress: 1075256
Forward closed progress: 1060256
Forward closed progress: 1042844
Forward closed progress: 1027399
Forward closed progress: 1027063
Forward closed progress: 1027145
Forward closed progress: 1027063
Forward closed progress: 1026979
Forward closed progress: 1009145
Forward closed progress: 1006741
Forward closed progress: 1020977
Forward closed progress: 1011313
Forward closed progress: 1011151
Forward closed progress: 1010203
Forward closed progress: 1010585
Forward closed progress: 1010587
Forward closed progress: 1011055
Forward closed progress: 1011087
Forward closed progress: 1011073
Forward closed progress: 1010201
Forward closed progress: 1010225
Forward closed progress: 1010229
Forward closed progress: 1009109
Forward closed progress: 1009651
Forward closed progress: 2238397
Forward closed progress: 2762916
Forward closed progress: 2683115
Forward closed progress: 2406285
Forward closed progress: 1923112
Forward closed progress: 1924722
Forward closed progress: 1892184
Forward closed progress: 1029385
Forward closed progress: 1151558
Forward closed progress: 1119126
Forward closed progress: 1015552
Forward closed progress: 1043410
Forward closed progress: 1043450
Forward closed progress: 1015996
Forward closed progress: 996159
Forward closed progress: 1005502
Forward closed progress: 992539
Forward closed progress: 1008524
Forward closed progress: 985195
Forward closed progress: 957517
Forward closed progress: 957595
Forward closed progress: 1156497
Forward closed progress: 1366814
Forward closed progress: 1506599
Forward closed progress: 1526834
Forward closed progress: 1588889
Forward closed progress: 1589677
Forward closed progress: 1589803
Forward closed progress: 1553257
Forward closed progress: 1532226
Forward closed progress: 1588805
Forward closed progress: 1578155
Forward closed progress: 1545971
Forward closed progress: 1593184
Forward closed progress: 1602726
Forward closed progress: 1736830
Forward closed progress: 1742700
Forward closed progress: 1807280
Forward closed progress: 1917178
Forward closed progress: 1916878
Forward closed progress: 1840186
Forward closed progress: 1823259
Forward closed progress: 1860728
Forward closed progress: 1864581
Forward closed progress: 1864023
Forward closed progress: 1815825
Forward closed progress: 1800795
Forward closed progress: 1791007
Forward closed progress: 1784588
Forward closed progress: 1739949
Forward closed progress: 1630812
Forward closed progress: 1659146
Forward closed progress: 1561319
Forward closed progress: 1623182
Forward closed progress: 1623173
Forward closed progress: 1588174
Forward closed progress: 1569912
Forward closed progress: 1561582
Forward closed progress: 1499292
Forward closed progress: 1497952
Forward closed progress: 1473199
Forward closed progress: 1416979
Forward closed progress: 1456205
Forward closed progress: 1456498
Forward closed progress: 1497670
Forward closed progress: 1497710
Forward closed progress: 1198166
Forward closed progress: 1191600
Forward closed progress: 1185574
Forward closed progress: 1177502
Forward closed progress: 1262984
Forward closed progress: 1257338
Forward closed progress: 1110107
Forward closed progress: 1119730
Forward closed progress: 1119579
Forward closed progress: 1116217
Forward closed progress: 1085239
Forward closed progress: 1116960
Forward closed progress: 1116978
Forward closed progress: 1086585
Forward closed progress: 1054743
Forward closed progress: 1025705
Forward closed progress: 1020492
Forward closed progress: 1020468
Forward closed progress: 1018503
Forward closed progress: 1002409
Forward closed progress: 993955
Forward closed progress: 986929
Forward closed progress: 973211
Forward closed progress: 893007
Forward closed progress: 1227651
Forward closed progress: 1502531
Forward closed progress: 1430912
Forward closed progress: 1774180
Forward closed progress: 1776587
Forward closed progress: 1776837
Forward closed progress: 1756152
Forward closed progress: 1871369
Forward closed progress: 2011241
Forward closed progress: 2025397
Forward closed progress: 2352337
Forward closed progress: 2696604
Forward closed progress: 3195384
Forward closed progress: 3849358
Forward closed progress: 3848137
Forward closed progress: 3639811
Forward closed progress: 3561546
Forward closed progress: 3716035
Forward closed progress: 3724880
Forward closed progress: 3704887
Forward closed progress: 3655448
Forward closed progress: 3623534
Forward closed progress: 3656599
Forward closed progress: 3688253
Forward closed progress: 3660503
Forward closed progress: 3662991
Forward closed progress: 3501888
Forward closed progress: 3453120
Forward closed progress: 3560290
Forward closed progress: 3114948
Forward closed progress: 3212976
Forward closed progress: 3213413
Forward closed progress: 2938493
Forward closed progress: 2833498
Forward closed progress: 2775642
Forward closed progress: 2768406
Forward closed progress: 2760375
Forward closed progress: 2721385
Forward closed progress: 2720997
Forward closed progress: 2722185
Forward closed progress: 2716919
Forward closed progress: 2271093
Forward closed progress: 2271117
Forward closed progress: 2268614
Forward closed progress: 2268613
Forward closed progress: 2268672
Forward closed progress: 2268646
Forward closed progress: 2268914
Forward closed progress: 2269466
Forward closed progress: 2269323
Forward closed progress: 2268621
Forward closed progress: 2268745
Forward closed progress: 2268818
Forward closed progress: 2272090
Forward closed progress: 2272086
Forward closed progress: 2275682
Forward closed progress: 2283902
Forward closed progress: 2283904
Forward closed progress: 2279504
Forward closed progress: 2271300
Forward closed progress: 2271132
Forward closed progress: 2268838
Forward closed progress: 2268836
Forward closed progress: 2268807
Forward closed progress: 2470410
Forward closed progress: 2434125
Forward closed progress: 2151482
Forward closed progress: 2264849
Forward closed progress: 2265139
Forward closed progress: 2184536
Forward closed progress: 2166674
Forward closed progress: 2152018
Forward closed progress: 2090242
Forward closed progress: 2013344
Forward closed progress: 1765745
Forward closed progress: 1502167
Forward closed progress: 1470821
Forward closed progress: 1470811
Forward closed progress: 1472597
Forward closed progress: 1465562
Forward closed progress: 1465595
Forward closed progress: 1465429
Forward closed progress: 1464645
Forward closed progress: 1463964
Forward closed progress: 1453169
Forward closed progress: 1292394
Forward closed progress: 1295874
Forward closed progress: 1295934
Forward closed progress: 1299297
Forward closed progress: 1299308
Forward closed progress: 1214721
Forward closed progress: 1213887
Forward closed progress: 1214173
Forward closed progress: 1214349
Forward closed progress: 1220879
Forward closed progress: 1220857
Forward closed progress: 1221365
Forward closed progress: 1223497
Forward closed progress: 1223458
Forward closed progress: 1223656
Forward closed progress: 1217752
Forward closed progress: 1214573
Forward closed progress: 1217699
Forward closed progress: 1217717
Forward closed progress: 1214564
Forward closed progress: 1211655
Forward closed progress: 1111759
Forward closed progress: 893013
Forward closed progress: 1034977
Forward closed progress: 1022941
Forward closed progress: 1022705
Forward closed progress: 1022145
Forward closed progress: 1023861
Forward closed progress: 1023861
Forward closed progress: 1023940
Forward closed progress: 1434792
Forward closed progress: 1678575
Forward closed progress: 2086162
Forward closed progress: 2088919
Forward closed progress: 2089211
Forward closed progress: 2068039
Forward closed progress: 2255109
Forward closed progress: 2474806
Forward closed progress: 2498926
Forward closed progress: 2923002
Forward closed progress: 3403171
Forward closed progress: 3947772
Forward closed progress: 5076374
Forward closed progress: 5075682
Forward closed progress: 4288855
Forward closed progress: 4528451
Forward closed progress: 5061352
Forward closed progress: 5074606
Forward closed progress: 5065397
Forward closed progress: 5022415
Forward closed progress: 4997982
Forward closed progress: 5198802
Forward closed progress: 5205156
Forward closed progress: 5202896
Forward closed progress: 5223376
Forward closed progress: 4432679
Forward closed progress: 4399746
Forward closed progress: 4696570
Forward closed progress: 4701282
Forward closed progress: 4938740
Forward closed progress: 4960999
Forward closed progress: 4953553
Forward closed progress: 4987522
Forward closed progress: 5119320
Forward closed progress: 4703420
Forward closed progress: 4822763
Forward closed progress: 4823539
Forward closed progress: 4543225
Forward closed progress: 4436788
Forward closed progress: 4369912
Forward closed progress: 4352303
Forward closed progress: 4349433
Forward closed progress: 4400272
Forward closed progress: 4391384
Forward closed progress: 4549938
Forward closed progress: 4545923
Forward closed progress: 3895589
Forward closed progress: 3985874
Forward closed progress: 3996765
Forward closed progress: 4070979
Forward closed progress: 4071680
Forward closed progress: 4127475
Forward closed progress: 4425382
Forward closed progress: 4689677
Forward closed progress: 4690161
Forward closed progress: 4690223
Forward closed progress: 4537274
Forward closed progress: 4539798
Forward closed progress: 4538394
Forward closed progress: 4521065
Forward closed progress: 4615451
Forward closed progress: 4815667
Forward closed progress: 4875571
Forward closed progress: 4876273
Forward closed progress: 4876547
Forward closed progress: 4876581
Forward closed progress: 4840743
Forward closed progress: 4780735
Forward closed progress: 5337738
Forward closed progress: 5328067
Forward closed progress: 5326691
Forward closed progress: 5581719
Forward closed progress: 5426818
Forward closed progress: 5394057
Forward closed progress: 5412531
Forward closed progress: 5380794
Forward closed progress: 5382543
Forward closed progress: 5719217
Forward closed progress: 5719703
Forward closed progress: 5413780
Forward closed progress: 5413411
Forward closed progress: 5414534
Forward closed progress: 5618723
Forward closed progress: 5731360
Forward closed progress: 5736383
Forward closed progress: 5736459
Forward closed progress: 5614124
Forward closed progress: 5604928
Forward closed progress: 5632151
Forward closed progress: 5620502
Forward closed progress: 5605653
Forward closed progress: 5601832
Forward closed progress: 5532058
Forward closed progress: 5493398
Forward closed progress: 5474597
Forward closed progress: 5753921
Forward closed progress: 5755658
Forward closed progress: 5554426
Forward closed progress: 5522956
Forward closed progress: 5581716
Forward closed progress: 5580368
Forward closed progress: 5192059
Forward closed progress: 5146669
Forward closed progress: 5146377
Forward closed progress: 5122471
Forward closed progress: 5188550
Forward closed progress: 5118225
Forward closed progress: 5048118
Forward closed progress: 4866139
Forward closed progress: 4761864
Forward closed progress: 4762596
Forward closed progress: 4759315
Forward closed progress: 6513637
Forward closed progress: 6843244
Forward closed progress: 6172610
Forward closed progress: 6446015
Forward closed progress: 6448952
Forward closed progress: 6378052
Forward closed progress: 6308019
Forward closed progress: 6369157
Forward closed progress: 6392725
Forward closed progress: 6863068
Forward closed progress: 6854991
Forward closed progress: 7321397
Forward closed progress: 7257690
Forward closed progress: 7201487
Forward closed progress: 6884194
Forward closed progress: 6921674
Forward closed progress: 6930641
Forward closed progress: 6735651
Forward closed progress: 6615395
Forward closed progress: 6626094
Forward closed progress: 6621980
Forward closed progress: 6572330
Forward closed progress: 6628378
Forward closed progress: 6554349
Forward closed progress: 6585281
Forward closed progress: 6207239
Forward closed progress: 6285691
Forward closed progress: 6286163
Forward closed progress: 6038791
Forward closed progress: 5939789
Forward closed progress: 5888784
Forward closed progress: 5867893
Forward closed progress: 5623854
Forward closed progress: 5623336
Forward closed progress: 5621140
Forward closed progress: 5612467
Forward closed progress: 5674856
Forward closed progress: 5680423
Forward closed progress: 5746981
Forward closed progress: 5747369
Forward closed progress: 5058193
Forward closed progress: 5043963
Forward closed progress: 5043119
Forward closed progress: 5021988
Forward closed progress: 5007006
Forward closed progress: 4955888
Forward closed progress: 5044784
Forward closed progress: 5043141
Forward closed progress: 4941314
Forward closed progress: 4947569
Forward closed progress: 4942927
Forward closed progress: 4880825
Forward closed progress: 4856667
Forward closed progress: 4860754
Forward closed progress: 4860956
Forward closed progress: 4760545
Forward closed progress: 4758897
Forward closed progress: 4757033
Forward closed progress: 5418044
Forward closed progress: 4772418
Forward closed progress: 3969971
Forward closed progress: 4019639
Forward closed progress: 4019887
Forward closed progress: 3884393
Forward closed progress: 3856089
Forward closed progress: 3833439
Forward closed progress: 3714911
Forward closed progress: 3808646
Forward closed progress: 3670032
Forward closed progress: 3599398
Forward closed progress: 3316978
Forward closed progress: 3316837
Forward closed progress: 2980358
Forward closed progress: 3061002
Forward closed progress: 3282669
Forward closed progress: 3485038
Forward closed progress: 3510851
Forward closed progress: 3733082
Forward closed progress: 3734621
Forward closed progress: 3734786
Forward closed progress: 3714417
Forward closed progress: 3697878
Forward closed progress: 3811690
Forward closed progress: 3808167
Forward closed progress: 3810768
Forward closed progress: 3807219
Forward closed progress: 3840547
Forward closed progress: 3867465
Forward closed progress: 4184259
Forward closed progress: 4253955
Forward closed progress: 4770716
Forward closed progress: 4919262
Forward closed progress: 4918821
Forward closed progress: 4846797
Forward closed progress: 4980559
Forward closed progress: 4985013
Forward closed progress: 4983443
Forward closed progress: 4947998
Forward closed progress: 4996951
Forward closed progress: 5087325
Forward closed progress: 5042892
Forward closed progress: 5223093
Forward closed progress: 5019350
Forward closed progress: 5019170
Forward closed progress: 5019828
Forward closed progress: 5019516
Forward closed progress: 5023819
Forward closed progress: 5231866
Forward closed progress: 4783255
Forward closed progress: 4870895
Forward closed progress: 4871073
Forward closed progress: 4671866
Forward closed progress: 4558704
Forward closed progress: 4508751
Forward closed progress: 4501965
Forward closed progress: 4457732
Forward closed progress: 4455351
Forward closed progress: 4416647
Forward closed progress: 4434899
Forward closed progress: 4421802
Forward closed progress: 4419387
Forward closed progress: 5158748
Forward closed progress: 5303565
Forward closed progress: 5326346
Forward closed progress: 5468160
Forward closed progress: 5469240
Forward closed progress: 4814189
Forward closed progress: 4799789
Forward closed progress: 4798008
Forward closed progress: 4754656
Forward closed progress: 4750557
Forward closed progress: 4749278
Forward closed progress: 4746676
Forward closed progress: 4728927
Forward closed progress: 4644190
Forward closed progress: 4864861
Forward closed progress: 4846625
Forward closed progress: 4730308
Forward closed progress: 4765811
Forward closed progress: 4762012
Forward closed progress: 4740320
Forward closed progress: 4857941
Forward closed progress: 4666578
Forward closed progress: 4581500
Forward closed progress: 4462012
Forward closed progress: 4489086
Forward closed progress: 4489714
Forward closed progress: 4296828
Forward closed progress: 4273944
Forward closed progress: 4263313
Forward closed progress: 4891271
Forward closed progress: 4656212
Forward closed progress: 4099021
Forward closed progress: 4169143
Forward closed progress: 4169255
Forward closed progress: 4100023
Forward closed progress: 4057986
Forward closed progress: 4039897
Forward closed progress: 3963845
Forward closed progress: 3992266
Forward closed progress: 3888335
Forward closed progress: 3886563
Forward closed progress: 3885527
Forward closed progress: 3869145
Forward closed progress: 3637408
Forward closed progress: 3637425
Forward closed progress: 3616729
Forward closed progress: 3176095
Forward closed progress: 2724944
Forward closed progress: 2198589
Forward closed progress: 2163194
Forward closed progress: 2783048
Forward closed progress: 2560023
Forward closed progress: 3517160
Forward closed progress: 3520483
Forward closed progress: 3518975
Forward closed progress: 3498290
Forward closed progress: 3713464
Forward closed progress: 3963240
Forward closed progress: 4009916
Forward closed progress: 4987629
Forward closed progress: 5469389
Forward closed progress: 6766842
Forward closed progress: 7697744
Forward closed progress: 7696368
Forward closed progress: 7484664
Forward closed progress: 6923933
Forward closed progress: 7052470
Forward closed progress: 7062882
Forward closed progress: 6996761
Forward closed progress: 6947300
Forward closed progress: 6772526
Forward closed progress: 6791778
Forward closed progress: 6821241
Forward closed progress: 6766403
Forward closed progress: 6768891
Forward closed progress: 6718150
Forward closed progress: 6643966
Forward closed progress: 6905937
Forward closed progress: 5889629
Forward closed progress: 6104720
Forward closed progress: 6105247
Forward closed progress: 5446128
Forward closed progress: 5192226
Forward closed progress: 5050682
Forward closed progress: 5033856
Forward closed progress: 5026027
Forward closed progress: 4862559
Forward closed progress: 4861783
Forward closed progress: 4862971
Forward closed progress: 4857201
Forward closed progress: 4781363
Forward closed progress: 4763499
Forward closed progress: 4760507
Forward closed progress: 4748150
Forward closed progress: 4760898
Forward closed progress: 4760928
Forward closed progress: 4752770
Forward closed progress: 4753042
Forward closed progress: 4753032
Forward closed progress: 4746722
Forward closed progress: 4744246
Forward closed progress: 4744331
Forward closed progress: 4744361
Forward closed progress: 4734697
Forward closed progress: 5907988
Forward closed progress: 5425231
Forward closed progress: 4217940
Forward closed progress: 4530152
Forward closed progress: 4530482
Forward closed progress: 4305802
Forward closed progress: 4256206
Forward closed progress: 4219316
Forward closed progress: 4035486
Forward closed progress: 4147451
Forward closed progress: 3973568
Forward closed progress: 3849044
Forward closed progress: 3325715
Forward closed progress: 2759429
Forward closed progress: 2318646
Forward closed progress: 2291108
Forward closed progress: 2288953
Forward closed progress: 2289942
Forward closed progress: 2284344
Forward closed progress: 2284122
Forward closed progress: 2283830
Forward closed progress: 2283046
Forward closed progress: 2204134
Forward closed progress: 2176420
Forward closed progress: 2096231
Forward closed progress: 2090293
Forward closed progress: 2094700
Forward closed progress: 2147795
Forward closed progress: 2144730
Forward closed progress: 2206879
Forward closed progress: 2267873
Forward closed progress: 2267959
Forward closed progress: 2178147
Forward closed progress: 2186889
Forward closed progress: 2187129
Forward closed progress: 2218481
Forward closed progress: 2218040
Forward closed progress: 2245947
Forward closed progress: 2240753
Forward closed progress: 2116075
Forward closed progress: 2116144
Forward closed progress: 2073976
Forward closed progress: 1985125
Forward closed progress: 1339155
Forward closed progress: 1344207
Forward closed progress: 1352592
Forward closed progress: 1304176
Forward closed progress: 1314473
Forward closed progress: 1307644
Forward closed progress: 1304118
Forward closed progress: 1303372
Forward closed progress: 1298738
Forward closed progress: 1286262
Forward closed progress: 1249681
Forward closed progress: 1665336
Forward closed progress: 1678047
Forward closed progress: 1865640
Forward closed progress: 2063755
Forward closed progress: 2128878
Forward closed progress: 2129792
Forward closed progress: 2129930
Forward closed progress: 2024046
Forward closed progress: 2021958
Forward closed progress: 2028092
Forward closed progress: 2058406
Forward closed progress: 2080250
Forward closed progress: 2082222
Forward closed progress: 2110209
Forward closed progress: 2271099
Forward closed progress: 2202738
Forward closed progress: 2094879
Forward closed progress: 2125533
Forward closed progress: 2156294
Forward closed progress: 2156478
Forward closed progress: 2156518
Forward closed progress: 2089145
Forward closed progress: 2055908
Forward closed progress: 2108469
Forward closed progress: 2119718
Forward closed progress: 2119854
Forward closed progress: 2119882
Forward closed progress: 2081467
Forward closed progress: 2055132
Forward closed progress: 2046354
Forward closed progress: 2048437
Forward closed progress: 2086989
Forward closed progress: 2162461
Forward closed progress: 2205021
Forward closed progress: 2496878
Forward closed progress: 2496968
Forward closed progress: 2233861
Forward closed progress: 2072473
Forward closed progress: 2071925
Forward closed progress: 2070975
Forward closed progress: 2071692
Forward closed progress: 2071716
Forward closed progress: 2071704
Forward closed progress: 2069574
Forward closed progress: 2065508
Forward closed progress: 2131403
Forward closed progress: 2063781
Forward closed progress: 2056726
Forward closed progress: 2058612
Forward closed progress: 2058617
Forward closed progress: 2058666
Forward closed progress: 2058678
Forward closed progress: 2058960
Forward closed progress: 2034085
Forward closed progress: 1863843
Forward closed progress: 1772267
Forward closed progress: 1737885
Forward closed progress: 1640373
Forward closed progress: 1636423
Forward closed progress: 1324610
Forward closed progress: 1325388
Forward closed progress: 1326892
Forward closed progress: 1324392
Forward closed progress: 1326994
Forward closed progress: 1325511
Forward closed progress: 1324769
Forward closed progress: 1324377
Forward closed progress: 1323537
Forward closed progress: 1320398
Forward closed progress: 1338854
Forward closed progress: 1324408
Forward closed progress: 1324408
Control exists for 9 color(s), jumping through 8993937054826496 vertices.
Elapsed: 26114423 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 26114.423
user ??
sys ??
