>>592
a[10] ≧ 19 は証明済みですか？
あとその shape は19個以下の◯と┌でタイリング出来ないことも証明済みですか？