>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 13716864
Perturbation colors: 9007199254740992
All colors: 123550527198183540000000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 104966
Backward progress: 101113
Backward progress: 101115
Backward progress: 183945
Backward progress: 194524
Backward progress: 139741
Backward progress: 124382
Backward progress: 124381
Backward progress: 124358
Backward progress: 123053
Backward progress: 123367
Backward progress: 118142
Backward progress: 119711
Backward progress: 118117
Backward progress: 117914
Backward progress: 117890
Backward progress: 117876
Backward progress: 115716
Backward progress: 115749
Backward progress: 111967
Backward progress: 107142
Backward progress: 107276
Backward progress: 106834
Backward progress: 108603
Backward progress: 107177
Backward progress: 108431
Backward progress: 110931
Backward progress: 111091
Backward progress: 111847
Backward progress: 110861
Backward progress: 108756
Backward progress: 109076
Backward progress: 108772
Backward progress: 108778
Backward progress: 110599
Backward progress: 107687
Backward progress: 108695
Backward progress: 107094
Backward progress: 106307
Backward progress: 106259
Backward progress: 106257
Backward progress: 106460
Backward progress: 106140
Backward progress: 106574
Backward progress: 106572
Backward progress: 106791
Backward progress: 105992
Backward progress: 101646
Backward progress: 101678
Backward progress: 102008
Backward progress: 102983
Backward progress: 103013
Backward progress: 103451
Backward progress: 103199
Backward progress: 101551
Backward progress: 101945
Backward progress: 102062
Backward progress: 102278
Backward progress: 102325
Backward progress: 102328
Backward progress: 102524
Backward progress: 101089
Backward progress: 101608
Backward progress: 100960
Backward progress: 100682
Backward progress: 121086
Backward progress: 105420
Backward progress: 111356
Backward progress: 100017
Backward progress: 109708
Backward progress: 107199
Backward progress: 104394
Backward progress: 105941
Backward progress: 103701
Backward progress: 105934
Backward progress: 111997
Backward progress: 110120
Backward progress: 111452
Backward progress: 101638
Backward progress: 100552
Backward progress: 102172
Backward progress: 101352
Backward progress: 101737
Backward progress: 103986
Backward progress: 100855
Backward progress: 100301
Backward progress: 100254
Backward progress: 102910
Backward progress: 112120
Backward progress: 112142
Backward progress: 107082
Backward progress: 107001
Backward progress: 106887
Backward progress: 114765
Backward progress: 106334
Backward progress: 103670
Backward progress: 103646
Backward progress: 103716
Attractor colors: 3050630301189717000000
Attractor colors computed in 310466 ms.
Backward progress: 121504
Backward progress: 129385
Backward progress: 130455
Backward progress: 131903
Backward progress: 131775
Backward progress: 132773
Backward progress: 143715
Backward progress: 143939
Backward progress: 138185
Backward progress: 138153
Backward progress: 152570
Backward progress: 152580
Backward progress: 149975
Backward progress: 149159
Backward progress: 148282
Backward progress: 137453
Backward progress: 134829
Backward progress: 129155
Backward progress: 131085
Backward progress: 131181
Backward progress: 151149
Backward progress: 150575
Backward progress: 149735
Backward progress: 164409
Backward progress: 187660
Backward progress: 198286
Backward progress: 204542
Backward progress: 204536
Backward progress: 302338
Backward progress: 337948
Backward progress: 393498
Backward progress: 407946
Backward progress: 407906
Backward progress: 407963
Backward progress: 407932
Backward progress: 407934
Backward progress: 405685
Backward progress: 424529
Backward progress: 421680
Backward progress: 412838
Backward progress: 456029
Backward progress: 405300
Backward progress: 345174
Backward progress: 443301
Backward progress: 471488
Backward progress: 457127
Backward progress: 457707
Backward progress: 457702
Backward progress: 457704
Backward progress: 453418
Backward progress: 493884
Backward progress: 512373
Backward progress: 511779
Backward progress: 511707
Backward progress: 490671
Backward progress: 486703
Backward progress: 484294
Backward progress: 455330
Backward progress: 462688
Backward progress: 480508
Backward progress: 480359
Backward progress: 481271
Backward progress: 479206
Backward progress: 530602
Backward progress: 530482
Backward progress: 515777
Backward progress: 526847
Backward progress: 528782
Backward progress: 857879
Backward progress: 994006
Backward progress: 994514
Backward progress: 994518
Backward progress: 885318
Backward progress: 984957
Backward progress: 1103960
Backward progress: 1084596
Backward progress: 933548
Backward progress: 871696
Backward progress: 904596
Backward progress: 856604
Backward progress: 871563
Backward progress: 871581
Backward progress: 857356
Backward progress: 856668
Backward progress: 843763
Backward progress: 842617
Backward progress: 909591
Backward progress: 909175
Backward progress: 865693
Backward progress: 863717
Backward progress: 1160738
Backward progress: 1160281
Backward progress: 1081148
Backward progress: 1065378
Backward progress: 1055306
Backward progress: 1048889
Backward progress: 1048289
Backward progress: 870741
Backward progress: 866583
Backward progress: 823363
Backward progress: 838946
Backward progress: 838964
Backward progress: 824803
Backward progress: 821055
Backward progress: 781321
Backward progress: 795851
Backward progress: 793419
Backward progress: 821612
Backward progress: 821323
Backward progress: 821339
Backward progress: 811735
Backward progress: 2104497
Backward progress: 2225184
Backward progress: 1684861
Backward progress: 1619795
Backward progress: 1619907
Backward progress: 1501447
Backward progress: 1455106
Backward progress: 1478105
Backward progress: 1510018
Backward progress: 1569726
Backward progress: 1561223
Backward progress: 1589779
Backward progress: 1618938
Backward progress: 1573221
Backward progress: 1744671
Backward progress: 1744671
Backward progress: 1745320
Backward progress: 1595891
Backward progress: 1450912
Backward progress: 1487631
Backward progress: 1444781
Backward progress: 1411433
Backward progress: 1266317
Backward progress: 1398545
Backward progress: 1398557
Backward progress: 1367422
Backward progress: 1360884
Backward progress: 1354333
Backward progress: 1266165
Backward progress: 1229642
Backward progress: 1220866
Backward progress: 1226452
Backward progress: 1243479
Backward progress: 1250624
Backward progress: 1269039
Backward progress: 1267200
Backward progress: 1225211
Backward progress: 1231525
Backward progress: 1218211
Backward progress: 1187885
Backward progress: 1190791
Backward progress: 1173743
Backward progress: 1179313
Backward progress: 1175269
Backward progress: 1163971
Backward progress: 1177907
Backward progress: 1116289
Backward progress: 1127359
Backward progress: 1108771
Backward progress: 1017944
Backward progress: 954340
Backward progress: 1069652
Backward progress: 1069660
Backward progress: 1030033
Backward progress: 1029843
Backward progress: 1029405
Backward progress: 952429
Backward progress: 915125
Backward progress: 1496310
Backward progress: 1398992
Backward progress: 1444344
Backward progress: 1503447
Backward progress: 1493755
Backward progress: 1729294
Backward progress: 1729350
Backward progress: 1571947
Backward progress: 1536347
Backward progress: 1515607
Backward progress: 1499523
Backward progress: 1496958
Backward progress: 1489110
Backward progress: 1497120
Backward progress: 1493660
Backward progress: 1491480
Backward progress: 1492750
Backward progress: 1494848
Backward progress: 1494753
Backward progress: 1506560
Backward progress: 1494710
Backward progress: 1464612
Backward progress: 1480702
Backward progress: 1477638
Backward progress: 1471516
Backward progress: 1673115
Backward progress: 1692086
Backward progress: 1555107
Backward progress: 2341873
Backward progress: 4209382
Backward progress: 4657117
Backward progress: 4916918
Backward progress: 4948619
Backward progress: 4948745
Backward progress: 4948722
Backward progress: 4100867
Backward progress: 4022631
Backward progress: 3966052
Backward progress: 3768149
Backward progress: 3792198
Backward progress: 3879087
Backward progress: 4024108
Backward progress: 4020476
Backward progress: 4082444
Backward progress: 4067038
Backward progress: 4052074
Backward progress: 4487224
Backward progress: 4487224
Backward progress: 4488303
Backward progress: 4488053
Backward progress: 4260312
Backward progress: 4313307
Backward progress: 4251326
Backward progress: 4539277
Backward progress: 4536611
Backward progress: 4550818
Backward progress: 4433730
Backward progress: 4607387
Backward progress: 4607399
Backward progress: 4567467
Backward progress: 4558470
Backward progress: 4549453
Backward progress: 4433636
Backward progress: 4432738
Backward progress: 4580928
Backward progress: 4559902
Backward progress: 4521977
Backward progress: 4524143
Backward progress: 4575580
Backward progress: 4554837
Backward progress: 4555891
Backward progress: 4816549
Backward progress: 5167095
Backward progress: 5234385
Backward progress: 5415789
Backward progress: 5400749
Backward progress: 5831522
Backward progress: 5539505
Backward progress: 5675601
Backward progress: 5772572
Backward progress: 5717330
Backward progress: 5574274
Backward progress: 5574314
Backward progress: 5573997
Backward progress: 5206047
Backward progress: 5276891
Backward progress: 5144002
Backward progress: 5191655
Backward progress: 5166901
Backward progress: 5112501
Backward progress: 5112335
Backward progress: 5045262
Backward progress: 4846042
Backward progress: 4842839
Backward progress: 4842130
Backward progress: 4841421
Backward progress: 4890349
Backward progress: 4799763
Backward progress: 4995553
Backward progress: 4788743
Backward progress: 4616430
Backward progress: 4437965
Backward progress: 4971353
Backward progress: 4971294
Backward progress: 4816930
Backward progress: 4803921
Backward progress: 4802817
Backward progress: 4789520
Backward progress: 4788100
Backward progress: 4435888
Backward progress: 4404433
Backward progress: 4410966
Backward progress: 4410972
Backward progress: 4408930
Backward progress: 4408549
Backward progress: 4408168
Backward progress: 4406570
Backward progress: 4406703
Backward progress: 5042274
Backward progress: 5050228
Backward progress: 5044203
Backward progress: 5014790
Backward progress: 5010114
Backward progress: 5038703
Backward progress: 5029193
Backward progress: 5084467
Backward progress: 5074377
Backward progress: 4924914
Backward progress: 4941416
Backward progress: 4889513
Backward progress: 4847270
Backward progress: 4858606
Backward progress: 4777362
Backward progress: 4775666
Backward progress: 4755246
Backward progress: 4736130
Backward progress: 4661574
Backward progress: 4347849
Backward progress: 4364389
Backward progress: 4338582
Backward progress: 4215344
Backward progress: 4131179
Backward progress: 4282115
Backward progress: 4282131
Backward progress: 4246580
Backward progress: 4238384
Backward progress: 4238226
Backward progress: 4229741
Backward progress: 4229245
Backward progress: 4128693
Backward progress: 4085300
Backward progress: 3539403
Backward progress: 2893171
Backward progress: 3270973
Backward progress: 3271019
Backward progress: 2947383
Backward progress: 2914826
Backward progress: 2914047
Backward progress: 2881009
Backward progress: 2505481
Backward progress: 2504363
Backward progress: 2004282
Backward progress: 1982366
Backward progress: 1843863
Backward progress: 1846625
Backward progress: 493446
Backward progress: 102787
Backward progress: 151299
Backward progress: 129941
Backward progress: 151053
Backward progress: 151087
Backward progress: 151080
Backward progress: 148276
Backward progress: 156656
Backward progress: 164388
Backward progress: 170534
Backward progress: 171081
Backward progress: 178997
Backward progress: 182845
Backward progress: 181589
Backward progress: 338015
Backward progress: 338015
Backward progress: 338353
Backward progress: 338239
Backward progress: 255628
Backward progress: 261839
Backward progress: 257223
Backward progress: 262899
Backward progress: 248482
Backward progress: 267909
Backward progress: 267915
Backward progress: 263923
Backward progress: 262647
Backward progress: 261307
Backward progress: 247802
Backward progress: 246618
Backward progress: 246618
Backward progress: 244548
Backward progress: 243598
Backward progress: 239987
Backward progress: 261133
Backward progress: 272003
Backward progress: 256452
Backward progress: 269483
Backward progress: 269489
Backward progress: 261515
Backward progress: 258901
Backward progress: 256228
Backward progress: 249813
Backward progress: 246353
Backward progress: 246343
Backward progress: 250033
Backward progress: 245405
Backward progress: 245409
Backward progress: 263151
Backward progress: 265120
Backward progress: 276442
Backward progress: 265120
Backward progress: 268400
Backward progress: 276504
Backward progress: 279976
Backward progress: 281589
Backward progress: 281500
Backward progress: 287810
Backward progress: 285157
Backward progress: 282303
Backward progress: 282823
Backward progress: 281467
Backward progress: 292903
Backward progress: 295240
Backward progress: 296139
Backward progress: 296025
Backward progress: 300685
Backward progress: 300071
Backward progress: 309036
Backward progress: 309042
Backward progress: 306734
Backward progress: 306468
Backward progress: 306207
Backward progress: 302331
Backward progress: 309899
Backward progress: 310095
Backward progress: 311687
Backward progress: 311602
Backward progress: 311974
Backward progress: 314763
Backward progress: 314765
Backward progress: 313394
Backward progress: 312834
Backward progress: 311214
Backward progress: 323148
Backward progress: 323008
Backward progress: 315788
Backward progress: 314371
Backward progress: 313249
Backward progress: 313249
Backward progress: 112443
Backward progress: 129359
Backward progress: 108668
Backward progress: 102447
Backward progress: 105743
Backward progress: 105941
Backward progress: 207763
Backward progress: 105787
Backward progress: 102987
Backward progress: 125365
Backward progress: 151086
Backward progress: 151311
Backward progress: 149559
Backward progress: 149621
Backward progress: 149616
Backward progress: 145876
Backward progress: 147528
Backward progress: 163193
Backward progress: 163164
Backward progress: 164995
Backward progress: 180008
Backward progress: 169361
Backward progress: 175368
Backward progress: 228768
Backward progress: 237443
Backward progress: 253018
Backward progress: 249847
Backward progress: 239071
Backward progress: 239115
Backward progress: 224198
Backward progress: 213699
Backward progress: 199456
Backward progress: 196840
Backward progress: 197344
Backward progress: 218712
Backward progress: 211963
Backward progress: 227352
Backward progress: 227984
Backward progress: 228425
Backward progress: 236516
Backward progress: 245789
Backward progress: 245643
Backward progress: 244530
Backward progress: 319718
Backward progress: 205194
Backward progress: 205014
Backward progress: 198590
Backward progress: 191295
Backward progress: 193996
Backward progress: 192577
Backward progress: 194210
Backward progress: 185028
Backward progress: 184775
Backward progress: 194653
Backward progress: 194661
Backward progress: 193024
Backward progress: 192543
Backward progress: 192026
Backward progress: 184195
Backward progress: 182054
Backward progress: 182885
Backward progress: 190948
Backward progress: 195540
Backward progress: 196921
Backward progress: 197261
Backward progress: 197255
Backward progress: 198554
Backward progress: 199446
Backward progress: 194331
Backward progress: 195256
Backward progress: 194916
Backward progress: 195314
Backward progress: 195218
Backward progress: 195537
Backward progress: 195166
Backward progress: 194712
Backward progress: 195004
Backward progress: 197513
Backward progress: 197515
Backward progress: 196344
Backward progress: 196344
Backward progress: 196318
Backward progress: 194974
Backward progress: 194852
Backward progress: 222485
Backward progress: 227655
Backward progress: 226763
Backward progress: 222693
Backward progress: 228767
Backward progress: 228771
Backward progress: 224503
Backward progress: 223890
Backward progress: 223273
Backward progress: 221974
Backward progress: 221648
Backward progress: 223746
Backward progress: 225010
Backward progress: 227490
Backward progress: 227546
Backward progress: 240013
Backward progress: 241487
Backward progress: 251804
Backward progress: 241487
Backward progress: 245711
Backward progress: 252348
Backward progress: 255608
Backward progress: 255395
Backward progress: 255403
Backward progress: 259545
Backward progress: 257417
Backward progress: 254777
Backward progress: 254873
Backward progress: 254238
Backward progress: 260840
Backward progress: 262553
Backward progress: 262666
Backward progress: 262618
Backward progress: 265280
Backward progress: 264992
Backward progress: 271425
Backward progress: 271427
Backward progress: 269160
Backward progress: 268816
Backward progress: 268490
Backward progress: 266071
Backward progress: 268857
Backward progress: 268997
Backward progress: 269762
Backward progress: 269643
Backward progress: 270062
Backward progress: 271547
Backward progress: 271549
Backward progress: 270818
Backward progress: 270330
Backward progress: 269078
Backward progress: 274149
Backward progress: 274071
Backward progress: 270283
Backward progress: 269534
Backward progress: 269058
Backward progress: 275746
Backward progress: 121555
Backward progress: 114637
Backward progress: 125031
Backward progress: 124965
Backward progress: 153814
Backward progress: 112618
Backward progress: 128554
Backward progress: 111121
Backward progress: 111121
Forward closed progress: 101375
Forward closed progress: 100718
Forward closed progress: 168840
Control exists for 338688 color(s), jumping through 6 vertices.
Elapsed: 11003329 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 11003.329
user ??
sys ??
