>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 20
Uncertainty colors: 2947492800
Perturbation colors: 1048576
All colors: 3090670210252800
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 5
Attractor colors: 573860478976000
Attractor colors computed in 9880 ms.
Backward progress: 149531
Backward progress: 141783
Backward progress: 118895
Backward progress: 246949
Backward progress: 223545
Backward progress: 240512
Backward progress: 242119
Backward progress: 242163
Backward progress: 242262
Backward progress: 217236
Backward progress: 217418
Backward progress: 216370
Backward progress: 205249
Backward progress: 211065
Backward progress: 205285
Backward progress: 166327
Backward progress: 168964
Backward progress: 168667
Backward progress: 166887
Backward progress: 165538
Backward progress: 162441
Backward progress: 101821
Backward progress: 240440
Backward progress: 227382
Backward progress: 214564
Backward progress: 213027
Backward progress: 398576
Backward progress: 365975
Backward progress: 403333
Backward progress: 407368
Backward progress: 406660
Backward progress: 407007
Backward progress: 364315
Backward progress: 364502
Backward progress: 360578
Backward progress: 337505
Backward progress: 344380
Backward progress: 337689
Backward progress: 284215
Backward progress: 287218
Backward progress: 286437
Backward progress: 284028
Backward progress: 282303
Backward progress: 273253
Backward progress: 165623
Backward progress: 155055
Backward progress: 128690
Backward progress: 129912
Backward progress: 130166
Backward progress: 143557
Backward progress: 145125
Backward progress: 145142
Backward progress: 147321
Backward progress: 143976
Backward progress: 143906
Backward progress: 144812
Backward progress: 144694
Backward progress: 143271
Backward progress: 142687
Backward progress: 148643
Backward progress: 147105
Backward progress: 147323
Backward progress: 147336
Backward progress: 145708
Backward progress: 145846
Backward progress: 145846
Backward progress: 146176
Backward progress: 147677
Backward progress: 146042
Backward progress: 140966
Backward progress: 141540
Backward progress: 141468
Backward progress: 141056
Backward progress: 140678
Backward progress: 140024
Backward progress: 138532
Backward progress: 135552
Backward progress: 129619
Backward progress: 130335
Backward progress: 130499
Backward progress: 130957
Backward progress: 138008
Backward progress: 137418
Backward progress: 137310
Backward progress: 138811
Backward progress: 138714
Backward progress: 139021
Backward progress: 138261
Backward progress: 141225
Backward progress: 141686
Backward progress: 141940
Backward progress: 141927
Backward progress: 140604
Backward progress: 140720
Backward progress: 140688
Backward progress: 141018
Backward progress: 141917
Backward progress: 140912
Backward progress: 138391
Backward progress: 138639
Backward progress: 138563
Backward progress: 138299
Backward progress: 138081
Backward progress: 137335
Backward progress: 134906
Backward progress: 133089
Backward progress: 129623
Backward progress: 129623
Forward closed progress: 129624
Forward closed progress: 184230
Forward closed progress: 184681
Forward closed progress: 192110
Forward closed progress: 192656
Forward closed progress: 198155
Forward closed progress: 236075
Forward closed progress: 277836
Forward closed progress: 260327
Forward closed progress: 257187
Forward closed progress: 252404
Forward closed progress: 253249
Forward closed progress: 258059
Forward closed progress: 258715
Forward closed progress: 302029
Forward closed progress: 303103
Forward closed progress: 302111
Forward closed progress: 291475
Forward closed progress: 291612
Forward closed progress: 294397
Forward closed progress: 304776
Forward closed progress: 306216
Forward closed progress: 308930
Forward closed progress: 309971
Forward closed progress: 310032
Forward closed progress: 316660
Forward closed progress: 315404
Forward closed progress: 314300
Forward closed progress: 300959
Forward closed progress: 345999
Forward closed progress: 332341
Forward closed progress: 491759
Forward closed progress: 492770
Forward closed progress: 475761
Forward closed progress: 507480
Forward closed progress: 499467
Forward closed progress: 635289
Forward closed progress: 629876
Forward closed progress: 633521
Forward closed progress: 634458
Forward closed progress: 631291
Forward closed progress: 631420
Forward closed progress: 565986
Forward closed progress: 562557
Forward closed progress: 555594
Forward closed progress: 478151
Forward closed progress: 474460
Forward closed progress: 468505
Forward closed progress: 451738
Forward closed progress: 306032
Forward closed progress: 300961
Forward closed progress: 399311
Forward closed progress: 411248
Forward closed progress: 717392
Forward closed progress: 781823
Forward closed progress: 1132999
Forward closed progress: 1658790
Forward closed progress: 1568231
Forward closed progress: 1394110
Forward closed progress: 1371255
Forward closed progress: 1436511
Forward closed progress: 1456811
Forward closed progress: 1448309
Forward closed progress: 1453256
Forward closed progress: 1358130
Forward closed progress: 1346361
Forward closed progress: 1320765
Forward closed progress: 1283729
Forward closed progress: 1247560
Forward closed progress: 1230084
Forward closed progress: 1215614
Forward closed progress: 1206533
Forward closed progress: 1047062
Forward closed progress: 1048686
Forward closed progress: 1026631
Forward closed progress: 1348657
Forward closed progress: 1246008
Forward closed progress: 1638204
Forward closed progress: 1668290
Forward closed progress: 1579288
Forward closed progress: 1746381
Forward closed progress: 1744183
Forward closed progress: 2188133
Forward closed progress: 2176731
Forward closed progress: 2182462
Forward closed progress: 2196136
Forward closed progress: 2167374
Forward closed progress: 2161384
Forward closed progress: 1974610
Forward closed progress: 1945746
Forward closed progress: 1908806
Forward closed progress: 1754084
Forward closed progress: 1735882
Forward closed progress: 1717350
Forward closed progress: 1674068
Forward closed progress: 1670864
Forward closed progress: 1351678
Forward closed progress: 1345238
Forward closed progress: 1337772
Forward closed progress: 1344896
Forward closed progress: 1344792
Forward closed progress: 1364444
Forward closed progress: 1387235
Forward closed progress: 1373388
Forward closed progress: 1372590
Forward closed progress: 1374789
Forward closed progress: 1375382
Forward closed progress: 1375841
Forward closed progress: 1376093
Forward closed progress: 1369662
Forward closed progress: 1370358
Forward closed progress: 1369281
Forward closed progress: 1371237
Forward closed progress: 1366763
Forward closed progress: 1366049
Forward closed progress: 1365351
Forward closed progress: 1364853
Forward closed progress: 1356239
Forward closed progress: 1356851
Forward closed progress: 1353543
Forward closed progress: 1353543
Control exists for 547276000 color(s), jumping through 1048576 vertices.
Elapsed: 737192 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 737.192
user ??
sys ??
