# isabelle_session_info

session_name: IOA
sources: 8d360ec90f67fc844a3b55b1ddbb76c04029e5aa
uuid: 17aeafc6-4726-4829-b933-a2aad601b26b
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
7c12499295f7440df6f2355d8d6a3745224930e9


