14,899文字のy=xを解読する。
\( Ax + By = x[WIP] \)
\( A = \mathrm{det}(D \times E) \) DとEは15×15の行列
2行目の解読にグレブナー基底が出てくる