# isabelle_session_info

session_name: IOA
sources: bcd70d8ae57f073ff1004304bff1643a4a61279d
input_heaps:
6961fec4ded6b3eed849e7567739468922d3c226
1917700418a8a34a23e321dc0267535ca9af6102
14727641fe2d17f258b6c8610b5c431ba614a021


