>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 550198656
Perturbation colors: 4294967296
All colors: 2363085233823154000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 43207714595143680
Attractor colors computed in 34671 ms.
Backward progress: 102318
Backward progress: 102314
Backward progress: 104327
Backward progress: 106356
Backward progress: 106242
Backward progress: 104053
Backward progress: 104655
Backward progress: 104229
Backward progress: 104970
Backward progress: 103916
Backward progress: 107188
Backward progress: 107616
Backward progress: 107445
Backward progress: 107183
Backward progress: 106744
Backward progress: 105392
Backward progress: 105328
Backward progress: 105425
Backward progress: 105408
Backward progress: 101700
Backward progress: 105044
Backward progress: 105048
Backward progress: 105157
Backward progress: 105153
Backward progress: 104741
Backward progress: 104735
Backward progress: 104742
Backward progress: 104737
Backward progress: 108789
Backward progress: 111405
Backward progress: 111357
Backward progress: 111403
Backward progress: 111333
Backward progress: 111301
Backward progress: 112215
Backward progress: 125174
Backward progress: 120394
Backward progress: 120413
Backward progress: 120529
Backward progress: 120559
Backward progress: 120652
Backward progress: 120677
Backward progress: 119868
Backward progress: 120085
Backward progress: 127514
Backward progress: 127514
Backward progress: 106342
Backward progress: 101253
Backward progress: 100088
Backward progress: 100141
Backward progress: 106762
Backward progress: 106059
Backward progress: 106088
Backward progress: 105936
Backward progress: 105787
Backward progress: 104907
Backward progress: 104755
Backward progress: 104574
Backward progress: 127942
Backward progress: 134407
Backward progress: 134218
Backward progress: 134286
Backward progress: 135637
Backward progress: 135617
Backward progress: 125064
Backward progress: 124983
Backward progress: 128452
Backward progress: 130280
Backward progress: 130059
Backward progress: 129588
Backward progress: 126931
Backward progress: 126538
Backward progress: 124904
Backward progress: 124751
Backward progress: 124361
Backward progress: 124548
Backward progress: 125266
Backward progress: 122825
Backward progress: 122829
Backward progress: 122669
Backward progress: 122324
Backward progress: 122434
Backward progress: 124022
Backward progress: 126162
Backward progress: 128057
Backward progress: 134509
Backward progress: 134479
Backward progress: 134489
Backward progress: 128428
Backward progress: 132034
Backward progress: 140968
Backward progress: 142167
Backward progress: 142168
Backward progress: 142079
Backward progress: 142069
Backward progress: 141887
Backward progress: 141278
Backward progress: 141195
Backward progress: 141862
Backward progress: 143184
Backward progress: 143040
Backward progress: 141046
Backward progress: 142320
Backward progress: 142035
Backward progress: 143800
Backward progress: 143797
Backward progress: 143791
Backward progress: 143411
Backward progress: 143135
Backward progress: 142979
Backward progress: 143192
Backward progress: 117988
Backward progress: 118157
Backward progress: 121973
Backward progress: 123267
Backward progress: 123027
Backward progress: 123108
Backward progress: 123067
Backward progress: 124526
Backward progress: 126075
Backward progress: 126079
Backward progress: 126504
Backward progress: 136017
Backward progress: 133686
Backward progress: 133652
Backward progress: 133478
Backward progress: 142313
Backward progress: 142306
Backward progress: 131767
Backward progress: 144808
Backward progress: 144060
Backward progress: 139570
Backward progress: 139543
Backward progress: 139481
Backward progress: 132676
Backward progress: 130864
Backward progress: 130840
Backward progress: 130783
Backward progress: 130704
Backward progress: 131096
Backward progress: 101413
Backward progress: 107354
Backward progress: 107339
Backward progress: 107416
Backward progress: 108236
Backward progress: 108211
Backward progress: 113248
Backward progress: 117212
Backward progress: 111796
Backward progress: 107504
Backward progress: 106543
Backward progress: 101054
Backward progress: 101024
Backward progress: 102082
Backward progress: 104735
Backward progress: 104343
Backward progress: 103328
Backward progress: 103271
Backward progress: 103059
Backward progress: 103058
Backward progress: 103055
Backward progress: 103085
Backward progress: 102770
Forward closed progress: 106909
Forward closed progress: 106897
Forward closed progress: 101846
Forward closed progress: 112955
Forward closed progress: 109173
Forward closed progress: 109161
Forward closed progress: 109137
Forward closed progress: 150616
Forward closed progress: 146424
Forward closed progress: 145662
Forward closed progress: 155640
Forward closed progress: 141511
Forward closed progress: 141110
Forward closed progress: 138774
Forward closed progress: 138690
Forward closed progress: 141439
Forward closed progress: 153854
Forward closed progress: 156754
Forward closed progress: 156140
Forward closed progress: 156045
Forward closed progress: 168543
Forward closed progress: 169676
Forward closed progress: 170348
Forward closed progress: 170297
Forward closed progress: 170660
Forward closed progress: 170661
Forward closed progress: 171955
Forward closed progress: 171987
Forward closed progress: 171536
Forward closed progress: 171445
Forward closed progress: 171043
Forward closed progress: 168965
Forward closed progress: 168950
Forward closed progress: 169269
Forward closed progress: 169539
Forward closed progress: 220811
Forward closed progress: 226170
Forward closed progress: 224783
Forward closed progress: 224777
Forward closed progress: 239176
Forward closed progress: 238881
Forward closed progress: 237760
Forward closed progress: 237108
Forward closed progress: 237106
Forward closed progress: 237112
Forward closed progress: 236193
Forward closed progress: 236237
Forward closed progress: 236232
Forward closed progress: 235803
Forward closed progress: 236067
Forward closed progress: 236060
Forward closed progress: 235991
Forward closed progress: 236065
Forward closed progress: 235982
Forward closed progress: 218946
Forward closed progress: 218812
Forward closed progress: 219123
Forward closed progress: 219204
Forward closed progress: 219080
Forward closed progress: 219038
Forward closed progress: 219055
Forward closed progress: 322529
Forward closed progress: 328934
Forward closed progress: 332702
Forward closed progress: 326502
Forward closed progress: 337287
Forward closed progress: 336939
Forward closed progress: 336680
Forward closed progress: 336312
Forward closed progress: 333960
Forward closed progress: 330568
Forward closed progress: 330542
Forward closed progress: 326473
Forward closed progress: 326047
Forward closed progress: 316751
Forward closed progress: 316589
Forward closed progress: 316581
Forward closed progress: 529224
Forward closed progress: 500871
Forward closed progress: 498641
Forward closed progress: 489487
Forward closed progress: 489597
Forward closed progress: 489621
Forward closed progress: 490213
Forward closed progress: 489937
Forward closed progress: 489483
Forward closed progress: 489642
Forward closed progress: 487228
Forward closed progress: 487221
Forward closed progress: 487087
Forward closed progress: 486893
Forward closed progress: 486921
Forward closed progress: 486775
Forward closed progress: 484831
Forward closed progress: 484617
Forward closed progress: 491215
Forward closed progress: 492523
Forward closed progress: 488032
Forward closed progress: 488149
Forward closed progress: 488146
Forward closed progress: 488153
Forward closed progress: 488442
Forward closed progress: 487713
Forward closed progress: 487577
Forward closed progress: 487077
Forward closed progress: 487265
Forward closed progress: 487287
Forward closed progress: 485311
Forward closed progress: 485251
Forward closed progress: 483120
Forward closed progress: 483013
Forward closed progress: 482932
Forward closed progress: 482729
Forward closed progress: 486116
Forward closed progress: 483143
Forward closed progress: 482977
Forward closed progress: 466061
Forward closed progress: 518989
Forward closed progress: 517487
Forward closed progress: 517910
Forward closed progress: 517912
Forward closed progress: 517273
Forward closed progress: 514733
Forward closed progress: 515758
Forward closed progress: 514320
Forward closed progress: 514980
Forward closed progress: 513485
Forward closed progress: 507649
Forward closed progress: 507693
Forward closed progress: 507621
Forward closed progress: 507570
Forward closed progress: 507572
Forward closed progress: 507707
Forward closed progress: 505016
Forward closed progress: 504344
Forward closed progress: 502959
Forward closed progress: 502959
Forward closed progress: 496106
Forward closed progress: 510481
Forward closed progress: 504421
Forward closed progress: 505146
Forward closed progress: 504371
Forward closed progress: 504472
Forward closed progress: 504357
Forward closed progress: 495966
Forward closed progress: 859094
Forward closed progress: 889032
Forward closed progress: 900451
Forward closed progress: 902588
Forward closed progress: 868585
Forward closed progress: 872691
Forward closed progress: 878077
Forward closed progress: 896048
Forward closed progress: 889026
Forward closed progress: 888372
Forward closed progress: 888862
Forward closed progress: 889023
Forward closed progress: 889028
Forward closed progress: 889007
Forward closed progress: 882512
Forward closed progress: 885313
Forward closed progress: 838741
Forward closed progress: 838781
Forward closed progress: 836683
Forward closed progress: 836676
Forward closed progress: 836334
Forward closed progress: 836220
Forward closed progress: 836001
Forward closed progress: 833862
Forward closed progress: 823472
Forward closed progress: 823933
Forward closed progress: 823525
Forward closed progress: 823474
Forward closed progress: 720975
Forward closed progress: 720987
Forward closed progress: 720965
Forward closed progress: 719125
Forward closed progress: 719476
Forward closed progress: 719336
Forward closed progress: 719078
Forward closed progress: 719102
Forward closed progress: 719051
Forward closed progress: 719470
Forward closed progress: 715623
Forward closed progress: 695894
Forward closed progress: 652464
Forward closed progress: 653211
Forward closed progress: 652475
Forward closed progress: 652505
Forward closed progress: 652499
Forward closed progress: 589237
Forward closed progress: 671993
Forward closed progress: 671684
Forward closed progress: 670034
Forward closed progress: 670974
Forward closed progress: 671153
Forward closed progress: 669861
Forward closed progress: 669847
Forward closed progress: 666837
Forward closed progress: 643054
Forward closed progress: 777460
Forward closed progress: 745274
Forward closed progress: 745274
Forward closed progress: 745274
Forward closed progress: 745272
Forward closed progress: 743611
Forward closed progress: 743536
Forward closed progress: 750283
Forward closed progress: 750187
Forward closed progress: 749959
Forward closed progress: 749934
Forward closed progress: 747414
Forward closed progress: 732125
Forward closed progress: 733613
Forward closed progress: 724893
Forward closed progress: 724842
Forward closed progress: 730859
Forward closed progress: 723172
Forward closed progress: 713365
Forward closed progress: 750289
Forward closed progress: 747756
Forward closed progress: 726458
Forward closed progress: 706202
Forward closed progress: 705450
Forward closed progress: 684463
Forward closed progress: 670318
Forward closed progress: 680976
Forward closed progress: 666969
Forward closed progress: 666745
Forward closed progress: 666588
Forward closed progress: 666203
Forward closed progress: 662287
Forward closed progress: 654600
Forward closed progress: 635217
Forward closed progress: 630694
Forward closed progress: 629777
Forward closed progress: 626032
Forward closed progress: 672301
Forward closed progress: 675651
Forward closed progress: 684545
Forward closed progress: 684502
Forward closed progress: 684679
Forward closed progress: 684667
Forward closed progress: 686593
Forward closed progress: 686572
Forward closed progress: 686307
Forward closed progress: 712984
Forward closed progress: 718993
Forward closed progress: 719002
Forward closed progress: 717858
Forward closed progress: 714568
Forward closed progress: 813849
Forward closed progress: 816732
Forward closed progress: 814077
Forward closed progress: 811329
Forward closed progress: 811266
Forward closed progress: 810421
Forward closed progress: 804418
Forward closed progress: 800598
Forward closed progress: 860917
Forward closed progress: 848189
Forward closed progress: 845846
Forward closed progress: 837430
Forward closed progress: 829649
Forward closed progress: 825614
Forward closed progress: 825920
Forward closed progress: 838759
Forward closed progress: 838685
Forward closed progress: 831884
Forward closed progress: 831738
Forward closed progress: 826793
Forward closed progress: 826782
Forward closed progress: 824444
Forward closed progress: 817645
Forward closed progress: 792943
Forward closed progress: 791633
Forward closed progress: 789953
Forward closed progress: 862581
Forward closed progress: 860652
Forward closed progress: 868952
Forward closed progress: 863892
Forward closed progress: 863611
Forward closed progress: 865421
Forward closed progress: 866462
Forward closed progress: 866381
Forward closed progress: 866304
Forward closed progress: 866276
Forward closed progress: 865515
Forward closed progress: 865699
Forward closed progress: 849621
Forward closed progress: 849645
Forward closed progress: 845436
Forward closed progress: 848590
Forward closed progress: 848564
Forward closed progress: 820238
Forward closed progress: 820165
Forward closed progress: 820139
Forward closed progress: 820013
Forward closed progress: 820537
Forward closed progress: 819642
Forward closed progress: 815226
Forward closed progress: 801946
Forward closed progress: 819356
Forward closed progress: 818533
Forward closed progress: 817544
Forward closed progress: 812251
Forward closed progress: 872638
Forward closed progress: 844530
Forward closed progress: 844691
Forward closed progress: 845044
Forward closed progress: 845031
Forward closed progress: 845040
Forward closed progress: 844818
Forward closed progress: 844585
Forward closed progress: 844666
Forward closed progress: 842324
Forward closed progress: 839100
Forward closed progress: 838766
Forward closed progress: 837265
Forward closed progress: 833867
Forward closed progress: 860192
Forward closed progress: 849474
Forward closed progress: 843661
Forward closed progress: 835497
Forward closed progress: 837381
Forward closed progress: 836342
Forward closed progress: 836391
Forward closed progress: 835641
Forward closed progress: 835525
Forward closed progress: 834785
Forward closed progress: 834170
Forward closed progress: 833203
Forward closed progress: 826197
Forward closed progress: 810593
Forward closed progress: 818019
Forward closed progress: 809439
Forward closed progress: 808762
Forward closed progress: 808052
Forward closed progress: 802656
Forward closed progress: 794654
Forward closed progress: 790591
Forward closed progress: 787892
Forward closed progress: 743846
Forward closed progress: 936524
Forward closed progress: 1144067
Forward closed progress: 1124523
Forward closed progress: 1124659
Forward closed progress: 1127069
Forward closed progress: 1177834
Forward closed progress: 1188754
Forward closed progress: 1188743
Forward closed progress: 1215387
Forward closed progress: 1200684
Forward closed progress: 1203938
Forward closed progress: 1206011
Forward closed progress: 1212059
Forward closed progress: 1214420
Forward closed progress: 1221317
Forward closed progress: 1221445
Forward closed progress: 1221428
Forward closed progress: 1217421
Forward closed progress: 1216227
Forward closed progress: 1210682
Forward closed progress: 1209868
Forward closed progress: 1207409
Forward closed progress: 1203586
Forward closed progress: 1167636
Forward closed progress: 1167770
Forward closed progress: 1167584
Forward closed progress: 1167322
Forward closed progress: 1167374
Forward closed progress: 1166809
Forward closed progress: 1144041
Forward closed progress: 1142873
Forward closed progress: 1143135
Forward closed progress: 1143141
Forward closed progress: 1143207
Forward closed progress: 1143223
Forward closed progress: 1215850
Forward closed progress: 1207268
Forward closed progress: 1207278
Forward closed progress: 1207318
Forward closed progress: 1207414
Forward closed progress: 1208154
Forward closed progress: 1202092
Forward closed progress: 1201546
Forward closed progress: 1199116
Forward closed progress: 1199945
Forward closed progress: 1199679
Forward closed progress: 1196560
Forward closed progress: 1132047
Forward closed progress: 1120400
Forward closed progress: 1118812
Forward closed progress: 1091583
Forward closed progress: 1082005
Forward closed progress: 1084625
Forward closed progress: 1084690
Forward closed progress: 1082058
Forward closed progress: 1241954
Forward closed progress: 1175487
Forward closed progress: 1171039
Forward closed progress: 1175347
Forward closed progress: 1174659
Forward closed progress: 1170720
Forward closed progress: 1171100
Forward closed progress: 1170720
Forward closed progress: 1168556
Forward closed progress: 1165819
Forward closed progress: 1119220
Forward closed progress: 1109462
Forward closed progress: 1092776
Forward closed progress: 1143045
Forward closed progress: 1157722
Forward closed progress: 1154520
Forward closed progress: 1141205
Forward closed progress: 1190107
Forward closed progress: 1171263
Forward closed progress: 1172926
Forward closed progress: 1169566
Forward closed progress: 1172623
Forward closed progress: 1171659
Forward closed progress: 1172037
Forward closed progress: 1171919
Forward closed progress: 1185841
Forward closed progress: 1184574
Forward closed progress: 1179549
Forward closed progress: 1180155
Forward closed progress: 1179669
Forward closed progress: 1179621
Forward closed progress: 1179581
Forward closed progress: 1166260
Forward closed progress: 1165512
Forward closed progress: 1182108
Forward closed progress: 1165380
Forward closed progress: 1165487
Forward closed progress: 1164435
Forward closed progress: 1159043
Forward closed progress: 1158883
Forward closed progress: 1146239
Forward closed progress: 1145317
Forward closed progress: 1142837
Forward closed progress: 1121303
Forward closed progress: 1094036
Forward closed progress: 1094102
Forward closed progress: 1093982
Forward closed progress: 1271608
Forward closed progress: 1290419
Forward closed progress: 1291411
Forward closed progress: 1291476
Forward closed progress: 1291799
Forward closed progress: 1229313
Forward closed progress: 1238384
Forward closed progress: 1238192
Forward closed progress: 1237564
Forward closed progress: 1236695
Forward closed progress: 1235378
Forward closed progress: 1232859
Forward closed progress: 1246435
Forward closed progress: 1246421
Forward closed progress: 1246457
Forward closed progress: 1247079
Forward closed progress: 1247194
Forward closed progress: 1247152
Forward closed progress: 1227684
Forward closed progress: 1224826
Forward closed progress: 1224733
Forward closed progress: 1224781
Forward closed progress: 1224619
Forward closed progress: 1251449
Forward closed progress: 1252630
Forward closed progress: 1252534
Forward closed progress: 1252228
Forward closed progress: 1251757
Forward closed progress: 1250664
Forward closed progress: 1249750
Forward closed progress: 1262722
Forward closed progress: 1266688
Forward closed progress: 1266905
Forward closed progress: 1266795
Forward closed progress: 1266635
Forward closed progress: 1266521
Forward closed progress: 1247640
Forward closed progress: 1229448
Forward closed progress: 1229927
Forward closed progress: 1229939
Forward closed progress: 1228757
Forward closed progress: 1228847
Forward closed progress: 1228884
Forward closed progress: 1299940
Forward closed progress: 1302781
Forward closed progress: 1295499
Forward closed progress: 1296751
Forward closed progress: 1296605
Forward closed progress: 1296728
Forward closed progress: 1296849
Forward closed progress: 1296985
Forward closed progress: 1296540
Forward closed progress: 1291752
Forward closed progress: 1291635
Forward closed progress: 1291193
Forward closed progress: 1291283
Forward closed progress: 1291244
Forward closed progress: 1285449
Forward closed progress: 1285343
Forward closed progress: 1285303
Forward closed progress: 1284997
Forward closed progress: 1284241
Forward closed progress: 1276701
Forward closed progress: 1276232
Forward closed progress: 1276023
Forward closed progress: 1274324
Forward closed progress: 1267751
Forward closed progress: 1271752
Forward closed progress: 1271872
Forward closed progress: 1271168
Forward closed progress: 1271168
Forward closed progress: 1271405
Forward closed progress: 1271361
Forward closed progress: 1272679
Forward closed progress: 1272655
Forward closed progress: 1272249
Forward closed progress: 1272269
Forward closed progress: 1272115
Forward closed progress: 1293996
Forward closed progress: 1273961
Forward closed progress: 1273975
Forward closed progress: 1274006
Forward closed progress: 1274008
Forward closed progress: 1273927
Forward closed progress: 1273994
Forward closed progress: 1274015
Forward closed progress: 1273911
Forward closed progress: 1273947
Forward closed progress: 1273623
Forward closed progress: 1273185
Forward closed progress: 1273214
Forward closed progress: 1273070
Forward closed progress: 1273640
Forward closed progress: 1273101
Forward closed progress: 1292472
Forward closed progress: 1287018
Forward closed progress: 1281783
Forward closed progress: 1281812
Forward closed progress: 1281313
Forward closed progress: 1281246
Forward closed progress: 1281025
Forward closed progress: 1280964
Forward closed progress: 1280622
Forward closed progress: 1281064
Forward closed progress: 1280470
Forward closed progress: 1280428
Forward closed progress: 1280386
Forward closed progress: 1280185
Forward closed progress: 1280055
Forward closed progress: 1279775
Forward closed progress: 1279514
Forward closed progress: 1277793
Forward closed progress: 1279188
Forward closed progress: 1279785
Forward closed progress: 1278065
Forward closed progress: 1278039
Forward closed progress: 1275151
Forward closed progress: 1277088
Forward closed progress: 1277076
Forward closed progress: 1276632
Forward closed progress: 1276548
Forward closed progress: 1276160
Forward closed progress: 1275900
Forward closed progress: 1276574
Forward closed progress: 1276040
Forward closed progress: 1275984
Forward closed progress: 1276237
Forward closed progress: 1275968
Forward closed progress: 1272108
Forward closed progress: 1271658
Forward closed progress: 1246975
Forward closed progress: 1247350
Forward closed progress: 1247338
Forward closed progress: 1248061
Forward closed progress: 1248356
Forward closed progress: 1248332
Forward closed progress: 1252412
Forward closed progress: 1252388
Forward closed progress: 1252166
Forward closed progress: 1255281
Forward closed progress: 1261193
Forward closed progress: 1256531
Forward closed progress: 1256507
Forward closed progress: 1255908
Forward closed progress: 1255260
Forward closed progress: 1255170
Forward closed progress: 1254989
Forward closed progress: 1254819
Forward closed progress: 1252996
Forward closed progress: 1254238
Forward closed progress: 1254325
Forward closed progress: 1254325
Forward closed progress: 1255075
Forward closed progress: 1255087
Forward closed progress: 1254881
Forward closed progress: 1254955
Forward closed progress: 1254967
Forward closed progress: 1254880
Forward closed progress: 1254388
Forward closed progress: 1254379
Forward closed progress: 1253224
Forward closed progress: 1254568
Forward closed progress: 1254522
Forward closed progress: 1254569
Forward closed progress: 1254643
Forward closed progress: 1254487
Forward closed progress: 1254487
Forward closed progress: 1249754
Forward closed progress: 1246835
Forward closed progress: 1246811
Forward closed progress: 1243701
Forward closed progress: 1470650
Forward closed progress: 2074205
Forward closed progress: 2042323
Forward closed progress: 2041153
Forward closed progress: 2043250
Forward closed progress: 2040749
Forward closed progress: 2039945
Forward closed progress: 2040941
Forward closed progress: 2035396
Forward closed progress: 2033249
Forward closed progress: 2030186
Forward closed progress: 2069855
Forward closed progress: 2039263
Forward closed progress: 2039313
Forward closed progress: 2039315
Forward closed progress: 2050586
Forward closed progress: 2051249
Forward closed progress: 2044240
Forward closed progress: 2043056
Forward closed progress: 2042954
Forward closed progress: 2202612
Forward closed progress: 2323241
Forward closed progress: 2322894
Forward closed progress: 2263660
Forward closed progress: 2263247
Forward closed progress: 2235576
Forward closed progress: 2236749
Forward closed progress: 2236755
Forward closed progress: 2235578
Forward closed progress: 2152563
Forward closed progress: 2133486
Forward closed progress: 2135193
Forward closed progress: 2130349
Forward closed progress: 2121423
Forward closed progress: 2121418
Forward closed progress: 2121304
Forward closed progress: 2120075
Forward closed progress: 2104124
Forward closed progress: 2100604
Forward closed progress: 1944382
Forward closed progress: 1944545
Forward closed progress: 1944431
Forward closed progress: 1942974
Forward closed progress: 1942928
Forward closed progress: 1948626
Forward closed progress: 1945218
Forward closed progress: 1945863
Forward closed progress: 1980746
Forward closed progress: 1974798
Forward closed progress: 1972122
Forward closed progress: 1970609
Forward closed progress: 1983171
Forward closed progress: 1984126
Forward closed progress: 1986407
Forward closed progress: 1986337
Forward closed progress: 1986809
Forward closed progress: 1986677
Forward closed progress: 1988565
Forward closed progress: 1989086
Forward closed progress: 1989005
Forward closed progress: 1989094
Forward closed progress: 1989103
Forward closed progress: 1990070
Forward closed progress: 1990058
Forward closed progress: 1989957
Forward closed progress: 1989977
Forward closed progress: 1990004
Forward closed progress: 1990122
Forward closed progress: 1992391
Forward closed progress: 1992378
Forward closed progress: 1989192
Forward closed progress: 1987112
Forward closed progress: 1999891
Forward closed progress: 2010266
Forward closed progress: 1999567
Forward closed progress: 1996580
Forward closed progress: 1996301
Forward closed progress: 1996241
Forward closed progress: 1995998
Forward closed progress: 1995637
Forward closed progress: 1989716
Forward closed progress: 1989907
Forward closed progress: 1975707
Forward closed progress: 1968393
Forward closed progress: 1969584
Forward closed progress: 1969540
Forward closed progress: 1971883
Forward closed progress: 1972746
Forward closed progress: 1972654
Forward closed progress: 1972611
Forward closed progress: 1968300
Forward closed progress: 1966264
Forward closed progress: 1963125
Forward closed progress: 1963065
Forward closed progress: 1960493
Forward closed progress: 1929701
Forward closed progress: 1927869
Forward closed progress: 1928137
Forward closed progress: 1928231
Forward closed progress: 1928273
Forward closed progress: 1929159
Forward closed progress: 1929228
Forward closed progress: 1930173
Forward closed progress: 1930813
Forward closed progress: 1926064
Forward closed progress: 1926455
Forward closed progress: 1926453
Forward closed progress: 1923108
Forward closed progress: 1941947
Forward closed progress: 1946479
Forward closed progress: 1947216
Forward closed progress: 1947476
Forward closed progress: 1882609
Forward closed progress: 1882509
Forward closed progress: 1882479
Forward closed progress: 1882433
Forward closed progress: 1882409
Forward closed progress: 1882466
Forward closed progress: 1882432
Forward closed progress: 1897925
Forward closed progress: 1892140
Forward closed progress: 1891215
Forward closed progress: 1886367
Forward closed progress: 1886028
Forward closed progress: 1886152
Forward closed progress: 1886125
Forward closed progress: 2066166
Forward closed progress: 2037252
Forward closed progress: 2005805
Forward closed progress: 2006041
Forward closed progress: 2010892
Forward closed progress: 2009336
Forward closed progress: 2009255
Forward closed progress: 2009084
Forward closed progress: 2007439
Forward closed progress: 2007424
Forward closed progress: 2008753
Forward closed progress: 2006925
Forward closed progress: 2006911
Forward closed progress: 2006847
Forward closed progress: 2014922
Forward closed progress: 2014958
Forward closed progress: 2014591
Forward closed progress: 2007355
Forward closed progress: 2007570
Forward closed progress: 2007077
Forward closed progress: 2007113
Forward closed progress: 2006842
Forward closed progress: 2002303
Forward closed progress: 1998714
Forward closed progress: 1998264
Forward closed progress: 1998333
Forward closed progress: 2028677
Forward closed progress: 2027114
Forward closed progress: 2018732
Forward closed progress: 2018450
Forward closed progress: 2018322
Forward closed progress: 2018258
Forward closed progress: 2018285
Forward closed progress: 2018267
Forward closed progress: 1998337
Forward closed progress: 2026905
Forward closed progress: 2026920
Forward closed progress: 2027292
Forward closed progress: 2027902
Forward closed progress: 2028290
Forward closed progress: 2028312
Forward closed progress: 2028160
Forward closed progress: 2028182
Forward closed progress: 2028178
Forward closed progress: 2028484
Forward closed progress: 2026795
Forward closed progress: 2027651
Forward closed progress: 2024675
Forward closed progress: 2045441
Forward closed progress: 2044401
Forward closed progress: 2044415
Forward closed progress: 2044401
Forward closed progress: 2044433
Forward closed progress: 2044419
Forward closed progress: 2050183
Forward closed progress: 2050183
Forward closed progress: 2050179
Forward closed progress: 2050147
Forward closed progress: 2049981
Forward closed progress: 2052419
Forward closed progress: 2053588
Forward closed progress: 2053502
Forward closed progress: 2053456
Forward closed progress: 2053396
Forward closed progress: 2052811
Forward closed progress: 2050650
Forward closed progress: 2084201
Forward closed progress: 2082802
Forward closed progress: 2059035
Forward closed progress: 2058873
Forward closed progress: 2058318
Forward closed progress: 2058287
Forward closed progress: 2058273
Forward closed progress: 2058001
Forward closed progress: 2057986
Forward closed progress: 2056862
Forward closed progress: 2056848
Forward closed progress: 2056784
Forward closed progress: 2057778
Forward closed progress: 2055750
Forward closed progress: 2055744
Forward closed progress: 2055411
Forward closed progress: 2054448
Forward closed progress: 2065945
Forward closed progress: 2066895
Forward closed progress: 2060939
Forward closed progress: 2060773
Forward closed progress: 2060708
Forward closed progress: 2055388
Forward closed progress: 2055583
Forward closed progress: 2055220
Forward closed progress: 2055208
Forward closed progress: 2054826
Forward closed progress: 2054392
Forward closed progress: 2054124
Forward closed progress: 2054138
Forward closed progress: 2054092
Forward closed progress: 2054112
Forward closed progress: 2054050
Forward closed progress: 2054900
Forward closed progress: 2054830
Forward closed progress: 2054412
Forward closed progress: 2054364
Forward closed progress: 2053962
Forward closed progress: 2053818
Forward closed progress: 2054876
Forward closed progress: 2054790
Forward closed progress: 2054701
Forward closed progress: 2052416
Forward closed progress: 2058321
Forward closed progress: 2058823
Forward closed progress: 2058772
Forward closed progress: 2058752
Forward closed progress: 2055541
Forward closed progress: 2061310
Forward closed progress: 2061334
Forward closed progress: 2061003
Forward closed progress: 2056517
Forward closed progress: 2056517
Forward closed progress: 2056541
Forward closed progress: 2055912
Forward closed progress: 2053397
Forward closed progress: 2052325
Forward closed progress: 2047053
Forward closed progress: 2046562
Forward closed progress: 2068017
Forward closed progress: 2068034
Forward closed progress: 2066143
Forward closed progress: 2055800
Forward closed progress: 2055817
Forward closed progress: 2055814
Forward closed progress: 2053887
Forward closed progress: 2054254
Forward closed progress: 2054690
Forward closed progress: 2049971
Forward closed progress: 2049946
Forward closed progress: 2050024
Forward closed progress: 2048278
Forward closed progress: 2047822
Forward closed progress: 2047352
Forward closed progress: 2046946
Forward closed progress: 2045585
Forward closed progress: 2045270
Forward closed progress: 2045270
Forward closed progress: 2045886
Forward closed progress: 2045569
Forward closed progress: 2045927
Forward closed progress: 2045939
Forward closed progress: 2045951
Forward closed progress: 2045940
Forward closed progress: 2046019
Forward closed progress: 2045971
Forward closed progress: 2046475
Forward closed progress: 2046322
Forward closed progress: 2046163
Forward closed progress: 2041102
Forward closed progress: 2038723
Forward closed progress: 2039861
Forward closed progress: 2039222
Forward closed progress: 2039284
Forward closed progress: 2039288
Forward closed progress: 2039275
Forward closed progress: 2039252
Forward closed progress: 1911866
Forward closed progress: 1909838
Forward closed progress: 1908737
Forward closed progress: 1907464
Forward closed progress: 1903235
Forward closed progress: 1903235
Control exists for 10060080 color(s), jumping through 1096122368 vertices.
Elapsed: 7658403 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 7658.403
user ??
sys ??
