# isabelle_session_info

session_name: IOA
sources: 38a027e42e83369bfc203f50edae1c5f8ef05d86
input_heaps:
f446f03595bcdb30e30624659ca93892e4038ac3
d314e9ddc2049cadadddb9589ed87cff70c95a7e
e3bc4060141426b86909b62ff823b2cb1272c8ff


