>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 29393280
Perturbation colors: 9007199254740992
All colors: 264751129710393300000000
Unknown update functions: 9
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 13718324752940720000000
Attractor colors computed in 11525 ms.
Backward progress: 109483
Backward progress: 110922
Backward progress: 108999
Backward progress: 106348
Backward progress: 129447
Backward progress: 103925
Backward progress: 105224
Backward progress: 105096
Backward progress: 105341
Backward progress: 105178
Backward progress: 105186
Backward progress: 105019
Backward progress: 105051
Backward progress: 112570
Backward progress: 113558
Backward progress: 113698
Backward progress: 130226
Backward progress: 123341
Backward progress: 105655
Backward progress: 120235
Backward progress: 122231
Backward progress: 118752
Backward progress: 118784
Backward progress: 118779
Backward progress: 118781
Backward progress: 118462
Backward progress: 120956
Backward progress: 123095
Backward progress: 123067
Backward progress: 123084
Backward progress: 123004
Backward progress: 123014
Backward progress: 120831
Backward progress: 121215
Backward progress: 121991
Backward progress: 122043
Backward progress: 122048
Backward progress: 121916
Backward progress: 127743
Backward progress: 127568
Backward progress: 126152
Backward progress: 126134
Backward progress: 127129
Backward progress: 127122
Backward progress: 127202
Backward progress: 151829
Backward progress: 170628
Backward progress: 171512
Backward progress: 171524
Backward progress: 171298
Backward progress: 191162
Backward progress: 204130
Backward progress: 211237
Backward progress: 211241
Backward progress: 210829
Backward progress: 213834
Backward progress: 207449
Backward progress: 209420
Backward progress: 209454
Backward progress: 207545
Backward progress: 207449
Backward progress: 204666
Backward progress: 204261
Backward progress: 235260
Backward progress: 235701
Backward progress: 223314
Backward progress: 222941
Backward progress: 257778
Backward progress: 257192
Backward progress: 249520
Backward progress: 248757
Backward progress: 248735
Backward progress: 247594
Backward progress: 246534
Backward progress: 246304
Backward progress: 246173
Backward progress: 246322
Backward progress: 245166
Backward progress: 224012
Backward progress: 222973
Backward progress: 215924
Backward progress: 219209
Backward progress: 219253
Backward progress: 216290
Backward progress: 214525
Backward progress: 208277
Backward progress: 213940
Backward progress: 213949
Backward progress: 216418
Backward progress: 216007
Backward progress: 216029
Backward progress: 214593
Backward progress: 351173
Backward progress: 361916
Backward progress: 306249
Backward progress: 296929
Backward progress: 297096
Backward progress: 291435
Backward progress: 280129
Backward progress: 280949
Backward progress: 281627
Backward progress: 288347
Backward progress: 287108
Backward progress: 294952
Backward progress: 293672
Backward progress: 287360
Backward progress: 289590
Backward progress: 326058
Backward progress: 326908
Backward progress: 308397
Backward progress: 268193
Backward progress: 269809
Backward progress: 266959
Backward progress: 265181
Backward progress: 253272
Backward progress: 261001
Backward progress: 261021
Backward progress: 259095
Backward progress: 259071
Backward progress: 258553
Backward progress: 253189
Backward progress: 251147
Backward progress: 248828
Backward progress: 250117
Backward progress: 249990
Backward progress: 250294
Backward progress: 251858
Backward progress: 251785
Backward progress: 240317
Backward progress: 243559
Backward progress: 239495
Backward progress: 236027
Backward progress: 236035
Backward progress: 235477
Backward progress: 235725
Backward progress: 235381
Backward progress: 234767
Backward progress: 234486
Backward progress: 226838
Backward progress: 227350
Backward progress: 225744
Backward progress: 216262
Backward progress: 215285
Backward progress: 221668
Backward progress: 221696
Backward progress: 219708
Backward progress: 219692
Backward progress: 219474
Backward progress: 214999
Backward progress: 211766
Backward progress: 497591
Backward progress: 427502
Backward progress: 430713
Backward progress: 353426
Backward progress: 320302
Backward progress: 364274
Backward progress: 364392
Backward progress: 337550
Backward progress: 335300
Backward progress: 335258
Backward progress: 327649
Backward progress: 322728
Backward progress: 322038
Backward progress: 321613
Backward progress: 321750
Backward progress: 318342
Backward progress: 301350
Backward progress: 302003
Backward progress: 302409
Backward progress: 300422
Backward progress: 300934
Backward progress: 300831
Backward progress: 300661
Backward progress: 300466
Backward progress: 302403
Backward progress: 300433
Backward progress: 278176
Backward progress: 340434
Backward progress: 301742
Backward progress: 296633
Backward progress: 293707
Backward progress: 292605
Backward progress: 286123
Backward progress: 326548
Backward progress: 326923
Backward progress: 294093
Backward progress: 295682
Backward progress: 249092
Backward progress: 242925
Backward progress: 247817
Backward progress: 238593
Backward progress: 232843
Backward progress: 243642
Backward progress: 241691
Backward progress: 247257
Backward progress: 241684
Backward progress: 243254
Backward progress: 244913
Backward progress: 245186
Backward progress: 245599
Backward progress: 245359
Backward progress: 246533
Backward progress: 246598
Backward progress: 247198
Backward progress: 247200
Backward progress: 247095
Backward progress: 246930
Backward progress: 248093
Backward progress: 231212
Backward progress: 232966
Backward progress: 232874
Backward progress: 232926
Backward progress: 232911
Backward progress: 232991
Backward progress: 233133
Backward progress: 233135
Backward progress: 233078
Backward progress: 232987
Backward progress: 233057
Backward progress: 240342
Backward progress: 240302
Backward progress: 240281
Backward progress: 239552
Backward progress: 239266
Backward progress: 241211
Backward progress: 287249
Backward progress: 291481
Backward progress: 142627
Backward progress: 102827
Backward progress: 266771
Backward progress: 297969
Backward progress: 155217
Backward progress: 166467
Backward progress: 219334
Backward progress: 216517
Backward progress: 216756
Backward progress: 216693
Backward progress: 200056
Backward progress: 197228
Backward progress: 205053
Backward progress: 193168
Backward progress: 205690
Backward progress: 201552
Backward progress: 208591
Backward progress: 221270
Backward progress: 225785
Backward progress: 262857
Backward progress: 273020
Backward progress: 272416
Backward progress: 289473
Backward progress: 384508
Backward progress: 388094
Backward progress: 380560
Backward progress: 230682
Backward progress: 235772
Backward progress: 232951
Backward progress: 251202
Backward progress: 219457
Backward progress: 236424
Backward progress: 236470
Backward progress: 232871
Backward progress: 232837
Backward progress: 230118
Backward progress: 215417
Backward progress: 212295
Backward progress: 217771
Backward progress: 217645
Backward progress: 196536
Backward progress: 352143
Backward progress: 382430
Backward progress: 228086
Backward progress: 245792
Backward progress: 245826
Backward progress: 235324
Backward progress: 235200
Backward progress: 227278
Backward progress: 206321
Backward progress: 200614
Backward progress: 203519
Backward progress: 203413
Backward progress: 200093
Backward progress: 199847
Backward progress: 203107
Backward progress: 199820
Backward progress: 178954
Backward progress: 193947
Backward progress: 201080
Backward progress: 198412
Backward progress: 210066
Backward progress: 198284
Backward progress: 217142
Backward progress: 205318
Backward progress: 214623
Backward progress: 185995
Backward progress: 186418
Backward progress: 192132
Backward progress: 192920
Backward progress: 194324
Backward progress: 194330
Backward progress: 198846
Backward progress: 198990
Backward progress: 203588
Backward progress: 203596
Backward progress: 202826
Backward progress: 201522
Backward progress: 208826
Backward progress: 208458
Backward progress: 208710
Backward progress: 208634
Backward progress: 208962
Backward progress: 210030
Backward progress: 210038
Backward progress: 209634
Backward progress: 208906
Backward progress: 209208
Backward progress: 236996
Backward progress: 236908
Backward progress: 236740
Backward progress: 235460
Backward progress: 233228
Backward progress: 248430
Backward progress: 248434
Backward progress: 118553
Backward progress: 124998
Backward progress: 117198
Backward progress: 120072
Backward progress: 130103
Backward progress: 121687
Backward progress: 125620
Backward progress: 126236
Backward progress: 124800
Backward progress: 121440
Backward progress: 116505
Backward progress: 122496
Backward progress: 118412
Backward progress: 115540
Backward progress: 138889
Backward progress: 185592
Backward progress: 174871
Backward progress: 174037
Backward progress: 174209
Backward progress: 174151
Backward progress: 184805
Backward progress: 188825
Backward progress: 214852
Backward progress: 215719
Backward progress: 218763
Backward progress: 238511
Backward progress: 231825
Backward progress: 239968
Backward progress: 266350
Backward progress: 274874
Backward progress: 297359
Backward progress: 303681
Backward progress: 312408
Backward progress: 303615
Backward progress: 303328
Backward progress: 303487
Backward progress: 303503
Backward progress: 295155
Backward progress: 292245
Backward progress: 289761
Backward progress: 288143
Backward progress: 311330
Backward progress: 307610
Backward progress: 318504
Backward progress: 321028
Backward progress: 321574
Backward progress: 343368
Backward progress: 370531
Backward progress: 370234
Backward progress: 368930
Backward progress: 368820
Backward progress: 368541
Backward progress: 422177
Backward progress: 327766
Backward progress: 325799
Backward progress: 298291
Backward progress: 253024
Backward progress: 254097
Backward progress: 253263
Backward progress: 257883
Backward progress: 242322
Backward progress: 250214
Backward progress: 250230
Backward progress: 248900
Backward progress: 248895
Backward progress: 248100
Backward progress: 239530
Backward progress: 238452
Backward progress: 249016
Backward progress: 275301
Backward progress: 264441
Backward progress: 266606
Backward progress: 267627
Backward progress: 267626
Backward progress: 267662
Backward progress: 267666
Backward progress: 267645
Backward progress: 267653
Backward progress: 268115
Backward progress: 268091
Backward progress: 268479
Backward progress: 268477
Backward progress: 268493
Backward progress: 268495
Backward progress: 268249
Backward progress: 268582
Backward progress: 269140
Backward progress: 269142
Backward progress: 270818
Backward progress: 270503
Backward progress: 270277
Backward progress: 270274
Backward progress: 272052
Backward progress: 272132
Backward progress: 272136
Backward progress: 271197
Backward progress: 271230
Backward progress: 271035
Backward progress: 271059
Backward progress: 269658
Backward progress: 269959
Backward progress: 269961
Backward progress: 269690
Backward progress: 269215
Backward progress: 268929
Backward progress: 463624
Backward progress: 455247
Backward progress: 353544
Backward progress: 352091
Backward progress: 360967
Backward progress: 360977
Backward progress: 355023
Backward progress: 354988
Backward progress: 351484
Backward progress: 336557
Backward progress: 351220
Backward progress: 354017
Backward progress: 350775
Backward progress: 351426
Backward progress: 351235
Backward progress: 351255
Backward progress: 351263
Backward progress: 351124
Backward progress: 351088
Backward progress: 351086
Backward progress: 351058
Backward progress: 363584
Backward progress: 340259
Backward progress: 340672
Backward progress: 326508
Backward progress: 332390
Backward progress: 328872
Backward progress: 328732
Backward progress: 320864
Backward progress: 320877
Backward progress: 321840
Backward progress: 322011
Backward progress: 322190
Backward progress: 322193
Backward progress: 322993
Backward progress: 323002
Backward progress: 323936
Backward progress: 323938
Backward progress: 323731
Backward progress: 323400
Backward progress: 324610
Backward progress: 324562
Backward progress: 324611
Backward progress: 324588
Backward progress: 324633
Backward progress: 324853
Backward progress: 324855
Backward progress: 324773
Backward progress: 324604
Backward progress: 324621
Backward progress: 331677
Backward progress: 331669
Backward progress: 331623
Backward progress: 331504
Backward progress: 331058
Backward progress: 330171
Backward progress: 363644
Backward progress: 345045
Backward progress: 345037
Backward progress: 345077
Backward progress: 345101
Backward progress: 345109
Backward progress: 345223
Backward progress: 344913
Backward progress: 126317
Forward closed progress: 121910
Forward closed progress: 124957
Forward closed progress: 113014
Forward closed progress: 112026
Forward closed progress: 111847
Forward closed progress: 114307
Forward closed progress: 103613
Forward closed progress: 103697
Control exists for 1523040 color(s), jumping through 8 vertices.
Elapsed: 996691 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 996.691
user ??
sys ??
