>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 6096384000
Perturbation colors: 9007199254740992
All colors: 54911345421414910000000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 102994
Backward progress: 131475
Backward progress: 125853
Backward progress: 106018
Backward progress: 100061
Backward progress: 100067
Backward progress: 100965
Backward progress: 102046
Backward progress: 104874
Backward progress: 127931
Backward progress: 108216
Backward progress: 124275
Backward progress: 123949
Backward progress: 123902
Backward progress: 123934
Backward progress: 121557
Backward progress: 121241
Backward progress: 194717
Backward progress: 123374
Backward progress: 128664
Backward progress: 128694
Backward progress: 124915
Backward progress: 123326
Backward progress: 134298
Backward progress: 122348
Backward progress: 145146
Backward progress: 138684
Backward progress: 129770
Backward progress: 128300
Backward progress: 166207
Backward progress: 153984
Backward progress: 154082
Backward progress: 173370
Backward progress: 171150
Backward progress: 167578
Backward progress: 178117
Backward progress: 182236
Backward progress: 189020
Backward progress: 188838
Backward progress: 189105
Backward progress: 188863
Backward progress: 188872
Backward progress: 185011
Backward progress: 182565
Backward progress: 186679
Backward progress: 184570
Backward progress: 183875
Backward progress: 183983
Backward progress: 183957
Backward progress: 177211
Backward progress: 171726
Backward progress: 186906
Backward progress: 187074
Backward progress: 184747
Backward progress: 184895
Backward progress: 184920
Backward progress: 184929
Backward progress: 183433
Backward progress: 183555
Backward progress: 206723
Backward progress: 203881
Backward progress: 203676
Backward progress: 201065
Backward progress: 198854
Backward progress: 201060
Backward progress: 200488
Backward progress: 201581
Backward progress: 202295
Backward progress: 210831
Backward progress: 210873
Backward progress: 198861
Backward progress: 196647
Backward progress: 197644
Backward progress: 199602
Backward progress: 212394
Backward progress: 211967
Backward progress: 211988
Backward progress: 211395
Backward progress: 220651
Backward progress: 220875
Backward progress: 220153
Backward progress: 219964
Backward progress: 219897
Backward progress: 264703
Backward progress: 231905
Backward progress: 237916
Backward progress: 237979
Backward progress: 232049
Backward progress: 230618
Backward progress: 228764
Backward progress: 218886
Backward progress: 254241
Backward progress: 254241
Backward progress: 220803
Backward progress: 214607
Backward progress: 220666
Backward progress: 220729
Backward progress: 214715
Backward progress: 221115
Backward progress: 214715
Backward progress: 220696
Backward progress: 220759
Backward progress: 214655
Backward progress: 214601
Backward progress: 222057
Backward progress: 214625
Backward progress: 482177
Backward progress: 507994
Backward progress: 439684
Backward progress: 371117
Backward progress: 371201
Backward progress: 371135
Backward progress: 371038
Backward progress: 337650
Backward progress: 337116
Backward progress: 336520
Backward progress: 339560
Backward progress: 339664
Backward progress: 352033
Backward progress: 340278
Backward progress: 339007
Backward progress: 332835
Backward progress: 326428
Backward progress: 326924
Backward progress: 337631
Backward progress: 337624
Backward progress: 333570
Backward progress: 337027
Backward progress: 322151
Backward progress: 337390
Backward progress: 364095
Backward progress: 336104
Backward progress: 325204
Backward progress: 357495
Backward progress: 317029
Backward progress: 318955
Backward progress: 318973
Backward progress: 318701
Backward progress: 316989
Backward progress: 316405
Backward progress: 322042
Backward progress: 320708
Backward progress: 320043
Backward progress: 319636
Backward progress: 344762
Backward progress: 340318
Backward progress: 339079
Backward progress: 349762
Backward progress: 347383
Backward progress: 312087
Backward progress: 312838
Backward progress: 314156
Backward progress: 310098
Backward progress: 315089
Backward progress: 309370
Backward progress: 306229
Backward progress: 303158
Backward progress: 303167
Backward progress: 307785
Backward progress: 301822
Backward progress: 303479
Backward progress: 299495
Backward progress: 290325
Backward progress: 291461
Backward progress: 296299
Backward progress: 296222
Backward progress: 296240
Backward progress: 299314
Backward progress: 298538
Backward progress: 295230
Backward progress: 295321
Backward progress: 297025
Backward progress: 297025
Backward progress: 300029
Backward progress: 298365
Backward progress: 297128
Backward progress: 294461
Backward progress: 292808
Backward progress: 294547
Backward progress: 292683
Backward progress: 293657
Backward progress: 292561
Backward progress: 426465
Backward progress: 376407
Backward progress: 376667
Backward progress: 221048
Backward progress: 214676
Backward progress: 240341
Backward progress: 240452
Backward progress: 224951
Backward progress: 218814
Backward progress: 215220
Backward progress: 208248
Backward progress: 198531
Backward progress: 203889
Backward progress: 202482
Backward progress: 205247
Backward progress: 204285
Backward progress: 194890
Backward progress: 192709
Backward progress: 193114
Backward progress: 192772
Backward progress: 192792
Backward progress: 192756
Backward progress: 191865
Backward progress: 191155
Backward progress: 179518
Backward progress: 179974
Backward progress: 180616
Backward progress: 177048
Backward progress: 482340
Backward progress: 338862
Backward progress: 397468
Backward progress: 407630
Backward progress: 382991
Backward progress: 383089
Backward progress: 383054
Backward progress: 320320
Backward progress: 307715
Backward progress: 289972
Backward progress: 288509
Backward progress: 288615
Backward progress: 282212
Backward progress: 280482
Backward progress: 284026
Backward progress: 284134
Backward progress: 304776
Backward progress: 288216
Backward progress: 288019
Backward progress: 279581
Backward progress: 279458
Backward progress: 290203
Backward progress: 317156
Backward progress: 317149
Backward progress: 316946
Backward progress: 341450
Backward progress: 341642
Backward progress: 393972
Backward progress: 359702
Backward progress: 364242
Backward progress: 362709
Backward progress: 405426
Backward progress: 363296
Backward progress: 366162
Backward progress: 366180
Backward progress: 365904
Backward progress: 363240
Backward progress: 362715
Backward progress: 372703
Backward progress: 367137
Backward progress: 366540
Backward progress: 366602
Backward progress: 365300
Backward progress: 397148
Backward progress: 396188
Backward progress: 395640
Backward progress: 424844
Backward progress: 420450
Backward progress: 385984
Backward progress: 378406
Backward progress: 379530
Backward progress: 382854
Backward progress: 382260
Backward progress: 392850
Backward progress: 380888
Backward progress: 372488
Backward progress: 364701
Backward progress: 364675
Backward progress: 377466
Backward progress: 359074
Backward progress: 361847
Backward progress: 357869
Backward progress: 363756
Backward progress: 354664
Backward progress: 379646
Backward progress: 369053
Backward progress: 371287
Backward progress: 369045
Backward progress: 372685
Backward progress: 372733
Backward progress: 371693
Backward progress: 376727
Backward progress: 376007
Backward progress: 366917
Backward progress: 367095
Backward progress: 367211
Backward progress: 362757
Backward progress: 364545
Backward progress: 362391
Backward progress: 360715
Backward progress: 359500
Backward progress: 361851
Backward progress: 358527
Backward progress: 358734
Backward progress: 357459
Backward progress: 360095
Backward progress: 262280
Backward progress: 267964
Backward progress: 267982
Backward progress: 267220
Backward progress: 262356
Backward progress: 252239
Backward progress: 153390
Backward progress: 150522
Backward progress: 123877
Backward progress: 122330
Backward progress: 115286
Backward progress: 102216
Backward progress: 106375
Backward progress: 101567
Backward progress: 101950
Attractor colors: 1764898580320436700000000
Attractor colors computed in 832915 ms.
Backward progress: 103047
Backward progress: 103047
Backward progress: 161437
Backward progress: 165991
Backward progress: 140293
Backward progress: 120997
Backward progress: 121055
Backward progress: 121031
Backward progress: 107627
Backward progress: 108820
Backward progress: 108854
Backward progress: 112949
Backward progress: 109092
Backward progress: 108131
Backward progress: 108141
Backward progress: 105280
Backward progress: 105419
Backward progress: 118942
Backward progress: 118949
Backward progress: 115133
Backward progress: 112112
Backward progress: 104474
Backward progress: 114278
Backward progress: 121733
Backward progress: 108317
Backward progress: 109835
Backward progress: 109853
Backward progress: 109669
Backward progress: 108325
Backward progress: 107836
Backward progress: 107541
Backward progress: 107260
Backward progress: 114443
Backward progress: 113373
Backward progress: 112416
Backward progress: 117402
Backward progress: 116320
Backward progress: 142821
Backward progress: 126371
Backward progress: 126479
Backward progress: 157987
Backward progress: 120492
Backward progress: 137116
Backward progress: 143819
Backward progress: 141746
Backward progress: 141832
Backward progress: 141802
Backward progress: 117529
Backward progress: 114370
Backward progress: 108901
Backward progress: 107747
Backward progress: 107773
Backward progress: 106734
Backward progress: 105373
Backward progress: 106849
Backward progress: 106884
Backward progress: 113630
Backward progress: 108416
Backward progress: 108377
Backward progress: 106884
Backward progress: 106804
Backward progress: 106984
Backward progress: 134659
Backward progress: 134666
Backward progress: 134432
Backward progress: 130196
Backward progress: 130364
Backward progress: 133666
Backward progress: 132515
Backward progress: 144621
Backward progress: 132829
Backward progress: 134755
Backward progress: 134773
Backward progress: 134607
Backward progress: 132835
Backward progress: 132519
Backward progress: 138930
Backward progress: 135139
Backward progress: 134694
Backward progress: 134751
Backward progress: 133714
Backward progress: 151115
Backward progress: 150166
Backward progress: 149772
Backward progress: 161594
Backward progress: 159596
Backward progress: 146517
Backward progress: 142750
Backward progress: 143179
Backward progress: 145305
Backward progress: 144709
Backward progress: 149621
Backward progress: 143889
Backward progress: 140901
Backward progress: 139380
Backward progress: 141378
Backward progress: 138322
Backward progress: 141960
Backward progress: 135879
Backward progress: 137808
Backward progress: 139024
Backward progress: 137752
Backward progress: 140194
Backward progress: 140238
Backward progress: 139436
Backward progress: 142132
Backward progress: 141580
Backward progress: 135625
Backward progress: 135725
Backward progress: 135763
Backward progress: 132327
Backward progress: 133301
Backward progress: 131987
Backward progress: 131181
Backward progress: 130866
Backward progress: 130608
Backward progress: 129578
Backward progress: 120492
Forward closed progress: 107218
Control exists for 195943104 color(s), jumping through 4398046511104 vertices.
Elapsed: 136968 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 136.968
user ??
sys ??
