ACL2のチケット
どのくらいチケット売れたら急遽2層目のチケットも追加販売されるようになるかな？

1万5000人分売れたら追加販売なのかなぁ？

それとも1万人分売れたタイミングかなぁ？