>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 66849136704
Perturbation colors: 9007199254740992
All colors: 602123494300347500000000000
Unknown update functions: 10
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 102535
Backward progress: 101626
Backward progress: 102156
Backward progress: 102166
Backward progress: 101417
Backward progress: 102080
Backward progress: 102812
Backward progress: 117246
Backward progress: 131295
Backward progress: 131213
Backward progress: 132725
Backward progress: 132522
Backward progress: 133727
Backward progress: 133724
Backward progress: 133724
Backward progress: 124566
Backward progress: 116997
Backward progress: 102563
Backward progress: 100075
Backward progress: 100347
Backward progress: 100050
Backward progress: 100243
Backward progress: 100143
Backward progress: 100143
Backward progress: 111851
Backward progress: 117624
Backward progress: 113458
Backward progress: 101313
Backward progress: 100863
Backward progress: 100757
Backward progress: 100578
Backward progress: 100454
Backward progress: 100615
Backward progress: 104052
Attractor colors: 7961902972589194000000000
Attractor colors computed in 188112 ms.
Backward progress: 103493
Backward progress: 108121
Backward progress: 116290
Backward progress: 111769
Backward progress: 110645
Backward progress: 110436
Backward progress: 110438
Backward progress: 107043
Backward progress: 109459
Backward progress: 112278
Backward progress: 112152
Backward progress: 112125
Backward progress: 113569
Backward progress: 109925
Backward progress: 110525
Backward progress: 111769
Backward progress: 111700
Backward progress: 111723
Backward progress: 137978
Backward progress: 138704
Backward progress: 132715
Backward progress: 132574
Backward progress: 136103
Backward progress: 136631
Backward progress: 171579
Backward progress: 200635
Backward progress: 203900
Backward progress: 205497
Backward progress: 203709
Backward progress: 203127
Backward progress: 217928
Backward progress: 232127
Backward progress: 248349
Backward progress: 256543
Backward progress: 255310
Backward progress: 253460
Backward progress: 287714
Backward progress: 287800
Backward progress: 287661
Backward progress: 287472
Backward progress: 298037
Backward progress: 300243
Backward progress: 280211
Backward progress: 287334
Backward progress: 287502
Backward progress: 280371
Backward progress: 278535
Backward progress: 276061
Backward progress: 275306
Backward progress: 345284
Backward progress: 344840
Backward progress: 323344
Backward progress: 319972
Backward progress: 357246
Backward progress: 357287
Backward progress: 339253
Backward progress: 336559
Backward progress: 330772
Backward progress: 328353
Backward progress: 324031
Backward progress: 321949
Backward progress: 321301
Backward progress: 304224
Backward progress: 319251
Backward progress: 319565
Backward progress: 304674
Backward progress: 295517
Backward progress: 293715
Backward progress: 295199
Backward progress: 294216
Backward progress: 297131
Backward progress: 296441
Backward progress: 296492
Backward progress: 290997
Backward progress: 513992
Backward progress: 551992
Backward progress: 465609
Backward progress: 468657
Backward progress: 448135
Backward progress: 449263
Backward progress: 444126
Backward progress: 442820
Backward progress: 397612
Backward progress: 398163
Backward progress: 396091
Backward progress: 412268
Backward progress: 408552
Backward progress: 423079
Backward progress: 420000
Backward progress: 411908
Backward progress: 404868
Backward progress: 404868
Backward progress: 406927
Backward progress: 360688
Backward progress: 351948
Backward progress: 355203
Backward progress: 348302
Backward progress: 348596
Backward progress: 330066
Backward progress: 336386
Backward progress: 336754
Backward progress: 332084
Backward progress: 331874
Backward progress: 329870
Backward progress: 324695
Backward progress: 322137
Backward progress: 323115
Backward progress: 322542
Backward progress: 322748
Backward progress: 325868
Backward progress: 325746
Backward progress: 316515
Backward progress: 321425
Backward progress: 315543
Backward progress: 312494
Backward progress: 312518
Backward progress: 311973
Backward progress: 312239
Backward progress: 311692
Backward progress: 310960
Backward progress: 310942
Backward progress: 305965
Backward progress: 306713
Backward progress: 304331
Backward progress: 296372
Backward progress: 295236
Backward progress: 299355
Backward progress: 299543
Backward progress: 295401
Backward progress: 294985
Backward progress: 290091
Backward progress: 793893
Backward progress: 622694
Backward progress: 634796
Backward progress: 516671
Backward progress: 461610
Backward progress: 613864
Backward progress: 615341
Backward progress: 545594
Backward progress: 538390
Backward progress: 522094
Backward progress: 497004
Backward progress: 481968
Backward progress: 476011
Backward progress: 443794
Backward progress: 441181
Backward progress: 440139
Backward progress: 438427
Backward progress: 439659
Backward progress: 439891
Backward progress: 441402
Backward progress: 442009
Backward progress: 443150
Backward progress: 442753
Backward progress: 442731
Backward progress: 442751
Backward progress: 442418
Backward progress: 444070
Backward progress: 440682
Backward progress: 441192
Backward progress: 442152
Backward progress: 442242
Backward progress: 441972
Backward progress: 444972
Backward progress: 450095
Backward progress: 450155
Backward progress: 449801
Backward progress: 451485
Backward progress: 452417
Backward progress: 452481
Backward progress: 452493
Backward progress: 452043
Backward progress: 453005
Backward progress: 454324
Backward progress: 453853
Backward progress: 449159
Backward progress: 445724
Backward progress: 444749
Backward progress: 404311
Backward progress: 540109
Backward progress: 458106
Backward progress: 452977
Backward progress: 452595
Backward progress: 446194
Backward progress: 460788
Backward progress: 698521
Backward progress: 732235
Backward progress: 644107
Backward progress: 643509
Backward progress: 642851
Backward progress: 642887
Backward progress: 625907
Backward progress: 636125
Backward progress: 634301
Backward progress: 634429
Backward progress: 632521
Backward progress: 626509
Backward progress: 622365
Backward progress: 626949
Backward progress: 626985
Backward progress: 620387
Backward progress: 633379
Backward progress: 633223
Backward progress: 633195
Backward progress: 633004
Backward progress: 628456
Backward progress: 630859
Backward progress: 630701
Backward progress: 627809
Backward progress: 625789
Backward progress: 622441
Backward progress: 617116
Backward progress: 613697
Backward progress: 614478
Backward progress: 576902
Backward progress: 569636
Backward progress: 506731
Backward progress: 507469
Backward progress: 509783
Backward progress: 509541
Backward progress: 509302
Backward progress: 509320
Backward progress: 503780
Backward progress: 490007
Backward progress: 491660
Backward progress: 484819
Backward progress: 483907
Backward progress: 483971
Backward progress: 483017
Backward progress: 480685
Backward progress: 479625
Backward progress: 482397
Backward progress: 482415
Backward progress: 479792
Backward progress: 482799
Backward progress: 484605
Backward progress: 484817
Backward progress: 484829
Backward progress: 483659
Backward progress: 485159
Backward progress: 486905
Backward progress: 486722
Backward progress: 486296
Backward progress: 484542
Backward progress: 483367
Backward progress: 482385
Backward progress: 491694
Backward progress: 491203
Backward progress: 499865
Backward progress: 495345
Backward progress: 497222
Backward progress: 498082
Backward progress: 498096
Backward progress: 498965
Backward progress: 500401
Backward progress: 500559
Backward progress: 501069
Backward progress: 500763
Backward progress: 501752
Backward progress: 501687
Backward progress: 502377
Backward progress: 502381
Backward progress: 502203
Backward progress: 502224
Backward progress: 502227
Backward progress: 502229
Backward progress: 501984
Backward progress: 504312
Backward progress: 481393
Backward progress: 482916
Backward progress: 482924
Backward progress: 482989
Backward progress: 482976
Backward progress: 483049
Backward progress: 483238
Backward progress: 483240
Backward progress: 483146
Backward progress: 483010
Backward progress: 483022
Backward progress: 492512
Backward progress: 492548
Backward progress: 492553
Backward progress: 492077
Backward progress: 491616
Backward progress: 479011
Backward progress: 487229
Backward progress: 485269
Backward progress: 474333
Backward progress: 530697
Backward progress: 540880
Backward progress: 534941
Backward progress: 533221
Backward progress: 532301
Backward progress: 528522
Backward progress: 297215
Backward progress: 261926
Backward progress: 520772
Backward progress: 638617
Backward progress: 226448
Backward progress: 243446
Backward progress: 244041
Backward progress: 242336
Backward progress: 250882
Backward progress: 255757
Backward progress: 262197
Backward progress: 301640
Backward progress: 306208
Backward progress: 360305
Backward progress: 365223
Backward progress: 363307
Backward progress: 366145
Backward progress: 380729
Backward progress: 369550
Backward progress: 338118
Backward progress: 338120
Backward progress: 338052
Backward progress: 343166
Backward progress: 342288
Backward progress: 224918
Backward progress: 224907
Backward progress: 225275
Backward progress: 231908
Backward progress: 231986
Backward progress: 231051
Backward progress: 224702
Backward progress: 224648
Backward progress: 238470
Backward progress: 229870
Backward progress: 265750
Backward progress: 219638
Backward progress: 233558
Backward progress: 236232
Backward progress: 231070
Backward progress: 224982
Backward progress: 217916
Backward progress: 216565
Backward progress: 216565
Backward progress: 216565
Backward progress: 200605
Backward progress: 346846
Backward progress: 389495
Backward progress: 227025
Backward progress: 271439
Backward progress: 274113
Backward progress: 259027
Backward progress: 243795
Backward progress: 226425
Backward progress: 196623
Backward progress: 190429
Backward progress: 196628
Backward progress: 197564
Backward progress: 195907
Backward progress: 198263
Backward progress: 202108
Backward progress: 203585
Backward progress: 196991
Backward progress: 199000
Backward progress: 200547
Backward progress: 200827
Backward progress: 200847
Backward progress: 200627
Backward progress: 202236
Backward progress: 204465
Backward progress: 203719
Backward progress: 185818
Backward progress: 185556
Backward progress: 189125
Backward progress: 192766
Backward progress: 200077
Backward progress: 203206
Backward progress: 190660
Backward progress: 196565
Backward progress: 200391
Backward progress: 200663
Backward progress: 200671
Backward progress: 199175
Backward progress: 202672
Backward progress: 206530
Backward progress: 206302
Backward progress: 216785
Backward progress: 206302
Backward progress: 215990
Backward progress: 195618
Backward progress: 199880
Backward progress: 200257
Backward progress: 202083
Backward progress: 202076
Backward progress: 205452
Backward progress: 210927
Backward progress: 212266
Backward progress: 211543
Backward progress: 210385
Backward progress: 209343
Backward progress: 207324
Backward progress: 214044
Backward progress: 214070
Backward progress: 214559
Backward progress: 214568
Backward progress: 214991
Backward progress: 216401
Backward progress: 216654
Backward progress: 216419
Backward progress: 215993
Backward progress: 215726
Backward progress: 214622
Backward progress: 213752
Backward progress: 242560
Backward progress: 242726
Backward progress: 242759
Backward progress: 243201
Backward progress: 239599
Backward progress: 270504
Backward progress: 270504
Forward closed progress: 100106
Forward closed progress: 105483
Forward closed progress: 105409
Forward closed progress: 105449
Forward closed progress: 102770
Forward closed progress: 105077
Forward closed progress: 107119
Forward closed progress: 100468
Forward closed progress: 100485
Forward closed progress: 120188
Forward closed progress: 120791
Forward closed progress: 112870
Forward closed progress: 112640
Forward closed progress: 115301
Forward closed progress: 115192
Forward closed progress: 113294
Forward closed progress: 112743
Forward closed progress: 110997
Forward closed progress: 111976
Forward closed progress: 111992
Forward closed progress: 110997
Forward closed progress: 110193
Forward closed progress: 103020
Forward closed progress: 109046
Forward closed progress: 109142
Forward closed progress: 104748
Forward closed progress: 105128
Forward closed progress: 105167
Forward closed progress: 105180
Forward closed progress: 102719
Forward closed progress: 101715
Forward closed progress: 106125
Forward closed progress: 107775
Forward closed progress: 104487
Forward closed progress: 101003
Forward closed progress: 102570
Forward closed progress: 111435
Forward closed progress: 111276
Forward closed progress: 111234
Forward closed progress: 110939
Forward closed progress: 110689
Forward closed progress: 110625
Forward closed progress: 110617
Forward closed progress: 110487
Forward closed progress: 128295
Forward closed progress: 112760
Forward closed progress: 140631
Forward closed progress: 150719
Forward closed progress: 150845
Forward closed progress: 150838
Forward closed progress: 147621
Forward closed progress: 151277
Forward closed progress: 151242
Forward closed progress: 151207
Forward closed progress: 157229
Forward closed progress: 157243
Forward closed progress: 170267
Forward closed progress: 168866
Forward closed progress: 168868
Forward closed progress: 168764
Forward closed progress: 169272
Forward closed progress: 169724
Forward closed progress: 169657
Forward closed progress: 164409
Forward closed progress: 164409
Forward closed progress: 167546
Forward closed progress: 164451
Forward closed progress: 169863
Forward closed progress: 159697
Forward closed progress: 162975
Forward closed progress: 163511
Forward closed progress: 163426
Forward closed progress: 160981
Forward closed progress: 158737
Forward closed progress: 157993
Forward closed progress: 156045
Forward closed progress: 161151
Forward closed progress: 175275
Forward closed progress: 175780
Forward closed progress: 180037
Forward closed progress: 180052
Forward closed progress: 162676
Forward closed progress: 172168
Forward closed progress: 171743
Forward closed progress: 166643
Forward closed progress: 172685
Forward closed progress: 171569
Forward closed progress: 175236
Forward closed progress: 166395
Forward closed progress: 166004
Forward closed progress: 166234
Forward closed progress: 161814
Forward closed progress: 156884
Forward closed progress: 141645
Forward closed progress: 145496
Forward closed progress: 145524
Forward closed progress: 140547
Forward closed progress: 135355
Forward closed progress: 118840
Forward closed progress: 131692
Forward closed progress: 214287
Forward closed progress: 214294
Forward closed progress: 304464
Forward closed progress: 304340
Forward closed progress: 304442
Forward closed progress: 248131
Forward closed progress: 262607
Forward closed progress: 285755
Forward closed progress: 288223
Forward closed progress: 298383
Forward closed progress: 300704
Forward closed progress: 306176
Forward closed progress: 331398
Forward closed progress: 330248
Forward closed progress: 336123
Forward closed progress: 336185
Forward closed progress: 318873
Forward closed progress: 316979
Forward closed progress: 366809
Forward closed progress: 390201
Forward closed progress: 390989
Forward closed progress: 391294
Forward closed progress: 380575
Forward closed progress: 397054
Forward closed progress: 404386
Forward closed progress: 407577
Forward closed progress: 403146
Forward closed progress: 402227
Forward closed progress: 375375
Forward closed progress: 443843
Forward closed progress: 444055
Forward closed progress: 451131
Forward closed progress: 450601
Forward closed progress: 447847
Forward closed progress: 448677
Forward closed progress: 463861
Forward closed progress: 463989
Forward closed progress: 449879
Forward closed progress: 436199
Forward closed progress: 410155
Forward closed progress: 410059
Forward closed progress: 410041
Forward closed progress: 668804
Forward closed progress: 651690
Forward closed progress: 652338
Forward closed progress: 652488
Forward closed progress: 636922
Forward closed progress: 620252
Forward closed progress: 720128
Forward closed progress: 720146
Forward closed progress: 786108
Forward closed progress: 707631
Forward closed progress: 651493
Forward closed progress: 623460
Forward closed progress: 540743
Forward closed progress: 136201
Forward closed progress: 187005
Forward closed progress: 233106
Forward closed progress: 232420
Forward closed progress: 232409
Forward closed progress: 231335
Forward closed progress: 241246
Forward closed progress: 285114
Forward closed progress: 287606
Forward closed progress: 295516
Forward closed progress: 297738
Forward closed progress: 302248
Forward closed progress: 324880
Forward closed progress: 357489
Forward closed progress: 357503
Forward closed progress: 344283
Forward closed progress: 344157
Forward closed progress: 412724
Forward closed progress: 469556
Forward closed progress: 481315
Forward closed progress: 480929
Forward closed progress: 478405
Forward closed progress: 478449
Forward closed progress: 470025
Forward closed progress: 474005
Forward closed progress: 474107
Forward closed progress: 469863
Forward closed progress: 510352
Forward closed progress: 535640
Forward closed progress: 537341
Forward closed progress: 558623
Forward closed progress: 560814
Forward closed progress: 556386
Forward closed progress: 556386
Forward closed progress: 532977
Forward closed progress: 542016
Forward closed progress: 543381
Forward closed progress: 539711
Forward closed progress: 539711
Forward closed progress: 534883
Forward closed progress: 535183
Forward closed progress: 539349
Forward closed progress: 545585
Forward closed progress: 547229
Forward closed progress: 546512
Forward closed progress: 534724
Forward closed progress: 530971
Forward closed progress: 530971
Forward closed progress: 522008
Forward closed progress: 516082
Forward closed progress: 490455
Forward closed progress: 484811
Forward closed progress: 484827
Forward closed progress: 552615
Forward closed progress: 549876
Forward closed progress: 557340
Forward closed progress: 556898
Forward closed progress: 555265
Forward closed progress: 554809
Forward closed progress: 569277
Forward closed progress: 569361
Forward closed progress: 556077
Forward closed progress: 543513
Forward closed progress: 515660
Forward closed progress: 542556
Forward closed progress: 515970
Forward closed progress: 515986
Forward closed progress: 516031
Forward closed progress: 516238
Forward closed progress: 516238
Forward closed progress: 516238
Forward closed progress: 515860
Forward closed progress: 509602
Forward closed progress: 509394
Forward closed progress: 507420
Forward closed progress: 748780
Forward closed progress: 733429
Forward closed progress: 733995
Forward closed progress: 734118
Forward closed progress: 721871
Forward closed progress: 706700
Forward closed progress: 810025
Forward closed progress: 810042
Forward closed progress: 747209
Forward closed progress: 703895
Forward closed progress: 684707
Forward closed progress: 629909
Forward closed progress: 582601
Forward closed progress: 608318
Forward closed progress: 610106
Forward closed progress: 610424
Forward closed progress: 610425
Forward closed progress: 607962
Forward closed progress: 602337
Forward closed progress: 645711
Forward closed progress: 645642
Forward closed progress: 648920
Forward closed progress: 640268
Forward closed progress: 740730
Forward closed progress: 743134
Forward closed progress: 758494
Forward closed progress: 758648
Forward closed progress: 777451
Forward closed progress: 810356
Forward closed progress: 810183
Forward closed progress: 810213
Forward closed progress: 810297
Forward closed progress: 905495
Forward closed progress: 905697
Forward closed progress: 907953
Forward closed progress: 907862
Forward closed progress: 928373
Forward closed progress: 933193
Forward closed progress: 933232
Forward closed progress: 921242
Forward closed progress: 908801
Forward closed progress: 909441
Forward closed progress: 933196
Forward closed progress: 919060
Forward closed progress: 926519
Forward closed progress: 926615
Forward closed progress: 926338
Forward closed progress: 920338
Forward closed progress: 919216
Forward closed progress: 960144
Forward closed progress: 915152
Forward closed progress: 914784
Forward closed progress: 1070812
Forward closed progress: 1068997
Forward closed progress: 1045294
Forward closed progress: 1057073
Forward closed progress: 1057169
Forward closed progress: 1056892
Forward closed progress: 1052162
Forward closed progress: 1047148
Forward closed progress: 1049555
Forward closed progress: 1049611
Forward closed progress: 985225
Forward closed progress: 992324
Forward closed progress: 1025475
Forward closed progress: 1158572
Forward closed progress: 1151812
Forward closed progress: 1148244
Forward closed progress: 1115814
Forward closed progress: 544123
Forward closed progress: 1036643
Forward closed progress: 1049367
Forward closed progress: 1469403
Forward closed progress: 1404185
Forward closed progress: 1404326
Forward closed progress: 1049637
Forward closed progress: 1009755
Forward closed progress: 1050117
Forward closed progress: 1062287
Forward closed progress: 1106067
Forward closed progress: 1110744
Forward closed progress: 1114655
Forward closed progress: 1173572
Forward closed progress: 1219642
Forward closed progress: 1219746
Forward closed progress: 1178850
Forward closed progress: 1176007
Forward closed progress: 1263975
Forward closed progress: 1333536
Forward closed progress: 1338252
Forward closed progress: 1337945
Forward closed progress: 1335087
Forward closed progress: 1309358
Forward closed progress: 1309846
Forward closed progress: 1288191
Forward closed progress: 1340805
Forward closed progress: 1377399
Forward closed progress: 1368888
Forward closed progress: 1375016
Forward closed progress: 1376333
Forward closed progress: 1370732
Forward closed progress: 1375774
Forward closed progress: 1376370
Forward closed progress: 1371908
Forward closed progress: 1371146
Forward closed progress: 1372342
Forward closed progress: 1372204
Forward closed progress: 1367360
Forward closed progress: 1361609
Forward closed progress: 1359996
Forward closed progress: 1303188
Forward closed progress: 1384048
Forward closed progress: 1373202
Forward closed progress: 1386940
Forward closed progress: 1385737
Forward closed progress: 1379723
Forward closed progress: 1378613
Forward closed progress: 1404419
Forward closed progress: 1404633
Forward closed progress: 1380413
Forward closed progress: 1356733
Forward closed progress: 1271997
Forward closed progress: 1271827
Forward closed progress: 1922526
Forward closed progress: 1867742
Forward closed progress: 1869446
Forward closed progress: 1869816
Forward closed progress: 1839354
Forward closed progress: 1812332
Forward closed progress: 1955043
Forward closed progress: 1954986
Forward closed progress: 1743039
Forward closed progress: 1351717
Forward closed progress: 1292282
Forward closed progress: 1124396
Forward closed progress: 373379
Forward closed progress: 377199
Forward closed progress: 376447
Forward closed progress: 374613
Forward closed progress: 350708
Forward closed progress: 357594
Forward closed progress: 356397
Forward closed progress: 358391
Forward closed progress: 353748
Forward closed progress: 358842
Forward closed progress: 357858
Forward closed progress: 357809
Forward closed progress: 366815
Forward closed progress: 364854
Forward closed progress: 366220
Forward closed progress: 366387
Forward closed progress: 366202
Forward closed progress: 363469
Forward closed progress: 275629
Forward closed progress: 276095
Forward closed progress: 281467
Forward closed progress: 280501
Forward closed progress: 280061
Forward closed progress: 277147
Forward closed progress: 281065
Forward closed progress: 282548
Forward closed progress: 280429
Forward closed progress: 282869
Forward closed progress: 344112
Forward closed progress: 344600
Forward closed progress: 372445
Forward closed progress: 438303
Forward closed progress: 589747
Forward closed progress: 618939
Forward closed progress: 618801
Forward closed progress: 618474
Forward closed progress: 618514
Forward closed progress: 615915
Forward closed progress: 637434
Forward closed progress: 350991
Forward closed progress: 343229
Forward closed progress: 346321
Forward closed progress: 343947
Forward closed progress: 344625
Forward closed progress: 342741
Forward closed progress: 341125
Forward closed progress: 341697
Forward closed progress: 363450
Forward closed progress: 362798
Forward closed progress: 357224
Forward closed progress: 357176
Forward closed progress: 361187
Forward closed progress: 361085
Forward closed progress: 361105
Forward closed progress: 340653
Forward closed progress: 337906
Forward closed progress: 339846
Forward closed progress: 338790
Forward closed progress: 339106
Forward closed progress: 339126
Forward closed progress: 347508
Forward closed progress: 346954
Forward closed progress: 356834
Forward closed progress: 385602
Forward closed progress: 385553
Forward closed progress: 381716
Forward closed progress: 380560
Forward closed progress: 379926
Forward closed progress: 380316
Forward closed progress: 397982
Forward closed progress: 395702
Forward closed progress: 394018
Forward closed progress: 392258
Forward closed progress: 392673
Forward closed progress: 392379
Forward closed progress: 386355
Forward closed progress: 381801
Forward closed progress: 385988
Forward closed progress: 386016
Forward closed progress: 381801
Forward closed progress: 377857
Forward closed progress: 368121
Forward closed progress: 380603
Forward closed progress: 379079
Forward closed progress: 377507
Forward closed progress: 369099
Forward closed progress: 373288
Forward closed progress: 374770
Forward closed progress: 375011
Forward closed progress: 376968
Forward closed progress: 376047
Forward closed progress: 375999
Forward closed progress: 375963
Forward closed progress: 375625
Forward closed progress: 371899
Forward closed progress: 371875
Forward closed progress: 371809
Forward closed progress: 371689
Forward closed progress: 371633
Forward closed progress: 371667
Forward closed progress: 370653
Forward closed progress: 371570
Forward closed progress: 371588
Forward closed progress: 650758
Forward closed progress: 626853
Forward closed progress: 619135
Forward closed progress: 583389
Forward closed progress: 582977
Forward closed progress: 544276
Forward closed progress: 539080
Forward closed progress: 499810
Forward closed progress: 499786
Forward closed progress: 492659
Forward closed progress: 514099
Forward closed progress: 513313
Forward closed progress: 513567
Forward closed progress: 513547
Forward closed progress: 476056
Forward closed progress: 483064
Forward closed progress: 485260
Forward closed progress: 479920
Forward closed progress: 482000
Forward closed progress: 480377
Forward closed progress: 481125
Forward closed progress: 483130
Forward closed progress: 482998
Forward closed progress: 481457
Forward closed progress: 482231
Forward closed progress: 482287
Forward closed progress: 482434
Forward closed progress: 481989
Forward closed progress: 482486
Forward closed progress: 482486
Forward closed progress: 483106
Forward closed progress: 484782
Forward closed progress: 481927
Forward closed progress: 481590
Forward closed progress: 481550
Forward closed progress: 479566
Forward closed progress: 479557
Forward closed progress: 479569
Forward closed progress: 478413
Forward closed progress: 478431
Forward closed progress: 477319
Forward closed progress: 477313
Forward closed progress: 477034
Forward closed progress: 374871
Forward closed progress: 333045
Forward closed progress: 312189
Forward closed progress: 281325
Forward closed progress: 249811
Forward closed progress: 248059
Forward closed progress: 248905
Forward closed progress: 262040
Forward closed progress: 269046
Forward closed progress: 275354
Forward closed progress: 275130
Forward closed progress: 275874
Forward closed progress: 279917
Forward closed progress: 279917
Forward closed progress: 279963
Forward closed progress: 281629
Forward closed progress: 285219
Forward closed progress: 292030
Forward closed progress: 294207
Forward closed progress: 294079
Forward closed progress: 292889
Forward closed progress: 291201
Forward closed progress: 291787
Forward closed progress: 291635
Forward closed progress: 287392
Forward closed progress: 287285
Forward closed progress: 288125
Forward closed progress: 284368
Forward closed progress: 284356
Forward closed progress: 284356
Forward closed progress: 284356
Forward closed progress: 283749
Forward closed progress: 267572
Forward closed progress: 269416
Forward closed progress: 269248
Forward closed progress: 267420
Forward closed progress: 262856
Forward closed progress: 261735
Forward closed progress: 262619
Forward closed progress: 263763
Forward closed progress: 264584
Forward closed progress: 263834
Forward closed progress: 264467
Forward closed progress: 264454
Forward closed progress: 264421
Forward closed progress: 262343
Forward closed progress: 262611
Forward closed progress: 262609
Forward closed progress: 262651
Forward closed progress: 262646
Forward closed progress: 262730
Forward closed progress: 262085
Forward closed progress: 262085
Forward closed progress: 262069
Forward closed progress: 257916
Forward closed progress: 258778
Forward closed progress: 259848
Forward closed progress: 259545
Forward closed progress: 257613
Forward closed progress: 250951
Forward closed progress: 278255
Forward closed progress: 278083
Forward closed progress: 296333
Forward closed progress: 284558
Forward closed progress: 281454
Forward closed progress: 284276
Forward closed progress: 284276
Forward closed progress: 284316
Forward closed progress: 287174
Forward closed progress: 289938
Forward closed progress: 295356
Forward closed progress: 284488
Forward closed progress: 283459
Forward closed progress: 283047
Forward closed progress: 276211
Forward closed progress: 278402
Forward closed progress: 277783
Forward closed progress: 273617
Forward closed progress: 260973
Forward closed progress: 256327
Forward closed progress: 251014
Forward closed progress: 250007
Forward closed progress: 241487
Forward closed progress: 242861
Forward closed progress: 243058
Forward closed progress: 240965
Forward closed progress: 238529
Forward closed progress: 243558
Forward closed progress: 203291
Forward closed progress: 206907
Forward closed progress: 218602
Forward closed progress: 219551
Forward closed progress: 219443
Forward closed progress: 197095
Forward closed progress: 197095
Control exists for 883948800 color(s), jumping through 6 vertices.
Elapsed: 4003425 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 4003.425
user ??
sys ??
