>>1356959
ACL2の過密日程舐めすぎちゃうか？残留も確実じゃないし強化部が舐めてたら終わる。