>>941
型式証明のサイズ、どこに足切りラインがあるんだろ

証明取るとなるとかなり設計の難易度上がるわけだべ