ACL2をありがとう。
夢か現実か分からん半年間やったな。まあ夢か星10個はほんまに功績や現実なんか。