>>840608
ACL2を順調に準決勝進出してたら今は楽しかったと思うよ。