>>4962382
ACLEなのかACL2なのか知らないけど
優勝も出来てないのにレベル低いはどの口が言うのか
そもそも出てないなら問題外