ACL2は日程は厳しいけど相手のレベル考えたらルヴァンや天皇杯より取りやすいだろって考えてたけど甘くないもんだな。
東南アジアも昔ほどイージーじゃないね。