高速化前のクイックソートmifファイル．動作の参考に使ってくれ．実装の参考には使わないでね