acl2やその先のエリート、ルヴァンの為にもサポーターシート年間で抑えようかな