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