The other missing ones are: A75CA25CF4498F87 8FE0C6AA7CE60CEC B343B58CF0B72493 E0B20BEDFA0AC685 EFCC5A6FD62EC6D8
1ECA8E89AD2DC1D6 = TUXSUXCUX A75CA25CF4498F87 = TDTRUTDTRU 8FE0C6AA7CE60CEC = RLRLSLRRLRLSLR B343B58CF0B72493 = SSSCCSC E0B20BEDFA0AC685 = RCDXLSUTDX EFCC5A6FD62EC6D8 = no solution found
I'll write up the results eventually. I sent you a note about crediting your contribution here. Many thanks!