>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 1080
Perturbation colors: 9007199254740992
All colors: 9727775195120271000
Unknown update functions: 4
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 3422735716801577000
Attractor colors computed in 888 ms.
Backward progress: 101358
Backward progress: 113550
Backward progress: 114134
Backward progress: 114298
Backward progress: 114656
Backward progress: 115001
Backward progress: 115470
Backward progress: 123899
Backward progress: 125935
Backward progress: 127278
Backward progress: 127360
Backward progress: 127192
Backward progress: 128850
Backward progress: 143963
Backward progress: 145362
Backward progress: 143186
Backward progress: 132055
Backward progress: 137962
Backward progress: 138072
Backward progress: 135370
Backward progress: 138695
Backward progress: 136248
Backward progress: 189201
Backward progress: 190328
Backward progress: 196242
Backward progress: 195674
Backward progress: 194090
Backward progress: 195511
Backward progress: 212099
Backward progress: 211006
Backward progress: 217488
Backward progress: 217574
Backward progress: 213759
Backward progress: 213654
Backward progress: 211062
Backward progress: 211022
Backward progress: 222643
Backward progress: 222626
Backward progress: 228840
Backward progress: 227152
Backward progress: 244168
Backward progress: 253020
Backward progress: 253065
Backward progress: 253444
Backward progress: 253633
Backward progress: 252479
Backward progress: 253193
Backward progress: 261564
Backward progress: 261609
Backward progress: 261221
Backward progress: 257018
Backward progress: 257092
Backward progress: 257532
Backward progress: 254528
Backward progress: 251816
Backward progress: 250200
Backward progress: 287870
Backward progress: 292346
Backward progress: 291158
Backward progress: 301943
Backward progress: 302537
Backward progress: 302207
Backward progress: 301219
Backward progress: 301496
Backward progress: 301961
Backward progress: 313406
Backward progress: 313182
Backward progress: 313080
Backward progress: 308488
Backward progress: 307431
Backward progress: 309692
Backward progress: 324236
Backward progress: 325490
Backward progress: 310079
Backward progress: 295988
Backward progress: 294674
Backward progress: 294056
Backward progress: 295972
Backward progress: 289726
Backward progress: 298244
Backward progress: 290212
Backward progress: 295441
Backward progress: 295539
Backward progress: 292603
Backward progress: 292449
Backward progress: 290217
Backward progress: 288216
Backward progress: 280192
Backward progress: 279856
Backward progress: 278348
Backward progress: 271395
Backward progress: 271371
Backward progress: 271245
Backward progress: 263170
Backward progress: 260571
Backward progress: 259854
Backward progress: 258276
Backward progress: 260722
Backward progress: 259167
Backward progress: 257362
Backward progress: 256058
Backward progress: 251600
Backward progress: 251623
Backward progress: 250274
Backward progress: 301116
Backward progress: 310744
Backward progress: 280484
Backward progress: 301925
Backward progress: 302011
Backward progress: 289387
Backward progress: 288940
Backward progress: 280094
Backward progress: 269669
Backward progress: 270159
Backward progress: 265917
Backward progress: 263493
Backward progress: 262737
Backward progress: 242031
Backward progress: 296431
Backward progress: 336720
Backward progress: 341631
Backward progress: 345125
Backward progress: 356033
Backward progress: 356215
Backward progress: 356240
Backward progress: 354803
Backward progress: 352261
Backward progress: 348834
Backward progress: 350550
Backward progress: 348814
Backward progress: 349057
Backward progress: 349588
Backward progress: 361440
Backward progress: 361476
Backward progress: 362073
Backward progress: 355613
Backward progress: 355454
Backward progress: 356933
Backward progress: 372559
Backward progress: 373145
Backward progress: 372691
Backward progress: 360095
Backward progress: 365973
Backward progress: 367414
Backward progress: 362054
Backward progress: 372708
Backward progress: 359170
Backward progress: 359154
Backward progress: 358808
Backward progress: 357814
Backward progress: 357564
Backward progress: 370428
Backward progress: 370560
Backward progress: 375114
Backward progress: 375178
Backward progress: 372545
Backward progress: 372440
Backward progress: 370584
Backward progress: 370584
Backward progress: 373711
Backward progress: 369763
Backward progress: 359051
Backward progress: 364160
Backward progress: 361839
Backward progress: 361786
Backward progress: 364067
Backward progress: 365618
Backward progress: 365244
Backward progress: 359541
Backward progress: 353301
Backward progress: 351156
Backward progress: 351379
Backward progress: 349849
Backward progress: 348591
Backward progress: 342976
Backward progress: 354169
Backward progress: 348771
Backward progress: 344210
Backward progress: 339568
Backward progress: 327915
Backward progress: 327389
Backward progress: 327300
Backward progress: 323171
Backward progress: 332070
Backward progress: 302608
Backward progress: 303388
Backward progress: 303658
Backward progress: 304044
Backward progress: 304068
Backward progress: 303984
Backward progress: 303820
Backward progress: 304910
Backward progress: 304814
Backward progress: 301894
Backward progress: 302064
Backward progress: 301452
Backward progress: 301518
Backward progress: 301164
Backward progress: 301447
Backward progress: 300822
Backward progress: 300672
Backward progress: 299382
Backward progress: 257235
Backward progress: 257235
Backward progress: 135009
Backward progress: 167252
Backward progress: 172971
Backward progress: 167320
Backward progress: 226351
Backward progress: 226981
Backward progress: 226801
Backward progress: 228923
Backward progress: 229789
Backward progress: 231003
Backward progress: 254974
Backward progress: 257126
Backward progress: 259524
Backward progress: 251222
Backward progress: 250738
Backward progress: 254138
Backward progress: 289309
Backward progress: 290826
Backward progress: 282945
Backward progress: 254326
Backward progress: 262607
Backward progress: 260409
Backward progress: 255656
Backward progress: 261281
Backward progress: 255542
Backward progress: 286394
Backward progress: 283764
Backward progress: 293841
Backward progress: 293923
Backward progress: 287985
Backward progress: 287887
Backward progress: 283821
Backward progress: 283692
Backward progress: 278010
Backward progress: 277822
Backward progress: 277978
Backward progress: 276018
Backward progress: 275067
Backward progress: 272989
Backward progress: 272459
Backward progress: 272311
Backward progress: 272603
Backward progress: 274543
Backward progress: 274555
Backward progress: 274347
Backward progress: 273255
Backward progress: 273263
Backward progress: 273275
Backward progress: 272587
Backward progress: 332709
Backward progress: 342223
Backward progress: 301729
Backward progress: 325535
Backward progress: 325617
Backward progress: 311669
Backward progress: 311237
Backward progress: 301199
Backward progress: 288640
Backward progress: 286553
Backward progress: 284066
Backward progress: 280917
Backward progress: 280161
Backward progress: 249467
Backward progress: 240049
Backward progress: 229197
Backward progress: 229101
Backward progress: 221465
Backward progress: 219745
Backward progress: 221931
Backward progress: 214877
Backward progress: 216809
Backward progress: 217229
Backward progress: 218145
Backward progress: 218145
Backward progress: 218469
Backward progress: 220461
Backward progress: 220485
Backward progress: 219641
Backward progress: 219125
Backward progress: 220081
Backward progress: 220321
Backward progress: 220969
Backward progress: 220993
Backward progress: 220909
Backward progress: 220573
Backward progress: 220585
Backward progress: 221317
Backward progress: 220149
Backward progress: 220149
Backward progress: 107656
Backward progress: 107590
Backward progress: 113377
Backward progress: 113377
Backward progress: 108035
Backward progress: 108914
Backward progress: 105581
Backward progress: 154148
Backward progress: 159303
Backward progress: 159888
Backward progress: 161342
Backward progress: 162500
Backward progress: 170027
Backward progress: 170189
Backward progress: 163227
Backward progress: 162690
Backward progress: 162834
Backward progress: 163966
Backward progress: 164016
Backward progress: 156210
Backward progress: 156210
Forward closed progress: 156211
Forward closed progress: 156214
Forward closed progress: 325540
Forward closed progress: 156787
Forward closed progress: 156958
Forward closed progress: 156556
Forward closed progress: 156958
Forward closed progress: 136772
Forward closed progress: 136832
Forward closed progress: 137708
Forward closed progress: 138074
Forward closed progress: 137063
Forward closed progress: 131603
Forward closed progress: 131498
Forward closed progress: 134852
Forward closed progress: 135212
Forward closed progress: 132023
Forward closed progress: 132191
Forward closed progress: 134481
Forward closed progress: 142733
Forward closed progress: 132822
Forward closed progress: 132864
Forward closed progress: 140252
Forward closed progress: 183667
Forward closed progress: 183622
Forward closed progress: 183628
Forward closed progress: 183628
Forward closed progress: 183628
Forward closed progress: 133669
Forward closed progress: 142204
Forward closed progress: 142214
Forward closed progress: 200191
Forward closed progress: 200191
Forward closed progress: 200191
Forward closed progress: 134896
Forward closed progress: 135767
Forward closed progress: 138253
Forward closed progress: 139365
Forward closed progress: 143761
Forward closed progress: 158695
Forward closed progress: 167589
Forward closed progress: 194019
Forward closed progress: 194277
Forward closed progress: 194361
Forward closed progress: 176877
Forward closed progress: 146461
Forward closed progress: 193298
Forward closed progress: 187600
Forward closed progress: 195600
Forward closed progress: 226537
Forward closed progress: 314277
Forward closed progress: 314679
Forward closed progress: 314823
Forward closed progress: 253811
Forward closed progress: 146925
Forward closed progress: 197889
Forward closed progress: 175448
Forward closed progress: 164407
Forward closed progress: 165089
Forward closed progress: 173247
Forward closed progress: 196829
Forward closed progress: 197087
Forward closed progress: 197171
Forward closed progress: 181015
Forward closed progress: 150229
Forward closed progress: 243621
Forward closed progress: 248853
Forward closed progress: 226759
Forward closed progress: 214740
Forward closed progress: 154049
Forward closed progress: 210170
Forward closed progress: 275426
Forward closed progress: 361291
Forward closed progress: 361786
Forward closed progress: 361948
Forward closed progress: 310697
Forward closed progress: 242372
Forward closed progress: 240248
Forward closed progress: 243912
Forward closed progress: 217952
Forward closed progress: 195348
Forward closed progress: 155411
Forward closed progress: 222437
Forward closed progress: 222605
Forward closed progress: 156211
Forward closed progress: 286974
Forward closed progress: 575871
Forward closed progress: 1081821
Forward closed progress: 1081649
Forward closed progress: 1084553
Forward closed progress: 1085507
Forward closed progress: 1006941
Forward closed progress: 1030245
Forward closed progress: 1031859
Forward closed progress: 954586
Forward closed progress: 991402
Forward closed progress: 1074073
Forward closed progress: 1108988
Forward closed progress: 1104809
Forward closed progress: 1104848
Forward closed progress: 1104872
Forward closed progress: 1104872
Forward closed progress: 1104872
Forward closed progress: 1083140
Forward closed progress: 1261892
Forward closed progress: 1318275
Forward closed progress: 1497201
Forward closed progress: 1444375
Forward closed progress: 1103034
Forward closed progress: 1107078
Forward closed progress: 1107804
Forward closed progress: 694806
Forward closed progress: 924644
Forward closed progress: 1091448
Forward closed progress: 1096441
Forward closed progress: 1151450
Forward closed progress: 1152988
Forward closed progress: 1192954
Forward closed progress: 1115958
Forward closed progress: 1116402
Forward closed progress: 1008308
Forward closed progress: 1135769
Forward closed progress: 1160853
Forward closed progress: 1139509
Forward closed progress: 1197293
Forward closed progress: 1198379
Forward closed progress: 1161230
Forward closed progress: 1134010
Forward closed progress: 898488
Forward closed progress: 1077699
Forward closed progress: 1459542
Forward closed progress: 1423410
Forward closed progress: 1425915
Forward closed progress: 1429951
Forward closed progress: 1656062
Forward closed progress: 1651022
Forward closed progress: 1770168
Forward closed progress: 1756996
Forward closed progress: 1757148
Forward closed progress: 1687863
Forward closed progress: 1684538
Forward closed progress: 1597941
Forward closed progress: 1597917
Forward closed progress: 1600557
Forward closed progress: 1593950
Forward closed progress: 1628799
Forward closed progress: 1631663
Forward closed progress: 1631625
Forward closed progress: 1632049
Forward closed progress: 1632261
Forward closed progress: 1603983
Forward closed progress: 1596680
Forward closed progress: 1601405
Forward closed progress: 1601430
Forward closed progress: 1556982
Forward closed progress: 1554794
Forward closed progress: 1550282
Forward closed progress: 1539892
Forward closed progress: 1666174
Forward closed progress: 1666260
Forward closed progress: 1544888
Forward closed progress: 1551955
Forward closed progress: 1625957
Forward closed progress: 1612073
Forward closed progress: 1612285
Forward closed progress: 1484760
Forward closed progress: 1422612
Forward closed progress: 1438704
Forward closed progress: 1348285
Forward closed progress: 1320746
Forward closed progress: 1192487
Forward closed progress: 1171587
Forward closed progress: 1172985
Forward closed progress: 1193574
Forward closed progress: 1193994
Forward closed progress: 1208490
Forward closed progress: 1193346
Forward closed progress: 1092936
Forward closed progress: 927581
Forward closed progress: 1467254
Forward closed progress: 1554689
Forward closed progress: 1571427
Forward closed progress: 1571462
Forward closed progress: 1621878
Forward closed progress: 1539906
Forward closed progress: 1343053
Forward closed progress: 1270646
Forward closed progress: 1265707
Forward closed progress: 1247983
Forward closed progress: 1275837
Forward closed progress: 1279675
Forward closed progress: 1303739
Forward closed progress: 1346922
Forward closed progress: 1372311
Forward closed progress: 1369086
Forward closed progress: 1369122
Forward closed progress: 1345587
Forward closed progress: 1377696
Forward closed progress: 1380462
Forward closed progress: 1381030
Forward closed progress: 1352006
Forward closed progress: 1397877
Forward closed progress: 1404948
Forward closed progress: 1404981
Forward closed progress: 1403505
Forward closed progress: 1403537
Forward closed progress: 1392165
Forward closed progress: 1383008
Forward closed progress: 1382368
Forward closed progress: 1384799
Forward closed progress: 1433525
Forward closed progress: 1423629
Forward closed progress: 1430169
Forward closed progress: 1434105
Forward closed progress: 1423860
Forward closed progress: 1438803
Forward closed progress: 1453372
Forward closed progress: 1440681
Forward closed progress: 1440733
Forward closed progress: 1440022
Forward closed progress: 1443467
Forward closed progress: 1483964
Forward closed progress: 1459423
Forward closed progress: 1578063
Forward closed progress: 1580239
Forward closed progress: 1562155
Forward closed progress: 1565191
Forward closed progress: 1477231
Forward closed progress: 1501991
Forward closed progress: 1503023
Forward closed progress: 1369615
Forward closed progress: 1503775
Forward closed progress: 1504567
Forward closed progress: 1568799
Forward closed progress: 1615141
Forward closed progress: 1599833
Forward closed progress: 1534805
Forward closed progress: 1573704
Forward closed progress: 1809693
Forward closed progress: 2236607
Forward closed progress: 2575129
Forward closed progress: 2384886
Forward closed progress: 2367377
Forward closed progress: 2368148
Forward closed progress: 2368370
Forward closed progress: 2365330
Forward closed progress: 2306876
Forward closed progress: 2333510
Forward closed progress: 2230576
Forward closed progress: 2153230
Forward closed progress: 2186039
Forward closed progress: 2213047
Forward closed progress: 2243023
Forward closed progress: 2243303
Forward closed progress: 2341486
Forward closed progress: 2375400
Forward closed progress: 2375072
Forward closed progress: 2430651
Forward closed progress: 2596892
Forward closed progress: 2604404
Forward closed progress: 2602622
Forward closed progress: 2605632
Forward closed progress: 2643932
Forward closed progress: 2604462
Forward closed progress: 2738258
Forward closed progress: 2739140
Forward closed progress: 2778068
Forward closed progress: 2778292
Forward closed progress: 2747468
Forward closed progress: 2747036
Forward closed progress: 2739428
Forward closed progress: 2739428
Forward closed progress: 2669804
Forward closed progress: 2639562
Forward closed progress: 2694322
Forward closed progress: 2696655
Forward closed progress: 1947459
Forward closed progress: 1965879
Forward closed progress: 1958867
Forward closed progress: 1885065
Forward closed progress: 1846157
Forward closed progress: 1831066
Forward closed progress: 1639026
Forward closed progress: 1650305
Forward closed progress: 1550691
Forward closed progress: 1726200
Forward closed progress: 1893260
Forward closed progress: 1886477
Forward closed progress: 2000753
Forward closed progress: 1983725
Forward closed progress: 1983815
Forward closed progress: 1932428
Forward closed progress: 1909855
Forward closed progress: 2015814
Forward closed progress: 2022252
Forward closed progress: 2022064
Forward closed progress: 2031554
Forward closed progress: 2038316
Forward closed progress: 2068970
Forward closed progress: 2067070
Forward closed progress: 2067301
Forward closed progress: 2121343
Forward closed progress: 2121367
Forward closed progress: 2070364
Forward closed progress: 2190264
Forward closed progress: 2318373
Forward closed progress: 2304659
Forward closed progress: 2305033
Forward closed progress: 2243250
Forward closed progress: 2239315
Forward closed progress: 2273973
Forward closed progress: 2233534
Forward closed progress: 2241650
Forward closed progress: 2242654
Forward closed progress: 2191540
Forward closed progress: 2247882
Forward closed progress: 2245274
Forward closed progress: 2266202
Forward closed progress: 2266482
Forward closed progress: 2275094
Forward closed progress: 2274806
Forward closed progress: 2150159
Forward closed progress: 2151546
Forward closed progress: 2149299
Forward closed progress: 2148242
Forward closed progress: 2147094
Forward closed progress: 2148675
Forward closed progress: 2148747
Forward closed progress: 2148789
Forward closed progress: 2148186
Forward closed progress: 2149086
Forward closed progress: 2149086
Forward closed progress: 2146166
Forward closed progress: 2261200
Forward closed progress: 2233048
Forward closed progress: 2230708
Forward closed progress: 2220064
Forward closed progress: 2269185
Forward closed progress: 2315133
Forward closed progress: 2283053
Forward closed progress: 2283052
Forward closed progress: 2283127
Forward closed progress: 2283110
Forward closed progress: 2285657
Forward closed progress: 2283069
Forward closed progress: 2283255
Forward closed progress: 2187444
Forward closed progress: 2087684
Forward closed progress: 2011923
Forward closed progress: 1939554
Forward closed progress: 1885104
Forward closed progress: 1783539
Forward closed progress: 1783892
Forward closed progress: 1748383
Forward closed progress: 1719552
Forward closed progress: 1691809
Forward closed progress: 1688699
Forward closed progress: 1691164
Forward closed progress: 1688555
Forward closed progress: 1690848
Forward closed progress: 1692406
Forward closed progress: 1692610
Forward closed progress: 1680239
Forward closed progress: 1681358
Forward closed progress: 1681106
Forward closed progress: 1679465
Forward closed progress: 1676934
Forward closed progress: 1676922
Forward closed progress: 1670671
Forward closed progress: 1541406
Forward closed progress: 1864297
Forward closed progress: 1875469
Forward closed progress: 2378478
Forward closed progress: 2755391
Forward closed progress: 3030188
Forward closed progress: 3024202
Forward closed progress: 3024412
Forward closed progress: 2982810
Forward closed progress: 2955144
Forward closed progress: 3292818
Forward closed progress: 3318638
Forward closed progress: 3318051
Forward closed progress: 3359397
Forward closed progress: 3373841
Forward closed progress: 3477406
Forward closed progress: 3612474
Forward closed progress: 3612558
Forward closed progress: 3481858
Forward closed progress: 3822991
Forward closed progress: 3927954
Forward closed progress: 3927819
Forward closed progress: 3929475
Forward closed progress: 3873977
Forward closed progress: 3866544
Forward closed progress: 4068145
Forward closed progress: 3873031
Forward closed progress: 3974158
Forward closed progress: 3987890
Forward closed progress: 3897698
Forward closed progress: 3940792
Forward closed progress: 3929272
Forward closed progress: 4018162
Forward closed progress: 4011443
Forward closed progress: 4057965
Forward closed progress: 4058679
Forward closed progress: 4087591
Forward closed progress: 4088167
Forward closed progress: 3771679
Forward closed progress: 3948374
Forward closed progress: 3812667
Forward closed progress: 3452445
Forward closed progress: 3466439
Forward closed progress: 3558353
Forward closed progress: 3626356
Forward closed progress: 3625892
Forward closed progress: 3625934
Forward closed progress: 3617138
Forward closed progress: 3607711
Forward closed progress: 3697450
Forward closed progress: 3701631
Forward closed progress: 3715747
Forward closed progress: 3737955
Forward closed progress: 3780367
Forward closed progress: 3780401
Forward closed progress: 3741313
Forward closed progress: 3805311
Forward closed progress: 3807177
Forward closed progress: 3808788
Forward closed progress: 3809102
Forward closed progress: 3792387
Forward closed progress: 3785900
Forward closed progress: 3804480
Forward closed progress: 3774061
Forward closed progress: 3747230
Forward closed progress: 3817137
Forward closed progress: 3818545
Forward closed progress: 3829156
Forward closed progress: 3829392
Forward closed progress: 3854626
Forward closed progress: 3828414
Forward closed progress: 3721333
Forward closed progress: 3700517
Forward closed progress: 3883743
Forward closed progress: 3823632
Forward closed progress: 3819432
Forward closed progress: 3787946
Forward closed progress: 3842286
Forward closed progress: 3743212
Forward closed progress: 3451879
Forward closed progress: 3190074
Forward closed progress: 2990442
Forward closed progress: 3143495
Forward closed progress: 3137345
Forward closed progress: 3024176
Forward closed progress: 3012625
Forward closed progress: 3013275
Forward closed progress: 3013415
Forward closed progress: 3010754
Forward closed progress: 2917663
Forward closed progress: 2932591
Forward closed progress: 2893001
Forward closed progress: 2880476
Forward closed progress: 2823197
Forward closed progress: 2825559
Forward closed progress: 2827831
Forward closed progress: 2834933
Forward closed progress: 2833995
Forward closed progress: 2848189
Forward closed progress: 2852772
Forward closed progress: 2852356
Forward closed progress: 2853152
Forward closed progress: 2874998
Forward closed progress: 2877864
Forward closed progress: 2877114
Forward closed progress: 2878074
Forward closed progress: 2882742
Forward closed progress: 2892336
Forward closed progress: 2882616
Forward closed progress: 2891336
Forward closed progress: 2874174
Forward closed progress: 2899694
Forward closed progress: 2886977
Forward closed progress: 2896030
Forward closed progress: 2896242
Forward closed progress: 2889710
Forward closed progress: 2889426
Forward closed progress: 2886958
Forward closed progress: 2886919
Forward closed progress: 2879049
Forward closed progress: 2877407
Forward closed progress: 2858095
Forward closed progress: 2762795
Forward closed progress: 2749419
Forward closed progress: 2415324
Forward closed progress: 2352882
Forward closed progress: 2164514
Forward closed progress: 2376486
Forward closed progress: 2317741
Forward closed progress: 2451286
Forward closed progress: 2441270
Forward closed progress: 2441392
Forward closed progress: 2396163
Forward closed progress: 2356719
Forward closed progress: 2462381
Forward closed progress: 2470700
Forward closed progress: 2474098
Forward closed progress: 2485553
Forward closed progress: 2493091
Forward closed progress: 2538817
Forward closed progress: 2595424
Forward closed progress: 2595480
Forward closed progress: 2542678
Forward closed progress: 2696704
Forward closed progress: 2852108
Forward closed progress: 2842078
Forward closed progress: 2842738
Forward closed progress: 2801206
Forward closed progress: 2808562
Forward closed progress: 2881540
Forward closed progress: 2849968
Forward closed progress: 2858002
Forward closed progress: 2860534
Forward closed progress: 2808901
Forward closed progress: 2908068
Forward closed progress: 2908252
Forward closed progress: 2929747
Forward closed progress: 2930027
Forward closed progress: 2942103
Forward closed progress: 2942517
Forward closed progress: 2824447
Forward closed progress: 2829782
Forward closed progress: 2823587
Forward closed progress: 2818962
Forward closed progress: 2930607
Forward closed progress: 2929261
Forward closed progress: 2926921
Forward closed progress: 2916277
Forward closed progress: 2983270
Forward closed progress: 2921001
Forward closed progress: 2828569
Forward closed progress: 2694790
Forward closed progress: 2579103
Forward closed progress: 2620984
Forward closed progress: 2574034
Forward closed progress: 2506425
Forward closed progress: 2483246
Forward closed progress: 2462439
Forward closed progress: 2452514
Forward closed progress: 2442926
Forward closed progress: 2445550
Forward closed progress: 2442782
Forward closed progress: 2302365
Forward closed progress: 2238774
Forward closed progress: 2252514
Forward closed progress: 2306346
Forward closed progress: 2278343
Forward closed progress: 2354107
Forward closed progress: 2343823
Forward closed progress: 2336335
Forward closed progress: 2341037
Forward closed progress: 2323687
Forward closed progress: 2259971
Forward closed progress: 3333104
Forward closed progress: 3341044
Forward closed progress: 3655697
Forward closed progress: 4619491
Forward closed progress: 5720421
Forward closed progress: 5704998
Forward closed progress: 5702775
Forward closed progress: 5640699
Forward closed progress: 5641155
Forward closed progress: 5539871
Forward closed progress: 5571860
Forward closed progress: 5377709
Forward closed progress: 5401067
Forward closed progress: 5342596
Forward closed progress: 5352496
Forward closed progress: 5309683
Forward closed progress: 5311376
Forward closed progress: 5261422
Forward closed progress: 5264613
Forward closed progress: 5523611
Forward closed progress: 5664357
Forward closed progress: 5519845
Forward closed progress: 5664930
Forward closed progress: 5729573
Forward closed progress: 5728066
Forward closed progress: 5727813
Forward closed progress: 5716896
Forward closed progress: 5716968
Forward closed progress: 5701927
Forward closed progress: 5700477
Forward closed progress: 5643006
Forward closed progress: 5627777
Forward closed progress: 5675360
Forward closed progress: 5688371
Forward closed progress: 5688344
Forward closed progress: 5682428
Forward closed progress: 5682500
Forward closed progress: 5661109
Forward closed progress: 5642434
Forward closed progress: 6036851
Forward closed progress: 6063404
Forward closed progress: 6100685
Forward closed progress: 6159520
Forward closed progress: 6160656
Forward closed progress: 6287216
Forward closed progress: 6345524
Forward closed progress: 6587066
Forward closed progress: 6587372
Forward closed progress: 6357216
Forward closed progress: 6506342
Forward closed progress: 6265464
Forward closed progress: 6253838
Forward closed progress: 6235742
Forward closed progress: 6103370
Forward closed progress: 6287033
Forward closed progress: 6283005
Forward closed progress: 6327775
Forward closed progress: 6328003
Forward closed progress: 6383218
Forward closed progress: 6379124
Forward closed progress: 6009056
Forward closed progress: 6088526
Forward closed progress: 6088376
Forward closed progress: 6097853
Forward closed progress: 6090045
Forward closed progress: 6089813
Forward closed progress: 6100623
Forward closed progress: 6097514
Forward closed progress: 6097698
Forward closed progress: 6097746
Forward closed progress: 6100169
Forward closed progress: 6106490
Forward closed progress: 6110254
Forward closed progress: 6119209
Forward closed progress: 6119168
Forward closed progress: 6146641
Forward closed progress: 6167218
Forward closed progress: 6167124
Forward closed progress: 6155872
Forward closed progress: 6147162
Forward closed progress: 6141452
Forward closed progress: 6147446
Forward closed progress: 6147774
Forward closed progress: 6152068
Forward closed progress: 6152092
Forward closed progress: 6147924
Forward closed progress: 6147924
Forward closed progress: 6145914
Forward closed progress: 6143021
Forward closed progress: 6498057
Forward closed progress: 6498177
Forward closed progress: 6462439
Forward closed progress: 6456525
Forward closed progress: 6456378
Forward closed progress: 6382844
Forward closed progress: 6382856
Forward closed progress: 6382168
Forward closed progress: 6381953
Forward closed progress: 6490702
Forward closed progress: 6471066
Forward closed progress: 6434940
Forward closed progress: 6433729
Forward closed progress: 6433297
Forward closed progress: 6433279
Forward closed progress: 6433235
Forward closed progress: 6432767
Forward closed progress: 6429003
Forward closed progress: 6428034
Forward closed progress: 6067984
Forward closed progress: 6079026
Forward closed progress: 6078781
Forward closed progress: 6064200
Forward closed progress: 6069738
Forward closed progress: 6069762
Forward closed progress: 6063858
Forward closed progress: 6061093
Forward closed progress: 5660118
Forward closed progress: 5691452
Forward closed progress: 5653347
Forward closed progress: 5636945
Forward closed progress: 5633275
Forward closed progress: 5628799
Forward closed progress: 5287764
Forward closed progress: 4721871
Forward closed progress: 4664752
Forward closed progress: 4323541
Forward closed progress: 4323418
Forward closed progress: 4323558
Forward closed progress: 4323486
Forward closed progress: 4324418
Forward closed progress: 3891950
Forward closed progress: 3890563
Forward closed progress: 3871706
Forward closed progress: 3799624
Forward closed progress: 3755262
Forward closed progress: 3755416
Forward closed progress: 3748169
Forward closed progress: 3738515
Forward closed progress: 3727300
Forward closed progress: 3724172
Forward closed progress: 3723788
Forward closed progress: 3712805
Forward closed progress: 3703427
Forward closed progress: 3693745
Forward closed progress: 3681003
Forward closed progress: 3596192
Forward closed progress: 3577250
Forward closed progress: 3578178
Forward closed progress: 3576144
Forward closed progress: 3591204
Forward closed progress: 3589214
Forward closed progress: 3586370
Forward closed progress: 3584618
Forward closed progress: 3573654
Forward closed progress: 3568602
Forward closed progress: 3555672
Forward closed progress: 3533026
Forward closed progress: 3544862
Forward closed progress: 3547606
Forward closed progress: 3547606
Forward closed progress: 3536713
Forward closed progress: 3536713
Control exists for 380 color(s), jumping through 62297997312 vertices.
Elapsed: 21140561 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 21140.561
user ??
sys ??
