Variable length string counts of the labelled songs can be done
using a program based on an algorithm suggested by Martin Westhead.
Below (very tediously) are the strings occurring more than once
in two labelled songs. They both come from the same 8-node net,
but the first has the context correction discussed before and the
second is the raw labelling
The interesting results are that, as expected, the raw song
contains fewer repeated strings (521 vice 636) and repeated strings
of shorter maximum length than the context-corrected song.
The 19-long string 7777646777777646777 occurs twice in the
first song (the longest repeating string in the second is
15 characters long) and has a very suggestive structure.
depth: 1 0 43 1 17 2 50 3 38 4 130 5 76 6 65 7 108 depth: 2 00 6 01 16 02 2 04 9 05 4 07 4 10 12 16 3 22 28 23 6 24 7 25 6 27 2 32 3 33 13 34 15 35 2 36 2 40 9 42 7 43 12 44 65 45 6 46 30 50 5 52 6 53 2 55 55 56 5 60 5 62 3 63 2 64 28 65 3 66 9 67 15 70 4 74 3 76 15 77 84 depth: 3 000 2 001 2 010 11 016 3 040 3 044 4 055 3 077 4 100 2 101 8 104 2 164 3 222 18 223 4 224 4 225 2 232 2 233 2 234 2 243 3 244 2 245 2 255 4 322 2 333 7 334 3 342 2 343 7 344 5 355 2 401 2 404 5 422 7 433 2 434 8 440 5 442 4 444 43 446 11 455 5 460 4 463 2 464 7 466 3 467 12 505 4 524 3 525 2 535 2 550 4 552 5 553 2 555 38 556 4 564 3 601 4 644 9 645 3 646 15 655 3 664 2 666 4 670 2 677 13 707 4 746 2 764 12 767 2 770 2 776 15 777 65 depth: 4 0100 2 0101 7 0104 2 0164 3 0404 2 0555 2 0777 2 1010 6 1016 2 1040 2 1646 2 2222 12 2223 4 2224 2 2232 2 2243 3 2333 2 2434 3 2555 4 3333 3 3334 3 3343 3 3422 2 3434 5 3444 4 3555 2 4044 3 4222 4 4225 2 4342 2 4343 3 4344 3 4404 3 4422 4 4440 2 4442 3 4444 28 4446 8 4463 2 4464 5 4466 2 4555 5 4601 4 4644 5 4666 2 4670 2 4677 10 5055 3 5245 2 5255 2 5355 2 5505 4 5524 2 5525 2 5535 2 5550 3 5552 3 5553 2 5555 24 5556 4 5564 2 5644 2 6010 4 6444 7 6455 3 6460 4 6467 9 6666 2 6707 2 6777 13 7077 4 7646 11 7677 2 7707 2 7764 12 7767 2 7776 13 7777 49 depth: 5 01010 5 01016 2 01040 2 01646 2 05555 2 10101 4 10164 2 16460 2 22222 8 22223 3 22232 2 22434 3 24342 2 25555 2 33343 3 33434 3 34222 2 34343 2 34344 3 34444 2 35555 2 42222 3 43422 2 43434 2 43444 3 44044 2 44222 2 44422 3 44442 2 44444 19 44446 5 44463 2 44464 4 44466 2 44644 4 44666 2 45555 2 46010 4 46444 5 46707 2 46777 10 50555 2 52555 2 53555 2 55055 3 55245 2 55255 2 55355 2 55505 3 55535 2 55550 3 55552 2 55555 16 55556 2 55564 2 60101 2 64444 6 64555 3 64601 4 64670 2 64677 7 67077 2 67777 12 70777 2 76460 2 76467 7 76777 2 77077 2 77646 11 77677 2 77764 10 77767 2 77776 12 77777 35 depth: 6 010101 4 010164 2 016460 2 055555 2 101010 2 101016 2 164601 2 222222 6 224342 2 243422 2 255555 2 333434 3 334343 2 343444 3 355555 2 422223 2 434222 2 434344 2 442222 2 444222 2 444422 2 444442 2 444444 12 444446 4 444463 2 444464 3 444644 3 444666 2 446444 4 460101 2 464444 4 467077 2 467777 9 505555 2 535555 2 550555 2 552555 2 553555 2 555055 2 555355 2 555505 3 555550 3 555555 9 555556 2 601010 2 644444 6 646010 4 646707 2 646777 7 677777 11 764601 2 764670 2 764677 5 767777 2 770777 2 776460 2 776467 7 776777 2 777646 10 777677 2 777764 9 777767 2 777776 11 777777 23 depth: 7 0101010 2 0101016 2 0164601 2 0555555 2 1010101 2 1010164 2 1646010 2 2222222 4 2243422 2 2434222 2 3334343 2 3555555 2 4343444 2 4442222 2 4444422 2 4444442 2 4444444 6 4444446 4 4444464 3 4444644 3 4446444 3 4464444 3 4601010 2 4644444 4 4677777 8 5055555 2 5355555 2 5505555 2 5535555 2 5550555 2 5553555 2 5555055 2 5555505 3 5555550 2 5555555 4 6444444 5 6460101 2 6467077 2 6467777 6 6777777 10 7646010 2 7646707 2 7646777 5 7677777 2 7764601 2 7764670 2 7764677 5 7767777 2 7776467 7 7776777 2 7777646 9 7777677 2 7777764 8 7777767 2 7777776 9 7777777 13 depth: 8 01010101 2 01010164 2 01646010 2 10101016 2 22222222 3 22434222 2 35555555 2 44444422 2 44444444 2 44444446 3 44444464 3 44444644 3 44446444 3 44464444 3 44644444 3 46444444 3 46777777 7 50555555 2 53555555 2 55055555 2 55355555 2 55505555 2 55535555 2 55550555 2 55555055 2 55555505 2 55555550 2 64444444 3 64601010 2 64677777 5 67777776 3 67777777 7 76460101 2 76467077 2 76467777 4 76777777 2 77646010 2 77646707 2 77646777 5 77677777 2 77764670 2 77764677 5 77767777 2 77776467 7 77776777 2 77777646 8 77777677 2 77777764 7 77777767 2 77777776 6 77777777 6 depth: 9 010101016 2 101010164 2 222222222 2 355555550 2 444444464 2 444444644 3 444446444 3 444464444 3 444644444 3 446444444 2 464444444 2 467777776 2 467777777 5 535555555 2 550555555 2 553555555 2 555055555 2 555355555 2 555505555 2 555550555 2 555555505 2 646777777 5 677777764 3 677777776 3 677777777 4 764601010 2 764677777 4 776460101 2 776467077 2 776467777 4 776777777 2 777646707 2 777646777 5 777677777 2 777764670 2 777764677 5 777767777 2 777776467 6 777776777 2 777777646 7 777777677 2 777777764 4 777777767 2 777777776 3 777777777 2 depth: 10 0101010164 2 3555555505 2 4444444644 2 4444446444 3 4444464444 3 4444644444 3 4446444444 2 4677777764 2 4677777776 3 4677777777 2 5355555550 2 5535555555 2 5550555555 2 5553555555 2 5555055555 2 5555505555 2 6467777776 2 6467777777 3 6777777646 3 6777777764 3 6777777777 2 7646777777 4 7764601010 2 7764677777 4 7776467077 2 7776467777 4 7776777777 2 7777646707 2 7777646777 5 7777677777 2 7777764670 2 7777764677 4 7777767777 2 7777776467 5 7777776777 2 7777777646 4 7777777677 2 7777777767 2 7777777776 2 depth: 11 44444446444 2 44444464444 3 44444644444 3 44446444444 2 46777777646 2 46777777764 3 46777777777 2 53555555505 2 55355555550 2 55535555555 2 55550555555 2 55555055555 2 64677777764 2 64677777777 2 67777776467 2 67777777646 3 67777777776 2 76467777776 2 76467777777 2 77646777777 4 77764677777 4 77776467077 2 77776467777 4 77776777777 2 77777646707 2 77777646777 4 77777677777 2 77777764677 4 77777767777 2 77777776467 3 77777776777 2 77777777677 2 depth: 12 444444464444 2 444444644444 3 444446444444 2 467777776467 2 467777777646 3 467777777776 2 553555555505 2 555355555550 2 555550555555 2 646777777646 2 646777777777 2 677777764677 2 677777776467 2 764677777764 2 776467777776 2 776467777777 2 777646777777 4 777764677777 4 777776467077 2 777776467777 3 777776777777 2 777777646777 4 777777677777 2 777777764677 2 777777767777 2 777777776777 2 depth: 13 4444444644444 2 4444446444444 2 4677777764677 2 4677777776467 2 5553555555505 2 6467777776467 2 6467777777776 2 6777777646777 2 7646777777646 2 7764677777764 2 7776467777776 2 7776467777777 2 7777646777777 4 7777764677777 3 7777776467777 3 7777776777777 2 7777777646777 2 7777777677777 2 7777777767777 2 depth: 14 46777777646777 2 64677777764677 2 76467777776467 2 77646777777646 2 77764677777764 2 77776467777776 2 77776467777777 2 77777646777777 3 77777764677777 3 77777776467777 2 77777776777777 2 77777777677777 2 depth: 15 646777777646777 2 764677777764677 2 776467777776467 2 777646777777646 2 777764677777764 2 777776467777777 2 777777646777777 3 777777764677777 2 777777776777777 2 depth: 16 7646777777646777 2 7764677777764677 2 7776467777776467 2 7777646777777646 2 7777776467777777 2 7777777646777777 2 depth: 17 77646777777646777 2 77764677777764677 2 77776467777776467 2 depth: 18 777646777777646777 2 777764677777764677 2 depth: 19 7777646777777646777 2
depth: 1 0 57 1 19 2 52 3 41 4 123 5 66 6 68 7 101 depth: 2 01 17 03 4 04 12 05 7 06 4 07 11 10 13 16 4 20 8 22 22 23 8 24 8 25 4 27 2 30 3 32 6 33 5 34 16 35 2 36 3 37 5 40 12 42 8 43 13 44 46 45 7 46 32 47 4 50 2 52 11 53 2 55 42 56 6 60 7 62 2 63 2 64 32 65 4 66 6 67 15 70 11 72 2 73 6 74 6 76 13 77 63 depth: 3 010 12 016 4 030 2 040 4 044 3 046 3 055 4 064 2 077 8 101 8 104 3 164 4 205 5 222 14 223 4 224 2 225 2 232 3 234 4 243 3 245 2 255 2 303 3 322 2 323 2 333 2 343 8 344 5 355 2 370 2 401 4 404 6 422 5 424 2 432 2 433 2 434 8 440 6 442 5 444 24 446 7 447 3 452 2 455 5 460 4 463 2 464 10 465 2 466 2 467 11 474 3 520 7 524 3 535 2 552 7 553 2 555 26 556 4 560 2 564 2 601 4 604 2 644 11 645 3 646 17 655 3 664 3 666 3 670 5 677 10 707 10 734 2 737 3 744 2 746 3 764 11 767 2 770 3 773 4 776 12 777 42 depth: 4 0101 7 0104 3 0164 4 0303 2 0401 2 0404 2 0464 3 0555 2 0646 2 0773 2 0777 5 1010 6 1016 2 1040 3 1646 2 2055 3 2222 9 2223 4 2232 2 2243 2 2344 2 2434 3 2555 2 3432 2 3434 5 3444 3 4010 2 4016 2 4044 3 4046 2 4222 4 4343 4 4344 3 4404 4 4422 2 4424 2 4440 2 4442 2 4444 13 4446 3 4447 3 4464 4 4474 3 4555 5 4601 4 4644 6 4646 3 4655 2 4666 2 4670 4 4677 7 4746 2 5205 5 5245 2 5355 2 5520 5 5524 2 5535 2 5552 6 5555 13 5556 3 6010 4 6440 2 6444 6 6446 2 6455 3 6460 4 6465 2 6467 10 6555 3 6644 2 6664 2 6707 5 6777 9 7077 8 7343 2 7370 2 7464 2 7646 10 7707 3 7737 3 7764 10 7767 2 7770 2 7773 2 7776 9 7777 27 depth: 5 01010 5 01016 2 01040 3 01646 2 04016 2 04644 2 06467 2 07737 2 07776 2 07777 3 10101 4 10164 2 10401 2 16460 2 20555 2 22222 6 22223 2 22232 2 22434 2 24343 2 34343 2 34344 3 40164 2 40464 2 42222 3 43432 2 43434 2 43444 3 44044 2 44222 2 44404 2 44444 8 44446 2 44447 2 44474 3 44644 3 44746 2 45555 2 46010 4 46444 5 46467 2 46555 2 46707 4 46777 6 52055 3 55205 4 55245 2 55355 2 55520 4 55524 2 55552 4 55555 8 60101 2 60104 2 64444 3 64464 2 64555 3 64601 4 64655 2 64670 4 64677 6 65556 2 66644 2 67077 4 67770 2 67777 7 70773 2 70777 5 76460 2 76465 2 76467 6 77077 3 77370 2 77646 9 77707 2 77764 8 77773 2 77776 7 77777 17 depth: 6 010101 4 010164 2 010401 2 016460 2 040164 2 077764 2 077776 2 101010 2 101016 2 104016 2 164601 2 222222 5 343444 3 422223 2 434344 2 444444 4 444447 2 444474 2 444746 2 446444 3 455552 2 460101 2 460104 2 464444 2 464670 2 467077 3 467777 5 520555 2 552055 3 555205 3 555245 2 555520 4 555552 2 555555 5 601010 2 601040 2 644444 3 646010 4 646555 2 646707 4 646777 5 670777 2 677707 2 677777 5 707737 2 707776 2 707777 3 764601 2 764655 2 764677 5 770777 3 776460 2 776467 6 777077 2 777646 8 777764 6 777776 5 777777 11 depth: 7 0101010 2 0101016 2 0104016 2 0164601 2 0777646 2 0777764 2 1010101 2 1010164 2 1040164 2 1646010 2 2222222 4 4343444 2 4444444 3 4444474 2 4444746 2 4555520 2 4601010 2 4601040 2 4644444 2 4646707 2 4677777 3 5520555 2 5552055 2 5555205 3 5555520 2 5555552 2 5555555 2 6010401 2 6460101 2 6460104 2 6467077 3 6467777 4 6707777 2 6777077 2 6777777 4 7077764 2 7077776 2 7646010 2 7646555 2 7646777 4 7707776 2 7764601 2 7764677 5 7770777 2 7776467 6 7777646 6 7777764 4 7777776 4 7777777 7 depth: 8 01010101 2 01010164 2 01040164 2 01646010 2 07776467 2 07777646 2 10101016 2 16460104 2 22222222 3 44444444 2 44444746 2 45555205 2 46010401 2 46777777 2 55520555 2 55552055 2 55555520 2 60104016 2 64601010 2 64601040 2 64677777 3 67077776 2 67770777 2 67777777 4 70777646 2 70777764 2 76460101 2 76467777 3 77077764 2 77646010 2 77646777 4 77764677 5 77776467 4 77777646 4 77777764 3 77777776 4 77777777 3 depth: 9 010101016 2 016460104 2 077764677 2 101010164 2 164601040 2 222222222 2 460104016 2 467777777 2 555520555 2 601040164 2 646010401 2 646777777 2 670777764 2 677777776 2 677777777 2 707776467 2 707777646 2 764601010 2 764677777 3 770777646 2 776460101 2 776467777 3 777646777 4 777764677 3 777776467 3 777777646 3 777777764 3 777777776 2 depth: 10 0101010164 2 0164601040 2 1646010401 2 4601040164 2 6460104016 2 6467777777 2 6707777646 2 6777777764 2 7077764677 2 7646777777 2 7707776467 2 7764601010 2 7764677777 3 7776467777 3 7777646777 3 7777764677 2 7777776467 2 7777777646 3 depth: 11 01646010401 2 16460104016 2 64601040164 2 67777777646 2 76467777777 2 77077764677 2 77646777777 2 77764677777 3 77776467777 3 77777646777 2 77777764677 2 77777776467 2 depth: 12 016460104016 2 164601040164 2 776467777777 2 777646777777 2 777764677777 3 777776467777 2 777777646777 2 777777764677 2 depth: 13 0164601040164 2 7776467777777 2 7777646777777 2 7777764677777 2 7777776467777 2 7777777646777 2 depth: 14 77776467777777 2 77777764677777 2 77777776467777 2 depth: 15 777777764677777 2