>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 169344
Perturbation colors: 9007199254740992
All colors: 1525315150594858500000
Unknown update functions: 3
Lowest cardinality: 2
Highest cardinality: 4
Attractor colors: 379058973436519900000
Attractor colors computed in 90653 ms.
Backward progress: 109426
Backward progress: 115306
Backward progress: 113056
Backward progress: 113236
Backward progress: 113231
Backward progress: 113233
Backward progress: 112186
Backward progress: 120156
Backward progress: 123695
Backward progress: 123464
Backward progress: 123433
Backward progress: 119828
Backward progress: 119248
Backward progress: 118654
Backward progress: 112656
Backward progress: 114111
Backward progress: 117494
Backward progress: 117441
Backward progress: 117631
Backward progress: 117197
Backward progress: 126786
Backward progress: 126666
Backward progress: 123702
Backward progress: 125821
Backward progress: 126271
Backward progress: 162144
Backward progress: 180633
Backward progress: 181141
Backward progress: 181145
Backward progress: 180991
Backward progress: 199801
Backward progress: 216910
Backward progress: 218611
Backward progress: 218415
Backward progress: 218231
Backward progress: 224762
Backward progress: 214955
Backward progress: 218319
Backward progress: 218337
Backward progress: 215011
Backward progress: 214955
Backward progress: 212694
Backward progress: 212122
Backward progress: 236049
Backward progress: 236394
Backward progress: 223832
Backward progress: 223784
Backward progress: 288493
Backward progress: 288045
Backward progress: 270022
Backward progress: 267865
Backward progress: 265607
Backward progress: 264088
Backward progress: 263716
Backward progress: 225671
Backward progress: 225783
Backward progress: 215856
Backward progress: 219261
Backward progress: 219279
Backward progress: 215980
Backward progress: 215429
Backward progress: 205696
Backward progress: 209388
Backward progress: 209493
Backward progress: 216242
Backward progress: 215953
Backward progress: 215969
Backward progress: 213899
Backward progress: 357654
Backward progress: 384991
Backward progress: 296341
Backward progress: 287128
Backward progress: 287206
Backward progress: 278063
Backward progress: 272001
Backward progress: 276625
Backward progress: 280252
Backward progress: 288619
Backward progress: 286751
Backward progress: 289858
Backward progress: 293715
Backward progress: 286611
Backward progress: 294564
Backward progress: 294564
Backward progress: 295052
Backward progress: 275205
Backward progress: 265166
Backward progress: 269464
Backward progress: 264686
Backward progress: 262234
Backward progress: 246281
Backward progress: 260544
Backward progress: 260556
Backward progress: 256853
Backward progress: 256841
Backward progress: 255857
Backward progress: 246254
Backward progress: 242802
Backward progress: 240702
Backward progress: 241136
Backward progress: 242845
Backward progress: 243340
Backward progress: 244833
Backward progress: 244585
Backward progress: 240945
Backward progress: 242751
Backward progress: 241329
Backward progress: 237881
Backward progress: 238565
Backward progress: 237293
Backward progress: 237903
Backward progress: 237412
Backward progress: 236584
Backward progress: 237542
Backward progress: 230779
Backward progress: 231800
Backward progress: 230102
Backward progress: 221158
Backward progress: 215641
Backward progress: 226709
Backward progress: 226717
Backward progress: 223050
Backward progress: 223072
Backward progress: 222912
Backward progress: 215500
Backward progress: 211439
Backward progress: 487649
Backward progress: 424517
Backward progress: 437259
Backward progress: 398021
Backward progress: 383577
Backward progress: 457257
Backward progress: 457309
Backward progress: 398229
Backward progress: 391704
Backward progress: 385642
Backward progress: 378885
Backward progress: 366445
Backward progress: 365562
Backward progress: 367122
Backward progress: 365928
Backward progress: 364998
Backward progress: 363684
Backward progress: 364410
Backward progress: 365860
Backward progress: 365765
Backward progress: 368077
Backward progress: 365722
Backward progress: 342138
Backward progress: 389518
Backward progress: 357992
Backward progress: 355489
Backward progress: 354055
Backward progress: 353715
Backward progress: 352073
Backward progress: 395248
Backward progress: 401171
Backward progress: 363560
Backward progress: 377158
Backward progress: 347343
Backward progress: 322576
Backward progress: 337135
Backward progress: 332333
Backward progress: 313668
Backward progress: 328260
Backward progress: 324154
Backward progress: 329239
Backward progress: 338748
Backward progress: 341451
Backward progress: 343447
Backward progress: 341669
Backward progress: 346014
Backward progress: 352659
Backward progress: 352756
Backward progress: 352508
Backward progress: 352526
Backward progress: 351907
Backward progress: 358274
Backward progress: 359484
Backward progress: 360338
Backward progress: 359699
Backward progress: 361908
Backward progress: 361606
Backward progress: 364334
Backward progress: 364340
Backward progress: 363654
Backward progress: 363645
Backward progress: 363520
Backward progress: 362473
Backward progress: 370110
Backward progress: 338384
Backward progress: 342220
Backward progress: 342108
Backward progress: 342948
Backward progress: 342865
Backward progress: 343181
Backward progress: 343950
Backward progress: 343952
Backward progress: 343590
Backward progress: 343442
Backward progress: 341979
Backward progress: 368637
Backward progress: 368879
Backward progress: 368807
Backward progress: 361674
Backward progress: 359336
Backward progress: 359766
Backward progress: 360813
Backward progress: 359768
Backward progress: 360390
Backward progress: 360392
Backward progress: 360014
Backward progress: 359999
Backward progress: 360286
Backward progress: 359657
Backward progress: 362937
Backward progress: 145805
Backward progress: 102143
Backward progress: 102143
Backward progress: 102481
Backward progress: 102367
Backward progress: 107577
Backward progress: 116727
Backward progress: 100396
Backward progress: 100402
Backward progress: 102526
Backward progress: 103271
Backward progress: 105291
Backward progress: 106337
Backward progress: 106248
Backward progress: 109960
Backward progress: 110187
Backward progress: 108897
Backward progress: 109157
Backward progress: 108131
Backward progress: 114364
Backward progress: 115540
Backward progress: 116025
Backward progress: 115968
Backward progress: 118226
Backward progress: 117920
Backward progress: 122907
Backward progress: 122913
Backward progress: 121731
Backward progress: 121725
Backward progress: 121494
Backward progress: 119591
Backward progress: 124151
Backward progress: 124039
Backward progress: 124911
Backward progress: 124826
Backward progress: 125047
Backward progress: 126432
Backward progress: 126434
Backward progress: 125791
Backward progress: 125495
Backward progress: 124027
Backward progress: 151928
Backward progress: 152211
Backward progress: 152077
Backward progress: 147367
Backward progress: 143180
Backward progress: 147818
Backward progress: 149656
Backward progress: 148673
Backward progress: 149793
Backward progress: 149795
Backward progress: 149165
Backward progress: 149135
Backward progress: 149459
Backward progress: 148531
Backward progress: 148531
Backward progress: 103143
Backward progress: 100438
Backward progress: 100592
Backward progress: 128889
Backward progress: 159773
Backward progress: 159417
Backward progress: 157743
Backward progress: 157805
Backward progress: 157800
Backward progress: 151723
Backward progress: 152609
Backward progress: 167703
Backward progress: 167749
Backward progress: 168978
Backward progress: 183153
Backward progress: 172388
Backward progress: 178321
Backward progress: 232094
Backward progress: 240344
Backward progress: 255629
Backward progress: 253792
Backward progress: 243795
Backward progress: 243839
Backward progress: 228578
Backward progress: 217820
Backward progress: 202428
Backward progress: 199741
Backward progress: 200813
Backward progress: 223397
Backward progress: 216598
Backward progress: 231706
Backward progress: 232618
Backward progress: 233585
Backward progress: 243358
Backward progress: 254066
Backward progress: 253920
Backward progress: 252860
Backward progress: 278375
Backward progress: 180165
Backward progress: 179985
Backward progress: 173092
Backward progress: 165358
Backward progress: 167301
Backward progress: 166350
Backward progress: 170063
Backward progress: 159868
Backward progress: 167394
Backward progress: 167402
Backward progress: 166114
Backward progress: 166111
Backward progress: 165558
Backward progress: 159104
Backward progress: 158430
Backward progress: 159323
Backward progress: 168208
Backward progress: 170533
Backward progress: 171201
Backward progress: 171438
Backward progress: 171435
Backward progress: 172048
Backward progress: 172872
Backward progress: 167389
Backward progress: 167904
Backward progress: 167747
Backward progress: 167954
Backward progress: 167889
Backward progress: 168049
Backward progress: 167851
Backward progress: 167653
Backward progress: 167036
Backward progress: 168313
Backward progress: 168315
Backward progress: 167726
Backward progress: 167726
Backward progress: 167712
Backward progress: 166886
Backward progress: 166797
Backward progress: 262559
Backward progress: 265784
Backward progress: 264425
Backward progress: 216204
Backward progress: 215631
Backward progress: 220736
Backward progress: 220740
Backward progress: 215432
Backward progress: 215412
Backward progress: 213959
Backward progress: 208095
Backward progress: 211682
Backward progress: 210766
Backward progress: 213660
Backward progress: 214999
Backward progress: 217139
Backward progress: 217313
Backward progress: 217095
Backward progress: 218066
Backward progress: 217164
Backward progress: 217276
Backward progress: 238526
Backward progress: 241837
Backward progress: 248782
Backward progress: 241933
Backward progress: 248152
Backward progress: 252694
Backward progress: 254586
Backward progress: 254821
Backward progress: 254826
Backward progress: 258205
Backward progress: 257300
Backward progress: 255774
Backward progress: 255822
Backward progress: 255172
Backward progress: 259337
Backward progress: 260197
Backward progress: 260368
Backward progress: 260344
Backward progress: 261639
Backward progress: 261496
Backward progress: 266090
Backward progress: 266092
Backward progress: 264564
Backward progress: 264547
Backward progress: 264162
Backward progress: 262510
Backward progress: 265810
Backward progress: 265698
Backward progress: 266167
Backward progress: 266055
Backward progress: 266220
Backward progress: 267099
Backward progress: 267101
Backward progress: 266727
Backward progress: 266337
Backward progress: 265015
Backward progress: 290331
Backward progress: 290260
Backward progress: 289968
Backward progress: 287803
Backward progress: 284904
Backward progress: 282398
Backward progress: 283233
Backward progress: 282773
Backward progress: 283800
Backward progress: 283802
Backward progress: 283409
Backward progress: 283343
Backward progress: 283902
Backward progress: 282775
Backward progress: 288585
Backward progress: 104359
Backward progress: 103292
Backward progress: 103108
Backward progress: 104100
Forward closed progress: 136650
Forward closed progress: 141657
Forward closed progress: 137340
Forward closed progress: 136540
Forward closed progress: 131875
Forward closed progress: 130181
Forward closed progress: 121894
Control exists for 42084 color(s), jumping through 8 vertices.
Elapsed: 790945 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 790.945
user ??
sys ??
