>>1554070
今回大きい理由を未だに理解してないのか

今回が9個目なら星は小さいままだったよ
タイトルのデカさとかでなくただ単に10個目だから星が大きいのです
ACL2だから小さくていいとかは関係ない