# isabelle_session_info

session_name: IOA
sources: 2e3595f0e7ee3bc344ab0be98173b4682f64c367
uuid: c3a81b2a-51bc-46a8-856b-95b6de5b9605
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
ad4744a3c30e488a683d9aa214a763614f7a7c69


