# isabelle_session_info

session_name: Posix-Lexing
sources:
4532f6d300754e9195a02b30fb00ba10a4b6e905
53a44ac630dd30bd987648a68f2c704fd95ec4ba
70b6156516dedf8c4b101f9047d7e1717eb03406
f4cce8ef5dffddbb021b83d6b068aeb73038c0fd
f767bbdb8c9f31d324c4ae5b483b56c867852e40

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12
b728a019d4c3d97883e7fd54de04628e8ac79a98


