A independent contribution was pointed out in which a user designed a fused GEMM for int4, and that is powerful for education with set sequence lengths, delivering the fastest Option.J