let print_output memo maq= 
  if (is_accepted memo maq) 
  then printf "YES\n"
  else printf"NO\n"