>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 1637496000
Perturbation colors: 9007199254740992
All colors: 14749252750841355000000000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 100271
Backward progress: 107675
Backward progress: 113584
Backward progress: 114433
Backward progress: 114332
Backward progress: 115697
Backward progress: 115275
Backward progress: 116051
Backward progress: 118079
Backward progress: 116750
Backward progress: 116750
Backward progress: 116750
Backward progress: 116729
Backward progress: 119484
Backward progress: 119119
Backward progress: 122025
Backward progress: 122025
Backward progress: 121792
Backward progress: 118824
Backward progress: 130379
Backward progress: 130937
Backward progress: 130740
Backward progress: 130740
Backward progress: 130680
Backward progress: 131558
Backward progress: 133942
Backward progress: 133848
Backward progress: 133881
Backward progress: 136548
Backward progress: 136594
Backward progress: 136577
Backward progress: 139540
Backward progress: 139622
Backward progress: 144189
Backward progress: 145073
Backward progress: 143301
Backward progress: 141068
Backward progress: 142107
Backward progress: 142092
Backward progress: 141374
Backward progress: 141815
Backward progress: 141632
Backward progress: 147273
Backward progress: 153792
Backward progress: 153399
Backward progress: 154166
Backward progress: 152859
Backward progress: 150776
Backward progress: 160887
Backward progress: 157936
Backward progress: 156873
Backward progress: 165666
Backward progress: 161946
Backward progress: 161683
Backward progress: 170212
Backward progress: 170269
Backward progress: 169919
Backward progress: 169802
Backward progress: 173363
Backward progress: 225349
Backward progress: 219320
Backward progress: 214011
Backward progress: 219715
Backward progress: 216106
Backward progress: 214778
Backward progress: 212741
Backward progress: 224885
Backward progress: 216106
Backward progress: 198717
Backward progress: 185023
Backward progress: 178787
Backward progress: 178213
Backward progress: 180902
Backward progress: 180938
Backward progress: 178688
Backward progress: 178038
Backward progress: 177974
Backward progress: 179838
Backward progress: 170877
Backward progress: 283061
Backward progress: 289258
Backward progress: 291894
Backward progress: 311821
Backward progress: 318195
Backward progress: 317397
Backward progress: 309766
Backward progress: 218764
Backward progress: 207380
Backward progress: 207473
Backward progress: 207217
Backward progress: 208497
Backward progress: 203447
Backward progress: 201073
Backward progress: 198450
Backward progress: 198402
Backward progress: 193196
Backward progress: 193226
Backward progress: 189211
Backward progress: 192586
Backward progress: 189789
Backward progress: 190118
Backward progress: 183100
Backward progress: 182366
Backward progress: 182592
Backward progress: 182465
Backward progress: 182454
Backward progress: 182543
Backward progress: 182468
Backward progress: 172292
Backward progress: 171953
Backward progress: 171780
Backward progress: 171812
Backward progress: 171388
Backward progress: 170598
Backward progress: 193045
Backward progress: 185252
Backward progress: 169144
Backward progress: 142391
Backward progress: 130338
Backward progress: 126766
Backward progress: 126774
Backward progress: 124380
Backward progress: 121193
Backward progress: 121176
Backward progress: 120178
Backward progress: 120017
Backward progress: 120121
Backward progress: 120110
Backward progress: 121900
Backward progress: 122300
Backward progress: 122430
Backward progress: 122176
Backward progress: 120432
Backward progress: 120257
Backward progress: 120115
Backward progress: 119990
Backward progress: 120070
Backward progress: 119954
Backward progress: 119900
Backward progress: 119602
Backward progress: 120065
Backward progress: 120072
Backward progress: 119607
Backward progress: 119743
Backward progress: 119990
Backward progress: 119049
Backward progress: 119050
Backward progress: 118974
Backward progress: 118895
Backward progress: 118851
Backward progress: 118887
Backward progress: 118895
Backward progress: 116610
Backward progress: 115547
Backward progress: 103466
Backward progress: 129064
Backward progress: 142368
Backward progress: 164402
Backward progress: 163981
Backward progress: 160185
Backward progress: 159485
Backward progress: 157665
Backward progress: 157345
Backward progress: 158622
Backward progress: 159268
Backward progress: 159919
Backward progress: 158855
Backward progress: 158780
Backward progress: 160723
Backward progress: 160237
Backward progress: 160229
Backward progress: 160118
Backward progress: 159811
Backward progress: 158886
Backward progress: 158360
Backward progress: 158148
Backward progress: 156586
Backward progress: 156576
Backward progress: 155785
Backward progress: 155660
Backward progress: 153838
Backward progress: 153719
Backward progress: 153377
Backward progress: 153117
Backward progress: 152893
Backward progress: 156804
Backward progress: 156088
Backward progress: 159933
Backward progress: 153000
Backward progress: 152294
Backward progress: 152757
Backward progress: 152771
Backward progress: 152344
Backward progress: 152282
Backward progress: 151718
Backward progress: 152056
Backward progress: 151541
Backward progress: 143719
Backward progress: 142441
Backward progress: 141546
Backward progress: 131307
Backward progress: 108374
Backward progress: 110224
Backward progress: 110624
Backward progress: 110415
Backward progress: 108663
Backward progress: 109077
Backward progress: 106644
Backward progress: 104452
Backward progress: 104034
Backward progress: 103625
Backward progress: 104717
Backward progress: 105192
Backward progress: 105376
Backward progress: 105325
Backward progress: 107133
Backward progress: 106722
Backward progress: 106668
Backward progress: 107120
Backward progress: 107139
Backward progress: 106981
Backward progress: 105778
Backward progress: 106401
Backward progress: 107384
Backward progress: 106760
Backward progress: 106829
Backward progress: 105775
Backward progress: 105666
Backward progress: 105628
Backward progress: 105384
Backward progress: 105412
Backward progress: 104810
Backward progress: 104371
Backward progress: 105375
Backward progress: 106113
Backward progress: 104344
Backward progress: 103608
Backward progress: 104125
Backward progress: 104152
Backward progress: 103874
Backward progress: 103578
Backward progress: 102948
Backward progress: 107215
Backward progress: 104747
Backward progress: 104216
Backward progress: 107409
Backward progress: 106282
Backward progress: 111639
Backward progress: 112543
Backward progress: 113929
Backward progress: 113787
Backward progress: 113868
Backward progress: 113494
Backward progress: 113606
Backward progress: 113622
Backward progress: 113553
Backward progress: 114032
Backward progress: 113599
Backward progress: 114016
Backward progress: 114298
Backward progress: 115618
Backward progress: 114242
Backward progress: 114741
Backward progress: 114696
Backward progress: 114393
Backward progress: 114506
Backward progress: 114506
Backward progress: 114501
Backward progress: 114686
Backward progress: 107894
Backward progress: 108275
Backward progress: 106983
Backward progress: 106038
Backward progress: 105851
Backward progress: 104751
Backward progress: 107799
Backward progress: 108296
Backward progress: 101556
Backward progress: 113228
Backward progress: 116375
Backward progress: 115242
Backward progress: 113797
Backward progress: 100658
Backward progress: 101271
Backward progress: 101269
Backward progress: 101391
Backward progress: 101406
Backward progress: 101369
Backward progress: 100579
Backward progress: 101195
Backward progress: 100349
Backward progress: 101276
Backward progress: 101853
Backward progress: 101840
Backward progress: 101538
Backward progress: 101547
Backward progress: 101140
Backward progress: 101152
Backward progress: 101139
Backward progress: 100819
Backward progress: 100828
Backward progress: 100439
Backward progress: 100699
Backward progress: 100967
Backward progress: 100861
Backward progress: 100861
Backward progress: 102540
Backward progress: 105123
Backward progress: 103923
Backward progress: 112390
Backward progress: 107182
Backward progress: 110480
Backward progress: 110633
Backward progress: 110633
Backward progress: 110629
Backward progress: 107154
Backward progress: 105138
Backward progress: 105406
Backward progress: 105402
Backward progress: 105262
Backward progress: 104995
Backward progress: 100222
Backward progress: 100333
Backward progress: 100164
Backward progress: 100549
Backward progress: 100821
Backward progress: 100016
Backward progress: 100134
Backward progress: 107167
Backward progress: 109149
Backward progress: 109390
Backward progress: 109405
Backward progress: 104355
Backward progress: 104149
Backward progress: 105326
Backward progress: 105500
Backward progress: 105734
Backward progress: 105738
Backward progress: 106415
Backward progress: 106754
Backward progress: 106760
Backward progress: 106727
Backward progress: 107454
Backward progress: 109533
Backward progress: 109893
Backward progress: 109891
Backward progress: 109902
Backward progress: 109903
Backward progress: 109902
Backward progress: 109057
Backward progress: 109195
Backward progress: 109035
Backward progress: 109011
Backward progress: 109244
Backward progress: 108978
Backward progress: 110947
Backward progress: 110607
Backward progress: 110602
Backward progress: 110401
Backward progress: 110402
Backward progress: 110329
Backward progress: 110156
Backward progress: 110151
Backward progress: 109981
Backward progress: 109982
Backward progress: 109920
Backward progress: 109936
Backward progress: 110116
Backward progress: 110064
Backward progress: 110064
Backward progress: 109126
Backward progress: 109174
Backward progress: 110340
Backward progress: 108728
Backward progress: 108101
Backward progress: 107230
Backward progress: 107230
Backward progress: 107030
Backward progress: 108867
Backward progress: 107269
Backward progress: 107272
Backward progress: 107379
Backward progress: 107379
Backward progress: 107375
Backward progress: 107319
Backward progress: 107375
Backward progress: 107384
Backward progress: 107342
Backward progress: 107412
Backward progress: 106377
Backward progress: 106509
Backward progress: 106536
Backward progress: 106533
Backward progress: 106536
Backward progress: 106697
Backward progress: 106673
Backward progress: 106889
Backward progress: 106879
Backward progress: 106735
Backward progress: 106911
Backward progress: 107067
Backward progress: 106650
Backward progress: 106794
Backward progress: 106646
Backward progress: 104772
Backward progress: 104878
Backward progress: 104826
Backward progress: 104294
Backward progress: 159310
Backward progress: 167750
Backward progress: 206078
Backward progress: 219860
Backward progress: 230066
Backward progress: 226454
Backward progress: 226991
Backward progress: 226313
Backward progress: 225980
Backward progress: 225961
Backward progress: 213885
Backward progress: 199079
Backward progress: 236261
Backward progress: 224931
Backward progress: 224950
Backward progress: 260078
Backward progress: 251805
Backward progress: 254034
Backward progress: 252180
Backward progress: 289506
Backward progress: 297079
Backward progress: 324015
Backward progress: 329672
Backward progress: 325824
Backward progress: 325980
Backward progress: 325148
Backward progress: 324836
Backward progress: 324818
Backward progress: 327952
Backward progress: 289494
Backward progress: 287427
Backward progress: 291156
Backward progress: 289295
Backward progress: 292775
Backward progress: 292775
Backward progress: 292807
Backward progress: 322914
Backward progress: 322465
Backward progress: 310576
Backward progress: 320113
Backward progress: 334339
Backward progress: 332685
Backward progress: 333464
Backward progress: 333305
Backward progress: 331788
Backward progress: 331761
Backward progress: 327861
Backward progress: 325694
Backward progress: 325480
Backward progress: 326523
Backward progress: 326518
Backward progress: 326895
Backward progress: 397073
Backward progress: 384162
Backward progress: 408804
Backward progress: 414281
Backward progress: 410160
Backward progress: 409898
Backward progress: 409004
Backward progress: 404334
Backward progress: 403886
Backward progress: 403804
Backward progress: 407669
Backward progress: 343803
Backward progress: 345813
Backward progress: 345190
Backward progress: 343753
Backward progress: 341267
Backward progress: 348772
Backward progress: 348405
Backward progress: 347452
Backward progress: 336675
Backward progress: 334090
Backward progress: 329370
Backward progress: 328697
Backward progress: 328096
Backward progress: 328051
Backward progress: 327877
Backward progress: 327891
Backward progress: 327465
Backward progress: 327076
Backward progress: 327119
Backward progress: 337693
Backward progress: 337805
Backward progress: 336956
Backward progress: 336985
Backward progress: 337007
Backward progress: 336606
Backward progress: 339792
Backward progress: 343334
Backward progress: 337942
Backward progress: 342942
Backward progress: 342916
Backward progress: 342414
Backward progress: 341689
Backward progress: 342909
Backward progress: 343293
Backward progress: 342937
Backward progress: 342733
Backward progress: 350222
Backward progress: 350186
Backward progress: 349245
Backward progress: 348127
Backward progress: 347391
Backward progress: 347251
Backward progress: 347255
Backward progress: 355614
Backward progress: 353513
Backward progress: 330834
Backward progress: 332237
Backward progress: 285769
Backward progress: 273594
Backward progress: 271229
Backward progress: 258631
Backward progress: 258609
Backward progress: 258259
Backward progress: 257449
Backward progress: 257047
Backward progress: 256639
Backward progress: 256861
Backward progress: 256912
Backward progress: 256928
Backward progress: 256934
Backward progress: 256359
Backward progress: 256302
Backward progress: 256353
Backward progress: 256361
Backward progress: 256367
Backward progress: 255885
Backward progress: 255828
Backward progress: 255911
Backward progress: 255758
Backward progress: 255038
Backward progress: 248440
Backward progress: 245464
Backward progress: 238009
Backward progress: 238009
Backward progress: 232149
Backward progress: 230207
Backward progress: 228811
Backward progress: 226995
Backward progress: 248407
Backward progress: 247381
Backward progress: 259628
Backward progress: 259628
Backward progress: 242654
Backward progress: 242007
Backward progress: 242183
Backward progress: 241949
Backward progress: 242214
Backward progress: 241789
Backward progress: 242235
Backward progress: 241397
Backward progress: 253617
Backward progress: 247957
Backward progress: 248062
Backward progress: 265721
Backward progress: 259588
Backward progress: 256530
Backward progress: 259529
Backward progress: 259947
Backward progress: 260260
Backward progress: 259615
Backward progress: 259875
Backward progress: 259860
Backward progress: 259807
Backward progress: 259634
Backward progress: 261885
Backward progress: 261577
Backward progress: 261619
Backward progress: 260184
Backward progress: 260690
Backward progress: 258659
Backward progress: 258470
Backward progress: 258012
Backward progress: 258317
Backward progress: 258138
Backward progress: 254543
Backward progress: 254833
Backward progress: 254833
Backward progress: 229426
Backward progress: 229135
Backward progress: 228841
Backward progress: 228841
Backward progress: 228349
Backward progress: 229046
Backward progress: 228876
Backward progress: 229166
Backward progress: 228875
Backward progress: 221517
Backward progress: 221945
Backward progress: 222066
Backward progress: 221928
Backward progress: 221929
Backward progress: 221782
Backward progress: 222009
Backward progress: 221978
Backward progress: 221839
Backward progress: 221894
Backward progress: 221881
Backward progress: 221838
Backward progress: 221750
Backward progress: 185351
Backward progress: 152457
Backward progress: 152507
Backward progress: 152376
Backward progress: 152377
Backward progress: 152248
Backward progress: 152200
Backward progress: 152211
Backward progress: 152082
Backward progress: 152127
Backward progress: 152114
Backward progress: 151928
Backward progress: 154870
Backward progress: 152960
Backward progress: 152156
Backward progress: 150938
Backward progress: 151191
Backward progress: 151327
Backward progress: 151509
Backward progress: 151249
Backward progress: 151297
Backward progress: 151282
Backward progress: 151093
Backward progress: 151112
Backward progress: 148213
Backward progress: 148289
Backward progress: 147820
Backward progress: 147508
Backward progress: 148269
Backward progress: 148289
Backward progress: 147493
Backward progress: 146913
Backward progress: 144969
Backward progress: 143497
Backward progress: 142869
Backward progress: 144648
Backward progress: 143783
Backward progress: 137561
Backward progress: 136822
Backward progress: 142230
Backward progress: 143129
Backward progress: 143102
Backward progress: 143109
Backward progress: 141816
Backward progress: 140030
Backward progress: 140050
Backward progress: 140269
Backward progress: 140155
Backward progress: 140807
Backward progress: 140783
Backward progress: 140900
Backward progress: 141644
Backward progress: 141161
Backward progress: 141210
Backward progress: 140149
Backward progress: 139894
Backward progress: 138941
Backward progress: 140672
Backward progress: 140534
Backward progress: 139943
Backward progress: 140589
Backward progress: 139489
Backward progress: 138769
Backward progress: 137876
Backward progress: 137005
Backward progress: 135529
Backward progress: 134864
Backward progress: 135434
Backward progress: 135579
Backward progress: 133974
Backward progress: 147383
Backward progress: 147072
Backward progress: 152352
Backward progress: 169585
Backward progress: 180512
Backward progress: 181442
Backward progress: 182213
Backward progress: 183916
Backward progress: 185530
Backward progress: 185432
Backward progress: 185384
Backward progress: 185222
Backward progress: 186726
Backward progress: 209499
Backward progress: 216894
Backward progress: 218172
Backward progress: 220772
Backward progress: 220007
Backward progress: 213251
Backward progress: 220865
Backward progress: 220473
Backward progress: 226596
Backward progress: 226004
Backward progress: 244385
Backward progress: 242330
Backward progress: 199242
Backward progress: 204472
Backward progress: 204264
Backward progress: 202830
Backward progress: 201690
Backward progress: 207753
Backward progress: 208681
Backward progress: 208617
Backward progress: 208584
Backward progress: 211293
Backward progress: 211582
Backward progress: 211530
Backward progress: 211207
Backward progress: 219694
Backward progress: 220052
Backward progress: 220948
Backward progress: 221794
Backward progress: 229188
Backward progress: 229744
Backward progress: 230320
Backward progress: 233447
Backward progress: 236540
Backward progress: 236624
Backward progress: 237715
Backward progress: 244023
Backward progress: 244498
Backward progress: 243728
Backward progress: 243122
Backward progress: 242428
Backward progress: 242413
Backward progress: 242388
Backward progress: 243082
Backward progress: 241438
Backward progress: 240185
Backward progress: 240190
Backward progress: 239665
Backward progress: 239582
Backward progress: 239469
Backward progress: 229345
Backward progress: 211518
Backward progress: 211089
Backward progress: 209863
Backward progress: 209629
Backward progress: 263383
Backward progress: 263949
Backward progress: 259050
Backward progress: 265628
Backward progress: 264835
Backward progress: 320771
Backward progress: 321739
Backward progress: 322057
Backward progress: 321890
Backward progress: 308567
Backward progress: 277426
Backward progress: 274183
Backward progress: 273094
Backward progress: 254156
Backward progress: 252228
Backward progress: 253121
Backward progress: 253130
Backward progress: 252163
Backward progress: 251659
Backward progress: 259066
Backward progress: 259066
Backward progress: 244018
Backward progress: 241816
Backward progress: 243346
Backward progress: 243353
Backward progress: 243064
Backward progress: 241515
Backward progress: 241613
Backward progress: 241373
Backward progress: 242192
Backward progress: 238969
Backward progress: 251670
Backward progress: 252797
Backward progress: 251621
Backward progress: 250490
Backward progress: 263281
Backward progress: 258550
Backward progress: 258342
Backward progress: 258454
Backward progress: 258150
Backward progress: 260424
Backward progress: 260431
Backward progress: 262036
Backward progress: 261832
Backward progress: 261762
Backward progress: 261776
Backward progress: 259124
Backward progress: 259177
Backward progress: 259242
Backward progress: 258960
Backward progress: 258627
Backward progress: 258518
Backward progress: 258830
Backward progress: 258277
Backward progress: 257671
Backward progress: 257312
Backward progress: 257740
Backward progress: 257037
Backward progress: 256964
Backward progress: 256046
Backward progress: 257676
Backward progress: 258848
Backward progress: 257620
Backward progress: 257202
Backward progress: 319190
Backward progress: 319331
Backward progress: 323595
Backward progress: 323890
Backward progress: 321155
Backward progress: 308756
Backward progress: 279665
Backward progress: 275916
Backward progress: 274843
Backward progress: 255511
Backward progress: 254315
Backward progress: 231651
Backward progress: 230698
Backward progress: 220538
Backward progress: 212976
Backward progress: 213249
Backward progress: 203997
Backward progress: 203717
Backward progress: 203035
Backward progress: 204994
Backward progress: 204863
Backward progress: 204885
Backward progress: 205284
Backward progress: 206047
Backward progress: 206047
Backward progress: 206067
Backward progress: 206140
Backward progress: 206938
Backward progress: 206956
Backward progress: 207158
Backward progress: 208161
Backward progress: 208266
Backward progress: 208509
Backward progress: 208530
Backward progress: 208496
Backward progress: 208600
Backward progress: 208611
Backward progress: 208951
Backward progress: 209277
Backward progress: 208684
Backward progress: 209542
Backward progress: 209501
Backward progress: 208918
Backward progress: 209527
Backward progress: 209590
Backward progress: 209581
Backward progress: 209412
Backward progress: 208095
Backward progress: 208120
Backward progress: 207057
Backward progress: 206552
Backward progress: 206574
Backward progress: 205744
Backward progress: 206417
Backward progress: 206289
Backward progress: 206289
Backward progress: 194949
Backward progress: 194399
Backward progress: 194399
Backward progress: 194498
Backward progress: 193767
Backward progress: 195882
Backward progress: 211615
Backward progress: 211254
Backward progress: 210749
Backward progress: 211316
Backward progress: 211424
Backward progress: 211653
Backward progress: 211959
Backward progress: 211617
Backward progress: 212185
Backward progress: 212372
Backward progress: 213403
Backward progress: 213370
Backward progress: 214039
Backward progress: 214151
Backward progress: 214055
Backward progress: 213889
Backward progress: 212869
Backward progress: 212853
Backward progress: 212892
Backward progress: 216637
Backward progress: 216516
Backward progress: 218192
Backward progress: 218192
Backward progress: 214065
Backward progress: 213544
Backward progress: 213726
Backward progress: 213729
Backward progress: 213612
Backward progress: 213515
Backward progress: 213555
Backward progress: 213479
Backward progress: 213706
Backward progress: 212886
Backward progress: 213721
Backward progress: 213262
Backward progress: 213420
Backward progress: 212437
Backward progress: 212428
Backward progress: 212707
Backward progress: 212786
Backward progress: 212786
Backward progress: 208562
Backward progress: 208346
Backward progress: 208346
Backward progress: 208236
Backward progress: 208212
Backward progress: 207942
Backward progress: 207953
Backward progress: 207527
Backward progress: 202176
Backward progress: 192251
Backward progress: 188891
Backward progress: 193163
Backward progress: 192705
Backward progress: 193028
Backward progress: 193075
Backward progress: 193055
Backward progress: 193052
Backward progress: 193193
Backward progress: 193411
Backward progress: 192494
Backward progress: 184159
Backward progress: 182053
Backward progress: 166517
Backward progress: 165866
Backward progress: 165775
Backward progress: 165949
Backward progress: 165849
Backward progress: 165719
Backward progress: 168439
Backward progress: 176572
Backward progress: 200093
Backward progress: 200699
Backward progress: 191735
Backward progress: 191753
Backward progress: 188762
Backward progress: 188558
Backward progress: 189662
Backward progress: 189810
Backward progress: 189735
Backward progress: 189649
Backward progress: 190325
Backward progress: 191186
Backward progress: 194591
Backward progress: 194859
Backward progress: 194858
Backward progress: 194779
Backward progress: 193232
Backward progress: 193283
Backward progress: 190211
Backward progress: 201326
Backward progress: 201330
Backward progress: 201307
Backward progress: 201259
Backward progress: 200760
Backward progress: 181512
Backward progress: 181168
Backward progress: 174040
Backward progress: 173069
Backward progress: 172808
Backward progress: 169658
Backward progress: 171524
Backward progress: 167149
Backward progress: 168343
Backward progress: 168345
Backward progress: 167218
Backward progress: 167127
Backward progress: 167067
Backward progress: 164085
Backward progress: 161912
Backward progress: 161912
Backward progress: 161915
Backward progress: 161944
Backward progress: 161952
Backward progress: 161946
Backward progress: 161743
Backward progress: 161744
Backward progress: 161704
Backward progress: 159492
Backward progress: 159203
Backward progress: 159351
Backward progress: 160059
Backward progress: 166197
Backward progress: 167023
Backward progress: 161933
Backward progress: 161897
Backward progress: 162049
Backward progress: 162117
Backward progress: 162095
Backward progress: 162300
Backward progress: 162478
Backward progress: 163312
Backward progress: 163454
Backward progress: 163453
Backward progress: 163433
Backward progress: 162961
Backward progress: 163003
Backward progress: 161970
Backward progress: 165384
Backward progress: 165390
Backward progress: 165404
Backward progress: 165376
Backward progress: 165096
Backward progress: 164845
Backward progress: 162125
Backward progress: 161910
Backward progress: 160547
Backward progress: 162163
Backward progress: 160725
Backward progress: 160783
Backward progress: 160785
Backward progress: 160746
Backward progress: 160715
Backward progress: 160578
Backward progress: 159750
Backward progress: 159750
Backward progress: 159753
Backward progress: 159779
Backward progress: 159793
Backward progress: 159787
Backward progress: 159641
Backward progress: 159642
Backward progress: 159603
Backward progress: 158757
Backward progress: 158453
Backward progress: 162264
Backward progress: 163178
Backward progress: 163038
Backward progress: 160013
Backward progress: 167494
Backward progress: 166428
Backward progress: 166417
Backward progress: 166386
Backward progress: 166386
Backward progress: 166317
Backward progress: 166741
Backward progress: 166676
Backward progress: 168236
Backward progress: 168239
Backward progress: 168060
Backward progress: 167931
Backward progress: 169754
Backward progress: 169084
Backward progress: 169011
Backward progress: 170257
Backward progress: 170241
Backward progress: 167706
Backward progress: 167272
Backward progress: 168000
Backward progress: 167165
Backward progress: 167947
Backward progress: 167918
Backward progress: 167890
Backward progress: 166389
Backward progress: 166679
Backward progress: 166447
Backward progress: 166379
Backward progress: 166379
Attractor colors: 799830070448963200000000
Attractor colors computed in 1456618 ms.
Control exists for 88798976 color(s), jumping through 9007199254740992 vertices.
Elapsed: 32286 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 32.286
user ??
sys ??
