#!/bin/bash -e
printf "8713" | python level1.py | grep picoCTF