>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 129600
Perturbation colors: 9007199254740992
All colors: 1167333023414432600000
Unknown update functions: 6
Lowest cardinality: 1
Highest cardinality: 3
Backward progress: 119311
Backward progress: 116871
Backward progress: 115512
Backward progress: 115530
Backward progress: 115522
Backward progress: 113927
Backward progress: 113970
Attractor colors: 178342545243871640000
Attractor colors computed in 121997 ms.
Backward progress: 114941
Backward progress: 114957
Backward progress: 114954
Backward progress: 132882
Backward progress: 182414
Backward progress: 185978
Backward progress: 189405
Backward progress: 198503
Backward progress: 214505
Backward progress: 211788
Backward progress: 258950
Backward progress: 258573
Backward progress: 279193
Backward progress: 279193
Backward progress: 279934
Backward progress: 279779
Backward progress: 215768
Backward progress: 215774
Backward progress: 224930
Backward progress: 215183
Backward progress: 312073
Backward progress: 268836
Backward progress: 261405
Backward progress: 293860
Backward progress: 293866
Backward progress: 293113
Backward progress: 293090
Backward progress: 289779
Backward progress: 289011
Backward progress: 283118
Backward progress: 278741
Backward progress: 275888
Backward progress: 278367
Backward progress: 276482
Backward progress: 213012
Backward progress: 225922
Backward progress: 243960
Backward progress: 229603
Backward progress: 233611
Backward progress: 252545
Backward progress: 252551
Backward progress: 249642
Backward progress: 249596
Backward progress: 249915
Backward progress: 248441
Backward progress: 245698
Backward progress: 240797
Backward progress: 237023
Backward progress: 252951
Backward progress: 256255
Backward progress: 256297
Backward progress: 229977
Backward progress: 229777
Backward progress: 223861
Backward progress: 222792
Backward progress: 218971
Backward progress: 207018
Backward progress: 205686
Backward progress: 205690
Backward progress: 281418
Backward progress: 301474
Backward progress: 319144
Backward progress: 304578
Backward progress: 287327
Backward progress: 285995
Backward progress: 284559
Backward progress: 284559
Backward progress: 125604
Backward progress: 209001
Backward progress: 220634
Backward progress: 220907
Backward progress: 219225
Backward progress: 219227
Backward progress: 217791
Backward progress: 222486
Backward progress: 221546
Backward progress: 220154
Backward progress: 213206
Backward progress: 213139
Backward progress: 213139
Backward progress: 201575
Backward progress: 209859
Backward progress: 211419
Backward progress: 211227
Backward progress: 375294
Backward progress: 359905
Backward progress: 389197
Backward progress: 355130
Backward progress: 355201
Backward progress: 355186
Backward progress: 355193
Backward progress: 401548
Backward progress: 358810
Backward progress: 412028
Backward progress: 408353
Backward progress: 416574
Backward progress: 420507
Backward progress: 430628
Backward progress: 445554
Backward progress: 440319
Backward progress: 491229
Backward progress: 490822
Backward progress: 648082
Backward progress: 797936
Backward progress: 801307
Backward progress: 800800
Backward progress: 800528
Backward progress: 680811
Backward progress: 713483
Backward progress: 735428
Backward progress: 735392
Backward progress: 744892
Backward progress: 730595
Backward progress: 820872
Backward progress: 820638
Backward progress: 823257
Backward progress: 835192
Backward progress: 834950
Backward progress: 839987
Backward progress: 1096244
Backward progress: 1100982
Backward progress: 1020737
Backward progress: 991288
Backward progress: 1073008
Backward progress: 1073064
Backward progress: 1070878
Backward progress: 1070455
Backward progress: 1064293
Backward progress: 1062952
Backward progress: 1040108
Backward progress: 1033865
Backward progress: 1032994
Backward progress: 1031740
Backward progress: 996981
Backward progress: 1018219
Backward progress: 1018849
Backward progress: 999889
Backward progress: 1142184
Backward progress: 1139524
Backward progress: 1150933
Backward progress: 1247562
Backward progress: 1169765
Backward progress: 1172210
Backward progress: 1176912
Backward progress: 1176724
Backward progress: 1200970
Backward progress: 1245088
Backward progress: 1296143
Backward progress: 1325400
Backward progress: 1325345
Backward progress: 1325311
Backward progress: 1325280
Backward progress: 1325281
Backward progress: 1323195
Backward progress: 1341146
Backward progress: 1351518
Backward progress: 1350170
Backward progress: 1436214
Backward progress: 1395291
Backward progress: 1345751
Backward progress: 1348279
Backward progress: 1349521
Backward progress: 1349613
Backward progress: 1572305
Backward progress: 1602331
Backward progress: 1561973
Backward progress: 1562189
Backward progress: 1561970
Backward progress: 1561972
Backward progress: 1559067
Backward progress: 1570853
Backward progress: 1573976
Backward progress: 1573547
Backward progress: 1570184
Backward progress: 1566087
Backward progress: 1563654
Backward progress: 1549607
Backward progress: 1549697
Backward progress: 1548372
Backward progress: 1513516
Backward progress: 1532985
Backward progress: 1536978
Backward progress: 1536652
Backward progress: 1536712
Backward progress: 1536401
Backward progress: 1693120
Backward progress: 1686536
Backward progress: 1677307
Backward progress: 1682664
Backward progress: 1691102
Backward progress: 2017311
Backward progress: 2142409
Backward progress: 2144556
Backward progress: 2144410
Backward progress: 2143886
Backward progress: 2273028
Backward progress: 2350958
Backward progress: 2402185
Backward progress: 2403430
Backward progress: 2401755
Backward progress: 2386406
Backward progress: 2366633
Backward progress: 2445713
Backward progress: 2325929
Backward progress: 2343660
Backward progress: 2343678
Backward progress: 2334883
Backward progress: 2326136
Backward progress: 2410967
Backward progress: 2387614
Backward progress: 3193223
Backward progress: 3232305
Backward progress: 3176094
Backward progress: 3173740
Backward progress: 3004266
Backward progress: 3431484
Backward progress: 3429874
Backward progress: 3390638
Backward progress: 3388408
Backward progress: 3384022
Backward progress: 3382533
Backward progress: 3295183
Backward progress: 3226791
Backward progress: 3229738
Backward progress: 3229963
Backward progress: 3228141
Backward progress: 3246159
Backward progress: 3126498
Backward progress: 3135791
Backward progress: 3135809
Backward progress: 3127206
Backward progress: 3097672
Backward progress: 2846033
Backward progress: 2990849
Backward progress: 2991110
Backward progress: 3097629
Backward progress: 3091405
Backward progress: 3132366
Backward progress: 3069644
Backward progress: 2897876
Backward progress: 4578386
Backward progress: 4732751
Backward progress: 3968529
Backward progress: 3760233
Backward progress: 3760319
Backward progress: 3701571
Backward progress: 3493855
Backward progress: 3513568
Backward progress: 3527168
Backward progress: 3543478
Backward progress: 3539223
Backward progress: 3554955
Backward progress: 3543971
Backward progress: 3589159
Backward progress: 3570920
Backward progress: 3605320
Backward progress: 3605320
Backward progress: 3607655
Backward progress: 3488432
Backward progress: 3405287
Backward progress: 3401445
Backward progress: 3413689
Backward progress: 3376903
Backward progress: 3356523
Backward progress: 3267146
Backward progress: 3238689
Backward progress: 3280573
Backward progress: 3280585
Backward progress: 3277107
Backward progress: 3277059
Backward progress: 3278620
Backward progress: 3277647
Backward progress: 3244217
Backward progress: 3225155
Backward progress: 3216785
Backward progress: 3215498
Backward progress: 3207513
Backward progress: 3257896
Backward progress: 3257172
Backward progress: 3260475
Backward progress: 3266845
Backward progress: 3266184
Backward progress: 3192593
Backward progress: 3194848
Backward progress: 3179167
Backward progress: 3133378
Backward progress: 3133640
Backward progress: 3132535
Backward progress: 3133090
Backward progress: 3131711
Backward progress: 3126271
Backward progress: 3124797
Backward progress: 3145318
Backward progress: 3110654
Backward progress: 3117962
Backward progress: 3099494
Backward progress: 2945300
Backward progress: 2932917
Backward progress: 2928726
Backward progress: 2952195
Backward progress: 2952203
Backward progress: 2946387
Backward progress: 2946723
Backward progress: 2920701
Backward progress: 2903053
Backward progress: 2896383
Backward progress: 3464205
Backward progress: 3414328
Backward progress: 3412649
Backward progress: 3335229
Backward progress: 3320729
Backward progress: 3296364
Backward progress: 3926818
Backward progress: 3889069
Backward progress: 3818045
Backward progress: 3808166
Backward progress: 3692478
Backward progress: 3682701
Backward progress: 3593908
Backward progress: 3597922
Backward progress: 3486287
Backward progress: 3486044
Backward progress: 3486254
Backward progress: 3482624
Backward progress: 3450546
Backward progress: 3373787
Backward progress: 3381583
Backward progress: 3381601
Backward progress: 3375530
Backward progress: 3365989
Backward progress: 3581423
Backward progress: 3580379
Backward progress: 3567899
Backward progress: 3589388
Backward progress: 3583366
Backward progress: 3580039
Backward progress: 3602683
Backward progress: 3560917
Backward progress: 3564078
Backward progress: 3564096
Backward progress: 3560405
Backward progress: 3297549
Backward progress: 3281213
Backward progress: 3281956
Backward progress: 3281974
Backward progress: 3279905
Backward progress: 3270207
Backward progress: 3268668
Backward progress: 3262659
Backward progress: 3272085
Backward progress: 3254541
Backward progress: 3260828
Backward progress: 3240504
Backward progress: 3258834
Backward progress: 3258378
Backward progress: 3262364
Backward progress: 3241765
Backward progress: 3250010
Backward progress: 3244824
Backward progress: 3231747
Backward progress: 3242332
Backward progress: 3240012
Backward progress: 3230489
Backward progress: 3210815
Backward progress: 3167474
Backward progress: 3141572
Backward progress: 3118668
Backward progress: 3148178
Backward progress: 3128709
Backward progress: 3135449
Backward progress: 3126309
Backward progress: 3123225
Backward progress: 3114613
Backward progress: 3453567
Backward progress: 3569013
Backward progress: 3261270
Backward progress: 3517054
Backward progress: 2861960
Backward progress: 2822689
Backward progress: 2900071
Backward progress: 2824472
Backward progress: 2740589
Backward progress: 2860541
Backward progress: 2806519
Backward progress: 2880599
Backward progress: 2830843
Backward progress: 2835508
Backward progress: 2860656
Backward progress: 2863651
Backward progress: 2865292
Backward progress: 2864202
Backward progress: 2871798
Backward progress: 2872254
Backward progress: 2872264
Backward progress: 2895046
Backward progress: 2895048
Backward progress: 2894282
Backward progress: 2893839
Backward progress: 2894138
Backward progress: 2895400
Backward progress: 2895668
Backward progress: 2895670
Backward progress: 2895662
Backward progress: 2929555
Backward progress: 2824487
Backward progress: 2852266
Backward progress: 2852514
Backward progress: 2851672
Backward progress: 2871181
Backward progress: 2870133
Backward progress: 2869961
Backward progress: 2869110
Backward progress: 2876041
Backward progress: 2876420
Backward progress: 2876422
Backward progress: 2876304
Backward progress: 2875762
Backward progress: 2849056
Backward progress: 2887459
Backward progress: 2881555
Backward progress: 2893950
Backward progress: 2882638
Backward progress: 2877850
Backward progress: 2878460
Backward progress: 2874413
Backward progress: 2874670
Backward progress: 2874672
Backward progress: 2874381
Backward progress: 2874003
Backward progress: 2872478
Backward progress: 2872845
Backward progress: 2872847
Backward progress: 2872622
Backward progress: 2871922
Backward progress: 2870926
Backward progress: 2871840
Backward progress: 2871046
Backward progress: 2871076
Backward progress: 2869112
Backward progress: 2879454
Backward progress: 2924191
Backward progress: 2927777
Backward progress: 2924189
Backward progress: 1401482
Backward progress: 1109781
Backward progress: 1616974
Backward progress: 1169475
Backward progress: 1170015
Backward progress: 1170143
Backward progress: 1169428
Backward progress: 1012231
Backward progress: 1105689
Backward progress: 1134372
Backward progress: 1146222
Backward progress: 1154094
Backward progress: 1197135
Backward progress: 1189180
Backward progress: 1183355
Backward progress: 1177741
Backward progress: 1277771
Backward progress: 1276641
Backward progress: 1362087
Backward progress: 1358166
Backward progress: 1360660
Backward progress: 1358302
Backward progress: 1149377
Backward progress: 1149386
Backward progress: 1168435
Backward progress: 1141225
Backward progress: 1333041
Backward progress: 1227963
Backward progress: 1211681
Backward progress: 1274916
Backward progress: 1274928
Backward progress: 1273033
Backward progress: 1273003
Backward progress: 1261909
Backward progress: 1260290
Backward progress: 1248168
Backward progress: 1237536
Backward progress: 1230766
Backward progress: 1235749
Backward progress: 1232570
Backward progress: 1230337
Backward progress: 1145881
Backward progress: 1176457
Backward progress: 1206651
Backward progress: 1172505
Backward progress: 1180989
Backward progress: 1233712
Backward progress: 1233718
Backward progress: 1225357
Backward progress: 1225309
Backward progress: 1217278
Backward progress: 1213158
Backward progress: 1202876
Backward progress: 1188043
Backward progress: 1174342
Backward progress: 1220217
Backward progress: 1236159
Backward progress: 1233939
Backward progress: 1147343
Backward progress: 1142182
Backward progress: 1124049
Backward progress: 1122507
Backward progress: 1119027
Backward progress: 1125118
Backward progress: 1108856
Backward progress: 1089104
Backward progress: 1088546
Backward progress: 1092044
Backward progress: 1079998
Backward progress: 1090163
Backward progress: 1087715
Backward progress: 1078144
Backward progress: 1069499
Backward progress: 1055486
Backward progress: 1212899
Backward progress: 1246170
Backward progress: 1345305
Backward progress: 1266865
Backward progress: 1334565
Backward progress: 1264846
Backward progress: 1291762
Backward progress: 1295259
Backward progress: 1296822
Backward progress: 1296809
Backward progress: 1304710
Backward progress: 1305180
Backward progress: 1305000
Backward progress: 1350260
Backward progress: 1350262
Backward progress: 1348784
Backward progress: 1347907
Backward progress: 1348368
Backward progress: 1338403
Backward progress: 1338881
Backward progress: 1338883
Backward progress: 1338875
Backward progress: 1373793
Backward progress: 1374213
Backward progress: 1372538
Backward progress: 1393024
Backward progress: 1391832
Backward progress: 1391524
Backward progress: 1389898
Backward progress: 1397229
Backward progress: 1397932
Backward progress: 1397934
Backward progress: 1397718
Backward progress: 1396622
Backward progress: 1360921
Backward progress: 1405404
Backward progress: 1399579
Backward progress: 1414782
Backward progress: 1405529
Backward progress: 1395939
Backward progress: 1397171
Backward progress: 1392271
Backward progress: 1392764
Backward progress: 1392766
Backward progress: 1392207
Backward progress: 1391451
Backward progress: 1389273
Backward progress: 1389986
Backward progress: 1389988
Backward progress: 1389561
Backward progress: 1388161
Backward progress: 1387123
Backward progress: 1388087
Backward progress: 1387275
Backward progress: 1387313
Backward progress: 1387313
Backward progress: 364107
Backward progress: 389646
Backward progress: 390656
Backward progress: 658996
Backward progress: 889428
Backward progress: 1076455
Backward progress: 1072976
Backward progress: 1072980
Backward progress: 1068294
Backward progress: 1064476
Backward progress: 1230192
Backward progress: 1237416
Backward progress: 1235428
Backward progress: 1232739
Backward progress: 1234137
Backward progress: 1234137
Backward progress: 1234011
Backward progress: 1349891
Backward progress: 1425362
Backward progress: 1428598
Backward progress: 1428626
Backward progress: 1427174
Backward progress: 1505272
Backward progress: 1623213
Backward progress: 1583373
Backward progress: 1626200
Backward progress: 1645163
Backward progress: 1644811
Backward progress: 1798826
Backward progress: 1846500
Backward progress: 1847550
Backward progress: 1855734
Backward progress: 1851286
Backward progress: 1782392
Backward progress: 1787158
Backward progress: 1626108
Backward progress: 1621153
Backward progress: 1621165
Backward progress: 1582852
Backward progress: 1592449
Backward progress: 1239338
Backward progress: 1131009
Backward progress: 1095434
Backward progress: 1088024
Backward progress: 1081570
Backward progress: 1019619
Backward progress: 810998
Backward progress: 855259
Backward progress: 908805
Backward progress: 908764
Backward progress: 968896
Backward progress: 960036
Backward progress: 960038
Backward progress: 952630
Backward progress: 987690
Backward progress: 1050407
Backward progress: 1049699
Backward progress: 1048527
Backward progress: 1047427
Backward progress: 1050035
Backward progress: 1049171
Backward progress: 1048956
Backward progress: 1176577
Backward progress: 1279162
Backward progress: 1265862
Backward progress: 1265868
Backward progress: 1255538
Backward progress: 1350606
Backward progress: 1400474
Backward progress: 1445674
Backward progress: 1447506
Backward progress: 1449542
Backward progress: 1449142
Backward progress: 1483992
Backward progress: 1484832
Backward progress: 1489700
Backward progress: 1487172
Backward progress: 1446426
Backward progress: 1450418
Backward progress: 1445446
Backward progress: 1443766
Backward progress: 1443778
Backward progress: 1432514
Backward progress: 1470711
Backward progress: 1233108
Backward progress: 1159570
Backward progress: 1145679
Backward progress: 1152133
Backward progress: 1146601
Backward progress: 1123463
Backward progress: 1111800
Backward progress: 1219932
Backward progress: 1312096
Backward progress: 1307943
Backward progress: 1288514
Backward progress: 1288555
Backward progress: 1288508
Backward progress: 1289965
Backward progress: 1300966
Backward progress: 1303742
Backward progress: 1303916
Backward progress: 1303781
Backward progress: 1302831
Backward progress: 1355635
Backward progress: 1356057
Backward progress: 1355837
Backward progress: 1347159
Backward progress: 1333005
Backward progress: 1338686
Backward progress: 1324347
Backward progress: 1625692
Backward progress: 1605030
Backward progress: 1603292
Backward progress: 1586547
Backward progress: 1586571
Backward progress: 1586553
Backward progress: 1583260
Backward progress: 1587651
Backward progress: 1586126
Backward progress: 1586168
Backward progress: 1586135
Backward progress: 1588504
Backward progress: 1602532
Backward progress: 1586223
Backward progress: 2826718
Backward progress: 3044389
Backward progress: 3743943
Backward progress: 4540330
Backward progress: 4507457
Backward progress: 4497986
Backward progress: 4498458
Backward progress: 4498388
Backward progress: 4497986
Backward progress: 4498002
Backward progress: 4133224
Backward progress: 4247360
Backward progress: 4652026
Backward progress: 4604442
Backward progress: 4612509
Backward progress: 4624388
Backward progress: 4654958
Backward progress: 4654223
Backward progress: 4887541
Backward progress: 4701373
Backward progress: 4783342
Backward progress: 4723271
Backward progress: 5647868
Backward progress: 5776529
Backward progress: 6079060
Backward progress: 5827166
Backward progress: 5770572
Backward progress: 5770749
Backward progress: 5770725
Backward progress: 5609419
Backward progress: 5605909
Backward progress: 5375797
Backward progress: 5140615
Backward progress: 5080431
Backward progress: 5232292
Backward progress: 5462593
Backward progress: 5419140
Backward progress: 5490314
Backward progress: 5497515
Backward progress: 5499633
Backward progress: 5550796
Backward progress: 5528185
Backward progress: 5509491
Backward progress: 5491186
Backward progress: 5488341
Backward progress: 5842309
Backward progress: 5841309
Backward progress: 5836341
Backward progress: 5836401
Backward progress: 6195287
Backward progress: 5166521
Backward progress: 5164589
Backward progress: 4383841
Backward progress: 4098145
Backward progress: 4074815
Backward progress: 3914386
Backward progress: 3913420
Backward progress: 3813080
Backward progress: 3922640
Backward progress: 3995869
Backward progress: 3995877
Backward progress: 3991912
Backward progress: 3997952
Backward progress: 3993172
Backward progress: 4018296
Backward progress: 3978753
Backward progress: 4521373
Backward progress: 4521373
Backward progress: 4317764
Backward progress: 4289340
Backward progress: 4382441
Backward progress: 4382465
Backward progress: 4379804
Backward progress: 4379713
Backward progress: 4375449
Backward progress: 4373911
Backward progress: 4348984
Backward progress: 4342226
Backward progress: 4331037
Backward progress: 4098575
Backward progress: 4096175
Backward progress: 4144150
Backward progress: 4118057
Backward progress: 4308418
Backward progress: 4164445
Backward progress: 4168068
Backward progress: 4167408
Backward progress: 4344171
Backward progress: 4371197
Backward progress: 4366872
Backward progress: 4326970
Backward progress: 4334185
Backward progress: 4430358
Backward progress: 4430362
Backward progress: 4419251
Backward progress: 4419165
Backward progress: 4419955
Backward progress: 4417847
Backward progress: 4395693
Backward progress: 4382410
Backward progress: 4328925
Backward progress: 4430200
Backward progress: 4451155
Backward progress: 4448351
Backward progress: 4290557
Backward progress: 4284207
Backward progress: 4292162
Backward progress: 4293351
Backward progress: 4287124
Backward progress: 4400625
Backward progress: 4371174
Backward progress: 4375652
Backward progress: 4375657
Backward progress: 4386593
Backward progress: 4391681
Backward progress: 4405573
Backward progress: 4396810
Backward progress: 4374496
Backward progress: 4797066
Backward progress: 4853966
Backward progress: 5027170
Backward progress: 4888823
Backward progress: 5059385
Backward progress: 4950130
Backward progress: 5005454
Backward progress: 5010155
Backward progress: 5010589
Backward progress: 5010485
Backward progress: 5018816
Backward progress: 5019055
Backward progress: 5019055
Backward progress: 5058966
Backward progress: 5058968
Backward progress: 5057848
Backward progress: 5058063
Backward progress: 5058362
Backward progress: 5046242
Backward progress: 5046571
Backward progress: 5046573
Backward progress: 5046556
Backward progress: 5099611
Backward progress: 5099998
Backward progress: 5098401
Backward progress: 5120892
Backward progress: 5119957
Backward progress: 5119142
Backward progress: 5118031
Backward progress: 5129196
Backward progress: 5129679
Backward progress: 5129681
Backward progress: 5129529
Backward progress: 5128717
Backward progress: 5058525
Backward progress: 5084756
Backward progress: 5079988
Backward progress: 5091516
Backward progress: 5085003
Backward progress: 5078153
Backward progress: 5079330
Backward progress: 5075907
Backward progress: 5076234
Backward progress: 5076236
Backward progress: 5075840
Backward progress: 5075239
Backward progress: 5073541
Backward progress: 5074158
Backward progress: 5074160
Backward progress: 5073860
Backward progress: 5072709
Backward progress: 5071209
Backward progress: 5071937
Backward progress: 5071396
Backward progress: 5071450
Backward progress: 5257744
Backward progress: 2552023
Backward progress: 2354213
Backward progress: 2072903
Backward progress: 2084329
Backward progress: 2179064
Backward progress: 2173782
Backward progress: 2060273
Backward progress: 2094978
Backward progress: 2053051
Backward progress: 2053051
Forward closed progress: 1778638
Forward closed progress: 1711285
Forward closed progress: 2186963
Forward closed progress: 1467109
Forward closed progress: 1347573
Forward closed progress: 1282113
Forward closed progress: 1282311
Forward closed progress: 413464
Forward closed progress: 359426
Forward closed progress: 359515
Forward closed progress: 359571
Forward closed progress: 355819
Forward closed progress: 309948
Forward closed progress: 272639
Forward closed progress: 272891
Forward closed progress: 272933
Forward closed progress: 266926
Forward closed progress: 266902
Forward closed progress: 250121
Forward closed progress: 241524
Forward closed progress: 240829
Forward closed progress: 287184
Forward closed progress: 283164
Forward closed progress: 211195
Forward closed progress: 213859
Forward closed progress: 264464
Forward closed progress: 264459
Forward closed progress: 264459
Forward closed progress: 264459
Forward closed progress: 211428
Forward closed progress: 168584
Forward closed progress: 175036
Forward closed progress: 156640
Forward closed progress: 156640
Forward closed progress: 156640
Forward closed progress: 155542
Forward closed progress: 144164
Forward closed progress: 121297
Forward closed progress: 107427
Forward closed progress: 116367
Forward closed progress: 111973
Forward closed progress: 113326
Forward closed progress: 111604
Forward closed progress: 111604
Forward closed progress: 111057
Forward closed progress: 108181
Forward closed progress: 108783
Forward closed progress: 109146
Forward closed progress: 109146
Forward closed progress: 109069
Forward closed progress: 109369
Forward closed progress: 109369
Forward closed progress: 108696
Forward closed progress: 108565
Forward closed progress: 106808
Forward closed progress: 102784
Forward closed progress: 115768
Forward closed progress: 126756
Forward closed progress: 176734
Forward closed progress: 176776
Forward closed progress: 176788
Forward closed progress: 163682
Forward closed progress: 100705
Forward closed progress: 135735
Forward closed progress: 125070
Forward closed progress: 125470
Forward closed progress: 125127
Forward closed progress: 126125
Forward closed progress: 135277
Forward closed progress: 134839
Forward closed progress: 134879
Forward closed progress: 134895
Forward closed progress: 133969
Forward closed progress: 133972
Forward closed progress: 124034
Forward closed progress: 111524
Forward closed progress: 123114
Forward closed progress: 130187
Forward closed progress: 146210
Forward closed progress: 132698
Forward closed progress: 132712
Forward closed progress: 132716
Forward closed progress: 131098
Forward closed progress: 130584
Forward closed progress: 106263
Forward closed progress: 110536
Forward closed progress: 150875
Forward closed progress: 150917
Forward closed progress: 150929
Forward closed progress: 138591
Forward closed progress: 126044
Forward closed progress: 126088
Forward closed progress: 151414
Forward closed progress: 188015
Forward closed progress: 192363
Forward closed progress: 192451
Forward closed progress: 192473
Forward closed progress: 181053
Forward closed progress: 181688
Forward closed progress: 181670
Forward closed progress: 172274
Forward closed progress: 211141
Forward closed progress: 208930
Forward closed progress: 206808
Forward closed progress: 193042
Forward closed progress: 188050
Forward closed progress: 188058
Forward closed progress: 175167
Forward closed progress: 159908
Forward closed progress: 153615
Forward closed progress: 154479
Forward closed progress: 182153
Forward closed progress: 182153
Forward closed progress: 166480
Forward closed progress: 192100
Forward closed progress: 192042
Forward closed progress: 170456
Forward closed progress: 238936
Forward closed progress: 242662
Forward closed progress: 251692
Forward closed progress: 251486
Forward closed progress: 254161
Forward closed progress: 254359
Forward closed progress: 250224
Forward closed progress: 249917
Forward closed progress: 293684
Forward closed progress: 293654
Forward closed progress: 259385
Forward closed progress: 259331
Forward closed progress: 266391
Forward closed progress: 260261
Forward closed progress: 242344
Forward closed progress: 259253
Forward closed progress: 232735
Forward closed progress: 234075
Forward closed progress: 232341
Forward closed progress: 234101
Forward closed progress: 233859
Forward closed progress: 214519
Forward closed progress: 335128
Forward closed progress: 255092
Forward closed progress: 180356
Forward closed progress: 267598
Forward closed progress: 267187
Forward closed progress: 237616
Forward closed progress: 237544
Forward closed progress: 237712
Forward closed progress: 230504
Forward closed progress: 213272
Forward closed progress: 272517
Forward closed progress: 196513
Forward closed progress: 101892
Forward closed progress: 101719
Forward closed progress: 101317
Forward closed progress: 167200
Forward closed progress: 147556
Forward closed progress: 161504
Forward closed progress: 139534
Forward closed progress: 142141
Forward closed progress: 140764
Forward closed progress: 139737
Forward closed progress: 133378
Forward closed progress: 133398
Forward closed progress: 133398
Forward closed progress: 127384
Forward closed progress: 127382
Forward closed progress: 127213
Forward closed progress: 127044
Forward closed progress: 120645
Forward closed progress: 117898
Forward closed progress: 116857
Forward closed progress: 116866
Forward closed progress: 121952
Forward closed progress: 118853
Forward closed progress: 126812
Forward closed progress: 126824
Forward closed progress: 114218
Forward closed progress: 111888
Forward closed progress: 111858
Forward closed progress: 111893
Forward closed progress: 110041
Forward closed progress: 104341
Forward closed progress: 105708
Forward closed progress: 105712
Forward closed progress: 108424
Forward closed progress: 108406
Forward closed progress: 113443
Forward closed progress: 103139
Forward closed progress: 102867
Forward closed progress: 115666
Forward closed progress: 115593
Forward closed progress: 108630
Forward closed progress: 257981
Forward closed progress: 236707
Forward closed progress: 227636
Forward closed progress: 198875
Forward closed progress: 187956
Forward closed progress: 187994
Forward closed progress: 195353
Forward closed progress: 188350
Forward closed progress: 159325
Forward closed progress: 134250
Forward closed progress: 139581
Forward closed progress: 133706
Forward closed progress: 136042
Forward closed progress: 129443
Forward closed progress: 129919
Forward closed progress: 129666
Forward closed progress: 129482
Forward closed progress: 128131
Forward closed progress: 127416
Forward closed progress: 127406
Forward closed progress: 126660
Forward closed progress: 126672
Forward closed progress: 126654
Forward closed progress: 124406
Forward closed progress: 124405
Forward closed progress: 124394
Forward closed progress: 124383
Forward closed progress: 124001
Forward closed progress: 124329
Forward closed progress: 124331
Forward closed progress: 124065
Forward closed progress: 124067
Forward closed progress: 123785
Forward closed progress: 123848
Forward closed progress: 123526
Forward closed progress: 123352
Forward closed progress: 122857
Forward closed progress: 123379
Forward closed progress: 122975
Forward closed progress: 122047
Forward closed progress: 121569
Forward closed progress: 121579
Forward closed progress: 121561
Forward closed progress: 121403
Forward closed progress: 120772
Forward closed progress: 117887
Forward closed progress: 138210
Forward closed progress: 135061
Forward closed progress: 135487
Forward closed progress: 150011
Forward closed progress: 150111
Forward closed progress: 105849
Forward closed progress: 102855
Forward closed progress: 105099
Forward closed progress: 106055
Forward closed progress: 105425
Forward closed progress: 105852
Forward closed progress: 106084
Forward closed progress: 105826
Forward closed progress: 105828
Forward closed progress: 105553
Forward closed progress: 105571
Forward closed progress: 105553
Forward closed progress: 105291
Forward closed progress: 105019
Forward closed progress: 105247
Forward closed progress: 105249
Forward closed progress: 104983
Forward closed progress: 104985
Forward closed progress: 104703
Forward closed progress: 104495
Forward closed progress: 104223
Forward closed progress: 104243
Forward closed progress: 104385
Forward closed progress: 104054
Forward closed progress: 104058
Forward closed progress: 103691
Forward closed progress: 103557
Forward closed progress: 103529
Forward closed progress: 103307
Forward closed progress: 102235
Forward closed progress: 106337
Forward closed progress: 106306
Forward closed progress: 149627
Forward closed progress: 149645
Forward closed progress: 119083
Forward closed progress: 105847
Forward closed progress: 102675
Forward closed progress: 104190
Control exists for 19800 color(s), jumping through 8 vertices.
Elapsed: 27793283 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 27793.283
user ??
sys ??
