ACL2を諦めたくないから、西地区のチームを応援するわ。まあ、そこまでたどり着くの困難であるし、最後の西地区のチームはつえーからな。