User blog comment:Wythagoras/All my stuff/@comment-10429372-20130718073726/@comment-7484840-20130719070809

Without definability type functions within the ¥ function, this method works. (With definability it's not as good due to being able to get extra characters, effectively increasing the number of possibilities that need to be checked)