>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 24562440
Perturbation colors: 9007199254740992
All colors: 221238791262620330000000
Unknown update functions: 6
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 100786
Backward progress: 103146
Backward progress: 106202
Backward progress: 111130
Backward progress: 119162
Backward progress: 119097
Backward progress: 115969
Backward progress: 106614
Backward progress: 111947
Backward progress: 116438
Backward progress: 112713
Backward progress: 112485
Backward progress: 122109
Backward progress: 132221
Backward progress: 135630
Backward progress: 136037
Backward progress: 133802
Backward progress: 136983
Backward progress: 135203
Backward progress: 137746
Backward progress: 134753
Backward progress: 134753
Backward progress: 133845
Backward progress: 132855
Backward progress: 140470
Backward progress: 157931
Backward progress: 158439
Backward progress: 158457
Backward progress: 158689
Backward progress: 158700
Backward progress: 158689
Backward progress: 158885
Backward progress: 169105
Backward progress: 166099
Backward progress: 165992
Backward progress: 167317
Backward progress: 166300
Backward progress: 166086
Backward progress: 166360
Backward progress: 166352
Backward progress: 166131
Backward progress: 167626
Backward progress: 167590
Backward progress: 167127
Backward progress: 167136
Backward progress: 166856
Backward progress: 167203
Backward progress: 168112
Backward progress: 168089
Backward progress: 167735
Backward progress: 166113
Backward progress: 157049
Backward progress: 157147
Backward progress: 156480
Backward progress: 155031
Backward progress: 151087
Backward progress: 150793
Backward progress: 160201
Backward progress: 156075
Backward progress: 151878
Backward progress: 158109
Backward progress: 158420
Backward progress: 152291
Backward progress: 151899
Backward progress: 147681
Backward progress: 151357
Backward progress: 146409
Backward progress: 136348
Backward progress: 136980
Backward progress: 132151
Backward progress: 163078
Backward progress: 153202
Backward progress: 170073
Backward progress: 163564
Backward progress: 165927
Backward progress: 166078
Backward progress: 164194
Backward progress: 152119
Backward progress: 152209
Backward progress: 152205
Backward progress: 152177
Backward progress: 151761
Backward progress: 147886
Backward progress: 147890
Backward progress: 147851
Backward progress: 147922
Backward progress: 147946
Backward progress: 147941
Backward progress: 135899
Backward progress: 134505
Backward progress: 134519
Backward progress: 134477
Backward progress: 134504
Backward progress: 133710
Backward progress: 133712
Backward progress: 133610
Backward progress: 133556
Backward progress: 133053
Backward progress: 188554
Backward progress: 202776
Backward progress: 255054
Backward progress: 254533
Backward progress: 272415
Backward progress: 264811
Backward progress: 267377
Backward progress: 265513
Backward progress: 264763
Backward progress: 264701
Backward progress: 230585
Backward progress: 208651
Backward progress: 253423
Backward progress: 232018
Backward progress: 231910
Backward progress: 262261
Backward progress: 254535
Backward progress: 253292
Backward progress: 251573
Backward progress: 280690
Backward progress: 279135
Backward progress: 292007
Backward progress: 302380
Backward progress: 296837
Backward progress: 296811
Backward progress: 296746
Backward progress: 296927
Backward progress: 267289
Backward progress: 275272
Backward progress: 276699
Backward progress: 275332
Backward progress: 276113
Backward progress: 292542
Backward progress: 292542
Backward progress: 287342
Backward progress: 294791
Backward progress: 303003
Backward progress: 298185
Backward progress: 299453
Backward progress: 299771
Backward progress: 299266
Backward progress: 295269
Backward progress: 293803
Backward progress: 293784
Backward progress: 374199
Backward progress: 354928
Backward progress: 379005
Backward progress: 392170
Backward progress: 384955
Backward progress: 387116
Backward progress: 385423
Backward progress: 382951
Backward progress: 382813
Backward progress: 386456
Backward progress: 311669
Backward progress: 317938
Backward progress: 317916
Backward progress: 314774
Backward progress: 311554
Backward progress: 314945
Backward progress: 314987
Backward progress: 313329
Backward progress: 312190
Backward progress: 309917
Backward progress: 308495
Backward progress: 310403
Backward progress: 310253
Backward progress: 310253
Backward progress: 312137
Backward progress: 312078
Backward progress: 312024
Backward progress: 312034
Backward progress: 312024
Backward progress: 312257
Backward progress: 312263
Backward progress: 310554
Backward progress: 310596
Backward progress: 310450
Backward progress: 310451
Backward progress: 310461
Backward progress: 310386
Backward progress: 311288
Backward progress: 322088
Backward progress: 314284
Backward progress: 315286
Backward progress: 315229
Backward progress: 316459
Backward progress: 317267
Backward progress: 317265
Backward progress: 319203
Backward progress: 352273
Backward progress: 354711
Backward progress: 345815
Backward progress: 341834
Backward progress: 341863
Backward progress: 338604
Backward progress: 337283
Backward progress: 331543
Backward progress: 331399
Backward progress: 329035
Backward progress: 327582
Backward progress: 322414
Backward progress: 334280
Backward progress: 321217
Backward progress: 317061
Backward progress: 314817
Backward progress: 314453
Backward progress: 316384
Backward progress: 315815
Backward progress: 316246
Backward progress: 316680
Backward progress: 316340
Backward progress: 315595
Backward progress: 316118
Backward progress: 316178
Backward progress: 316087
Backward progress: 316155
Backward progress: 316023
Backward progress: 291711
Backward progress: 292080
Backward progress: 291850
Backward progress: 291761
Backward progress: 290424
Backward progress: 292424
Backward progress: 292424
Backward progress: 285327
Backward progress: 283925
Backward progress: 283968
Backward progress: 279830
Backward progress: 279619
Backward progress: 278891
Backward progress: 294303
Backward progress: 294303
Backward progress: 280598
Backward progress: 279476
Backward progress: 280609
Backward progress: 280619
Backward progress: 280494
Backward progress: 281546
Backward progress: 280287
Backward progress: 280437
Backward progress: 280447
Backward progress: 280299
Backward progress: 279177
Backward progress: 284245
Backward progress: 282979
Backward progress: 282283
Backward progress: 281466
Backward progress: 302637
Backward progress: 296072
Backward progress: 295774
Backward progress: 297518
Backward progress: 297976
Backward progress: 298399
Backward progress: 298687
Backward progress: 298838
Backward progress: 298877
Backward progress: 298829
Backward progress: 298854
Backward progress: 299635
Backward progress: 300750
Backward progress: 300707
Backward progress: 300639
Backward progress: 302072
Backward progress: 302181
Backward progress: 302348
Backward progress: 302342
Backward progress: 302516
Backward progress: 302459
Backward progress: 302478
Backward progress: 302276
Backward progress: 303135
Backward progress: 307244
Backward progress: 305741
Backward progress: 309903
Backward progress: 309630
Backward progress: 309664
Backward progress: 314439
Backward progress: 314351
Backward progress: 314972
Backward progress: 314815
Backward progress: 314656
Backward progress: 314728
Backward progress: 314548
Backward progress: 332411
Backward progress: 332556
Backward progress: 327707
Backward progress: 327334
Backward progress: 331029
Backward progress: 330958
Backward progress: 330851
Backward progress: 330478
Backward progress: 332828
Backward progress: 336514
Backward progress: 337232
Backward progress: 337894
Backward progress: 338088
Backward progress: 337605
Backward progress: 337309
Backward progress: 337273
Backward progress: 341561
Backward progress: 343329
Backward progress: 341223
Backward progress: 347118
Backward progress: 349386
Backward progress: 349353
Backward progress: 348658
Backward progress: 347768
Backward progress: 353526
Backward progress: 353875
Backward progress: 353423
Backward progress: 357437
Backward progress: 357420
Backward progress: 356601
Backward progress: 354116
Backward progress: 354498
Backward progress: 351589
Backward progress: 378817
Backward progress: 378817
Backward progress: 366215
Backward progress: 360912
Backward progress: 367804
Backward progress: 368055
Backward progress: 366148
Backward progress: 364259
Backward progress: 362962
Backward progress: 361911
Backward progress: 351359
Backward progress: 362192
Backward progress: 362487
Backward progress: 359650
Backward progress: 354520
Backward progress: 351387
Backward progress: 341910
Backward progress: 342159
Backward progress: 341959
Backward progress: 343056
Backward progress: 342452
Backward progress: 342165
Backward progress: 342322
Backward progress: 342353
Backward progress: 342683
Backward progress: 342473
Backward progress: 342477
Backward progress: 342332
Backward progress: 342338
Backward progress: 342111
Backward progress: 362971
Backward progress: 345677
Backward progress: 350007
Backward progress: 349698
Backward progress: 321366
Backward progress: 310547
Backward progress: 309080
Backward progress: 329464
Backward progress: 329769
Backward progress: 326691
Backward progress: 322392
Backward progress: 315552
Backward progress: 314359
Backward progress: 310586
Backward progress: 309590
Backward progress: 305794
Backward progress: 302219
Backward progress: 300035
Backward progress: 304022
Backward progress: 302712
Backward progress: 302590
Backward progress: 302590
Backward progress: 302595
Backward progress: 302719
Backward progress: 302592
Backward progress: 302601
Backward progress: 302601
Backward progress: 302591
Backward progress: 302676
Backward progress: 302676
Backward progress: 302720
Backward progress: 302684
Backward progress: 302563
Backward progress: 302619
Backward progress: 302390
Backward progress: 304463
Backward progress: 304566
Backward progress: 304529
Backward progress: 304435
Backward progress: 304437
Backward progress: 304343
Backward progress: 304946
Backward progress: 304781
Backward progress: 304667
Backward progress: 304790
Backward progress: 304652
Backward progress: 304226
Backward progress: 304104
Backward progress: 304333
Backward progress: 304062
Backward progress: 303792
Backward progress: 303291
Backward progress: 301845
Backward progress: 302532
Backward progress: 301385
Backward progress: 301151
Backward progress: 300677
Backward progress: 300189
Backward progress: 295118
Backward progress: 293749
Backward progress: 285345
Backward progress: 282012
Backward progress: 290181
Backward progress: 290459
Backward progress: 294261
Backward progress: 294426
Backward progress: 293899
Backward progress: 293827
Backward progress: 293532
Backward progress: 294292
Backward progress: 294200
Backward progress: 295878
Backward progress: 296181
Backward progress: 296883
Backward progress: 296314
Backward progress: 296198
Backward progress: 296114
Backward progress: 298539
Backward progress: 298436
Backward progress: 298400
Backward progress: 298367
Backward progress: 298417
Backward progress: 298796
Backward progress: 298311
Backward progress: 297895
Backward progress: 297835
Backward progress: 297800
Backward progress: 297702
Backward progress: 297591
Backward progress: 298198
Backward progress: 297484
Backward progress: 297373
Backward progress: 297273
Backward progress: 297252
Backward progress: 297258
Backward progress: 297169
Backward progress: 297165
Backward progress: 297165
Backward progress: 297157
Backward progress: 297159
Backward progress: 297088
Backward progress: 297129
Backward progress: 297133
Backward progress: 297084
Backward progress: 297079
Backward progress: 297052
Backward progress: 297037
Backward progress: 296847
Backward progress: 296831
Backward progress: 296631
Backward progress: 296551
Backward progress: 295421
Backward progress: 295368
Backward progress: 296541
Backward progress: 295636
Backward progress: 295412
Backward progress: 295413
Backward progress: 295178
Backward progress: 294047
Backward progress: 293807
Backward progress: 293733
Backward progress: 291645
Backward progress: 291655
Backward progress: 291416
Backward progress: 251248
Backward progress: 246027
Backward progress: 246034
Backward progress: 245994
Backward progress: 245546
Backward progress: 245548
Backward progress: 245545
Backward progress: 245546
Backward progress: 245521
Backward progress: 246793
Backward progress: 245576
Backward progress: 245877
Backward progress: 245598
Backward progress: 245608
Backward progress: 245665
Backward progress: 245959
Backward progress: 245620
Backward progress: 245629
Backward progress: 245921
Backward progress: 245626
Backward progress: 245992
Backward progress: 245173
Backward progress: 236740
Backward progress: 236736
Backward progress: 237275
Backward progress: 237271
Backward progress: 237220
Backward progress: 237181
Backward progress: 237182
Backward progress: 237180
Backward progress: 237180
Backward progress: 237177
Backward progress: 237280
Backward progress: 237175
Backward progress: 237152
Backward progress: 237078
Backward progress: 237045
Backward progress: 236444
Backward progress: 236394
Backward progress: 236418
Backward progress: 257412
Backward progress: 257405
Backward progress: 254745
Backward progress: 254543
Backward progress: 254463
Backward progress: 254261
Backward progress: 253773
Backward progress: 254197
Backward progress: 253646
Backward progress: 254285
Backward progress: 254647
Backward progress: 254745
Backward progress: 254431
Backward progress: 254505
Backward progress: 254255
Backward progress: 254268
Backward progress: 254394
Backward progress: 254727
Backward progress: 254744
Backward progress: 254768
Backward progress: 254909
Backward progress: 255004
Backward progress: 254974
Backward progress: 255068
Backward progress: 255058
Backward progress: 255070
Backward progress: 255077
Backward progress: 255025
Backward progress: 254824
Backward progress: 254240
Backward progress: 253790
Backward progress: 253410
Backward progress: 253504
Backward progress: 253482
Backward progress: 253399
Backward progress: 253418
Backward progress: 253502
Backward progress: 253402
Backward progress: 253407
Backward progress: 253362
Backward progress: 253030
Backward progress: 252815
Backward progress: 253358
Backward progress: 253358
Backward progress: 253009
Backward progress: 252913
Backward progress: 253048
Backward progress: 253050
Backward progress: 252976
Backward progress: 252994
Backward progress: 252879
Backward progress: 253018
Backward progress: 253020
Backward progress: 252880
Backward progress: 252784
Backward progress: 252905
Backward progress: 252760
Backward progress: 252689
Backward progress: 252003
Backward progress: 251856
Backward progress: 252153
Backward progress: 252155
Backward progress: 251931
Backward progress: 251787
Backward progress: 251657
Backward progress: 251441
Backward progress: 250321
Backward progress: 250294
Backward progress: 250281
Backward progress: 250275
Backward progress: 250220
Backward progress: 213295
Backward progress: 213131
Backward progress: 212930
Backward progress: 212875
Backward progress: 210397
Backward progress: 211093
Backward progress: 241629
Backward progress: 288611
Backward progress: 293129
Backward progress: 297219
Backward progress: 301828
Backward progress: 293704
Backward progress: 293168
Backward progress: 297875
Backward progress: 318607
Backward progress: 320698
Backward progress: 321055
Backward progress: 319968
Backward progress: 334151
Backward progress: 336300
Backward progress: 332506
Backward progress: 332434
Backward progress: 315783
Backward progress: 315428
Backward progress: 315056
Backward progress: 313993
Backward progress: 321648
Backward progress: 328780
Backward progress: 329219
Backward progress: 329221
Backward progress: 329241
Backward progress: 329249
Backward progress: 329203
Backward progress: 331594
Backward progress: 342442
Backward progress: 338415
Backward progress: 338219
Backward progress: 339417
Backward progress: 328584
Backward progress: 371236
Backward progress: 373218
Backward progress: 373221
Backward progress: 373201
Backward progress: 373219
Backward progress: 373225
Backward progress: 373187
Backward progress: 373397
Backward progress: 373780
Backward progress: 373818
Backward progress: 372850
Backward progress: 371608
Backward progress: 371638
Backward progress: 371197
Backward progress: 366384
Backward progress: 365894
Backward progress: 363678
Backward progress: 352393
Backward progress: 308143
Backward progress: 318703
Backward progress: 316361
Backward progress: 312657
Backward progress: 318099
Backward progress: 319469
Backward progress: 316508
Backward progress: 316117
Backward progress: 315755
Backward progress: 315738
Backward progress: 315534
Backward progress: 315537
Backward progress: 315249
Backward progress: 314697
Backward progress: 310745
Backward progress: 312761
Backward progress: 309649
Backward progress: 300193
Backward progress: 300792
Backward progress: 292134
Backward progress: 308084
Backward progress: 269069
Backward progress: 268988
Backward progress: 268982
Backward progress: 262581
Backward progress: 261661
Backward progress: 261583
Backward progress: 261607
Backward progress: 261536
Backward progress: 261546
Backward progress: 260911
Backward progress: 260904
Backward progress: 260775
Backward progress: 316867
Backward progress: 304580
Backward progress: 293845
Backward progress: 298623
Backward progress: 293803
Backward progress: 303246
Backward progress: 323206
Backward progress: 329776
Backward progress: 332608
Backward progress: 335395
Backward progress: 337656
Backward progress: 339860
Backward progress: 339751
Backward progress: 339743
Backward progress: 339410
Backward progress: 338228
Backward progress: 340715
Backward progress: 377409
Backward progress: 385248
Backward progress: 386147
Backward progress: 389298
Backward progress: 389026
Backward progress: 376440
Backward progress: 381437
Backward progress: 379630
Backward progress: 384282
Backward progress: 384214
Backward progress: 406018
Backward progress: 399555
Backward progress: 399547
Backward progress: 351580
Backward progress: 351773
Backward progress: 351240
Backward progress: 356162
Backward progress: 356099
Backward progress: 355627
Backward progress: 353894
Backward progress: 348706
Backward progress: 344590
Backward progress: 344251
Backward progress: 347530
Backward progress: 347268
Backward progress: 349569
Backward progress: 350097
Backward progress: 349946
Backward progress: 349113
Backward progress: 355629
Backward progress: 354618
Backward progress: 355091
Backward progress: 358604
Backward progress: 364381
Backward progress: 364408
Backward progress: 365150
Backward progress: 373028
Backward progress: 376704
Backward progress: 376206
Backward progress: 377033
Backward progress: 383345
Backward progress: 384324
Backward progress: 378549
Backward progress: 375907
Backward progress: 375292
Backward progress: 378686
Backward progress: 378456
Backward progress: 377554
Backward progress: 378111
Backward progress: 378111
Backward progress: 377561
Backward progress: 384094
Backward progress: 383451
Backward progress: 382991
Backward progress: 376647
Backward progress: 369687
Backward progress: 369372
Backward progress: 367861
Backward progress: 366472
Backward progress: 367497
Backward progress: 357241
Backward progress: 356301
Backward progress: 354787
Backward progress: 355447
Backward progress: 351771
Backward progress: 353283
Backward progress: 353303
Backward progress: 353040
Backward progress: 351980
Backward progress: 380690
Backward progress: 380277
Backward progress: 380277
Backward progress: 367595
Backward progress: 357561
Backward progress: 357521
Backward progress: 358991
Backward progress: 359011
Backward progress: 358515
Backward progress: 355644
Backward progress: 348903
Backward progress: 350415
Backward progress: 350435
Backward progress: 348917
Backward progress: 347857
Backward progress: 348283
Backward progress: 346911
Backward progress: 347916
Backward progress: 347926
Backward progress: 347404
Backward progress: 346891
Backward progress: 346871
Backward progress: 349320
Backward progress: 349556
Backward progress: 351402
Backward progress: 349224
Backward progress: 349491
Backward progress: 349164
Backward progress: 349262
Backward progress: 354409
Backward progress: 352368
Backward progress: 352326
Backward progress: 352354
Backward progress: 352212
Backward progress: 353273
Backward progress: 353114
Backward progress: 353728
Backward progress: 353648
Backward progress: 353653
Backward progress: 353826
Backward progress: 353867
Backward progress: 351063
Backward progress: 351152
Backward progress: 351195
Backward progress: 351205
Backward progress: 351063
Backward progress: 351130
Backward progress: 351136
Backward progress: 350888
Backward progress: 351508
Backward progress: 350233
Backward progress: 350641
Backward progress: 351047
Backward progress: 350629
Backward progress: 392515
Backward progress: 379779
Backward progress: 374053
Backward progress: 374507
Backward progress: 374294
Backward progress: 369615
Backward progress: 350321
Backward progress: 346448
Backward progress: 344508
Backward progress: 344600
Backward progress: 343708
Backward progress: 334018
Backward progress: 332640
Backward progress: 331221
Backward progress: 331366
Backward progress: 330458
Backward progress: 330234
Backward progress: 332708
Backward progress: 332726
Backward progress: 332697
Backward progress: 333135
Backward progress: 333828
Backward progress: 333870
Backward progress: 334018
Backward progress: 333982
Backward progress: 333887
Backward progress: 334223
Backward progress: 334677
Backward progress: 334880
Backward progress: 335001
Backward progress: 335039
Backward progress: 334691
Backward progress: 334698
Backward progress: 334465
Backward progress: 334782
Backward progress: 335161
Backward progress: 334444
Backward progress: 335223
Backward progress: 334784
Backward progress: 334298
Backward progress: 335080
Backward progress: 335211
Backward progress: 335080
Backward progress: 334930
Backward progress: 337086
Backward progress: 336176
Backward progress: 329845
Backward progress: 327865
Backward progress: 330722
Backward progress: 330742
Backward progress: 329193
Backward progress: 329193
Backward progress: 326493
Backward progress: 339787
Backward progress: 347116
Backward progress: 346906
Backward progress: 346674
Backward progress: 346252
Backward progress: 347214
Backward progress: 347192
Backward progress: 346299
Backward progress: 346728
Backward progress: 346450
Backward progress: 346534
Backward progress: 347319
Backward progress: 350474
Backward progress: 350888
Backward progress: 350893
Backward progress: 350871
Backward progress: 350388
Backward progress: 351327
Backward progress: 351827
Backward progress: 351767
Backward progress: 351765
Backward progress: 352220
Backward progress: 352164
Backward progress: 353612
Backward progress: 353381
Backward progress: 353130
Backward progress: 352272
Backward progress: 352017
Backward progress: 350200
Backward progress: 350019
Backward progress: 349845
Backward progress: 349317
Backward progress: 348967
Backward progress: 351461
Backward progress: 351461
Backward progress: 349799
Backward progress: 349419
Backward progress: 350217
Backward progress: 350350
Backward progress: 349940
Backward progress: 349735
Backward progress: 349818
Backward progress: 349343
Backward progress: 349970
Backward progress: 349987
Backward progress: 349347
Backward progress: 348967
Backward progress: 348975
Backward progress: 349015
Backward progress: 348651
Backward progress: 349279
Backward progress: 348631
Backward progress: 348671
Backward progress: 345760
Backward progress: 345099
Backward progress: 346267
Backward progress: 346284
Backward progress: 345608
Backward progress: 344985
Backward progress: 344985
Backward progress: 344875
Backward progress: 344857
Backward progress: 344205
Backward progress: 341925
Backward progress: 334623
Backward progress: 331080
Backward progress: 331048
Backward progress: 331410
Backward progress: 331421
Backward progress: 331430
Backward progress: 331600
Backward progress: 331430
Backward progress: 331440
Backward progress: 331478
Backward progress: 331467
Backward progress: 331445
Backward progress: 331447
Backward progress: 331234
Backward progress: 330197
Backward progress: 332151
Backward progress: 331942
Backward progress: 332297
Backward progress: 332301
Backward progress: 332275
Backward progress: 332260
Backward progress: 332150
Backward progress: 332058
Backward progress: 332374
Backward progress: 332381
Backward progress: 332321
Backward progress: 332327
Backward progress: 331697
Backward progress: 328115
Backward progress: 327980
Backward progress: 328183
Backward progress: 327997
Backward progress: 328138
Backward progress: 328004
Backward progress: 328132
Backward progress: 328153
Backward progress: 328295
Backward progress: 328138
Backward progress: 328144
Backward progress: 328287
Backward progress: 328142
Backward progress: 328318
Backward progress: 327991
Backward progress: 327367
Backward progress: 304694
Backward progress: 304747
Backward progress: 301716
Backward progress: 301198
Backward progress: 301222
Backward progress: 301096
Backward progress: 301008
Backward progress: 301248
Backward progress: 301242
Backward progress: 301248
Backward progress: 301233
Backward progress: 301221
Backward progress: 301180
Backward progress: 301147
Backward progress: 301278
Backward progress: 301280
Backward progress: 301227
Backward progress: 301175
Backward progress: 301127
Backward progress: 301097
Backward progress: 301100
Backward progress: 300950
Backward progress: 301405
Backward progress: 300156
Backward progress: 299656
Backward progress: 299475
Backward progress: 299582
Backward progress: 301379
Backward progress: 349386
Backward progress: 352223
Backward progress: 331895
Backward progress: 331905
Backward progress: 331500
Backward progress: 329821
Backward progress: 333242
Backward progress: 333290
Backward progress: 333222
Backward progress: 332957
Backward progress: 328351
Backward progress: 327245
Backward progress: 327276
Backward progress: 327061
Backward progress: 331227
Backward progress: 336400
Backward progress: 336527
Backward progress: 336535
Backward progress: 336433
Backward progress: 331136
Backward progress: 330396
Backward progress: 323011
Backward progress: 337372
Backward progress: 337271
Backward progress: 337231
Backward progress: 337165
Backward progress: 336622
Backward progress: 336434
Backward progress: 314514
Backward progress: 314515
Backward progress: 314438
Backward progress: 313491
Backward progress: 313396
Backward progress: 312832
Backward progress: 316424
Backward progress: 306191
Backward progress: 296464
Backward progress: 292852
Backward progress: 294073
Backward progress: 294077
Backward progress: 293266
Backward progress: 293241
Backward progress: 293181
Backward progress: 290469
Backward progress: 288452
Backward progress: 288452
Backward progress: 288437
Backward progress: 288430
Backward progress: 288434
Backward progress: 288343
Backward progress: 277563
Backward progress: 277430
Backward progress: 291500
Backward progress: 250641
Backward progress: 252419
Backward progress: 245184
Backward progress: 252107
Backward progress: 248803
Backward progress: 248745
Backward progress: 240154
Backward progress: 235002
Backward progress: 240432
Backward progress: 231085
Backward progress: 230999
Backward progress: 230995
Backward progress: 227388
Backward progress: 224840
Backward progress: 224790
Backward progress: 224078
Backward progress: 229874
Backward progress: 232193
Backward progress: 229202
Backward progress: 227619
Backward progress: 225922
Backward progress: 225414
Backward progress: 224551
Backward progress: 221988
Backward progress: 222865
Backward progress: 217577
Backward progress: 216261
Backward progress: 215686
Backward progress: 214724
Backward progress: 215852
Backward progress: 216110
Backward progress: 216111
Backward progress: 215962
Backward progress: 216233
Backward progress: 216239
Backward progress: 216217
Backward progress: 216221
Backward progress: 216165
Backward progress: 215789
Backward progress: 216126
Backward progress: 216039
Backward progress: 215966
Backward progress: 215874
Backward progress: 215163
Backward progress: 212199
Backward progress: 212056
Backward progress: 212031
Backward progress: 212119
Backward progress: 211630
Backward progress: 207867
Backward progress: 207793
Backward progress: 209512
Backward progress: 208350
Backward progress: 208332
Backward progress: 208303
Backward progress: 208302
Backward progress: 208320
Backward progress: 208298
Backward progress: 208310
Backward progress: 208265
Backward progress: 208417
Backward progress: 208411
Backward progress: 208333
Backward progress: 208223
Backward progress: 208218
Backward progress: 208162
Backward progress: 202682
Backward progress: 202706
Backward progress: 202653
Backward progress: 212717
Backward progress: 207623
Backward progress: 207492
Backward progress: 207533
Backward progress: 207499
Backward progress: 207425
Backward progress: 207457
Backward progress: 207345
Backward progress: 207384
Backward progress: 207345
Backward progress: 207425
Backward progress: 207466
Backward progress: 207426
Backward progress: 207377
Backward progress: 207408
Backward progress: 207376
Backward progress: 207384
Backward progress: 207374
Backward progress: 207152
Backward progress: 207153
Backward progress: 207134
Backward progress: 206965
Backward progress: 206821
Backward progress: 206415
Backward progress: 206416
Backward progress: 206254
Backward progress: 206202
Backward progress: 206180
Backward progress: 206124
Backward progress: 206106
Backward progress: 206012
Backward progress: 206266
Backward progress: 206131
Backward progress: 206274
Backward progress: 206276
Backward progress: 206132
Backward progress: 206012
Backward progress: 205870
Backward progress: 205781
Backward progress: 205789
Backward progress: 205623
Backward progress: 205626
Backward progress: 188432
Backward progress: 188339
Backward progress: 188339
Attractor colors: 6077049250782690000000
Attractor colors computed in 2194107 ms.
Control exists for 674688 color(s), jumping through 2251799813685248 vertices.
Elapsed: 14092 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 14.092
user ??
sys ??
