>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 818748
Perturbation colors: 4294967296
All colors: 3516495883665408
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 651117042073600
Attractor colors computed in 3404 ms.
Backward progress: 111124
Backward progress: 135096
Backward progress: 133893
Backward progress: 131346
Backward progress: 130969
Backward progress: 130754
Backward progress: 130670
Backward progress: 130789
Backward progress: 129668
Backward progress: 129294
Backward progress: 132707
Backward progress: 134648
Backward progress: 134861
Backward progress: 135001
Backward progress: 134153
Backward progress: 134227
Backward progress: 134093
Backward progress: 167334
Backward progress: 167425
Backward progress: 167474
Backward progress: 167446
Backward progress: 165436
Backward progress: 141405
Backward progress: 141616
Backward progress: 140558
Backward progress: 143372
Backward progress: 143517
Backward progress: 145680
Backward progress: 145686
Backward progress: 145664
Backward progress: 145660
Backward progress: 144776
Backward progress: 144063
Backward progress: 144650
Backward progress: 144508
Backward progress: 141879
Backward progress: 141850
Backward progress: 141250
Backward progress: 141940
Backward progress: 141014
Backward progress: 140679
Backward progress: 139664
Backward progress: 139043
Backward progress: 133189
Backward progress: 135181
Backward progress: 135220
Backward progress: 137455
Backward progress: 137732
Backward progress: 137738
Backward progress: 135579
Backward progress: 143334
Backward progress: 141070
Backward progress: 140780
Backward progress: 140720
Backward progress: 140978
Backward progress: 140208
Backward progress: 137531
Backward progress: 137846
Backward progress: 135832
Backward progress: 127619
Backward progress: 126879
Backward progress: 125087
Backward progress: 115080
Backward progress: 114976
Backward progress: 114976
Forward closed progress: 126887
Forward closed progress: 125874
Forward closed progress: 128938
Forward closed progress: 136530
Forward closed progress: 142396
Forward closed progress: 141981
Forward closed progress: 141975
Forward closed progress: 138420
Forward closed progress: 142463
Forward closed progress: 138107
Forward closed progress: 135557
Forward closed progress: 135510
Forward closed progress: 134970
Forward closed progress: 134956
Forward closed progress: 136221
Forward closed progress: 137463
Forward closed progress: 135865
Forward closed progress: 135525
Forward closed progress: 137321
Forward closed progress: 136853
Forward closed progress: 134166
Forward closed progress: 134665
Forward closed progress: 134726
Forward closed progress: 134738
Forward closed progress: 136150
Forward closed progress: 136024
Forward closed progress: 138169
Forward closed progress: 138350
Forward closed progress: 137578
Forward closed progress: 169845
Forward closed progress: 168546
Forward closed progress: 171403
Forward closed progress: 167200
Forward closed progress: 167372
Forward closed progress: 165271
Forward closed progress: 164584
Forward closed progress: 157750
Forward closed progress: 157737
Forward closed progress: 157643
Forward closed progress: 157684
Forward closed progress: 157887
Forward closed progress: 156487
Forward closed progress: 156383
Forward closed progress: 154045
Forward closed progress: 153499
Forward closed progress: 153695
Forward closed progress: 153703
Forward closed progress: 153733
Forward closed progress: 205707
Forward closed progress: 206792
Forward closed progress: 207001
Forward closed progress: 210050
Forward closed progress: 211343
Forward closed progress: 211037
Forward closed progress: 216233
Forward closed progress: 213209
Forward closed progress: 200750
Forward closed progress: 195842
Forward closed progress: 194364
Forward closed progress: 196393
Forward closed progress: 197012
Forward closed progress: 196085
Forward closed progress: 196193
Forward closed progress: 192645
Forward closed progress: 190316
Forward closed progress: 190679
Forward closed progress: 190571
Forward closed progress: 190715
Forward closed progress: 190503
Forward closed progress: 188824
Forward closed progress: 188629
Forward closed progress: 240630
Forward closed progress: 252561
Forward closed progress: 252935
Forward closed progress: 254329
Forward closed progress: 269770
Forward closed progress: 269636
Forward closed progress: 272586
Forward closed progress: 271719
Forward closed progress: 271077
Forward closed progress: 268486
Forward closed progress: 270975
Forward closed progress: 271104
Forward closed progress: 268746
Forward closed progress: 268901
Forward closed progress: 266740
Forward closed progress: 266176
Forward closed progress: 266406
Forward closed progress: 266474
Forward closed progress: 266360
Forward closed progress: 266352
Forward closed progress: 274598
Forward closed progress: 274632
Forward closed progress: 274690
Forward closed progress: 260106
Forward closed progress: 259434
Forward closed progress: 259535
Forward closed progress: 232201
Forward closed progress: 232253
Forward closed progress: 232258
Forward closed progress: 234423
Forward closed progress: 233921
Forward closed progress: 233921
Forward closed progress: 233889
Forward closed progress: 233868
Forward closed progress: 235255
Forward closed progress: 235191
Forward closed progress: 233942
Forward closed progress: 233911
Forward closed progress: 233451
Forward closed progress: 233492
Forward closed progress: 233441
Forward closed progress: 233362
Forward closed progress: 233412
Forward closed progress: 233657
Forward closed progress: 233602
Forward closed progress: 233554
Forward closed progress: 233539
Forward closed progress: 233638
Forward closed progress: 232478
Forward closed progress: 232385
Forward closed progress: 231890
Forward closed progress: 231865
Forward closed progress: 231894
Forward closed progress: 231889
Forward closed progress: 231845
Forward closed progress: 231827
Forward closed progress: 231827
Forward closed progress: 231749
Forward closed progress: 234781
Forward closed progress: 234797
Forward closed progress: 234704
Forward closed progress: 234975
Forward closed progress: 239313
Forward closed progress: 239247
Forward closed progress: 239302
Forward closed progress: 239332
Forward closed progress: 239088
Forward closed progress: 239485
Forward closed progress: 239226
Forward closed progress: 239331
Forward closed progress: 239011
Forward closed progress: 238823
Forward closed progress: 238797
Forward closed progress: 237607
Forward closed progress: 237431
Forward closed progress: 237419
Forward closed progress: 231342
Forward closed progress: 207227
Forward closed progress: 204994
Forward closed progress: 213176
Forward closed progress: 212558
Forward closed progress: 213143
Forward closed progress: 213499
Forward closed progress: 211498
Forward closed progress: 211720
Forward closed progress: 209624
Forward closed progress: 208708
Forward closed progress: 208652
Forward closed progress: 208673
Forward closed progress: 208529
Forward closed progress: 208473
Forward closed progress: 208521
Forward closed progress: 208221
Forward closed progress: 208203
Forward closed progress: 208385
Forward closed progress: 208155
Forward closed progress: 208270
Forward closed progress: 211926
Forward closed progress: 213239
Forward closed progress: 213151
Forward closed progress: 213386
Forward closed progress: 213835
Forward closed progress: 214411
Forward closed progress: 214295
Forward closed progress: 214157
Forward closed progress: 213643
Forward closed progress: 213073
Forward closed progress: 213325
Forward closed progress: 211671
Forward closed progress: 210989
Forward closed progress: 211149
Forward closed progress: 211029
Forward closed progress: 211225
Forward closed progress: 210965
Forward closed progress: 209670
Forward closed progress: 209720
Forward closed progress: 209700
Forward closed progress: 209670
Forward closed progress: 209300
Forward closed progress: 208270
Forward closed progress: 207117
Forward closed progress: 307260
Forward closed progress: 309569
Forward closed progress: 311111
Forward closed progress: 314547
Forward closed progress: 314537
Forward closed progress: 314539
Forward closed progress: 314483
Forward closed progress: 316135
Forward closed progress: 315703
Forward closed progress: 314990
Forward closed progress: 312545
Forward closed progress: 303769
Forward closed progress: 303494
Forward closed progress: 302055
Forward closed progress: 302300
Forward closed progress: 302645
Forward closed progress: 302246
Forward closed progress: 305797
Forward closed progress: 306245
Forward closed progress: 305631
Forward closed progress: 305405
Forward closed progress: 304419
Forward closed progress: 304383
Forward closed progress: 304559
Forward closed progress: 304407
Forward closed progress: 288314
Forward closed progress: 287991
Forward closed progress: 281173
Forward closed progress: 282561
Forward closed progress: 282351
Forward closed progress: 282652
Forward closed progress: 282137
Forward closed progress: 280216
Forward closed progress: 280210
Forward closed progress: 280172
Forward closed progress: 280132
Forward closed progress: 280138
Forward closed progress: 280132
Forward closed progress: 282936
Forward closed progress: 283032
Forward closed progress: 282789
Forward closed progress: 282727
Forward closed progress: 282928
Forward closed progress: 281597
Forward closed progress: 280607
Forward closed progress: 280949
Forward closed progress: 275277
Forward closed progress: 270920
Forward closed progress: 268918
Forward closed progress: 268964
Forward closed progress: 268692
Forward closed progress: 268609
Forward closed progress: 268634
Forward closed progress: 263717
Forward closed progress: 263499
Forward closed progress: 259713
Forward closed progress: 259639
Forward closed progress: 259878
Forward closed progress: 262514
Forward closed progress: 262369
Forward closed progress: 262447
Forward closed progress: 262178
Forward closed progress: 261339
Forward closed progress: 261323
Forward closed progress: 261227
Forward closed progress: 261295
Forward closed progress: 261243
Forward closed progress: 261111
Forward closed progress: 261115
Forward closed progress: 260559
Forward closed progress: 260531
Forward closed progress: 258290
Forward closed progress: 255949
Forward closed progress: 256010
Forward closed progress: 255867
Forward closed progress: 255863
Forward closed progress: 255802
Forward closed progress: 255564
Forward closed progress: 255318
Forward closed progress: 255260
Forward closed progress: 252584
Forward closed progress: 252753
Forward closed progress: 252476
Forward closed progress: 251865
Forward closed progress: 245604
Forward closed progress: 235900
Forward closed progress: 235898
Forward closed progress: 235863
Forward closed progress: 241513
Forward closed progress: 243087
Forward closed progress: 242705
Forward closed progress: 243632
Forward closed progress: 243829
Forward closed progress: 243802
Forward closed progress: 243541
Forward closed progress: 243405
Forward closed progress: 243325
Forward closed progress: 242624
Forward closed progress: 240627
Forward closed progress: 240619
Forward closed progress: 240463
Forward closed progress: 240600
Forward closed progress: 240320
Forward closed progress: 239997
Forward closed progress: 240035
Forward closed progress: 235599
Forward closed progress: 232829
Forward closed progress: 229645
Forward closed progress: 234484
Forward closed progress: 234352
Forward closed progress: 234379
Forward closed progress: 236295
Forward closed progress: 236246
Forward closed progress: 236252
Forward closed progress: 235885
Forward closed progress: 235911
Forward closed progress: 235910
Forward closed progress: 235865
Forward closed progress: 235006
Forward closed progress: 234993
Forward closed progress: 234956
Forward closed progress: 235004
Forward closed progress: 234975
Forward closed progress: 234533
Forward closed progress: 234166
Forward closed progress: 234142
Forward closed progress: 232222
Forward closed progress: 232183
Forward closed progress: 232088
Forward closed progress: 232087
Forward closed progress: 231738
Forward closed progress: 231666
Forward closed progress: 226938
Forward closed progress: 226330
Forward closed progress: 231922
Forward closed progress: 235088
Forward closed progress: 235688
Forward closed progress: 235916
Forward closed progress: 238063
Forward closed progress: 238927
Forward closed progress: 238893
Forward closed progress: 238862
Forward closed progress: 238973
Forward closed progress: 239248
Forward closed progress: 238427
Forward closed progress: 239220
Forward closed progress: 239136
Forward closed progress: 238445
Forward closed progress: 238166
Forward closed progress: 237805
Forward closed progress: 242692
Forward closed progress: 242676
Forward closed progress: 242687
Forward closed progress: 242567
Forward closed progress: 242800
Forward closed progress: 242828
Forward closed progress: 242743
Forward closed progress: 242389
Forward closed progress: 242375
Forward closed progress: 242354
Forward closed progress: 242330
Forward closed progress: 242298
Forward closed progress: 242225
Forward closed progress: 242225
Forward closed progress: 241913
Forward closed progress: 241901
Forward closed progress: 241364
Forward closed progress: 241399
Forward closed progress: 241518
Forward closed progress: 241568
Forward closed progress: 241526
Forward closed progress: 241506
Forward closed progress: 253060
Forward closed progress: 253756
Forward closed progress: 254267
Forward closed progress: 254258
Forward closed progress: 254360
Forward closed progress: 254428
Forward closed progress: 253848
Forward closed progress: 253792
Forward closed progress: 253792
Forward closed progress: 253541
Forward closed progress: 253436
Forward closed progress: 253178
Forward closed progress: 266940
Forward closed progress: 267064
Forward closed progress: 266874
Forward closed progress: 267958
Forward closed progress: 267599
Forward closed progress: 267290
Forward closed progress: 267853
Forward closed progress: 267760
Forward closed progress: 267515
Forward closed progress: 267711
Forward closed progress: 267475
Forward closed progress: 267014
Forward closed progress: 266527
Forward closed progress: 266524
Forward closed progress: 266021
Forward closed progress: 265974
Forward closed progress: 266034
Forward closed progress: 266146
Forward closed progress: 266158
Forward closed progress: 266206
Forward closed progress: 266170
Forward closed progress: 266977
Forward closed progress: 266954
Forward closed progress: 266690
Forward closed progress: 266417
Forward closed progress: 266417
Forward closed progress: 266285
Forward closed progress: 266405
Forward closed progress: 266463
Forward closed progress: 266649
Forward closed progress: 266637
Forward closed progress: 266625
Forward closed progress: 266691
Forward closed progress: 266607
Forward closed progress: 261364
Forward closed progress: 257957
Forward closed progress: 255966
Forward closed progress: 268494
Forward closed progress: 267247
Forward closed progress: 267037
Forward closed progress: 267819
Forward closed progress: 267771
Forward closed progress: 267688
Forward closed progress: 265297
Forward closed progress: 265675
Forward closed progress: 265143
Forward closed progress: 265123
Forward closed progress: 264952
Forward closed progress: 265052
Forward closed progress: 264970
Forward closed progress: 264773
Forward closed progress: 264711
Forward closed progress: 264723
Forward closed progress: 264638
Forward closed progress: 264646
Forward closed progress: 264639
Forward closed progress: 263914
Forward closed progress: 265402
Forward closed progress: 264586
Forward closed progress: 264511
Forward closed progress: 264288
Forward closed progress: 263519
Forward closed progress: 263519
Forward closed progress: 263491
Forward closed progress: 262859
Forward closed progress: 262863
Forward closed progress: 262859
Forward closed progress: 264712
Forward closed progress: 264717
Forward closed progress: 264733
Forward closed progress: 264207
Forward closed progress: 264208
Forward closed progress: 264192
Forward closed progress: 264168
Forward closed progress: 264170
Forward closed progress: 264298
Forward closed progress: 264314
Forward closed progress: 264302
Forward closed progress: 264292
Forward closed progress: 264278
Forward closed progress: 264294
Forward closed progress: 264272
Forward closed progress: 266243
Forward closed progress: 265401
Forward closed progress: 264729
Forward closed progress: 265004
Forward closed progress: 264787
Forward closed progress: 264796
Forward closed progress: 264787
Forward closed progress: 264947
Forward closed progress: 265017
Forward closed progress: 265036
Forward closed progress: 265050
Forward closed progress: 265106
Forward closed progress: 265064
Forward closed progress: 264206
Forward closed progress: 264024
Forward closed progress: 264028
Forward closed progress: 263988
Forward closed progress: 263944
Forward closed progress: 263968
Forward closed progress: 263956
Forward closed progress: 263944
Forward closed progress: 263918
Forward closed progress: 263816
Forward closed progress: 262129
Forward closed progress: 263200
Forward closed progress: 263174
Forward closed progress: 261846
Forward closed progress: 261728
Forward closed progress: 261699
Forward closed progress: 261160
Forward closed progress: 269795
Forward closed progress: 269761
Forward closed progress: 269584
Forward closed progress: 269553
Forward closed progress: 269613
Forward closed progress: 269593
Forward closed progress: 269770
Forward closed progress: 269523
Forward closed progress: 269500
Forward closed progress: 269178
Forward closed progress: 266813
Forward closed progress: 266816
Forward closed progress: 266813
Forward closed progress: 266786
Forward closed progress: 266451
Forward closed progress: 266389
Forward closed progress: 266410
Forward closed progress: 266434
Forward closed progress: 266394
Forward closed progress: 266398
Forward closed progress: 266394
Forward closed progress: 263705
Forward closed progress: 263594
Forward closed progress: 263502
Forward closed progress: 263189
Forward closed progress: 264823
Forward closed progress: 264441
Forward closed progress: 263806
Forward closed progress: 263812
Forward closed progress: 263603
Forward closed progress: 264210
Forward closed progress: 264246
Forward closed progress: 264196
Forward closed progress: 264166
Forward closed progress: 264130
Forward closed progress: 264334
Forward closed progress: 264250
Forward closed progress: 264129
Forward closed progress: 263931
Forward closed progress: 263824
Forward closed progress: 263128
Forward closed progress: 263152
Forward closed progress: 263246
Forward closed progress: 262513
Forward closed progress: 262197
Forward closed progress: 261669
Forward closed progress: 252318
Forward closed progress: 252424
Forward closed progress: 251205
Forward closed progress: 250867
Forward closed progress: 254228
Forward closed progress: 256113
Forward closed progress: 255490
Forward closed progress: 257436
Forward closed progress: 257561
Forward closed progress: 257778
Forward closed progress: 259157
Forward closed progress: 266092
Forward closed progress: 266411
Forward closed progress: 266552
Forward closed progress: 266790
Forward closed progress: 266709
Forward closed progress: 266645
Forward closed progress: 266565
Forward closed progress: 266565
Forward closed progress: 266487
Forward closed progress: 266475
Forward closed progress: 265947
Forward closed progress: 265971
Forward closed progress: 265981
Forward closed progress: 266017
Forward closed progress: 265987
Forward closed progress: 265967
Forward closed progress: 271547
Forward closed progress: 271817
Forward closed progress: 272232
Forward closed progress: 272243
Forward closed progress: 271707
Forward closed progress: 271685
Forward closed progress: 271852
Forward closed progress: 271433
Forward closed progress: 271348
Forward closed progress: 271248
Forward closed progress: 271435
Forward closed progress: 280371
Forward closed progress: 279707
Forward closed progress: 280446
Forward closed progress: 280437
Forward closed progress: 280212
Forward closed progress: 280234
Forward closed progress: 279979
Forward closed progress: 279624
Forward closed progress: 279660
Forward closed progress: 279662
Forward closed progress: 279662
Forward closed progress: 279694
Forward closed progress: 279658
Forward closed progress: 280265
Forward closed progress: 280139
Forward closed progress: 280028
Forward closed progress: 279889
Forward closed progress: 279889
Forward closed progress: 279801
Forward closed progress: 279881
Forward closed progress: 279936
Forward closed progress: 280068
Forward closed progress: 280060
Forward closed progress: 280052
Forward closed progress: 280096
Forward closed progress: 280040
Forward closed progress: 279087
Forward closed progress: 278625
Forward closed progress: 291156
Forward closed progress: 290862
Forward closed progress: 290429
Forward closed progress: 291197
Forward closed progress: 287880
Forward closed progress: 288196
Forward closed progress: 287211
Forward closed progress: 287175
Forward closed progress: 287075
Forward closed progress: 287167
Forward closed progress: 287091
Forward closed progress: 286824
Forward closed progress: 286825
Forward closed progress: 286364
Forward closed progress: 286152
Forward closed progress: 286146
Forward closed progress: 285299
Forward closed progress: 285946
Forward closed progress: 284914
Forward closed progress: 284604
Forward closed progress: 283618
Forward closed progress: 282768
Forward closed progress: 284510
Forward closed progress: 284423
Forward closed progress: 284423
Forward closed progress: 283910
Forward closed progress: 283910
Forward closed progress: 283864
Forward closed progress: 283769
Forward closed progress: 283781
Forward closed progress: 283791
Forward closed progress: 283784
Forward closed progress: 283784
Forward closed progress: 283774
Forward closed progress: 283784
Forward closed progress: 283730
Forward closed progress: 284427
Forward closed progress: 281730
Forward closed progress: 281557
Forward closed progress: 279965
Forward closed progress: 279923
Forward closed progress: 279923
Forward closed progress: 279911
Forward closed progress: 279881
Forward closed progress: 279903
Forward closed progress: 279905
Forward closed progress: 279905
Forward closed progress: 279885
Forward closed progress: 279787
Forward closed progress: 281118
Forward closed progress: 281012
Forward closed progress: 280843
Forward closed progress: 280939
Forward closed progress: 281001
Forward closed progress: 280744
Forward closed progress: 280738
Forward closed progress: 280265
Forward closed progress: 278723
Forward closed progress: 278513
Forward closed progress: 278455
Forward closed progress: 278543
Forward closed progress: 278469
Forward closed progress: 278352
Forward closed progress: 278306
Forward closed progress: 278107
Forward closed progress: 278115
Forward closed progress: 278113
Forward closed progress: 278111
Forward closed progress: 278119
Forward closed progress: 278081
Forward closed progress: 278049
Forward closed progress: 263140
Forward closed progress: 259539
Forward closed progress: 258468
Forward closed progress: 258034
Forward closed progress: 433384
Forward closed progress: 456291
Forward closed progress: 451632
Forward closed progress: 457949
Forward closed progress: 467331
Forward closed progress: 480471
Forward closed progress: 480680
Forward closed progress: 480202
Forward closed progress: 490923
Forward closed progress: 482950
Forward closed progress: 477334
Forward closed progress: 475561
Forward closed progress: 455180
Forward closed progress: 463700
Forward closed progress: 468041
Forward closed progress: 470024
Forward closed progress: 471539
Forward closed progress: 471573
Forward closed progress: 470457
Forward closed progress: 469823
Forward closed progress: 469960
Forward closed progress: 462477
Forward closed progress: 462514
Forward closed progress: 470380
Forward closed progress: 469140
Forward closed progress: 469295
Forward closed progress: 469433
Forward closed progress: 469415
Forward closed progress: 466146
Forward closed progress: 463320
Forward closed progress: 463682
Forward closed progress: 463770
Forward closed progress: 505141
Forward closed progress: 500857
Forward closed progress: 500571
Forward closed progress: 502452
Forward closed progress: 506985
Forward closed progress: 506869
Forward closed progress: 506554
Forward closed progress: 508486
Forward closed progress: 508424
Forward closed progress: 507709
Forward closed progress: 508230
Forward closed progress: 506794
Forward closed progress: 506116
Forward closed progress: 506519
Forward closed progress: 506352
Forward closed progress: 505188
Forward closed progress: 504575
Forward closed progress: 497244
Forward closed progress: 497959
Forward closed progress: 497220
Forward closed progress: 497407
Forward closed progress: 497445
Forward closed progress: 497433
Forward closed progress: 497326
Forward closed progress: 496337
Forward closed progress: 480031
Forward closed progress: 479921
Forward closed progress: 471846
Forward closed progress: 500410
Forward closed progress: 498477
Forward closed progress: 499191
Forward closed progress: 498652
Forward closed progress: 498391
Forward closed progress: 498383
Forward closed progress: 498417
Forward closed progress: 498348
Forward closed progress: 495798
Forward closed progress: 495575
Forward closed progress: 495276
Forward closed progress: 495421
Forward closed progress: 495283
Forward closed progress: 494809
Forward closed progress: 495237
Forward closed progress: 492790
Forward closed progress: 492852
Forward closed progress: 492927
Forward closed progress: 484348
Forward closed progress: 484411
Forward closed progress: 484466
Forward closed progress: 466361
Forward closed progress: 466933
Forward closed progress: 467840
Forward closed progress: 467613
Forward closed progress: 467611
Forward closed progress: 467545
Forward closed progress: 456548
Forward closed progress: 456790
Forward closed progress: 456580
Forward closed progress: 456155
Forward closed progress: 455043
Forward closed progress: 454518
Forward closed progress: 453942
Forward closed progress: 445911
Forward closed progress: 446079
Forward closed progress: 445887
Forward closed progress: 445759
Forward closed progress: 448440
Forward closed progress: 447445
Forward closed progress: 446951
Forward closed progress: 446933
Forward closed progress: 446209
Forward closed progress: 445925
Forward closed progress: 445336
Forward closed progress: 444752
Forward closed progress: 444628
Forward closed progress: 444369
Forward closed progress: 444495
Forward closed progress: 444489
Forward closed progress: 444412
Forward closed progress: 444369
Forward closed progress: 420710
Forward closed progress: 415651
Forward closed progress: 418308
Forward closed progress: 418582
Forward closed progress: 418368
Forward closed progress: 418706
Forward closed progress: 419378
Forward closed progress: 419335
Forward closed progress: 418847
Forward closed progress: 418753
Forward closed progress: 418767
Forward closed progress: 418453
Forward closed progress: 418564
Forward closed progress: 418059
Forward closed progress: 417566
Forward closed progress: 417556
Forward closed progress: 415453
Forward closed progress: 415214
Forward closed progress: 413998
Forward closed progress: 415220
Forward closed progress: 415136
Forward closed progress: 415172
Forward closed progress: 415661
Forward closed progress: 415611
Forward closed progress: 415604
Forward closed progress: 415433
Forward closed progress: 415040
Forward closed progress: 415039
Forward closed progress: 415009
Forward closed progress: 415019
Forward closed progress: 415014
Forward closed progress: 414859
Forward closed progress: 414679
Forward closed progress: 414626
Forward closed progress: 414085
Forward closed progress: 414045
Forward closed progress: 414004
Forward closed progress: 413898
Forward closed progress: 413629
Forward closed progress: 413511
Forward closed progress: 412412
Forward closed progress: 389850
Forward closed progress: 390181
Forward closed progress: 390443
Forward closed progress: 390366
Forward closed progress: 390920
Forward closed progress: 391464
Forward closed progress: 391462
Forward closed progress: 391444
Forward closed progress: 391361
Forward closed progress: 391363
Forward closed progress: 391365
Forward closed progress: 391369
Forward closed progress: 392112
Forward closed progress: 392140
Forward closed progress: 392137
Forward closed progress: 392129
Forward closed progress: 392125
Forward closed progress: 392107
Forward closed progress: 392081
Forward closed progress: 392063
Forward closed progress: 393278
Forward closed progress: 393374
Forward closed progress: 393497
Forward closed progress: 393515
Forward closed progress: 393442
Forward closed progress: 393424
Forward closed progress: 393326
Forward closed progress: 393319
Forward closed progress: 393331
Forward closed progress: 393333
Forward closed progress: 393336
Forward closed progress: 393478
Forward closed progress: 393490
Forward closed progress: 393441
Forward closed progress: 393407
Forward closed progress: 393399
Forward closed progress: 393366
Forward closed progress: 393382
Forward closed progress: 393390
Forward closed progress: 393442
Forward closed progress: 393440
Forward closed progress: 393432
Forward closed progress: 390964
Forward closed progress: 390697
Forward closed progress: 391492
Forward closed progress: 391405
Forward closed progress: 391308
Forward closed progress: 391333
Forward closed progress: 391066
Forward closed progress: 391001
Forward closed progress: 391017
Forward closed progress: 390949
Forward closed progress: 390855
Forward closed progress: 390914
Forward closed progress: 390848
Forward closed progress: 390842
Forward closed progress: 390806
Forward closed progress: 390459
Forward closed progress: 390431
Forward closed progress: 390928
Forward closed progress: 390884
Forward closed progress: 391134
Forward closed progress: 391050
Forward closed progress: 391067
Forward closed progress: 390228
Forward closed progress: 389898
Forward closed progress: 389780
Forward closed progress: 389746
Forward closed progress: 429555
Forward closed progress: 432708
Forward closed progress: 433455
Forward closed progress: 433961
Forward closed progress: 433769
Forward closed progress: 434040
Forward closed progress: 434064
Forward closed progress: 434087
Forward closed progress: 435103
Forward closed progress: 432532
Forward closed progress: 431488
Forward closed progress: 432029
Forward closed progress: 431661
Forward closed progress: 433370
Forward closed progress: 432906
Forward closed progress: 432935
Forward closed progress: 432923
Forward closed progress: 432900
Forward closed progress: 432807
Forward closed progress: 432780
Forward closed progress: 432764
Forward closed progress: 431477
Forward closed progress: 432306
Forward closed progress: 432443
Forward closed progress: 435448
Forward closed progress: 436968
Forward closed progress: 436964
Forward closed progress: 436923
Forward closed progress: 436916
Forward closed progress: 436895
Forward closed progress: 436731
Forward closed progress: 436702
Forward closed progress: 436038
Forward closed progress: 434157
Forward closed progress: 434142
Forward closed progress: 430208
Forward closed progress: 428194
Forward closed progress: 428177
Forward closed progress: 428120
Forward closed progress: 427967
Forward closed progress: 427690
Forward closed progress: 423514
Forward closed progress: 422997
Forward closed progress: 445095
Forward closed progress: 445587
Forward closed progress: 445881
Forward closed progress: 444823
Forward closed progress: 445519
Forward closed progress: 446116
Forward closed progress: 446606
Forward closed progress: 445890
Forward closed progress: 437219
Forward closed progress: 437901
Forward closed progress: 438758
Forward closed progress: 438582
Forward closed progress: 436437
Forward closed progress: 436296
Forward closed progress: 436285
Forward closed progress: 434400
Forward closed progress: 434042
Forward closed progress: 433315
Forward closed progress: 433587
Forward closed progress: 429886
Forward closed progress: 425694
Forward closed progress: 422873
Forward closed progress: 423366
Forward closed progress: 424143
Forward closed progress: 424100
Forward closed progress: 424009
Forward closed progress: 423442
Forward closed progress: 423342
Forward closed progress: 422563
Forward closed progress: 417028
Forward closed progress: 417968
Forward closed progress: 418007
Forward closed progress: 418725
Forward closed progress: 419074
Forward closed progress: 417845
Forward closed progress: 417637
Forward closed progress: 420126
Forward closed progress: 419412
Forward closed progress: 419410
Forward closed progress: 419431
Forward closed progress: 419573
Forward closed progress: 419628
Forward closed progress: 419795
Forward closed progress: 419674
Forward closed progress: 418729
Forward closed progress: 418692
Forward closed progress: 416740
Forward closed progress: 423059
Forward closed progress: 423102
Forward closed progress: 423046
Forward closed progress: 422595
Forward closed progress: 422483
Forward closed progress: 422432
Forward closed progress: 422506
Forward closed progress: 422019
Forward closed progress: 422041
Forward closed progress: 422097
Forward closed progress: 422128
Forward closed progress: 422059
Forward closed progress: 422059
Forward closed progress: 422039
Forward closed progress: 422000
Forward closed progress: 421977
Forward closed progress: 421831
Forward closed progress: 422278
Forward closed progress: 422789
Forward closed progress: 422765
Forward closed progress: 422770
Forward closed progress: 422788
Forward closed progress: 422826
Forward closed progress: 422091
Forward closed progress: 422388
Forward closed progress: 422275
Forward closed progress: 421936
Forward closed progress: 419443
Forward closed progress: 419342
Forward closed progress: 419079
Forward closed progress: 498446
Forward closed progress: 633525
Forward closed progress: 629107
Forward closed progress: 627305
Forward closed progress: 626185
Forward closed progress: 620265
Forward closed progress: 620431
Forward closed progress: 618969
Forward closed progress: 614328
Forward closed progress: 617646
Forward closed progress: 617462
Forward closed progress: 617718
Forward closed progress: 616149
Forward closed progress: 619383
Forward closed progress: 620151
Forward closed progress: 620403
Forward closed progress: 620264
Forward closed progress: 620192
Forward closed progress: 635250
Forward closed progress: 644245
Forward closed progress: 644153
Forward closed progress: 644057
Forward closed progress: 643499
Forward closed progress: 643486
Forward closed progress: 642447
Forward closed progress: 619934
Forward closed progress: 619619
Forward closed progress: 619712
Forward closed progress: 618911
Forward closed progress: 597405
Forward closed progress: 578632
Forward closed progress: 575676
Forward closed progress: 575070
Forward closed progress: 565955
Forward closed progress: 566125
Forward closed progress: 566127
Forward closed progress: 566151
Forward closed progress: 566123
Forward closed progress: 565303
Forward closed progress: 565254
Forward closed progress: 565620
Forward closed progress: 565591
Forward closed progress: 563803
Forward closed progress: 563911
Forward closed progress: 567981
Forward closed progress: 568588
Forward closed progress: 568574
Forward closed progress: 568826
Forward closed progress: 568715
Forward closed progress: 568954
Forward closed progress: 569591
Forward closed progress: 569557
Forward closed progress: 569771
Forward closed progress: 569834
Forward closed progress: 569888
Forward closed progress: 569863
Forward closed progress: 569609
Forward closed progress: 569617
Forward closed progress: 586712
Forward closed progress: 588878
Forward closed progress: 589588
Forward closed progress: 587615
Forward closed progress: 587415
Forward closed progress: 587315
Forward closed progress: 583735
Forward closed progress: 585549
Forward closed progress: 584338
Forward closed progress: 584333
Forward closed progress: 584312
Forward closed progress: 586764
Forward closed progress: 586694
Forward closed progress: 586002
Forward closed progress: 584603
Forward closed progress: 584046
Forward closed progress: 583722
Forward closed progress: 583404
Forward closed progress: 583736
Forward closed progress: 579341
Forward closed progress: 579571
Forward closed progress: 577313
Forward closed progress: 577291
Forward closed progress: 576834
Forward closed progress: 572873
Forward closed progress: 572692
Forward closed progress: 572670
Forward closed progress: 571587
Forward closed progress: 571461
Forward closed progress: 569415
Forward closed progress: 567580
Forward closed progress: 567545
Forward closed progress: 567642
Forward closed progress: 567691
Forward closed progress: 567680
Forward closed progress: 567459
Forward closed progress: 567378
Forward closed progress: 567368
Forward closed progress: 568825
Forward closed progress: 568601
Forward closed progress: 568827
Forward closed progress: 567777
Forward closed progress: 588705
Forward closed progress: 591769
Forward closed progress: 592717
Forward closed progress: 593307
Forward closed progress: 604018
Forward closed progress: 610532
Forward closed progress: 610579
Forward closed progress: 610788
Forward closed progress: 609724
Forward closed progress: 607739
Forward closed progress: 607873
Forward closed progress: 608772
Forward closed progress: 608596
Forward closed progress: 607570
Forward closed progress: 608564
Forward closed progress: 608571
Forward closed progress: 608575
Forward closed progress: 608491
Forward closed progress: 608358
Forward closed progress: 677849
Forward closed progress: 675990
Forward closed progress: 683371
Forward closed progress: 684044
Forward closed progress: 686741
Forward closed progress: 686779
Forward closed progress: 686866
Forward closed progress: 686043
Forward closed progress: 683940
Forward closed progress: 687741
Forward closed progress: 688148
Forward closed progress: 687864
Forward closed progress: 687253
Forward closed progress: 688440
Forward closed progress: 688442
Forward closed progress: 688410
Forward closed progress: 688138
Forward closed progress: 688135
Forward closed progress: 688112
Forward closed progress: 687409
Forward closed progress: 687202
Forward closed progress: 686392
Forward closed progress: 684503
Forward closed progress: 685925
Forward closed progress: 697257
Forward closed progress: 697135
Forward closed progress: 695457
Forward closed progress: 696499
Forward closed progress: 696260
Forward closed progress: 695487
Forward closed progress: 695086
Forward closed progress: 692767
Forward closed progress: 692247
Forward closed progress: 692463
Forward closed progress: 692416
Forward closed progress: 692544
Forward closed progress: 692520
Forward closed progress: 691525
Forward closed progress: 688818
Forward closed progress: 712381
Forward closed progress: 713220
Forward closed progress: 713219
Forward closed progress: 713541
Forward closed progress: 714976
Forward closed progress: 714403
Forward closed progress: 714545
Forward closed progress: 713577
Forward closed progress: 713095
Forward closed progress: 712510
Forward closed progress: 712392
Forward closed progress: 713292
Forward closed progress: 712051
Forward closed progress: 703902
Forward closed progress: 714700
Forward closed progress: 711758
Forward closed progress: 711826
Forward closed progress: 711814
Forward closed progress: 711662
Forward closed progress: 711702
Forward closed progress: 711660
Forward closed progress: 711388
Forward closed progress: 711502
Forward closed progress: 711058
Forward closed progress: 710378
Forward closed progress: 711634
Forward closed progress: 711806
Forward closed progress: 711161
Forward closed progress: 711253
Forward closed progress: 711217
Forward closed progress: 711169
Forward closed progress: 711121
Forward closed progress: 710435
Forward closed progress: 710215
Forward closed progress: 710141
Forward closed progress: 709494
Forward closed progress: 715433
Forward closed progress: 715207
Forward closed progress: 714424
Forward closed progress: 712492
Forward closed progress: 712580
Forward closed progress: 712568
Forward closed progress: 712548
Forward closed progress: 712532
Forward closed progress: 712316
Forward closed progress: 712356
Forward closed progress: 712314
Forward closed progress: 712218
Forward closed progress: 712282
Forward closed progress: 714035
Forward closed progress: 714131
Forward closed progress: 713872
Forward closed progress: 713982
Forward closed progress: 713952
Forward closed progress: 713884
Forward closed progress: 713850
Forward closed progress: 713570
Forward closed progress: 713204
Forward closed progress: 713976
Forward closed progress: 712786
Forward closed progress: 712846
Forward closed progress: 712834
Forward closed progress: 712706
Forward closed progress: 712746
Forward closed progress: 712704
Forward closed progress: 712480
Forward closed progress: 712582
Forward closed progress: 712236
Forward closed progress: 711708
Forward closed progress: 710788
Forward closed progress: 710956
Forward closed progress: 710197
Forward closed progress: 710289
Forward closed progress: 710253
Forward closed progress: 710205
Forward closed progress: 710157
Forward closed progress: 709385
Forward closed progress: 708720
Forward closed progress: 718425
Forward closed progress: 722329
Forward closed progress: 722659
Forward closed progress: 721094
Forward closed progress: 715777
Forward closed progress: 716350
Forward closed progress: 716067
Forward closed progress: 716047
Forward closed progress: 716305
Forward closed progress: 716245
Forward closed progress: 715999
Forward closed progress: 713327
Forward closed progress: 714809
Forward closed progress: 714750
Forward closed progress: 714576
Forward closed progress: 714576
Forward closed progress: 714553
Forward closed progress: 714539
Forward closed progress: 714684
Forward closed progress: 714725
Forward closed progress: 715157
Forward closed progress: 714933
Forward closed progress: 738168
Forward closed progress: 738159
Forward closed progress: 735626
Forward closed progress: 735590
Forward closed progress: 735570
Forward closed progress: 733884
Forward closed progress: 730184
Forward closed progress: 730906
Forward closed progress: 731068
Forward closed progress: 726275
Forward closed progress: 726777
Forward closed progress: 725827
Forward closed progress: 725427
Forward closed progress: 725223
Forward closed progress: 725185
Forward closed progress: 725793
Forward closed progress: 723222
Forward closed progress: 725437
Forward closed progress: 725425
Forward closed progress: 724863
Forward closed progress: 724937
Forward closed progress: 724915
Forward closed progress: 724941
Forward closed progress: 722056
Forward closed progress: 722179
Forward closed progress: 722452
Forward closed progress: 722616
Forward closed progress: 722272
Forward closed progress: 722377
Forward closed progress: 722336
Forward closed progress: 722593
Forward closed progress: 722575
Forward closed progress: 722466
Forward closed progress: 722460
Forward closed progress: 722429
Forward closed progress: 719894
Forward closed progress: 719254
Forward closed progress: 719334
Forward closed progress: 706737
Forward closed progress: 706701
Forward closed progress: 706658
Forward closed progress: 706566
Forward closed progress: 706420
Forward closed progress: 706423
Forward closed progress: 706429
Forward closed progress: 706405
Forward closed progress: 706978
Forward closed progress: 707124
Forward closed progress: 705879
Forward closed progress: 704319
Forward closed progress: 704321
Forward closed progress: 698232
Forward closed progress: 697994
Forward closed progress: 698037
Forward closed progress: 698051
Forward closed progress: 698046
Forward closed progress: 697475
Forward closed progress: 697840
Forward closed progress: 697723
Forward closed progress: 697616
Forward closed progress: 697628
Forward closed progress: 697364
Forward closed progress: 697271
Forward closed progress: 697271
Control exists for 151600 color(s), jumping through 4294967296 vertices.
Elapsed: 2245511 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 2245.511
user ??
sys ??
