ACL2ってELみたいなもんだろ、、賞金デカくなきゃ真面目にやるチームあるのか。