>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 2750993280
Perturbation colors: 9007199254740992
All colors: 24778744621413477000000000
Unknown update functions: 6
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 100027
Backward progress: 103076
Backward progress: 103348
Backward progress: 105830
Backward progress: 105866
Backward progress: 106348
Backward progress: 104168
Backward progress: 115480
Backward progress: 112149
Backward progress: 113178
Backward progress: 108936
Backward progress: 109125
Backward progress: 109132
Backward progress: 108843
Backward progress: 108739
Backward progress: 111066
Backward progress: 110892
Backward progress: 110863
Backward progress: 110702
Backward progress: 110710
Backward progress: 110440
Backward progress: 113057
Backward progress: 111840
Backward progress: 111838
Backward progress: 111796
Backward progress: 111802
Backward progress: 111632
Backward progress: 111576
Backward progress: 112586
Backward progress: 112271
Backward progress: 112239
Backward progress: 109954
Backward progress: 109835
Backward progress: 109651
Backward progress: 109623
Backward progress: 109751
Backward progress: 109837
Backward progress: 107641
Backward progress: 107569
Backward progress: 107499
Backward progress: 103963
Backward progress: 105203
Backward progress: 103973
Backward progress: 102794
Backward progress: 100564
Backward progress: 100493
Backward progress: 100485
Backward progress: 100429
Backward progress: 104828
Backward progress: 108585
Backward progress: 109257
Backward progress: 109219
Backward progress: 109261
Backward progress: 109229
Backward progress: 108303
Backward progress: 110969
Backward progress: 110396
Backward progress: 109137
Backward progress: 109455
Backward progress: 108916
Backward progress: 109306
Backward progress: 105560
Backward progress: 105654
Backward progress: 104424
Backward progress: 103904
Backward progress: 103815
Backward progress: 103851
Backward progress: 103829
Backward progress: 104191
Backward progress: 104156
Backward progress: 104039
Backward progress: 100967
Backward progress: 101098
Backward progress: 101694
Backward progress: 109632
Backward progress: 101872
Backward progress: 102201
Backward progress: 102237
Backward progress: 102177
Backward progress: 102012
Backward progress: 100445
Backward progress: 103714
Backward progress: 103714
Backward progress: 100927
Backward progress: 100695
Backward progress: 100805
Backward progress: 100807
Backward progress: 100713
Backward progress: 100242
Backward progress: 100036
Backward progress: 100082
Backward progress: 118684
Backward progress: 117690
Backward progress: 116943
Backward progress: 116943
Backward progress: 115875
Backward progress: 129821
Backward progress: 127405
Backward progress: 127521
Backward progress: 127924
Backward progress: 127580
Backward progress: 126035
Backward progress: 140703
Backward progress: 142708
Backward progress: 147739
Backward progress: 147695
Backward progress: 147356
Backward progress: 146768
Backward progress: 148395
Backward progress: 148273
Backward progress: 148273
Backward progress: 148116
Backward progress: 155610
Backward progress: 155473
Backward progress: 154803
Backward progress: 154851
Backward progress: 154577
Backward progress: 145339
Backward progress: 155704
Backward progress: 154468
Backward progress: 154036
Backward progress: 152522
Backward progress: 153343
Backward progress: 157233
Backward progress: 155699
Backward progress: 155703
Backward progress: 155459
Backward progress: 155334
Backward progress: 153304
Backward progress: 153120
Backward progress: 149599
Backward progress: 150028
Backward progress: 148868
Backward progress: 147595
Backward progress: 145112
Backward progress: 145564
Backward progress: 148968
Backward progress: 148937
Backward progress: 148674
Backward progress: 151413
Backward progress: 150698
Backward progress: 149577
Backward progress: 149451
Backward progress: 143982
Backward progress: 144098
Backward progress: 143301
Backward progress: 143298
Backward progress: 140445
Backward progress: 140851
Backward progress: 140933
Backward progress: 140615
Backward progress: 140009
Backward progress: 152383
Backward progress: 134029
Backward progress: 137941
Backward progress: 136684
Backward progress: 136818
Backward progress: 134860
Backward progress: 135572
Backward progress: 135602
Backward progress: 134890
Backward progress: 133888
Backward progress: 133870
Backward progress: 133864
Backward progress: 139378
Backward progress: 146361
Backward progress: 139072
Backward progress: 139252
Backward progress: 138125
Backward progress: 138120
Backward progress: 137917
Backward progress: 137780
Backward progress: 137330
Backward progress: 137362
Backward progress: 136933
Backward progress: 137161
Backward progress: 136922
Backward progress: 136590
Backward progress: 136585
Backward progress: 136519
Backward progress: 134845
Backward progress: 134853
Backward progress: 134313
Backward progress: 134368
Backward progress: 134216
Backward progress: 134220
Backward progress: 134644
Backward progress: 134600
Backward progress: 134572
Backward progress: 134646
Backward progress: 134582
Backward progress: 132164
Backward progress: 131494
Backward progress: 131452
Backward progress: 130554
Backward progress: 207641
Backward progress: 180903
Backward progress: 180874
Backward progress: 148533
Backward progress: 137500
Backward progress: 126379
Backward progress: 124468
Backward progress: 123111
Backward progress: 123087
Backward progress: 122968
Backward progress: 122768
Backward progress: 122732
Backward progress: 122652
Backward progress: 122053
Backward progress: 119740
Backward progress: 122434
Backward progress: 122819
Backward progress: 123359
Backward progress: 123160
Backward progress: 122126
Backward progress: 122261
Backward progress: 121662
Backward progress: 121665
Backward progress: 121615
Backward progress: 119198
Backward progress: 119146
Backward progress: 119182
Backward progress: 119164
Backward progress: 119116
Backward progress: 118686
Backward progress: 118686
Backward progress: 118760
Backward progress: 118974
Backward progress: 118701
Backward progress: 118601
Backward progress: 118567
Backward progress: 118445
Backward progress: 118205
Backward progress: 117944
Backward progress: 105603
Backward progress: 107276
Backward progress: 106102
Backward progress: 106114
Backward progress: 105417
Backward progress: 104972
Backward progress: 117236
Backward progress: 100432
Backward progress: 104144
Backward progress: 112541
Backward progress: 127703
Backward progress: 129290
Backward progress: 132869
Backward progress: 133094
Backward progress: 132781
Backward progress: 133110
Backward progress: 133835
Backward progress: 134641
Backward progress: 135281
Backward progress: 135537
Backward progress: 140532
Backward progress: 143160
Backward progress: 143156
Backward progress: 144826
Backward progress: 145698
Backward progress: 144996
Backward progress: 145338
Backward progress: 145814
Backward progress: 146022
Backward progress: 153951
Backward progress: 153759
Backward progress: 154125
Backward progress: 154513
Backward progress: 155015
Backward progress: 155016
Backward progress: 155142
Backward progress: 157062
Backward progress: 159482
Backward progress: 159614
Backward progress: 159882
Backward progress: 160698
Backward progress: 160662
Backward progress: 161897
Backward progress: 161923
Backward progress: 161975
Backward progress: 169498
Backward progress: 169784
Backward progress: 167851
Backward progress: 167889
Backward progress: 172069
Backward progress: 171988
Backward progress: 172882
Backward progress: 172822
Backward progress: 173158
Backward progress: 173158
Backward progress: 172826
Backward progress: 172404
Backward progress: 174216
Backward progress: 173992
Backward progress: 185919
Backward progress: 201444
Backward progress: 206912
Backward progress: 204931
Backward progress: 204993
Backward progress: 205541
Backward progress: 204567
Backward progress: 206488
Backward progress: 208838
Backward progress: 204008
Backward progress: 204086
Backward progress: 206356
Backward progress: 206196
Backward progress: 214245
Backward progress: 222599
Backward progress: 221961
Backward progress: 222853
Backward progress: 222870
Backward progress: 221305
Backward progress: 223033
Backward progress: 224114
Backward progress: 215956
Backward progress: 210965
Backward progress: 209812
Backward progress: 208919
Backward progress: 208933
Backward progress: 208809
Backward progress: 207457
Backward progress: 207093
Backward progress: 203068
Backward progress: 203156
Backward progress: 200151
Backward progress: 205534
Backward progress: 208228
Backward progress: 207490
Backward progress: 207496
Backward progress: 206963
Backward progress: 203763
Backward progress: 203609
Backward progress: 202358
Backward progress: 195574
Backward progress: 195936
Backward progress: 193640
Backward progress: 193556
Backward progress: 190447
Backward progress: 191373
Backward progress: 197521
Backward progress: 196807
Backward progress: 196819
Backward progress: 196618
Backward progress: 193944
Backward progress: 177779
Backward progress: 177789
Backward progress: 177670
Backward progress: 177562
Backward progress: 177825
Backward progress: 180155
Backward progress: 178832
Backward progress: 180118
Backward progress: 177830
Backward progress: 176656
Backward progress: 176716
Backward progress: 176852
Backward progress: 174630
Backward progress: 173474
Backward progress: 172274
Backward progress: 171277
Backward progress: 172040
Backward progress: 172065
Backward progress: 171946
Backward progress: 171279
Backward progress: 171515
Backward progress: 170541
Backward progress: 171278
Backward progress: 171301
Backward progress: 171098
Backward progress: 170599
Backward progress: 179946
Backward progress: 193595
Backward progress: 194355
Backward progress: 194889
Backward progress: 194443
Backward progress: 194363
Backward progress: 190865
Backward progress: 189612
Backward progress: 190028
Backward progress: 188510
Backward progress: 188422
Backward progress: 190401
Backward progress: 190430
Backward progress: 189708
Backward progress: 189546
Backward progress: 187152
Backward progress: 189902
Backward progress: 190006
Backward progress: 188084
Backward progress: 187894
Backward progress: 185646
Backward progress: 186570
Backward progress: 186570
Backward progress: 185544
Backward progress: 184638
Backward progress: 186751
Backward progress: 186879
Backward progress: 185269
Backward progress: 184840
Backward progress: 184698
Backward progress: 184114
Backward progress: 185167
Backward progress: 184144
Backward progress: 198423
Backward progress: 193892
Backward progress: 193247
Backward progress: 127470
Backward progress: 177980
Backward progress: 157148
Backward progress: 156664
Backward progress: 156917
Backward progress: 156474
Backward progress: 154103
Backward progress: 142017
Backward progress: 142303
Backward progress: 138967
Backward progress: 139018
Backward progress: 134486
Backward progress: 130658
Backward progress: 134098
Backward progress: 131684
Backward progress: 128265
Backward progress: 118401
Backward progress: 124290
Backward progress: 122742
Backward progress: 121010
Backward progress: 115105
Backward progress: 118297
Backward progress: 118320
Backward progress: 117606
Backward progress: 117606
Backward progress: 125112
Backward progress: 121406
Backward progress: 121464
Backward progress: 117554
Backward progress: 116380
Backward progress: 114535
Backward progress: 120855
Backward progress: 122387
Backward progress: 122563
Backward progress: 122442
Backward progress: 122449
Backward progress: 122119
Backward progress: 122093
Backward progress: 124878
Backward progress: 126134
Backward progress: 126183
Backward progress: 126189
Backward progress: 126124
Backward progress: 127478
Backward progress: 132411
Backward progress: 132366
Backward progress: 133746
Backward progress: 133766
Backward progress: 133398
Backward progress: 134473
Backward progress: 135354
Backward progress: 135279
Backward progress: 134627
Backward progress: 134829
Backward progress: 134957
Backward progress: 134314
Backward progress: 133229
Backward progress: 133391
Backward progress: 132538
Backward progress: 131986
Backward progress: 132476
Backward progress: 130564
Backward progress: 130568
Backward progress: 130337
Backward progress: 133223
Backward progress: 135843
Backward progress: 137094
Backward progress: 137103
Backward progress: 136964
Backward progress: 137263
Backward progress: 137666
Backward progress: 137623
Backward progress: 137684
Backward progress: 138364
Backward progress: 138334
Backward progress: 138394
Backward progress: 139069
Backward progress: 139127
Backward progress: 139471
Backward progress: 139635
Backward progress: 139455
Backward progress: 139414
Backward progress: 141063
Backward progress: 141715
Backward progress: 141400
Backward progress: 141315
Backward progress: 141147
Backward progress: 141271
Backward progress: 142450
Backward progress: 143000
Backward progress: 142159
Backward progress: 142266
Backward progress: 142220
Backward progress: 142245
Backward progress: 140652
Backward progress: 134586
Backward progress: 134548
Backward progress: 133685
Backward progress: 134553
Backward progress: 134737
Backward progress: 132878
Backward progress: 133632
Backward progress: 132763
Backward progress: 132193
Backward progress: 132205
Backward progress: 132215
Backward progress: 132037
Backward progress: 131979
Backward progress: 130346
Backward progress: 129884
Backward progress: 131938
Backward progress: 131938
Backward progress: 131202
Backward progress: 130873
Backward progress: 131466
Backward progress: 131599
Backward progress: 131125
Backward progress: 130897
Backward progress: 130900
Backward progress: 130522
Backward progress: 130928
Backward progress: 130948
Backward progress: 130660
Backward progress: 130402
Backward progress: 130594
Backward progress: 130406
Backward progress: 131741
Backward progress: 131653
Backward progress: 127721
Backward progress: 139751
Backward progress: 135074
Backward progress: 135033
Backward progress: 132043
Backward progress: 129027
Backward progress: 128477
Backward progress: 128492
Backward progress: 128247
Backward progress: 127402
Backward progress: 127402
Backward progress: 127991
Backward progress: 127579
Backward progress: 127239
Backward progress: 121959
Backward progress: 124039
Backward progress: 122835
Backward progress: 122851
Backward progress: 121597
Backward progress: 120397
Backward progress: 120910
Backward progress: 121695
Backward progress: 123147
Backward progress: 123554
Backward progress: 124046
Backward progress: 124527
Backward progress: 123986
Backward progress: 127485
Backward progress: 127633
Backward progress: 127649
Backward progress: 123261
Backward progress: 123544
Backward progress: 123159
Backward progress: 123256
Backward progress: 123304
Backward progress: 122009
Backward progress: 122113
Backward progress: 121568
Backward progress: 122292
Backward progress: 123322
Backward progress: 123259
Backward progress: 123005
Backward progress: 123126
Backward progress: 123115
Backward progress: 123115
Backward progress: 122833
Backward progress: 122813
Backward progress: 123284
Backward progress: 123996
Backward progress: 124066
Backward progress: 123885
Backward progress: 123736
Backward progress: 123807
Backward progress: 123801
Backward progress: 123784
Backward progress: 123290
Backward progress: 123393
Backward progress: 123360
Backward progress: 123360
Backward progress: 120377
Backward progress: 119719
Backward progress: 119132
Backward progress: 119572
Backward progress: 119483
Backward progress: 119496
Backward progress: 119497
Backward progress: 119497
Backward progress: 119250
Backward progress: 118607
Backward progress: 100995
Backward progress: 103392
Backward progress: 106175
Backward progress: 106516
Backward progress: 106505
Backward progress: 106506
Backward progress: 106492
Backward progress: 105297
Backward progress: 105309
Backward progress: 105311
Backward progress: 105309
Backward progress: 105309
Backward progress: 105305
Backward progress: 105302
Backward progress: 105331
Backward progress: 105333
Backward progress: 105330
Backward progress: 105331
Backward progress: 105333
Backward progress: 105359
Backward progress: 105358
Backward progress: 105275
Backward progress: 105338
Backward progress: 100841
Backward progress: 113006
Backward progress: 113474
Backward progress: 119274
Backward progress: 119028
Backward progress: 119374
Backward progress: 119272
Backward progress: 120533
Backward progress: 127039
Backward progress: 127523
Backward progress: 128069
Backward progress: 127785
Backward progress: 128007
Backward progress: 127961
Backward progress: 127929
Backward progress: 128009
Backward progress: 122839
Backward progress: 124315
Backward progress: 123981
Backward progress: 123259
Backward progress: 120826
Backward progress: 123945
Backward progress: 129209
Backward progress: 134563
Backward progress: 132028
Backward progress: 131522
Backward progress: 131742
Backward progress: 131156
Backward progress: 130822
Backward progress: 134918
Backward progress: 133753
Backward progress: 132785
Backward progress: 132642
Backward progress: 133407
Backward progress: 133611
Backward progress: 130661
Backward progress: 129665
Backward progress: 129686
Backward progress: 129081
Backward progress: 129088
Backward progress: 129018
Backward progress: 128697
Backward progress: 129568
Backward progress: 128440
Backward progress: 128455
Backward progress: 127434
Backward progress: 128071
Backward progress: 129069
Backward progress: 129262
Backward progress: 128914
Backward progress: 128664
Backward progress: 126941
Backward progress: 126923
Backward progress: 126475
Backward progress: 121746
Backward progress: 121798
Backward progress: 121301
Backward progress: 121260
Backward progress: 120399
Backward progress: 119697
Backward progress: 122151
Backward progress: 121513
Backward progress: 121579
Backward progress: 121009
Backward progress: 121513
Backward progress: 121543
Backward progress: 121195
Backward progress: 121029
Backward progress: 120629
Backward progress: 127635
Backward progress: 127405
Backward progress: 127229
Backward progress: 125090
Backward progress: 143120
Backward progress: 138074
Backward progress: 132708
Backward progress: 129602
Backward progress: 127402
Backward progress: 125931
Backward progress: 127793
Backward progress: 127375
Backward progress: 126052
Backward progress: 122759
Backward progress: 117252
Backward progress: 117508
Backward progress: 117785
Backward progress: 118631
Backward progress: 118711
Backward progress: 118515
Backward progress: 119916
Backward progress: 119932
Backward progress: 119936
Backward progress: 118374
Backward progress: 118379
Backward progress: 118384
Backward progress: 118402
Backward progress: 118422
Backward progress: 118070
Backward progress: 117618
Backward progress: 110775
Backward progress: 110887
Backward progress: 111024
Backward progress: 110982
Backward progress: 110537
Backward progress: 141417
Backward progress: 146479
Backward progress: 142310
Backward progress: 138925
Backward progress: 138925
Backward progress: 138895
Backward progress: 138812
Backward progress: 139005
Backward progress: 139417
Backward progress: 139104
Backward progress: 138864
Backward progress: 137218
Backward progress: 141768
Backward progress: 131606
Backward progress: 132390
Backward progress: 132462
Backward progress: 132468
Backward progress: 132484
Backward progress: 132456
Backward progress: 132480
Backward progress: 132484
Backward progress: 132490
Backward progress: 129387
Backward progress: 148767
Backward progress: 147856
Backward progress: 141956
Backward progress: 142201
Backward progress: 139451
Backward progress: 139451
Backward progress: 139425
Backward progress: 139092
Backward progress: 139098
Backward progress: 139106
Backward progress: 139114
Backward progress: 138970
Backward progress: 138871
Backward progress: 138952
Backward progress: 139078
Backward progress: 137022
Backward progress: 137720
Backward progress: 133134
Backward progress: 206693
Backward progress: 220047
Backward progress: 261532
Backward progress: 314034
Backward progress: 336634
Backward progress: 336511
Backward progress: 342850
Backward progress: 342263
Backward progress: 343325
Backward progress: 343304
Backward progress: 343302
Backward progress: 343308
Backward progress: 351490
Backward progress: 335379
Backward progress: 404594
Backward progress: 393941
Backward progress: 384983
Backward progress: 450704
Backward progress: 447731
Backward progress: 447770
Backward progress: 448392
Backward progress: 448432
Backward progress: 447765
Backward progress: 407601
Backward progress: 404259
Backward progress: 436974
Backward progress: 440822
Backward progress: 392003
Backward progress: 429454
Backward progress: 434699
Backward progress: 435246
Backward progress: 435234
Backward progress: 432752
Backward progress: 432732
Backward progress: 435570
Backward progress: 434187
Backward progress: 434009
Backward progress: 433812
Backward progress: 433844
Backward progress: 433852
Backward progress: 433790
Backward progress: 433398
Backward progress: 420412
Backward progress: 448081
Backward progress: 445151
Backward progress: 445310
Backward progress: 446648
Backward progress: 446814
Backward progress: 445387
Backward progress: 444076
Backward progress: 450595
Backward progress: 447784
Backward progress: 462330
Backward progress: 462141
Backward progress: 464885
Backward progress: 464841
Backward progress: 464131
Backward progress: 466303
Backward progress: 467006
Backward progress: 466943
Backward progress: 466837
Backward progress: 466758
Backward progress: 507825
Backward progress: 518821
Backward progress: 514954
Backward progress: 504789
Backward progress: 504403
Backward progress: 504220
Backward progress: 504138
Backward progress: 502743
Backward progress: 502474
Backward progress: 502699
Backward progress: 502775
Backward progress: 502734
Backward progress: 502652
Backward progress: 502078
Backward progress: 502043
Backward progress: 501052
Backward progress: 515097
Backward progress: 483517
Backward progress: 499772
Backward progress: 473081
Backward progress: 462088
Backward progress: 462049
Backward progress: 461861
Backward progress: 462266
Backward progress: 463728
Backward progress: 464048
Backward progress: 463954
Backward progress: 465389
Backward progress: 465709
Backward progress: 465619
Backward progress: 465417
Backward progress: 465363
Backward progress: 448529
Backward progress: 448589
Backward progress: 448562
Backward progress: 447748
Backward progress: 446881
Backward progress: 446883
Backward progress: 446863
Backward progress: 446247
Backward progress: 446221
Backward progress: 427504
Backward progress: 417720
Backward progress: 406899
Backward progress: 406018
Backward progress: 405195
Backward progress: 404271
Backward progress: 404176
Backward progress: 401612
Backward progress: 399072
Backward progress: 398904
Backward progress: 398804
Backward progress: 408400
Backward progress: 408400
Backward progress: 401431
Backward progress: 401132
Backward progress: 403959
Backward progress: 406700
Backward progress: 406178
Backward progress: 404281
Backward progress: 404282
Backward progress: 404263
Backward progress: 402043
Backward progress: 402019
Backward progress: 401999
Backward progress: 402011
Backward progress: 402015
Backward progress: 402003
Backward progress: 401960
Backward progress: 401407
Backward progress: 401277
Backward progress: 400232
Backward progress: 401459
Backward progress: 401999
Backward progress: 401822
Backward progress: 401830
Backward progress: 401574
Backward progress: 400956
Backward progress: 399949
Backward progress: 400009
Backward progress: 399950
Backward progress: 427148
Backward progress: 424861
Backward progress: 423780
Backward progress: 423778
Backward progress: 423721
Backward progress: 424765
Backward progress: 445519
Backward progress: 439160
Backward progress: 439531
Backward progress: 450465
Backward progress: 447470
Backward progress: 447434
Backward progress: 448176
Backward progress: 447123
Backward progress: 446076
Backward progress: 448994
Backward progress: 451773
Backward progress: 460824
Backward progress: 460897
Backward progress: 457069
Backward progress: 455568
Backward progress: 455923
Backward progress: 454859
Backward progress: 455552
Backward progress: 457427
Backward progress: 456175
Backward progress: 457629
Backward progress: 457509
Backward progress: 455300
Backward progress: 455538
Backward progress: 455818
Backward progress: 455658
Backward progress: 455498
Backward progress: 455688
Backward progress: 455740
Backward progress: 460280
Backward progress: 460478
Backward progress: 459324
Backward progress: 459200
Backward progress: 457560
Backward progress: 457600
Backward progress: 457910
Backward progress: 458297
Backward progress: 456918
Backward progress: 457233
Backward progress: 456059
Backward progress: 456099
Backward progress: 456075
Backward progress: 456215
Backward progress: 455582
Backward progress: 455588
Backward progress: 454795
Backward progress: 454987
Backward progress: 452538
Backward progress: 455023
Backward progress: 455023
Backward progress: 452957
Backward progress: 452495
Backward progress: 453212
Backward progress: 453514
Backward progress: 453062
Backward progress: 452555
Backward progress: 452253
Backward progress: 451129
Backward progress: 452563
Backward progress: 452885
Backward progress: 451966
Backward progress: 451169
Backward progress: 450145
Backward progress: 450022
Backward progress: 452721
Backward progress: 451930
Backward progress: 452722
Backward progress: 453568
Backward progress: 453724
Backward progress: 454228
Backward progress: 453940
Backward progress: 453960
Backward progress: 454184
Backward progress: 454220
Backward progress: 454236
Backward progress: 453728
Backward progress: 606363
Backward progress: 533013
Backward progress: 532857
Backward progress: 481300
Backward progress: 455888
Backward progress: 462593
Backward progress: 465660
Backward progress: 464139
Backward progress: 461176
Backward progress: 455698
Backward progress: 453157
Backward progress: 452564
Backward progress: 445271
Backward progress: 445256
Backward progress: 444646
Backward progress: 444726
Backward progress: 444488
Backward progress: 445522
Backward progress: 444919
Backward progress: 448333
Backward progress: 446635
Backward progress: 445268
Backward progress: 445258
Backward progress: 445238
Backward progress: 445293
Backward progress: 445243
Backward progress: 445188
Backward progress: 445902
Backward progress: 446140
Backward progress: 445885
Backward progress: 445835
Backward progress: 445678
Backward progress: 445951
Backward progress: 445432
Backward progress: 445125
Backward progress: 444606
Backward progress: 415546
Backward progress: 426302
Backward progress: 421390
Backward progress: 421470
Backward progress: 416258
Backward progress: 414091
Backward progress: 435164
Backward progress: 441522
Backward progress: 440836
Backward progress: 438920
Backward progress: 440162
Backward progress: 441293
Backward progress: 440721
Backward progress: 439853
Backward progress: 442189
Backward progress: 446687
Backward progress: 447499
Backward progress: 447333
Backward progress: 448045
Backward progress: 447769
Backward progress: 449992
Backward progress: 450322
Backward progress: 450136
Backward progress: 450119
Backward progress: 449704
Backward progress: 449636
Backward progress: 449611
Backward progress: 449589
Backward progress: 449098
Backward progress: 448148
Backward progress: 448700
Backward progress: 447977
Backward progress: 447888
Backward progress: 447702
Backward progress: 447456
Backward progress: 447415
Backward progress: 447348
Backward progress: 446767
Backward progress: 448436
Backward progress: 448258
Backward progress: 448055
Backward progress: 447683
Backward progress: 448511
Backward progress: 448892
Backward progress: 448682
Backward progress: 448629
Backward progress: 448370
Backward progress: 447956
Backward progress: 446944
Backward progress: 453695
Backward progress: 451060
Backward progress: 450809
Backward progress: 450579
Backward progress: 449487
Backward progress: 449851
Backward progress: 448033
Backward progress: 444717
Backward progress: 373869
Backward progress: 380763
Backward progress: 373661
Backward progress: 376861
Backward progress: 375287
Backward progress: 374531
Backward progress: 374717
Backward progress: 374725
Backward progress: 374741
Backward progress: 372382
Backward progress: 372076
Backward progress: 372646
Backward progress: 372748
Backward progress: 372809
Backward progress: 372595
Backward progress: 372899
Backward progress: 372751
Backward progress: 372888
Backward progress: 372845
Backward progress: 372937
Backward progress: 373009
Backward progress: 372330
Backward progress: 373075
Backward progress: 373001
Backward progress: 373027
Backward progress: 373163
Backward progress: 373171
Backward progress: 373133
Backward progress: 373131
Backward progress: 373073
Backward progress: 376055
Backward progress: 374234
Backward progress: 373694
Backward progress: 373482
Backward progress: 372925
Backward progress: 368691
Backward progress: 445004
Backward progress: 394597
Backward progress: 404766
Backward progress: 403590
Backward progress: 403099
Backward progress: 402841
Backward progress: 402872
Backward progress: 402846
Backward progress: 403081
Backward progress: 403114
Backward progress: 403115
Backward progress: 403086
Backward progress: 403794
Backward progress: 403866
Backward progress: 403880
Backward progress: 403694
Backward progress: 404012
Backward progress: 403827
Backward progress: 404759
Backward progress: 404740
Backward progress: 404779
Backward progress: 404801
Backward progress: 404938
Backward progress: 404908
Backward progress: 404903
Backward progress: 404524
Backward progress: 404467
Backward progress: 404435
Backward progress: 404440
Backward progress: 404237
Backward progress: 403341
Backward progress: 402212
Backward progress: 402213
Backward progress: 402211
Backward progress: 402245
Backward progress: 402267
Backward progress: 402212
Backward progress: 402170
Backward progress: 401980
Backward progress: 402403
Backward progress: 402403
Backward progress: 402069
Backward progress: 402030
Backward progress: 402100
Backward progress: 402102
Backward progress: 402062
Backward progress: 402080
Backward progress: 402022
Backward progress: 402096
Backward progress: 402098
Backward progress: 402023
Backward progress: 401984
Backward progress: 402973
Backward progress: 402337
Backward progress: 405682
Backward progress: 404588
Backward progress: 404420
Backward progress: 401168
Backward progress: 400711
Backward progress: 400940
Backward progress: 400942
Backward progress: 400871
Backward progress: 400680
Backward progress: 400608
Backward progress: 400116
Backward progress: 400523
Backward progress: 400289
Backward progress: 400297
Backward progress: 400092
Backward progress: 399892
Backward progress: 403132
Backward progress: 403089
Backward progress: 403138
Backward progress: 403195
Backward progress: 403197
Backward progress: 403195
Backward progress: 403216
Backward progress: 403252
Backward progress: 403343
Backward progress: 403365
Backward progress: 403493
Backward progress: 403771
Backward progress: 403781
Backward progress: 403776
Backward progress: 403784
Backward progress: 403779
Backward progress: 403731
Backward progress: 403531
Backward progress: 403589
Backward progress: 403551
Backward progress: 404675
Backward progress: 403919
Backward progress: 403867
Backward progress: 403715
Backward progress: 403751
Backward progress: 403639
Backward progress: 403131
Backward progress: 296374
Backward progress: 289987
Backward progress: 288907
Backward progress: 283362
Backward progress: 282421
Backward progress: 282445
Backward progress: 284485
Backward progress: 285428
Backward progress: 285057
Backward progress: 286350
Backward progress: 289071
Backward progress: 291025
Backward progress: 290331
Backward progress: 293817
Backward progress: 293086
Backward progress: 298160
Backward progress: 298884
Backward progress: 298341
Backward progress: 297645
Backward progress: 295711
Backward progress: 292396
Backward progress: 294039
Backward progress: 291991
Backward progress: 292058
Backward progress: 290776
Backward progress: 290026
Backward progress: 286660
Backward progress: 289450
Backward progress: 288670
Backward progress: 288711
Backward progress: 287940
Backward progress: 288745
Backward progress: 288785
Backward progress: 288333
Backward progress: 288203
Backward progress: 286168
Backward progress: 316470
Backward progress: 300768
Backward progress: 297237
Backward progress: 295666
Backward progress: 291599
Backward progress: 292188
Backward progress: 287665
Backward progress: 272142
Backward progress: 264488
Backward progress: 256824
Backward progress: 274595
Backward progress: 284697
Backward progress: 288060
Backward progress: 295398
Backward progress: 297989
Backward progress: 300127
Backward progress: 302999
Backward progress: 304042
Backward progress: 304070
Backward progress: 314644
Backward progress: 318099
Backward progress: 318188
Backward progress: 318080
Backward progress: 317920
Backward progress: 322535
Backward progress: 322264
Backward progress: 322446
Backward progress: 321782
Backward progress: 321680
Backward progress: 321593
Backward progress: 321196
Backward progress: 319634
Backward progress: 275442
Backward progress: 279175
Backward progress: 278402
Backward progress: 277889
Backward progress: 276967
Backward progress: 277449
Backward progress: 277477
Backward progress: 277247
Backward progress: 277027
Backward progress: 274997
Backward progress: 301489
Backward progress: 289520
Backward progress: 288436
Backward progress: 282078
Backward progress: 278870
Backward progress: 276178
Backward progress: 270460
Backward progress: 270467
Backward progress: 266723
Backward progress: 272090
Backward progress: 272639
Backward progress: 273076
Backward progress: 274139
Backward progress: 276049
Backward progress: 277859
Backward progress: 278742
Backward progress: 278440
Backward progress: 281313
Backward progress: 284014
Backward progress: 284314
Backward progress: 284242
Backward progress: 283860
Backward progress: 288613
Backward progress: 288663
Backward progress: 289284
Backward progress: 288377
Backward progress: 288261
Backward progress: 288167
Backward progress: 287554
Backward progress: 285303
Backward progress: 289574
Backward progress: 288913
Backward progress: 288324
Backward progress: 287327
Backward progress: 288060
Backward progress: 288090
Backward progress: 287768
Backward progress: 287387
Backward progress: 284844
Backward progress: 313660
Backward progress: 301351
Backward progress: 300249
Backward progress: 293614
Backward progress: 290533
Backward progress: 287197
Backward progress: 280987
Backward progress: 278779
Backward progress: 274618
Backward progress: 274618
FWD-attractor: 111705
FWD-attractor: 104396
FWD-attractor: 104838
FWD-attractor: 106121
FWD-attractor: 107931
FWD-attractor: 114267
FWD-attractor: 111608
FWD-attractor: 104540
FWD-attractor: 102793
FWD-attractor: 103257
FWD-attractor: 102983
FWD-attractor: 120123
FWD-attractor: 121721
FWD-attractor: 123171
FWD-attractor: 127265
FWD-attractor: 121901
FWD-attractor: 125514
FWD-attractor: 129238
FWD-attractor: 143013
FWD-attractor: 145421
FWD-attractor: 145837
FWD-attractor: 149544
FWD-attractor: 150690
FWD-attractor: 130579
FWD-attractor: 130674
FWD-attractor: 130558
FWD-attractor: 142795
FWD-attractor: 141520
FWD-attractor: 140883
FWD-attractor: 143549
FWD-attractor: 152438
FWD-attractor: 141971
FWD-attractor: 142084
FWD-attractor: 142168
FWD-attractor: 139699
FWD-attractor: 138759
FWD-attractor: 138561
FWD-attractor: 137035
FWD-attractor: 134919
FWD-attractor: 129329
FWD-attractor: 129597
FWD-attractor: 132348
FWD-attractor: 131684
FWD-attractor: 131710
FWD-attractor: 125271
FWD-attractor: 150390
FWD-attractor: 146190
FWD-attractor: 131004
FWD-attractor: 128921
FWD-attractor: 128869
FWD-attractor: 129025
FWD-attractor: 131713
FWD-attractor: 131815
FWD-attractor: 135726
FWD-attractor: 135413
FWD-attractor: 131337
FWD-attractor: 131258
FWD-attractor: 130760
FWD-attractor: 132038
FWD-attractor: 131508
FWD-attractor: 132967
FWD-attractor: 136866
FWD-attractor: 136193
FWD-attractor: 135489
FWD-attractor: 132600
FWD-attractor: 126771
FWD-attractor: 122497
FWD-attractor: 122081
FWD-attractor: 122051
FWD-attractor: 122003
FWD-attractor: 122071
FWD-attractor: 122844
FWD-attractor: 122596
FWD-attractor: 121721
FWD-attractor: 121518
FWD-attractor: 121093
FWD-attractor: 121126
FWD-attractor: 121119
FWD-attractor: 121474
FWD-attractor: 121066
FWD-attractor: 121090
FWD-attractor: 121023
FWD-attractor: 121124
FWD-attractor: 121000
FWD-attractor: 120822
FWD-attractor: 120630
FWD-attractor: 120574
FWD-attractor: 120832
FWD-attractor: 120289
FWD-attractor: 120267
FWD-attractor: 120268
FWD-attractor: 120146
FWD-attractor: 124939
FWD-attractor: 126858
FWD-attractor: 127100
FWD-attractor: 126990
FWD-attractor: 126993
FWD-attractor: 128155
FWD-attractor: 127367
FWD-attractor: 128842
FWD-attractor: 128708
FWD-attractor: 128914
FWD-attractor: 130128
FWD-attractor: 128112
FWD-attractor: 127975
FWD-attractor: 128959
FWD-attractor: 128983
FWD-attractor: 127626
FWD-attractor: 128387
FWD-attractor: 128551
FWD-attractor: 127727
FWD-attractor: 128481
FWD-attractor: 129226
FWD-attractor: 130138
FWD-attractor: 129653
FWD-attractor: 133186
FWD-attractor: 133507
FWD-attractor: 134034
FWD-attractor: 133818
FWD-attractor: 133212
FWD-attractor: 134426
FWD-attractor: 134342
FWD-attractor: 134636
FWD-attractor: 136030
FWD-attractor: 135922
FWD-attractor: 135786
FWD-attractor: 135468
FWD-attractor: 134457
FWD-attractor: 133490
FWD-attractor: 133454
FWD-attractor: 133401
FWD-attractor: 297300
FWD-attractor: 238467
FWD-attractor: 212818
FWD-attractor: 186535
Attractor colors: 2469272442737882000000000
Attractor colors computed in 2422822 ms.
Backward progress: 106475
Backward progress: 106559
Control exists for 274144312 color(s), jumping through 9007199254740992 vertices.
Elapsed: 169011 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 169.011
user ??
sys ??
