>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 1008
Perturbation colors: 4294967296
All colors: 4329327034368
Unknown update functions: 2
Lowest cardinality: 2
Highest cardinality: 4
Attractor colors: 3586297692160
Attractor colors computed in 2652 ms.
Backward progress: 100101
Forward closed progress: 111209
Forward closed progress: 155691
Forward closed progress: 128783
Forward closed progress: 126664
Forward closed progress: 163895
Forward closed progress: 140795
Forward closed progress: 137821
Forward closed progress: 152276
Forward closed progress: 152286
Forward closed progress: 152100
Forward closed progress: 150773
Forward closed progress: 150774
Forward closed progress: 150375
Forward closed progress: 150447
Forward closed progress: 145102
Forward closed progress: 145106
Forward closed progress: 144961
Forward closed progress: 144723
Forward closed progress: 145090
Forward closed progress: 143643
Forward closed progress: 263932
Forward closed progress: 264641
Forward closed progress: 212745
Forward closed progress: 212177
Forward closed progress: 207292
Forward closed progress: 222165
Forward closed progress: 206921
Forward closed progress: 205356
Forward closed progress: 204434
Forward closed progress: 203426
Forward closed progress: 202653
Forward closed progress: 202657
Forward closed progress: 202549
Forward closed progress: 202371
Forward closed progress: 345182
Forward closed progress: 333915
Forward closed progress: 336975
Forward closed progress: 339903
Forward closed progress: 339886
Forward closed progress: 339849
Forward closed progress: 303367
Forward closed progress: 302427
Forward closed progress: 295114
Forward closed progress: 302259
Forward closed progress: 310813
Forward closed progress: 311420
Forward closed progress: 308252
Forward closed progress: 307673
Forward closed progress: 303637
Forward closed progress: 303875
Forward closed progress: 303939
Forward closed progress: 303437
Forward closed progress: 300088
Forward closed progress: 300422
Forward closed progress: 298526
Forward closed progress: 284095
Forward closed progress: 284096
Forward closed progress: 284015
Forward closed progress: 283946
Forward closed progress: 282931
Forward closed progress: 282328
Forward closed progress: 279192
Forward closed progress: 279751
Forward closed progress: 278531
Forward closed progress: 278234
Forward closed progress: 278502
Forward closed progress: 278476
Forward closed progress: 278024
Forward closed progress: 277182
Forward closed progress: 277170
Forward closed progress: 277172
Forward closed progress: 276960
Forward closed progress: 276889
Forward closed progress: 278287
Forward closed progress: 276336
Forward closed progress: 276321
Forward closed progress: 276280
Forward closed progress: 276197
Forward closed progress: 276157
Forward closed progress: 276076
Forward closed progress: 275520
Forward closed progress: 275563
Forward closed progress: 275515
Forward closed progress: 275664
Forward closed progress: 275738
Forward closed progress: 273166
Forward closed progress: 273170
Forward closed progress: 273175
Forward closed progress: 273176
Forward closed progress: 273170
Forward closed progress: 273181
Forward closed progress: 273192
Forward closed progress: 273401
Forward closed progress: 273740
Forward closed progress: 273742
Forward closed progress: 273740
Forward closed progress: 273894
Forward closed progress: 273894
Forward closed progress: 273833
Forward closed progress: 273740
Forward closed progress: 273675
Forward closed progress: 265298
Forward closed progress: 244245
Forward closed progress: 294799
Forward closed progress: 297391
Forward closed progress: 297121
Forward closed progress: 336194
Forward closed progress: 330667
Forward closed progress: 338515
Forward closed progress: 338516
Forward closed progress: 338507
Forward closed progress: 338341
Forward closed progress: 337929
Forward closed progress: 338066
Forward closed progress: 334210
Forward closed progress: 318400
Forward closed progress: 331032
Forward closed progress: 317984
Forward closed progress: 317959
Forward closed progress: 317841
Forward closed progress: 310017
Forward closed progress: 315466
Forward closed progress: 317044
Forward closed progress: 317052
Forward closed progress: 317162
Forward closed progress: 330678
Forward closed progress: 327924
Forward closed progress: 323142
Forward closed progress: 323144
Forward closed progress: 323154
Forward closed progress: 322713
Forward closed progress: 322708
Forward closed progress: 322709
Forward closed progress: 322403
Forward closed progress: 322397
Forward closed progress: 322412
Forward closed progress: 323149
Forward closed progress: 314540
Forward closed progress: 314649
Forward closed progress: 361581
Forward closed progress: 366151
Forward closed progress: 366807
Forward closed progress: 366900
Forward closed progress: 366888
Forward closed progress: 366857
Forward closed progress: 333864
Forward closed progress: 333378
Forward closed progress: 330042
Forward closed progress: 330607
Forward closed progress: 329357
Forward closed progress: 329242
Forward closed progress: 328505
Forward closed progress: 326905
Forward closed progress: 325180
Forward closed progress: 325087
Forward closed progress: 324982
Forward closed progress: 323753
Forward closed progress: 323289
Forward closed progress: 322623
Forward closed progress: 319055
Forward closed progress: 318816
Forward closed progress: 318739
Forward closed progress: 317992
Forward closed progress: 317990
Forward closed progress: 317697
Forward closed progress: 317459
Forward closed progress: 317093
Forward closed progress: 318357
Forward closed progress: 316239
Forward closed progress: 316159
Forward closed progress: 315654
Forward closed progress: 314875
Forward closed progress: 314686
Forward closed progress: 314533
Forward closed progress: 314068
Forward closed progress: 583399
Forward closed progress: 596719
Forward closed progress: 605890
Forward closed progress: 553833
Forward closed progress: 553813
Forward closed progress: 508482
Forward closed progress: 508475
Forward closed progress: 507116
Forward closed progress: 512881
Forward closed progress: 512883
Forward closed progress: 512799
Forward closed progress: 528389
Forward closed progress: 510825
Forward closed progress: 510354
Forward closed progress: 511357
Forward closed progress: 509977
Forward closed progress: 510001
Forward closed progress: 508800
Forward closed progress: 509802
Forward closed progress: 509646
Forward closed progress: 507741
Forward closed progress: 506142
Forward closed progress: 506140
Forward closed progress: 505571
Forward closed progress: 505397
Forward closed progress: 497784
Forward closed progress: 497905
Forward closed progress: 504097
Forward closed progress: 509065
Forward closed progress: 509539
Forward closed progress: 509502
Forward closed progress: 472933
Forward closed progress: 472932
Forward closed progress: 472739
Forward closed progress: 472831
Forward closed progress: 472746
Forward closed progress: 472318
Forward closed progress: 472217
Forward closed progress: 472240
Forward closed progress: 463046
Forward closed progress: 448046
Forward closed progress: 448145
Forward closed progress: 448047
Forward closed progress: 448150
Forward closed progress: 448148
Forward closed progress: 448050
Forward closed progress: 448034
Forward closed progress: 428818
Forward closed progress: 357479
Forward closed progress: 361386
Forward closed progress: 358626
Forward closed progress: 357356
Forward closed progress: 356461
Forward closed progress: 397399
Forward closed progress: 390789
Forward closed progress: 391261
Forward closed progress: 391059
Forward closed progress: 391029
Forward closed progress: 383576
Forward closed progress: 384254
Forward closed progress: 382892
Forward closed progress: 382237
Forward closed progress: 382389
Forward closed progress: 381415
Forward closed progress: 381421
Forward closed progress: 381214
Forward closed progress: 376590
Forward closed progress: 376312
Forward closed progress: 376251
Forward closed progress: 375404
Forward closed progress: 375231
Forward closed progress: 374498
Forward closed progress: 374122
Forward closed progress: 368038
Forward closed progress: 376050
Forward closed progress: 371405
Forward closed progress: 366047
Forward closed progress: 363753
Forward closed progress: 363395
Forward closed progress: 363124
Forward closed progress: 355273
Forward closed progress: 342001
Forward closed progress: 360528
Forward closed progress: 362050
Forward closed progress: 362274
Forward closed progress: 362274
Forward closed progress: 362260
Forward closed progress: 362238
Forward closed progress: 346850
Forward closed progress: 346670
Forward closed progress: 345123
Forward closed progress: 344599
Forward closed progress: 344485
Forward closed progress: 344090
Forward closed progress: 343524
Forward closed progress: 342935
Forward closed progress: 342723
Forward closed progress: 342071
Forward closed progress: 339943
Forward closed progress: 356319
Forward closed progress: 357176
Forward closed progress: 357524
Forward closed progress: 357510
Forward closed progress: 341446
Forward closed progress: 341444
Forward closed progress: 341054
Forward closed progress: 341098
Forward closed progress: 341500
Forward closed progress: 341311
Forward closed progress: 341459
Forward closed progress: 340564
Forward closed progress: 340561
Forward closed progress: 340519
Forward closed progress: 340384
Forward closed progress: 340243
Forward closed progress: 340293
Forward closed progress: 339955
Forward closed progress: 340225
Forward closed progress: 340187
Forward closed progress: 339745
Forward closed progress: 339637
Forward closed progress: 336076
Forward closed progress: 335768
Forward closed progress: 335800
Forward closed progress: 335580
Forward closed progress: 334123
Forward closed progress: 337174
Forward closed progress: 341518
Forward closed progress: 341213
Forward closed progress: 341039
Forward closed progress: 342062
Forward closed progress: 342357
Forward closed progress: 342128
Forward closed progress: 341260
Forward closed progress: 341449
Forward closed progress: 341716
Forward closed progress: 341656
Forward closed progress: 343365
Forward closed progress: 343363
Forward closed progress: 343197
Forward closed progress: 342500
Forward closed progress: 342489
Forward closed progress: 340328
Forward closed progress: 381877
Forward closed progress: 371243
Forward closed progress: 371242
Forward closed progress: 365741
Forward closed progress: 365718
Forward closed progress: 365718
Forward closed progress: 365716
Forward closed progress: 365626
Forward closed progress: 364840
Forward closed progress: 360947
Forward closed progress: 411009
Forward closed progress: 412456
Forward closed progress: 404923
Forward closed progress: 396922
Forward closed progress: 395853
Forward closed progress: 395623
Forward closed progress: 395509
Forward closed progress: 395792
Forward closed progress: 396187
Forward closed progress: 395917
Forward closed progress: 395749
Forward closed progress: 395749
Forward closed progress: 397271
Forward closed progress: 395511
Forward closed progress: 399312
Forward closed progress: 399331
Forward closed progress: 409118
Forward closed progress: 398136
Forward closed progress: 398136
Forward closed progress: 393106
Forward closed progress: 386879
Forward closed progress: 386673
Forward closed progress: 386655
Forward closed progress: 386866
Forward closed progress: 386864
Forward closed progress: 386864
Forward closed progress: 386610
Forward closed progress: 386691
Forward closed progress: 386607
Forward closed progress: 386528
Forward closed progress: 385350
Forward closed progress: 384952
Forward closed progress: 383727
Forward closed progress: 383723
Forward closed progress: 383676
Forward closed progress: 389190
Forward closed progress: 386858
Forward closed progress: 384197
Forward closed progress: 384188
Forward closed progress: 383908
Forward closed progress: 383882
Forward closed progress: 383878
Forward closed progress: 383872
Forward closed progress: 383811
Forward closed progress: 383683
Forward closed progress: 382310
Forward closed progress: 377851
Forward closed progress: 369318
Forward closed progress: 411337
Forward closed progress: 413725
Forward closed progress: 415955
Forward closed progress: 403996
Forward closed progress: 403989
Forward closed progress: 394423
Forward closed progress: 395165
Forward closed progress: 396356
Forward closed progress: 395804
Forward closed progress: 396011
Forward closed progress: 394477
Forward closed progress: 394427
Forward closed progress: 394320
Forward closed progress: 394279
Forward closed progress: 393549
Forward closed progress: 394216
Forward closed progress: 393798
Forward closed progress: 393995
Forward closed progress: 393554
Forward closed progress: 394122
Forward closed progress: 394122
Forward closed progress: 394121
Forward closed progress: 394110
Forward closed progress: 400507
Forward closed progress: 397376
Forward closed progress: 394492
Forward closed progress: 395588
Forward closed progress: 395983
Forward closed progress: 396019
Forward closed progress: 396524
Forward closed progress: 396495
Forward closed progress: 396493
Forward closed progress: 396472
Forward closed progress: 396439
Forward closed progress: 395583
Forward closed progress: 395643
Forward closed progress: 395641
Forward closed progress: 395643
Forward closed progress: 395641
Forward closed progress: 409855
Forward closed progress: 413449
Forward closed progress: 412454
Forward closed progress: 411847
Forward closed progress: 411780
Forward closed progress: 411746
Forward closed progress: 411736
Forward closed progress: 411113
Forward closed progress: 411943
Forward closed progress: 411908
Forward closed progress: 411813
Forward closed progress: 411790
Forward closed progress: 411739
Forward closed progress: 411051
Forward closed progress: 411101
Forward closed progress: 411135
Forward closed progress: 411100
Forward closed progress: 411787
Forward closed progress: 411726
Forward closed progress: 412183
Forward closed progress: 412203
Forward closed progress: 412163
Forward closed progress: 413012
Forward closed progress: 410102
Forward closed progress: 404437
Forward closed progress: 404933
Forward closed progress: 404719
Forward closed progress: 404727
Forward closed progress: 404745
Forward closed progress: 404777
Forward closed progress: 404518
Forward closed progress: 404518
Forward closed progress: 405224
Forward closed progress: 404733
Forward closed progress: 404993
Forward closed progress: 404996
Forward closed progress: 405023
Forward closed progress: 402121
Forward closed progress: 392669
Forward closed progress: 396324
Forward closed progress: 391834
Forward closed progress: 392082
Forward closed progress: 391920
Forward closed progress: 391888
Forward closed progress: 391893
Forward closed progress: 391651
Forward closed progress: 391978
Forward closed progress: 391688
Forward closed progress: 391687
Forward closed progress: 391645
Forward closed progress: 420054
Forward closed progress: 410123
Forward closed progress: 408397
Forward closed progress: 407985
Forward closed progress: 407754
Forward closed progress: 407268
Forward closed progress: 407126
Forward closed progress: 407720
Forward closed progress: 407152
Forward closed progress: 407310
Forward closed progress: 407170
Forward closed progress: 407111
Forward closed progress: 405271
Forward closed progress: 407574
Forward closed progress: 406346
Forward closed progress: 405690
Forward closed progress: 405693
Forward closed progress: 405701
Forward closed progress: 405291
Forward closed progress: 405343
Forward closed progress: 405328
Forward closed progress: 405317
Forward closed progress: 405301
Forward closed progress: 405301
Forward closed progress: 405528
Forward closed progress: 405297
Forward closed progress: 404304
Forward closed progress: 404243
Forward closed progress: 398054
Forward closed progress: 401458
Forward closed progress: 399650
Forward closed progress: 397341
Forward closed progress: 396277
Forward closed progress: 402025
Forward closed progress: 399257
Forward closed progress: 399213
Forward closed progress: 398457
Forward closed progress: 398471
Forward closed progress: 397158
Forward closed progress: 397127
Forward closed progress: 397112
Forward closed progress: 396852
Forward closed progress: 396605
Forward closed progress: 396616
Forward closed progress: 396580
Forward closed progress: 396795
Forward closed progress: 396616
Forward closed progress: 396576
Forward closed progress: 396531
Forward closed progress: 396531
Forward closed progress: 396536
Forward closed progress: 396548
Forward closed progress: 396561
Forward closed progress: 396712
Forward closed progress: 396648
Forward closed progress: 394054
Forward closed progress: 393999
Forward closed progress: 392851
Forward closed progress: 392202
Forward closed progress: 392131
Forward closed progress: 392027
Forward closed progress: 392027
Forward closed progress: 391878
Forward closed progress: 391849
Forward closed progress: 391761
Forward closed progress: 391732
Forward closed progress: 391664
Forward closed progress: 389094
Forward closed progress: 386725
Forward closed progress: 386321
Forward closed progress: 370812
Forward closed progress: 370928
Forward closed progress: 371184
Forward closed progress: 371174
Forward closed progress: 371250
Forward closed progress: 371314
Forward closed progress: 371551
Forward closed progress: 375844
Forward closed progress: 373738
Forward closed progress: 374378
Forward closed progress: 374343
Forward closed progress: 376546
Forward closed progress: 376229
Forward closed progress: 377108
Forward closed progress: 376884
Forward closed progress: 376843
Forward closed progress: 376827
Forward closed progress: 376900
Forward closed progress: 376712
Forward closed progress: 376775
Forward closed progress: 376503
Forward closed progress: 376643
Forward closed progress: 376643
Forward closed progress: 376597
Forward closed progress: 376620
Forward closed progress: 382198
Forward closed progress: 382133
Forward closed progress: 382464
Forward closed progress: 377433
Forward closed progress: 377965
Forward closed progress: 378442
Forward closed progress: 378828
Forward closed progress: 377935
Forward closed progress: 377943
Forward closed progress: 377929
Forward closed progress: 377974
Forward closed progress: 378137
Forward closed progress: 378284
Forward closed progress: 378024
Forward closed progress: 378322
Forward closed progress: 378338
Forward closed progress: 378338
Forward closed progress: 378332
Forward closed progress: 381886
Forward closed progress: 378565
Forward closed progress: 379066
Forward closed progress: 379073
Forward closed progress: 379089
Forward closed progress: 379293
Forward closed progress: 379240
Forward closed progress: 379208
Forward closed progress: 377031
Forward closed progress: 381591
Forward closed progress: 382540
Forward closed progress: 382457
Forward closed progress: 382431
Forward closed progress: 382422
Forward closed progress: 382246
Forward closed progress: 382324
Forward closed progress: 382288
Forward closed progress: 382125
Forward closed progress: 382106
Forward closed progress: 382105
Forward closed progress: 382054
Forward closed progress: 382068
Forward closed progress: 382092
Forward closed progress: 382068
Forward closed progress: 382038
Forward closed progress: 381631
Forward closed progress: 381651
Forward closed progress: 381645
Forward closed progress: 383601
Forward closed progress: 382681
Forward closed progress: 382767
Forward closed progress: 382752
Forward closed progress: 382566
Forward closed progress: 382730
Forward closed progress: 382547
Forward closed progress: 382638
Forward closed progress: 382658
Forward closed progress: 382621
Forward closed progress: 382494
Forward closed progress: 382588
Forward closed progress: 382423
Forward closed progress: 382577
Forward closed progress: 382574
Forward closed progress: 382288
Forward closed progress: 381232
Forward closed progress: 381216
Forward closed progress: 381159
Forward closed progress: 380593
Forward closed progress: 380375
Forward closed progress: 379393
Forward closed progress: 378977
Forward closed progress: 700790
Forward closed progress: 700790
Forward closed progress: 686912
Forward closed progress: 674395
Forward closed progress: 647065
Forward closed progress: 647008
Forward closed progress: 757299
Forward closed progress: 730461
Forward closed progress: 715012
Forward closed progress: 714777
Forward closed progress: 727222
Forward closed progress: 730478
Forward closed progress: 730498
Forward closed progress: 724286
Forward closed progress: 724345
Forward closed progress: 721119
Forward closed progress: 721117
Forward closed progress: 720390
Forward closed progress: 720242
Forward closed progress: 710760
Forward closed progress: 700839
Forward closed progress: 703608
Forward closed progress: 702121
Forward closed progress: 700342
Forward closed progress: 700103
Forward closed progress: 704587
Forward closed progress: 703436
Forward closed progress: 704541
Forward closed progress: 703936
Forward closed progress: 703949
Forward closed progress: 703758
Forward closed progress: 703732
Forward closed progress: 703549
Forward closed progress: 703535
Forward closed progress: 703306
Forward closed progress: 681936
Forward closed progress: 682941
Forward closed progress: 683189
Forward closed progress: 682662
Forward closed progress: 682660
Forward closed progress: 682650
Forward closed progress: 673426
Forward closed progress: 673550
Forward closed progress: 674854
Forward closed progress: 674852
Forward closed progress: 674082
Forward closed progress: 673533
Forward closed progress: 672576
Forward closed progress: 672572
Forward closed progress: 672487
Forward closed progress: 672492
Forward closed progress: 672095
Forward closed progress: 671894
Forward closed progress: 671474
Forward closed progress: 671338
Forward closed progress: 670897
Forward closed progress: 670804
Forward closed progress: 637372
Forward closed progress: 620314
Forward closed progress: 610631
Forward closed progress: 607315
Forward closed progress: 600896
Forward closed progress: 591731
Forward closed progress: 591718
Forward closed progress: 579180
Forward closed progress: 581747
Forward closed progress: 583501
Forward closed progress: 582340
Forward closed progress: 581344
Forward closed progress: 582139
Forward closed progress: 581140
Forward closed progress: 581128
Forward closed progress: 580813
Forward closed progress: 577523
Forward closed progress: 576935
Forward closed progress: 576933
Forward closed progress: 576632
Forward closed progress: 576546
Forward closed progress: 551656
Forward closed progress: 551936
Forward closed progress: 551970
Forward closed progress: 549904
Forward closed progress: 550432
Forward closed progress: 549372
Forward closed progress: 548964
Forward closed progress: 548855
Forward closed progress: 547774
Forward closed progress: 546527
Forward closed progress: 546531
Forward closed progress: 546296
Forward closed progress: 544931
Forward closed progress: 533942
Forward closed progress: 533406
Forward closed progress: 533386
Forward closed progress: 536854
Forward closed progress: 534076
Forward closed progress: 533640
Forward closed progress: 533021
Forward closed progress: 532909
Forward closed progress: 530819
Forward closed progress: 520838
Forward closed progress: 496165
Forward closed progress: 505787
Forward closed progress: 506703
Forward closed progress: 506950
Forward closed progress: 507161
Forward closed progress: 507156
Forward closed progress: 507145
Forward closed progress: 497470
Forward closed progress: 497400
Forward closed progress: 498601
Forward closed progress: 498599
Forward closed progress: 498416
Forward closed progress: 497545
Forward closed progress: 496742
Forward closed progress: 496730
Forward closed progress: 496676
Forward closed progress: 496622
Forward closed progress: 496244
Forward closed progress: 496248
Forward closed progress: 496578
Forward closed progress: 494811
Forward closed progress: 500769
Forward closed progress: 500561
Forward closed progress: 500691
Forward closed progress: 500684
Forward closed progress: 495594
Forward closed progress: 495487
Forward closed progress: 495492
Forward closed progress: 495277
Forward closed progress: 495351
Forward closed progress: 494801
Forward closed progress: 494795
Forward closed progress: 494645
Forward closed progress: 494468
Forward closed progress: 494169
Forward closed progress: 494049
Forward closed progress: 494043
Forward closed progress: 493941
Forward closed progress: 493016
Forward closed progress: 492494
Forward closed progress: 492452
Forward closed progress: 492266
Forward closed progress: 478536
Forward closed progress: 478292
Forward closed progress: 476318
Forward closed progress: 495079
Forward closed progress: 501320
Forward closed progress: 500662
Forward closed progress: 500661
Forward closed progress: 494120
Forward closed progress: 497481
Forward closed progress: 496100
Forward closed progress: 496118
Forward closed progress: 493472
Forward closed progress: 493454
Forward closed progress: 489206
Forward closed progress: 489485
Forward closed progress: 488256
Forward closed progress: 488471
Forward closed progress: 487813
Forward closed progress: 487526
Forward closed progress: 482369
Forward closed progress: 482393
Forward closed progress: 474459
Forward closed progress: 475355
Forward closed progress: 478370
Forward closed progress: 472628
Forward closed progress: 472158
Forward closed progress: 472467
Forward closed progress: 470841
Forward closed progress: 470862
Forward closed progress: 470813
Forward closed progress: 470448
Forward closed progress: 470298
Forward closed progress: 467870
Forward closed progress: 467858
Forward closed progress: 467825
Forward closed progress: 467818
Forward closed progress: 467801
Forward closed progress: 467775
Forward closed progress: 465416
Forward closed progress: 465823
Forward closed progress: 465790
Forward closed progress: 465781
Forward closed progress: 465548
Forward closed progress: 465644
Forward closed progress: 464744
Forward closed progress: 464862
Forward closed progress: 713941
Forward closed progress: 707452
Forward closed progress: 646388
Forward closed progress: 616407
Forward closed progress: 616403
Forward closed progress: 612253
Forward closed progress: 620733
Forward closed progress: 620738
Forward closed progress: 620560
Forward closed progress: 620400
Forward closed progress: 619886
Forward closed progress: 619944
Forward closed progress: 616377
Forward closed progress: 616562
Forward closed progress: 596490
Forward closed progress: 596416
Forward closed progress: 596431
Forward closed progress: 596428
Forward closed progress: 596403
Forward closed progress: 596326
Forward closed progress: 599911
Forward closed progress: 601576
Forward closed progress: 603366
Forward closed progress: 603837
Forward closed progress: 603836
Forward closed progress: 603830
Forward closed progress: 600205
Forward closed progress: 600203
Forward closed progress: 598749
Forward closed progress: 598822
Forward closed progress: 599749
Forward closed progress: 599799
Forward closed progress: 599150
Forward closed progress: 599065
Forward closed progress: 598844
Forward closed progress: 598737
Forward closed progress: 598686
Forward closed progress: 598339
Forward closed progress: 598552
Forward closed progress: 598367
Forward closed progress: 596783
Forward closed progress: 596674
Forward closed progress: 596607
Forward closed progress: 596339
Forward closed progress: 595843
Forward closed progress: 595838
Forward closed progress: 595840
Forward closed progress: 595812
Forward closed progress: 595524
Forward closed progress: 500614
Forward closed progress: 500673
Forward closed progress: 500321
Forward closed progress: 500175
Forward closed progress: 500195
Forward closed progress: 497612
Forward closed progress: 497739
Forward closed progress: 497445
Forward closed progress: 497472
Forward closed progress: 497392
Forward closed progress: 494488
Forward closed progress: 492000
Forward closed progress: 489508
Forward closed progress: 490153
Forward closed progress: 490760
Forward closed progress: 490702
Forward closed progress: 491437
Forward closed progress: 491534
Forward closed progress: 491007
Forward closed progress: 490931
Forward closed progress: 490578
Forward closed progress: 490555
Forward closed progress: 491427
Forward closed progress: 491426
Forward closed progress: 490792
Forward closed progress: 490704
Forward closed progress: 490335
Forward closed progress: 487806
Forward closed progress: 487978
Forward closed progress: 488009
Forward closed progress: 487965
Forward closed progress: 485926
Forward closed progress: 484998
Forward closed progress: 485181
Forward closed progress: 484796
Forward closed progress: 484825
Forward closed progress: 484714
Forward closed progress: 484563
Forward closed progress: 481698
Forward closed progress: 446550
Forward closed progress: 446311
Forward closed progress: 446126
Forward closed progress: 459068
Forward closed progress: 451087
Forward closed progress: 450637
Forward closed progress: 464326
Forward closed progress: 458080
Forward closed progress: 457923
Forward closed progress: 457659
Forward closed progress: 454553
Forward closed progress: 454748
Forward closed progress: 453618
Forward closed progress: 452752
Forward closed progress: 452755
Forward closed progress: 449131
Forward closed progress: 449102
Forward closed progress: 448688
Forward closed progress: 437482
Forward closed progress: 436408
Forward closed progress: 421071
Forward closed progress: 420638
Forward closed progress: 420103
Forward closed progress: 420103
Control exists for 835 color(s), jumping through 541065216 vertices.
Elapsed: 1474922 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1474.922
user ??
sys ??
