>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 7641648
Perturbation colors: 4294967296
All colors: 32820628247543810
Unknown update functions: 3
Lowest cardinality: 2
Highest cardinality: 5
Attractor colors: 4320771459514368
Attractor colors computed in 33563 ms.
Backward progress: 100701
Backward progress: 100697
Backward progress: 102710
Backward progress: 104739
Backward progress: 104625
Backward progress: 102213
Backward progress: 102815
Backward progress: 102389
Backward progress: 103130
Backward progress: 102076
Backward progress: 105408
Backward progress: 105836
Backward progress: 105665
Backward progress: 105403
Backward progress: 104964
Backward progress: 103612
Backward progress: 103548
Backward progress: 103645
Backward progress: 103628
Backward progress: 103284
Backward progress: 103288
Backward progress: 103397
Backward progress: 103393
Backward progress: 102981
Backward progress: 102975
Backward progress: 102982
Backward progress: 102977
Backward progress: 107029
Backward progress: 109645
Backward progress: 109597
Backward progress: 109643
Backward progress: 109573
Backward progress: 109541
Backward progress: 110455
Backward progress: 123340
Backward progress: 118576
Backward progress: 118595
Backward progress: 118711
Backward progress: 118741
Backward progress: 118834
Backward progress: 118859
Backward progress: 118080
Backward progress: 118267
Backward progress: 125660
Backward progress: 125660
Backward progress: 100765
Backward progress: 100849
Backward progress: 100146
Backward progress: 100175
Backward progress: 100023
Backward progress: 121735
Backward progress: 128192
Backward progress: 128003
Backward progress: 128071
Backward progress: 129422
Backward progress: 129402
Backward progress: 118849
Backward progress: 118768
Backward progress: 122237
Backward progress: 124065
Backward progress: 123844
Backward progress: 123373
Backward progress: 120733
Backward progress: 120340
Backward progress: 118706
Backward progress: 118553
Backward progress: 118163
Backward progress: 118350
Backward progress: 119068
Backward progress: 116627
Backward progress: 116631
Backward progress: 116471
Backward progress: 116126
Backward progress: 116236
Backward progress: 118361
Backward progress: 120501
Backward progress: 122396
Backward progress: 128848
Backward progress: 128818
Backward progress: 128828
Backward progress: 122767
Backward progress: 126373
Backward progress: 135307
Backward progress: 136506
Backward progress: 136507
Backward progress: 136418
Backward progress: 136408
Backward progress: 136226
Backward progress: 135617
Backward progress: 135534
Backward progress: 136201
Backward progress: 137523
Backward progress: 137379
Backward progress: 135385
Backward progress: 136659
Backward progress: 136374
Backward progress: 138139
Backward progress: 138136
Backward progress: 138130
Backward progress: 137750
Backward progress: 137474
Backward progress: 137318
Backward progress: 137531
Backward progress: 112327
Backward progress: 112433
Backward progress: 116249
Backward progress: 117543
Backward progress: 117303
Backward progress: 117384
Backward progress: 117343
Backward progress: 118802
Backward progress: 120351
Backward progress: 120355
Backward progress: 120780
Backward progress: 130230
Backward progress: 127899
Backward progress: 127865
Backward progress: 127754
Backward progress: 136589
Backward progress: 136582
Backward progress: 126129
Backward progress: 139151
Backward progress: 138403
Backward progress: 133913
Backward progress: 133886
Backward progress: 133850
Backward progress: 127087
Backward progress: 125172
Backward progress: 125148
Backward progress: 125091
Backward progress: 125012
Backward progress: 125115
Backward progress: 101507
Backward progress: 101492
Backward progress: 101569
Backward progress: 102389
Backward progress: 102364
Backward progress: 104998
Backward progress: 108962
Backward progress: 103546
Forward closed progress: 104692
Forward closed progress: 100910
Forward closed progress: 100898
Forward closed progress: 100874
Forward closed progress: 142353
Forward closed progress: 138161
Forward closed progress: 137399
Forward closed progress: 147415
Forward closed progress: 133286
Forward closed progress: 132885
Forward closed progress: 130549
Forward closed progress: 130465
Forward closed progress: 133214
Forward closed progress: 145629
Forward closed progress: 148529
Forward closed progress: 147915
Forward closed progress: 147820
Forward closed progress: 160296
Forward closed progress: 161429
Forward closed progress: 162101
Forward closed progress: 162050
Forward closed progress: 162422
Forward closed progress: 162423
Forward closed progress: 163717
Forward closed progress: 163749
Forward closed progress: 163298
Forward closed progress: 163207
Forward closed progress: 162805
Forward closed progress: 160785
Forward closed progress: 160770
Forward closed progress: 161089
Forward closed progress: 161359
Forward closed progress: 212631
Forward closed progress: 217990
Forward closed progress: 216603
Forward closed progress: 216597
Forward closed progress: 230996
Forward closed progress: 230701
Forward closed progress: 229580
Forward closed progress: 228928
Forward closed progress: 228926
Forward closed progress: 228932
Forward closed progress: 228013
Forward closed progress: 228057
Forward closed progress: 228052
Forward closed progress: 227623
Forward closed progress: 227887
Forward closed progress: 227880
Forward closed progress: 227811
Forward closed progress: 227885
Forward closed progress: 227802
Forward closed progress: 210766
Forward closed progress: 210632
Forward closed progress: 210943
Forward closed progress: 211024
Forward closed progress: 210900
Forward closed progress: 210858
Forward closed progress: 210875
Forward closed progress: 314349
Forward closed progress: 320754
Forward closed progress: 324522
Forward closed progress: 318322
Forward closed progress: 329107
Forward closed progress: 328759
Forward closed progress: 328500
Forward closed progress: 328132
Forward closed progress: 325780
Forward closed progress: 322388
Forward closed progress: 322362
Forward closed progress: 318293
Forward closed progress: 317867
Forward closed progress: 308571
Forward closed progress: 308409
Forward closed progress: 308401
Forward closed progress: 516363
Forward closed progress: 487569
Forward closed progress: 485339
Forward closed progress: 476185
Forward closed progress: 476295
Forward closed progress: 476319
Forward closed progress: 476911
Forward closed progress: 476635
Forward closed progress: 476181
Forward closed progress: 476340
Forward closed progress: 473926
Forward closed progress: 473919
Forward closed progress: 473785
Forward closed progress: 473591
Forward closed progress: 473619
Forward closed progress: 473473
Forward closed progress: 471529
Forward closed progress: 471315
Forward closed progress: 477913
Forward closed progress: 479221
Forward closed progress: 474730
Forward closed progress: 474847
Forward closed progress: 474844
Forward closed progress: 474851
Forward closed progress: 475140
Forward closed progress: 474411
Forward closed progress: 474275
Forward closed progress: 473775
Forward closed progress: 473963
Forward closed progress: 473985
Forward closed progress: 472009
Forward closed progress: 471949
Forward closed progress: 469818
Forward closed progress: 469711
Forward closed progress: 469630
Forward closed progress: 469427
Forward closed progress: 470730
Forward closed progress: 467757
Forward closed progress: 467591
Forward closed progress: 451553
Forward closed progress: 504449
Forward closed progress: 502947
Forward closed progress: 503370
Forward closed progress: 503372
Forward closed progress: 502733
Forward closed progress: 500193
Forward closed progress: 501218
Forward closed progress: 499780
Forward closed progress: 500440
Forward closed progress: 498945
Forward closed progress: 493109
Forward closed progress: 493153
Forward closed progress: 493081
Forward closed progress: 493030
Forward closed progress: 493032
Forward closed progress: 493167
Forward closed progress: 490476
Forward closed progress: 489804
Forward closed progress: 488419
Forward closed progress: 488419
Forward closed progress: 482576
Forward closed progress: 496999
Forward closed progress: 490973
Forward closed progress: 491698
Forward closed progress: 490923
Forward closed progress: 491024
Forward closed progress: 490909
Forward closed progress: 482536
Forward closed progress: 839567
Forward closed progress: 869505
Forward closed progress: 880924
Forward closed progress: 883061
Forward closed progress: 849058
Forward closed progress: 852997
Forward closed progress: 858383
Forward closed progress: 876354
Forward closed progress: 869332
Forward closed progress: 868678
Forward closed progress: 869168
Forward closed progress: 869329
Forward closed progress: 869334
Forward closed progress: 869313
Forward closed progress: 862858
Forward closed progress: 865659
Forward closed progress: 819087
Forward closed progress: 819127
Forward closed progress: 817099
Forward closed progress: 817092
Forward closed progress: 816750
Forward closed progress: 816672
Forward closed progress: 816453
Forward closed progress: 814314
Forward closed progress: 803924
Forward closed progress: 804385
Forward closed progress: 803977
Forward closed progress: 803926
Forward closed progress: 702976
Forward closed progress: 702988
Forward closed progress: 702966
Forward closed progress: 701126
Forward closed progress: 701477
Forward closed progress: 701337
Forward closed progress: 701079
Forward closed progress: 701103
Forward closed progress: 701052
Forward closed progress: 701471
Forward closed progress: 698600
Forward closed progress: 679112
Forward closed progress: 636124
Forward closed progress: 636871
Forward closed progress: 636135
Forward closed progress: 636165
Forward closed progress: 636159
Forward closed progress: 572846
Forward closed progress: 655602
Forward closed progress: 655225
Forward closed progress: 653575
Forward closed progress: 654515
Forward closed progress: 654694
Forward closed progress: 653402
Forward closed progress: 653388
Forward closed progress: 650327
Forward closed progress: 626578
Forward closed progress: 759990
Forward closed progress: 727813
Forward closed progress: 727813
Forward closed progress: 727813
Forward closed progress: 727811
Forward closed progress: 726150
Forward closed progress: 726075
Forward closed progress: 732850
Forward closed progress: 732754
Forward closed progress: 732542
Forward closed progress: 732517
Forward closed progress: 729997
Forward closed progress: 715430
Forward closed progress: 716918
Forward closed progress: 708198
Forward closed progress: 708147
Forward closed progress: 714639
Forward closed progress: 706952
Forward closed progress: 696548
Forward closed progress: 733715
Forward closed progress: 731221
Forward closed progress: 710061
Forward closed progress: 689925
Forward closed progress: 689314
Forward closed progress: 669475
Forward closed progress: 655330
Forward closed progress: 666124
Forward closed progress: 652267
Forward closed progress: 652043
Forward closed progress: 651886
Forward closed progress: 651501
Forward closed progress: 647639
Forward closed progress: 639952
Forward closed progress: 620744
Forward closed progress: 616257
Forward closed progress: 615340
Forward closed progress: 611647
Forward closed progress: 652670
Forward closed progress: 656020
Forward closed progress: 664914
Forward closed progress: 664871
Forward closed progress: 664984
Forward closed progress: 664972
Forward closed progress: 666824
Forward closed progress: 666803
Forward closed progress: 666538
Forward closed progress: 693215
Forward closed progress: 699224
Forward closed progress: 699233
Forward closed progress: 698089
Forward closed progress: 694799
Forward closed progress: 794080
Forward closed progress: 796963
Forward closed progress: 794308
Forward closed progress: 791560
Forward closed progress: 791497
Forward closed progress: 790652
Forward closed progress: 784649
Forward closed progress: 780829
Forward closed progress: 841543
Forward closed progress: 828821
Forward closed progress: 826478
Forward closed progress: 818062
Forward closed progress: 810281
Forward closed progress: 806415
Forward closed progress: 806721
Forward closed progress: 819560
Forward closed progress: 819486
Forward closed progress: 812685
Forward closed progress: 812539
Forward closed progress: 807740
Forward closed progress: 807729
Forward closed progress: 805423
Forward closed progress: 798799
Forward closed progress: 774314
Forward closed progress: 773004
Forward closed progress: 771584
Forward closed progress: 844076
Forward closed progress: 842115
Forward closed progress: 850415
Forward closed progress: 845355
Forward closed progress: 845074
Forward closed progress: 846884
Forward closed progress: 847925
Forward closed progress: 847844
Forward closed progress: 847767
Forward closed progress: 847739
Forward closed progress: 846978
Forward closed progress: 847162
Forward closed progress: 831084
Forward closed progress: 831108
Forward closed progress: 826915
Forward closed progress: 830069
Forward closed progress: 830043
Forward closed progress: 802201
Forward closed progress: 802128
Forward closed progress: 802102
Forward closed progress: 801976
Forward closed progress: 802500
Forward closed progress: 801605
Forward closed progress: 797221
Forward closed progress: 784212
Forward closed progress: 801622
Forward closed progress: 800799
Forward closed progress: 799810
Forward closed progress: 794517
Forward closed progress: 854389
Forward closed progress: 826293
Forward closed progress: 826454
Forward closed progress: 826823
Forward closed progress: 826810
Forward closed progress: 826819
Forward closed progress: 826597
Forward closed progress: 826364
Forward closed progress: 826445
Forward closed progress: 824095
Forward closed progress: 820909
Forward closed progress: 820575
Forward closed progress: 819091
Forward closed progress: 815361
Forward closed progress: 841686
Forward closed progress: 830960
Forward closed progress: 825147
Forward closed progress: 816991
Forward closed progress: 818875
Forward closed progress: 817836
Forward closed progress: 817893
Forward closed progress: 817152
Forward closed progress: 817036
Forward closed progress: 816296
Forward closed progress: 815681
Forward closed progress: 814714
Forward closed progress: 807708
Forward closed progress: 792104
Forward closed progress: 799530
Forward closed progress: 790950
Forward closed progress: 790439
Forward closed progress: 789747
Forward closed progress: 784351
Forward closed progress: 776439
Forward closed progress: 772410
Forward closed progress: 769729
Forward closed progress: 726201
Forward closed progress: 911996
Forward closed progress: 1119539
Forward closed progress: 1100017
Forward closed progress: 1100153
Forward closed progress: 1102563
Forward closed progress: 1153328
Forward closed progress: 1164248
Forward closed progress: 1164237
Forward closed progress: 1190881
Forward closed progress: 1176178
Forward closed progress: 1179432
Forward closed progress: 1181505
Forward closed progress: 1187573
Forward closed progress: 1189934
Forward closed progress: 1196831
Forward closed progress: 1196959
Forward closed progress: 1196942
Forward closed progress: 1192935
Forward closed progress: 1191741
Forward closed progress: 1186196
Forward closed progress: 1185382
Forward closed progress: 1182923
Forward closed progress: 1179105
Forward closed progress: 1143155
Forward closed progress: 1143289
Forward closed progress: 1143103
Forward closed progress: 1142841
Forward closed progress: 1142893
Forward closed progress: 1142328
Forward closed progress: 1119696
Forward closed progress: 1118528
Forward closed progress: 1118790
Forward closed progress: 1118796
Forward closed progress: 1118862
Forward closed progress: 1118878
Forward closed progress: 1192033
Forward closed progress: 1183016
Forward closed progress: 1183026
Forward closed progress: 1183066
Forward closed progress: 1183162
Forward closed progress: 1183902
Forward closed progress: 1177840
Forward closed progress: 1177294
Forward closed progress: 1174864
Forward closed progress: 1175693
Forward closed progress: 1175427
Forward closed progress: 1172308
Forward closed progress: 1107358
Forward closed progress: 1095716
Forward closed progress: 1094128
Forward closed progress: 1067427
Forward closed progress: 1057849
Forward closed progress: 1060469
Forward closed progress: 1060534
Forward closed progress: 1057902
Forward closed progress: 1217292
Forward closed progress: 1150825
Forward closed progress: 1146377
Forward closed progress: 1150685
Forward closed progress: 1149997
Forward closed progress: 1146058
Forward closed progress: 1146438
Forward closed progress: 1146058
Forward closed progress: 1143894
Forward closed progress: 1141176
Forward closed progress: 1095228
Forward closed progress: 1085470
Forward closed progress: 1069175
Forward closed progress: 1119444
Forward closed progress: 1134121
Forward closed progress: 1130919
Forward closed progress: 1117604
Forward closed progress: 1166025
Forward closed progress: 1147181
Forward closed progress: 1148863
Forward closed progress: 1145503
Forward closed progress: 1148560
Forward closed progress: 1147596
Forward closed progress: 1147993
Forward closed progress: 1147823
Forward closed progress: 1161745
Forward closed progress: 1160478
Forward closed progress: 1155453
Forward closed progress: 1156059
Forward closed progress: 1155573
Forward closed progress: 1155525
Forward closed progress: 1155485
Forward closed progress: 1141616
Forward closed progress: 1140868
Forward closed progress: 1157464
Forward closed progress: 1140736
Forward closed progress: 1140893
Forward closed progress: 1139841
Forward closed progress: 1134467
Forward closed progress: 1134307
Forward closed progress: 1121697
Forward closed progress: 1120793
Forward closed progress: 1118313
Forward closed progress: 1096730
Forward closed progress: 1069553
Forward closed progress: 1069601
Forward closed progress: 1069551
Forward closed progress: 1245066
Forward closed progress: 1263877
Forward closed progress: 1264869
Forward closed progress: 1264934
Forward closed progress: 1265257
Forward closed progress: 1202771
Forward closed progress: 1211842
Forward closed progress: 1211650
Forward closed progress: 1211022
Forward closed progress: 1210153
Forward closed progress: 1208796
Forward closed progress: 1206277
Forward closed progress: 1219853
Forward closed progress: 1219839
Forward closed progress: 1219875
Forward closed progress: 1220449
Forward closed progress: 1220564
Forward closed progress: 1220522
Forward closed progress: 1201056
Forward closed progress: 1198198
Forward closed progress: 1198105
Forward closed progress: 1198153
Forward closed progress: 1197991
Forward closed progress: 1224821
Forward closed progress: 1226002
Forward closed progress: 1225906
Forward closed progress: 1225600
Forward closed progress: 1225129
Forward closed progress: 1224036
Forward closed progress: 1223122
Forward closed progress: 1236094
Forward closed progress: 1240060
Forward closed progress: 1240277
Forward closed progress: 1240167
Forward closed progress: 1240007
Forward closed progress: 1239894
Forward closed progress: 1221015
Forward closed progress: 1202823
Forward closed progress: 1203302
Forward closed progress: 1203314
Forward closed progress: 1202132
Forward closed progress: 1202222
Forward closed progress: 1202259
Forward closed progress: 1272834
Forward closed progress: 1275675
Forward closed progress: 1268393
Forward closed progress: 1269645
Forward closed progress: 1269507
Forward closed progress: 1269630
Forward closed progress: 1269743
Forward closed progress: 1269879
Forward closed progress: 1269434
Forward closed progress: 1264654
Forward closed progress: 1264537
Forward closed progress: 1264095
Forward closed progress: 1264185
Forward closed progress: 1264146
Forward closed progress: 1258351
Forward closed progress: 1258245
Forward closed progress: 1258205
Forward closed progress: 1257899
Forward closed progress: 1257143
Forward closed progress: 1249603
Forward closed progress: 1249134
Forward closed progress: 1248925
Forward closed progress: 1247226
Forward closed progress: 1240645
Forward closed progress: 1244646
Forward closed progress: 1244766
Forward closed progress: 1244062
Forward closed progress: 1244062
Forward closed progress: 1244299
Forward closed progress: 1244255
Forward closed progress: 1245573
Forward closed progress: 1245549
Forward closed progress: 1245143
Forward closed progress: 1245171
Forward closed progress: 1245017
Forward closed progress: 1265119
Forward closed progress: 1245107
Forward closed progress: 1245121
Forward closed progress: 1245152
Forward closed progress: 1245154
Forward closed progress: 1245073
Forward closed progress: 1245140
Forward closed progress: 1245161
Forward closed progress: 1245057
Forward closed progress: 1245093
Forward closed progress: 1244769
Forward closed progress: 1244331
Forward closed progress: 1244360
Forward closed progress: 1244232
Forward closed progress: 1244727
Forward closed progress: 1244204
Forward closed progress: 1263775
Forward closed progress: 1258321
Forward closed progress: 1253086
Forward closed progress: 1253115
Forward closed progress: 1252616
Forward closed progress: 1252549
Forward closed progress: 1252328
Forward closed progress: 1252267
Forward closed progress: 1251925
Forward closed progress: 1252367
Forward closed progress: 1251773
Forward closed progress: 1251731
Forward closed progress: 1251689
Forward closed progress: 1251488
Forward closed progress: 1251358
Forward closed progress: 1251078
Forward closed progress: 1250817
Forward closed progress: 1249096
Forward closed progress: 1250491
Forward closed progress: 1251088
Forward closed progress: 1249368
Forward closed progress: 1249342
Forward closed progress: 1246454
Forward closed progress: 1248385
Forward closed progress: 1248373
Forward closed progress: 1247929
Forward closed progress: 1247845
Forward closed progress: 1247457
Forward closed progress: 1247197
Forward closed progress: 1247871
Forward closed progress: 1247337
Forward closed progress: 1247281
Forward closed progress: 1247534
Forward closed progress: 1247265
Forward closed progress: 1243416
Forward closed progress: 1243022
Forward closed progress: 1217528
Forward closed progress: 1217903
Forward closed progress: 1217891
Forward closed progress: 1218614
Forward closed progress: 1218909
Forward closed progress: 1218885
Forward closed progress: 1222961
Forward closed progress: 1222937
Forward closed progress: 1222715
Forward closed progress: 1225675
Forward closed progress: 1231587
Forward closed progress: 1226925
Forward closed progress: 1226901
Forward closed progress: 1226302
Forward closed progress: 1225654
Forward closed progress: 1225568
Forward closed progress: 1225449
Forward closed progress: 1225279
Forward closed progress: 1223456
Forward closed progress: 1224372
Forward closed progress: 1224459
Forward closed progress: 1224459
Forward closed progress: 1225209
Forward closed progress: 1225221
Forward closed progress: 1225015
Forward closed progress: 1225089
Forward closed progress: 1225101
Forward closed progress: 1225014
Forward closed progress: 1224522
Forward closed progress: 1224513
Forward closed progress: 1223047
Forward closed progress: 1224391
Forward closed progress: 1224345
Forward closed progress: 1224392
Forward closed progress: 1224466
Forward closed progress: 1224322
Forward closed progress: 1224322
Forward closed progress: 1219606
Forward closed progress: 1216677
Forward closed progress: 1216659
Forward closed progress: 1213553
Forward closed progress: 1434684
Forward closed progress: 2022860
Forward closed progress: 1990982
Forward closed progress: 1989866
Forward closed progress: 1991963
Forward closed progress: 1989478
Forward closed progress: 1988646
Forward closed progress: 1989642
Forward closed progress: 1984097
Forward closed progress: 1981950
Forward closed progress: 1978887
Forward closed progress: 2018556
Forward closed progress: 1987964
Forward closed progress: 1988014
Forward closed progress: 1988016
Forward closed progress: 1999287
Forward closed progress: 1999950
Forward closed progress: 1992941
Forward closed progress: 1991757
Forward closed progress: 1991655
Forward closed progress: 2151313
Forward closed progress: 2271834
Forward closed progress: 2271461
Forward closed progress: 2212338
Forward closed progress: 2211925
Forward closed progress: 2184128
Forward closed progress: 2185301
Forward closed progress: 2185307
Forward closed progress: 2184130
Forward closed progress: 2098329
Forward closed progress: 2079254
Forward closed progress: 2080961
Forward closed progress: 2076157
Forward closed progress: 2067575
Forward closed progress: 2067570
Forward closed progress: 2067456
Forward closed progress: 2066227
Forward closed progress: 2050276
Forward closed progress: 2046782
Forward closed progress: 1893530
Forward closed progress: 1893693
Forward closed progress: 1893579
Forward closed progress: 1892220
Forward closed progress: 1892174
Forward closed progress: 1898031
Forward closed progress: 1894623
Forward closed progress: 1894864
Forward closed progress: 1929747
Forward closed progress: 1923799
Forward closed progress: 1921123
Forward closed progress: 1919509
Forward closed progress: 1931441
Forward closed progress: 1932396
Forward closed progress: 1934677
Forward closed progress: 1934607
Forward closed progress: 1935079
Forward closed progress: 1934947
Forward closed progress: 1936835
Forward closed progress: 1937356
Forward closed progress: 1937275
Forward closed progress: 1937364
Forward closed progress: 1937373
Forward closed progress: 1938340
Forward closed progress: 1938328
Forward closed progress: 1938227
Forward closed progress: 1938247
Forward closed progress: 1938274
Forward closed progress: 1938392
Forward closed progress: 1940661
Forward closed progress: 1940648
Forward closed progress: 1937462
Forward closed progress: 1935382
Forward closed progress: 1948107
Forward closed progress: 1958482
Forward closed progress: 1947783
Forward closed progress: 1944800
Forward closed progress: 1944521
Forward closed progress: 1944461
Forward closed progress: 1944218
Forward closed progress: 1943857
Forward closed progress: 1937936
Forward closed progress: 1938127
Forward closed progress: 1923929
Forward closed progress: 1916705
Forward closed progress: 1917896
Forward closed progress: 1917852
Forward closed progress: 1920195
Forward closed progress: 1921058
Forward closed progress: 1920966
Forward closed progress: 1920923
Forward closed progress: 1916614
Forward closed progress: 1914578
Forward closed progress: 1911444
Forward closed progress: 1911384
Forward closed progress: 1908812
Forward closed progress: 1878070
Forward closed progress: 1876238
Forward closed progress: 1876478
Forward closed progress: 1876568
Forward closed progress: 1876610
Forward closed progress: 1877496
Forward closed progress: 1877565
Forward closed progress: 1878510
Forward closed progress: 1879157
Forward closed progress: 1874408
Forward closed progress: 1874784
Forward closed progress: 1874782
Forward closed progress: 1871440
Forward closed progress: 1885923
Forward closed progress: 1890254
Forward closed progress: 1890991
Forward closed progress: 1891251
Forward closed progress: 1826394
Forward closed progress: 1826294
Forward closed progress: 1826264
Forward closed progress: 1826218
Forward closed progress: 1826194
Forward closed progress: 1826251
Forward closed progress: 1826217
Forward closed progress: 1841710
Forward closed progress: 1835925
Forward closed progress: 1835000
Forward closed progress: 1830152
Forward closed progress: 1829813
Forward closed progress: 1829937
Forward closed progress: 1829910
Forward closed progress: 2007827
Forward closed progress: 1979092
Forward closed progress: 1947723
Forward closed progress: 1947959
Forward closed progress: 1952831
Forward closed progress: 1951275
Forward closed progress: 1951194
Forward closed progress: 1951023
Forward closed progress: 1949378
Forward closed progress: 1949363
Forward closed progress: 1950658
Forward closed progress: 1948830
Forward closed progress: 1948816
Forward closed progress: 1948752
Forward closed progress: 1956827
Forward closed progress: 1956863
Forward closed progress: 1956496
Forward closed progress: 1949260
Forward closed progress: 1949475
Forward closed progress: 1948982
Forward closed progress: 1949018
Forward closed progress: 1948747
Forward closed progress: 1944225
Forward closed progress: 1940604
Forward closed progress: 1940154
Forward closed progress: 1939280
Forward closed progress: 1969692
Forward closed progress: 1968138
Forward closed progress: 1959756
Forward closed progress: 1959474
Forward closed progress: 1959346
Forward closed progress: 1959282
Forward closed progress: 1959309
Forward closed progress: 1959291
Forward closed progress: 1939367
Forward closed progress: 1967628
Forward closed progress: 1967643
Forward closed progress: 1968015
Forward closed progress: 1968625
Forward closed progress: 1969013
Forward closed progress: 1969035
Forward closed progress: 1968883
Forward closed progress: 1968905
Forward closed progress: 1968901
Forward closed progress: 1969207
Forward closed progress: 1967518
Forward closed progress: 1968374
Forward closed progress: 1965732
Forward closed progress: 1984540
Forward closed progress: 1983500
Forward closed progress: 1983514
Forward closed progress: 1983500
Forward closed progress: 1983532
Forward closed progress: 1983518
Forward closed progress: 1989282
Forward closed progress: 1989282
Forward closed progress: 1989278
Forward closed progress: 1989246
Forward closed progress: 1989080
Forward closed progress: 1991518
Forward closed progress: 1992687
Forward closed progress: 1992601
Forward closed progress: 1992555
Forward closed progress: 1992495
Forward closed progress: 1991844
Forward closed progress: 1989683
Forward closed progress: 2023189
Forward closed progress: 2021790
Forward closed progress: 1998023
Forward closed progress: 1997861
Forward closed progress: 1997306
Forward closed progress: 1997275
Forward closed progress: 1997261
Forward closed progress: 1996989
Forward closed progress: 1996974
Forward closed progress: 1995850
Forward closed progress: 1995836
Forward closed progress: 1995772
Forward closed progress: 1996766
Forward closed progress: 1994738
Forward closed progress: 1994732
Forward closed progress: 1994399
Forward closed progress: 1993436
Forward closed progress: 2004933
Forward closed progress: 2005883
Forward closed progress: 1999927
Forward closed progress: 1999761
Forward closed progress: 1999696
Forward closed progress: 1994376
Forward closed progress: 1994429
Forward closed progress: 1994066
Forward closed progress: 1994054
Forward closed progress: 1993800
Forward closed progress: 1993366
Forward closed progress: 1993098
Forward closed progress: 1993112
Forward closed progress: 1993066
Forward closed progress: 1993086
Forward closed progress: 1993024
Forward closed progress: 1993874
Forward closed progress: 1993804
Forward closed progress: 1993386
Forward closed progress: 1993338
Forward closed progress: 1992936
Forward closed progress: 1992792
Forward closed progress: 1993850
Forward closed progress: 1993764
Forward closed progress: 1993675
Forward closed progress: 1991390
Forward closed progress: 1992134
Forward closed progress: 1992636
Forward closed progress: 1992585
Forward closed progress: 1992565
Forward closed progress: 1990518
Forward closed progress: 1996287
Forward closed progress: 1996311
Forward closed progress: 1995980
Forward closed progress: 1991494
Forward closed progress: 1991494
Forward closed progress: 1991518
Forward closed progress: 1991041
Forward closed progress: 1988305
Forward closed progress: 1987311
Forward closed progress: 1982215
Forward closed progress: 1981790
Forward closed progress: 2002114
Forward closed progress: 2002131
Forward closed progress: 2000240
Forward closed progress: 1989897
Forward closed progress: 1989914
Forward closed progress: 1989911
Forward closed progress: 1987984
Forward closed progress: 1988351
Forward closed progress: 1988787
Forward closed progress: 1984080
Forward closed progress: 1984055
Forward closed progress: 1984134
Forward closed progress: 1982397
Forward closed progress: 1981941
Forward closed progress: 1981471
Forward closed progress: 1981065
Forward closed progress: 1979704
Forward closed progress: 1979390
Forward closed progress: 1979390
Forward closed progress: 1979949
Forward closed progress: 1979632
Forward closed progress: 1979990
Forward closed progress: 1980002
Forward closed progress: 1980014
Forward closed progress: 1980003
Forward closed progress: 1980082
Forward closed progress: 1980022
Forward closed progress: 1980526
Forward closed progress: 1980373
Forward closed progress: 1980214
Forward closed progress: 1975164
Forward closed progress: 1973017
Forward closed progress: 1974164
Forward closed progress: 1973525
Forward closed progress: 1973587
Forward closed progress: 1973591
Forward closed progress: 1973578
Forward closed progress: 1973555
Forward closed progress: 1846264
Forward closed progress: 1844236
Forward closed progress: 1843160
Forward closed progress: 1841645
Forward closed progress: 1837488
Forward closed progress: 1837488
Control exists for 1006008 color(s), jumping through 1096122368 vertices.
Elapsed: 8457376 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 8457.376
user ??
sys ??
