main2.py

I haven't covered main because it was 0:00 already so in order to do the algorythm: use validate("expr") to check if your input is correct then use quine_mc("expr") to get the simplest form.