document.getElementById("med-ftitle").innerHTML=`一种构建上下文覆盖集归纳证明器的通用框架
`;