>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 3240
Perturbation colors: 9007199254740992
All colors: 29183325585360814000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 3026418949592973300
Attractor colors computed in 6779 ms.
Backward progress: 126363
Backward progress: 130623
Backward progress: 129696
Backward progress: 140200
Backward progress: 138215
Backward progress: 138260
Backward progress: 139288
Backward progress: 137899
Backward progress: 132826
Backward progress: 131364
Backward progress: 129756
Backward progress: 130777
Backward progress: 131557
Backward progress: 127800
Backward progress: 127536
Backward progress: 123360
Backward progress: 104751
Backward progress: 134424
Backward progress: 139473
Backward progress: 139472
Backward progress: 139564
Backward progress: 139102
Backward progress: 139168
Backward progress: 140031
Backward progress: 139234
Backward progress: 144317
Backward progress: 133968
Backward progress: 123726
Backward progress: 112237
Backward progress: 150828
Backward progress: 169400
Backward progress: 168496
Backward progress: 213094
Backward progress: 212896
Backward progress: 212644
Backward progress: 213784
Backward progress: 216948
Backward progress: 216968
Backward progress: 214162
Backward progress: 208155
Backward progress: 214748
Backward progress: 213832
Backward progress: 208867
Backward progress: 210300
Backward progress: 212209
Backward progress: 206339
Backward progress: 206367
Backward progress: 206496
Backward progress: 198120
Backward progress: 198618
Backward progress: 160894
Backward progress: 150675
Backward progress: 156219
Backward progress: 155407
Backward progress: 154854
Backward progress: 154799
Backward progress: 154693
Backward progress: 154943
Backward progress: 154585
Backward progress: 153717
Backward progress: 121133
Backward progress: 174051
Backward progress: 180881
Backward progress: 208041
Backward progress: 214576
Backward progress: 216338
Backward progress: 216326
Backward progress: 218695
Backward progress: 221867
Backward progress: 225225
Backward progress: 223217
Backward progress: 225195
Backward progress: 261565
Backward progress: 284371
Backward progress: 293257
Backward progress: 304735
Backward progress: 300076
Backward progress: 296681
Backward progress: 295609
Backward progress: 294875
Backward progress: 297014
Backward progress: 319807
Backward progress: 298282
Backward progress: 298296
Backward progress: 297557
Backward progress: 313850
Backward progress: 304263
Backward progress: 308211
Backward progress: 308679
Backward progress: 372311
Backward progress: 317483
Backward progress: 316189
Backward progress: 316088
Backward progress: 315913
Backward progress: 315854
Backward progress: 315057
Backward progress: 314223
Backward progress: 311516
Backward progress: 290095
Backward progress: 290095
Forward closed progress: 289187
Forward closed progress: 289195
Forward closed progress: 377330
Forward closed progress: 287093
Forward closed progress: 287172
Forward closed progress: 287448
Forward closed progress: 288000
Forward closed progress: 287724
Forward closed progress: 287933
Forward closed progress: 288526
Forward closed progress: 288662
Forward closed progress: 287066
Forward closed progress: 287768
Forward closed progress: 288475
Forward closed progress: 291237
Forward closed progress: 291321
Forward closed progress: 289127
Forward closed progress: 293359
Forward closed progress: 284925
Forward closed progress: 297924
Forward closed progress: 298830
Forward closed progress: 289408
Forward closed progress: 318234
Forward closed progress: 330529
Forward closed progress: 335730
Forward closed progress: 335463
Forward closed progress: 335443
Forward closed progress: 335443
Forward closed progress: 293477
Forward closed progress: 341653
Forward closed progress: 354758
Forward closed progress: 360177
Forward closed progress: 360167
Forward closed progress: 360167
Forward closed progress: 313397
Forward closed progress: 313061
Forward closed progress: 306116
Forward closed progress: 282568
Forward closed progress: 407453
Forward closed progress: 290676
Forward closed progress: 292654
Forward closed progress: 294648
Forward closed progress: 323363
Forward closed progress: 326399
Forward closed progress: 340476
Forward closed progress: 340629
Forward closed progress: 340655
Forward closed progress: 331765
Forward closed progress: 299860
Forward closed progress: 380793
Forward closed progress: 382893
Forward closed progress: 383498
Forward closed progress: 383431
Forward closed progress: 388887
Forward closed progress: 428109
Forward closed progress: 460491
Forward closed progress: 460686
Forward closed progress: 460724
Forward closed progress: 420255
Forward closed progress: 420109
Forward closed progress: 418004
Forward closed progress: 416297
Forward closed progress: 311657
Forward closed progress: 400514
Forward closed progress: 399636
Forward closed progress: 402628
Forward closed progress: 392574
Forward closed progress: 392589
Forward closed progress: 392595
Forward closed progress: 392577
Forward closed progress: 356815
Forward closed progress: 334924
Forward closed progress: 334645
Forward closed progress: 347841
Forward closed progress: 348000
Forward closed progress: 348026
Forward closed progress: 337346
Forward closed progress: 304998
Forward closed progress: 322973
Forward closed progress: 316886
Forward closed progress: 327830
Forward closed progress: 327950
Forward closed progress: 327974
Forward closed progress: 305439
Forward closed progress: 362969
Forward closed progress: 364929
Forward closed progress: 344083
Forward closed progress: 274361
Forward closed progress: 413343
Forward closed progress: 507339
Forward closed progress: 557379
Forward closed progress: 559164
Forward closed progress: 559488
Forward closed progress: 510676
Forward closed progress: 400387
Forward closed progress: 364095
Forward closed progress: 356090
Forward closed progress: 305712
Forward closed progress: 276337
Forward closed progress: 517246
Forward closed progress: 517730
Forward closed progress: 279806
Forward closed progress: 388544
Forward closed progress: 545901
Forward closed progress: 695015
Forward closed progress: 731350
Forward closed progress: 732792
Forward closed progress: 733140
Forward closed progress: 680835
Forward closed progress: 694204
Forward closed progress: 694096
Forward closed progress: 614110
Forward closed progress: 657682
Forward closed progress: 657729
Forward closed progress: 577619
Forward closed progress: 565923
Forward closed progress: 554179
Forward closed progress: 554224
Forward closed progress: 538300
Forward closed progress: 527844
Forward closed progress: 523558
Forward closed progress: 529766
Forward closed progress: 595558
Forward closed progress: 594479
Forward closed progress: 554228
Forward closed progress: 555297
Forward closed progress: 554977
Forward closed progress: 510102
Forward closed progress: 744412
Forward closed progress: 1150236
Forward closed progress: 1151114
Forward closed progress: 828504
Forward closed progress: 827756
Forward closed progress: 828032
Forward closed progress: 777044
Forward closed progress: 766246
Forward closed progress: 994730
Forward closed progress: 768173
Forward closed progress: 769262
Forward closed progress: 771446
Forward closed progress: 724099
Forward closed progress: 956530
Forward closed progress: 962637
Forward closed progress: 789729
Forward closed progress: 763792
Forward closed progress: 896327
Forward closed progress: 896536
Forward closed progress: 813875
Forward closed progress: 813737
Forward closed progress: 803095
Forward closed progress: 774101
Forward closed progress: 681620
Forward closed progress: 517037
Forward closed progress: 525226
Forward closed progress: 517791
Forward closed progress: 517276
Forward closed progress: 517140
Forward closed progress: 510924
Forward closed progress: 509166
Forward closed progress: 684612
Forward closed progress: 680100
Forward closed progress: 676494
Forward closed progress: 814780
Forward closed progress: 844207
Forward closed progress: 844458
Forward closed progress: 874845
Forward closed progress: 874872
Forward closed progress: 886061
Forward closed progress: 1016475
Forward closed progress: 1019473
Forward closed progress: 1088853
Forward closed progress: 1089205
Forward closed progress: 1089243
Forward closed progress: 1037479
Forward closed progress: 1027783
Forward closed progress: 1014545
Forward closed progress: 1013570
Forward closed progress: 1013202
Forward closed progress: 1012764
Forward closed progress: 938246
Forward closed progress: 939049
Forward closed progress: 939029
Forward closed progress: 939183
Forward closed progress: 939251
Forward closed progress: 934620
Forward closed progress: 925306
Forward closed progress: 1087683
Forward closed progress: 1077362
Forward closed progress: 1077287
Forward closed progress: 982445
Forward closed progress: 983547
Forward closed progress: 983803
Forward closed progress: 973300
Forward closed progress: 973325
Forward closed progress: 1133856
Forward closed progress: 1133894
Forward closed progress: 993776
Forward closed progress: 1005728
Forward closed progress: 1003240
Forward closed progress: 1003493
Forward closed progress: 1010845
Forward closed progress: 1059776
Forward closed progress: 1056163
Forward closed progress: 1046842
Forward closed progress: 904550
Forward closed progress: 896452
Forward closed progress: 893055
Forward closed progress: 822547
Forward closed progress: 815213
Forward closed progress: 660803
Forward closed progress: 628540
Forward closed progress: 614704
Forward closed progress: 609440
Forward closed progress: 648580
Forward closed progress: 648547
Forward closed progress: 598745
Forward closed progress: 598697
Forward closed progress: 604713
Forward closed progress: 603290
Forward closed progress: 567996
Forward closed progress: 560508
Forward closed progress: 568078
Forward closed progress: 568098
Forward closed progress: 561806
Forward closed progress: 554236
Forward closed progress: 546623
Forward closed progress: 546387
Forward closed progress: 546435
Forward closed progress: 546365
Forward closed progress: 546269
Forward closed progress: 538033
Forward closed progress: 536755
Forward closed progress: 543249
Forward closed progress: 538672
Forward closed progress: 538555
Forward closed progress: 538282
Forward closed progress: 538633
Forward closed progress: 538633
Forward closed progress: 538599
Forward closed progress: 538631
Forward closed progress: 538617
Forward closed progress: 538198
Forward closed progress: 538224
Forward closed progress: 538228
Forward closed progress: 537578
Forward closed progress: 873103
Forward closed progress: 1024551
Forward closed progress: 1063403
Forward closed progress: 1120733
Forward closed progress: 1121833
Forward closed progress: 1121967
Forward closed progress: 1022832
Forward closed progress: 1014304
Forward closed progress: 959252
Forward closed progress: 967337
Forward closed progress: 1015656
Forward closed progress: 1030032
Forward closed progress: 1061866
Forward closed progress: 1263855
Forward closed progress: 1263989
Forward closed progress: 1067016
Forward closed progress: 1090681
Forward closed progress: 1187792
Forward closed progress: 1194133
Forward closed progress: 1194501
Forward closed progress: 899435
Forward closed progress: 889023
Forward closed progress: 892347
Forward closed progress: 792213
Forward closed progress: 792323
Forward closed progress: 792363
Forward closed progress: 558018
Forward closed progress: 557736
Forward closed progress: 556604
Forward closed progress: 556759
Forward closed progress: 556398
Forward closed progress: 555475
Forward closed progress: 550951
Forward closed progress: 548593
Forward closed progress: 548425
Forward closed progress: 542674
Forward closed progress: 543214
Forward closed progress: 1163007
Forward closed progress: 1392864
Forward closed progress: 1363341
Forward closed progress: 1245991
Forward closed progress: 985179
Forward closed progress: 986440
Forward closed progress: 968294
Forward closed progress: 567398
Forward closed progress: 631566
Forward closed progress: 617806
Forward closed progress: 573608
Forward closed progress: 586326
Forward closed progress: 586366
Forward closed progress: 573818
Forward closed progress: 554835
Forward closed progress: 558531
Forward closed progress: 553793
Forward closed progress: 559615
Forward closed progress: 540481
Forward closed progress: 528881
Forward closed progress: 528959
Forward closed progress: 668296
Forward closed progress: 731433
Forward closed progress: 801542
Forward closed progress: 809863
Forward closed progress: 842188
Forward closed progress: 842566
Forward closed progress: 842638
Forward closed progress: 831483
Forward closed progress: 853517
Forward closed progress: 846683
Forward closed progress: 828539
Forward closed progress: 848742
Forward closed progress: 855350
Forward closed progress: 933207
Forward closed progress: 933348
Forward closed progress: 964784
Forward closed progress: 989600
Forward closed progress: 989246
Forward closed progress: 997244
Forward closed progress: 1018903
Forward closed progress: 1021720
Forward closed progress: 1021036
Forward closed progress: 1016037
Forward closed progress: 1024297
Forward closed progress: 1030517
Forward closed progress: 954648
Forward closed progress: 972123
Forward closed progress: 905639
Forward closed progress: 948054
Forward closed progress: 948174
Forward closed progress: 923885
Forward closed progress: 915915
Forward closed progress: 905443
Forward closed progress: 862128
Forward closed progress: 844734
Forward closed progress: 803395
Forward closed progress: 827914
Forward closed progress: 828163
Forward closed progress: 855204
Forward closed progress: 855227
Forward closed progress: 685736
Forward closed progress: 681574
Forward closed progress: 675683
Forward closed progress: 670313
Forward closed progress: 723703
Forward closed progress: 720222
Forward closed progress: 623598
Forward closed progress: 629309
Forward closed progress: 629158
Forward closed progress: 627632
Forward closed progress: 607647
Forward closed progress: 627773
Forward closed progress: 627785
Forward closed progress: 608113
Forward closed progress: 584877
Forward closed progress: 586534
Forward closed progress: 582802
Forward closed progress: 582778
Forward closed progress: 580500
Forward closed progress: 555739
Forward closed progress: 554369
Forward closed progress: 506917
Forward closed progress: 679688
Forward closed progress: 825561
Forward closed progress: 778571
Forward closed progress: 951170
Forward closed progress: 953577
Forward closed progress: 953827
Forward closed progress: 942156
Forward closed progress: 950997
Forward closed progress: 993276
Forward closed progress: 1011682
Forward closed progress: 1151959
Forward closed progress: 1293093
Forward closed progress: 1473909
Forward closed progress: 1737753
Forward closed progress: 1736532
Forward closed progress: 1660328
Forward closed progress: 1722234
Forward closed progress: 1791708
Forward closed progress: 1802580
Forward closed progress: 1785551
Forward closed progress: 1753855
Forward closed progress: 1736207
Forward closed progress: 1772879
Forward closed progress: 1749736
Forward closed progress: 1758054
Forward closed progress: 1759298
Forward closed progress: 1708164
Forward closed progress: 1685589
Forward closed progress: 1716343
Forward closed progress: 1524174
Forward closed progress: 1574681
Forward closed progress: 1575122
Forward closed progress: 1436401
Forward closed progress: 1412905
Forward closed progress: 1365188
Forward closed progress: 1362239
Forward closed progress: 1358622
Forward closed progress: 1338172
Forward closed progress: 1337960
Forward closed progress: 1338254
Forward closed progress: 1335966
Forward closed progress: 1152620
Forward closed progress: 1152632
Forward closed progress: 1152493
Forward closed progress: 1152492
Forward closed progress: 1152548
Forward closed progress: 1152526
Forward closed progress: 1152692
Forward closed progress: 1152745
Forward closed progress: 1152505
Forward closed progress: 1152631
Forward closed progress: 1152694
Forward closed progress: 1154430
Forward closed progress: 1154428
Forward closed progress: 1156156
Forward closed progress: 1159968
Forward closed progress: 1159970
Forward closed progress: 1157626
Forward closed progress: 1153830
Forward closed progress: 1153746
Forward closed progress: 1152714
Forward closed progress: 1152712
Forward closed progress: 1152687
Forward closed progress: 1235885
Forward closed progress: 1216648
Forward closed progress: 1095988
Forward closed progress: 1155193
Forward closed progress: 1155483
Forward closed progress: 1111889
Forward closed progress: 1109038
Forward closed progress: 1096278
Forward closed progress: 1066760
Forward closed progress: 1038158
Forward closed progress: 924258
Forward closed progress: 826070
Forward closed progress: 800434
Forward closed progress: 800419
Forward closed progress: 801219
Forward closed progress: 798960
Forward closed progress: 798913
Forward closed progress: 798937
Forward closed progress: 798573
Forward closed progress: 796564
Forward closed progress: 791841
Forward closed progress: 695434
Forward closed progress: 697174
Forward closed progress: 697225
Forward closed progress: 698842
Forward closed progress: 698848
Forward closed progress: 658337
Forward closed progress: 657933
Forward closed progress: 658233
Forward closed progress: 658473
Forward closed progress: 661611
Forward closed progress: 661599
Forward closed progress: 661805
Forward closed progress: 662840
Forward closed progress: 662801
Forward closed progress: 663002
Forward closed progress: 660023
Forward closed progress: 658451
Forward closed progress: 660029
Forward closed progress: 660047
Forward closed progress: 658442
Forward closed progress: 657095
Forward closed progress: 609903
Forward closed progress: 506923
Forward closed progress: 632230
Forward closed progress: 611597
Forward closed progress: 611423
Forward closed progress: 611148
Forward closed progress: 611968
Forward closed progress: 611968
Forward closed progress: 613733
Forward closed progress: 800571
Forward closed progress: 933908
Forward closed progress: 1153626
Forward closed progress: 1156072
Forward closed progress: 1156326
Forward closed progress: 1146863
Forward closed progress: 1196007
Forward closed progress: 1254359
Forward closed progress: 1276257
Forward closed progress: 1459402
Forward closed progress: 1674844
Forward closed progress: 1911910
Forward closed progress: 2435936
Forward closed progress: 2435211
Forward closed progress: 2101153
Forward closed progress: 2261495
Forward closed progress: 2477370
Forward closed progress: 2493415
Forward closed progress: 2485644
Forward closed progress: 2455948
Forward closed progress: 2445445
Forward closed progress: 2576505
Forward closed progress: 2516929
Forward closed progress: 2560598
Forward closed progress: 2572103
Forward closed progress: 2248584
Forward closed progress: 2233852
Forward closed progress: 2493288
Forward closed progress: 2495972
Forward closed progress: 2593934
Forward closed progress: 2607637
Forward closed progress: 2599547
Forward closed progress: 2613806
Forward closed progress: 2647860
Forward closed progress: 2471039
Forward closed progress: 2529247
Forward closed progress: 2529940
Forward closed progress: 2391897
Forward closed progress: 2371150
Forward closed progress: 2319650
Forward closed progress: 2312711
Forward closed progress: 2310565
Forward closed progress: 2344917
Forward closed progress: 2340187
Forward closed progress: 2393637
Forward closed progress: 2391794
Forward closed progress: 1963583
Forward closed progress: 2006577
Forward closed progress: 2013925
Forward closed progress: 2048103
Forward closed progress: 2048484
Forward closed progress: 2098775
Forward closed progress: 2265356
Forward closed progress: 2395341
Forward closed progress: 2395825
Forward closed progress: 2395887
Forward closed progress: 2295455
Forward closed progress: 2293816
Forward closed progress: 2293038
Forward closed progress: 2278465
Forward closed progress: 2294054
Forward closed progress: 2410875
Forward closed progress: 2446484
Forward closed progress: 2447042
Forward closed progress: 2447316
Forward closed progress: 2447350
Forward closed progress: 2427813
Forward closed progress: 2421261
Forward closed progress: 2653373
Forward closed progress: 2645516
Forward closed progress: 2644361
Forward closed progress: 2742906
Forward closed progress: 2666712
Forward closed progress: 2667123
Forward closed progress: 2681309
Forward closed progress: 2670877
Forward closed progress: 2671878
Forward closed progress: 2812326
Forward closed progress: 2812804
Forward closed progress: 2691708
Forward closed progress: 2691107
Forward closed progress: 2692204
Forward closed progress: 2884385
Forward closed progress: 2947708
Forward closed progress: 2956020
Forward closed progress: 2956096
Forward closed progress: 2852534
Forward closed progress: 2846810
Forward closed progress: 2869413
Forward closed progress: 2861804
Forward closed progress: 2848201
Forward closed progress: 2844518
Forward closed progress: 2817028
Forward closed progress: 2806837
Forward closed progress: 2799378
Forward closed progress: 2877273
Forward closed progress: 2877615
Forward closed progress: 2779178
Forward closed progress: 2769049
Forward closed progress: 2815573
Forward closed progress: 2814179
Forward closed progress: 2608816
Forward closed progress: 2594494
Forward closed progress: 2594145
Forward closed progress: 2572061
Forward closed progress: 2599689
Forward closed progress: 2570367
Forward closed progress: 2541323
Forward closed progress: 2461928
Forward closed progress: 2414888
Forward closed progress: 2415699
Forward closed progress: 2413111
Forward closed progress: 5076908
Forward closed progress: 5683964
Forward closed progress: 5105419
Forward closed progress: 5153619
Forward closed progress: 5728031
Forward closed progress: 5735563
Forward closed progress: 5626878
Forward closed progress: 5585023
Forward closed progress: 5433982
Forward closed progress: 5511944
Forward closed progress: 5595440
Forward closed progress: 6332746
Forward closed progress: 6619627
Forward closed progress: 7564597
Forward closed progress: 7961780
Forward closed progress: 7888318
Forward closed progress: 8088692
Forward closed progress: 8370653
Forward closed progress: 8400450
Forward closed progress: 8085077
Forward closed progress: 7946909
Forward closed progress: 8189750
Forward closed progress: 8124169
Forward closed progress: 7984287
Forward closed progress: 8164139
Forward closed progress: 8059186
Forward closed progress: 8268111
Forward closed progress: 7240040
Forward closed progress: 7464648
Forward closed progress: 7465992
Forward closed progress: 6867446
Forward closed progress: 6705653
Forward closed progress: 6440015
Forward closed progress: 6401771
Forward closed progress: 8003637
Forward closed progress: 7967545
Forward closed progress: 7881871
Forward closed progress: 7861486
Forward closed progress: 10134881
Forward closed progress: 10471590
Forward closed progress: 10511390
Forward closed progress: 10870230
Forward closed progress: 10872619
Forward closed progress: 9006404
Forward closed progress: 8974861
Forward closed progress: 8969315
Forward closed progress: 8846900
Forward closed progress: 8696820
Forward closed progress: 8181563
Forward closed progress: 8784754
Forward closed progress: 8764852
Forward closed progress: 7984394
Forward closed progress: 8048162
Forward closed progress: 8036057
Forward closed progress: 7765414
Forward closed progress: 7381544
Forward closed progress: 7432842
Forward closed progress: 7436069
Forward closed progress: 6872074
Forward closed progress: 6804020
Forward closed progress: 6721876
Forward closed progress: 6293475
Forward closed progress: 6012424
Forward closed progress: 7229315
Forward closed progress: 6402794
Forward closed progress: 5147093
Forward closed progress: 5342480
Forward closed progress: 5343458
Forward closed progress: 5142361
Forward closed progress: 5095494
Forward closed progress: 5011995
Forward closed progress: 4817238
Forward closed progress: 4892876
Forward closed progress: 4702351
Forward closed progress: 4548522
Forward closed progress: 4090845
Forward closed progress: 4090668
Forward closed progress: 3140924
Forward closed progress: 3503325
Forward closed progress: 3775625
Forward closed progress: 3849898
Forward closed progress: 3863159
Forward closed progress: 3988710
Forward closed progress: 3991346
Forward closed progress: 3938164
Forward closed progress: 3859269
Forward closed progress: 3852683
Forward closed progress: 3751082
Forward closed progress: 3749342
Forward closed progress: 3751139
Forward closed progress: 3748944
Forward closed progress: 3751444
Forward closed progress: 3770609
Forward closed progress: 3958023
Forward closed progress: 3957821
Forward closed progress: 4139423
Forward closed progress: 4156930
Forward closed progress: 4155983
Forward closed progress: 4169252
Forward closed progress: 4197076
Forward closed progress: 4205378
Forward closed progress: 4074862
Forward closed progress: 4033464
Forward closed progress: 4045465
Forward closed progress: 4079340
Forward closed progress: 4045595
Forward closed progress: 4163990
Forward closed progress: 4018201
Forward closed progress: 4018021
Forward closed progress: 4018859
Forward closed progress: 4018546
Forward closed progress: 4021142
Forward closed progress: 4053014
Forward closed progress: 3884077
Forward closed progress: 3919346
Forward closed progress: 3919652
Forward closed progress: 3795144
Forward closed progress: 3770777
Forward closed progress: 3733897
Forward closed progress: 3731573
Forward closed progress: 3583534
Forward closed progress: 3581946
Forward closed progress: 3564576
Forward closed progress: 3572827
Forward closed progress: 3564809
Forward closed progress: 3563984
Forward closed progress: 3801730
Forward closed progress: 3880289
Forward closed progress: 3899037
Forward closed progress: 4021015
Forward closed progress: 4021842
Forward closed progress: 3460390
Forward closed progress: 3450585
Forward closed progress: 3449270
Forward closed progress: 3411924
Forward closed progress: 3410004
Forward closed progress: 3409692
Forward closed progress: 3408667
Forward closed progress: 3388108
Forward closed progress: 3351001
Forward closed progress: 3538476
Forward closed progress: 3523945
Forward closed progress: 3447908
Forward closed progress: 3481235
Forward closed progress: 3476705
Forward closed progress: 3465751
Forward closed progress: 3540153
Forward closed progress: 3403106
Forward closed progress: 3317710
Forward closed progress: 3213955
Forward closed progress: 3235778
Forward closed progress: 3236452
Forward closed progress: 3048829
Forward closed progress: 3034570
Forward closed progress: 3017732
Forward closed progress: 3053399
Forward closed progress: 3045887
Forward closed progress: 3020812
Forward closed progress: 2990187
Forward closed progress: 2991057
Forward closed progress: 2987093
Forward closed progress: 2985864
Forward closed progress: 2985367
Forward closed progress: 2979277
Forward closed progress: 2975247
Forward closed progress: 2975132
Forward closed progress: 2962800
Forward closed progress: 2742388
Forward closed progress: 2392570
Forward closed progress: 1846876
Forward closed progress: 1393135
Forward closed progress: 1831928
Forward closed progress: 1691480
Forward closed progress: 2416826
Forward closed progress: 2421142
Forward closed progress: 2419644
Forward closed progress: 2407973
Forward closed progress: 2352522
Forward closed progress: 2460720
Forward closed progress: 2519417
Forward closed progress: 3159559
Forward closed progress: 3480237
Forward closed progress: 4263696
Forward closed progress: 4844442
Forward closed progress: 4842817
Forward closed progress: 4764944
Forward closed progress: 4707081
Forward closed progress: 4784900
Forward closed progress: 4800542
Forward closed progress: 4727917
Forward closed progress: 4696166
Forward closed progress: 4573752
Forward closed progress: 4633611
Forward closed progress: 4543837
Forward closed progress: 4546646
Forward closed progress: 4547890
Forward closed progress: 4609058
Forward closed progress: 4545543
Forward closed progress: 4709705
Forward closed progress: 3997601
Forward closed progress: 4162972
Forward closed progress: 4163649
Forward closed progress: 3663881
Forward closed progress: 3567730
Forward closed progress: 3385567
Forward closed progress: 3372234
Forward closed progress: 3368695
Forward closed progress: 3260798
Forward closed progress: 3259898
Forward closed progress: 3260448
Forward closed progress: 3255741
Forward closed progress: 3203312
Forward closed progress: 3190166
Forward closed progress: 3186932
Forward closed progress: 3180482
Forward closed progress: 3190204
Forward closed progress: 3190227
Forward closed progress: 3186188
Forward closed progress: 3186550
Forward closed progress: 3186566
Forward closed progress: 3182203
Forward closed progress: 3179669
Forward closed progress: 3179667
Forward closed progress: 3179705
Forward closed progress: 3171640
Forward closed progress: 4042750
Forward closed progress: 3668134
Forward closed progress: 2821777
Forward closed progress: 3058472
Forward closed progress: 3058898
Forward closed progress: 2887852
Forward closed progress: 2874671
Forward closed progress: 2823625
Forward closed progress: 2682299
Forward closed progress: 2736327
Forward closed progress: 2636639
Forward closed progress: 2547712
Forward closed progress: 2191550
Forward closed progress: 1584905
Forward closed progress: 1414300
Forward closed progress: 1382333
Forward closed progress: 1380407
Forward closed progress: 1380524
Forward closed progress: 1378742
Forward closed progress: 1378484
Forward closed progress: 1378404
Forward closed progress: 1378040
Forward closed progress: 1341727
Forward closed progress: 1330099
Forward closed progress: 1284374
Forward closed progress: 1281302
Forward closed progress: 1285064
Forward closed progress: 1310723
Forward closed progress: 1309135
Forward closed progress: 1338061
Forward closed progress: 1367711
Forward closed progress: 1367797
Forward closed progress: 1324622
Forward closed progress: 1328523
Forward closed progress: 1328658
Forward closed progress: 1344113
Forward closed progress: 1343633
Forward closed progress: 1357580
Forward closed progress: 1353564
Forward closed progress: 1294455
Forward closed progress: 1294524
Forward closed progress: 1273979
Forward closed progress: 1231260
Forward closed progress: 760574
Forward closed progress: 769033
Forward closed progress: 773090
Forward closed progress: 739140
Forward closed progress: 744147
Forward closed progress: 736811
Forward closed progress: 736288
Forward closed progress: 731370
Forward closed progress: 731778
Forward closed progress: 729418
Forward closed progress: 722690
Forward closed progress: 701646
Forward closed progress: 934386
Forward closed progress: 944095
Forward closed progress: 1044427
Forward closed progress: 1168938
Forward closed progress: 1200834
Forward closed progress: 1201732
Forward closed progress: 1201862
Forward closed progress: 1146394
Forward closed progress: 1145526
Forward closed progress: 1149779
Forward closed progress: 1163729
Forward closed progress: 1175202
Forward closed progress: 1174128
Forward closed progress: 1187928
Forward closed progress: 1268590
Forward closed progress: 1258177
Forward closed progress: 1159038
Forward closed progress: 1195016
Forward closed progress: 1207029
Forward closed progress: 1207165
Forward closed progress: 1207193
Forward closed progress: 1192496
Forward closed progress: 1183103
Forward closed progress: 1208660
Forward closed progress: 1219507
Forward closed progress: 1219643
Forward closed progress: 1219671
Forward closed progress: 1197908
Forward closed progress: 1184239
Forward closed progress: 1122600
Forward closed progress: 1123896
Forward closed progress: 1138172
Forward closed progress: 1167408
Forward closed progress: 1184874
Forward closed progress: 1326654
Forward closed progress: 1326724
Forward closed progress: 1221816
Forward closed progress: 1154629
Forward closed progress: 1154327
Forward closed progress: 1153743
Forward closed progress: 1154088
Forward closed progress: 1154104
Forward closed progress: 1154096
Forward closed progress: 1153128
Forward closed progress: 1151054
Forward closed progress: 1204424
Forward closed progress: 1170602
Forward closed progress: 1169589
Forward closed progress: 1174538
Forward closed progress: 1174543
Forward closed progress: 1174592
Forward closed progress: 1174604
Forward closed progress: 1174874
Forward closed progress: 1129911
Forward closed progress: 1028624
Forward closed progress: 997390
Forward closed progress: 968837
Forward closed progress: 930299
Forward closed progress: 756246
Forward closed progress: 756899
Forward closed progress: 757501
Forward closed progress: 756099
Forward closed progress: 757769
Forward closed progress: 756443
Forward closed progress: 756352
Forward closed progress: 755505
Forward closed progress: 755571
Forward closed progress: 755151
Forward closed progress: 753707
Forward closed progress: 755507
Forward closed progress: 747539
Forward closed progress: 747539
Control exists for 336 color(s), jumping through 8993934142111744 vertices.
Elapsed: 16992802 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 16992.802
user ??
sys ??
