# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
22ff8834d5b90f2b3eed98413aea8eb963cd25b4


