ACL2も不安になってきた
国のレベル的に格下と決め込んで
舐めプしてグループ敗退して恥をかきそうだ