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