# isabelle_session_info

session_name: IOA
sources: ba3b763ce351df7b4fd2341428e70159e3b35ead
input_heaps:
914dda7ac964f6cd4c94ac1e03587f374a33774d
94d5353df6e6ded67eb48c352ed39e590f1ff8b8
35f4b3d9b39b090aee1c4d590c1a225414ed2384


