# isabelle_session_info

session_name: IOA
sources: 6460af94b4a95568c5242f48f1441daf167f2a46
input_heaps:
e84f79adc9fae80ecce744260a10d713e14975f7
a21ea278ac8fad69f4ecd3913a79992386534467
e75691ff672e1645603df59ea9e7b70bdc338c9b


