Added the original Gist as notes/era-sequents.txt.