python3 <<'EOF'
CODE = r'''
print(7!3)
'''
exec(CODE.replace('@','+').replace('!','%'))
EOF