Synthia Andrey Yao + Charles Sherk Program synthesis goes brrrrrr Code modified from Adrian Sampson's prpgram synthesis tutorial