maximaはml2013で実行することにした。pat2dbは出力を微調整した