>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 40320
Perturbation colors: 4294967296
All colors: 173173081374720
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 4
Attractor colors: 27255862460416
Attractor colors computed in 3184 ms.
Backward progress: 101688
Backward progress: 105535
Backward progress: 104377
Backward progress: 102909
Backward progress: 102711
Backward progress: 102543
Backward progress: 102559
Backward progress: 102555
Backward progress: 102548
Backward progress: 102664
Backward progress: 102443
Backward progress: 103367
Backward progress: 102660
Backward progress: 102687
Backward progress: 102633
Backward progress: 102626
Backward progress: 102006
Backward progress: 100950
Backward progress: 101345
Backward progress: 103392
Backward progress: 103388
Backward progress: 101873
Backward progress: 101876
Backward progress: 101898
Backward progress: 102073
Backward progress: 101902
Backward progress: 101860
Backward progress: 101959
Backward progress: 106025
Backward progress: 106017
Backward progress: 106076
Backward progress: 106078
Backward progress: 106083
Backward progress: 106082
Backward progress: 106070
Backward progress: 106132
Backward progress: 105463
Backward progress: 105491
Backward progress: 105473
Backward progress: 105459
Backward progress: 104942
Backward progress: 108799
Backward progress: 108809
Backward progress: 109356
Backward progress: 109435
Backward progress: 109435
Backward progress: 109434
Backward progress: 109562
Backward progress: 109440
Backward progress: 109939
Backward progress: 109935
Backward progress: 110120
Backward progress: 110129
Backward progress: 109732
Backward progress: 109711
Backward progress: 111959
Backward progress: 112135
Backward progress: 111300
Backward progress: 110868
Backward progress: 110962
Backward progress: 110970
Backward progress: 110953
Backward progress: 110946
Backward progress: 110728
Backward progress: 110966
Backward progress: 110590
Backward progress: 110644
Backward progress: 110556
Backward progress: 110538
Backward progress: 110468
Backward progress: 112244
Backward progress: 112240
Backward progress: 110656
Backward progress: 110650
Backward progress: 110628
Backward progress: 110799
Backward progress: 110509
Backward progress: 110595
Backward progress: 110607
Backward progress: 110851
Backward progress: 110635
Backward progress: 110626
Backward progress: 110607
Backward progress: 110735
Backward progress: 110595
Backward progress: 110851
Backward progress: 110847
Backward progress: 110428
Backward progress: 110365
Backward progress: 115523
Backward progress: 115607
Backward progress: 115515
Backward progress: 114562
Backward progress: 115430
Backward progress: 115473
Backward progress: 115446
Backward progress: 115811
Backward progress: 115401
Backward progress: 115237
Backward progress: 114278
Backward progress: 114090
Backward progress: 114045
Backward progress: 114045
Backward progress: 114045
Backward progress: 113749
Backward progress: 113663
Backward progress: 113903
Backward progress: 113907
Backward progress: 113905
Backward progress: 113961
Backward progress: 114540
Backward progress: 114484
Backward progress: 114608
Backward progress: 114606
Backward progress: 114588
Backward progress: 114535
Backward progress: 113680
Backward progress: 113306
Backward progress: 113291
Backward progress: 113150
Backward progress: 113025
Backward progress: 112397
Backward progress: 111823
Backward progress: 112137
Backward progress: 112073
Backward progress: 112073
Forward closed progress: 100632
Forward closed progress: 103819
Forward closed progress: 126433
Forward closed progress: 103476
Forward closed progress: 105498
Forward closed progress: 111694
Forward closed progress: 107627
Forward closed progress: 110909
Forward closed progress: 110912
Forward closed progress: 110476
Forward closed progress: 109693
Forward closed progress: 111710
Forward closed progress: 111795
Forward closed progress: 111746
Forward closed progress: 104344
Forward closed progress: 104350
Forward closed progress: 103774
Forward closed progress: 102842
Forward closed progress: 167227
Forward closed progress: 140864
Forward closed progress: 138781
Forward closed progress: 175974
Forward closed progress: 152856
Forward closed progress: 149918
Forward closed progress: 164668
Forward closed progress: 164678
Forward closed progress: 164464
Forward closed progress: 163028
Forward closed progress: 163029
Forward closed progress: 162578
Forward closed progress: 162662
Forward closed progress: 157967
Forward closed progress: 157971
Forward closed progress: 157826
Forward closed progress: 157608
Forward closed progress: 157975
Forward closed progress: 156504
Forward closed progress: 276163
Forward closed progress: 275985
Forward closed progress: 224717
Forward closed progress: 224157
Forward closed progress: 218648
Forward closed progress: 233671
Forward closed progress: 218615
Forward closed progress: 217086
Forward closed progress: 216160
Forward closed progress: 215056
Forward closed progress: 214347
Forward closed progress: 214351
Forward closed progress: 214255
Forward closed progress: 214085
Forward closed progress: 354431
Forward closed progress: 343065
Forward closed progress: 346125
Forward closed progress: 349029
Forward closed progress: 349012
Forward closed progress: 348975
Forward closed progress: 312240
Forward closed progress: 311316
Forward closed progress: 303506
Forward closed progress: 310651
Forward closed progress: 319569
Forward closed progress: 320176
Forward closed progress: 317016
Forward closed progress: 316469
Forward closed progress: 312485
Forward closed progress: 312723
Forward closed progress: 312731
Forward closed progress: 312229
Forward closed progress: 308820
Forward closed progress: 309154
Forward closed progress: 307258
Forward closed progress: 292917
Forward closed progress: 292918
Forward closed progress: 292837
Forward closed progress: 292763
Forward closed progress: 291748
Forward closed progress: 291145
Forward closed progress: 288153
Forward closed progress: 288664
Forward closed progress: 287444
Forward closed progress: 287147
Forward closed progress: 287415
Forward closed progress: 287389
Forward closed progress: 286937
Forward closed progress: 286091
Forward closed progress: 286079
Forward closed progress: 286081
Forward closed progress: 285869
Forward closed progress: 285798
Forward closed progress: 287146
Forward closed progress: 285199
Forward closed progress: 285188
Forward closed progress: 285147
Forward closed progress: 285064
Forward closed progress: 285024
Forward closed progress: 284947
Forward closed progress: 284403
Forward closed progress: 284446
Forward closed progress: 284398
Forward closed progress: 284539
Forward closed progress: 284613
Forward closed progress: 282005
Forward closed progress: 282009
Forward closed progress: 282014
Forward closed progress: 282015
Forward closed progress: 282009
Forward closed progress: 282020
Forward closed progress: 282031
Forward closed progress: 282240
Forward closed progress: 282579
Forward closed progress: 282581
Forward closed progress: 282579
Forward closed progress: 282733
Forward closed progress: 282733
Forward closed progress: 282672
Forward closed progress: 282579
Forward closed progress: 282514
Forward closed progress: 280605
Forward closed progress: 257450
Forward closed progress: 256982
Forward closed progress: 317305
Forward closed progress: 319863
Forward closed progress: 319606
Forward closed progress: 361345
Forward closed progress: 355806
Forward closed progress: 364221
Forward closed progress: 364228
Forward closed progress: 364197
Forward closed progress: 364031
Forward closed progress: 363514
Forward closed progress: 363639
Forward closed progress: 360086
Forward closed progress: 340767
Forward closed progress: 355062
Forward closed progress: 340455
Forward closed progress: 340430
Forward closed progress: 340312
Forward closed progress: 332672
Forward closed progress: 337791
Forward closed progress: 339369
Forward closed progress: 339377
Forward closed progress: 339487
Forward closed progress: 353285
Forward closed progress: 350531
Forward closed progress: 345753
Forward closed progress: 345755
Forward closed progress: 345765
Forward closed progress: 345537
Forward closed progress: 345532
Forward closed progress: 345533
Forward closed progress: 345227
Forward closed progress: 345221
Forward closed progress: 345236
Forward closed progress: 346176
Forward closed progress: 337505
Forward closed progress: 339083
Forward closed progress: 385659
Forward closed progress: 390130
Forward closed progress: 390774
Forward closed progress: 390867
Forward closed progress: 390855
Forward closed progress: 390824
Forward closed progress: 357892
Forward closed progress: 357410
Forward closed progress: 353946
Forward closed progress: 354480
Forward closed progress: 353455
Forward closed progress: 353340
Forward closed progress: 352625
Forward closed progress: 350952
Forward closed progress: 348548
Forward closed progress: 348455
Forward closed progress: 348350
Forward closed progress: 347116
Forward closed progress: 346667
Forward closed progress: 346001
Forward closed progress: 342677
Forward closed progress: 342430
Forward closed progress: 342365
Forward closed progress: 341674
Forward closed progress: 341464
Forward closed progress: 341171
Forward closed progress: 340933
Forward closed progress: 340615
Forward closed progress: 341932
Forward closed progress: 339656
Forward closed progress: 339562
Forward closed progress: 339048
Forward closed progress: 338229
Forward closed progress: 338022
Forward closed progress: 337481
Forward closed progress: 334878
Forward closed progress: 622399
Forward closed progress: 634123
Forward closed progress: 645336
Forward closed progress: 591065
Forward closed progress: 591045
Forward closed progress: 545651
Forward closed progress: 545644
Forward closed progress: 544289
Forward closed progress: 550236
Forward closed progress: 550238
Forward closed progress: 550154
Forward closed progress: 566764
Forward closed progress: 549080
Forward closed progress: 548641
Forward closed progress: 549676
Forward closed progress: 548308
Forward closed progress: 548332
Forward closed progress: 547248
Forward closed progress: 548354
Forward closed progress: 548214
Forward closed progress: 546037
Forward closed progress: 544579
Forward closed progress: 544577
Forward closed progress: 544117
Forward closed progress: 543948
Forward closed progress: 536582
Forward closed progress: 536665
Forward closed progress: 541991
Forward closed progress: 547104
Forward closed progress: 547502
Forward closed progress: 547465
Forward closed progress: 509081
Forward closed progress: 509080
Forward closed progress: 508887
Forward closed progress: 509015
Forward closed progress: 508946
Forward closed progress: 508593
Forward closed progress: 508508
Forward closed progress: 508503
Forward closed progress: 499935
Forward closed progress: 485259
Forward closed progress: 485354
Forward closed progress: 485260
Forward closed progress: 485359
Forward closed progress: 485357
Forward closed progress: 485263
Forward closed progress: 485251
Forward closed progress: 466024
Forward closed progress: 396817
Forward closed progress: 400941
Forward closed progress: 398213
Forward closed progress: 396957
Forward closed progress: 396054
Forward closed progress: 440234
Forward closed progress: 433507
Forward closed progress: 433975
Forward closed progress: 433781
Forward closed progress: 433751
Forward closed progress: 426290
Forward closed progress: 426975
Forward closed progress: 426157
Forward closed progress: 425514
Forward closed progress: 425666
Forward closed progress: 424692
Forward closed progress: 424698
Forward closed progress: 424508
Forward closed progress: 420039
Forward closed progress: 419781
Forward closed progress: 419724
Forward closed progress: 418909
Forward closed progress: 418748
Forward closed progress: 418015
Forward closed progress: 417675
Forward closed progress: 413847
Forward closed progress: 423691
Forward closed progress: 419086
Forward closed progress: 413980
Forward closed progress: 411774
Forward closed progress: 411454
Forward closed progress: 411207
Forward closed progress: 373824
Forward closed progress: 358074
Forward closed progress: 376415
Forward closed progress: 377937
Forward closed progress: 378161
Forward closed progress: 378161
Forward closed progress: 378147
Forward closed progress: 378125
Forward closed progress: 362816
Forward closed progress: 362636
Forward closed progress: 361010
Forward closed progress: 360475
Forward closed progress: 360361
Forward closed progress: 359986
Forward closed progress: 359371
Forward closed progress: 358700
Forward closed progress: 358488
Forward closed progress: 357758
Forward closed progress: 357461
Forward closed progress: 354627
Forward closed progress: 369269
Forward closed progress: 370118
Forward closed progress: 370466
Forward closed progress: 370452
Forward closed progress: 354388
Forward closed progress: 354386
Forward closed progress: 353996
Forward closed progress: 354040
Forward closed progress: 354554
Forward closed progress: 354373
Forward closed progress: 354521
Forward closed progress: 353570
Forward closed progress: 353567
Forward closed progress: 353525
Forward closed progress: 353398
Forward closed progress: 353157
Forward closed progress: 353163
Forward closed progress: 352671
Forward closed progress: 352923
Forward closed progress: 352885
Forward closed progress: 352463
Forward closed progress: 352247
Forward closed progress: 348906
Forward closed progress: 348360
Forward closed progress: 348338
Forward closed progress: 348026
Forward closed progress: 369126
Forward closed progress: 371831
Forward closed progress: 376237
Forward closed progress: 375932
Forward closed progress: 375758
Forward closed progress: 376781
Forward closed progress: 377064
Forward closed progress: 376835
Forward closed progress: 375967
Forward closed progress: 376507
Forward closed progress: 376774
Forward closed progress: 376714
Forward closed progress: 378423
Forward closed progress: 378421
Forward closed progress: 378255
Forward closed progress: 377606
Forward closed progress: 377595
Forward closed progress: 375330
Forward closed progress: 415631
Forward closed progress: 405126
Forward closed progress: 405125
Forward closed progress: 399779
Forward closed progress: 399764
Forward closed progress: 399764
Forward closed progress: 399762
Forward closed progress: 399680
Forward closed progress: 398904
Forward closed progress: 395233
Forward closed progress: 443444
Forward closed progress: 444899
Forward closed progress: 437454
Forward closed progress: 429948
Forward closed progress: 428879
Forward closed progress: 428649
Forward closed progress: 428535
Forward closed progress: 428857
Forward closed progress: 429252
Forward closed progress: 428986
Forward closed progress: 428818
Forward closed progress: 428818
Forward closed progress: 430412
Forward closed progress: 428615
Forward closed progress: 432781
Forward closed progress: 432807
Forward closed progress: 443167
Forward closed progress: 432572
Forward closed progress: 432572
Forward closed progress: 427462
Forward closed progress: 421285
Forward closed progress: 421079
Forward closed progress: 421061
Forward closed progress: 421272
Forward closed progress: 421270
Forward closed progress: 421270
Forward closed progress: 420963
Forward closed progress: 421062
Forward closed progress: 420978
Forward closed progress: 420899
Forward closed progress: 419700
Forward closed progress: 419302
Forward closed progress: 418077
Forward closed progress: 418073
Forward closed progress: 418026
Forward closed progress: 423418
Forward closed progress: 421142
Forward closed progress: 418517
Forward closed progress: 418508
Forward closed progress: 418228
Forward closed progress: 418214
Forward closed progress: 418210
Forward closed progress: 418204
Forward closed progress: 418151
Forward closed progress: 418023
Forward closed progress: 412986
Forward closed progress: 408512
Forward closed progress: 400448
Forward closed progress: 443801
Forward closed progress: 445231
Forward closed progress: 447616
Forward closed progress: 435401
Forward closed progress: 435394
Forward closed progress: 425771
Forward closed progress: 426396
Forward closed progress: 428331
Forward closed progress: 427779
Forward closed progress: 427986
Forward closed progress: 426452
Forward closed progress: 426402
Forward closed progress: 426303
Forward closed progress: 426264
Forward closed progress: 426498
Forward closed progress: 427189
Forward closed progress: 426771
Forward closed progress: 426968
Forward closed progress: 426527
Forward closed progress: 427013
Forward closed progress: 427013
Forward closed progress: 427016
Forward closed progress: 427013
Forward closed progress: 434222
Forward closed progress: 431075
Forward closed progress: 428191
Forward closed progress: 429351
Forward closed progress: 429678
Forward closed progress: 429730
Forward closed progress: 430235
Forward closed progress: 430206
Forward closed progress: 430204
Forward closed progress: 430183
Forward closed progress: 430150
Forward closed progress: 429305
Forward closed progress: 429365
Forward closed progress: 429363
Forward closed progress: 429365
Forward closed progress: 429363
Forward closed progress: 437368
Forward closed progress: 440634
Forward closed progress: 439539
Forward closed progress: 438681
Forward closed progress: 438614
Forward closed progress: 438578
Forward closed progress: 438578
Forward closed progress: 437991
Forward closed progress: 438783
Forward closed progress: 438748
Forward closed progress: 438766
Forward closed progress: 438743
Forward closed progress: 438692
Forward closed progress: 438032
Forward closed progress: 438082
Forward closed progress: 438116
Forward closed progress: 438081
Forward closed progress: 438768
Forward closed progress: 438707
Forward closed progress: 439164
Forward closed progress: 439184
Forward closed progress: 439144
Forward closed progress: 445018
Forward closed progress: 442108
Forward closed progress: 436113
Forward closed progress: 436589
Forward closed progress: 436375
Forward closed progress: 436383
Forward closed progress: 436381
Forward closed progress: 436413
Forward closed progress: 436154
Forward closed progress: 436154
Forward closed progress: 436840
Forward closed progress: 436349
Forward closed progress: 436609
Forward closed progress: 436612
Forward closed progress: 436631
Forward closed progress: 433740
Forward closed progress: 424258
Forward closed progress: 428745
Forward closed progress: 424415
Forward closed progress: 424655
Forward closed progress: 424493
Forward closed progress: 424469
Forward closed progress: 424474
Forward closed progress: 424272
Forward closed progress: 424591
Forward closed progress: 424301
Forward closed progress: 424300
Forward closed progress: 424266
Forward closed progress: 457342
Forward closed progress: 447523
Forward closed progress: 445877
Forward closed progress: 445465
Forward closed progress: 445267
Forward closed progress: 444870
Forward closed progress: 444728
Forward closed progress: 445278
Forward closed progress: 444714
Forward closed progress: 444872
Forward closed progress: 444760
Forward closed progress: 444717
Forward closed progress: 442845
Forward closed progress: 445148
Forward closed progress: 443920
Forward closed progress: 443264
Forward closed progress: 443267
Forward closed progress: 443275
Forward closed progress: 442865
Forward closed progress: 442917
Forward closed progress: 442918
Forward closed progress: 442907
Forward closed progress: 442891
Forward closed progress: 442891
Forward closed progress: 443118
Forward closed progress: 442887
Forward closed progress: 441902
Forward closed progress: 441849
Forward closed progress: 436593
Forward closed progress: 439989
Forward closed progress: 438237
Forward closed progress: 436060
Forward closed progress: 435088
Forward closed progress: 440711
Forward closed progress: 437950
Forward closed progress: 437908
Forward closed progress: 437152
Forward closed progress: 437166
Forward closed progress: 436057
Forward closed progress: 436026
Forward closed progress: 436011
Forward closed progress: 435775
Forward closed progress: 435524
Forward closed progress: 435527
Forward closed progress: 435491
Forward closed progress: 435706
Forward closed progress: 435527
Forward closed progress: 435487
Forward closed progress: 435442
Forward closed progress: 435442
Forward closed progress: 435447
Forward closed progress: 435459
Forward closed progress: 435472
Forward closed progress: 435607
Forward closed progress: 435543
Forward closed progress: 433053
Forward closed progress: 433753
Forward closed progress: 432653
Forward closed progress: 432474
Forward closed progress: 432403
Forward closed progress: 432299
Forward closed progress: 432299
Forward closed progress: 432150
Forward closed progress: 432121
Forward closed progress: 432033
Forward closed progress: 432004
Forward closed progress: 431936
Forward closed progress: 416680
Forward closed progress: 414891
Forward closed progress: 413766
Forward closed progress: 413822
Forward closed progress: 413728
Forward closed progress: 411953
Forward closed progress: 413359
Forward closed progress: 412745
Forward closed progress: 411664
Forward closed progress: 411731
Forward closed progress: 411972
Forward closed progress: 411928
Forward closed progress: 411885
Forward closed progress: 411822
Forward closed progress: 411822
Forward closed progress: 411773
Forward closed progress: 396881
Forward closed progress: 396984
Forward closed progress: 397240
Forward closed progress: 397230
Forward closed progress: 397306
Forward closed progress: 397384
Forward closed progress: 397621
Forward closed progress: 402809
Forward closed progress: 400689
Forward closed progress: 401795
Forward closed progress: 401721
Forward closed progress: 404023
Forward closed progress: 403706
Forward closed progress: 404581
Forward closed progress: 404357
Forward closed progress: 404312
Forward closed progress: 404296
Forward closed progress: 404369
Forward closed progress: 404181
Forward closed progress: 404244
Forward closed progress: 403972
Forward closed progress: 404240
Forward closed progress: 404240
Forward closed progress: 404255
Forward closed progress: 404293
Forward closed progress: 410873
Forward closed progress: 410816
Forward closed progress: 411147
Forward closed progress: 405960
Forward closed progress: 406366
Forward closed progress: 406839
Forward closed progress: 407225
Forward closed progress: 406336
Forward closed progress: 406338
Forward closed progress: 406326
Forward closed progress: 406373
Forward closed progress: 406540
Forward closed progress: 406687
Forward closed progress: 406427
Forward closed progress: 406533
Forward closed progress: 406545
Forward closed progress: 406549
Forward closed progress: 406551
Forward closed progress: 409242
Forward closed progress: 405922
Forward closed progress: 406417
Forward closed progress: 406424
Forward closed progress: 406480
Forward closed progress: 406684
Forward closed progress: 406643
Forward closed progress: 406625
Forward closed progress: 405670
Forward closed progress: 410198
Forward closed progress: 411147
Forward closed progress: 411064
Forward closed progress: 411038
Forward closed progress: 411029
Forward closed progress: 410853
Forward closed progress: 410931
Forward closed progress: 410895
Forward closed progress: 410736
Forward closed progress: 410717
Forward closed progress: 410716
Forward closed progress: 410665
Forward closed progress: 410683
Forward closed progress: 410707
Forward closed progress: 410683
Forward closed progress: 410657
Forward closed progress: 410450
Forward closed progress: 410462
Forward closed progress: 410456
Forward closed progress: 413518
Forward closed progress: 412626
Forward closed progress: 412558
Forward closed progress: 412547
Forward closed progress: 412401
Forward closed progress: 412565
Forward closed progress: 412382
Forward closed progress: 412473
Forward closed progress: 412493
Forward closed progress: 412464
Forward closed progress: 412345
Forward closed progress: 412443
Forward closed progress: 412282
Forward closed progress: 412436
Forward closed progress: 412433
Forward closed progress: 412147
Forward closed progress: 411119
Forward closed progress: 411103
Forward closed progress: 411046
Forward closed progress: 410488
Forward closed progress: 410438
Forward closed progress: 406958
Forward closed progress: 406102
Forward closed progress: 406126
Forward closed progress: 406095
Forward closed progress: 405271
Forward closed progress: 405395
Forward closed progress: 405225
Forward closed progress: 405235
Forward closed progress: 405197
Forward closed progress: 759565
Forward closed progress: 759565
Forward closed progress: 744391
Forward closed progress: 732117
Forward closed progress: 706932
Forward closed progress: 706875
Forward closed progress: 821883
Forward closed progress: 796578
Forward closed progress: 781251
Forward closed progress: 781010
Forward closed progress: 793625
Forward closed progress: 796893
Forward closed progress: 796918
Forward closed progress: 791822
Forward closed progress: 791881
Forward closed progress: 789069
Forward closed progress: 789067
Forward closed progress: 788536
Forward closed progress: 788408
Forward closed progress: 778938
Forward closed progress: 771212
Forward closed progress: 773992
Forward closed progress: 772266
Forward closed progress: 770397
Forward closed progress: 770144
Forward closed progress: 782354
Forward closed progress: 780902
Forward closed progress: 782007
Forward closed progress: 781170
Forward closed progress: 781183
Forward closed progress: 780929
Forward closed progress: 780806
Forward closed progress: 780643
Forward closed progress: 780629
Forward closed progress: 780402
Forward closed progress: 766225
Forward closed progress: 767326
Forward closed progress: 767574
Forward closed progress: 767047
Forward closed progress: 767045
Forward closed progress: 767035
Forward closed progress: 757801
Forward closed progress: 757925
Forward closed progress: 759303
Forward closed progress: 759301
Forward closed progress: 758547
Forward closed progress: 758009
Forward closed progress: 757143
Forward closed progress: 757139
Forward closed progress: 757043
Forward closed progress: 757055
Forward closed progress: 756584
Forward closed progress: 756383
Forward closed progress: 755931
Forward closed progress: 755942
Forward closed progress: 755520
Forward closed progress: 755483
Forward closed progress: 761203
Forward closed progress: 744204
Forward closed progress: 712114
Forward closed progress: 708654
Forward closed progress: 702235
Forward closed progress: 693586
Forward closed progress: 693573
Forward closed progress: 681044
Forward closed progress: 683611
Forward closed progress: 686015
Forward closed progress: 684838
Forward closed progress: 683898
Forward closed progress: 684673
Forward closed progress: 683730
Forward closed progress: 683718
Forward closed progress: 683447
Forward closed progress: 680501
Forward closed progress: 680090
Forward closed progress: 680088
Forward closed progress: 679827
Forward closed progress: 679745
Forward closed progress: 654970
Forward closed progress: 655250
Forward closed progress: 655256
Forward closed progress: 645970
Forward closed progress: 646498
Forward closed progress: 645438
Forward closed progress: 645030
Forward closed progress: 644957
Forward closed progress: 643844
Forward closed progress: 642597
Forward closed progress: 642601
Forward closed progress: 642366
Forward closed progress: 641029
Forward closed progress: 629520
Forward closed progress: 629643
Forward closed progress: 629623
Forward closed progress: 633236
Forward closed progress: 630562
Forward closed progress: 630142
Forward closed progress: 629575
Forward closed progress: 629463
Forward closed progress: 627846
Forward closed progress: 574100
Forward closed progress: 548742
Forward closed progress: 558262
Forward closed progress: 559178
Forward closed progress: 559425
Forward closed progress: 559636
Forward closed progress: 559631
Forward closed progress: 559620
Forward closed progress: 549945
Forward closed progress: 549875
Forward closed progress: 551140
Forward closed progress: 551138
Forward closed progress: 550955
Forward closed progress: 550037
Forward closed progress: 549147
Forward closed progress: 549135
Forward closed progress: 549081
Forward closed progress: 549016
Forward closed progress: 548562
Forward closed progress: 548566
Forward closed progress: 549533
Forward closed progress: 547489
Forward closed progress: 551485
Forward closed progress: 551325
Forward closed progress: 551455
Forward closed progress: 551448
Forward closed progress: 546358
Forward closed progress: 546251
Forward closed progress: 546320
Forward closed progress: 546125
Forward closed progress: 546199
Forward closed progress: 545541
Forward closed progress: 545535
Forward closed progress: 545401
Forward closed progress: 545024
Forward closed progress: 545069
Forward closed progress: 544276
Forward closed progress: 543941
Forward closed progress: 543641
Forward closed progress: 543599
Forward closed progress: 543281
Forward closed progress: 542388
Forward closed progress: 540818
Forward closed progress: 540560
Forward closed progress: 539950
Forward closed progress: 523618
Forward closed progress: 523010
Forward closed progress: 520732
Forward closed progress: 542340
Forward closed progress: 548578
Forward closed progress: 547894
Forward closed progress: 547893
Forward closed progress: 541200
Forward closed progress: 544561
Forward closed progress: 543188
Forward closed progress: 543206
Forward closed progress: 540560
Forward closed progress: 540542
Forward closed progress: 535810
Forward closed progress: 536041
Forward closed progress: 534855
Forward closed progress: 535070
Forward closed progress: 534392
Forward closed progress: 534105
Forward closed progress: 529224
Forward closed progress: 529248
Forward closed progress: 521462
Forward closed progress: 522157
Forward closed progress: 533396
Forward closed progress: 527662
Forward closed progress: 527192
Forward closed progress: 527501
Forward closed progress: 528111
Forward closed progress: 528132
Forward closed progress: 528083
Forward closed progress: 527936
Forward closed progress: 527947
Forward closed progress: 528381
Forward closed progress: 528369
Forward closed progress: 514684
Forward closed progress: 514651
Forward closed progress: 514644
Forward closed progress: 514631
Forward closed progress: 515285
Forward closed progress: 512946
Forward closed progress: 513353
Forward closed progress: 513320
Forward closed progress: 513311
Forward closed progress: 513078
Forward closed progress: 513174
Forward closed progress: 512274
Forward closed progress: 512699
Forward closed progress: 511884
Forward closed progress: 790460
Forward closed progress: 783076
Forward closed progress: 721189
Forward closed progress: 689611
Forward closed progress: 689607
Forward closed progress: 685295
Forward closed progress: 694402
Forward closed progress: 694407
Forward closed progress: 694229
Forward closed progress: 694069
Forward closed progress: 693555
Forward closed progress: 693613
Forward closed progress: 694448
Forward closed progress: 694271
Forward closed progress: 673941
Forward closed progress: 673867
Forward closed progress: 673882
Forward closed progress: 673879
Forward closed progress: 673854
Forward closed progress: 673785
Forward closed progress: 683812
Forward closed progress: 685397
Forward closed progress: 687187
Forward closed progress: 687658
Forward closed progress: 687657
Forward closed progress: 687651
Forward closed progress: 684022
Forward closed progress: 684020
Forward closed progress: 682570
Forward closed progress: 682643
Forward closed progress: 683657
Forward closed progress: 683707
Forward closed progress: 683038
Forward closed progress: 682953
Forward closed progress: 682732
Forward closed progress: 682625
Forward closed progress: 682574
Forward closed progress: 682237
Forward closed progress: 682450
Forward closed progress: 682265
Forward closed progress: 680725
Forward closed progress: 680616
Forward closed progress: 680549
Forward closed progress: 680296
Forward closed progress: 679828
Forward closed progress: 679823
Forward closed progress: 679825
Forward closed progress: 679797
Forward closed progress: 679434
Forward closed progress: 581108
Forward closed progress: 581155
Forward closed progress: 580838
Forward closed progress: 580618
Forward closed progress: 580691
Forward closed progress: 564672
Forward closed progress: 564766
Forward closed progress: 564496
Forward closed progress: 564515
Forward closed progress: 564061
Forward closed progress: 559890
Forward closed progress: 557061
Forward closed progress: 555200
Forward closed progress: 555754
Forward closed progress: 556368
Forward closed progress: 556310
Forward closed progress: 557045
Forward closed progress: 557144
Forward closed progress: 556617
Forward closed progress: 556541
Forward closed progress: 556235
Forward closed progress: 556212
Forward closed progress: 557084
Forward closed progress: 557083
Forward closed progress: 556517
Forward closed progress: 556429
Forward closed progress: 556064
Forward closed progress: 553244
Forward closed progress: 553405
Forward closed progress: 553455
Forward closed progress: 553413
Forward closed progress: 551356
Forward closed progress: 550247
Forward closed progress: 550430
Forward closed progress: 550045
Forward closed progress: 550074
Forward closed progress: 549843
Forward closed progress: 549575
Forward closed progress: 546654
Forward closed progress: 512268
Forward closed progress: 511852
Forward closed progress: 511548
Forward closed progress: 523990
Forward closed progress: 516325
Forward closed progress: 515875
Forward closed progress: 537513
Forward closed progress: 531323
Forward closed progress: 531166
Forward closed progress: 530902
Forward closed progress: 530440
Forward closed progress: 530635
Forward closed progress: 529553
Forward closed progress: 528744
Forward closed progress: 519938
Forward closed progress: 519897
Forward closed progress: 516450
Forward closed progress: 516380
Forward closed progress: 515982
Forward closed progress: 504246
Forward closed progress: 503204
Forward closed progress: 486818
Forward closed progress: 486393
Forward closed progress: 485870
Forward closed progress: 485870
Control exists for 6346 color(s), jumping through 541065216 vertices.
Elapsed: 1609722 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1609.722
user ??
sys ??
