# isabelle_session_info

session_name: IOA
sources: 3f928ed3b165d480f164656f331f78b0d0ddb592
input_heaps:
91ab3b96b909506c75d6bb6e043eafe54e57f085
ff7eb6c64e4a46301790321fbd0b81563e69554d
671b0c4fa8a6dff21f9139cc8f918a4f83a1d4cb


