メンテナー権限を申請 · sm64_isabelle64_old