スライドパズルの困難性の証明をスライドパッキングに流用できるかが知りたかったんだけど、取り出すだけならこんな感じでできそうだな