finished the Hamming(7,4) and Hamming(8,4) problem.
Found proof of no hopnet capable of 1-bit decoding