Taming a Weird Snake - PicoCTF Walkthrough

Oh look at you! Your friend left a cryptic file at your desk and wants you tame some weird snake langauge?
Don't fret, today I'll walk you through the process of reading, inferring from and reverse engineering python bytecode using a rather simple challenge from PicoCTF.

Credits:
Challenge file generously provided by CMU PicoCTF
x86_64 Instruction Set Reference: https://www.felixcloutier.com/x86/
Octicons: https://primer.github.io/octicons
Iterator icon: https://svgrepo.com
Backing Track "Forever" by Whitesand is under a Creative Commons license:    • Happy Sad Piano Music - Forever [Copy...  

Further reading:
Forbidden names in listcomp: https://stackoverflow.com/questions/6...
Dis manual: https://docs.python.org/3/library/dis...

Thumbnail timelapse on second channel:    • Taming a Weird Snake? Painting a Weir...  

Code used to render animations: https://github.com/lavafroth/videos