function lst {
  sed -E "s/'/\\\'/g; s/(.*)/put '\\0'/;" example_selection
}