単純な探索では、最初の列のformula_3個の部分列が残りの列の部分列であるかを確かめる。