lemma_impl_rmat_quat.json 434 Bytes