>>1316595
ACL2の過密日程で後半は地獄やぞ。
ACL2前にボトムハーフやったら残留争いの可能性もあるぞ。