# isabelle_session_info

session_name: IOA
sources: 04b1c0c6b28fcc82c9a6313d92dad8264c287474
input_heaps:
95c4642864e89459a385a24269c5aa8f5946b483
605907446b5d86ad2a2de8ad3bb7e34e9255c1ea
ea93111af2c372be4d90023b068834f861b4f5f3


