100644 blob 43134475257e8b138c4e35a0c12c89925df4266d	Evaluate.pc
100644 blob d62241f0736c472ba3ebfc7cacd8dd6e61a10ab3	Evaluate2.pc
040000 tree 0463e76738a328e0a52f380c1ef1312255cfacef	Lexer
040000 tree de90066199b721b63323e3c7d075c7e064907011	Parser
100644 blob 94fc4df8d24c31c0c7b72dde5c882838d7fac3cc	dg.exp
100644 blob 349b50e4f19a65b6ad54732d64675dbfa249677c	print-smt.pc
100644 blob cca282afbbf5aacbb0be7ab895c15a5bdc468230	print-smt.smt2.good