711580☆ああ 2024/08/12 19:19 (iOS17.5.1)

>>711577
え？それはACLEじゃない？
ACL2は5億とかそのへんじゃなかったっけ？
それでも凄いが。