# isabelle_session_info

session_name: IOA
sources: 3a4c774dcdf9fa7708cf285a5e5b6c34d4a35e24
input_heaps:
9bf876d4513454d50696bfc4d514dd18d725d701
e4242c75dedf53a8d00cf2b4d3b412995bef04d2
86ebd9dea5c952d938118241d565663769ae8dfb


