>>1453680

ACL2があるのはデカいな！
選手にとってはACL2でもやり甲斐になる。
本当ポヤトスに感謝だよ。