# isabelle_session_info

session_name: Posix-Lexing
sources:
53a44ac630dd30bd987648a68f2c704fd95ec4ba
70b6156516dedf8c4b101f9047d7e1717eb03406
739e49554ffffa9a59db214e8f0bf31a652458aa
f4cce8ef5dffddbb021b83d6b068aeb73038c0fd
f767bbdb8c9f31d324c4ae5b483b56c867852e40

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9
ff59f64ba054c3cf76382cdb70b491ddd2442f48


