>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 1178997120
Perturbation colors: 9007199254740992
All colors: 10619461980605776000000000
Unknown update functions: 7
Lowest cardinality: 2
Highest cardinality: 5
Backward progress: 106334
Backward progress: 104888
Backward progress: 104806
Backward progress: 123640
Backward progress: 132708
Backward progress: 132641
Backward progress: 129803
Backward progress: 129805
Backward progress: 128218
Backward progress: 128515
Backward progress: 125530
Backward progress: 100011
Backward progress: 100896
Backward progress: 101608
Backward progress: 101566
Backward progress: 100395
Backward progress: 109524
Backward progress: 103900
Backward progress: 114981
Backward progress: 115965
Backward progress: 116660
Backward progress: 115090
Backward progress: 115096
Backward progress: 113845
Backward progress: 114390
Backward progress: 112154
Backward progress: 112190
Backward progress: 112190
Backward progress: 111535
Backward progress: 110555
Backward progress: 151630
Backward progress: 126303
Backward progress: 117394
Backward progress: 116573
Backward progress: 124722
Backward progress: 126348
Backward progress: 126271
Backward progress: 121675
Backward progress: 118307
Backward progress: 103926
Backward progress: 103844
Backward progress: 115206
Backward progress: 100835
Backward progress: 105641
Backward progress: 101868
Backward progress: 101718
Backward progress: 100312
Backward progress: 100212
Backward progress: 100271
Backward progress: 100533
Backward progress: 105393
Backward progress: 110880
Backward progress: 106555
Backward progress: 106510
Backward progress: 105594
Backward progress: 106049
Backward progress: 106145
Backward progress: 105683
Backward progress: 104265
Backward progress: 105886
Backward progress: 106637
Backward progress: 105629
Backward progress: 106159
Backward progress: 107277
Backward progress: 107280
Backward progress: 107271
Backward progress: 107239
Backward progress: 106732
Backward progress: 106713
Backward progress: 106121
Backward progress: 107012
Backward progress: 126208
Backward progress: 115632
Backward progress: 115756
Backward progress: 103757
Backward progress: 100634
Backward progress: 100641
Backward progress: 100620
Backward progress: 100493
Backward progress: 100785
Backward progress: 108580
Backward progress: 113387
Backward progress: 118284
Backward progress: 117317
Backward progress: 117324
Backward progress: 117310
Backward progress: 116787
Backward progress: 115089
Backward progress: 114119
Backward progress: 109239
Backward progress: 109212
Backward progress: 109214
Backward progress: 109201
Backward progress: 108579
Backward progress: 100689
Backward progress: 100698
Backward progress: 104602
Backward progress: 105874
Backward progress: 107762
Backward progress: 108281
Backward progress: 108309
Backward progress: 108293
Backward progress: 109301
Backward progress: 111078
Backward progress: 117247
Backward progress: 121274
Backward progress: 121241
Backward progress: 122312
Backward progress: 122307
Backward progress: 122120
Backward progress: 121881
Backward progress: 121885
Backward progress: 121714
Backward progress: 128360
Backward progress: 127466
Backward progress: 127407
Backward progress: 128480
Backward progress: 128488
Backward progress: 126913
Backward progress: 135027
Backward progress: 133981
Backward progress: 133946
Backward progress: 135998
Backward progress: 136017
Backward progress: 134735
Backward progress: 133653
Backward progress: 134614
Backward progress: 135926
Backward progress: 137097
Backward progress: 137041
Backward progress: 144024
Backward progress: 143986
Backward progress: 144346
Backward progress: 144540
Backward progress: 144484
Backward progress: 144414
Backward progress: 167643
Backward progress: 170399
Backward progress: 166747
Backward progress: 163019
Backward progress: 165760
Backward progress: 164874
Backward progress: 164410
Backward progress: 165353
Backward progress: 165035
Backward progress: 222836
Backward progress: 243827
Backward progress: 243802
Backward progress: 244761
Backward progress: 244901
Backward progress: 242270
Backward progress: 241781
Backward progress: 244384
Backward progress: 242153
Backward progress: 237215
Backward progress: 237208
Backward progress: 237207
Backward progress: 222756
Backward progress: 247262
Backward progress: 229204
Backward progress: 230650
Backward progress: 228214
Backward progress: 228178
Backward progress: 228377
Backward progress: 229989
Backward progress: 229956
Backward progress: 229599
Backward progress: 224729
Backward progress: 224433
Backward progress: 224399
Backward progress: 252402
Backward progress: 253907
Backward progress: 252028
Backward progress: 251134
Backward progress: 249767
Backward progress: 250439
Backward progress: 250499
Backward progress: 249434
Backward progress: 249384
Backward progress: 249354
Backward progress: 245829
Backward progress: 233632
Backward progress: 225293
Backward progress: 225618
Backward progress: 225068
Backward progress: 225007
Backward progress: 224971
Backward progress: 224999
Backward progress: 215849
Backward progress: 232523
Backward progress: 225986
Backward progress: 226478
Backward progress: 222597
Backward progress: 220918
Backward progress: 220278
Backward progress: 227779
Backward progress: 228986
Backward progress: 221727
Backward progress: 221237
Backward progress: 235906
Backward progress: 240115
Backward progress: 237320
Backward progress: 232600
Backward progress: 232136
Backward progress: 231526
Backward progress: 231236
Backward progress: 229197
Backward progress: 228748
Backward progress: 227562
Backward progress: 227162
Backward progress: 226949
Backward progress: 225283
Backward progress: 225313
Backward progress: 224366
Backward progress: 224150
Backward progress: 224144
Backward progress: 223808
Backward progress: 219104
Backward progress: 217209
Backward progress: 219255
Backward progress: 219273
Backward progress: 218879
Backward progress: 218824
Backward progress: 218812
Backward progress: 216967
Backward progress: 218109
Backward progress: 214343
Backward progress: 218017
Backward progress: 218306
Backward progress: 217079
Backward progress: 216458
Backward progress: 215618
Backward progress: 215349
Backward progress: 214808
Backward progress: 211443
Backward progress: 281483
Backward progress: 280052
Backward progress: 276100
Backward progress: 270510
Backward progress: 270719
Backward progress: 270968
Backward progress: 270978
Backward progress: 270981
Backward progress: 270833
Backward progress: 270788
Backward progress: 270737
Backward progress: 300976
Backward progress: 283319
Backward progress: 283586
Backward progress: 286116
Backward progress: 285938
Backward progress: 294115
Backward progress: 296871
Backward progress: 300929
Backward progress: 303537
Backward progress: 304864
Backward progress: 306657
Backward progress: 306779
Backward progress: 308557
Backward progress: 308399
Backward progress: 308399
Backward progress: 308368
Backward progress: 307926
Backward progress: 307573
Backward progress: 312733
Backward progress: 312727
Backward progress: 312016
Backward progress: 315402
Backward progress: 318440
Backward progress: 318440
Backward progress: 318152
Backward progress: 314086
Backward progress: 314578
Backward progress: 314154
Backward progress: 309558
Backward progress: 333162
Backward progress: 333655
Backward progress: 333458
Backward progress: 333458
Backward progress: 331847
Backward progress: 334988
Backward progress: 342902
Backward progress: 335459
Backward progress: 334904
Backward progress: 341664
Backward progress: 339877
Backward progress: 340775
Backward progress: 340056
Backward progress: 342510
Backward progress: 341896
Backward progress: 341933
Backward progress: 341649
Backward progress: 341991
Backward progress: 358418
Backward progress: 359631
Backward progress: 355611
Backward progress: 351255
Backward progress: 353376
Backward progress: 352026
Backward progress: 350661
Backward progress: 350333
Backward progress: 350040
Backward progress: 404964
Backward progress: 411121
Backward progress: 402088
Backward progress: 402123
Backward progress: 398840
Backward progress: 393008
Backward progress: 408235
Backward progress: 386033
Backward progress: 386707
Backward progress: 384423
Backward progress: 380772
Backward progress: 380218
Backward progress: 410909
Backward progress: 410187
Backward progress: 406053
Backward progress: 400754
Backward progress: 394583
Backward progress: 387233
Backward progress: 379215
Backward progress: 366576
Backward progress: 368459
Backward progress: 359557
Backward progress: 423327
Backward progress: 369965
Backward progress: 363764
Backward progress: 356222
Backward progress: 345375
Backward progress: 340504
Backward progress: 351472
Backward progress: 353618
Backward progress: 351489
Backward progress: 348615
Backward progress: 348250
Backward progress: 347784
Backward progress: 346024
Backward progress: 345626
Backward progress: 343953
Backward progress: 342430
Backward progress: 342448
Backward progress: 341515
Backward progress: 341305
Backward progress: 341287
Backward progress: 340939
Backward progress: 336021
Backward progress: 332835
Backward progress: 336339
Backward progress: 336392
Backward progress: 334182
Backward progress: 333995
Backward progress: 333355
Backward progress: 332844
Backward progress: 329899
Backward progress: 330159
Backward progress: 325088
Backward progress: 328730
Backward progress: 328882
Backward progress: 327343
Backward progress: 326465
Backward progress: 325355
Backward progress: 325067
Backward progress: 324426
Backward progress: 320393
Backward progress: 329022
Backward progress: 331130
Backward progress: 330192
Backward progress: 330547
Backward progress: 331337
Backward progress: 331237
Backward progress: 334392
Backward progress: 334662
Backward progress: 334926
Backward progress: 334862
Backward progress: 333367
Backward progress: 333889
Backward progress: 333130
Backward progress: 332818
Backward progress: 333126
Backward progress: 332614
Backward progress: 333507
Backward progress: 334112
Backward progress: 333080
Backward progress: 332712
Backward progress: 332031
Backward progress: 331846
Backward progress: 336181
Backward progress: 336204
Backward progress: 334288
Backward progress: 334255
Backward progress: 333545
Backward progress: 334196
Backward progress: 334987
Backward progress: 334178
Backward progress: 334192
Backward progress: 334010
Backward progress: 333772
Backward progress: 332849
Backward progress: 332877
Backward progress: 331175
Backward progress: 327925
Backward progress: 327345
Backward progress: 326509
Backward progress: 326939
Backward progress: 326955
Backward progress: 326818
Backward progress: 326729
Backward progress: 326670
Backward progress: 326634
Backward progress: 326364
Backward progress: 511353
Backward progress: 506426
Backward progress: 515091
Backward progress: 545681
Backward progress: 553203
Backward progress: 553156
Backward progress: 554748
Backward progress: 554740
Backward progress: 543793
Backward progress: 543781
Backward progress: 543768
Backward progress: 542365
Backward progress: 405274
Backward progress: 405225
Backward progress: 405134
Backward progress: 405138
Backward progress: 404117
Backward progress: 403592
Backward progress: 392686
Backward progress: 391807
Backward progress: 391725
Backward progress: 391644
Backward progress: 391662
Backward progress: 390349
Backward progress: 397168
Backward progress: 396396
Backward progress: 396301
Backward progress: 396857
Backward progress: 396895
Backward progress: 395054
Backward progress: 394305
Backward progress: 399618
Backward progress: 410809
Backward progress: 408712
Backward progress: 408226
Backward progress: 418846
Backward progress: 419274
Backward progress: 420408
Backward progress: 421196
Backward progress: 420497
Backward progress: 420083
Backward progress: 420293
Backward progress: 419774
Backward progress: 419316
Backward progress: 418285
Backward progress: 416454
Backward progress: 416073
Backward progress: 415671
Backward progress: 434985
Backward progress: 452099
Backward progress: 452093
Backward progress: 453655
Backward progress: 453967
Backward progress: 451185
Backward progress: 450253
Backward progress: 446465
Backward progress: 446339
Backward progress: 443963
Backward progress: 443956
Backward progress: 443955
Backward progress: 427534
Backward progress: 426046
Backward progress: 407582
Backward progress: 407612
Backward progress: 407007
Backward progress: 406773
Backward progress: 406959
Backward progress: 410119
Backward progress: 407960
Backward progress: 404420
Backward progress: 397916
Backward progress: 397586
Backward progress: 397583
Backward progress: 396649
Backward progress: 396860
Backward progress: 394831
Backward progress: 394866
Backward progress: 392970
Backward progress: 392510
Backward progress: 392492
Backward progress: 391787
Backward progress: 391691
Backward progress: 391620
Backward progress: 395612
Backward progress: 385159
Backward progress: 387576
Backward progress: 387610
Backward progress: 386378
Backward progress: 386144
Backward progress: 386106
Backward progress: 384665
Backward progress: 384542
Backward progress: 384542
Backward progress: 374520
Backward progress: 372855
Backward progress: 379033
Backward progress: 380668
Backward progress: 379481
Backward progress: 377276
Backward progress: 377170
Backward progress: 376972
Backward progress: 376211
Backward progress: 374945
Backward progress: 374895
Backward progress: 374783
Backward progress: 374359
Backward progress: 373627
Backward progress: 373178
Backward progress: 372965
Backward progress: 368835
Backward progress: 367812
Backward progress: 368934
Backward progress: 368952
Backward progress: 368237
Backward progress: 368100
Backward progress: 368064
Backward progress: 367143
Backward progress: 368257
Backward progress: 367667
Backward progress: 415948
Backward progress: 415606
Backward progress: 413442
Backward progress: 490732
Backward progress: 482083
Backward progress: 484029
Backward progress: 493304
Backward progress: 492884
Backward progress: 502353
Backward progress: 508748
Backward progress: 521431
Backward progress: 514916
Backward progress: 516891
Backward progress: 518074
Backward progress: 518327
Backward progress: 519463
Backward progress: 512669
Backward progress: 512672
Backward progress: 512641
Backward progress: 509742
Backward progress: 509729
Backward progress: 518218
Backward progress: 512162
Backward progress: 492760
Backward progress: 497342
Backward progress: 499532
Backward progress: 499535
Backward progress: 499242
Backward progress: 472333
Backward progress: 495979
Backward progress: 496435
Backward progress: 496240
Backward progress: 496240
Backward progress: 494759
Backward progress: 498568
Backward progress: 496343
Backward progress: 496247
Backward progress: 493870
Backward progress: 494385
Backward progress: 494490
Backward progress: 496901
Backward progress: 496639
Backward progress: 496687
Backward progress: 496429
Backward progress: 496693
Backward progress: 507954
Backward progress: 508116
Backward progress: 500818
Backward progress: 495739
Backward progress: 497051
Backward progress: 494548
Backward progress: 493324
Backward progress: 493308
Backward progress: 493331
Backward progress: 492991
Backward progress: 492989
Backward progress: 492986
Backward progress: 554292
Backward progress: 576132
Backward progress: 566745
Backward progress: 567415
Backward progress: 558984
Backward progress: 551667
Backward progress: 567557
Backward progress: 546354
Backward progress: 547876
Backward progress: 541396
Backward progress: 537223
Backward progress: 536848
Backward progress: 571866
Backward progress: 577621
Backward progress: 571436
Backward progress: 565859
Backward progress: 557297
Backward progress: 544731
Backward progress: 529649
Backward progress: 513581
Backward progress: 516100
Backward progress: 504961
Backward progress: 479168
Backward progress: 471562
Backward progress: 458842
Backward progress: 452500
Backward progress: 470560
Backward progress: 475337
Backward progress: 472001
Backward progress: 465982
Backward progress: 465328
Backward progress: 464268
Backward progress: 463989
Backward progress: 459639
Backward progress: 458874
Backward progress: 456707
Backward progress: 456247
Backward progress: 456196
Backward progress: 454330
Backward progress: 454330
Backward progress: 454289
Backward progress: 453449
Backward progress: 453015
Backward progress: 452991
Backward progress: 452482
Backward progress: 437206
Backward progress: 434225
Backward progress: 437250
Backward progress: 437629
Backward progress: 436145
Backward progress: 435317
Backward progress: 434782
Backward progress: 434682
Backward progress: 431951
Backward progress: 432286
Backward progress: 426354
Backward progress: 430731
Backward progress: 430882
Backward progress: 429185
Backward progress: 428188
Backward progress: 426653
Backward progress: 426441
Backward progress: 425844
Backward progress: 421156
Backward progress: 425971
Backward progress: 433144
Backward progress: 406543
Backward progress: 625139
Backward progress: 524876
Backward progress: 519329
Backward progress: 519184
Backward progress: 496175
Backward progress: 500744
Backward progress: 499955
Backward progress: 538713
Backward progress: 544170
Backward progress: 528902
Backward progress: 511283
Backward progress: 506997
Backward progress: 502087
Backward progress: 501740
Backward progress: 505956
Backward progress: 491922
Backward progress: 488865
Backward progress: 487333
Backward progress: 483442
Backward progress: 482810
Backward progress: 482368
Backward progress: 481926
Backward progress: 481664
Backward progress: 496713
Backward progress: 496432
Backward progress: 489952
Backward progress: 490305
Backward progress: 490087
Backward progress: 488096
Backward progress: 487259
Backward progress: 487295
Backward progress: 485888
Backward progress: 485872
Backward progress: 485857
Backward progress: 485842
Backward progress: 436557
Backward progress: 429732
Backward progress: 432746
Backward progress: 423305
Backward progress: 419810
Backward progress: 419944
Backward progress: 418174
Backward progress: 417125
Backward progress: 455864
Backward progress: 442039
Backward progress: 425279
Backward progress: 411226
Backward progress: 411586
Backward progress: 411088
Backward progress: 411907
Backward progress: 413827
Backward progress: 413372
Backward progress: 413328
Backward progress: 410122
Backward progress: 409871
Backward progress: 409909
Backward progress: 408816
Backward progress: 408788
Backward progress: 408762
Backward progress: 407525
Backward progress: 405680
Backward progress: 404515
Backward progress: 401873
Backward progress: 401734
Backward progress: 401514
Backward progress: 401493
Backward progress: 401471
Backward progress: 402237
Backward progress: 400307
Backward progress: 397194
Backward progress: 393900
Backward progress: 393320
Backward progress: 393051
Backward progress: 392788
Backward progress: 392923
Backward progress: 392728
Backward progress: 399772
Backward progress: 400022
Backward progress: 396356
Backward progress: 395093
Backward progress: 395952
Backward progress: 395160
Backward progress: 394241
Backward progress: 393973
Backward progress: 393872
Backward progress: 395976
Backward progress: 397114
Backward progress: 394627
Backward progress: 394647
Backward progress: 393908
Backward progress: 392725
Backward progress: 392893
Backward progress: 391347
Backward progress: 384471
Backward progress: 383016
Backward progress: 380728
Backward progress: 380467
Backward progress: 380101
Backward progress: 379125
Backward progress: 378250
Backward progress: 365042
Backward progress: 364652
Backward progress: 336219
Backward progress: 324738
Backward progress: 344913
Backward progress: 345064
Backward progress: 337878
Backward progress: 334141
Backward progress: 328608
Backward progress: 327865
Backward progress: 326164
Backward progress: 298372
Backward progress: 299604
Backward progress: 298998
Backward progress: 297353
Backward progress: 296742
Backward progress: 300580
Backward progress: 300594
Backward progress: 298999
Backward progress: 298172
Backward progress: 297592
Backward progress: 293177
Backward progress: 317196
Backward progress: 344704
Backward progress: 371043
Backward progress: 367882
Backward progress: 367853
Backward progress: 364864
Backward progress: 364549
Backward progress: 362633
Backward progress: 357877
Backward progress: 357783
Backward progress: 357683
Backward progress: 355421
Backward progress: 354746
Backward progress: 356766
Backward progress: 356440
Backward progress: 356296
Backward progress: 356078
Backward progress: 358329
Backward progress: 366305
Backward progress: 366006
Backward progress: 362936
Backward progress: 375422
Backward progress: 371609
Backward progress: 370083
Backward progress: 368207
Backward progress: 368946
Backward progress: 367889
Backward progress: 370909
Backward progress: 370214
Backward progress: 369281
Backward progress: 368703
Backward progress: 368407
Backward progress: 369714
Backward progress: 364841
Backward progress: 359766
Backward progress: 357940
Backward progress: 356967
Backward progress: 356826
Backward progress: 348247
Backward progress: 348399
Backward progress: 346882
Backward progress: 346629
Backward progress: 346469
Backward progress: 343506
Backward progress: 338459
Backward progress: 332936
Backward progress: 331182
Backward progress: 327671
Backward progress: 328094
Backward progress: 330287
Backward progress: 330511
Backward progress: 329999
Backward progress: 329000
Backward progress: 328606
Backward progress: 328457
Backward progress: 328250
Backward progress: 326754
Backward progress: 334432
Backward progress: 329255
Backward progress: 334906
Backward progress: 327024
Backward progress: 318806
Backward progress: 314677
Backward progress: 321709
Backward progress: 321934
Backward progress: 320576
Backward progress: 317628
Backward progress: 316293
Backward progress: 315871
Backward progress: 315251
Backward progress: 309863
Backward progress: 305063
Backward progress: 310493
Backward progress: 291884
Backward progress: 294957
Backward progress: 296754
Backward progress: 296415
Backward progress: 296620
Backward progress: 297046
Backward progress: 295032
Backward progress: 292395
Backward progress: 285939
Backward progress: 279479
Backward progress: 278599
Backward progress: 276476
Backward progress: 278699
Backward progress: 279968
Backward progress: 284956
Backward progress: 284917
Backward progress: 284203
Backward progress: 298786
Backward progress: 298189
Backward progress: 303061
Backward progress: 303040
Backward progress: 302575
Backward progress: 301990
Backward progress: 301882
Backward progress: 306296
Backward progress: 309334
Backward progress: 307283
Backward progress: 307351
Backward progress: 306222
Backward progress: 306093
Backward progress: 306020
Backward progress: 306476
Backward progress: 304348
Backward progress: 304016
Backward progress: 303856
Backward progress: 297629
Backward progress: 294244
Backward progress: 293406
Backward progress: 291701
Backward progress: 289710
Backward progress: 286522
Backward progress: 286744
Backward progress: 287319
Backward progress: 287321
Backward progress: 287315
Backward progress: 287156
Backward progress: 287023
Backward progress: 286217
Backward progress: 324513
Backward progress: 304256
Backward progress: 298032
Backward progress: 297966
Backward progress: 307804
Backward progress: 306240
Backward progress: 306488
Backward progress: 309320
Backward progress: 309281
Backward progress: 306141
Backward progress: 305611
Backward progress: 306918
Backward progress: 306861
Backward progress: 306829
Backward progress: 306181
Backward progress: 306182
Backward progress: 305662
Backward progress: 305399
Backward progress: 306725
Backward progress: 308245
Backward progress: 308266
Backward progress: 308578
Backward progress: 308734
Backward progress: 306335
Backward progress: 307264
Backward progress: 307905
Backward progress: 315432
Backward progress: 307042
Backward progress: 311197
Backward progress: 309857
Backward progress: 309708
Backward progress: 311576
Backward progress: 312367
Backward progress: 312400
Backward progress: 311931
Backward progress: 310441
Backward progress: 310763
Backward progress: 308919
Backward progress: 319172
Backward progress: 306715
Backward progress: 305060
Backward progress: 301138
Backward progress: 302082
Backward progress: 302246
Backward progress: 302227
Backward progress: 301702
Backward progress: 301526
Backward progress: 299629
Backward progress: 299741
Backward progress: 297777
Backward progress: 301596
Backward progress: 300024
Backward progress: 300395
Backward progress: 299797
Backward progress: 299685
Backward progress: 299321
Backward progress: 299309
Backward progress: 299339
Backward progress: 299349
Backward progress: 299493
Backward progress: 299565
Backward progress: 298382
Backward progress: 298281
Backward progress: 298397
Backward progress: 298409
Backward progress: 298137
Backward progress: 297762
Backward progress: 300245
Backward progress: 297546
Backward progress: 279703
Backward progress: 281560
Backward progress: 281787
Backward progress: 281761
Backward progress: 280567
Backward progress: 279945
Backward progress: 272482
Backward progress: 268850
Backward progress: 219495
Backward progress: 205578
Backward progress: 184863
Backward progress: 183276
Backward progress: 201102
Backward progress: 215640
Backward progress: 221514
Backward progress: 220254
Backward progress: 220256
Backward progress: 220252
Backward progress: 219780
Backward progress: 214748
Backward progress: 213896
Backward progress: 201376
Backward progress: 202043
Backward progress: 202692
Backward progress: 202311
Backward progress: 201151
Backward progress: 148765
Backward progress: 122436
Backward progress: 119556
Backward progress: 177397
Backward progress: 186071
Backward progress: 205431
Backward progress: 208445
Backward progress: 205130
Backward progress: 203605
Backward progress: 199088
Backward progress: 199098
Backward progress: 195199
Backward progress: 190914
Backward progress: 190863
Backward progress: 191074
Backward progress: 193258
Backward progress: 193262
Backward progress: 196923
Backward progress: 195796
Backward progress: 195608
Backward progress: 215022
Backward progress: 213392
Backward progress: 213387
Backward progress: 210837
Backward progress: 210837
Backward progress: 210008
Backward progress: 209031
Backward progress: 206264
Backward progress: 190494
Backward progress: 192048
Backward progress: 188727
Backward progress: 188758
Backward progress: 187588
Backward progress: 187820
Backward progress: 189165
Backward progress: 189693
Backward progress: 189118
Backward progress: 188010
Backward progress: 187884
Backward progress: 186900
Backward progress: 187214
Backward progress: 185635
Backward progress: 183994
Backward progress: 187648
Backward progress: 188176
Backward progress: 186895
Backward progress: 184696
Backward progress: 184172
Backward progress: 181213
Backward progress: 179025
Backward progress: 165911
Backward progress: 155431
Backward progress: 147570
Backward progress: 148208
Backward progress: 149172
Backward progress: 149249
Backward progress: 149326
Backward progress: 149330
Backward progress: 149085
Backward progress: 148860
Backward progress: 148413
Backward progress: 147414
Backward progress: 148359
Backward progress: 148905
Backward progress: 149762
Backward progress: 148716
Backward progress: 148735
Backward progress: 147751
Backward progress: 147758
Backward progress: 147902
Backward progress: 146553
Backward progress: 146780
Backward progress: 148525
Backward progress: 149898
Backward progress: 149279
Backward progress: 148655
Backward progress: 146632
Backward progress: 124309
Backward progress: 118562
Backward progress: 132501
Backward progress: 134585
Backward progress: 153052
Backward progress: 208999
Backward progress: 212981
Backward progress: 221941
Backward progress: 230179
Backward progress: 228435
Backward progress: 221790
Backward progress: 229734
Backward progress: 264456
Backward progress: 274731
Backward progress: 284610
Backward progress: 278131
Backward progress: 312087
Backward progress: 341750
Backward progress: 346751
Backward progress: 335278
Backward progress: 330380
Backward progress: 325718
Backward progress: 335895
Backward progress: 378775
Backward progress: 378845
Backward progress: 378827
Backward progress: 378977
Backward progress: 379001
Backward progress: 378903
Backward progress: 381811
Backward progress: 391195
Backward progress: 380584
Backward progress: 380663
Backward progress: 380724
Backward progress: 381275
Backward progress: 383255
Backward progress: 371455
Backward progress: 357587
Backward progress: 357526
Backward progress: 357447
Backward progress: 357461
Backward progress: 354691
Backward progress: 355526
Backward progress: 357817
Backward progress: 358668
Backward progress: 357195
Backward progress: 355828
Backward progress: 348858
Backward progress: 348903
Backward progress: 347345
Backward progress: 347057
Backward progress: 325088
Backward progress: 324510
Backward progress: 325014
Backward progress: 317667
Backward progress: 315167
Backward progress: 318139
Backward progress: 318190
Backward progress: 316716
Backward progress: 316624
Backward progress: 316498
Backward progress: 313998
Backward progress: 306901
Backward progress: 300756
Backward progress: 285610
Backward progress: 285909
Backward progress: 283628
Backward progress: 332956
Backward progress: 325255
Backward progress: 352764
Backward progress: 343142
Backward progress: 358251
Backward progress: 358414
Backward progress: 358414
Backward progress: 358381
Backward progress: 357255
Backward progress: 344991
Backward progress: 345845
Backward progress: 345956
Backward progress: 346266
Backward progress: 330971
Backward progress: 330932
Backward progress: 331099
Backward progress: 333147
Backward progress: 333072
Backward progress: 337279
Backward progress: 336583
Backward progress: 339475
Backward progress: 340491
Backward progress: 336849
Backward progress: 337535
Backward progress: 335319
Backward progress: 335513
Backward progress: 334703
Backward progress: 334865
Backward progress: 335009
Backward progress: 334419
Backward progress: 335587
Backward progress: 334987
Backward progress: 334842
Backward progress: 335458
Backward progress: 333039
Backward progress: 332183
Backward progress: 329283
Backward progress: 326715
Backward progress: 326719
Backward progress: 326746
Backward progress: 326719
Backward progress: 326722
Backward progress: 326547
Backward progress: 322990
Backward progress: 486849
Backward progress: 501202
Backward progress: 502856
Backward progress: 502884
Backward progress: 502993
Backward progress: 492193
Backward progress: 489516
Backward progress: 483432
Backward progress: 489434
Backward progress: 496492
Backward progress: 505226
Backward progress: 500113
Backward progress: 529649
Backward progress: 566609
Backward progress: 566691
Backward progress: 552409
Backward progress: 548734
Backward progress: 569189
Backward progress: 574288
Backward progress: 574223
Backward progress: 574434
Backward progress: 561843
Backward progress: 561834
Backward progress: 562710
Backward progress: 552584
Backward progress: 551699
Backward progress: 525598
Backward progress: 515594
Backward progress: 506694
Backward progress: 480160
Backward progress: 472594
Backward progress: 461033
Backward progress: 443583
Backward progress: 435316
Backward progress: 403677
Backward progress: 402581
Backward progress: 368130
Backward progress: 370755
Backward progress: 379643
Backward progress: 368496
Backward progress: 600810
Backward progress: 660288
Backward progress: 791549
Backward progress: 818682
Backward progress: 834876
Backward progress: 825606
Backward progress: 830097
Backward progress: 827588
Backward progress: 825525
Backward progress: 825478
Backward progress: 825729
Backward progress: 768016
Backward progress: 686437
Backward progress: 927732
Backward progress: 830679
Backward progress: 814799
Backward progress: 864360
Backward progress: 946618
Backward progress: 914478
Backward progress: 938764
Backward progress: 935945
Backward progress: 935310
Backward progress: 935314
Backward progress: 933854
Backward progress: 868032
Backward progress: 867723
Backward progress: 941474
Backward progress: 950000
Backward progress: 846999
Backward progress: 920181
Backward progress: 912238
Backward progress: 914002
Backward progress: 913390
Backward progress: 905130
Backward progress: 905157
Backward progress: 873271
Backward progress: 870247
Backward progress: 863057
Backward progress: 862615
Backward progress: 853451
Backward progress: 839414
Backward progress: 831790
Backward progress: 832091
Backward progress: 832101
Backward progress: 830447
Backward progress: 830414
Backward progress: 832769
Backward progress: 854342
Backward progress: 854666
Backward progress: 893125
Backward progress: 892583
Backward progress: 897809
Backward progress: 898522
Backward progress: 898494
Backward progress: 899258
Backward progress: 976779
Backward progress: 978802
Backward progress: 937786
Backward progress: 918994
Backward progress: 916601
Backward progress: 919040
Backward progress: 909082
Backward progress: 823709
Backward progress: 814709
Backward progress: 817074
Backward progress: 758555
Backward progress: 743451
Backward progress: 741656
Backward progress: 722749
Backward progress: 723917
Backward progress: 720832
Backward progress: 722415
Backward progress: 722420
Backward progress: 721496
Backward progress: 722246
Backward progress: 723788
Backward progress: 723653
Backward progress: 723307
Backward progress: 724360
Backward progress: 723086
Backward progress: 709013
Backward progress: 709017
Backward progress: 708897
Backward progress: 706912
Backward progress: 707008
Backward progress: 711123
Backward progress: 707408
Backward progress: 704145
Backward progress: 705467
Backward progress: 704790
Backward progress: 703974
Backward progress: 600335
Backward progress: 660414
Backward progress: 662406
Backward progress: 633385
Backward progress: 621842
Backward progress: 621701
Backward progress: 621556
Backward progress: 603956
Backward progress: 598732
Backward progress: 598727
Backward progress: 598402
Backward progress: 598218
Backward progress: 598028
Backward progress: 597836
Backward progress: 597672
Backward progress: 596026
Backward progress: 595189
Backward progress: 530598
Backward progress: 524938
Backward progress: 536251
Backward progress: 534743
Backward progress: 535147
Backward progress: 540514
Backward progress: 533425
Backward progress: 532071
Backward progress: 532099
Backward progress: 532274
Backward progress: 532285
Backward progress: 531564
Backward progress: 532199
Backward progress: 531979
Backward progress: 531614
Backward progress: 532415
Backward progress: 534618
Backward progress: 535223
Backward progress: 535454
Backward progress: 535717
Backward progress: 535723
Backward progress: 535672
Backward progress: 535684
Backward progress: 533538
Backward progress: 534587
Backward progress: 535130
Backward progress: 535164
Backward progress: 535170
Backward progress: 405875
Backward progress: 378730
Backward progress: 377465
Backward progress: 376592
Backward progress: 373905
Backward progress: 373906
Backward progress: 373076
Backward progress: 373076
Attractor colors: 474769472717397700000000
Attractor colors computed in 3534946 ms.
Control exists for 52710000 color(s), jumping through 9007199254740992 vertices.
Elapsed: 71109 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 71.109
user ??
sys ??
