# isabelle_session_info

session_name: IOA
sources: 0b664e5b8a68855cf1f34ef4d149cd9195e4465a
input_heaps:
c5679ddf6480b45d5288f9035bcf34ff43e4c2c2
1e4e1acda201b0f4a3686f0ff3ee33bca995f6c4
fac8e089dcea4ebd899920b6e08d4ac0bf839804


