def readlines_from_file(filename):
 with open_with_encoding(filename) as input_file:
  return input_file.readlines()

def readlines_from_file ( filename ) : with open_with_encoding ( filename ) as input_file : return input_file . readlines ( )
return contents of file .