# isabelle_session_info

session_name: IOA
sources: f6af3cdf975cff5ff666d50c55901ef6ff7e5419
input_heaps:
357b42ac3beabedec26b51d2656ba583cf1eab4b
15d85692b7f1786c47e0baf09991f065726d2b19
0c65e940b2ade91bb78e27998abde3b6eedd2780


