>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 518400
Perturbation colors: 4294967296
All colors: 2226511046246400
Unknown update functions: 8
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 114246130073600
Attractor colors computed in 6036 ms.
Backward progress: 100335
Backward progress: 102651
Backward progress: 102640
Backward progress: 102439
Backward progress: 102165
Backward progress: 102479
Backward progress: 102461
Backward progress: 102285
Backward progress: 102562
Backward progress: 102543
Backward progress: 102371
Backward progress: 102327
Backward progress: 101641
Backward progress: 101814
Backward progress: 101493
Backward progress: 101347
Backward progress: 101185
Backward progress: 101154
Backward progress: 100745
Backward progress: 100320
Backward progress: 100627
Backward progress: 100579
Backward progress: 100620
Backward progress: 100660
Backward progress: 100342
Backward progress: 100375
Backward progress: 100373
Backward progress: 100408
Backward progress: 100369
Backward progress: 117306
Backward progress: 105546
Backward progress: 105007
Backward progress: 106457
Backward progress: 105391
Backward progress: 105744
Backward progress: 104143
Backward progress: 104338
Backward progress: 105467
Backward progress: 106423
Backward progress: 102899
Backward progress: 102803
Backward progress: 102430
Backward progress: 102781
Backward progress: 103245
Backward progress: 103249
Backward progress: 103067
Backward progress: 103354
Backward progress: 103448
Backward progress: 103452
Backward progress: 103499
Backward progress: 103815
Backward progress: 103825
Backward progress: 103863
Backward progress: 103346
Backward progress: 103768
Backward progress: 103852
Backward progress: 103143
Backward progress: 102753
Backward progress: 123740
Backward progress: 123737
Backward progress: 108990
Backward progress: 111624
Backward progress: 112716
Backward progress: 111668
Backward progress: 110732
Backward progress: 111051
Backward progress: 110691
Backward progress: 125786
Backward progress: 124995
Backward progress: 124688
Backward progress: 120277
Backward progress: 120279
Backward progress: 120206
Backward progress: 120514
Backward progress: 119268
Backward progress: 119038
Backward progress: 119009
Backward progress: 118821
Backward progress: 118817
Backward progress: 118807
Backward progress: 118551
Backward progress: 118856
Backward progress: 122445
Backward progress: 122250
Backward progress: 120722
Backward progress: 120722
Backward progress: 120851
Backward progress: 120856
Backward progress: 120855
Backward progress: 120664
Backward progress: 120655
Backward progress: 123959
Backward progress: 123961
Backward progress: 123963
Backward progress: 123951
Backward progress: 124043
Backward progress: 123990
Backward progress: 124038
Backward progress: 123216
Backward progress: 131906
Backward progress: 132148
Backward progress: 132474
Backward progress: 132473
Backward progress: 132474
Backward progress: 132457
Backward progress: 132426
Backward progress: 133822
Backward progress: 133822
Backward progress: 133764
Backward progress: 133642
Backward progress: 131640
Backward progress: 131598
Backward progress: 133385
Backward progress: 133386
Backward progress: 133366
Backward progress: 133100
Backward progress: 132956
Backward progress: 132796
Backward progress: 132766
Backward progress: 132768
Backward progress: 132665
Backward progress: 132282
Backward progress: 133193
Backward progress: 133193
Backward progress: 132874
Backward progress: 132898
Backward progress: 132974
Backward progress: 132972
Backward progress: 132922
Backward progress: 132947
Backward progress: 133107
Backward progress: 132970
Backward progress: 133351
Backward progress: 133628
Backward progress: 133819
Backward progress: 133818
Backward progress: 133819
Backward progress: 133775
Backward progress: 133711
Backward progress: 133847
Backward progress: 133847
Backward progress: 133712
Backward progress: 133764
Backward progress: 146501
Backward progress: 146755
Backward progress: 146307
Backward progress: 145347
Backward progress: 147778
Backward progress: 147326
Backward progress: 147323
Backward progress: 147353
Backward progress: 147352
Backward progress: 145930
Backward progress: 145467
Backward progress: 144818
Backward progress: 144672
Backward progress: 144672
Backward progress: 144672
Backward progress: 144392
Backward progress: 144315
Backward progress: 144076
Backward progress: 144435
Backward progress: 144439
Backward progress: 144511
Backward progress: 144894
Backward progress: 145305
Backward progress: 147560
Backward progress: 146945
Backward progress: 146869
Backward progress: 146802
Backward progress: 146468
Backward progress: 146432
Backward progress: 146416
Backward progress: 146220
Backward progress: 146014
Backward progress: 145563
Backward progress: 145608
Backward progress: 145566
Backward progress: 145567
Backward progress: 145539
Backward progress: 145373
Backward progress: 145336
Backward progress: 146112
Backward progress: 146100
Backward progress: 145834
Backward progress: 145939
Backward progress: 145630
Backward progress: 145640
Backward progress: 145637
Backward progress: 145642
Backward progress: 145674
Backward progress: 145380
Backward progress: 145380
Forward closed progress: 138789
Forward closed progress: 138394
Forward closed progress: 139270
Forward closed progress: 144089
Forward closed progress: 144078
Forward closed progress: 139076
Forward closed progress: 137619
Forward closed progress: 129494
Forward closed progress: 117260
Forward closed progress: 117195
Forward closed progress: 117193
Forward closed progress: 116866
Forward closed progress: 116615
Forward closed progress: 117051
Forward closed progress: 116575
Forward closed progress: 116920
Forward closed progress: 116919
Forward closed progress: 116919
Forward closed progress: 116726
Forward closed progress: 116925
Forward closed progress: 114864
Forward closed progress: 114863
Forward closed progress: 114861
Forward closed progress: 114755
Forward closed progress: 104270
Forward closed progress: 123558
Forward closed progress: 221595
Forward closed progress: 223025
Forward closed progress: 222977
Forward closed progress: 227079
Forward closed progress: 218533
Forward closed progress: 218516
Forward closed progress: 201044
Forward closed progress: 201053
Forward closed progress: 200166
Forward closed progress: 199692
Forward closed progress: 199693
Forward closed progress: 199799
Forward closed progress: 199130
Forward closed progress: 235978
Forward closed progress: 235998
Forward closed progress: 238866
Forward closed progress: 238858
Forward closed progress: 235845
Forward closed progress: 234887
Forward closed progress: 204039
Forward closed progress: 203971
Forward closed progress: 204948
Forward closed progress: 203754
Forward closed progress: 263820
Forward closed progress: 226781
Forward closed progress: 226866
Forward closed progress: 226958
Forward closed progress: 226948
Forward closed progress: 226928
Forward closed progress: 232216
Forward closed progress: 232206
Forward closed progress: 226717
Forward closed progress: 210842
Forward closed progress: 210848
Forward closed progress: 210266
Forward closed progress: 207340
Forward closed progress: 206616
Forward closed progress: 206658
Forward closed progress: 203694
Forward closed progress: 203011
Forward closed progress: 203078
Forward closed progress: 203069
Forward closed progress: 203077
Forward closed progress: 203060
Forward closed progress: 202526
Forward closed progress: 203786
Forward closed progress: 203738
Forward closed progress: 204039
Forward closed progress: 204035
Forward closed progress: 203697
Forward closed progress: 202883
Forward closed progress: 198494
Forward closed progress: 194966
Forward closed progress: 194967
Forward closed progress: 194954
Forward closed progress: 194410
Forward closed progress: 186162
Forward closed progress: 182829
Forward closed progress: 182191
Forward closed progress: 225047
Forward closed progress: 228809
Forward closed progress: 255150
Forward closed progress: 249032
Forward closed progress: 249022
Forward closed progress: 232748
Forward closed progress: 225202
Forward closed progress: 221510
Forward closed progress: 221274
Forward closed progress: 223897
Forward closed progress: 228403
Forward closed progress: 228377
Forward closed progress: 228330
Forward closed progress: 226995
Forward closed progress: 227489
Forward closed progress: 224903
Forward closed progress: 225723
Forward closed progress: 233795
Forward closed progress: 233175
Forward closed progress: 233171
Forward closed progress: 233167
Forward closed progress: 234528
Forward closed progress: 234524
Forward closed progress: 233155
Forward closed progress: 229403
Forward closed progress: 229403
Forward closed progress: 229399
Forward closed progress: 228714
Forward closed progress: 228070
Forward closed progress: 224643
Forward closed progress: 347861
Forward closed progress: 362103
Forward closed progress: 362507
Forward closed progress: 332066
Forward closed progress: 331249
Forward closed progress: 331232
Forward closed progress: 330072
Forward closed progress: 324986
Forward closed progress: 295467
Forward closed progress: 296725
Forward closed progress: 295980
Forward closed progress: 295233
Forward closed progress: 295087
Forward closed progress: 293506
Forward closed progress: 292956
Forward closed progress: 313979
Forward closed progress: 318753
Forward closed progress: 300745
Forward closed progress: 300744
Forward closed progress: 300743
Forward closed progress: 300747
Forward closed progress: 300218
Forward closed progress: 296146
Forward closed progress: 290446
Forward closed progress: 290428
Forward closed progress: 285333
Forward closed progress: 271152
Forward closed progress: 282545
Forward closed progress: 275273
Forward closed progress: 273041
Forward closed progress: 270288
Forward closed progress: 270129
Forward closed progress: 267467
Forward closed progress: 265739
Forward closed progress: 279792
Forward closed progress: 280343
Forward closed progress: 280359
Forward closed progress: 280344
Forward closed progress: 280310
Forward closed progress: 273097
Forward closed progress: 273067
Forward closed progress: 273067
Forward closed progress: 273031
Forward closed progress: 272865
Forward closed progress: 272748
Forward closed progress: 273461
Forward closed progress: 265169
Forward closed progress: 264814
Forward closed progress: 264340
Forward closed progress: 259615
Forward closed progress: 259208
Forward closed progress: 215059
Forward closed progress: 219995
Forward closed progress: 214453
Forward closed progress: 214446
Forward closed progress: 214197
Forward closed progress: 215178
Forward closed progress: 215171
Forward closed progress: 214164
Forward closed progress: 212268
Forward closed progress: 207631
Forward closed progress: 208076
Forward closed progress: 204311
Forward closed progress: 200614
Forward closed progress: 200612
Forward closed progress: 198681
Forward closed progress: 198678
Forward closed progress: 199735
Forward closed progress: 199733
Forward closed progress: 198606
Forward closed progress: 193789
Forward closed progress: 193789
Forward closed progress: 193787
Forward closed progress: 193499
Forward closed progress: 193448
Forward closed progress: 193418
Forward closed progress: 192318
Forward closed progress: 185869
Forward closed progress: 182652
Forward closed progress: 182329
Forward closed progress: 182497
Forward closed progress: 182493
Forward closed progress: 182212
Forward closed progress: 182205
Forward closed progress: 182117
Forward closed progress: 182115
Forward closed progress: 182106
Forward closed progress: 180842
Forward closed progress: 180976
Forward closed progress: 180607
Forward closed progress: 180607
Forward closed progress: 180246
Forward closed progress: 180304
Forward closed progress: 180400
Forward closed progress: 180717
Forward closed progress: 180520
Forward closed progress: 177075
Forward closed progress: 177081
Forward closed progress: 176746
Forward closed progress: 176376
Forward closed progress: 172562
Forward closed progress: 236574
Forward closed progress: 243659
Forward closed progress: 243679
Forward closed progress: 243645
Forward closed progress: 243674
Forward closed progress: 244100
Forward closed progress: 244076
Forward closed progress: 244006
Forward closed progress: 251176
Forward closed progress: 251170
Forward closed progress: 251171
Forward closed progress: 251146
Forward closed progress: 251004
Forward closed progress: 259540
Forward closed progress: 300984
Forward closed progress: 297916
Forward closed progress: 298006
Forward closed progress: 296502
Forward closed progress: 296413
Forward closed progress: 296538
Forward closed progress: 290386
Forward closed progress: 327803
Forward closed progress: 327791
Forward closed progress: 326145
Forward closed progress: 326143
Forward closed progress: 326149
Forward closed progress: 325472
Forward closed progress: 317446
Forward closed progress: 317359
Forward closed progress: 303391
Forward closed progress: 292981
Forward closed progress: 292981
Forward closed progress: 284324
Forward closed progress: 282064
Forward closed progress: 282059
Forward closed progress: 282071
Forward closed progress: 282069
Forward closed progress: 282069
Forward closed progress: 281600
Forward closed progress: 278772
Forward closed progress: 278992
Forward closed progress: 277574
Forward closed progress: 273386
Forward closed progress: 272333
Forward closed progress: 269056
Forward closed progress: 286652
Forward closed progress: 286627
Forward closed progress: 287233
Forward closed progress: 275787
Forward closed progress: 275466
Forward closed progress: 275490
Forward closed progress: 275383
Forward closed progress: 275526
Forward closed progress: 275518
Forward closed progress: 275518
Forward closed progress: 275497
Forward closed progress: 275376
Forward closed progress: 274918
Forward closed progress: 275473
Forward closed progress: 279608
Forward closed progress: 279483
Forward closed progress: 279442
Forward closed progress: 279369
Forward closed progress: 273988
Forward closed progress: 274631
Forward closed progress: 274324
Forward closed progress: 274289
Forward closed progress: 274408
Forward closed progress: 274241
Forward closed progress: 248948
Forward closed progress: 257237
Forward closed progress: 255123
Forward closed progress: 254335
Forward closed progress: 254264
Forward closed progress: 254272
Forward closed progress: 251602
Forward closed progress: 266645
Forward closed progress: 266632
Forward closed progress: 265696
Forward closed progress: 265687
Forward closed progress: 265587
Forward closed progress: 265194
Forward closed progress: 265004
Forward closed progress: 264114
Forward closed progress: 256901
Forward closed progress: 257492
Forward closed progress: 256673
Forward closed progress: 256479
Forward closed progress: 258147
Forward closed progress: 257904
Forward closed progress: 257039
Forward closed progress: 257147
Forward closed progress: 255452
Forward closed progress: 255424
Forward closed progress: 255344
Forward closed progress: 247112
Forward closed progress: 246414
Forward closed progress: 246997
Forward closed progress: 246783
Forward closed progress: 246191
Forward closed progress: 245567
Forward closed progress: 244691
Forward closed progress: 244117
Forward closed progress: 243750
Forward closed progress: 243536
Forward closed progress: 237201
Forward closed progress: 237420
Forward closed progress: 237426
Forward closed progress: 237400
Forward closed progress: 238496
Forward closed progress: 243835
Forward closed progress: 243681
Forward closed progress: 243584
Forward closed progress: 243766
Forward closed progress: 243831
Forward closed progress: 246784
Forward closed progress: 246724
Forward closed progress: 246825
Forward closed progress: 246902
Forward closed progress: 246884
Forward closed progress: 246864
Forward closed progress: 246844
Forward closed progress: 246471
Forward closed progress: 257640
Forward closed progress: 257575
Forward closed progress: 257635
Forward closed progress: 257301
Forward closed progress: 257369
Forward closed progress: 257291
Forward closed progress: 257309
Forward closed progress: 257257
Forward closed progress: 257255
Forward closed progress: 256462
Forward closed progress: 257123
Forward closed progress: 257906
Forward closed progress: 257576
Forward closed progress: 257014
Forward closed progress: 256012
Forward closed progress: 254870
Forward closed progress: 254869
Forward closed progress: 254811
Forward closed progress: 253594
Forward closed progress: 253972
Forward closed progress: 253886
Forward closed progress: 253813
Forward closed progress: 258856
Forward closed progress: 256945
Forward closed progress: 256943
Forward closed progress: 256941
Forward closed progress: 256865
Forward closed progress: 257016
Forward closed progress: 256731
Forward closed progress: 254493
Forward closed progress: 254909
Forward closed progress: 254613
Forward closed progress: 254663
Forward closed progress: 253703
Forward closed progress: 248143
Forward closed progress: 246808
Forward closed progress: 246163
Forward closed progress: 246138
Forward closed progress: 246128
Forward closed progress: 244612
Forward closed progress: 244096
Forward closed progress: 240651
Forward closed progress: 239687
Forward closed progress: 239520
Forward closed progress: 239491
Forward closed progress: 601375
Forward closed progress: 600567
Forward closed progress: 595709
Forward closed progress: 569937
Forward closed progress: 600326
Forward closed progress: 600274
Forward closed progress: 618493
Forward closed progress: 578804
Forward closed progress: 573830
Forward closed progress: 573705
Forward closed progress: 600414
Forward closed progress: 615301
Forward closed progress: 761122
Forward closed progress: 872316
Forward closed progress: 871822
Forward closed progress: 871814
Forward closed progress: 871654
Forward closed progress: 839336
Forward closed progress: 839320
Forward closed progress: 839275
Forward closed progress: 831749
Forward closed progress: 819661
Forward closed progress: 832802
Forward closed progress: 833314
Forward closed progress: 833355
Forward closed progress: 833881
Forward closed progress: 833873
Forward closed progress: 833868
Forward closed progress: 833289
Forward closed progress: 819702
Forward closed progress: 819712
Forward closed progress: 816501
Forward closed progress: 814363
Forward closed progress: 814269
Forward closed progress: 814586
Forward closed progress: 815160
Forward closed progress: 808633
Forward closed progress: 808228
Forward closed progress: 810185
Forward closed progress: 816513
Forward closed progress: 721865
Forward closed progress: 711010
Forward closed progress: 640275
Forward closed progress: 641921
Forward closed progress: 642408
Forward closed progress: 635522
Forward closed progress: 635515
Forward closed progress: 633662
Forward closed progress: 633490
Forward closed progress: 625434
Forward closed progress: 626798
Forward closed progress: 624470
Forward closed progress: 624165
Forward closed progress: 623995
Forward closed progress: 623231
Forward closed progress: 621320
Forward closed progress: 620747
Forward closed progress: 616401
Forward closed progress: 618536
Forward closed progress: 619454
Forward closed progress: 595648
Forward closed progress: 595646
Forward closed progress: 595644
Forward closed progress: 595643
Forward closed progress: 595322
Forward closed progress: 593596
Forward closed progress: 593545
Forward closed progress: 593397
Forward closed progress: 593417
Forward closed progress: 591473
Forward closed progress: 590188
Forward closed progress: 548889
Forward closed progress: 563020
Forward closed progress: 555076
Forward closed progress: 553792
Forward closed progress: 553129
Forward closed progress: 552860
Forward closed progress: 552716
Forward closed progress: 544594
Forward closed progress: 551159
Forward closed progress: 549876
Forward closed progress: 549874
Forward closed progress: 549868
Forward closed progress: 547665
Forward closed progress: 547580
Forward closed progress: 547358
Forward closed progress: 547203
Forward closed progress: 547135
Forward closed progress: 542321
Forward closed progress: 541564
Forward closed progress: 471842
Forward closed progress: 458649
Forward closed progress: 460555
Forward closed progress: 460555
Forward closed progress: 460539
Forward closed progress: 458043
Forward closed progress: 454923
Forward closed progress: 464674
Forward closed progress: 464727
Forward closed progress: 464745
Forward closed progress: 464822
Forward closed progress: 464819
Forward closed progress: 464816
Forward closed progress: 464715
Forward closed progress: 459657
Forward closed progress: 459660
Forward closed progress: 458569
Forward closed progress: 458061
Forward closed progress: 457562
Forward closed progress: 457304
Forward closed progress: 456513
Forward closed progress: 456401
Forward closed progress: 451691
Forward closed progress: 442663
Forward closed progress: 440920
Forward closed progress: 440925
Forward closed progress: 440925
Forward closed progress: 440502
Forward closed progress: 440499
Forward closed progress: 440444
Forward closed progress: 438417
Forward closed progress: 438888
Forward closed progress: 438482
Forward closed progress: 438486
Forward closed progress: 438101
Forward closed progress: 437849
Forward closed progress: 437891
Forward closed progress: 437221
Forward closed progress: 437249
Forward closed progress: 437125
Forward closed progress: 437079
Forward closed progress: 436584
Forward closed progress: 434831
Forward closed progress: 434951
Forward closed progress: 434928
Forward closed progress: 434926
Forward closed progress: 434807
Forward closed progress: 434677
Forward closed progress: 435082
Forward closed progress: 435080
Forward closed progress: 435074
Forward closed progress: 434789
Forward closed progress: 434441
Forward closed progress: 431330
Forward closed progress: 413141
Forward closed progress: 413245
Forward closed progress: 413247
Forward closed progress: 413236
Forward closed progress: 413251
Forward closed progress: 413511
Forward closed progress: 413499
Forward closed progress: 413492
Forward closed progress: 413447
Forward closed progress: 413458
Forward closed progress: 413465
Forward closed progress: 413437
Forward closed progress: 413428
Forward closed progress: 413432
Forward closed progress: 413430
Forward closed progress: 413439
Forward closed progress: 413228
Forward closed progress: 413273
Forward closed progress: 413269
Forward closed progress: 413265
Forward closed progress: 412999
Forward closed progress: 412501
Forward closed progress: 412915
Forward closed progress: 412915
Forward closed progress: 412915
Forward closed progress: 412908
Forward closed progress: 412917
Forward closed progress: 412819
Forward closed progress: 412825
Forward closed progress: 412736
Forward closed progress: 412746
Forward closed progress: 411437
Forward closed progress: 410955
Forward closed progress: 410886
Forward closed progress: 411765
Forward closed progress: 412821
Forward closed progress: 412823
Forward closed progress: 412822
Forward closed progress: 412694
Forward closed progress: 412671
Forward closed progress: 412634
Forward closed progress: 412658
Forward closed progress: 412622
Forward closed progress: 413593
Forward closed progress: 413700
Forward closed progress: 415602
Forward closed progress: 415565
Forward closed progress: 415563
Forward closed progress: 416193
Forward closed progress: 415853
Forward closed progress: 415709
Forward closed progress: 409801
Forward closed progress: 409647
Forward closed progress: 409347
Forward closed progress: 409826
Forward closed progress: 409796
Forward closed progress: 409804
Forward closed progress: 409774
Forward closed progress: 409985
Forward closed progress: 409923
Forward closed progress: 409237
Forward closed progress: 412030
Forward closed progress: 412526
Forward closed progress: 412586
Forward closed progress: 412578
Forward closed progress: 411770
Forward closed progress: 412090
Forward closed progress: 412469
Forward closed progress: 412351
Forward closed progress: 411208
Forward closed progress: 411035
Forward closed progress: 410833
Forward closed progress: 652611
Forward closed progress: 651960
Forward closed progress: 650256
Forward closed progress: 583756
Forward closed progress: 563257
Forward closed progress: 563253
Forward closed progress: 560312
Forward closed progress: 595742
Forward closed progress: 596077
Forward closed progress: 593215
Forward closed progress: 628915
Forward closed progress: 629908
Forward closed progress: 629931
Forward closed progress: 629937
Forward closed progress: 629936
Forward closed progress: 629933
Forward closed progress: 630499
Forward closed progress: 630497
Forward closed progress: 629897
Forward closed progress: 629441
Forward closed progress: 628649
Forward closed progress: 628634
Forward closed progress: 627495
Forward closed progress: 629231
Forward closed progress: 622448
Forward closed progress: 616874
Forward closed progress: 470221
Forward closed progress: 470219
Forward closed progress: 470207
Forward closed progress: 469833
Forward closed progress: 469836
Forward closed progress: 469734
Forward closed progress: 470808
Forward closed progress: 470847
Forward closed progress: 462113
Forward closed progress: 461679
Forward closed progress: 460921
Forward closed progress: 461050
Forward closed progress: 461025
Forward closed progress: 461061
Forward closed progress: 463240
Forward closed progress: 461512
Forward closed progress: 463772
Forward closed progress: 462040
Forward closed progress: 459514
Forward closed progress: 456017
Forward closed progress: 455497
Forward closed progress: 454822
Forward closed progress: 455447
Forward closed progress: 455456
Forward closed progress: 455438
Forward closed progress: 455441
Forward closed progress: 455429
Forward closed progress: 455271
Forward closed progress: 455292
Forward closed progress: 455641
Forward closed progress: 450751
Forward closed progress: 450957
Forward closed progress: 450449
Forward closed progress: 449866
Forward closed progress: 449876
Forward closed progress: 449865
Forward closed progress: 449879
Forward closed progress: 448767
Forward closed progress: 446818
Forward closed progress: 446285
Forward closed progress: 446964
Forward closed progress: 447062
Forward closed progress: 445559
Forward closed progress: 444726
Forward closed progress: 390555
Forward closed progress: 390554
Forward closed progress: 390371
Forward closed progress: 392889
Forward closed progress: 392983
Forward closed progress: 392607
Forward closed progress: 379455
Forward closed progress: 385199
Forward closed progress: 384421
Forward closed progress: 384420
Forward closed progress: 384415
Forward closed progress: 382762
Forward closed progress: 382759
Forward closed progress: 382421
Forward closed progress: 382635
Forward closed progress: 382440
Forward closed progress: 382440
Forward closed progress: 382291
Forward closed progress: 381977
Forward closed progress: 382638
Forward closed progress: 382429
Forward closed progress: 382474
Forward closed progress: 382453
Forward closed progress: 382574
Forward closed progress: 382437
Forward closed progress: 379568
Forward closed progress: 379407
Forward closed progress: 376106
Forward closed progress: 375869
Forward closed progress: 374282
Forward closed progress: 374110
Forward closed progress: 373913
Forward closed progress: 373389
Forward closed progress: 361482
Forward closed progress: 361299
Forward closed progress: 361299
Control exists for 26600 color(s), jumping through 519258112 vertices.
Elapsed: 871851 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 871.851
user ??
sys ??
