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

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

>>1554093
10個めを大きい星でまとめるのは知ってる
ただ
そこにACLの優勝もいれてしまうのかと