>>5093586

ACL2王者な。ACLEとってからアジア王者名乗ってな。