正規表現のinclude部分を別ファイルに
LargeNum型の繰り下がりが正しく行われないのを修正