Last modified: Wed Aug 8 14:05:30 CEST 2007
r=4, n=8, 13 codewords.
Use any 3-identifying code with n=8 and 13 codewords