Created by PLY version 3.11 (http://www.dabeaz.com/ply)