# isabelle_session_info

session_name: IOA
sources: 912079d1b97e9b47322b7e4a51aa8476052bfebd
uuid: 4306332e-5294-40bf-8ddf-c687c1da533f
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
233387c09ad7ce1bcb8853457d0ef0738457ef4f


