$SLP 上の巨大ポンプ