>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 20
Uncertainty colors: 1219276800
Perturbation colors: 1048576
All colors: 1278504389836800
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 527849435955200
Attractor colors computed in 460 ms.
Backward progress: 116672
Backward progress: 132848
Backward progress: 123590
Backward progress: 133531
Backward progress: 131981
Backward progress: 127510
Backward progress: 118256
Backward progress: 129931
Backward progress: 118770
Backward progress: 110153
Backward progress: 100068
Backward progress: 103618
Backward progress: 115235
Backward progress: 118247
Backward progress: 124815
Backward progress: 140814
Backward progress: 139491
Backward progress: 138849
Backward progress: 130380
Backward progress: 127533
Backward progress: 125189
Backward progress: 123969
Backward progress: 121316
Backward progress: 128666
Backward progress: 129842
Backward progress: 130430
Backward progress: 137780
Backward progress: 130724
Backward progress: 104721
Backward progress: 201656
Backward progress: 224408
Backward progress: 211872
Backward progress: 224360
Backward progress: 223572
Backward progress: 217953
Backward progress: 205322
Backward progress: 223317
Backward progress: 207225
Backward progress: 194996
Backward progress: 174762
Backward progress: 182232
Backward progress: 176256
Backward progress: 172272
Backward progress: 177252
Backward progress: 150858
Backward progress: 105901
Backward progress: 145810
Backward progress: 148108
Backward progress: 153591
Backward progress: 155718
Backward progress: 161993
Backward progress: 171745
Backward progress: 171121
Backward progress: 170504
Backward progress: 165245
Backward progress: 163333
Backward progress: 161488
Backward progress: 160638
Backward progress: 158813
Backward progress: 163763
Backward progress: 164555
Backward progress: 164951
Backward progress: 169901
Backward progress: 165149
Backward progress: 148018
Backward progress: 180174
Backward progress: 195238
Backward progress: 210892
Backward progress: 202735
Backward progress: 197401
Backward progress: 192694
Backward progress: 193067
Backward progress: 183106
Backward progress: 176427
Backward progress: 179397
Backward progress: 177021
Backward progress: 175437
Backward progress: 177417
Backward progress: 166923
Backward progress: 148216
Backward progress: 148216
Forward closed progress: 148217
Forward closed progress: 148222
Forward closed progress: 157415
Forward closed progress: 157265
Forward closed progress: 157628
Forward closed progress: 157359
Forward closed progress: 158802
Forward closed progress: 158219
Forward closed progress: 157737
Forward closed progress: 177247
Forward closed progress: 192784
Forward closed progress: 192784
Forward closed progress: 190629
Forward closed progress: 192009
Forward closed progress: 199599
Forward closed progress: 212378
Forward closed progress: 210998
Forward closed progress: 214448
Forward closed progress: 217208
Forward closed progress: 216518
Forward closed progress: 219278
Forward closed progress: 244118
Forward closed progress: 238598
Forward closed progress: 235838
Forward closed progress: 237908
Forward closed progress: 238598
Forward closed progress: 226178
Forward closed progress: 234458
Forward closed progress: 238598
Forward closed progress: 352739
Forward closed progress: 365953
Forward closed progress: 442242
Forward closed progress: 484306
Forward closed progress: 487270
Forward closed progress: 486616
Forward closed progress: 493272
Forward closed progress: 505036
Forward closed progress: 505186
Forward closed progress: 504206
Forward closed progress: 504246
Forward closed progress: 518486
Forward closed progress: 538111
Forward closed progress: 541639
Forward closed progress: 542815
Forward closed progress: 539679
Forward closed progress: 543599
Forward closed progress: 544775
Forward closed progress: 580839
Forward closed progress: 584759
Forward closed progress: 583975
Forward closed progress: 566091
Forward closed progress: 551587
Forward closed progress: 524323
Forward closed progress: 509035
Forward closed progress: 493740
Forward closed progress: 955516
Forward closed progress: 1107581
Forward closed progress: 1125431
Forward closed progress: 1184400
Forward closed progress: 1183862
Forward closed progress: 1180806
Forward closed progress: 1228679
Forward closed progress: 1228851
Forward closed progress: 1232557
Forward closed progress: 1227371
Forward closed progress: 1226323
Forward closed progress: 1252344
Forward closed progress: 1290405
Forward closed progress: 1296381
Forward closed progress: 1298373
Forward closed progress: 1294389
Forward closed progress: 1297045
Forward closed progress: 1297709
Forward closed progress: 1360110
Forward closed progress: 1366750
Forward closed progress: 1365422
Forward closed progress: 1277176
Forward closed progress: 1245968
Forward closed progress: 1113219
Forward closed progress: 1087323
Forward closed progress: 983285
Forward closed progress: 1213824
Forward closed progress: 1276803
Forward closed progress: 1412519
Forward closed progress: 1413856
Forward closed progress: 1414074
Forward closed progress: 1466961
Forward closed progress: 1471790
Forward closed progress: 1469959
Forward closed progress: 1491220
Forward closed progress: 1506373
Forward closed progress: 1506570
Forward closed progress: 1505116
Forward closed progress: 1505231
Forward closed progress: 1526198
Forward closed progress: 1557885
Forward closed progress: 1562934
Forward closed progress: 1564617
Forward closed progress: 1560657
Forward closed progress: 1564683
Forward closed progress: 1565838
Forward closed progress: 1617978
Forward closed progress: 1623588
Forward closed progress: 1622466
Forward closed progress: 1574117
Forward closed progress: 1550720
Forward closed progress: 1478563
Forward closed progress: 1456684
Forward closed progress: 1404202
Forward closed progress: 1672618
Forward closed progress: 1764189
Forward closed progress: 1902166
Forward closed progress: 1901381
Forward closed progress: 1925947
Forward closed progress: 1927287
Forward closed progress: 1928551
Forward closed progress: 1927742
Forward closed progress: 1927902
Forward closed progress: 1949095
Forward closed progress: 1978561
Forward closed progress: 1983610
Forward closed progress: 1985293
Forward closed progress: 1981927
Forward closed progress: 1984171
Forward closed progress: 1984732
Forward closed progress: 2037466
Forward closed progress: 2043076
Forward closed progress: 2041954
Forward closed progress: 1967953
Forward closed progress: 1941586
Forward closed progress: 1845589
Forward closed progress: 1823710
Forward closed progress: 1757642
Forward closed progress: 1662170
Forward closed progress: 1682068
Forward closed progress: 1758521
Forward closed progress: 1773321
Forward closed progress: 1746644
Forward closed progress: 1743932
Forward closed progress: 1742021
Forward closed progress: 1763309
Forward closed progress: 1755678
Forward closed progress: 1758214
Forward closed progress: 1756146
Forward closed progress: 1755869
Forward closed progress: 1767843
Forward closed progress: 1785001
Forward closed progress: 1787818
Forward closed progress: 1788757
Forward closed progress: 1786879
Forward closed progress: 1788131
Forward closed progress: 1788444
Forward closed progress: 1817866
Forward closed progress: 1820996
Forward closed progress: 1820370
Forward closed progress: 1778659
Forward closed progress: 1763948
Forward closed progress: 1702623
Forward closed progress: 1690416
Forward closed progress: 1637302
Forward closed progress: 1637302
Control exists for 503396450 color(s), jumping through 1048576 vertices.
Elapsed: 999431 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 999.431
user ??
sys ??
