added local decoder, prove that no good asymmetric Hopfield 7,4 exists