# isabelle_session_info

session_name: IOA
sources: bec10634ff87d999a2b20923800cead0d162ab80
uuid: 32b153d8-c34f-477b-a39a-fd9a4d27e124
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
c60dd2174e638be6b5ffbc515091491df07edb16


