>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 18194400
Perturbation colors: 4294967296
All colors: 78144352970342400
Unknown update functions: 4
Lowest cardinality: 2
Highest cardinality: 5
Attractor colors: 9340110759788544
Attractor colors computed in 13043 ms.
Backward progress: 110702
Backward progress: 113299
Backward progress: 111697
Backward progress: 112188
Backward progress: 113967
Backward progress: 116114
Backward progress: 116801
Backward progress: 116743
Backward progress: 122351
Backward progress: 119414
Backward progress: 115513
Backward progress: 114845
Backward progress: 112792
Backward progress: 114750
Backward progress: 114814
Backward progress: 114105
Backward progress: 113383
Backward progress: 113806
Backward progress: 129400
Backward progress: 129375
Backward progress: 129365
Backward progress: 129323
Backward progress: 130395
Backward progress: 130397
Backward progress: 130396
Backward progress: 130400
Backward progress: 130397
Backward progress: 142869
Backward progress: 142462
Backward progress: 142473
Backward progress: 142930
Backward progress: 143966
Backward progress: 143921
Backward progress: 143875
Backward progress: 144839
Backward progress: 144893
Backward progress: 144803
Backward progress: 144779
Backward progress: 144182
Backward progress: 144043
Backward progress: 143732
Backward progress: 143764
Backward progress: 143757
Backward progress: 144111
Backward progress: 144385
Backward progress: 144527
Backward progress: 144609
Backward progress: 144615
Backward progress: 144766
Backward progress: 142635
Backward progress: 142681
Backward progress: 142681
Backward progress: 142478
Backward progress: 142499
Backward progress: 142719
Backward progress: 142751
Backward progress: 142723
Backward progress: 142735
Backward progress: 142866
Backward progress: 142861
Backward progress: 142861
Backward progress: 142855
Backward progress: 142844
Backward progress: 142927
Backward progress: 142911
Backward progress: 142769
Backward progress: 142758
Backward progress: 142748
Backward progress: 142741
Backward progress: 142754
Backward progress: 142752
Backward progress: 142741
Backward progress: 142749
Backward progress: 142747
Backward progress: 142750
Backward progress: 142764
Backward progress: 142750
Backward progress: 127533
Backward progress: 115490
Backward progress: 114627
Backward progress: 114396
Backward progress: 117982
Backward progress: 118028
Backward progress: 118663
Backward progress: 119160
Backward progress: 119118
Backward progress: 119132
Backward progress: 119033
Backward progress: 119036
Backward progress: 120098
Backward progress: 120137
Backward progress: 120134
Backward progress: 120151
Backward progress: 120141
Backward progress: 120098
Backward progress: 119974
Backward progress: 120185
Backward progress: 120355
Backward progress: 120409
Backward progress: 120401
Backward progress: 120013
Backward progress: 119995
Backward progress: 119957
Backward progress: 116361
Backward progress: 117116
Backward progress: 117939
Backward progress: 117928
Backward progress: 116400
Backward progress: 119105
Backward progress: 118562
Backward progress: 118679
Backward progress: 118680
Backward progress: 118691
Backward progress: 118482
Backward progress: 116564
Backward progress: 117075
Backward progress: 117981
Backward progress: 113150
Backward progress: 114792
Backward progress: 114368
Backward progress: 113587
Backward progress: 113561
Backward progress: 112276
Backward progress: 112139
Backward progress: 114117
Backward progress: 113980
Backward progress: 113989
Backward progress: 113987
Backward progress: 113977
Backward progress: 113972
Backward progress: 113941
Backward progress: 113744
Backward progress: 113765
Backward progress: 113765
Backward progress: 113732
Backward progress: 113880
Backward progress: 113567
Backward progress: 114239
Backward progress: 114132
Backward progress: 113991
Backward progress: 113986
Backward progress: 113988
Backward progress: 113982
Backward progress: 118397
Backward progress: 107746
Backward progress: 107602
Backward progress: 109361
Backward progress: 109518
Backward progress: 109481
Backward progress: 109561
Backward progress: 109776
Backward progress: 109751
Backward progress: 109597
Backward progress: 109697
Backward progress: 109745
Backward progress: 109613
Backward progress: 109683
Backward progress: 109306
Backward progress: 109142
Backward progress: 108691
Backward progress: 108692
Backward progress: 108005
Backward progress: 108017
Backward progress: 106576
Backward progress: 107448
Backward progress: 107417
Backward progress: 107451
Backward progress: 107493
Backward progress: 107443
Backward progress: 107440
Backward progress: 107294
Backward progress: 106795
Backward progress: 106792
Backward progress: 106789
Backward progress: 106807
Backward progress: 106797
Backward progress: 106766
Backward progress: 106551
Backward progress: 106562
Backward progress: 106562
Backward progress: 106324
Backward progress: 106326
Backward progress: 106280
Backward progress: 106280
Backward progress: 106053
Backward progress: 106048
Backward progress: 105882
Backward progress: 104899
Backward progress: 103094
Backward progress: 103100
Backward progress: 103021
Backward progress: 103189
Backward progress: 103319
Backward progress: 103321
Backward progress: 104488
Backward progress: 104645
Backward progress: 104590
Backward progress: 104609
Backward progress: 104587
Backward progress: 104370
Backward progress: 104350
Backward progress: 103412
Backward progress: 102543
Backward progress: 101706
Backward progress: 101683
Backward progress: 101866
Backward progress: 101748
Backward progress: 101445
Backward progress: 101505
Backward progress: 101489
Backward progress: 101744
Backward progress: 101089
Backward progress: 101038
Backward progress: 100492
Backward progress: 100262
Backward progress: 100448
Backward progress: 100173
Backward progress: 139402
Backward progress: 152786
Backward progress: 149151
Backward progress: 146152
Backward progress: 146060
Backward progress: 142095
Backward progress: 142115
Backward progress: 142315
Backward progress: 142373
Backward progress: 142444
Backward progress: 142449
Backward progress: 142165
Backward progress: 142016
Backward progress: 145759
Backward progress: 145776
Backward progress: 145784
Backward progress: 145797
Backward progress: 145786
Backward progress: 145780
Backward progress: 145837
Backward progress: 145980
Backward progress: 145993
Backward progress: 146033
Backward progress: 145990
Backward progress: 145984
Backward progress: 145980
Backward progress: 145980
Backward progress: 145962
Backward progress: 145964
Backward progress: 144965
Backward progress: 146909
Backward progress: 146921
Backward progress: 146889
Backward progress: 146872
Backward progress: 146824
Backward progress: 146364
Backward progress: 144413
Backward progress: 143818
Backward progress: 151197
Backward progress: 151208
Backward progress: 151166
Backward progress: 147420
Backward progress: 147348
Backward progress: 142387
Backward progress: 141631
Backward progress: 142061
Backward progress: 142036
Backward progress: 147534
Backward progress: 147496
Backward progress: 147232
Backward progress: 147172
Backward progress: 147276
Backward progress: 146216
Backward progress: 144977
Backward progress: 145056
Backward progress: 145062
Backward progress: 143941
Backward progress: 144005
Backward progress: 144058
Backward progress: 144062
Backward progress: 144444
Backward progress: 144070
Backward progress: 144059
Backward progress: 144048
Backward progress: 143949
Backward progress: 143951
Backward progress: 143932
Backward progress: 146473
Backward progress: 146625
Backward progress: 147147
Backward progress: 147551
Backward progress: 147298
Backward progress: 147542
Backward progress: 147566
Backward progress: 147534
Backward progress: 147526
Backward progress: 147584
Backward progress: 147528
Backward progress: 147540
Backward progress: 147534
Backward progress: 147542
Backward progress: 147532
Backward progress: 147474
Backward progress: 147507
Backward progress: 150184
Backward progress: 149693
Backward progress: 147865
Backward progress: 148417
Backward progress: 148434
Backward progress: 148416
Backward progress: 148401
Backward progress: 148383
Backward progress: 148366
Backward progress: 148340
Backward progress: 147975
Backward progress: 147564
Backward progress: 147657
Backward progress: 147536
Backward progress: 147594
Backward progress: 148596
Backward progress: 148534
Backward progress: 147925
Backward progress: 147538
Backward progress: 146807
Backward progress: 146673
Backward progress: 146285
Backward progress: 142584
Backward progress: 141835
Backward progress: 141748
Backward progress: 140700
Backward progress: 140700
Backward progress: 140250
Backward progress: 140250
Forward closed progress: 149635
Forward closed progress: 148603
Forward closed progress: 136317
Forward closed progress: 138665
Forward closed progress: 139935
Forward closed progress: 139844
Forward closed progress: 139814
Forward closed progress: 138131
Forward closed progress: 140142
Forward closed progress: 135624
Forward closed progress: 134920
Forward closed progress: 132951
Forward closed progress: 132023
Forward closed progress: 130749
Forward closed progress: 130386
Forward closed progress: 130368
Forward closed progress: 133351
Forward closed progress: 133796
Forward closed progress: 133745
Forward closed progress: 133591
Forward closed progress: 134477
Forward closed progress: 134680
Forward closed progress: 134580
Forward closed progress: 134507
Forward closed progress: 136129
Forward closed progress: 137522
Forward closed progress: 137494
Forward closed progress: 140521
Forward closed progress: 140725
Forward closed progress: 140770
Forward closed progress: 140731
Forward closed progress: 140663
Forward closed progress: 140667
Forward closed progress: 118081
Forward closed progress: 118067
Forward closed progress: 123772
Forward closed progress: 154285
Forward closed progress: 154767
Forward closed progress: 155539
Forward closed progress: 155531
Forward closed progress: 155412
Forward closed progress: 156144
Forward closed progress: 155534
Forward closed progress: 155433
Forward closed progress: 154514
Forward closed progress: 154504
Forward closed progress: 154261
Forward closed progress: 153970
Forward closed progress: 154154
Forward closed progress: 154182
Forward closed progress: 154231
Forward closed progress: 154197
Forward closed progress: 146083
Forward closed progress: 146068
Forward closed progress: 146177
Forward closed progress: 146165
Forward closed progress: 146125
Forward closed progress: 188821
Forward closed progress: 189535
Forward closed progress: 190005
Forward closed progress: 187417
Forward closed progress: 187782
Forward closed progress: 187709
Forward closed progress: 188812
Forward closed progress: 187412
Forward closed progress: 186250
Forward closed progress: 185099
Forward closed progress: 184821
Forward closed progress: 185003
Forward closed progress: 185039
Forward closed progress: 184994
Forward closed progress: 184896
Forward closed progress: 184800
Forward closed progress: 184187
Forward closed progress: 184009
Forward closed progress: 183991
Forward closed progress: 184015
Forward closed progress: 183985
Forward closed progress: 183398
Forward closed progress: 305805
Forward closed progress: 280629
Forward closed progress: 281241
Forward closed progress: 289589
Forward closed progress: 292896
Forward closed progress: 292892
Forward closed progress: 293305
Forward closed progress: 293250
Forward closed progress: 292376
Forward closed progress: 292292
Forward closed progress: 289750
Forward closed progress: 289678
Forward closed progress: 288159
Forward closed progress: 285742
Forward closed progress: 285704
Forward closed progress: 285108
Forward closed progress: 285380
Forward closed progress: 285392
Forward closed progress: 285377
Forward closed progress: 285374
Forward closed progress: 285082
Forward closed progress: 285074
Forward closed progress: 282828
Forward closed progress: 282660
Forward closed progress: 281748
Forward closed progress: 283872
Forward closed progress: 283857
Forward closed progress: 283839
Forward closed progress: 283690
Forward closed progress: 283228
Forward closed progress: 283237
Forward closed progress: 283233
Forward closed progress: 283248
Forward closed progress: 283133
Forward closed progress: 282719
Forward closed progress: 286652
Forward closed progress: 286883
Forward closed progress: 286811
Forward closed progress: 286819
Forward closed progress: 286949
Forward closed progress: 286969
Forward closed progress: 286969
Forward closed progress: 286953
Forward closed progress: 286842
Forward closed progress: 286912
Forward closed progress: 285791
Forward closed progress: 286027
Forward closed progress: 267012
Forward closed progress: 248767
Forward closed progress: 228366
Forward closed progress: 276372
Forward closed progress: 273610
Forward closed progress: 273628
Forward closed progress: 275446
Forward closed progress: 273769
Forward closed progress: 272289
Forward closed progress: 271722
Forward closed progress: 271716
Forward closed progress: 271694
Forward closed progress: 271736
Forward closed progress: 270563
Forward closed progress: 269275
Forward closed progress: 269327
Forward closed progress: 269434
Forward closed progress: 250878
Forward closed progress: 252866
Forward closed progress: 251827
Forward closed progress: 251896
Forward closed progress: 251763
Forward closed progress: 250812
Forward closed progress: 245922
Forward closed progress: 257469
Forward closed progress: 260686
Forward closed progress: 262597
Forward closed progress: 262735
Forward closed progress: 264646
Forward closed progress: 264633
Forward closed progress: 264651
Forward closed progress: 260997
Forward closed progress: 257963
Forward closed progress: 257873
Forward closed progress: 257853
Forward closed progress: 257870
Forward closed progress: 258031
Forward closed progress: 258036
Forward closed progress: 268542
Forward closed progress: 264749
Forward closed progress: 263259
Forward closed progress: 259901
Forward closed progress: 253913
Forward closed progress: 253925
Forward closed progress: 253903
Forward closed progress: 253893
Forward closed progress: 253929
Forward closed progress: 253845
Forward closed progress: 253773
Forward closed progress: 253495
Forward closed progress: 246409
Forward closed progress: 231920
Forward closed progress: 219215
Forward closed progress: 219254
Forward closed progress: 219155
Forward closed progress: 219173
Forward closed progress: 219170
Forward closed progress: 205253
Forward closed progress: 211434
Forward closed progress: 211038
Forward closed progress: 211061
Forward closed progress: 211068
Forward closed progress: 210908
Forward closed progress: 209970
Forward closed progress: 208942
Forward closed progress: 235826
Forward closed progress: 237648
Forward closed progress: 233977
Forward closed progress: 233981
Forward closed progress: 233957
Forward closed progress: 233994
Forward closed progress: 234104
Forward closed progress: 234514
Forward closed progress: 234263
Forward closed progress: 233981
Forward closed progress: 237859
Forward closed progress: 236840
Forward closed progress: 234136
Forward closed progress: 231189
Forward closed progress: 226914
Forward closed progress: 225178
Forward closed progress: 225903
Forward closed progress: 223681
Forward closed progress: 223257
Forward closed progress: 222307
Forward closed progress: 219996
Forward closed progress: 219423
Forward closed progress: 218979
Forward closed progress: 279777
Forward closed progress: 293671
Forward closed progress: 293699
Forward closed progress: 293664
Forward closed progress: 293727
Forward closed progress: 293713
Forward closed progress: 293706
Forward closed progress: 293657
Forward closed progress: 297916
Forward closed progress: 297934
Forward closed progress: 297930
Forward closed progress: 297928
Forward closed progress: 297908
Forward closed progress: 294016
Forward closed progress: 313545
Forward closed progress: 310817
Forward closed progress: 343041
Forward closed progress: 343383
Forward closed progress: 343563
Forward closed progress: 342063
Forward closed progress: 341943
Forward closed progress: 326729
Forward closed progress: 325570
Forward closed progress: 325563
Forward closed progress: 326392
Forward closed progress: 325953
Forward closed progress: 325932
Forward closed progress: 325995
Forward closed progress: 325981
Forward closed progress: 325974
Forward closed progress: 325683
Forward closed progress: 321956
Forward closed progress: 318971
Forward closed progress: 322631
Forward closed progress: 322520
Forward closed progress: 322280
Forward closed progress: 322125
Forward closed progress: 319293
Forward closed progress: 319168
Forward closed progress: 318219
Forward closed progress: 314585
Forward closed progress: 305489
Forward closed progress: 305419
Forward closed progress: 305027
Forward closed progress: 314590
Forward closed progress: 314540
Forward closed progress: 315006
Forward closed progress: 315512
Forward closed progress: 315578
Forward closed progress: 316915
Forward closed progress: 315779
Forward closed progress: 315363
Forward closed progress: 301255
Forward closed progress: 299854
Forward closed progress: 291598
Forward closed progress: 296054
Forward closed progress: 296253
Forward closed progress: 296237
Forward closed progress: 293220
Forward closed progress: 304330
Forward closed progress: 303332
Forward closed progress: 302961
Forward closed progress: 302997
Forward closed progress: 303344
Forward closed progress: 303162
Forward closed progress: 302647
Forward closed progress: 306958
Forward closed progress: 305367
Forward closed progress: 304317
Forward closed progress: 303742
Forward closed progress: 301826
Forward closed progress: 303822
Forward closed progress: 302707
Forward closed progress: 301764
Forward closed progress: 301542
Forward closed progress: 300589
Forward closed progress: 299312
Forward closed progress: 298729
Forward closed progress: 298339
Forward closed progress: 288396
Forward closed progress: 406466
Forward closed progress: 446748
Forward closed progress: 440405
Forward closed progress: 441145
Forward closed progress: 444217
Forward closed progress: 472212
Forward closed progress: 475785
Forward closed progress: 475275
Forward closed progress: 476060
Forward closed progress: 475439
Forward closed progress: 474994
Forward closed progress: 474908
Forward closed progress: 465204
Forward closed progress: 487667
Forward closed progress: 504329
Forward closed progress: 504685
Forward closed progress: 504904
Forward closed progress: 504923
Forward closed progress: 495364
Forward closed progress: 495330
Forward closed progress: 495286
Forward closed progress: 497603
Forward closed progress: 554723
Forward closed progress: 544903
Forward closed progress: 544891
Forward closed progress: 544839
Forward closed progress: 519280
Forward closed progress: 519460
Forward closed progress: 519302
Forward closed progress: 533227
Forward closed progress: 536676
Forward closed progress: 536737
Forward closed progress: 537066
Forward closed progress: 540680
Forward closed progress: 540666
Forward closed progress: 540701
Forward closed progress: 541189
Forward closed progress: 541210
Forward closed progress: 541117
Forward closed progress: 540971
Forward closed progress: 540727
Forward closed progress: 540659
Forward closed progress: 540695
Forward closed progress: 540985
Forward closed progress: 540681
Forward closed progress: 538946
Forward closed progress: 538397
Forward closed progress: 538156
Forward closed progress: 540234
Forward closed progress: 540505
Forward closed progress: 540529
Forward closed progress: 540508
Forward closed progress: 540517
Forward closed progress: 540529
Forward closed progress: 540722
Forward closed progress: 540722
Forward closed progress: 540670
Forward closed progress: 539866
Forward closed progress: 540100
Forward closed progress: 540099
Forward closed progress: 539129
Forward closed progress: 485652
Forward closed progress: 478770
Forward closed progress: 478132
Forward closed progress: 451507
Forward closed progress: 448329
Forward closed progress: 449431
Forward closed progress: 449472
Forward closed progress: 448416
Forward closed progress: 448384
Forward closed progress: 510261
Forward closed progress: 508350
Forward closed progress: 508353
Forward closed progress: 508387
Forward closed progress: 502706
Forward closed progress: 502699
Forward closed progress: 502706
Forward closed progress: 499734
Forward closed progress: 499756
Forward closed progress: 497416
Forward closed progress: 497088
Forward closed progress: 499189
Forward closed progress: 474095
Forward closed progress: 471723
Forward closed progress: 471742
Forward closed progress: 471720
Forward closed progress: 471679
Forward closed progress: 471688
Forward closed progress: 454580
Forward closed progress: 460535
Forward closed progress: 460132
Forward closed progress: 458177
Forward closed progress: 456395
Forward closed progress: 471943
Forward closed progress: 470576
Forward closed progress: 467598
Forward closed progress: 467661
Forward closed progress: 467713
Forward closed progress: 465137
Forward closed progress: 465983
Forward closed progress: 464600
Forward closed progress: 468434
Forward closed progress: 467352
Forward closed progress: 466375
Forward closed progress: 467137
Forward closed progress: 466997
Forward closed progress: 466653
Forward closed progress: 466257
Forward closed progress: 463620
Forward closed progress: 463454
Forward closed progress: 467187
Forward closed progress: 466462
Forward closed progress: 462347
Forward closed progress: 461032
Forward closed progress: 459643
Forward closed progress: 458413
Forward closed progress: 455671
Forward closed progress: 454877
Forward closed progress: 454357
Forward closed progress: 445730
Forward closed progress: 445912
Forward closed progress: 445924
Forward closed progress: 445930
Forward closed progress: 446014
Forward closed progress: 445984
Forward closed progress: 446336
Forward closed progress: 445831
Forward closed progress: 437842
Forward closed progress: 438258
Forward closed progress: 437996
Forward closed progress: 521790
Forward closed progress: 523940
Forward closed progress: 524982
Forward closed progress: 525040
Forward closed progress: 525359
Forward closed progress: 524427
Forward closed progress: 518089
Forward closed progress: 517494
Forward closed progress: 517128
Forward closed progress: 517246
Forward closed progress: 517169
Forward closed progress: 518279
Forward closed progress: 520166
Forward closed progress: 520613
Forward closed progress: 552913
Forward closed progress: 551768
Forward closed progress: 551780
Forward closed progress: 551660
Forward closed progress: 559392
Forward closed progress: 559408
Forward closed progress: 558058
Forward closed progress: 557492
Forward closed progress: 556620
Forward closed progress: 557017
Forward closed progress: 557181
Forward closed progress: 557173
Forward closed progress: 557365
Forward closed progress: 557229
Forward closed progress: 557052
Forward closed progress: 548137
Forward closed progress: 547977
Forward closed progress: 545017
Forward closed progress: 545312
Forward closed progress: 545327
Forward closed progress: 544495
Forward closed progress: 544260
Forward closed progress: 544297
Forward closed progress: 584553
Forward closed progress: 585453
Forward closed progress: 585358
Forward closed progress: 585250
Forward closed progress: 583924
Forward closed progress: 584450
Forward closed progress: 584629
Forward closed progress: 584625
Forward closed progress: 580862
Forward closed progress: 581370
Forward closed progress: 583607
Forward closed progress: 571819
Forward closed progress: 571637
Forward closed progress: 571529
Forward closed progress: 570325
Forward closed progress: 570312
Forward closed progress: 570172
Forward closed progress: 569851
Forward closed progress: 569523
Forward closed progress: 558248
Forward closed progress: 558785
Forward closed progress: 558846
Forward closed progress: 558776
Forward closed progress: 558776
Forward closed progress: 558744
Forward closed progress: 587868
Forward closed progress: 579592
Forward closed progress: 580842
Forward closed progress: 584342
Forward closed progress: 584297
Forward closed progress: 584002
Forward closed progress: 582721
Forward closed progress: 582712
Forward closed progress: 582396
Forward closed progress: 582350
Forward closed progress: 582519
Forward closed progress: 582533
Forward closed progress: 582286
Forward closed progress: 581965
Forward closed progress: 581961
Forward closed progress: 581857
Forward closed progress: 581715
Forward closed progress: 579227
Forward closed progress: 579315
Forward closed progress: 579394
Forward closed progress: 578493
Forward closed progress: 578171
Forward closed progress: 580450
Forward closed progress: 579581
Forward closed progress: 578711
Forward closed progress: 579434
Forward closed progress: 579260
Forward closed progress: 578876
Forward closed progress: 578867
Forward closed progress: 578736
Forward closed progress: 576303
Forward closed progress: 571003
Forward closed progress: 571741
Forward closed progress: 571856
Forward closed progress: 575133
Forward closed progress: 583219
Forward closed progress: 582016
Forward closed progress: 586557
Forward closed progress: 586776
Forward closed progress: 586647
Forward closed progress: 586659
Forward closed progress: 586625
Forward closed progress: 586063
Forward closed progress: 585461
Forward closed progress: 584888
Forward closed progress: 584909
Forward closed progress: 584672
Forward closed progress: 587940
Forward closed progress: 588019
Forward closed progress: 588013
Forward closed progress: 588337
Forward closed progress: 588349
Forward closed progress: 588571
Forward closed progress: 588571
Forward closed progress: 588583
Forward closed progress: 588554
Forward closed progress: 588307
Forward closed progress: 588097
Forward closed progress: 588848
Forward closed progress: 589154
Forward closed progress: 588944
Forward closed progress: 588959
Forward closed progress: 589931
Forward closed progress: 589511
Forward closed progress: 588690
Forward closed progress: 588714
Forward closed progress: 587285
Forward closed progress: 587285
Forward closed progress: 587867
Forward closed progress: 587757
Forward closed progress: 587819
Forward closed progress: 587773
Forward closed progress: 587745
Forward closed progress: 587303
Forward closed progress: 586430
Forward closed progress: 586374
Forward closed progress: 586522
Forward closed progress: 586482
Forward closed progress: 586366
Forward closed progress: 586239
Forward closed progress: 733495
Forward closed progress: 1062716
Forward closed progress: 1052750
Forward closed progress: 1051994
Forward closed progress: 1054219
Forward closed progress: 1050765
Forward closed progress: 1063560
Forward closed progress: 1080868
Forward closed progress: 1075126
Forward closed progress: 1116314
Forward closed progress: 1137807
Forward closed progress: 1137801
Forward closed progress: 1137775
Forward closed progress: 1152685
Forward closed progress: 1153348
Forward closed progress: 1146361
Forward closed progress: 1135850
Forward closed progress: 1135808
Forward closed progress: 1166439
Forward closed progress: 1183995
Forward closed progress: 1182449
Forward closed progress: 1170092
Forward closed progress: 1158802
Forward closed progress: 1159000
Forward closed progress: 1159025
Forward closed progress: 1158899
Forward closed progress: 1158823
Forward closed progress: 1112990
Forward closed progress: 1112136
Forward closed progress: 1110766
Forward closed progress: 1111688
Forward closed progress: 1102705
Forward closed progress: 1098806
Forward closed progress: 1097604
Forward closed progress: 1094130
Forward closed progress: 1015598
Forward closed progress: 1014724
Forward closed progress: 1014710
Forward closed progress: 1017695
Forward closed progress: 1017583
Forward closed progress: 1016421
Forward closed progress: 1016248
Forward closed progress: 1023163
Forward closed progress: 1022802
Forward closed progress: 1023597
Forward closed progress: 1023947
Forward closed progress: 1023853
Forward closed progress: 1029078
Forward closed progress: 1039448
Forward closed progress: 1042200
Forward closed progress: 1042197
Forward closed progress: 1041788
Forward closed progress: 1041740
Forward closed progress: 1046366
Forward closed progress: 1046356
Forward closed progress: 1046362
Forward closed progress: 1050145
Forward closed progress: 1050152
Forward closed progress: 1050180
Forward closed progress: 1050204
Forward closed progress: 1051493
Forward closed progress: 1048243
Forward closed progress: 1048465
Forward closed progress: 1048443
Forward closed progress: 1047529
Forward closed progress: 1047445
Forward closed progress: 1047163
Forward closed progress: 1067543
Forward closed progress: 1068585
Forward closed progress: 1068338
Forward closed progress: 1061133
Forward closed progress: 1059340
Forward closed progress: 1058451
Forward closed progress: 1052597
Forward closed progress: 1053217
Forward closed progress: 1054730
Forward closed progress: 1042697
Forward closed progress: 1043091
Forward closed progress: 1042797
Forward closed progress: 1041603
Forward closed progress: 1042056
Forward closed progress: 1042086
Forward closed progress: 1041592
Forward closed progress: 1036080
Forward closed progress: 1035963
Forward closed progress: 1028943
Forward closed progress: 1028637
Forward closed progress: 1028909
Forward closed progress: 1028137
Forward closed progress: 1028075
Forward closed progress: 1027987
Forward closed progress: 1019530
Forward closed progress: 1018556
Forward closed progress: 1019368
Forward closed progress: 1019661
Forward closed progress: 1019706
Forward closed progress: 1019824
Forward closed progress: 1020559
Forward closed progress: 1020559
Forward closed progress: 1021472
Forward closed progress: 1019237
Forward closed progress: 1019479
Forward closed progress: 1019523
Forward closed progress: 1018935
Forward closed progress: 1096003
Forward closed progress: 1097651
Forward closed progress: 1098381
Forward closed progress: 1098637
Forward closed progress: 1054164
Forward closed progress: 1055666
Forward closed progress: 1055612
Forward closed progress: 1055630
Forward closed progress: 1055454
Forward closed progress: 1068161
Forward closed progress: 1068916
Forward closed progress: 1068756
Forward closed progress: 1070491
Forward closed progress: 1068408
Forward closed progress: 1068110
Forward closed progress: 1059172
Forward closed progress: 1058971
Forward closed progress: 1059017
Forward closed progress: 1059017
Forward closed progress: 1179214
Forward closed progress: 1174712
Forward closed progress: 1176427
Forward closed progress: 1165412
Forward closed progress: 1165747
Forward closed progress: 1165646
Forward closed progress: 1165600
Forward closed progress: 1164866
Forward closed progress: 1169303
Forward closed progress: 1171067
Forward closed progress: 1171053
Forward closed progress: 1169471
Forward closed progress: 1169507
Forward closed progress: 1169610
Forward closed progress: 1168586
Forward closed progress: 1166389
Forward closed progress: 1165930
Forward closed progress: 1165966
Forward closed progress: 1164873
Forward closed progress: 1164397
Forward closed progress: 1164333
Forward closed progress: 1161412
Forward closed progress: 1160770
Forward closed progress: 1159788
Forward closed progress: 1174917
Forward closed progress: 1173509
Forward closed progress: 1169105
Forward closed progress: 1169653
Forward closed progress: 1169045
Forward closed progress: 1168441
Forward closed progress: 1172169
Forward closed progress: 1171885
Forward closed progress: 1172237
Forward closed progress: 1168685
Forward closed progress: 1178564
Forward closed progress: 1178576
Forward closed progress: 1180373
Forward closed progress: 1180405
Forward closed progress: 1180495
Forward closed progress: 1180491
Forward closed progress: 1181727
Forward closed progress: 1178818
Forward closed progress: 1175771
Forward closed progress: 1210039
Forward closed progress: 1207824
Forward closed progress: 1207838
Forward closed progress: 1207824
Forward closed progress: 1207944
Forward closed progress: 1207930
Forward closed progress: 1210464
Forward closed progress: 1210464
Forward closed progress: 1210354
Forward closed progress: 1215364
Forward closed progress: 1215509
Forward closed progress: 1215531
Forward closed progress: 1215381
Forward closed progress: 1213941
Forward closed progress: 1215655
Forward closed progress: 1215111
Forward closed progress: 1214914
Forward closed progress: 1225929
Forward closed progress: 1225869
Forward closed progress: 1225656
Forward closed progress: 1223301
Forward closed progress: 1223315
Forward closed progress: 1223279
Forward closed progress: 1222026
Forward closed progress: 1221990
Forward closed progress: 1222017
Forward closed progress: 1221311
Forward closed progress: 1220411
Forward closed progress: 1219794
Forward closed progress: 1214743
Forward closed progress: 1212530
Forward closed progress: 1212595
Forward closed progress: 1209597
Forward closed progress: 1209673
Forward closed progress: 1209516
Forward closed progress: 1208780
Forward closed progress: 1210037
Forward closed progress: 1208925
Forward closed progress: 1203015
Forward closed progress: 1201475
Forward closed progress: 1201489
Forward closed progress: 1201327
Forward closed progress: 1201371
Forward closed progress: 1201197
Forward closed progress: 1199757
Forward closed progress: 1199457
Forward closed progress: 1199361
Forward closed progress: 1194457
Forward closed progress: 1194214
Forward closed progress: 1194236
Forward closed progress: 1193936
Forward closed progress: 1193299
Forward closed progress: 1264889
Forward closed progress: 1265988
Forward closed progress: 1265901
Forward closed progress: 1265861
Forward closed progress: 1254563
Forward closed progress: 1254713
Forward closed progress: 1254737
Forward closed progress: 1254834
Forward closed progress: 1254808
Forward closed progress: 1254100
Forward closed progress: 1254124
Forward closed progress: 1253332
Forward closed progress: 1238194
Forward closed progress: 1237672
Forward closed progress: 1237311
Forward closed progress: 1235471
Forward closed progress: 1254594
Forward closed progress: 1254606
Forward closed progress: 1252684
Forward closed progress: 1252479
Forward closed progress: 1252496
Forward closed progress: 1252491
Forward closed progress: 1249646
Forward closed progress: 1251579
Forward closed progress: 1251644
Forward closed progress: 1244963
Forward closed progress: 1245331
Forward closed progress: 1240094
Forward closed progress: 1241018
Forward closed progress: 1238222
Forward closed progress: 1238164
Forward closed progress: 1234018
Forward closed progress: 1233067
Forward closed progress: 1233067
Forward closed progress: 1237741
Forward closed progress: 1237739
Forward closed progress: 1237743
Forward closed progress: 1237742
Forward closed progress: 1237748
Forward closed progress: 1239457
Forward closed progress: 1239471
Forward closed progress: 1239025
Forward closed progress: 1238961
Forward closed progress: 1238782
Forward closed progress: 1238597
Forward closed progress: 1235600
Forward closed progress: 1228933
Forward closed progress: 1226392
Forward closed progress: 1226171
Forward closed progress: 1226130
Forward closed progress: 1226482
Forward closed progress: 1226436
Forward closed progress: 1226021
Forward closed progress: 1225926
Forward closed progress: 1190768
Forward closed progress: 1189801
Forward closed progress: 1187616
Forward closed progress: 1186937
Forward closed progress: 1185886
Forward closed progress: 1185886
Control exists for 2174664 color(s), jumping through 386613248 vertices.
Elapsed: 3211571 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 3211.571
user ??
sys ??
