# isabelle_session_info

session_name: Posix-Lexing
sources:
155e566ffe279a8228ba65d38dbe9f08ac4811dd
53a44ac630dd30bd987648a68f2c704fd95ec4ba
70b6156516dedf8c4b101f9047d7e1717eb03406
f4cce8ef5dffddbb021b83d6b068aeb73038c0fd
f767bbdb8c9f31d324c4ae5b483b56c867852e40

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
1322c66c44ad8a03fb0e8c2e12abe3a8386ce6f1


