M = 18, K = 13, Q = 4096

M=18_K=13_Q=4096_minh=2_ineq=6.txt is available here.

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