ACL2舐めてない？
東側だけでもこんだけいるんだよ絶対補強しろ

ダワン
オーベルダン
チャナティップ
野津田
グスタフソン
日本人大量にいるし