Last modified: Wed Aug 8 14:09:02 CEST 2007
r=5, n=9, 17 codewords.
Use any 3-identifying code with n=9 and 17 codewords