k<=2 decoders with values in {-1,1}: positive (certificate) 60, max exactly 0: 288, negative: 0 (total 348)
k<=2 decoders with values in {-1,0,1}: positive (certificate) 60, max exactly 0: 288, negative: 0 (total 348)
