>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 3056659200
Perturbation colors: 4294967296
All colors: 13128251299017523000
Unknown update functions: 5
Lowest cardinality: 2
Highest cardinality: 5
Attractor colors: 1559798496884686800
Attractor colors computed in 37485 ms.
Backward progress: 107288
Backward progress: 108953
Backward progress: 113612
Backward progress: 100952
Backward progress: 118506
Backward progress: 113382
Backward progress: 109540
Backward progress: 105521
Backward progress: 105346
Backward progress: 105616
Backward progress: 106115
Backward progress: 107625
Backward progress: 107937
Backward progress: 108183
Backward progress: 107957
Backward progress: 107686
Backward progress: 107030
Backward progress: 104783
Backward progress: 104462
Backward progress: 104506
Backward progress: 109643
Backward progress: 110146
Backward progress: 110163
Backward progress: 127660
Backward progress: 135086
Backward progress: 135093
Backward progress: 135188
Backward progress: 136539
Backward progress: 136519
Backward progress: 125966
Backward progress: 125885
Backward progress: 129342
Backward progress: 131170
Backward progress: 130949
Backward progress: 130466
Backward progress: 127623
Backward progress: 127230
Backward progress: 125495
Backward progress: 125342
Backward progress: 125118
Backward progress: 125179
Backward progress: 124971
Backward progress: 123037
Backward progress: 123023
Backward progress: 122494
Backward progress: 122149
Backward progress: 122531
Backward progress: 123852
Backward progress: 115521
Backward progress: 116064
Backward progress: 149903
Backward progress: 152091
Backward progress: 153990
Backward progress: 160454
Backward progress: 160424
Backward progress: 160434
Backward progress: 154373
Backward progress: 157979
Backward progress: 166785
Backward progress: 167984
Backward progress: 167985
Backward progress: 167892
Backward progress: 167882
Backward progress: 167700
Backward progress: 167051
Backward progress: 166968
Backward progress: 167635
Backward progress: 168957
Backward progress: 168813
Backward progress: 166939
Backward progress: 168207
Backward progress: 167922
Backward progress: 169582
Backward progress: 169579
Backward progress: 169573
Backward progress: 169169
Backward progress: 168881
Backward progress: 168693
Backward progress: 168906
Backward progress: 142736
Backward progress: 143306
Backward progress: 147206
Backward progress: 148500
Backward progress: 148260
Backward progress: 148357
Backward progress: 148316
Backward progress: 149932
Backward progress: 151481
Backward progress: 151485
Backward progress: 151910
Backward progress: 162262
Backward progress: 159879
Backward progress: 159779
Backward progress: 159192
Backward progress: 168245
Backward progress: 168238
Backward progress: 148972
Backward progress: 148878
Backward progress: 148698
Backward progress: 147717
Backward progress: 147693
Backward progress: 147624
Backward progress: 147529
Backward progress: 148541
Backward progress: 108702
Backward progress: 108599
Backward progress: 108622
Backward progress: 120055
Backward progress: 126016
Backward progress: 126001
Backward progress: 126078
Backward progress: 126898
Backward progress: 126873
Backward progress: 113890
Backward progress: 113580
Backward progress: 116432
Backward progress: 117654
Backward progress: 117438
Backward progress: 117179
Backward progress: 114886
Backward progress: 114573
Backward progress: 113120
Backward progress: 112983
Backward progress: 112736
Backward progress: 112464
Backward progress: 112098
Backward progress: 110070
Backward progress: 110071
Backward progress: 109657
Backward progress: 109585
Backward progress: 107947
Backward progress: 115339
Backward progress: 115345
Backward progress: 115370
Backward progress: 115905
Backward progress: 115871
Backward progress: 116013
Backward progress: 109566
Backward progress: 109334
Backward progress: 110150
Backward progress: 110147
Backward progress: 110148
Backward progress: 110056
Backward progress: 110046
Backward progress: 109863
Backward progress: 109133
Backward progress: 109050
Backward progress: 108850
Backward progress: 108717
Backward progress: 108238
Backward progress: 108144
Backward progress: 107438
Backward progress: 107243
Backward progress: 107049
Backward progress: 107000
Backward progress: 106928
Backward progress: 106597
Backward progress: 106477
Backward progress: 105950
Backward progress: 105761
Backward progress: 105420
Backward progress: 105320
Backward progress: 105220
Backward progress: 104723
Backward progress: 100766
Backward progress: 103256
Backward progress: 103177
Backward progress: 102134
Backward progress: 101126
Backward progress: 102306
Backward progress: 101977
Backward progress: 104310
Backward progress: 105848
Backward progress: 105667
Backward progress: 104203
Backward progress: 102645
Backward progress: 102470
Backward progress: 102371
Backward progress: 100003
Backward progress: 100026
Backward progress: 135955
Backward progress: 140213
Backward progress: 134745
Backward progress: 130024
Backward progress: 128686
Backward progress: 120025
Backward progress: 121604
Backward progress: 121639
Backward progress: 123227
Backward progress: 124465
Backward progress: 124720
Backward progress: 124870
Backward progress: 124406
Backward progress: 124349
Backward progress: 123903
Backward progress: 123902
Backward progress: 123899
Backward progress: 123929
Backward progress: 123395
Backward progress: 114749
Backward progress: 114993
Backward progress: 114376
Backward progress: 123649
Backward progress: 123641
Backward progress: 121569
Backward progress: 121575
Backward progress: 123349
Backward progress: 123373
Backward progress: 123448
Backward progress: 123453
Backward progress: 123794
Backward progress: 123624
Backward progress: 123548
Backward progress: 123554
Backward progress: 123230
Backward progress: 123111
Backward progress: 121944
Backward progress: 121944
Forward closed progress: 130291
Forward closed progress: 130281
Forward closed progress: 123839
Forward closed progress: 133611
Forward closed progress: 129890
Forward closed progress: 129878
Forward closed progress: 129854
Forward closed progress: 164247
Forward closed progress: 161891
Forward closed progress: 161135
Forward closed progress: 170363
Forward closed progress: 156712
Forward closed progress: 156311
Forward closed progress: 153975
Forward closed progress: 153891
Forward closed progress: 159605
Forward closed progress: 170132
Forward closed progress: 172972
Forward closed progress: 172389
Forward closed progress: 172286
Forward closed progress: 182900
Forward closed progress: 184137
Forward closed progress: 184800
Forward closed progress: 184746
Forward closed progress: 185366
Forward closed progress: 185367
Forward closed progress: 186670
Forward closed progress: 186702
Forward closed progress: 186241
Forward closed progress: 186158
Forward closed progress: 184589
Forward closed progress: 184574
Forward closed progress: 184894
Forward closed progress: 185087
Forward closed progress: 232733
Forward closed progress: 238228
Forward closed progress: 237725
Forward closed progress: 237719
Forward closed progress: 251251
Forward closed progress: 250945
Forward closed progress: 250390
Forward closed progress: 249153
Forward closed progress: 249151
Forward closed progress: 249156
Forward closed progress: 248189
Forward closed progress: 248350
Forward closed progress: 248345
Forward closed progress: 247881
Forward closed progress: 248140
Forward closed progress: 248133
Forward closed progress: 248064
Forward closed progress: 248138
Forward closed progress: 248055
Forward closed progress: 230648
Forward closed progress: 230514
Forward closed progress: 230898
Forward closed progress: 230979
Forward closed progress: 230837
Forward closed progress: 230789
Forward closed progress: 230808
Forward closed progress: 331720
Forward closed progress: 338085
Forward closed progress: 341907
Forward closed progress: 335666
Forward closed progress: 344566
Forward closed progress: 344218
Forward closed progress: 343953
Forward closed progress: 343588
Forward closed progress: 341444
Forward closed progress: 338086
Forward closed progress: 338060
Forward closed progress: 333910
Forward closed progress: 333481
Forward closed progress: 324155
Forward closed progress: 323993
Forward closed progress: 323985
Forward closed progress: 541302
Forward closed progress: 527398
Forward closed progress: 525517
Forward closed progress: 516165
Forward closed progress: 516281
Forward closed progress: 516305
Forward closed progress: 516865
Forward closed progress: 516597
Forward closed progress: 516121
Forward closed progress: 516280
Forward closed progress: 513871
Forward closed progress: 513864
Forward closed progress: 513722
Forward closed progress: 513530
Forward closed progress: 513558
Forward closed progress: 513416
Forward closed progress: 511587
Forward closed progress: 511352
Forward closed progress: 518864
Forward closed progress: 520172
Forward closed progress: 515681
Forward closed progress: 515798
Forward closed progress: 515795
Forward closed progress: 515802
Forward closed progress: 516091
Forward closed progress: 515344
Forward closed progress: 515208
Forward closed progress: 514708
Forward closed progress: 514896
Forward closed progress: 514918
Forward closed progress: 512868
Forward closed progress: 512808
Forward closed progress: 510613
Forward closed progress: 510506
Forward closed progress: 510425
Forward closed progress: 510222
Forward closed progress: 526178
Forward closed progress: 520600
Forward closed progress: 520417
Forward closed progress: 523131
Forward closed progress: 573527
Forward closed progress: 570890
Forward closed progress: 571319
Forward closed progress: 571321
Forward closed progress: 570682
Forward closed progress: 568133
Forward closed progress: 569046
Forward closed progress: 567774
Forward closed progress: 570509
Forward closed progress: 569001
Forward closed progress: 563939
Forward closed progress: 563983
Forward closed progress: 563911
Forward closed progress: 563860
Forward closed progress: 563862
Forward closed progress: 564046
Forward closed progress: 561351
Forward closed progress: 560666
Forward closed progress: 557555
Forward closed progress: 557555
Forward closed progress: 817084
Forward closed progress: 829449
Forward closed progress: 830769
Forward closed progress: 832577
Forward closed progress: 825865
Forward closed progress: 828393
Forward closed progress: 828999
Forward closed progress: 841213
Forward closed progress: 835529
Forward closed progress: 835391
Forward closed progress: 835382
Forward closed progress: 830494
Forward closed progress: 831735
Forward closed progress: 803382
Forward closed progress: 803307
Forward closed progress: 799524
Forward closed progress: 799517
Forward closed progress: 798807
Forward closed progress: 798348
Forward closed progress: 797006
Forward closed progress: 793953
Forward closed progress: 788028
Forward closed progress: 789005
Forward closed progress: 788803
Forward closed progress: 788741
Forward closed progress: 686376
Forward closed progress: 686461
Forward closed progress: 686485
Forward closed progress: 687009
Forward closed progress: 679603
Forward closed progress: 663303
Forward closed progress: 627792
Forward closed progress: 628297
Forward closed progress: 627798
Forward closed progress: 627820
Forward closed progress: 627814
Forward closed progress: 615175
Forward closed progress: 650610
Forward closed progress: 653611
Forward closed progress: 651618
Forward closed progress: 645580
Forward closed progress: 754171
Forward closed progress: 735214
Forward closed progress: 735214
Forward closed progress: 735214
Forward closed progress: 735212
Forward closed progress: 733299
Forward closed progress: 733224
Forward closed progress: 738998
Forward closed progress: 738902
Forward closed progress: 738399
Forward closed progress: 738386
Forward closed progress: 737214
Forward closed progress: 720677
Forward closed progress: 717079
Forward closed progress: 716929
Forward closed progress: 710787
Forward closed progress: 705119
Forward closed progress: 691869
Forward closed progress: 698475
Forward closed progress: 697274
Forward closed progress: 676666
Forward closed progress: 657262
Forward closed progress: 655786
Forward closed progress: 645841
Forward closed progress: 636363
Forward closed progress: 646609
Forward closed progress: 645800
Forward closed progress: 645742
Forward closed progress: 645026
Forward closed progress: 644657
Forward closed progress: 640905
Forward closed progress: 640678
Forward closed progress: 639890
Forward closed progress: 676565
Forward closed progress: 676263
Forward closed progress: 675750
Forward closed progress: 673333
Forward closed progress: 672430
Forward closed progress: 671755
Forward closed progress: 667976
Forward closed progress: 668232
Forward closed progress: 673045
Forward closed progress: 672137
Forward closed progress: 670213
Forward closed progress: 670141
Forward closed progress: 669548
Forward closed progress: 669009
Forward closed progress: 668981
Forward closed progress: 666753
Forward closed progress: 654774
Forward closed progress: 653275
Forward closed progress: 652840
Forward closed progress: 652607
Forward closed progress: 652277
Forward closed progress: 682636
Forward closed progress: 675499
Forward closed progress: 676173
Forward closed progress: 675613
Forward closed progress: 676040
Forward closed progress: 675947
Forward closed progress: 675793
Forward closed progress: 675673
Forward closed progress: 675542
Forward closed progress: 638548
Forward closed progress: 635068
Forward closed progress: 633414
Forward closed progress: 631080
Forward closed progress: 630920
Forward closed progress: 629823
Forward closed progress: 628754
Forward closed progress: 714034
Forward closed progress: 726800
Forward closed progress: 735097
Forward closed progress: 735115
Forward closed progress: 736001
Forward closed progress: 735989
Forward closed progress: 739252
Forward closed progress: 739231
Forward closed progress: 739043
Forward closed progress: 772687
Forward closed progress: 778481
Forward closed progress: 778490
Forward closed progress: 777630
Forward closed progress: 773357
Forward closed progress: 888240
Forward closed progress: 894745
Forward closed progress: 892478
Forward closed progress: 886962
Forward closed progress: 886899
Forward closed progress: 885845
Forward closed progress: 878738
Forward closed progress: 872170
Forward closed progress: 934986
Forward closed progress: 922674
Forward closed progress: 920436
Forward closed progress: 911390
Forward closed progress: 902397
Forward closed progress: 895725
Forward closed progress: 896099
Forward closed progress: 913803
Forward closed progress: 913445
Forward closed progress: 904867
Forward closed progress: 904612
Forward closed progress: 897370
Forward closed progress: 897350
Forward closed progress: 894679
Forward closed progress: 885647
Forward closed progress: 851983
Forward closed progress: 850672
Forward closed progress: 848456
Forward closed progress: 933960
Forward closed progress: 932360
Forward closed progress: 943864
Forward closed progress: 937934
Forward closed progress: 937645
Forward closed progress: 939257
Forward closed progress: 941133
Forward closed progress: 941052
Forward closed progress: 940967
Forward closed progress: 940931
Forward closed progress: 941657
Forward closed progress: 941943
Forward closed progress: 925273
Forward closed progress: 925297
Forward closed progress: 918952
Forward closed progress: 922821
Forward closed progress: 922779
Forward closed progress: 884040
Forward closed progress: 884057
Forward closed progress: 884031
Forward closed progress: 883905
Forward closed progress: 882543
Forward closed progress: 881191
Forward closed progress: 874245
Forward closed progress: 858184
Forward closed progress: 857002
Forward closed progress: 920394
Forward closed progress: 892389
Forward closed progress: 892474
Forward closed progress: 893458
Forward closed progress: 893448
Forward closed progress: 893457
Forward closed progress: 893250
Forward closed progress: 892533
Forward closed progress: 892561
Forward closed progress: 890878
Forward closed progress: 878816
Forward closed progress: 878441
Forward closed progress: 876994
Forward closed progress: 873030
Forward closed progress: 882248
Forward closed progress: 867618
Forward closed progress: 862994
Forward closed progress: 852175
Forward closed progress: 853101
Forward closed progress: 852398
Forward closed progress: 852297
Forward closed progress: 851515
Forward closed progress: 851408
Forward closed progress: 851142
Forward closed progress: 850979
Forward closed progress: 850613
Forward closed progress: 840058
Forward closed progress: 818923
Forward closed progress: 816936
Forward closed progress: 809555
Forward closed progress: 807774
Forward closed progress: 803584
Forward closed progress: 762300
Forward closed progress: 989548
Forward closed progress: 1140001
Forward closed progress: 1122713
Forward closed progress: 1122923
Forward closed progress: 1124864
Forward closed progress: 1166435
Forward closed progress: 1178173
Forward closed progress: 1178157
Forward closed progress: 1201796
Forward closed progress: 1190003
Forward closed progress: 1210998
Forward closed progress: 1213171
Forward closed progress: 1216937
Forward closed progress: 1218499
Forward closed progress: 1222899
Forward closed progress: 1222975
Forward closed progress: 1222956
Forward closed progress: 1221661
Forward closed progress: 1225734
Forward closed progress: 1222388
Forward closed progress: 1222171
Forward closed progress: 1217071
Forward closed progress: 1224386
Forward closed progress: 1190072
Forward closed progress: 1190178
Forward closed progress: 1189980
Forward closed progress: 1189782
Forward closed progress: 1189808
Forward closed progress: 1189235
Forward closed progress: 1168780
Forward closed progress: 1167906
Forward closed progress: 1167994
Forward closed progress: 1167998
Forward closed progress: 1168080
Forward closed progress: 1168090
Forward closed progress: 1203483
Forward closed progress: 1198500
Forward closed progress: 1198508
Forward closed progress: 1198528
Forward closed progress: 1198588
Forward closed progress: 1198806
Forward closed progress: 1193998
Forward closed progress: 1193242
Forward closed progress: 1191510
Forward closed progress: 1191522
Forward closed progress: 1191370
Forward closed progress: 1189213
Forward closed progress: 1158590
Forward closed progress: 1150632
Forward closed progress: 1149034
Forward closed progress: 1114484
Forward closed progress: 1260246
Forward closed progress: 1211361
Forward closed progress: 1208032
Forward closed progress: 1207960
Forward closed progress: 1207102
Forward closed progress: 1204123
Forward closed progress: 1202385
Forward closed progress: 1200139
Forward closed progress: 1198220
Forward closed progress: 1145005
Forward closed progress: 1133477
Forward closed progress: 1117042
Forward closed progress: 1138062
Forward closed progress: 1145399
Forward closed progress: 1134113
Forward closed progress: 1175563
Forward closed progress: 1156230
Forward closed progress: 1159322
Forward closed progress: 1155402
Forward closed progress: 1153720
Forward closed progress: 1138852
Forward closed progress: 1136489
Forward closed progress: 1137767
Forward closed progress: 1136292
Forward closed progress: 1128785
Forward closed progress: 1129845
Forward closed progress: 1129359
Forward closed progress: 1129041
Forward closed progress: 1128461
Forward closed progress: 1122389
Forward closed progress: 1121567
Forward closed progress: 1131652
Forward closed progress: 1125027
Forward closed progress: 1124117
Forward closed progress: 1122696
Forward closed progress: 1115864
Forward closed progress: 1080072
Forward closed progress: 1075515
Forward closed progress: 1075515
Forward closed progress: 1075287
Forward closed progress: 1235722
Forward closed progress: 1253675
Forward closed progress: 1254862
Forward closed progress: 1254917
Forward closed progress: 1255256
Forward closed progress: 1206546
Forward closed progress: 1216946
Forward closed progress: 1216934
Forward closed progress: 1216440
Forward closed progress: 1216037
Forward closed progress: 1216225
Forward closed progress: 1213337
Forward closed progress: 1225777
Forward closed progress: 1227820
Forward closed progress: 1227861
Forward closed progress: 1228955
Forward closed progress: 1229045
Forward closed progress: 1229003
Forward closed progress: 1230791
Forward closed progress: 1229219
Forward closed progress: 1229054
Forward closed progress: 1229198
Forward closed progress: 1229019
Forward closed progress: 1258969
Forward closed progress: 1259901
Forward closed progress: 1259892
Forward closed progress: 1259619
Forward closed progress: 1259122
Forward closed progress: 1258584
Forward closed progress: 1257618
Forward closed progress: 1261882
Forward closed progress: 1264119
Forward closed progress: 1264346
Forward closed progress: 1264234
Forward closed progress: 1263345
Forward closed progress: 1264052
Forward closed progress: 1260737
Forward closed progress: 1240151
Forward closed progress: 1347926
Forward closed progress: 1353773
Forward closed progress: 1347784
Forward closed progress: 1349407
Forward closed progress: 1348974
Forward closed progress: 1349288
Forward closed progress: 1349909
Forward closed progress: 1349977
Forward closed progress: 1347303
Forward closed progress: 1345823
Forward closed progress: 1344892
Forward closed progress: 1345361
Forward closed progress: 1345453
Forward closed progress: 1345431
Forward closed progress: 1338345
Forward closed progress: 1338170
Forward closed progress: 1338114
Forward closed progress: 1337694
Forward closed progress: 1336922
Forward closed progress: 1331671
Forward closed progress: 1332686
Forward closed progress: 1332193
Forward closed progress: 1336629
Forward closed progress: 1310339
Forward closed progress: 1313589
Forward closed progress: 1313565
Forward closed progress: 1313159
Forward closed progress: 1312725
Forward closed progress: 1310553
Forward closed progress: 1356059
Forward closed progress: 1340899
Forward closed progress: 1341043
Forward closed progress: 1341076
Forward closed progress: 1341078
Forward closed progress: 1340968
Forward closed progress: 1341034
Forward closed progress: 1341058
Forward closed progress: 1340577
Forward closed progress: 1340453
Forward closed progress: 1340069
Forward closed progress: 1339431
Forward closed progress: 1339461
Forward closed progress: 1338973
Forward closed progress: 1340134
Forward closed progress: 1339374
Forward closed progress: 1353237
Forward closed progress: 1347805
Forward closed progress: 1342577
Forward closed progress: 1342601
Forward closed progress: 1341913
Forward closed progress: 1341856
Forward closed progress: 1341613
Forward closed progress: 1340649
Forward closed progress: 1339604
Forward closed progress: 1340013
Forward closed progress: 1339405
Forward closed progress: 1339343
Forward closed progress: 1339301
Forward closed progress: 1338694
Forward closed progress: 1338507
Forward closed progress: 1338222
Forward closed progress: 1337419
Forward closed progress: 1334612
Forward closed progress: 1335984
Forward closed progress: 1336710
Forward closed progress: 1334864
Forward closed progress: 1331898
Forward closed progress: 1334844
Forward closed progress: 1334832
Forward closed progress: 1334388
Forward closed progress: 1334256
Forward closed progress: 1333579
Forward closed progress: 1332559
Forward closed progress: 1333597
Forward closed progress: 1332785
Forward closed progress: 1332465
Forward closed progress: 1332664
Forward closed progress: 1332345
Forward closed progress: 1328310
Forward closed progress: 1327076
Forward closed progress: 1267298
Forward closed progress: 1268426
Forward closed progress: 1268402
Forward closed progress: 1268390
Forward closed progress: 1268886
Forward closed progress: 1264146
Forward closed progress: 1264680
Forward closed progress: 1264656
Forward closed progress: 1275965
Forward closed progress: 1275980
Forward closed progress: 1275770
Forward closed progress: 1274882
Forward closed progress: 1275036
Forward closed progress: 1275051
Forward closed progress: 1274647
Forward closed progress: 1274623
Forward closed progress: 1274054
Forward closed progress: 1278597
Forward closed progress: 1277733
Forward closed progress: 1281713
Forward closed progress: 1276979
Forward closed progress: 1276907
Forward closed progress: 1276889
Forward closed progress: 1276826
Forward closed progress: 1276704
Forward closed progress: 1276566
Forward closed progress: 1276112
Forward closed progress: 1274604
Forward closed progress: 1274820
Forward closed progress: 1272563
Forward closed progress: 1278079
Forward closed progress: 1278406
Forward closed progress: 1278400
Forward closed progress: 1280295
Forward closed progress: 1280319
Forward closed progress: 1279629
Forward closed progress: 1279735
Forward closed progress: 1279759
Forward closed progress: 1279577
Forward closed progress: 1278804
Forward closed progress: 1278568
Forward closed progress: 1282632
Forward closed progress: 1282592
Forward closed progress: 1282322
Forward closed progress: 1281754
Forward closed progress: 1281754
Forward closed progress: 1279292
Forward closed progress: 1278749
Forward closed progress: 1277829
Forward closed progress: 1277388
Forward closed progress: 1270900
Forward closed progress: 1518467
Forward closed progress: 2136620
Forward closed progress: 2112244
Forward closed progress: 2110333
Forward closed progress: 2112430
Forward closed progress: 2109956
Forward closed progress: 2110163
Forward closed progress: 2111184
Forward closed progress: 2108432
Forward closed progress: 2106541
Forward closed progress: 2103594
Forward closed progress: 2135742
Forward closed progress: 2104387
Forward closed progress: 2104437
Forward closed progress: 2104439
Forward closed progress: 2116432
Forward closed progress: 2117095
Forward closed progress: 2110208
Forward closed progress: 2108887
Forward closed progress: 2108785
Forward closed progress: 2254882
Forward closed progress: 2352757
Forward closed progress: 2352759
Forward closed progress: 2341497
Forward closed progress: 2340565
Forward closed progress: 2289942
Forward closed progress: 2289850
Forward closed progress: 2214461
Forward closed progress: 2199628
Forward closed progress: 2200733
Forward closed progress: 2194609
Forward closed progress: 2180918
Forward closed progress: 2180913
Forward closed progress: 2180769
Forward closed progress: 2179635
Forward closed progress: 2159873
Forward closed progress: 2152088
Forward closed progress: 2004691
Forward closed progress: 2004607
Forward closed progress: 2004433
Forward closed progress: 1998250
Forward closed progress: 1998158
Forward closed progress: 1991183
Forward closed progress: 1987555
Forward closed progress: 1988003
Forward closed progress: 1998819
Forward closed progress: 2001591
Forward closed progress: 2004117
Forward closed progress: 2004047
Forward closed progress: 2004280
Forward closed progress: 2004148
Forward closed progress: 2006392
Forward closed progress: 2006901
Forward closed progress: 2006811
Forward closed progress: 2006960
Forward closed progress: 2006990
Forward closed progress: 2007997
Forward closed progress: 2007985
Forward closed progress: 2007903
Forward closed progress: 2007887
Forward closed progress: 2007905
Forward closed progress: 2008052
Forward closed progress: 2007778
Forward closed progress: 2006979
Forward closed progress: 1998761
Forward closed progress: 1996559
Forward closed progress: 2007712
Forward closed progress: 2014339
Forward closed progress: 2005926
Forward closed progress: 2002522
Forward closed progress: 2002187
Forward closed progress: 2002100
Forward closed progress: 2001905
Forward closed progress: 2001494
Forward closed progress: 2000212
Forward closed progress: 2000274
Forward closed progress: 1998255
Forward closed progress: 1989264
Forward closed progress: 1990033
Forward closed progress: 1989955
Forward closed progress: 1992434
Forward closed progress: 1993190
Forward closed progress: 1992950
Forward closed progress: 1992130
Forward closed progress: 1990757
Forward closed progress: 1988664
Forward closed progress: 1987908
Forward closed progress: 1987848
Forward closed progress: 1984847
Forward closed progress: 1978983
Forward closed progress: 1975479
Forward closed progress: 1962780
Forward closed progress: 1945622
Forward closed progress: 1945670
Forward closed progress: 1945664
Forward closed progress: 1946061
Forward closed progress: 1946253
Forward closed progress: 1950558
Forward closed progress: 1949640
Forward closed progress: 1949254
Forward closed progress: 1944353
Forward closed progress: 1944041
Forward closed progress: 1938857
Forward closed progress: 1940102
Forward closed progress: 1940110
Forward closed progress: 1940214
Forward closed progress: 2045628
Forward closed progress: 2051438
Forward closed progress: 2052175
Forward closed progress: 2052435
Forward closed progress: 1982361
Forward closed progress: 1982920
Forward closed progress: 1982893
Forward closed progress: 1982896
Forward closed progress: 1982856
Forward closed progress: 1982968
Forward closed progress: 1982924
Forward closed progress: 2016549
Forward closed progress: 2030269
Forward closed progress: 2030383
Forward closed progress: 2010654
Forward closed progress: 2004764
Forward closed progress: 2004374
Forward closed progress: 2004498
Forward closed progress: 2004470
Forward closed progress: 2203533
Forward closed progress: 2191084
Forward closed progress: 2156459
Forward closed progress: 2156716
Forward closed progress: 2158417
Forward closed progress: 2157484
Forward closed progress: 2157372
Forward closed progress: 2157264
Forward closed progress: 2155594
Forward closed progress: 2155575
Forward closed progress: 2158420
Forward closed progress: 2156668
Forward closed progress: 2156646
Forward closed progress: 2156570
Forward closed progress: 2164202
Forward closed progress: 2164238
Forward closed progress: 2163871
Forward closed progress: 2157463
Forward closed progress: 2157645
Forward closed progress: 2157149
Forward closed progress: 2157185
Forward closed progress: 2156814
Forward closed progress: 2143833
Forward closed progress: 2133614
Forward closed progress: 2133114
Forward closed progress: 2138172
Forward closed progress: 2170368
Forward closed progress: 2172751
Forward closed progress: 2162723
Forward closed progress: 2162491
Forward closed progress: 2162160
Forward closed progress: 2162056
Forward closed progress: 2160120
Forward closed progress: 2159874
Forward closed progress: 2152441
Forward closed progress: 2185058
Forward closed progress: 2185073
Forward closed progress: 2185445
Forward closed progress: 2186071
Forward closed progress: 2186577
Forward closed progress: 2186611
Forward closed progress: 2186443
Forward closed progress: 2186465
Forward closed progress: 2186461
Forward closed progress: 2186895
Forward closed progress: 2184958
Forward closed progress: 2185814
Forward closed progress: 2177149
Forward closed progress: 2217261
Forward closed progress: 2209135
Forward closed progress: 2209157
Forward closed progress: 2209135
Forward closed progress: 2209179
Forward closed progress: 2209157
Forward closed progress: 2215173
Forward closed progress: 2215173
Forward closed progress: 2215169
Forward closed progress: 2215125
Forward closed progress: 2214959
Forward closed progress: 2218913
Forward closed progress: 2220084
Forward closed progress: 2220006
Forward closed progress: 2219936
Forward closed progress: 2219876
Forward closed progress: 2209956
Forward closed progress: 2207737
Forward closed progress: 2242706
Forward closed progress: 2241307
Forward closed progress: 2217512
Forward closed progress: 2217370
Forward closed progress: 2216062
Forward closed progress: 2216043
Forward closed progress: 2215977
Forward closed progress: 2215701
Forward closed progress: 2215682
Forward closed progress: 2214511
Forward closed progress: 2214417
Forward closed progress: 2214341
Forward closed progress: 2215283
Forward closed progress: 2213241
Forward closed progress: 2213211
Forward closed progress: 2212889
Forward closed progress: 2210783
Forward closed progress: 2222178
Forward closed progress: 2223101
Forward closed progress: 2217040
Forward closed progress: 2216882
Forward closed progress: 2216729
Forward closed progress: 2211314
Forward closed progress: 2214234
Forward closed progress: 2213991
Forward closed progress: 2214101
Forward closed progress: 2210179
Forward closed progress: 2209732
Forward closed progress: 2209464
Forward closed progress: 2209486
Forward closed progress: 2209432
Forward closed progress: 2209460
Forward closed progress: 2209390
Forward closed progress: 2210320
Forward closed progress: 2210242
Forward closed progress: 2209824
Forward closed progress: 2209768
Forward closed progress: 2209302
Forward closed progress: 2208524
Forward closed progress: 2209365
Forward closed progress: 2209287
Forward closed progress: 2209006
Forward closed progress: 2206426
Forward closed progress: 2270352
Forward closed progress: 2271310
Forward closed progress: 2271265
Forward closed progress: 2271176
Forward closed progress: 2261867
Forward closed progress: 2267111
Forward closed progress: 2267135
Forward closed progress: 2266804
Forward closed progress: 2262777
Forward closed progress: 2262702
Forward closed progress: 2262726
Forward closed progress: 2261478
Forward closed progress: 2258851
Forward closed progress: 2257481
Forward closed progress: 2249159
Forward closed progress: 2240643
Forward closed progress: 2240196
Forward closed progress: 2276212
Forward closed progress: 2276226
Forward closed progress: 2274157
Forward closed progress: 2267334
Forward closed progress: 2267351
Forward closed progress: 2267351
Forward closed progress: 2266388
Forward closed progress: 2268142
Forward closed progress: 2268576
Forward closed progress: 2268051
Forward closed progress: 2268062
Forward closed progress: 2268168
Forward closed progress: 2266148
Forward closed progress: 2266057
Forward closed progress: 2264055
Forward closed progress: 2263649
Forward closed progress: 2255148
Forward closed progress: 2254411
Forward closed progress: 2254411
Forward closed progress: 2259149
Forward closed progress: 2258822
Forward closed progress: 2259001
Forward closed progress: 2259007
Forward closed progress: 2259013
Forward closed progress: 2259122
Forward closed progress: 2259171
Forward closed progress: 2258505
Forward closed progress: 2259153
Forward closed progress: 2259000
Forward closed progress: 2258841
Forward closed progress: 2259499
Forward closed progress: 2253171
Forward closed progress: 2238741
Forward closed progress: 2239373
Forward closed progress: 2238624
Forward closed progress: 2238760
Forward closed progress: 2238766
Forward closed progress: 2238680
Forward closed progress: 2238898
Forward closed progress: 2239122
Forward closed progress: 2238528
Forward closed progress: 2238020
Forward closed progress: 2171858
Forward closed progress: 2174461
Forward closed progress: 2172591
Forward closed progress: 2170652
Forward closed progress: 2164847
Forward closed progress: 2164847
Control exists for 363168888 color(s), jumping through 1096122368 vertices.
Elapsed: 7237815 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 7237.815
user ??
sys ??
