# isabelle_session_info

session_name: IOA
sources: d8ad0eb7505e07480a0410c2b6dfccff120c5c70
uuid: 39b8bb3c-1ecc-4984-9b96-a91ae8e2671e
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
243f0d36b07ea42a9ea370f386fef2c60ff96c2e


