ZY_恒真式

努力做最有趣的最小无趣数