>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 38880
Perturbation colors: 9007199254740992
All colors: 350199907024329800000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 9079256848778920000
Attractor colors computed in 9167 ms.
Backward progress: 121474
Backward progress: 121722
Backward progress: 125839
Backward progress: 125084
Backward progress: 124577
Backward progress: 125509
Backward progress: 137135
Backward progress: 136531
Backward progress: 140521
Backward progress: 140543
Backward progress: 138265
Backward progress: 138237
Backward progress: 136587
Backward progress: 136559
Backward progress: 141373
Backward progress: 141420
Backward progress: 146245
Backward progress: 157971
Backward progress: 162677
Backward progress: 162686
Backward progress: 162722
Backward progress: 162799
Backward progress: 161421
Backward progress: 161544
Backward progress: 166243
Backward progress: 166248
Backward progress: 166006
Backward progress: 163338
Backward progress: 163348
Backward progress: 163520
Backward progress: 161934
Backward progress: 159805
Backward progress: 158548
Backward progress: 252634
Backward progress: 257109
Backward progress: 257385
Backward progress: 289659
Backward progress: 290110
Backward progress: 288840
Backward progress: 290670
Backward progress: 291214
Backward progress: 292285
Backward progress: 318511
Backward progress: 324610
Backward progress: 324992
Backward progress: 323256
Backward progress: 322352
Backward progress: 324088
Backward progress: 303993
Backward progress: 304944
Backward progress: 278500
Backward progress: 279168
Backward progress: 280180
Backward progress: 281652
Backward progress: 273252
Backward progress: 277276
Backward progress: 269269
Backward progress: 291395
Backward progress: 276411
Backward progress: 287093
Backward progress: 287157
Backward progress: 282040
Backward progress: 281942
Backward progress: 276544
Backward progress: 273020
Backward progress: 299011
Backward progress: 336217
Backward progress: 324779
Backward progress: 324316
Backward progress: 320513
Backward progress: 310373
Backward progress: 306335
Backward progress: 298577
Backward progress: 308734
Backward progress: 301506
Backward progress: 295171
Backward progress: 287402
Backward progress: 267374
Backward progress: 267414
Backward progress: 262745
Backward progress: 338846
Backward progress: 350040
Backward progress: 311199
Backward progress: 338807
Backward progress: 338871
Backward progress: 324131
Backward progress: 323820
Backward progress: 310445
Backward progress: 297566
Backward progress: 297164
Backward progress: 291846
Backward progress: 286685
Backward progress: 240273
Backward progress: 350682
Backward progress: 446848
Backward progress: 448885
Backward progress: 452543
Backward progress: 461275
Backward progress: 461426
Backward progress: 460887
Backward progress: 461737
Backward progress: 458111
Backward progress: 459604
Backward progress: 458126
Backward progress: 458295
Backward progress: 458558
Backward progress: 468902
Backward progress: 470501
Backward progress: 470592
Backward progress: 467684
Backward progress: 467302
Backward progress: 467600
Backward progress: 468476
Backward progress: 468818
Backward progress: 459086
Backward progress: 458834
Backward progress: 458704
Backward progress: 459237
Backward progress: 456705
Backward progress: 465817
Backward progress: 446879
Backward progress: 446863
Backward progress: 446154
Backward progress: 445067
Backward progress: 444867
Backward progress: 455269
Backward progress: 452281
Backward progress: 455735
Backward progress: 455751
Backward progress: 453933
Backward progress: 453905
Backward progress: 452327
Backward progress: 452327
Backward progress: 459272
Backward progress: 458295
Backward progress: 454713
Backward progress: 458122
Backward progress: 456284
Backward progress: 456350
Backward progress: 480888
Backward progress: 479682
Backward progress: 479428
Backward progress: 477728
Backward progress: 472946
Backward progress: 471014
Backward progress: 471014
Backward progress: 469744
Backward progress: 469573
Backward progress: 467295
Backward progress: 474114
Backward progress: 471514
Backward progress: 469636
Backward progress: 466528
Backward progress: 461936
Backward progress: 461640
Backward progress: 461460
Backward progress: 459500
Backward progress: 464764
Backward progress: 445549
Backward progress: 446101
Backward progress: 446242
Backward progress: 446466
Backward progress: 446474
Backward progress: 446446
Backward progress: 446326
Backward progress: 461238
Backward progress: 462092
Backward progress: 443069
Backward progress: 451453
Backward progress: 451469
Backward progress: 446860
Backward progress: 446773
Backward progress: 446357
Backward progress: 442599
Backward progress: 436607
Backward progress: 436097
Backward progress: 434013
Backward progress: 434076
Backward progress: 433771
Backward progress: 429764
Backward progress: 360830
Backward progress: 360808
Backward progress: 113160
Backward progress: 132661
Backward progress: 136187
Backward progress: 132813
Backward progress: 179171
Backward progress: 179480
Backward progress: 178275
Backward progress: 180269
Backward progress: 180616
Backward progress: 181228
Backward progress: 197974
Backward progress: 199524
Backward progress: 200750
Backward progress: 193126
Backward progress: 193030
Backward progress: 194572
Backward progress: 197036
Backward progress: 197440
Backward progress: 190904
Backward progress: 191412
Backward progress: 192710
Backward progress: 192998
Backward progress: 190182
Backward progress: 192265
Backward progress: 189233
Backward progress: 210087
Backward progress: 207924
Backward progress: 213654
Backward progress: 213664
Backward progress: 210289
Backward progress: 210282
Backward progress: 208021
Backward progress: 207922
Backward progress: 201825
Backward progress: 200766
Backward progress: 198277
Backward progress: 229421
Backward progress: 233626
Backward progress: 206567
Backward progress: 219401
Backward progress: 219411
Backward progress: 211611
Backward progress: 211550
Backward progress: 205933
Backward progress: 196729
Backward progress: 195360
Backward progress: 193884
Backward progress: 190820
Backward progress: 165387
Backward progress: 162586
Backward progress: 157982
Backward progress: 154847
Backward progress: 154326
Backward progress: 156076
Backward progress: 152472
Backward progress: 153154
Backward progress: 153205
Backward progress: 153515
Backward progress: 153515
Backward progress: 153575
Backward progress: 154112
Backward progress: 154114
Backward progress: 153946
Backward progress: 153730
Backward progress: 153994
Backward progress: 154027
Backward progress: 154174
Backward progress: 154176
Backward progress: 154169
Backward progress: 154061
Backward progress: 154232
Backward progress: 154358
Backward progress: 154016
Backward progress: 154008
Backward progress: 118768
Backward progress: 120622
Backward progress: 122003
Backward progress: 122342
Backward progress: 122628
Backward progress: 125717
Backward progress: 125745
Backward progress: 122977
Backward progress: 122465
Backward progress: 122487
Backward progress: 122963
Backward progress: 123002
Backward progress: 120004
Backward progress: 120004
Forward closed progress: 120005
Forward closed progress: 120010
Forward closed progress: 218346
Forward closed progress: 120021
Forward closed progress: 120034
Forward closed progress: 119904
Forward closed progress: 120034
Forward closed progress: 107281
Forward closed progress: 107304
Forward closed progress: 107633
Forward closed progress: 107751
Forward closed progress: 107394
Forward closed progress: 103861
Forward closed progress: 103804
Forward closed progress: 105534
Forward closed progress: 105642
Forward closed progress: 104166
Forward closed progress: 104226
Forward closed progress: 105322
Forward closed progress: 111885
Forward closed progress: 104545
Forward closed progress: 104559
Forward closed progress: 107879
Forward closed progress: 138886
Forward closed progress: 138872
Forward closed progress: 138872
Forward closed progress: 138872
Forward closed progress: 104940
Forward closed progress: 109332
Forward closed progress: 109332
Forward closed progress: 154430
Forward closed progress: 154430
Forward closed progress: 154430
Forward closed progress: 106545
Forward closed progress: 107114
Forward closed progress: 108475
Forward closed progress: 109207
Forward closed progress: 111431
Forward closed progress: 144659
Forward closed progress: 161681
Forward closed progress: 214559
Forward closed progress: 214880
Forward closed progress: 214988
Forward closed progress: 182737
Forward closed progress: 123781
Forward closed progress: 167850
Forward closed progress: 163852
Forward closed progress: 166972
Forward closed progress: 182648
Forward closed progress: 248340
Forward closed progress: 248469
Forward closed progress: 248505
Forward closed progress: 216804
Forward closed progress: 123567
Forward closed progress: 171765
Forward closed progress: 150681
Forward closed progress: 143678
Forward closed progress: 143728
Forward closed progress: 151477
Forward closed progress: 187031
Forward closed progress: 187137
Forward closed progress: 187169
Forward closed progress: 171837
Forward closed progress: 125271
Forward closed progress: 202840
Forward closed progress: 206560
Forward closed progress: 191939
Forward closed progress: 182052
Forward closed progress: 128844
Forward closed progress: 177394
Forward closed progress: 229163
Forward closed progress: 296555
Forward closed progress: 296816
Forward closed progress: 296900
Forward closed progress: 259907
Forward closed progress: 199855
Forward closed progress: 198329
Forward closed progress: 201035
Forward closed progress: 179841
Forward closed progress: 160665
Forward closed progress: 130458
Forward closed progress: 182860
Forward closed progress: 182912
Forward closed progress: 131210
Forward closed progress: 233767
Forward closed progress: 393039
Forward closed progress: 490767
Forward closed progress: 584915
Forward closed progress: 585256
Forward closed progress: 585344
Forward closed progress: 534397
Forward closed progress: 540154
Forward closed progress: 540414
Forward closed progress: 455228
Forward closed progress: 512351
Forward closed progress: 420073
Forward closed progress: 396780
Forward closed progress: 381768
Forward closed progress: 388455
Forward closed progress: 388505
Forward closed progress: 388529
Forward closed progress: 354491
Forward closed progress: 377185
Forward closed progress: 387888
Forward closed progress: 427126
Forward closed progress: 416896
Forward closed progress: 357344
Forward closed progress: 357650
Forward closed progress: 357706
Forward closed progress: 279398
Forward closed progress: 380643
Forward closed progress: 421982
Forward closed progress: 422736
Forward closed progress: 431123
Forward closed progress: 431283
Forward closed progress: 433035
Forward closed progress: 407175
Forward closed progress: 407799
Forward closed progress: 364665
Forward closed progress: 409525
Forward closed progress: 414317
Forward closed progress: 413209
Forward closed progress: 429348
Forward closed progress: 429468
Forward closed progress: 416258
Forward closed progress: 406748
Forward closed progress: 323471
Forward closed progress: 419105
Forward closed progress: 559560
Forward closed progress: 559340
Forward closed progress: 561334
Forward closed progress: 568368
Forward closed progress: 650388
Forward closed progress: 655135
Forward closed progress: 742679
Forward closed progress: 735680
Forward closed progress: 735718
Forward closed progress: 695802
Forward closed progress: 693170
Forward closed progress: 693947
Forward closed progress: 693946
Forward closed progress: 693706
Forward closed progress: 691786
Forward closed progress: 741581
Forward closed progress: 742843
Forward closed progress: 742823
Forward closed progress: 742993
Forward closed progress: 743069
Forward closed progress: 710727
Forward closed progress: 710682
Forward closed progress: 705890
Forward closed progress: 705895
Forward closed progress: 652237
Forward closed progress: 651323
Forward closed progress: 649436
Forward closed progress: 639871
Forward closed progress: 705444
Forward closed progress: 705466
Forward closed progress: 645203
Forward closed progress: 646298
Forward closed progress: 691531
Forward closed progress: 684670
Forward closed progress: 684706
Forward closed progress: 566617
Forward closed progress: 553810
Forward closed progress: 522119
Forward closed progress: 508539
Forward closed progress: 504633
Forward closed progress: 449650
Forward closed progress: 445958
Forward closed progress: 445999
Forward closed progress: 452827
Forward closed progress: 452863
Forward closed progress: 457306
Forward closed progress: 452287
Forward closed progress: 421057
Forward closed progress: 715798
Forward closed progress: 812485
Forward closed progress: 833290
Forward closed progress: 890972
Forward closed progress: 885008
Forward closed progress: 885208
Forward closed progress: 811129
Forward closed progress: 782531
Forward closed progress: 790832
Forward closed progress: 778849
Forward closed progress: 708734
Forward closed progress: 709022
Forward closed progress: 765315
Forward closed progress: 765381
Forward closed progress: 707678
Forward closed progress: 711266
Forward closed progress: 768498
Forward closed progress: 762783
Forward closed progress: 763049
Forward closed progress: 582351
Forward closed progress: 564034
Forward closed progress: 550376
Forward closed progress: 514660
Forward closed progress: 505901
Forward closed progress: 457940
Forward closed progress: 449752
Forward closed progress: 427427
Forward closed progress: 422529
Forward closed progress: 350014
Forward closed progress: 622256
Forward closed progress: 642939
Forward closed progress: 659745
Forward closed progress: 657141
Forward closed progress: 661214
Forward closed progress: 633813
Forward closed progress: 567686
Forward closed progress: 529638
Forward closed progress: 528323
Forward closed progress: 527447
Forward closed progress: 551453
Forward closed progress: 553673
Forward closed progress: 557865
Forward closed progress: 582270
Forward closed progress: 600588
Forward closed progress: 599069
Forward closed progress: 599089
Forward closed progress: 580666
Forward closed progress: 606035
Forward closed progress: 606546
Forward closed progress: 606650
Forward closed progress: 608970
Forward closed progress: 658933
Forward closed progress: 662238
Forward closed progress: 662249
Forward closed progress: 661944
Forward closed progress: 661960
Forward closed progress: 630864
Forward closed progress: 615169
Forward closed progress: 614910
Forward closed progress: 615556
Forward closed progress: 645148
Forward closed progress: 640510
Forward closed progress: 643540
Forward closed progress: 645345
Forward closed progress: 637251
Forward closed progress: 643445
Forward closed progress: 670489
Forward closed progress: 667290
Forward closed progress: 667302
Forward closed progress: 634620
Forward closed progress: 634394
Forward closed progress: 634269
Forward closed progress: 632143
Forward closed progress: 706061
Forward closed progress: 705545
Forward closed progress: 695737
Forward closed progress: 696793
Forward closed progress: 648082
Forward closed progress: 667578
Forward closed progress: 667930
Forward closed progress: 614190
Forward closed progress: 682493
Forward closed progress: 683425
Forward closed progress: 714854
Forward closed progress: 733620
Forward closed progress: 730718
Forward closed progress: 695707
Forward closed progress: 709291
Forward closed progress: 965921
Forward closed progress: 1101419
Forward closed progress: 1248191
Forward closed progress: 1264267
Forward closed progress: 1272872
Forward closed progress: 1273366
Forward closed progress: 1273508
Forward closed progress: 1251897
Forward closed progress: 1244593
Forward closed progress: 1229769
Forward closed progress: 1259413
Forward closed progress: 1235751
Forward closed progress: 1189285
Forward closed progress: 1221381
Forward closed progress: 1235298
Forward closed progress: 1240209
Forward closed progress: 1241177
Forward closed progress: 1242579
Forward closed progress: 1301646
Forward closed progress: 1298726
Forward closed progress: 1322658
Forward closed progress: 1322610
Forward closed progress: 1316125
Forward closed progress: 1352813
Forward closed progress: 1374897
Forward closed progress: 1378883
Forward closed progress: 1378493
Forward closed progress: 1352171
Forward closed progress: 1352843
Forward closed progress: 1348018
Forward closed progress: 1346968
Forward closed progress: 1358433
Forward closed progress: 1343230
Forward closed progress: 1397855
Forward closed progress: 1397110
Forward closed progress: 1409713
Forward closed progress: 1409773
Forward closed progress: 1400539
Forward closed progress: 1400431
Forward closed progress: 1397398
Forward closed progress: 1397398
Forward closed progress: 1383385
Forward closed progress: 1360008
Forward closed progress: 1350635
Forward closed progress: 1403666
Forward closed progress: 1405751
Forward closed progress: 1128666
Forward closed progress: 1147205
Forward closed progress: 1141139
Forward closed progress: 1061983
Forward closed progress: 1016863
Forward closed progress: 1002295
Forward closed progress: 873322
Forward closed progress: 861278
Forward closed progress: 855100
Forward closed progress: 854260
Forward closed progress: 837389
Forward closed progress: 800087
Forward closed progress: 811233
Forward closed progress: 767236
Forward closed progress: 865724
Forward closed progress: 960452
Forward closed progress: 956029
Forward closed progress: 1026180
Forward closed progress: 1016522
Forward closed progress: 1016548
Forward closed progress: 987302
Forward closed progress: 990320
Forward closed progress: 1056368
Forward closed progress: 1060802
Forward closed progress: 1058758
Forward closed progress: 1065386
Forward closed progress: 1073755
Forward closed progress: 1095164
Forward closed progress: 1092972
Forward closed progress: 1093050
Forward closed progress: 1127093
Forward closed progress: 1127105
Forward closed progress: 1095609
Forward closed progress: 1159724
Forward closed progress: 1267964
Forward closed progress: 1257914
Forward closed progress: 1258006
Forward closed progress: 1180450
Forward closed progress: 1164249
Forward closed progress: 1104095
Forward closed progress: 1094620
Forward closed progress: 1093177
Forward closed progress: 1093439
Forward closed progress: 1073236
Forward closed progress: 1107119
Forward closed progress: 1105703
Forward closed progress: 1113471
Forward closed progress: 1113507
Forward closed progress: 1116215
Forward closed progress: 1115951
Forward closed progress: 1059776
Forward closed progress: 1061264
Forward closed progress: 1059554
Forward closed progress: 1059024
Forward closed progress: 1058465
Forward closed progress: 1058902
Forward closed progress: 1058978
Forward closed progress: 1059018
Forward closed progress: 1058709
Forward closed progress: 1059111
Forward closed progress: 1059282
Forward closed progress: 1057086
Forward closed progress: 1128733
Forward closed progress: 1116452
Forward closed progress: 1115552
Forward closed progress: 1111924
Forward closed progress: 1142558
Forward closed progress: 1165964
Forward closed progress: 1153624
Forward closed progress: 1153623
Forward closed progress: 1159883
Forward closed progress: 1158586
Forward closed progress: 1156133
Forward closed progress: 1155869
Forward closed progress: 1154890
Forward closed progress: 1153978
Forward closed progress: 1099036
Forward closed progress: 1034884
Forward closed progress: 1004338
Forward closed progress: 926408
Forward closed progress: 889323
Forward closed progress: 878017
Forward closed progress: 878074
Forward closed progress: 870256
Forward closed progress: 865367
Forward closed progress: 854036
Forward closed progress: 852809
Forward closed progress: 854204
Forward closed progress: 852746
Forward closed progress: 853613
Forward closed progress: 855620
Forward closed progress: 855890
Forward closed progress: 849262
Forward closed progress: 850363
Forward closed progress: 850051
Forward closed progress: 848056
Forward closed progress: 845161
Forward closed progress: 845149
Forward closed progress: 841384
Forward closed progress: 762801
Forward closed progress: 964379
Forward closed progress: 973222
Forward closed progress: 1171594
Forward closed progress: 1388826
Forward closed progress: 1587678
Forward closed progress: 1584161
Forward closed progress: 1584265
Forward closed progress: 1560424
Forward closed progress: 1601684
Forward closed progress: 1793761
Forward closed progress: 1806624
Forward closed progress: 1801123
Forward closed progress: 1824657
Forward closed progress: 1854120
Forward closed progress: 1930188
Forward closed progress: 1996099
Forward closed progress: 1996127
Forward closed progress: 1934238
Forward closed progress: 2094381
Forward closed progress: 2354421
Forward closed progress: 2365088
Forward closed progress: 2365470
Forward closed progress: 2288442
Forward closed progress: 2296665
Forward closed progress: 2320601
Forward closed progress: 2307836
Forward closed progress: 2321185
Forward closed progress: 2325803
Forward closed progress: 2287959
Forward closed progress: 2079043
Forward closed progress: 2075499
Forward closed progress: 2127537
Forward closed progress: 2123347
Forward closed progress: 2140509
Forward closed progress: 2140557
Forward closed progress: 2148441
Forward closed progress: 2148801
Forward closed progress: 2019213
Forward closed progress: 2225501
Forward closed progress: 2045868
Forward closed progress: 1697408
Forward closed progress: 1701284
Forward closed progress: 1746836
Forward closed progress: 1782186
Forward closed progress: 1781786
Forward closed progress: 1781804
Forward closed progress: 1776834
Forward closed progress: 1784884
Forward closed progress: 1820484
Forward closed progress: 1822056
Forward closed progress: 1831253
Forward closed progress: 1846038
Forward closed progress: 1871759
Forward closed progress: 1871775
Forward closed progress: 1849426
Forward closed progress: 1873296
Forward closed progress: 1887881
Forward closed progress: 1888964
Forward closed progress: 1889010
Forward closed progress: 1858972
Forward closed progress: 1856614
Forward closed progress: 1850834
Forward closed progress: 1840940
Forward closed progress: 1826989
Forward closed progress: 1856079
Forward closed progress: 1856355
Forward closed progress: 1861506
Forward closed progress: 1861540
Forward closed progress: 1873724
Forward closed progress: 1860660
Forward closed progress: 1814690
Forward closed progress: 2095148
Forward closed progress: 2145760
Forward closed progress: 2137861
Forward closed progress: 2179957
Forward closed progress: 2186772
Forward closed progress: 2187020
Forward closed progress: 2187080
Forward closed progress: 2114153
Forward closed progress: 2098046
Forward closed progress: 2085002
Forward closed progress: 2079656
Forward closed progress: 2064851
Forward closed progress: 2060873
Forward closed progress: 2049024
Forward closed progress: 2052588
Forward closed progress: 2057145
Forward closed progress: 2064924
Forward closed progress: 2069820
Forward closed progress: 2093070
Forward closed progress: 2112441
Forward closed progress: 2112249
Forward closed progress: 2114238
Forward closed progress: 2099184
Forward closed progress: 2100928
Forward closed progress: 2100502
Forward closed progress: 2108527
Forward closed progress: 2113872
Forward closed progress: 2115851
Forward closed progress: 2103835
Forward closed progress: 2119983
Forward closed progress: 2112640
Forward closed progress: 2171157
Forward closed progress: 2135551
Forward closed progress: 2149742
Forward closed progress: 2149818
Forward closed progress: 2137720
Forward closed progress: 2137648
Forward closed progress: 2134723
Forward closed progress: 2134060
Forward closed progress: 2155049
Forward closed progress: 2155233
Forward closed progress: 2203941
Forward closed progress: 2119743
Forward closed progress: 2122763
Forward closed progress: 2286444
Forward closed progress: 2251774
Forward closed progress: 2191042
Forward closed progress: 2197542
Forward closed progress: 2197618
Forward closed progress: 2180740
Forward closed progress: 2180636
Forward closed progress: 2176695
Forward closed progress: 2164589
Forward closed progress: 2189526
Forward closed progress: 2183879
Forward closed progress: 2140481
Forward closed progress: 2119547
Forward closed progress: 1964068
Forward closed progress: 1758007
Forward closed progress: 1760308
Forward closed progress: 1740135
Forward closed progress: 1729435
Forward closed progress: 1734292
Forward closed progress: 1737022
Forward closed progress: 1737236
Forward closed progress: 1736790
Forward closed progress: 1733243
Forward closed progress: 1709255
Forward closed progress: 1711410
Forward closed progress: 1699665
Forward closed progress: 1689847
Forward closed progress: 1673293
Forward closed progress: 1675093
Forward closed progress: 1675752
Forward closed progress: 1679146
Forward closed progress: 1679256
Forward closed progress: 1686988
Forward closed progress: 1690997
Forward closed progress: 1690375
Forward closed progress: 1682242
Forward closed progress: 1682399
Forward closed progress: 1683489
Forward closed progress: 1676781
Forward closed progress: 1674910
Forward closed progress: 1674811
Forward closed progress: 1679219
Forward closed progress: 1675968
Forward closed progress: 1686537
Forward closed progress: 1664848
Forward closed progress: 1678585
Forward closed progress: 1667632
Forward closed progress: 1671685
Forward closed progress: 1671745
Forward closed progress: 1668714
Forward closed progress: 1668642
Forward closed progress: 1667319
Forward closed progress: 1667109
Forward closed progress: 1666102
Forward closed progress: 1664146
Forward closed progress: 1673660
Forward closed progress: 1634144
Forward closed progress: 1644724
Forward closed progress: 1641471
Forward closed progress: 1629430
Forward closed progress: 1633474
Forward closed progress: 1633518
Forward closed progress: 1630630
Forward closed progress: 1630558
Forward closed progress: 1629313
Forward closed progress: 1626570
Forward closed progress: 1625110
Forward closed progress: 1624248
Forward closed progress: 1622412
Forward closed progress: 1616864
Forward closed progress: 1588127
Forward closed progress: 1411761
Forward closed progress: 1399121
Forward closed progress: 1397079
Forward closed progress: 1396359
Forward closed progress: 1395456
Forward closed progress: 1392188
Forward closed progress: 1392194
Forward closed progress: 1389642
Forward closed progress: 1388982
Forward closed progress: 1383866
Forward closed progress: 1252446
Forward closed progress: 1166454
Forward closed progress: 1265870
Forward closed progress: 1254610
Forward closed progress: 1347608
Forward closed progress: 1340832
Forward closed progress: 1340874
Forward closed progress: 1313578
Forward closed progress: 1322059
Forward closed progress: 1389620
Forward closed progress: 1395023
Forward closed progress: 1396489
Forward closed progress: 1404210
Forward closed progress: 1412873
Forward closed progress: 1443969
Forward closed progress: 1479455
Forward closed progress: 1479483
Forward closed progress: 1447326
Forward closed progress: 1528531
Forward closed progress: 1658240
Forward closed progress: 1652230
Forward closed progress: 1652382
Forward closed progress: 1587499
Forward closed progress: 1572912
Forward closed progress: 1538542
Forward closed progress: 1529477
Forward closed progress: 1519560
Forward closed progress: 1519963
Forward closed progress: 1499176
Forward closed progress: 1555244
Forward closed progress: 1554555
Forward closed progress: 1562836
Forward closed progress: 1562872
Forward closed progress: 1566686
Forward closed progress: 1566884
Forward closed progress: 1513343
Forward closed progress: 1518012
Forward closed progress: 1513121
Forward closed progress: 1509376
Forward closed progress: 1581293
Forward closed progress: 1581241
Forward closed progress: 1580341
Forward closed progress: 1576713
Forward closed progress: 1614481
Forward closed progress: 1582746
Forward closed progress: 1528725
Forward closed progress: 1428079
Forward closed progress: 1397908
Forward closed progress: 1370717
Forward closed progress: 1339452
Forward closed progress: 1333641
Forward closed progress: 1329466
Forward closed progress: 1325495
Forward closed progress: 1317878
Forward closed progress: 1315397
Forward closed progress: 1317218
Forward closed progress: 1315334
Forward closed progress: 1229314
Forward closed progress: 1186037
Forward closed progress: 1201282
Forward closed progress: 1225568
Forward closed progress: 1208399
Forward closed progress: 1268759
Forward closed progress: 1252581
Forward closed progress: 1260284
Forward closed progress: 1240872
Forward closed progress: 1239133
Forward closed progress: 1227016
Forward closed progress: 1202017
Forward closed progress: 1782987
Forward closed progress: 1784211
Forward closed progress: 1851011
Forward closed progress: 2333102
Forward closed progress: 2679407
Forward closed progress: 2772539
Forward closed progress: 2772308
Forward closed progress: 2741411
Forward closed progress: 2741463
Forward closed progress: 2687725
Forward closed progress: 2696164
Forward closed progress: 2690727
Forward closed progress: 2700179
Forward closed progress: 2689596
Forward closed progress: 2690924
Forward closed progress: 2686091
Forward closed progress: 2714453
Forward closed progress: 2702628
Forward closed progress: 2708165
Forward closed progress: 2990421
Forward closed progress: 2920879
Forward closed progress: 2903690
Forward closed progress: 2937463
Forward closed progress: 2950945
Forward closed progress: 2936893
Forward closed progress: 2936923
Forward closed progress: 2902190
Forward closed progress: 2883631
Forward closed progress: 2839612
Forward closed progress: 2835666
Forward closed progress: 2876552
Forward closed progress: 2885726
Forward closed progress: 2882720
Forward closed progress: 2882740
Forward closed progress: 2865148
Forward closed progress: 2854666
Forward closed progress: 2965375
Forward closed progress: 2974110
Forward closed progress: 2990524
Forward closed progress: 3013437
Forward closed progress: 3013531
Forward closed progress: 3069276
Forward closed progress: 3097276
Forward closed progress: 3190423
Forward closed progress: 3190485
Forward closed progress: 3105319
Forward closed progress: 3174545
Forward closed progress: 3071644
Forward closed progress: 3069585
Forward closed progress: 3065048
Forward closed progress: 3007829
Forward closed progress: 3100287
Forward closed progress: 3097796
Forward closed progress: 3115675
Forward closed progress: 3115727
Forward closed progress: 3140421
Forward closed progress: 3136997
Forward closed progress: 2978377
Forward closed progress: 2997009
Forward closed progress: 2996913
Forward closed progress: 3013081
Forward closed progress: 3006417
Forward closed progress: 3006541
Forward closed progress: 3011066
Forward closed progress: 3006874
Forward closed progress: 3006912
Forward closed progress: 3006922
Forward closed progress: 3010882
Forward closed progress: 3012164
Forward closed progress: 3017668
Forward closed progress: 3017673
Forward closed progress: 3035869
Forward closed progress: 3048745
Forward closed progress: 3048733
Forward closed progress: 3041132
Forward closed progress: 3036151
Forward closed progress: 3037844
Forward closed progress: 3038008
Forward closed progress: 3040470
Forward closed progress: 3040476
Forward closed progress: 3038098
Forward closed progress: 3038098
Forward closed progress: 3036542
Forward closed progress: 3034878
Forward closed progress: 3205490
Forward closed progress: 3205764
Forward closed progress: 3180514
Forward closed progress: 3178982
Forward closed progress: 3178910
Forward closed progress: 3140074
Forward closed progress: 3187608
Forward closed progress: 3184484
Forward closed progress: 3171276
Forward closed progress: 3170826
Forward closed progress: 3170382
Forward closed progress: 3170244
Forward closed progress: 3170038
Forward closed progress: 3167386
Forward closed progress: 3025783
Forward closed progress: 3033148
Forward closed progress: 3033092
Forward closed progress: 3023389
Forward closed progress: 3026819
Forward closed progress: 3026825
Forward closed progress: 3023173
Forward closed progress: 3021569
Forward closed progress: 2856533
Forward closed progress: 2883120
Forward closed progress: 2857850
Forward closed progress: 2838158
Forward closed progress: 2784483
Forward closed progress: 2571451
Forward closed progress: 2579567
Forward closed progress: 2366732
Forward closed progress: 2364442
Forward closed progress: 2363607
Forward closed progress: 2363306
Forward closed progress: 2363873
Forward closed progress: 2151783
Forward closed progress: 2150243
Forward closed progress: 2142619
Forward closed progress: 2097671
Forward closed progress: 2082644
Forward closed progress: 2083672
Forward closed progress: 2083104
Forward closed progress: 2078114
Forward closed progress: 2080566
Forward closed progress: 2075877
Forward closed progress: 2075709
Forward closed progress: 2066746
Forward closed progress: 2079620
Forward closed progress: 2079986
Forward closed progress: 2072369
Forward closed progress: 2070922
Forward closed progress: 2070941
Forward closed progress: 2070947
Forward closed progress: 2070931
Forward closed progress: 2071269
Forward closed progress: 2072425
Forward closed progress: 2072495
Forward closed progress: 2071641
Forward closed progress: 2071629
Forward closed progress: 2071761
Forward closed progress: 2073283
Forward closed progress: 2073221
Forward closed progress: 2073683
Forward closed progress: 2073687
Forward closed progress: 2073233
Forward closed progress: 2073113
Forward closed progress: 2073711
Forward closed progress: 2073717
Forward closed progress: 2072025
Forward closed progress: 2072599
Forward closed progress: 2072603
Forward closed progress: 2071997
Forward closed progress: 2071441
Forward closed progress: 2062459
Forward closed progress: 2057481
Forward closed progress: 2009034
Forward closed progress: 2001770
Forward closed progress: 2002418
Forward closed progress: 2001762
Forward closed progress: 2010576
Forward closed progress: 2009990
Forward closed progress: 2010981
Forward closed progress: 2008076
Forward closed progress: 2006136
Forward closed progress: 2002136
Forward closed progress: 2000755
Forward closed progress: 2013765
Forward closed progress: 2014949
Forward closed progress: 2021240
Forward closed progress: 2022527
Forward closed progress: 2022527
Forward closed progress: 2019429
Forward closed progress: 2019429
Control exists for 1008 color(s), jumping through 850997280768 vertices.
Elapsed: 10851267 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 10851.267
user ??
sys ??
