>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 49124880
Perturbation colors: 9007199254740992
All colors: 442477582525240660000000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 5
Backward progress: 103334
Backward progress: 101160
Backward progress: 100779
Backward progress: 101367
Backward progress: 100813
Backward progress: 104134
Backward progress: 105190
Backward progress: 101733
Backward progress: 101841
Backward progress: 103101
Backward progress: 102934
Backward progress: 117482
Backward progress: 125839
Backward progress: 124459
Backward progress: 124901
Backward progress: 124911
Backward progress: 124210
Backward progress: 125632
Backward progress: 123767
Backward progress: 122523
Backward progress: 122702
Backward progress: 122247
Backward progress: 121725
Backward progress: 130986
Backward progress: 127398
Backward progress: 124994
Backward progress: 125083
Backward progress: 120841
Backward progress: 126232
Backward progress: 130014
Backward progress: 129804
Backward progress: 128279
Backward progress: 122750
Backward progress: 121037
Backward progress: 116504
Backward progress: 116977
Backward progress: 114826
Backward progress: 114944
Backward progress: 112235
Backward progress: 120401
Backward progress: 123546
Backward progress: 123195
Backward progress: 122913
Backward progress: 122815
Backward progress: 124749
Backward progress: 118890
Backward progress: 118869
Backward progress: 118773
Backward progress: 122090
Backward progress: 123207
Backward progress: 121729
Backward progress: 122267
Backward progress: 120865
Backward progress: 120448
Backward progress: 120353
Backward progress: 119930
Backward progress: 118610
Backward progress: 118405
Backward progress: 118153
Backward progress: 113111
Backward progress: 113340
Backward progress: 110994
Backward progress: 111731
Backward progress: 107854
Backward progress: 110531
Backward progress: 110578
Backward progress: 110007
Backward progress: 108367
Backward progress: 109128
Backward progress: 129903
Backward progress: 129903
Backward progress: 122914
Backward progress: 121274
Backward progress: 123898
Backward progress: 123945
Backward progress: 122861
Backward progress: 113527
Backward progress: 111606
Backward progress: 118001
Backward progress: 118259
Backward progress: 112198
Backward progress: 111628
Backward progress: 105878
Backward progress: 108277
Backward progress: 108023
Backward progress: 107878
Backward progress: 105168
Backward progress: 119896
Backward progress: 113599
Backward progress: 112565
Backward progress: 113119
Backward progress: 112706
Backward progress: 109682
Backward progress: 103131
Backward progress: 103511
Backward progress: 102645
Backward progress: 102543
Backward progress: 102138
Backward progress: 102931
Backward progress: 105076
Backward progress: 109692
Backward progress: 109647
Backward progress: 111140
Backward progress: 111146
Backward progress: 111032
Backward progress: 111042
Backward progress: 110682
Backward progress: 110719
Backward progress: 110764
Backward progress: 110482
Backward progress: 109594
Backward progress: 109252
Backward progress: 107888
Backward progress: 107890
Backward progress: 107726
Backward progress: 109717
Backward progress: 113689
Backward progress: 114711
Backward progress: 112961
Backward progress: 113584
Backward progress: 113494
Backward progress: 113434
Backward progress: 112595
Backward progress: 112547
Backward progress: 113825
Backward progress: 113228
Backward progress: 113506
Backward progress: 113625
Backward progress: 114275
Backward progress: 116664
Backward progress: 116452
Backward progress: 115817
Backward progress: 116130
Backward progress: 115154
Backward progress: 116537
Backward progress: 116820
Backward progress: 116777
Backward progress: 114681
Backward progress: 114503
Backward progress: 114430
Backward progress: 113066
Backward progress: 110064
Backward progress: 109912
Backward progress: 109571
Backward progress: 111080
Backward progress: 111159
Backward progress: 109609
Backward progress: 109658
Backward progress: 108966
Backward progress: 108955
Backward progress: 108956
Backward progress: 108925
Backward progress: 108869
Backward progress: 108809
Backward progress: 108599
Backward progress: 107787
Backward progress: 110858
Backward progress: 110858
Backward progress: 109602
Backward progress: 109174
Backward progress: 109900
Backward progress: 109917
Backward progress: 109369
Backward progress: 108698
Backward progress: 108209
Backward progress: 108950
Backward progress: 108967
Backward progress: 108211
Backward progress: 107783
Backward progress: 108187
Backward progress: 108175
Backward progress: 108669
Backward progress: 108089
Backward progress: 108153
Backward progress: 105519
Backward progress: 104948
Backward progress: 105379
Backward progress: 105396
Backward progress: 104655
Backward progress: 103906
Backward progress: 103906
Backward progress: 102504
Backward progress: 100636
Backward progress: 100988
Backward progress: 101832
Backward progress: 100073
Backward progress: 101962
Backward progress: 101969
Backward progress: 101913
Backward progress: 101797
Backward progress: 101554
Backward progress: 101058
Backward progress: 101458
Backward progress: 101814
Backward progress: 101359
Backward progress: 101353
Backward progress: 100803
Backward progress: 101010
Backward progress: 101006
Backward progress: 100824
Backward progress: 100691
Backward progress: 101220
Backward progress: 100876
Backward progress: 100474
Backward progress: 103970
Backward progress: 103963
Backward progress: 104292
Backward progress: 105023
Backward progress: 105006
Backward progress: 105006
Backward progress: 104261
Backward progress: 104356
Backward progress: 103891
Backward progress: 103746
Backward progress: 103801
Backward progress: 104393
Backward progress: 104022
Backward progress: 103809
Backward progress: 103686
Backward progress: 103574
Backward progress: 103673
Backward progress: 103643
Backward progress: 103600
Backward progress: 102475
Backward progress: 102483
Backward progress: 101848
Backward progress: 101892
Backward progress: 101725
Backward progress: 101725
Backward progress: 103727
Backward progress: 118908
Backward progress: 129974
Backward progress: 160821
Backward progress: 174808
Backward progress: 174752
Backward progress: 175188
Backward progress: 175071
Backward progress: 175899
Backward progress: 175897
Backward progress: 175905
Backward progress: 157952
Backward progress: 139445
Backward progress: 165200
Backward progress: 164532
Backward progress: 163706
Backward progress: 183154
Backward progress: 181115
Backward progress: 193559
Backward progress: 192599
Backward progress: 192470
Backward progress: 192321
Backward progress: 192337
Backward progress: 192023
Backward progress: 198481
Backward progress: 206425
Backward progress: 206963
Backward progress: 209319
Backward progress: 209312
Backward progress: 209744
Backward progress: 209718
Backward progress: 205287
Backward progress: 209237
Backward progress: 211269
Backward progress: 211165
Backward progress: 210995
Backward progress: 211708
Backward progress: 211972
Backward progress: 239290
Backward progress: 230447
Backward progress: 236001
Backward progress: 234301
Backward progress: 234139
Backward progress: 234137
Backward progress: 233002
Backward progress: 231538
Backward progress: 260132
Backward progress: 288411
Backward progress: 294913
Backward progress: 304537
Backward progress: 304510
Backward progress: 302817
Backward progress: 302704
Backward progress: 299799
Backward progress: 299793
Backward progress: 299807
Backward progress: 302228
Backward progress: 271183
Backward progress: 281726
Backward progress: 281726
Backward progress: 291839
Backward progress: 290378
Backward progress: 290135
Backward progress: 288696
Backward progress: 288742
Backward progress: 288436
Backward progress: 288902
Backward progress: 289235
Backward progress: 289113
Backward progress: 276301
Backward progress: 272074
Backward progress: 271191
Backward progress: 274354
Backward progress: 274050
Backward progress: 282897
Backward progress: 285961
Backward progress: 285792
Backward progress: 285802
Backward progress: 285076
Backward progress: 288099
Backward progress: 301169
Backward progress: 303054
Backward progress: 302222
Backward progress: 302217
Backward progress: 302435
Backward progress: 302492
Backward progress: 301761
Backward progress: 298226
Backward progress: 305005
Backward progress: 299744
Backward progress: 301149
Backward progress: 300796
Backward progress: 298542
Backward progress: 298764
Backward progress: 298314
Backward progress: 298774
Backward progress: 298677
Backward progress: 298314
Backward progress: 344895
Backward progress: 344458
Backward progress: 336455
Backward progress: 329906
Backward progress: 329497
Backward progress: 329653
Backward progress: 329635
Backward progress: 326845
Backward progress: 325558
Backward progress: 325640
Backward progress: 325341
Backward progress: 324551
Backward progress: 333460
Backward progress: 328626
Backward progress: 306281
Backward progress: 312965
Backward progress: 293682
Backward progress: 282477
Backward progress: 282737
Backward progress: 278419
Backward progress: 278198
Backward progress: 278204
Backward progress: 278207
Backward progress: 277600
Backward progress: 276192
Backward progress: 274385
Backward progress: 274336
Backward progress: 274301
Backward progress: 274404
Backward progress: 274327
Backward progress: 274925
Backward progress: 275113
Backward progress: 275026
Backward progress: 275068
Backward progress: 274986
Backward progress: 275784
Backward progress: 275838
Backward progress: 275801
Backward progress: 275771
Backward progress: 275567
Backward progress: 275495
Backward progress: 259640
Backward progress: 259697
Backward progress: 259564
Backward progress: 259556
Backward progress: 256113
Backward progress: 256159
Backward progress: 243822
Backward progress: 244003
Backward progress: 237514
Backward progress: 222193
Backward progress: 221487
Backward progress: 221783
Backward progress: 221313
Backward progress: 221371
Backward progress: 221085
Backward progress: 221312
Backward progress: 221660
Backward progress: 221638
Backward progress: 221641
Backward progress: 222039
Backward progress: 221691
Backward progress: 221818
Backward progress: 220818
Backward progress: 220270
Backward progress: 229883
Backward progress: 229883
Backward progress: 221438
Backward progress: 221090
Backward progress: 224126
Backward progress: 226220
Backward progress: 225437
Backward progress: 223864
Backward progress: 221749
Backward progress: 221676
Backward progress: 221625
Backward progress: 221625
Backward progress: 221580
Backward progress: 221514
Backward progress: 221509
Backward progress: 221437
Backward progress: 221387
Backward progress: 221050
Backward progress: 220591
Backward progress: 221745
Backward progress: 221984
Backward progress: 221261
Backward progress: 221063
Backward progress: 220971
Backward progress: 220892
Backward progress: 220892
Backward progress: 220839
Backward progress: 220756
Backward progress: 220751
Backward progress: 220679
Backward progress: 220595
Backward progress: 220247
Backward progress: 227053
Backward progress: 226543
Backward progress: 224947
Backward progress: 255895
Backward progress: 249649
Backward progress: 248268
Backward progress: 266991
Backward progress: 268697
Backward progress: 270439
Backward progress: 271889
Backward progress: 275222
Backward progress: 274714
Backward progress: 274310
Backward progress: 277511
Backward progress: 276924
Backward progress: 281525
Backward progress: 289931
Backward progress: 309278
Backward progress: 308691
Backward progress: 306293
Backward progress: 304657
Backward progress: 305047
Backward progress: 299116
Backward progress: 300721
Backward progress: 311634
Backward progress: 310243
Backward progress: 318975
Backward progress: 318566
Backward progress: 315580
Backward progress: 314702
Backward progress: 305030
Backward progress: 305268
Backward progress: 305798
Backward progress: 305468
Backward progress: 305191
Backward progress: 325179
Backward progress: 325640
Backward progress: 317219
Backward progress: 316716
Backward progress: 309863
Backward progress: 309866
Backward progress: 311516
Backward progress: 318413
Backward progress: 319156
Backward progress: 319279
Backward progress: 319158
Backward progress: 318920
Backward progress: 323882
Backward progress: 319505
Backward progress: 318210
Backward progress: 315328
Backward progress: 315116
Backward progress: 312389
Backward progress: 321287
Backward progress: 321759
Backward progress: 320998
Backward progress: 320503
Backward progress: 314892
Backward progress: 308855
Backward progress: 330291
Backward progress: 330291
Backward progress: 321489
Backward progress: 318435
Backward progress: 323595
Backward progress: 324141
Backward progress: 319622
Backward progress: 318483
Backward progress: 313174
Backward progress: 306990
Backward progress: 318898
Backward progress: 319657
Backward progress: 308818
Backward progress: 307026
Backward progress: 299325
Backward progress: 300116
Backward progress: 301894
Backward progress: 299721
Backward progress: 302921
Backward progress: 300101
Backward progress: 301653
Backward progress: 273109
Backward progress: 268385
Backward progress: 282563
Backward progress: 285313
Backward progress: 278634
Backward progress: 275342
Backward progress: 267851
Backward progress: 265174
Backward progress: 265083
Backward progress: 265005
Backward progress: 265005
Backward progress: 264953
Backward progress: 264871
Backward progress: 264866
Backward progress: 264794
Backward progress: 264711
Backward progress: 261776
Backward progress: 260300
Backward progress: 263348
Backward progress: 263436
Backward progress: 269863
Backward progress: 268789
Backward progress: 268175
Backward progress: 264203
Backward progress: 264143
Backward progress: 262822
Backward progress: 262957
Backward progress: 263095
Backward progress: 263015
Backward progress: 262348
Backward progress: 265889
Backward progress: 266207
Backward progress: 265285
Backward progress: 265163
Backward progress: 265087
Backward progress: 264899
Backward progress: 265193
Backward progress: 265007
Backward progress: 264711
Backward progress: 264723
Backward progress: 264051
Backward progress: 264435
Backward progress: 264447
Backward progress: 261707
Backward progress: 252198
Backward progress: 274710
Backward progress: 290499
Backward progress: 290287
Backward progress: 289274
Backward progress: 287704
Backward progress: 288215
Backward progress: 286078
Backward progress: 285540
Backward progress: 288013
Backward progress: 291311
Backward progress: 292129
Backward progress: 291877
Backward progress: 291575
Backward progress: 291128
Backward progress: 290730
Backward progress: 293852
Backward progress: 294200
Backward progress: 293286
Backward progress: 293181
Backward progress: 292522
Backward progress: 292435
Backward progress: 294304
Backward progress: 294269
Backward progress: 293621
Backward progress: 294205
Backward progress: 293304
Backward progress: 293215
Backward progress: 293493
Backward progress: 292453
Backward progress: 295861
Backward progress: 296158
Backward progress: 296180
Backward progress: 296199
Backward progress: 297404
Backward progress: 299509
Backward progress: 299865
Backward progress: 300321
Backward progress: 299704
Backward progress: 300024
Backward progress: 300034
Backward progress: 300042
Backward progress: 300057
Backward progress: 299908
Backward progress: 299832
Backward progress: 300667
Backward progress: 301405
Backward progress: 300829
Backward progress: 300800
Backward progress: 298975
Backward progress: 298420
Backward progress: 301746
Backward progress: 301507
Backward progress: 300526
Backward progress: 301478
Backward progress: 302287
Backward progress: 301830
Backward progress: 301733
Backward progress: 301533
Backward progress: 301436
Backward progress: 301354
Backward progress: 301354
Backward progress: 301300
Backward progress: 301213
Backward progress: 301124
Backward progress: 300809
Backward progress: 300527
Backward progress: 298182
Backward progress: 296530
Backward progress: 296245
Backward progress: 296226
Backward progress: 295154
Backward progress: 294818
Backward progress: 293572
Backward progress: 240436
Backward progress: 245560
Backward progress: 246541
Backward progress: 245267
Backward progress: 244102
Backward progress: 244106
Backward progress: 244092
Backward progress: 244093
Backward progress: 243897
Backward progress: 249482
Backward progress: 247929
Backward progress: 247001
Backward progress: 245961
Backward progress: 245377
Backward progress: 246744
Backward progress: 246861
Backward progress: 247037
Backward progress: 246753
Backward progress: 246801
Backward progress: 246740
Backward progress: 246762
Backward progress: 247444
Backward progress: 247190
Backward progress: 246760
Backward progress: 247603
Backward progress: 247647
Backward progress: 246861
Backward progress: 246429
Backward progress: 225671
Backward progress: 226778
Backward progress: 225724
Backward progress: 225728
Backward progress: 225719
Backward progress: 225721
Backward progress: 225540
Backward progress: 224859
Backward progress: 224798
Backward progress: 278806
Backward progress: 277171
Backward progress: 254525
Backward progress: 254911
Backward progress: 254692
Backward progress: 254653
Backward progress: 254644
Backward progress: 254661
Backward progress: 255032
Backward progress: 255058
Backward progress: 255059
Backward progress: 255030
Backward progress: 254579
Backward progress: 254349
Backward progress: 254117
Backward progress: 254057
Backward progress: 254054
Backward progress: 254176
Backward progress: 254084
Backward progress: 254183
Backward progress: 254140
Backward progress: 254217
Backward progress: 254186
Backward progress: 254248
Backward progress: 254268
Backward progress: 254352
Backward progress: 254331
Backward progress: 254387
Backward progress: 255222
Backward progress: 255152
Backward progress: 255077
Backward progress: 255067
Backward progress: 254725
Backward progress: 255097
Backward progress: 254448
Backward progress: 254448
Backward progress: 254002
Backward progress: 253850
Backward progress: 253659
Backward progress: 253635
Backward progress: 253640
Backward progress: 253589
Backward progress: 253520
Backward progress: 253323
Backward progress: 253298
Backward progress: 252887
Backward progress: 253413
Backward progress: 253413
Backward progress: 253104
Backward progress: 252996
Backward progress: 253167
Backward progress: 253169
Backward progress: 253089
Backward progress: 253107
Backward progress: 252980
Backward progress: 253155
Backward progress: 253157
Backward progress: 252981
Backward progress: 252873
Backward progress: 252989
Backward progress: 252689
Backward progress: 252867
Backward progress: 252710
Backward progress: 252575
Backward progress: 251922
Backward progress: 251794
Backward progress: 252143
Backward progress: 252145
Backward progress: 251967
Backward progress: 251787
Backward progress: 251641
Backward progress: 251406
Backward progress: 252548
Backward progress: 252124
Backward progress: 191791
Backward progress: 190241
Backward progress: 189715
Backward progress: 189956
Backward progress: 189883
Backward progress: 189378
Backward progress: 180033
Backward progress: 182399
Backward progress: 182411
Backward progress: 204847
Backward progress: 214905
Backward progress: 220216
Backward progress: 221411
Backward progress: 222525
Backward progress: 222787
Backward progress: 222669
Backward progress: 222420
Backward progress: 222467
Backward progress: 230572
Backward progress: 232086
Backward progress: 232086
Backward progress: 232235
Backward progress: 241799
Backward progress: 242924
Backward progress: 243000
Backward progress: 245624
Backward progress: 248956
Backward progress: 248595
Backward progress: 248311
Backward progress: 248368
Backward progress: 256694
Backward progress: 256022
Backward progress: 256217
Backward progress: 256327
Backward progress: 256309
Backward progress: 264902
Backward progress: 266022
Backward progress: 265997
Backward progress: 266139
Backward progress: 266039
Backward progress: 267135
Backward progress: 298270
Backward progress: 299115
Backward progress: 291388
Backward progress: 291337
Backward progress: 292269
Backward progress: 292089
Backward progress: 294880
Backward progress: 293391
Backward progress: 293168
Backward progress: 293209
Backward progress: 293158
Backward progress: 292754
Backward progress: 292705
Backward progress: 292323
Backward progress: 303993
Backward progress: 302964
Backward progress: 302110
Backward progress: 302087
Backward progress: 338949
Backward progress: 342574
Backward progress: 347348
Backward progress: 345899
Backward progress: 345250
Backward progress: 347315
Backward progress: 346790
Backward progress: 355265
Backward progress: 357591
Backward progress: 351046
Backward progress: 350700
Backward progress: 352517
Backward progress: 352350
Backward progress: 362165
Backward progress: 366488
Backward progress: 365194
Backward progress: 365352
Backward progress: 365362
Backward progress: 364661
Backward progress: 379044
Backward progress: 361382
Backward progress: 377366
Backward progress: 381292
Backward progress: 381384
Backward progress: 381095
Backward progress: 398939
Backward progress: 400018
Backward progress: 399316
Backward progress: 399581
Backward progress: 399128
Backward progress: 411164
Backward progress: 413944
Backward progress: 415951
Backward progress: 405999
Backward progress: 402602
Backward progress: 408105
Backward progress: 409778
Backward progress: 405200
Backward progress: 405206
Backward progress: 393617
Backward progress: 392880
Backward progress: 392056
Backward progress: 394600
Backward progress: 395016
Backward progress: 394615
Backward progress: 394056
Backward progress: 393979
Backward progress: 391163
Backward progress: 393107
Backward progress: 393023
Backward progress: 393040
Backward progress: 393130
Backward progress: 393106
Backward progress: 392813
Backward progress: 395006
Backward progress: 395006
Backward progress: 394272
Backward progress: 394878
Backward progress: 392909
Backward progress: 392591
Backward progress: 392820
Backward progress: 392624
Backward progress: 392977
Backward progress: 393229
Backward progress: 392465
Backward progress: 384576
Backward progress: 384586
Backward progress: 379717
Backward progress: 381006
Backward progress: 372682
Backward progress: 378703
Backward progress: 378897
Backward progress: 377125
Backward progress: 373424
Backward progress: 340070
Backward progress: 338849
Backward progress: 387499
Backward progress: 387499
Backward progress: 375813
Backward progress: 373392
Backward progress: 378125
Backward progress: 378325
Backward progress: 375634
Backward progress: 359306
Backward progress: 356473
Backward progress: 378829
Backward progress: 381567
Backward progress: 368059
Backward progress: 364918
Backward progress: 364237
Backward progress: 361305
Backward progress: 361715
Backward progress: 360946
Backward progress: 360612
Backward progress: 360434
Backward progress: 360801
Backward progress: 359924
Backward progress: 359558
Backward progress: 359500
Backward progress: 341643
Backward progress: 345943
Backward progress: 345505
Backward progress: 345189
Backward progress: 340631
Backward progress: 382704
Backward progress: 374113
Backward progress: 372562
Backward progress: 375549
Backward progress: 370825
Backward progress: 355454
Backward progress: 344673
Backward progress: 345567
Backward progress: 343325
Backward progress: 343141
Backward progress: 340332
Backward progress: 340340
Backward progress: 340244
Backward progress: 317227
Backward progress: 317019
Backward progress: 322242
Backward progress: 314644
Backward progress: 309383
Backward progress: 321814
Backward progress: 322006
Backward progress: 316929
Backward progress: 313807
Backward progress: 310542
Backward progress: 302997
Backward progress: 313102
Backward progress: 329709
Backward progress: 330467
Backward progress: 330261
Backward progress: 330169
Backward progress: 330746
Backward progress: 330777
Backward progress: 330723
Backward progress: 332713
Backward progress: 332501
Backward progress: 332541
Backward progress: 332565
Backward progress: 332505
Backward progress: 333557
Backward progress: 335096
Backward progress: 335057
Backward progress: 335325
Backward progress: 335329
Backward progress: 335221
Backward progress: 335681
Backward progress: 331900
Backward progress: 331679
Backward progress: 331669
Backward progress: 335332
Backward progress: 336408
Backward progress: 336398
Backward progress: 336420
Backward progress: 336385
Backward progress: 335543
Backward progress: 336904
Backward progress: 336740
Backward progress: 335437
Backward progress: 335174
Backward progress: 335194
Backward progress: 335936
Backward progress: 336369
Backward progress: 336358
Backward progress: 336599
Backward progress: 339717
Backward progress: 339143
Backward progress: 338250
Backward progress: 338488
Backward progress: 336439
Backward progress: 336263
Backward progress: 335927
Backward progress: 337683
Backward progress: 337928
Backward progress: 336072
Backward progress: 335271
Backward progress: 335187
Backward progress: 335129
Backward progress: 333574
Backward progress: 332976
Backward progress: 332582
Backward progress: 332732
Backward progress: 333224
Backward progress: 332846
Backward progress: 332858
Backward progress: 332728
Backward progress: 332529
Backward progress: 333472
Backward progress: 333472
Backward progress: 333091
Backward progress: 333197
Backward progress: 332188
Backward progress: 332174
Backward progress: 332176
Backward progress: 332168
Backward progress: 331934
Backward progress: 331661
Backward progress: 329734
Backward progress: 329722
Backward progress: 334421
Backward progress: 334421
Backward progress: 333022
Backward progress: 332586
Backward progress: 333452
Backward progress: 333491
Backward progress: 332677
Backward progress: 332145
Backward progress: 331637
Backward progress: 333256
Backward progress: 333315
Backward progress: 332266
Backward progress: 331147
Backward progress: 331915
Backward progress: 331449
Backward progress: 331727
Backward progress: 331422
Backward progress: 331612
Backward progress: 326446
Backward progress: 325500
Backward progress: 327558
Backward progress: 327597
Backward progress: 326679
Backward progress: 324558
Backward progress: 323799
Backward progress: 323234
Backward progress: 321126
Backward progress: 301213
Backward progress: 299952
Backward progress: 299975
Backward progress: 302008
Backward progress: 302397
Backward progress: 301464
Backward progress: 301776
Backward progress: 299655
Backward progress: 299391
Backward progress: 297191
Backward progress: 297433
Backward progress: 297114
Backward progress: 297118
Backward progress: 297114
Backward progress: 297017
Backward progress: 296768
Backward progress: 287816
Backward progress: 289769
Backward progress: 288316
Backward progress: 288705
Backward progress: 288727
Backward progress: 288730
Backward progress: 288681
Backward progress: 288854
Backward progress: 288827
Backward progress: 289707
Backward progress: 289875
Backward progress: 290097
Backward progress: 290168
Backward progress: 290159
Backward progress: 289982
Backward progress: 289894
Backward progress: 290279
Backward progress: 290285
Backward progress: 290212
Backward progress: 290203
Backward progress: 290358
Backward progress: 290301
Backward progress: 290322
Backward progress: 290242
Backward progress: 290230
Backward progress: 290254
Backward progress: 290240
Backward progress: 290023
Backward progress: 290670
Backward progress: 290403
Backward progress: 290682
Backward progress: 290685
Backward progress: 290407
Backward progress: 290198
Backward progress: 289971
Backward progress: 289983
Backward progress: 289666
Backward progress: 289580
Backward progress: 273088
Backward progress: 273043
Backward progress: 271948
Backward progress: 268426
Backward progress: 269756
Backward progress: 270575
Backward progress: 270752
Backward progress: 270903
Backward progress: 271130
Backward progress: 271244
Backward progress: 271193
Backward progress: 271183
Backward progress: 271439
Backward progress: 270936
Backward progress: 271413
Backward progress: 271367
Backward progress: 271365
Backward progress: 270669
Backward progress: 268740
Backward progress: 322277
Backward progress: 315184
Backward progress: 309417
Backward progress: 311758
Backward progress: 309220
Backward progress: 331263
Backward progress: 344416
Backward progress: 383760
Backward progress: 387728
Backward progress: 389119
Backward progress: 389006
Backward progress: 400908
Backward progress: 399687
Backward progress: 399621
Backward progress: 396192
Backward progress: 396112
Backward progress: 395279
Backward progress: 394496
Backward progress: 396374
Backward progress: 414634
Backward progress: 422408
Backward progress: 423848
Backward progress: 426427
Backward progress: 425824
Backward progress: 417947
Backward progress: 418009
Backward progress: 441540
Backward progress: 443579
Backward progress: 519413
Backward progress: 488270
Backward progress: 490191
Backward progress: 450902
Backward progress: 433508
Backward progress: 434104
Backward progress: 429525
Backward progress: 428044
Backward progress: 438185
Backward progress: 417970
Backward progress: 416303
Backward progress: 420073
Backward progress: 345992
Backward progress: 332003
Backward progress: 332215
Backward progress: 340534
Backward progress: 346951
Backward progress: 347951
Backward progress: 347800
Backward progress: 344809
Backward progress: 344086
Backward progress: 344019
Backward progress: 339668
Backward progress: 341232
Backward progress: 340296
Backward progress: 339078
Backward progress: 335803
Backward progress: 335758
Backward progress: 330417
Backward progress: 330076
Backward progress: 329076
Backward progress: 326767
Backward progress: 323653
Backward progress: 322952
Backward progress: 321969
Backward progress: 321288
Backward progress: 321335
Backward progress: 318268
Backward progress: 331729
Backward progress: 330672
Backward progress: 328270
Backward progress: 326314
Backward progress: 322204
Backward progress: 320055
Backward progress: 322374
Backward progress: 322552
Backward progress: 320069
Backward progress: 317587
Backward progress: 320050
Backward progress: 319046
Backward progress: 319581
Backward progress: 319793
Backward progress: 319859
Backward progress: 320540
Backward progress: 318129
Backward progress: 317827
Backward progress: 317798
Backward progress: 319166
Backward progress: 319651
Backward progress: 320124
Backward progress: 321999
Backward progress: 322071
Backward progress: 316905
Backward progress: 317042
Backward progress: 317065
Backward progress: 317053
Backward progress: 317074
Backward progress: 317058
Backward progress: 317142
Backward progress: 317147
Backward progress: 317172
Backward progress: 316765
Backward progress: 317037
Backward progress: 316669
Backward progress: 321212
Backward progress: 320906
Backward progress: 319662
Backward progress: 315599
Backward progress: 311937
Backward progress: 308425
Backward progress: 305486
Backward progress: 304378
Backward progress: 304163
Backward progress: 304050
Backward progress: 305402
Backward progress: 305430
Backward progress: 305452
Backward progress: 306120
Backward progress: 313947
Backward progress: 314187
Backward progress: 308459
Backward progress: 307480
Backward progress: 307672
Backward progress: 307784
Backward progress: 307766
Backward progress: 307533
Backward progress: 308259
Backward progress: 308524
Backward progress: 306993
Backward progress: 306822
Backward progress: 306626
Backward progress: 307204
Backward progress: 308282
Backward progress: 306398
Backward progress: 301729
Backward progress: 301596
Backward progress: 302105
Backward progress: 302119
Backward progress: 302115
Backward progress: 302238
Backward progress: 302131
Backward progress: 302143
Backward progress: 302225
Backward progress: 302201
Backward progress: 302203
Backward progress: 301994
Backward progress: 292743
Backward progress: 292825
Backward progress: 292897
Backward progress: 297173
Backward progress: 299900
Backward progress: 300713
Backward progress: 301422
Backward progress: 301668
Backward progress: 302794
Backward progress: 302799
Backward progress: 302794
Backward progress: 303612
Backward progress: 302077
Backward progress: 303881
Backward progress: 303889
Backward progress: 304992
Backward progress: 305026
Backward progress: 302632
Backward progress: 304365
Backward progress: 304706
Backward progress: 305977
Backward progress: 306709
Backward progress: 306743
Backward progress: 306786
Backward progress: 308216
Backward progress: 307123
Backward progress: 307071
Backward progress: 307093
Backward progress: 305139
Backward progress: 305242
Backward progress: 307547
Backward progress: 307666
Backward progress: 307825
Backward progress: 307421
Backward progress: 307740
Backward progress: 308122
Backward progress: 308146
Backward progress: 308034
Backward progress: 310828
Backward progress: 315032
Backward progress: 317962
Backward progress: 317147
Backward progress: 315454
Backward progress: 313464
Backward progress: 317480
Backward progress: 320357
Backward progress: 319905
Backward progress: 320236
Backward progress: 312155
Backward progress: 313535
Backward progress: 314107
Backward progress: 314111
Backward progress: 314049
Backward progress: 312075
Backward progress: 312419
Backward progress: 312974
Backward progress: 310713
Backward progress: 305805
Backward progress: 306780
Backward progress: 307201
Backward progress: 304607
Backward progress: 304433
Backward progress: 303892
Backward progress: 303234
Backward progress: 303058
Backward progress: 297261
Backward progress: 297347
Backward progress: 297290
Backward progress: 297205
Backward progress: 297226
Backward progress: 297187
Backward progress: 297183
Backward progress: 296780
Backward progress: 296758
Backward progress: 296696
Backward progress: 296608
Backward progress: 296520
Backward progress: 301235
Backward progress: 302987
Backward progress: 304381
Backward progress: 304479
Backward progress: 304506
Backward progress: 307405
Backward progress: 307357
Backward progress: 308112
Backward progress: 311294
Backward progress: 311162
Backward progress: 311721
Backward progress: 311835
Backward progress: 307453
Backward progress: 308156
Backward progress: 308600
Backward progress: 310669
Backward progress: 310896
Backward progress: 308806
Backward progress: 308770
Backward progress: 307612
Backward progress: 307865
Backward progress: 306625
Backward progress: 306713
Backward progress: 305995
Backward progress: 304873
Backward progress: 303521
Backward progress: 301158
Backward progress: 301483
Backward progress: 301548
Backward progress: 299750
Backward progress: 299670
Backward progress: 299636
Backward progress: 299525
Backward progress: 297867
Backward progress: 296589
Backward progress: 298104
Backward progress: 298887
Backward progress: 299316
Backward progress: 299036
Backward progress: 303046
Backward progress: 302997
Backward progress: 299161
Backward progress: 296835
Backward progress: 296832
Backward progress: 296416
Backward progress: 296315
Backward progress: 296315
Backward progress: 295775
Backward progress: 295701
Backward progress: 295739
Backward progress: 296498
Backward progress: 296425
Backward progress: 296476
Backward progress: 296455
Backward progress: 296435
Backward progress: 296197
Backward progress: 296099
Backward progress: 295898
Backward progress: 295395
Backward progress: 295435
Backward progress: 295316
Backward progress: 295218
Backward progress: 295223
Backward progress: 295196
Backward progress: 295164
Backward progress: 294651
Backward progress: 294678
Backward progress: 294230
Backward progress: 293715
Backward progress: 290012
Backward progress: 290017
Backward progress: 289528
Backward progress: 289484
Backward progress: 289476
Backward progress: 288976
Backward progress: 288975
Backward progress: 288973
Backward progress: 288970
Backward progress: 288930
Backward progress: 288954
Backward progress: 287524
Backward progress: 287460
Backward progress: 287417
Backward progress: 287198
Backward progress: 287776
Backward progress: 287866
Backward progress: 288451
Backward progress: 288091
Backward progress: 287995
Backward progress: 288128
Backward progress: 287851
Backward progress: 287854
Backward progress: 287853
Backward progress: 287730
Backward progress: 287743
Backward progress: 287767
Backward progress: 287647
Backward progress: 300975
Backward progress: 246143
Backward progress: 237382
Backward progress: 245042
Backward progress: 248418
Backward progress: 248406
Backward progress: 248208
Backward progress: 246587
Backward progress: 227234
Backward progress: 235247
Backward progress: 232131
Backward progress: 231901
Backward progress: 237769
Backward progress: 237745
Backward progress: 237788
Backward progress: 233368
Backward progress: 232412
Backward progress: 232149
Backward progress: 236515
Backward progress: 235058
Backward progress: 235140
Backward progress: 235041
Backward progress: 235111
Backward progress: 235041
Backward progress: 246008
Backward progress: 246593
Backward progress: 242756
Backward progress: 242010
Backward progress: 241990
Backward progress: 241950
Backward progress: 242376
Backward progress: 237738
Backward progress: 238721
Backward progress: 232773
Backward progress: 231416
Backward progress: 231335
Backward progress: 231381
Backward progress: 231526
Backward progress: 231684
Backward progress: 231688
Backward progress: 231684
Backward progress: 231698
Backward progress: 231684
Backward progress: 230423
Backward progress: 230451
Backward progress: 230439
Backward progress: 226648
Backward progress: 223975
Backward progress: 223871
Backward progress: 223250
Backward progress: 223126
Backward progress: 221811
Backward progress: 223297
Backward progress: 223245
Backward progress: 223357
Backward progress: 222553
Backward progress: 221967
Backward progress: 216286
Backward progress: 216328
Backward progress: 224487
Backward progress: 223791
Backward progress: 224049
Backward progress: 225338
Backward progress: 228348
Backward progress: 228396
Backward progress: 228368
Backward progress: 228452
Backward progress: 228384
Backward progress: 229374
Backward progress: 229458
Backward progress: 229412
Backward progress: 229398
Backward progress: 229801
Backward progress: 229604
Backward progress: 229638
Backward progress: 229606
Backward progress: 229580
Backward progress: 229288
Backward progress: 229252
Backward progress: 229294
Backward progress: 217613
Backward progress: 217790
Backward progress: 218662
Backward progress: 217049
Backward progress: 216850
Backward progress: 217067
Backward progress: 217098
Backward progress: 217072
Backward progress: 217140
Backward progress: 216999
Backward progress: 217604
Backward progress: 243864
Backward progress: 234696
Backward progress: 235617
Backward progress: 235589
Backward progress: 235572
Backward progress: 235898
Backward progress: 235756
Backward progress: 235748
Backward progress: 235764
Backward progress: 235566
Backward progress: 235244
Backward progress: 235057
Backward progress: 235194
Backward progress: 235055
Backward progress: 237088
Backward progress: 207749
Backward progress: 205881
Backward progress: 205939
Backward progress: 206088
Backward progress: 205890
Backward progress: 206443
Backward progress: 206037
Backward progress: 206480
Backward progress: 206835
Backward progress: 206024
Backward progress: 205609
Backward progress: 205485
Backward progress: 205985
Backward progress: 206068
Backward progress: 204936
Backward progress: 203878
Backward progress: 203447
Backward progress: 203382
Backward progress: 203327
Backward progress: 203041
Backward progress: 203041
Attractor colors: 11331056662464168000000
Attractor colors computed in 2900771 ms.
Control exists for 1258000 color(s), jumping through 2251799813685248 vertices.
Elapsed: 70529 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 70.529
user ??
sys ??
