document.getElementById("med-ftitle").innerHTML=`通过约束上下文重写对 Maple 的假设功能进行重构与扩展
`;