# isabelle_session_info

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

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
0421e1d9e7fe672cb0ddc4007aa564f9dff1312a
aab60f2c754f0f11cb0156fc11f6c1cc9d4779a1


