ちなみに書き出すプログラムはこんな感じです。 まぁデータが合ってるかどうか見るだけですので後で消しますが。 pushによる式ではないので検証はしてません。