>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 65499840000
Perturbation colors: 9007199254740992
All colors: 589970110033654200000000000
Unknown update functions: 9
Lowest cardinality: 0
Highest cardinality: 5
Backward progress: 100245
Backward progress: 100237
Backward progress: 100693
Backward progress: 100374
Backward progress: 103298
Backward progress: 101884
Backward progress: 100127
Backward progress: 103156
Backward progress: 101015
Backward progress: 100981
Backward progress: 100966
Backward progress: 100487
Backward progress: 138922
Backward progress: 137189
Backward progress: 124051
Backward progress: 107944
Backward progress: 117609
Backward progress: 119568
Backward progress: 118791
Backward progress: 117042
Backward progress: 111855
Backward progress: 110873
Backward progress: 116649
Backward progress: 110641
Backward progress: 111153
Backward progress: 111168
Backward progress: 110601
Backward progress: 110573
Backward progress: 108482
Backward progress: 101028
Backward progress: 118142
Backward progress: 114489
Backward progress: 113639
Backward progress: 112985
Backward progress: 113031
Backward progress: 113071
Backward progress: 113076
Backward progress: 113077
Backward progress: 113066
Backward progress: 113104
Backward progress: 116935
Backward progress: 114043
Backward progress: 114075
Backward progress: 114337
Backward progress: 114159
Backward progress: 121429
Backward progress: 120295
Backward progress: 121589
Backward progress: 122842
Backward progress: 123806
Backward progress: 126656
Backward progress: 124478
Backward progress: 127068
Backward progress: 127103
Backward progress: 127106
Backward progress: 127106
Backward progress: 126155
Backward progress: 126610
Backward progress: 128256
Backward progress: 128081
Backward progress: 128079
Backward progress: 127823
Backward progress: 125852
Backward progress: 125954
Backward progress: 124592
Backward progress: 124446
Backward progress: 127551
Backward progress: 127326
Backward progress: 127209
Backward progress: 127209
Backward progress: 127142
Backward progress: 127466
Backward progress: 128194
Backward progress: 127716
Backward progress: 127724
Backward progress: 128366
Backward progress: 128313
Backward progress: 127864
Backward progress: 127808
Backward progress: 128345
Backward progress: 128390
Backward progress: 129320
Backward progress: 130905
Backward progress: 130174
Backward progress: 128061
Backward progress: 128462
Backward progress: 128226
Backward progress: 127951
Backward progress: 128258
Backward progress: 128187
Backward progress: 128881
Backward progress: 132713
Backward progress: 132622
Backward progress: 134013
Backward progress: 133510
Backward progress: 131873
Backward progress: 133546
Backward progress: 130036
Backward progress: 130200
Backward progress: 129425
Backward progress: 126866
Backward progress: 126804
Backward progress: 129508
Backward progress: 131467
Backward progress: 128913
Backward progress: 128242
Backward progress: 125918
Backward progress: 130804
Backward progress: 128391
Backward progress: 126107
Backward progress: 128343
Backward progress: 126509
Backward progress: 134294
Backward progress: 125130
Backward progress: 147832
Backward progress: 144157
Backward progress: 136247
Backward progress: 126285
Backward progress: 133739
Backward progress: 133168
Backward progress: 133036
Backward progress: 129449
Backward progress: 129049
Backward progress: 131210
Backward progress: 127651
Backward progress: 128153
Backward progress: 128168
Backward progress: 127602
Backward progress: 127209
Backward progress: 116368
Backward progress: 119903
Backward progress: 115763
Backward progress: 117044
Backward progress: 116971
Backward progress: 117512
Backward progress: 117563
Backward progress: 117577
Backward progress: 117667
Backward progress: 117397
Backward progress: 117352
Backward progress: 117276
Backward progress: 117272
Backward progress: 117248
Backward progress: 117392
Backward progress: 117218
Backward progress: 116997
Backward progress: 196400
Backward progress: 188632
Backward progress: 195486
Backward progress: 212275
Backward progress: 223516
Backward progress: 223343
Backward progress: 225555
Backward progress: 225573
Backward progress: 219656
Backward progress: 219484
Backward progress: 219488
Backward progress: 160666
Backward progress: 160477
Backward progress: 160308
Backward progress: 160309
Backward progress: 159550
Backward progress: 161502
Backward progress: 160301
Backward progress: 160202
Backward progress: 160255
Backward progress: 160263
Backward progress: 159479
Backward progress: 160216
Backward progress: 160069
Backward progress: 159063
Backward progress: 159156
Backward progress: 158824
Backward progress: 158868
Backward progress: 158918
Backward progress: 157927
Backward progress: 156980
Backward progress: 169256
Backward progress: 167902
Backward progress: 167528
Backward progress: 168171
Backward progress: 168182
Backward progress: 165474
Backward progress: 164778
Backward progress: 165755
Backward progress: 162695
Backward progress: 162615
Backward progress: 163480
Backward progress: 162852
Backward progress: 162934
Backward progress: 159660
Backward progress: 160333
Backward progress: 160206
Backward progress: 160255
Backward progress: 155865
Backward progress: 155588
Backward progress: 155772
Backward progress: 155628
Backward progress: 155488
Backward progress: 154148
Backward progress: 154029
Backward progress: 153879
Backward progress: 153278
Backward progress: 152942
Backward progress: 152610
Backward progress: 155577
Backward progress: 171688
Backward progress: 171999
Backward progress: 173593
Backward progress: 173820
Backward progress: 171898
Backward progress: 171589
Backward progress: 169604
Backward progress: 169397
Backward progress: 169234
Backward progress: 160851
Backward progress: 160860
Backward progress: 160515
Backward progress: 150060
Backward progress: 150144
Backward progress: 148852
Backward progress: 148877
Backward progress: 149028
Backward progress: 148456
Backward progress: 148595
Backward progress: 147925
Backward progress: 147670
Backward progress: 147238
Backward progress: 147244
Backward progress: 147101
Backward progress: 146389
Backward progress: 146383
Backward progress: 146687
Backward progress: 147319
Backward progress: 146887
Backward progress: 146967
Backward progress: 146422
Backward progress: 145993
Backward progress: 145977
Backward progress: 142886
Backward progress: 142708
Backward progress: 142570
Backward progress: 146284
Backward progress: 142839
Backward progress: 143275
Backward progress: 143290
Backward progress: 142819
Backward progress: 142457
Backward progress: 153781
Backward progress: 153689
Backward progress: 144048
Backward progress: 141486
Backward progress: 144274
Backward progress: 146535
Backward progress: 145985
Backward progress: 144355
Backward progress: 142420
Backward progress: 141514
Backward progress: 142234
Backward progress: 140300
Backward progress: 140738
Backward progress: 140753
Backward progress: 140285
Backward progress: 140106
Backward progress: 136885
Backward progress: 138280
Backward progress: 137650
Backward progress: 137053
Backward progress: 136896
Backward progress: 166091
Backward progress: 161513
Backward progress: 159894
Backward progress: 170634
Backward progress: 169780
Backward progress: 169851
Backward progress: 170549
Backward progress: 169470
Backward progress: 187366
Backward progress: 184025
Backward progress: 186836
Backward progress: 185431
Backward progress: 185572
Backward progress: 188940
Backward progress: 185977
Backward progress: 187389
Backward progress: 185239
Backward progress: 185294
Backward progress: 185294
Backward progress: 184577
Backward progress: 184529
Backward progress: 182601
Backward progress: 185554
Backward progress: 184397
Backward progress: 184395
Backward progress: 184310
Backward progress: 179316
Backward progress: 179318
Backward progress: 179263
Backward progress: 179199
Backward progress: 182578
Backward progress: 182573
Backward progress: 182456
Backward progress: 182456
Backward progress: 182387
Backward progress: 183521
Backward progress: 183180
Backward progress: 183149
Backward progress: 183135
Backward progress: 183952
Backward progress: 183952
Backward progress: 183503
Backward progress: 184035
Backward progress: 184066
Backward progress: 186124
Backward progress: 187494
Backward progress: 186071
Backward progress: 183564
Backward progress: 183754
Backward progress: 183351
Backward progress: 183153
Backward progress: 183133
Backward progress: 183201
Backward progress: 183125
Backward progress: 183124
Backward progress: 183119
Backward progress: 187395
Backward progress: 194387
Backward progress: 194770
Backward progress: 196913
Backward progress: 195735
Backward progress: 193676
Backward progress: 197144
Backward progress: 193881
Backward progress: 194337
Backward progress: 190412
Backward progress: 187594
Backward progress: 187266
Backward progress: 187218
Backward progress: 191071
Backward progress: 193920
Backward progress: 191300
Backward progress: 190658
Backward progress: 188040
Backward progress: 188035
Backward progress: 188032
Backward progress: 188011
Backward progress: 195948
Backward progress: 189783
Backward progress: 187531
Backward progress: 189825
Backward progress: 187987
Backward progress: 212895
Backward progress: 209422
Backward progress: 201206
Backward progress: 189338
Backward progress: 197733
Backward progress: 196773
Backward progress: 196810
Backward progress: 191960
Backward progress: 191700
Backward progress: 195182
Backward progress: 189534
Backward progress: 191354
Backward progress: 192275
Backward progress: 191295
Backward progress: 189830
Backward progress: 189428
Backward progress: 188872
Backward progress: 169536
Backward progress: 173190
Backward progress: 169245
Backward progress: 173854
Backward progress: 172262
Backward progress: 172419
Backward progress: 166017
Backward progress: 167370
Backward progress: 164657
Backward progress: 164663
Backward progress: 163856
Backward progress: 163858
Backward progress: 163860
Backward progress: 163805
Backward progress: 163735
Backward progress: 163270
Backward progress: 221522
Backward progress: 191346
Backward progress: 181757
Backward progress: 181674
Backward progress: 159819
Backward progress: 147912
Backward progress: 147615
Backward progress: 151165
Backward progress: 154594
Backward progress: 152880
Backward progress: 148346
Backward progress: 146542
Backward progress: 144754
Backward progress: 144302
Backward progress: 144087
Backward progress: 143874
Backward progress: 142186
Backward progress: 135568
Backward progress: 135321
Backward progress: 138544
Backward progress: 138578
Backward progress: 136439
Backward progress: 136333
Backward progress: 136210
Backward progress: 136121
Backward progress: 136069
Backward progress: 132938
Backward progress: 131380
Backward progress: 131724
Backward progress: 130107
Backward progress: 129921
Backward progress: 127276
Backward progress: 126286
Backward progress: 126603
Backward progress: 126108
Backward progress: 125731
Backward progress: 126146
Backward progress: 126030
Backward progress: 126286
Backward progress: 126023
Backward progress: 125928
Backward progress: 125831
Backward progress: 125813
Backward progress: 125998
Backward progress: 125913
Backward progress: 127470
Backward progress: 128039
Backward progress: 127375
Backward progress: 126668
Backward progress: 126788
Backward progress: 126778
Backward progress: 126659
Backward progress: 126453
Backward progress: 126433
Backward progress: 126936
Backward progress: 126823
Backward progress: 125669
Backward progress: 125859
Backward progress: 125702
Backward progress: 125235
Backward progress: 125055
Backward progress: 124446
Backward progress: 124446
Backward progress: 123838
Backward progress: 123592
Backward progress: 122882
Backward progress: 122410
Backward progress: 122240
Backward progress: 121333
Backward progress: 121251
Backward progress: 121029
Backward progress: 120975
Backward progress: 116571
Backward progress: 116139
Backward progress: 116211
Backward progress: 110691
Backward progress: 109910
Backward progress: 102439
Backward progress: 102542
Backward progress: 102280
Backward progress: 125219
Backward progress: 134146
Backward progress: 151231
Backward progress: 152246
Backward progress: 152221
Backward progress: 151525
Backward progress: 151211
Backward progress: 150218
Backward progress: 148454
Backward progress: 148148
Backward progress: 150145
Backward progress: 149826
Backward progress: 153406
Backward progress: 153386
Backward progress: 153402
Backward progress: 153182
Backward progress: 153104
Backward progress: 154924
Backward progress: 153969
Backward progress: 153910
Backward progress: 153742
Backward progress: 153592
Backward progress: 153279
Backward progress: 157876
Backward progress: 157313
Backward progress: 155434
Backward progress: 155672
Backward progress: 154515
Backward progress: 153970
Backward progress: 153488
Backward progress: 149112
Backward progress: 149150
Backward progress: 146856
Backward progress: 146735
Backward progress: 146530
Backward progress: 145807
Backward progress: 145505
Backward progress: 144979
Backward progress: 147325
Backward progress: 146767
Backward progress: 151746
Backward progress: 146186
Backward progress: 145191
Backward progress: 146915
Backward progress: 146933
Backward progress: 146952
Backward progress: 145751
Backward progress: 145707
Backward progress: 146429
Backward progress: 145779
Backward progress: 143056
Backward progress: 142948
Backward progress: 142821
Backward progress: 144259
Backward progress: 142443
Backward progress: 142443
Backward progress: 142446
Backward progress: 142448
Backward progress: 142375
Backward progress: 142264
Backward progress: 143233
Backward progress: 142548
Backward progress: 136267
Backward progress: 135966
Backward progress: 134361
Backward progress: 132198
Backward progress: 135526
Backward progress: 134585
Backward progress: 136579
Backward progress: 135632
Backward progress: 135085
Backward progress: 135331
Backward progress: 133615
Backward progress: 133508
Backward progress: 128773
Backward progress: 122565
Backward progress: 122770
Backward progress: 122697
Backward progress: 122753
Backward progress: 122140
Backward progress: 123193
Backward progress: 123849
Backward progress: 123961
Backward progress: 123643
Backward progress: 123607
Backward progress: 125395
Backward progress: 124927
Backward progress: 124872
Backward progress: 126108
Backward progress: 126208
Backward progress: 126093
Backward progress: 125916
Backward progress: 125794
Backward progress: 126563
Backward progress: 129880
Backward progress: 129605
Backward progress: 130170
Backward progress: 129673
Backward progress: 129372
Backward progress: 127761
Backward progress: 127895
Backward progress: 125874
Backward progress: 125325
Backward progress: 124884
Backward progress: 126461
Backward progress: 125989
Backward progress: 125999
Backward progress: 125897
Backward progress: 135622
Backward progress: 130942
Backward progress: 127916
Backward progress: 132017
Backward progress: 132149
Backward progress: 132195
Backward progress: 129734
Backward progress: 129578
Backward progress: 130188
Backward progress: 129524
Backward progress: 129902
Backward progress: 130208
Backward progress: 130114
Backward progress: 129813
Backward progress: 129741
Backward progress: 129725
Backward progress: 129492
Backward progress: 129394
Backward progress: 122957
Backward progress: 135682
Backward progress: 127099
Backward progress: 126599
Backward progress: 127766
Backward progress: 127305
Backward progress: 127334
Backward progress: 127432
Backward progress: 127330
Backward progress: 131042
Backward progress: 128867
Backward progress: 129322
Backward progress: 129297
Backward progress: 129341
Backward progress: 128971
Backward progress: 128634
Backward progress: 128955
Backward progress: 128981
Backward progress: 129029
Backward progress: 128213
Backward progress: 128006
Backward progress: 128067
Backward progress: 128184
Backward progress: 128668
Backward progress: 128083
Backward progress: 128519
Backward progress: 128378
Backward progress: 128354
Backward progress: 128566
Backward progress: 128342
Backward progress: 128540
Backward progress: 128233
Backward progress: 130686
Backward progress: 127741
Backward progress: 130738
Backward progress: 128342
Backward progress: 129599
Backward progress: 129536
Backward progress: 129477
Backward progress: 129413
Backward progress: 129629
Backward progress: 126638
Backward progress: 127747
Backward progress: 127459
Backward progress: 131613
Backward progress: 130465
Backward progress: 130783
Backward progress: 130802
Backward progress: 130858
Backward progress: 130609
Backward progress: 130603
Backward progress: 131335
Backward progress: 131361
Backward progress: 131493
Backward progress: 130101
Backward progress: 129525
Backward progress: 130007
Backward progress: 129815
Backward progress: 130231
Backward progress: 130809
Backward progress: 130692
Backward progress: 130778
Backward progress: 130756
Backward progress: 130729
Backward progress: 131357
Backward progress: 131364
Backward progress: 131343
Backward progress: 130655
Backward progress: 130981
Backward progress: 133571
Backward progress: 131711
Backward progress: 132616
Backward progress: 132620
Backward progress: 132611
Backward progress: 132496
Backward progress: 132492
Backward progress: 133114
Backward progress: 132450
Backward progress: 131704
Backward progress: 143774
Backward progress: 140743
Backward progress: 137429
Backward progress: 127792
Backward progress: 125809
Backward progress: 122978
Backward progress: 122462
Backward progress: 122447
Backward progress: 121895
Backward progress: 121613
Backward progress: 118382
Backward progress: 117052
Backward progress: 117293
Backward progress: 117298
Backward progress: 117290
Backward progress: 116800
Backward progress: 116637
Backward progress: 116564
Backward progress: 115010
Backward progress: 115059
Backward progress: 114861
Backward progress: 109490
Backward progress: 108457
Backward progress: 106916
Backward progress: 105137
Backward progress: 126454
Backward progress: 157246
Backward progress: 155952
Backward progress: 143274
Backward progress: 143239
Backward progress: 136359
Backward progress: 136175
Backward progress: 129269
Backward progress: 128696
Backward progress: 128854
Backward progress: 130649
Backward progress: 130619
Backward progress: 130573
Backward progress: 130658
Backward progress: 130664
Backward progress: 130623
Backward progress: 130205
Backward progress: 130351
Backward progress: 128856
Backward progress: 128871
Backward progress: 129019
Backward progress: 128768
Backward progress: 103367
Backward progress: 101584
Backward progress: 101463
Backward progress: 100382
Backward progress: 115387
Backward progress: 176396
Backward progress: 181770
Backward progress: 198002
Backward progress: 204912
Backward progress: 195657
Backward progress: 194781
Backward progress: 208298
Backward progress: 234216
Backward progress: 242604
Backward progress: 240999
Backward progress: 238128
Backward progress: 243799
Backward progress: 219292
Backward progress: 223458
Backward progress: 222566
Backward progress: 222566
Backward progress: 221246
Backward progress: 219748
Backward progress: 233454
Backward progress: 271412
Backward progress: 272872
Backward progress: 272860
Backward progress: 274465
Backward progress: 274509
Backward progress: 274000
Backward progress: 273103
Backward progress: 293953
Backward progress: 287593
Backward progress: 287520
Backward progress: 288051
Backward progress: 289385
Backward progress: 267542
Backward progress: 269318
Backward progress: 269304
Backward progress: 269276
Backward progress: 269507
Backward progress: 269507
Backward progress: 269259
Backward progress: 268335
Backward progress: 268317
Backward progress: 268305
Backward progress: 268193
Backward progress: 268977
Backward progress: 271180
Backward progress: 270381
Backward progress: 270046
Backward progress: 267780
Backward progress: 248446
Backward progress: 248733
Backward progress: 246593
Backward progress: 245268
Backward progress: 249802
Backward progress: 247704
Backward progress: 273160
Backward progress: 263773
Backward progress: 259160
Backward progress: 273329
Backward progress: 271862
Backward progress: 262692
Backward progress: 273087
Backward progress: 269291
Backward progress: 271296
Backward progress: 271569
Backward progress: 269440
Backward progress: 269201
Backward progress: 269183
Backward progress: 251544
Backward progress: 254006
Backward progress: 247442
Backward progress: 256959
Backward progress: 251390
Backward progress: 236920
Backward progress: 237632
Backward progress: 235506
Backward progress: 233212
Backward progress: 266340
Backward progress: 258913
Backward progress: 280993
Backward progress: 274978
Backward progress: 285202
Backward progress: 285323
Backward progress: 285321
Backward progress: 285219
Backward progress: 279412
Backward progress: 259531
Backward progress: 259727
Backward progress: 259794
Backward progress: 260044
Backward progress: 251272
Backward progress: 251701
Backward progress: 251553
Backward progress: 251686
Backward progress: 251580
Backward progress: 251927
Backward progress: 251745
Backward progress: 251770
Backward progress: 251741
Backward progress: 252412
Backward progress: 251693
Backward progress: 252315
Backward progress: 252105
Backward progress: 253266
Backward progress: 251853
Backward progress: 251978
Backward progress: 250955
Backward progress: 244559
Backward progress: 244804
Backward progress: 244620
Backward progress: 244568
Backward progress: 244860
Backward progress: 244908
Backward progress: 244516
Backward progress: 244559
Backward progress: 243514
Backward progress: 242030
Backward progress: 248524
Backward progress: 253241
Backward progress: 258886
Backward progress: 262771
Backward progress: 274984
Backward progress: 274898
Backward progress: 274832
Backward progress: 275216
Backward progress: 290083
Backward progress: 279794
Backward progress: 279272
Backward progress: 276726
Backward progress: 276721
Backward progress: 279175
Backward progress: 275809
Backward progress: 283228
Backward progress: 278021
Backward progress: 278188
Backward progress: 276901
Backward progress: 276495
Backward progress: 276205
Backward progress: 279204
Backward progress: 276320
Backward progress: 275633
Backward progress: 274365
Backward progress: 275134
Backward progress: 275054
Backward progress: 275068
Backward progress: 275080
Backward progress: 275074
Backward progress: 273105
Backward progress: 272287
Backward progress: 272278
Backward progress: 272297
Backward progress: 272098
Backward progress: 281137
Backward progress: 282671
Backward progress: 282630
Backward progress: 281115
Backward progress: 280542
Backward progress: 280100
Backward progress: 280123
Backward progress: 280167
Backward progress: 279004
Backward progress: 279169
Backward progress: 279106
Backward progress: 278796
Backward progress: 278594
Backward progress: 281225
Backward progress: 279240
Backward progress: 278024
Backward progress: 277778
Backward progress: 278241
Backward progress: 277908
Backward progress: 271564
Backward progress: 271441
Backward progress: 271322
Backward progress: 271340
Backward progress: 271144
Backward progress: 265312
Backward progress: 265314
Backward progress: 265012
Backward progress: 264877
Backward progress: 264923
Backward progress: 265116
Backward progress: 266091
Backward progress: 265757
Backward progress: 265781
Backward progress: 265811
Backward progress: 264947
Backward progress: 265918
Backward progress: 265565
Backward progress: 264966
Backward progress: 264791
Backward progress: 263124
Backward progress: 399228
Backward progress: 423810
Backward progress: 537069
Backward progress: 571886
Backward progress: 583050
Backward progress: 576554
Backward progress: 583551
Backward progress: 580659
Backward progress: 578700
Backward progress: 578582
Backward progress: 550564
Backward progress: 500524
Backward progress: 505558
Backward progress: 377720
Backward progress: 372053
Backward progress: 375725
Backward progress: 373256
Backward progress: 373497
Backward progress: 384819
Backward progress: 385513
Backward progress: 390304
Backward progress: 443505
Backward progress: 432088
Backward progress: 443113
Backward progress: 435358
Backward progress: 441253
Backward progress: 438488
Backward progress: 437121
Backward progress: 437025
Backward progress: 404259
Backward progress: 404550
Backward progress: 402255
Backward progress: 400475
Backward progress: 396140
Backward progress: 394758
Backward progress: 394702
Backward progress: 394702
Backward progress: 394263
Backward progress: 393886
Backward progress: 464397
Backward progress: 474713
Backward progress: 465642
Backward progress: 461524
Backward progress: 461852
Backward progress: 457415
Backward progress: 456876
Backward progress: 453641
Backward progress: 453475
Backward progress: 453808
Backward progress: 440636
Backward progress: 444874
Backward progress: 390698
Backward progress: 378997
Backward progress: 375166
Backward progress: 375192
Backward progress: 375005
Backward progress: 376935
Backward progress: 376756
Backward progress: 378044
Backward progress: 378044
Backward progress: 376893
Backward progress: 375716
Backward progress: 371395
Backward progress: 370574
Backward progress: 370266
Backward progress: 369483
Backward progress: 369102
Backward progress: 393721
Backward progress: 408119
Backward progress: 406178
Backward progress: 394094
Backward progress: 360889
Backward progress: 360611
Backward progress: 360524
Backward progress: 360596
Backward progress: 360572
Backward progress: 360591
Backward progress: 360595
Backward progress: 360584
Backward progress: 360509
Backward progress: 367634
Backward progress: 371430
Backward progress: 372070
Backward progress: 372014
Backward progress: 372340
Backward progress: 372414
Backward progress: 372444
Backward progress: 372440
Backward progress: 372384
Backward progress: 372504
Backward progress: 372792
Backward progress: 372862
Backward progress: 372804
Backward progress: 372988
Backward progress: 372791
Backward progress: 372813
Backward progress: 372264
Backward progress: 372182
Backward progress: 372161
Backward progress: 372524
Backward progress: 372492
Backward progress: 372696
Backward progress: 371553
Backward progress: 371253
Backward progress: 371270
Backward progress: 371166
Backward progress: 371027
Backward progress: 335535
Backward progress: 329013
Backward progress: 329575
Backward progress: 329474
Backward progress: 329230
Backward progress: 329130
Backward progress: 329116
Backward progress: 329028
Backward progress: 328873
Backward progress: 328847
Backward progress: 319094
Backward progress: 316301
Backward progress: 313147
Backward progress: 312883
Backward progress: 332309
Backward progress: 326441
Backward progress: 326368
Backward progress: 327015
Backward progress: 326816
Backward progress: 326693
Backward progress: 326528
Backward progress: 326237
Backward progress: 326774
Backward progress: 326464
Backward progress: 326432
Backward progress: 326432
Backward progress: 326385
Backward progress: 326406
Backward progress: 326191
Backward progress: 324286
Backward progress: 323605
Backward progress: 323404
Backward progress: 323004
Backward progress: 322966
Backward progress: 322092
Backward progress: 322349
Backward progress: 322281
Backward progress: 322268
Backward progress: 322264
Backward progress: 322264
Backward progress: 322019
Backward progress: 300369
Backward progress: 298507
Backward progress: 298222
Backward progress: 297783
Backward progress: 297686
Backward progress: 297686
Attractor colors: 2240123024686589900000000
Attractor colors computed in 1275238 ms.
Control exists for 248703616 color(s), jumping through 4398046511104 vertices.
Elapsed: 59337 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 59.337
user ??
sys ??
