たかがレベルも低いACL2とはいえ賞金は魅力的なだけにもったいないな。
それでもシンガポール相手なら何とかなりそうな気もするが。