# isabelle_session_info

session_name: IOA
sources: e3a175642ddc8aceffef5a182c6c5d7c069c5f1a
uuid: 3737d5fa-192b-4a15-bfd5-f413af2ac00e
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
38a9ccc636f5db55b9a1ecd32ed389f5c1afebee


