  2208 moving_hole.gif
  2208 moving_hole_opt.gif
  1723 moving_hole_dup.gif
  1489 moving_hole_double.gif
  1489 moving_hole_oplus.gif
  1806 moving_hole_split_opt.gif
  1305 moving_hole_split_oplus.gif
