M = 30, K = 6, Q = 65536

M=30_K=6_Q=65536_minh=2_ineq=36.txt is available here.

# minimum Hamming distance = 2
# activation inequality = 36
# active indices, activation tensor and its vector representation are omitted.